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
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
34 @template %subject %property %expression %valueType
36 %property _ : L0.SCLValue
37 L0.SCLValue.expression %expression
38 L0.HasValueType %valueType
40 L0.SCLValue.Environment <T L0.Entity
41 >-- L0.SCLValue.Environment.moduleName --> L0.String <R L0.HasProperty : L0.TotalFunction
42 >-- L0.SCLValue.Environment.namespace --> L0.String <R L0.HasProperty : L0.TotalFunction
43 >-- L0.SCLValue.Environment.uses --> L0.SCLValue.Environment <R L0.IsRelatedTo
44 @L0.assert L0.SCLValue.Environment.namespace ""
46 L0.Property <T L0.Value
49 @L0.assert L0.ConvertsToValueWith L0.Functions.composedPropertyValue