X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.layer0%2Fgraph%2FLayer0Values.pgraph;h=16f01a7bebfba9553314e5f12cff27648a3470c8;hb=37fd7947ece7d0ba23908fb8f838d618128e1adf;hp=18fd6d25c955eb8d9899d0a8dce42eadabd9fea6;hpb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.layer0/graph/Layer0Values.pgraph b/bundles/org.simantics.layer0/graph/Layer0Values.pgraph
index 18fd6d25c..16f01a7be 100644
--- a/bundles/org.simantics.layer0/graph/Layer0Values.pgraph
+++ b/bundles/org.simantics.layer0/graph/Layer0Values.pgraph
@@ -16,7 +16,7 @@ L0.RequiresValueType <R L0.HasProperty : L0.FunctionalRelation
     <-- L0.Relation
     --> L0.String
 
-L0.HasDefaultLiteralType <R L0.DependsOn : L0.FunctionalRelation    
+L0.HasDefaultLiteralType <R L0.DependsOn : L0.FunctionalRelation
     <-- L0.Relation
     --> L0.Type
     
@@ -24,12 +24,15 @@ L0.HasSubliteralPredicate <R L0.DependsOn
 
 L0.RVIContext <T L0.Entity
 
-L0.SCLValue <T L0.Value
+L0.SCLValue <T L0.Value : L0.SCLValueType
     @L0.tag L0.Abstract
     >-- L0.SCLValue.expression --> L0.String <R L0.HasProperty : L0.TotalFunction
     >-- L0.SCLValue.environment --> L0.SCLValue.Environment <R L0.IsRelatedTo : L0.TotalFunction
     @L0.assert L0.ConvertsToValueWith L0.Functions.computeExpression
 
+L0.SCLValueType <T L0.Entity
+    >-- L0.SCLValueType.validator ==> "Variable -> <ReadGraph> String" <R L0.HasProperty
+
 L0.scl : L0.Template
     @template %subject %property %expression %valueType
         %subject
@@ -37,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
@@ -47,5 +59,3 @@ L0.Property <T L0.Value
     @L0.tag L0.Abstract
     @L0.tag L0.Deprecated
     @L0.assert L0.ConvertsToValueWith L0.Functions.composedPropertyValue
-    
-    
\ No newline at end of file