1 L0 = <http://www.simantics.org/Layer0-1.1>
5 L0.ExternalValue <T L0.Value
7 L0.ConvertsToValueWith <R L0.HasProperty : L0.FunctionalRelation
11 L0.HasValueType <R L0.HasProperty : L0.FunctionalRelation
15 L0.RequiresValueType <R L0.HasProperty : L0.FunctionalRelation
19 L0.HasDefaultLiteralType <R L0.DependsOn : L0.FunctionalRelation
23 L0.HasSubliteralPredicate <R L0.DependsOn
25 L0.RVIContext <T L0.Entity
27 L0.SCLValue <T L0.Value : L0.SCLValueType
29 >-- L0.SCLValue.expression --> L0.String <R L0.HasProperty : L0.TotalFunction
30 >-- L0.SCLValue.environment --> L0.SCLValue.Environment <R L0.IsRelatedTo : L0.TotalFunction
31 @L0.assert L0.ConvertsToValueWith L0.Functions.computeExpression
33 L0.SCLValueType <T L0.Entity
34 >-- L0.SCLValueType.validator ==> "Variable -> <ReadGraph> String" <R L0.HasProperty
37 @template %subject %property %expression %valueType
39 %property _ : L0.SCLValue
40 L0.SCLValue.expression %expression
41 L0.HasValueType %valueType
43 L0.sclAssertion : L0.Template
44 @template %type %property %expression %valueType
46 L0.Asserts _ : L0.Assertion
47 L0.HasPredicate %property
48 L0.HasObject _ : L0.SCLValue
49 L0.SCLValue.expression %expression
50 L0.HasValueType %valueType
52 L0.SCLValue.Environment <T L0.Entity
53 >-- L0.SCLValue.Environment.moduleName --> L0.String <R L0.HasProperty : L0.TotalFunction
54 >-- L0.SCLValue.Environment.namespace --> L0.String <R L0.HasProperty : L0.TotalFunction
55 >-- L0.SCLValue.Environment.uses --> L0.SCLValue.Environment <R L0.IsRelatedTo
56 @L0.assert L0.SCLValue.Environment.namespace ""
58 L0.Property <T L0.Value
61 @L0.assert L0.ConvertsToValueWith L0.Functions.composedPropertyValue