Added anchors for SCL data types and classes in HTML documentation
[simantics/platform.git] / bundles / org.simantics.layer0 / graph / Layer0Values.pgraph
1 L0 = <http://www.simantics.org/Layer0-1.1>
2
3 L0.Value <T L0.Entity
4     
5 L0.ExternalValue <T L0.Value
6
7 L0.ConvertsToValueWith <R L0.HasProperty : L0.FunctionalRelation
8     <-- L0.Value
9     --> L0.Entity    
10
11 L0.HasValueType <R L0.HasProperty : L0.FunctionalRelation
12     <-- L0.Value
13     --> L0.String
14     
15 L0.RequiresValueType <R L0.HasProperty : L0.FunctionalRelation
16     <-- L0.Relation
17     --> L0.String
18
19 L0.HasDefaultLiteralType <R L0.DependsOn : L0.FunctionalRelation
20     <-- L0.Relation
21     --> L0.Type
22     
23 L0.HasSubliteralPredicate <R L0.DependsOn
24
25 L0.RVIContext <T L0.Entity
26
27 L0.SCLValue <T L0.Value : L0.SCLValueType
28     @L0.tag L0.Abstract
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.sclValue
32
33 L0.SCLValueType <T L0.Entity
34     >-- L0.SCLValueType.validator ==> "Variable -> <ReadGraph> String" <R L0.HasProperty
35
36 L0.scl : L0.Template
37     @template %subject %property %expression %valueType
38         %subject
39             %property _ : L0.SCLValue
40               L0.SCLValue.expression %expression
41               L0.HasValueType %valueType
42
43 L0.sclAssertion : L0.Template
44     @template %type %property %expression %valueType
45         %type
46             L0.Asserts _ : L0.Assertion
47               L0.HasPredicate %property
48               L0.HasObject _ : L0.SCLValue
49                 L0.SCLValue.expression %expression
50                 L0.HasValueType %valueType
51
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 ""
57     
58 L0.Property <T L0.Value
59     @L0.tag L0.Abstract
60     @L0.tag L0.Deprecated
61     @L0.assert L0.ConvertsToValueWith L0.Functions.composedPropertyValue