1 L0 = <http://www.simantics.org/Layer0-1.1>
3 L0.Value <T L0.Entity : L0.ValueType
5 L0.ValueType <T L0.Type
7 L0.ExternalValue <T L0.Value
9 L0.ConvertsToValueWith <R L0.HasProperty : L0.FunctionalRelation
13 L0.HasValueType <R L0.HasProperty : L0.FunctionalRelation
17 L0.RequiresValueType <R L0.HasProperty : L0.FunctionalRelation
21 L0.HasDefaultLiteralType <R L0.DependsOn : L0.FunctionalRelation
25 L0.HasSubliteralPredicate <R L0.DependsOn
27 L0.RVIContext <T L0.Entity
29 L0.SCLValue <T L0.Value : L0.SCLValueType
31 >-- L0.SCLValue.expression --> L0.String <R L0.HasProperty : L0.TotalFunction
32 >-- L0.SCLValue.environment --> L0.SCLValue.Environment <R L0.IsRelatedTo : L0.TotalFunction
33 @L0.assert L0.ConvertsToValueWith L0.Functions.sclValue
35 L0.SCLValueType <T L0.ValueType
36 >-- L0.SCLValueType.validator ==> "Variable -> <ReadGraph> String" <R L0.HasProperty
39 @template %subject %property %expression %valueType
41 %property _ : L0.SCLValue
42 L0.SCLValue.expression %expression
43 L0.HasValueType %valueType
45 L0.sclValue : L0.Template
46 @template %subject %expression %valueType
47 %subject : L0.SCLValue
48 L0.SCLValue.expression %expression
49 L0.HasValueType %valueType
51 L0.sclAssertion : L0.Template
52 @template %type %property %expression %valueType
54 L0.Asserts _ : L0.Assertion
55 L0.HasPredicate %property
56 L0.HasObject _ : L0.SCLValue
57 L0.SCLValue.expression %expression
58 L0.HasValueType %valueType
60 L0.SCLValue.Environment <T L0.Entity
61 >-- L0.SCLValue.Environment.moduleName --> L0.String <R L0.HasProperty : L0.TotalFunction
62 >-- L0.SCLValue.Environment.namespace --> L0.String <R L0.HasProperty : L0.TotalFunction
63 >-- L0.SCLValue.Environment.uses --> L0.SCLValue.Environment <R L0.IsRelatedTo
64 @L0.assert L0.SCLValue.Environment.namespace ""
66 L0.Property <T L0.Value
69 @L0.assert L0.ConvertsToValueWith L0.Functions.composedPropertyValue