PSL Inherit Spec

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_PSL_Inherit_Spec

Format: Short

Accessor

Field

Type

Access

Description

Parent

Field0

Iir

ref

Get/Set the statement in which TARGET appears. This is used to check if next/exit is in a loop.

Name

Field4

Iir

owned

—

Inherit_Spec_Chain

Field3

Iir

chain

—

Chain

Field2

Iir

chain next

—

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "PSL_Inherit_Spec" [style=filled fillcolor="#eeeeec" label="{PSL_Inherit_Spec|{<Parent> Parent|<Name> Name|<Inherit_Spec_Chain> Inherit_Spec_Chain|<Chain> Chain}}"] "PSL_Inherit_Spec__Parent" [shape=box label="Iir"] "PSL_Inherit_Spec":Parent -> "PSL_Inherit_Spec__Parent" [color="#3465a4" style=dashed] "PSL_Inherit_Spec__Name" [shape=box label="Iir"] "PSL_Inherit_Spec":Name -> "PSL_Inherit_Spec__Name" [color="#000000"] "PSL_Inherit_Spec__Inherit_Spec_Chain" [shape=box label="Iir"] "PSL_Inherit_Spec":Inherit_Spec_Chain -> "PSL_Inherit_Spec__Inherit_Spec_Chain" [color="#4e9a06"] "PSL_Inherit_Spec__Chain" [shape=box label="Iir"] "PSL_Inherit_Spec":Chain -> "PSL_Inherit_Spec__Chain" [color="#4e9a06" style=bold] }