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
<-- L0.Relation
--> L0.String
-L0.HasDefaultLiteralType <R L0.DependsOn : L0.FunctionalRelation
+L0.HasDefaultLiteralType <R L0.DependsOn : L0.FunctionalRelation
<-- L0.Relation
--> L0.Type
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.assert L0.ConvertsToValueWith L0.Functions.sclValue
+
+L0.SCLValueType <T L0.ValueType
+ >-- L0.SCLValueType.validator ==> "Variable -> <ReadGraph> String" <R L0.HasProperty
L0.scl : L0.Template
@template %subject %property %expression %valueType
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
+ 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
@L0.tag L0.Abstract
@L0.tag L0.Deprecated
@L0.assert L0.ConvertsToValueWith L0.Functions.composedPropertyValue
-
-
\ No newline at end of file