]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.layer0/graph/Layer0Values.pgraph
Templates for creating SCL values
[simantics/platform.git] / bundles / org.simantics.layer0 / graph / Layer0Values.pgraph
index 358aaa7e914a92ad6b89e465139fa3e6f8f8559a..9ccac10511ef9cdef5107cfd7bb5f3535bef65ac 100644 (file)
@@ -1,6 +1,8 @@
 L0 = <http://www.simantics.org/Layer0-1.1>
 
-L0.Value <T L0.Entity
+L0.Value <T L0.Entity : L0.ValueType
+
+L0.ValueType <T L0.Type
     
 L0.ExternalValue <T L0.Value
 
@@ -30,7 +32,7 @@ L0.SCLValue <T L0.Value : L0.SCLValueType
     >-- L0.SCLValue.environment --> L0.SCLValue.Environment <R L0.IsRelatedTo : L0.TotalFunction
     @L0.assert L0.ConvertsToValueWith L0.Functions.sclValue
 
-L0.SCLValueType <T L0.Entity
+L0.SCLValueType <T L0.ValueType
     >-- L0.SCLValueType.validator ==> "Variable -> <ReadGraph> String" <R L0.HasProperty
 
 L0.scl : L0.Template
@@ -40,6 +42,12 @@ L0.scl : L0.Template
               L0.SCLValue.expression %expression
               L0.HasValueType %valueType
 
+L0.sclValue : L0.Template
+    @template %subject %expression %valueType
+        %subject : L0.SCLValue
+            L0.SCLValue.expression %expression
+            L0.HasValueType %valueType
+
 L0.sclAssertion : L0.Template
     @template %type %property %expression %valueType
         %type