Assertion template for L0.SCLValue 78/2378/1
authorAntti Villberg <antti.villberg@semantum.fi>
Tue, 30 Oct 2018 06:40:11 +0000 (08:40 +0200)
committerAntti Villberg <antti.villberg@semantum.fi>
Tue, 30 Oct 2018 06:40:11 +0000 (08:40 +0200)
gitlab #167

Change-Id: Id70da776333c56e70516a3449bdbff03df18fa40

bundles/org.simantics.layer0/graph/Layer0Values.pgraph

index c36cf60e56cffc6faf7d53cc1e7c10d2d0a3bd40..16f01a7bebfba9553314e5f12cff27648a3470c8 100644 (file)
@@ -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