]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
sclAssertion template into MOD 59/359/3
authorAntti Villberg <antti.villberg@semantum.fi>
Fri, 10 Mar 2017 09:20:29 +0000 (11:20 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sat, 11 Mar 2017 23:03:04 +0000 (01:03 +0200)
refs #7081

Change-Id: Iec870d7723cebe17d29e93533b4d80bb78ae9b20

bundles/org.simantics.modeling.ontology/graph/Modeling.pgraph

index 3f33c47fc49c75ffba2827e11e77b1210f3d89f6..ebc49fbe09ccdf7357592909ab355980c418333f 100644 (file)
@@ -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"