Mode View Indication

The diagrams below draw one box per node kind, with one port per field. The edge colours say how a link is held; they are listed in full on the Fields page.

digraph { rankdir="LR" nodesep=0.1 node [shape=point width=0.06 color="#888a85"] edge [fontname="monospace" fontsize=10 minlen=3] l0a -> l0b [label="owned" color="#000000"] l1a -> l1b [label="ref" color="#3465a4" style=dashed] l2a -> l2b [label="maybe ref" color="#3465a4" style=dotted] l3a -> l3b [label="of ref" color="#3465a4" style=dashed] l4a -> l4b [label="of maybe ref" color="#3465a4" style=dotted] l5a -> l5b [label="forward ref" color="#f57900" style=dashed] l6a -> l6b [label="maybe forward ref" color="#f57900" style=dotted] l7a -> l7b [label="chain" color="#4e9a06"] l8a -> l8b [label="chain next" color="#4e9a06" style=bold] }

Iir_Kind_Record_Mode_View_Indication

Format: Short

Accessor

Field

Type

Access

Description

Name

Field4

Iir

owned

—

Subtype_Indication

Field5

Iir

maybe ref

The subtype indication of a declaration. If several declarations share the same subtype_indication like in: variable a, b : integer := 5; then only the first declaration is the owner of the subtype_indication.

Type

Field1

Iir

ref

—

Is_Ref

Flag12

Boolean

owned

Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Record_Mode_View_Indication" [style=filled fillcolor="#eeeeec" label="{Record_Mode_View_Indication|{<Name> Name|<Subtype_Indication> Subtype_Indication|<Type> Type|<Is_Ref> Is_Ref}}"] "Record_Mode_View_Indication__Name" [shape=box label="Iir"] "Record_Mode_View_Indication":Name -> "Record_Mode_View_Indication__Name" [color="#000000"] "Record_Mode_View_Indication__Subtype_Indication" [shape=box label="Iir"] "Record_Mode_View_Indication":Subtype_Indication -> "Record_Mode_View_Indication__Subtype_Indication" [color="#3465a4" style=dotted] "Record_Mode_View_Indication__Type" [shape=box label="Iir"] "Record_Mode_View_Indication":Type -> "Record_Mode_View_Indication__Type" [color="#3465a4" style=dashed] }

Iir_Kind_Array_Mode_View_Indication

Format: Short

Accessor

Field

Type

Access

Description

Name

Field4

Iir

owned

—

Subtype_Indication

Field5

Iir

maybe ref

The subtype indication of a declaration. If several declarations share the same subtype_indication like in: variable a, b : integer := 5; then only the first declaration is the owner of the subtype_indication.

Type

Field1

Iir

ref

—

Is_Ref

Flag12

Boolean

owned

Set to True if Maybe_Ref fields are references. This cannot be shared with Has_Identifier_List as: Is_Ref is set to True on all items but the first, while Has_Identifier_List is set to True on all items but the last. Furthermore Is_Ref appears in nodes where Has_Identifier_List is not present.

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Array_Mode_View_Indication" [style=filled fillcolor="#eeeeec" label="{Array_Mode_View_Indication|{<Name> Name|<Subtype_Indication> Subtype_Indication|<Type> Type|<Is_Ref> Is_Ref}}"] "Array_Mode_View_Indication__Name" [shape=box label="Iir"] "Array_Mode_View_Indication":Name -> "Array_Mode_View_Indication__Name" [color="#000000"] "Array_Mode_View_Indication__Subtype_Indication" [shape=box label="Iir"] "Array_Mode_View_Indication":Subtype_Indication -> "Array_Mode_View_Indication__Subtype_Indication" [color="#3465a4" style=dotted] "Array_Mode_View_Indication__Type" [shape=box label="Iir"] "Array_Mode_View_Indication":Type -> "Array_Mode_View_Indication__Type" [color="#3465a4" style=dashed] }