1 L0 = <http://www.simantics.org/Layer0-1.1>
2 L0X = <http://www.simantics.org/Layer0X-1.1>
3 DIA = <http://www.simantics.org/Diagram-2.2>
4 STR = <http://www.simantics.org/Structural-1.2>
5 MOD = <http://www.simantics.org/Modeling-1.2>
6 VP = <http://www.simantics.org/Viewpoint-1.2>
7 IMAGE = <http://www.simantics.org/Image2-1.2>
8 SEL = <http://www.simantics.org/SelectionView-1.2>
9 SEL_UI = <http://www.simantics.org/SelectionViewUI-1.1>
10 G2D = <http://www.simantics.org/G2D-1.1>
11 DN = <http://www.simantics.org/DistrictNetwork-1.0>
12 DATATYPES = <http://www.simantics.org/Datatypes-1.1>
14 // ----------------------------------------------------------------------------
16 DN.EdgeThicknessPropertyParameterType <T SEL.GenericParameterType
17 @L0.assert SEL.HasDisplayValue
19 SEL.HasEnumerationValues DN.Functions.edgeThicknessPropertyEnumerationValues : L0.Function
20 SEL.HasCustomModifier DN.Functions.edgeThicknessPropertyModifier : L0.Function
22 DN.VertexScalePropertyParameterType <T SEL.GenericParameterType
23 @L0.assert SEL.HasDisplayValue
25 SEL.HasEnumerationValues DN.Functions.nodeScalePropertyEnumerationValues : L0.Function
26 SEL.HasCustomModifier DN.Functions.nodeScalePropertyModifier : L0.Function
28 DN.Edge.ThicknessProperty <T L0.Value
29 @L0.assert L0.ConvertsToValueWith DN.Functions.convertToValue
30 >-- DN.Edge.ThicknessProperty.value ==> "Resource -> <ReadGraph> Maybe Double" <R L0.HasProperty : SEL.GenericParameterType
32 >-- DN.Edge.ThicknessProperty.gain --> L0.Double <R L0.HasProperty : SEL.GenericParameterType
34 >-- DN.Edge.ThicknessProperty.bias --> L0.Double <R L0.HasProperty : SEL.GenericParameterType
36 @L0.assert DN.Edge.ThicknessProperty.gain 1.0
37 @L0.assert DN.Edge.ThicknessProperty.bias 0.0
39 DN.Vertex.ScaleProperty <T L0.Value
40 @L0.assert L0.ConvertsToValueWith DN.Functions.convertToValue
41 >-- DN.Vertex.ScaleProperty.value ==> "Resource -> <ReadGraph> Maybe Double" <R L0.HasProperty : SEL.GenericParameterType
43 >-- DN.Vertex.ScaleProperty.gain ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
45 >-- DN.Vertex.ScaleProperty.bias ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
47 @L0.assert DN.Vertex.ScaleProperty.gain 1.0
48 @L0.assert DN.Vertex.ScaleProperty.bias 0.0
51 >-- DN.Diagram.elementColoringGradientHue ==> "Float" <R L0.HasProperty : SEL.GenericParameterType
52 L0.HasLabel "Element Color Hue"
53 L0.HasDescription "HSV/HSB color space hue value used for element coloring in degrees (0-360)"
55 L0X.RequiresDataType $(Float(unit="deg",range=[0..360]))
56 SEL.HasDisplayValue _ : SEL.DisplayValue
57 L0.Literal.HasInputValidator DN.Functions.hueValidator : L0.Function
58 >-- DN.Diagram.elementColoringGradientSaturation ==> "Float" <R L0.HasProperty : SEL.GenericParameterType
59 L0.HasLabel "Element Color Saturation"
60 L0.HasDescription "HSV/HSB color space saturation value used for element coloring in % (0-100)"
62 L0X.RequiresDataType $(Float(unit="%",range=[0..100]))
63 SEL.HasDisplayValue _ : SEL.DisplayValue
64 L0.Literal.HasInputValidator DN.Functions.saturationValidator : L0.Function
65 >-- DN.Diagram.elementColoringFunction --> L0.String ==> "Resource -> <ReadGraph> Double" <R L0.HasProperty : SEL.GenericParameterType
66 L0.HasLabel "Element Color Brightness Function"
67 L0.HasDescription "Defines HSV/HSB color space brightness function whose value is cut off to fit [0,1]. Together with hue and saturation this defines the element color."
68 SEL.HasDisplayValue _ : SEL.DisplayValue
69 L0.Literal.HasInputValidator DN.Functions.brightnessValidator : L0.Function
70 >-- DN.Diagram.edgeThicknessGain ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
71 L0.HasLabel "Edge Thickness Gain"
72 >-- DN.Diagram.edgeThicknessBias ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
73 L0.HasLabel "Edge Thickness Bias"
74 >-- DN.Diagram.edgeThicknessProperty --> DN.Edge.ThicknessProperty <R L0.HasProperty : DN.EdgeThicknessPropertyParameterType
75 L0.HasLabel "Edge Thickness Property"
76 >-- DN.Diagram.nodeScaleGain ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
77 L0.HasLabel "Node Scale Gain"
78 >-- DN.Diagram.nodeScaleBias ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
79 L0.HasLabel "Node Scale Bias"
80 >-- DN.Diagram.nodeScaleProperty --> DN.Vertex.ScaleProperty <R L0.HasProperty : DN.VertexScalePropertyParameterType
81 L0.HasLabel "Node Scale Property"
82 >-- DN.Diagram.backgroundColor --> DATATYPES.RGB.Integer <R L0.HasProperty : SEL.ColorParameterType
83 L0.HasLabel "Diagram Background Color"
84 >-- DN.Diagram.drawMapEnabled ==> "Boolean" <R L0.HasProperty : SEL.GenericParameterType
85 L0.HasLabel "Draw Map"
86 >-- DN.Diagram.profileUpdateInterval ==> "Long" <R L0.HasProperty : SEL.GenericParameterType
87 L0.HasLabel "Profile update interval"
88 @L0.assert DN.Diagram.elementColoringGradientHue
90 L0.HasDataType $(Float(unit="deg",range=[0..360]))
91 @L0.assert DN.Diagram.elementColoringGradientSaturation
93 L0.HasDataType $(Float(unit="%",range=[0..100]))
94 @MOD.sclAssertion DN.Diagram.elementColoringFunction "\r -> 1.0" "Resource -> <ReadGraph> Double"
95 @L0.assert DN.Diagram.edgeThicknessGain 1.0
96 @L0.assert DN.Diagram.edgeThicknessBias 0.0
97 @L0.assert DN.Diagram.edgeThicknessProperty DN.Edge.ThicknessProperty.Diameter
98 @L0.assert DN.Diagram.nodeScaleGain 1.0
99 @L0.assert DN.Diagram.nodeScaleBias 0.0
100 @L0.assert DN.Diagram.nodeScaleProperty DN.Vertex.ScaleProperty.NominalSupplyPressure
101 @L0.assert DN.Diagram.drawMapEnabled true
102 @L0.assert DN.Diagram.profileUpdateInterval
105 // ----------------------------------------------------------------------------
106 // Built-in enumerated ScaleProperty & ThicknessProperty instances
108 DN.Functions.constantOne : L0.Function
109 L0.HasValueType "Resource -> <ReadGraph> Maybe Double"
111 DN.Edge.ThicknessProperty.OnlyGainAndBias: DN.Edge.ThicknessProperty
112 L0.HasLabel "Only Gain and Bias"
113 DN.Edge.ThicknessProperty.value
114 DN.Functions.constantOne
116 DN.Edge.ThicknessProperty.Diameter : DN.Edge.ThicknessProperty
117 L0.HasLabel "Diameter"
118 DN.Edge.ThicknessProperty.value
119 DN.Functions.hasDiameterValue : L0.Function
120 L0.HasValueType "Resource -> <ReadGraph> Maybe Double"
121 DN.Edge.ThicknessProperty.gain 0.001
124 DN.Vertex.ScaleProperty.OnlyGainAndBias: DN.Vertex.ScaleProperty
125 L0.HasLabel "Only Gain and Bias"
126 DN.Vertex.ScaleProperty.value
127 DN.Functions.constantOne
129 DN.Vertex.ScaleProperty.NominalSupplyPressure : DN.Vertex.ScaleProperty
130 L0.HasLabel "Nominal Supply Pressure"
131 DN.Vertex.ScaleProperty.value
132 DN.Functions.hasNominalSupplyPressure : L0.Function
133 L0.HasValueType "Resource -> <ReadGraph> Maybe Double"
134 DN.Vertex.ScaleProperty.gain 0.001
136 DN.Vertex.ScaleProperty.Elevation : DN.Vertex.ScaleProperty
137 L0.HasLabel "Elevation"
138 DN.Vertex.ScaleProperty.value
139 DN.Functions.hasElevation : L0.Function
140 L0.HasValueType "Resource -> <ReadGraph> Maybe Double"
141 DN.Vertex.ScaleProperty.gain 0.1
142 DN.Vertex.ScaleProperty.bias 0.001