From: Antti Villberg <antti.villberg@semantum.fi>
Date: Fri, 10 Mar 2017 09:20:29 +0000 (+0200)
Subject: sclAssertion template into MOD
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=0ae0fb6417ab8c7aa19a56b9d378a900956b7033;p=simantics%2Fplatform.git

sclAssertion template into MOD

refs #7081

Change-Id: Iec870d7723cebe17d29e93533b4d80bb78ae9b20
---

diff --git a/bundles/org.simantics.modeling.ontology/graph/Modeling.pgraph b/bundles/org.simantics.modeling.ontology/graph/Modeling.pgraph
index 3f33c47fc..ebc49fbe0 100644
--- a/bundles/org.simantics.modeling.ontology/graph/Modeling.pgraph
+++ b/bundles/org.simantics.modeling.ontology/graph/Modeling.pgraph
@@ -325,6 +325,15 @@ MOD.scl : L0.Template
               L0.SCLValue.expression %expression
               L0.HasValueType %valueType
 
+MOD.sclAssertion : L0.Template
+    @template %type %property %expression %valueType
+        %type
+            L0.Asserts _ : L0.Assertion
+              L0.HasPredicate %property
+              L0.HasObject _ : MOD.SCLValue
+                L0.SCLValue.expression %expression
+                L0.HasValueType %valueType
+
 MOD.Functions.obtainedString : L0.Function
   L0.HasValueType "String"