DIA.IsVisibleDummy <R DIA.IsVisible
DIA.IsFocusableDummy <R DIA.IsFocusable
-DIA.Layer <T L0.Entity
+DIA.Layer <T L0.Property
@L0.singleProperty DIA.IsActive
@L0.singleProperty DIA.HasVisibleTag
@L0.singleProperty DIA.HasFocusableTag
DIA.HasPageDescription <R L0.HasProperty : L0.FunctionalRelation
--> DIA.PageDescription
-DIA.PageDescription <T L0.Value
+DIA.PageDescription <T L0.Property
@L0.singleProperty DIA.PageDescription.Size
@L0.singleProperty DIA.PageDescription.Orientation
@L0.singleProperty DIA.PageDescription.Margins
DIA.HasEditorState <R L0.HasProperty : L0.FunctionalRelation
<-- DIA.Diagram
- --> DIA.EditorState <T L0.Value
+ --> DIA.EditorState <T L0.Property
>-- DIA.EditorState.ViewTransform --> G2D.Transform <R L0.HasProperty : L0.FunctionalRelation
L0.HasDescription "For storing the current view transformation of a diagram editor."
>-- DIA.EditorState.Selection --> DIA.Element <R L0.IsRelatedTo