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.SCLValue.Environment <T L0.Entity
44 >-- L0.SCLValue.Environment.moduleName --> L0.String <R L0.HasProperty : L0.TotalFunction
45 >-- L0.SCLValue.Environment.namespace --> L0.String <R L0.HasProperty : L0.TotalFunction
46 >-- L0.SCLValue.Environment.uses --> L0.SCLValue.Environment <R L0.IsRelatedTo
47 @L0.assert L0.SCLValue.Environment.namespace ""
49 L0.Property <T L0.Value
52 @L0.assert L0.ConvertsToValueWith L0.Functions.composedPropertyValue