From: Antti Villberg <antti.villberg@semantum.fi>
Date: Fri, 10 Mar 2017 09:20:29 +0000 (+0200)
Subject: sclAssertion template into MOD
X-Git-Tag: v1.28.0~62
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=301e64c69ea0e13e6a6f6be7f3cbf0e3922a62c5;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"