DN.ElementColoringStyle : DIA.Style
DN.VertexSizeStyle : DIA.Style
DN.EdgeThicknessStyle : DIA.Style
+DN.ArrowLengthStyle : DIA.Style
DN.HideStyle : DIA.Style
DN.VertexSymbolStyle : DIA.Style
+DN.ConnectionLineStyle : DIA.Style
+DN.ElevationRectangleStyle : DIA.Style
+
+// Style for user component-specified text grid entries
+DN.DistrictNetworkHoverInfoStyle : DIA.Style
+
+// Style for user component-specified static info text for network branches
+DN.DistrictNetworkStaticInfoStyle : DIA.Style
// Function for dynamic selection of symbols for a vertex
// The input of the function is a DN.Vertex
// The output of the function should be SVG
DN.HasSymbolFunction <R L0.HasProperty
<-- DIA.ProfileEntry
- --> L0.ExternalValue
- ==> "Resource -> <ReadGraph> String"
+ --> L0.Value
+ ==> "Resource -> <ReadGraph> Maybe String"