From: Antti Villberg <antti.villberg@semantum.fi>
Date: Tue, 30 Oct 2018 06:40:11 +0000 (+0200)
Subject: Assertion template for L0.SCLValue
X-Git-Tag: v1.43.0~136^2~307
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=37fd7947ece7d0ba23908fb8f838d618128e1adf;p=simantics%2Fplatform.git

Assertion template for L0.SCLValue

gitlab #167

Change-Id: Id70da776333c56e70516a3449bdbff03df18fa40
---

diff --git a/bundles/org.simantics.layer0/graph/Layer0Values.pgraph b/bundles/org.simantics.layer0/graph/Layer0Values.pgraph
index c36cf60e5..16f01a7be 100644
--- a/bundles/org.simantics.layer0/graph/Layer0Values.pgraph
+++ b/bundles/org.simantics.layer0/graph/Layer0Values.pgraph
@@ -40,6 +40,15 @@ L0.scl : L0.Template
               L0.SCLValue.expression %expression
               L0.HasValueType %valueType
 
+L0.sclAssertion : L0.Template
+    @template %type %property %expression %valueType
+        %type
+            L0.Asserts _ : L0.Assertion
+              L0.HasPredicate %property
+              L0.HasObject _ : L0.SCLValue
+                L0.SCLValue.expression %expression
+                L0.HasValueType %valueType
+
 L0.SCLValue.Environment <T L0.Entity
     >-- L0.SCLValue.Environment.moduleName --> L0.String <R L0.HasProperty : L0.TotalFunction
     >-- L0.SCLValue.Environment.namespace --> L0.String <R L0.HasProperty : L0.TotalFunction