Dyadic Operator

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_And_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "And_Operator" [style=filled fillcolor="#eeeeec" label="{And_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "And_Operator__Type" [shape=box label="Iir"] "And_Operator":Type -> "And_Operator__Type" [color="#3465a4" style=dashed] "And_Operator__Left" [shape=box label="Iir"] "And_Operator":Left -> "And_Operator__Left" [color="#000000"] "And_Operator__Implementation" [shape=box label="Iir"] "And_Operator":Implementation -> "And_Operator__Implementation" [color="#3465a4" style=dashed] "And_Operator__Right" [shape=box label="Iir"] "And_Operator":Right -> "And_Operator__Right" [color="#000000"] }

Iir_Kind_Or_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Or_Operator" [style=filled fillcolor="#eeeeec" label="{Or_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Or_Operator__Type" [shape=box label="Iir"] "Or_Operator":Type -> "Or_Operator__Type" [color="#3465a4" style=dashed] "Or_Operator__Left" [shape=box label="Iir"] "Or_Operator":Left -> "Or_Operator__Left" [color="#000000"] "Or_Operator__Implementation" [shape=box label="Iir"] "Or_Operator":Implementation -> "Or_Operator__Implementation" [color="#3465a4" style=dashed] "Or_Operator__Right" [shape=box label="Iir"] "Or_Operator":Right -> "Or_Operator__Right" [color="#000000"] }

Iir_Kind_Nand_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Nand_Operator" [style=filled fillcolor="#eeeeec" label="{Nand_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Nand_Operator__Type" [shape=box label="Iir"] "Nand_Operator":Type -> "Nand_Operator__Type" [color="#3465a4" style=dashed] "Nand_Operator__Left" [shape=box label="Iir"] "Nand_Operator":Left -> "Nand_Operator__Left" [color="#000000"] "Nand_Operator__Implementation" [shape=box label="Iir"] "Nand_Operator":Implementation -> "Nand_Operator__Implementation" [color="#3465a4" style=dashed] "Nand_Operator__Right" [shape=box label="Iir"] "Nand_Operator":Right -> "Nand_Operator__Right" [color="#000000"] }

Iir_Kind_Nor_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Nor_Operator" [style=filled fillcolor="#eeeeec" label="{Nor_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Nor_Operator__Type" [shape=box label="Iir"] "Nor_Operator":Type -> "Nor_Operator__Type" [color="#3465a4" style=dashed] "Nor_Operator__Left" [shape=box label="Iir"] "Nor_Operator":Left -> "Nor_Operator__Left" [color="#000000"] "Nor_Operator__Implementation" [shape=box label="Iir"] "Nor_Operator":Implementation -> "Nor_Operator__Implementation" [color="#3465a4" style=dashed] "Nor_Operator__Right" [shape=box label="Iir"] "Nor_Operator":Right -> "Nor_Operator__Right" [color="#000000"] }

Iir_Kind_Xor_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Xor_Operator" [style=filled fillcolor="#eeeeec" label="{Xor_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Xor_Operator__Type" [shape=box label="Iir"] "Xor_Operator":Type -> "Xor_Operator__Type" [color="#3465a4" style=dashed] "Xor_Operator__Left" [shape=box label="Iir"] "Xor_Operator":Left -> "Xor_Operator__Left" [color="#000000"] "Xor_Operator__Implementation" [shape=box label="Iir"] "Xor_Operator":Implementation -> "Xor_Operator__Implementation" [color="#3465a4" style=dashed] "Xor_Operator__Right" [shape=box label="Iir"] "Xor_Operator":Right -> "Xor_Operator__Right" [color="#000000"] }

Iir_Kind_Xnor_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Xnor_Operator" [style=filled fillcolor="#eeeeec" label="{Xnor_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Xnor_Operator__Type" [shape=box label="Iir"] "Xnor_Operator":Type -> "Xnor_Operator__Type" [color="#3465a4" style=dashed] "Xnor_Operator__Left" [shape=box label="Iir"] "Xnor_Operator":Left -> "Xnor_Operator__Left" [color="#000000"] "Xnor_Operator__Implementation" [shape=box label="Iir"] "Xnor_Operator":Implementation -> "Xnor_Operator__Implementation" [color="#3465a4" style=dashed] "Xnor_Operator__Right" [shape=box label="Iir"] "Xnor_Operator":Right -> "Xnor_Operator__Right" [color="#000000"] }

Iir_Kind_Equality_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Equality_Operator" [style=filled fillcolor="#eeeeec" label="{Equality_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Equality_Operator__Type" [shape=box label="Iir"] "Equality_Operator":Type -> "Equality_Operator__Type" [color="#3465a4" style=dashed] "Equality_Operator__Left" [shape=box label="Iir"] "Equality_Operator":Left -> "Equality_Operator__Left" [color="#000000"] "Equality_Operator__Implementation" [shape=box label="Iir"] "Equality_Operator":Implementation -> "Equality_Operator__Implementation" [color="#3465a4" style=dashed] "Equality_Operator__Right" [shape=box label="Iir"] "Equality_Operator":Right -> "Equality_Operator__Right" [color="#000000"] }

Iir_Kind_Inequality_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Inequality_Operator" [style=filled fillcolor="#eeeeec" label="{Inequality_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Inequality_Operator__Type" [shape=box label="Iir"] "Inequality_Operator":Type -> "Inequality_Operator__Type" [color="#3465a4" style=dashed] "Inequality_Operator__Left" [shape=box label="Iir"] "Inequality_Operator":Left -> "Inequality_Operator__Left" [color="#000000"] "Inequality_Operator__Implementation" [shape=box label="Iir"] "Inequality_Operator":Implementation -> "Inequality_Operator__Implementation" [color="#3465a4" style=dashed] "Inequality_Operator__Right" [shape=box label="Iir"] "Inequality_Operator":Right -> "Inequality_Operator__Right" [color="#000000"] }

Iir_Kind_Less_Than_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Less_Than_Operator" [style=filled fillcolor="#eeeeec" label="{Less_Than_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Less_Than_Operator__Type" [shape=box label="Iir"] "Less_Than_Operator":Type -> "Less_Than_Operator__Type" [color="#3465a4" style=dashed] "Less_Than_Operator__Left" [shape=box label="Iir"] "Less_Than_Operator":Left -> "Less_Than_Operator__Left" [color="#000000"] "Less_Than_Operator__Implementation" [shape=box label="Iir"] "Less_Than_Operator":Implementation -> "Less_Than_Operator__Implementation" [color="#3465a4" style=dashed] "Less_Than_Operator__Right" [shape=box label="Iir"] "Less_Than_Operator":Right -> "Less_Than_Operator__Right" [color="#000000"] }

Iir_Kind_Less_Than_Or_Equal_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Less_Than_Or_Equal_Operator" [style=filled fillcolor="#eeeeec" label="{Less_Than_Or_Equal_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Less_Than_Or_Equal_Operator__Type" [shape=box label="Iir"] "Less_Than_Or_Equal_Operator":Type -> "Less_Than_Or_Equal_Operator__Type" [color="#3465a4" style=dashed] "Less_Than_Or_Equal_Operator__Left" [shape=box label="Iir"] "Less_Than_Or_Equal_Operator":Left -> "Less_Than_Or_Equal_Operator__Left" [color="#000000"] "Less_Than_Or_Equal_Operator__Implementation" [shape=box label="Iir"] "Less_Than_Or_Equal_Operator":Implementation -> "Less_Than_Or_Equal_Operator__Implementation" [color="#3465a4" style=dashed] "Less_Than_Or_Equal_Operator__Right" [shape=box label="Iir"] "Less_Than_Or_Equal_Operator":Right -> "Less_Than_Or_Equal_Operator__Right" [color="#000000"] }

Iir_Kind_Greater_Than_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Greater_Than_Operator" [style=filled fillcolor="#eeeeec" label="{Greater_Than_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Greater_Than_Operator__Type" [shape=box label="Iir"] "Greater_Than_Operator":Type -> "Greater_Than_Operator__Type" [color="#3465a4" style=dashed] "Greater_Than_Operator__Left" [shape=box label="Iir"] "Greater_Than_Operator":Left -> "Greater_Than_Operator__Left" [color="#000000"] "Greater_Than_Operator__Implementation" [shape=box label="Iir"] "Greater_Than_Operator":Implementation -> "Greater_Than_Operator__Implementation" [color="#3465a4" style=dashed] "Greater_Than_Operator__Right" [shape=box label="Iir"] "Greater_Than_Operator":Right -> "Greater_Than_Operator__Right" [color="#000000"] }

Iir_Kind_Greater_Than_Or_Equal_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Greater_Than_Or_Equal_Operator" [style=filled fillcolor="#eeeeec" label="{Greater_Than_Or_Equal_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Greater_Than_Or_Equal_Operator__Type" [shape=box label="Iir"] "Greater_Than_Or_Equal_Operator":Type -> "Greater_Than_Or_Equal_Operator__Type" [color="#3465a4" style=dashed] "Greater_Than_Or_Equal_Operator__Left" [shape=box label="Iir"] "Greater_Than_Or_Equal_Operator":Left -> "Greater_Than_Or_Equal_Operator__Left" [color="#000000"] "Greater_Than_Or_Equal_Operator__Implementation" [shape=box label="Iir"] "Greater_Than_Or_Equal_Operator":Implementation -> "Greater_Than_Or_Equal_Operator__Implementation" [color="#3465a4" style=dashed] "Greater_Than_Or_Equal_Operator__Right" [shape=box label="Iir"] "Greater_Than_Or_Equal_Operator":Right -> "Greater_Than_Or_Equal_Operator__Right" [color="#000000"] }

Iir_Kind_Match_Equality_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Match_Equality_Operator" [style=filled fillcolor="#eeeeec" label="{Match_Equality_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Match_Equality_Operator__Type" [shape=box label="Iir"] "Match_Equality_Operator":Type -> "Match_Equality_Operator__Type" [color="#3465a4" style=dashed] "Match_Equality_Operator__Left" [shape=box label="Iir"] "Match_Equality_Operator":Left -> "Match_Equality_Operator__Left" [color="#000000"] "Match_Equality_Operator__Implementation" [shape=box label="Iir"] "Match_Equality_Operator":Implementation -> "Match_Equality_Operator__Implementation" [color="#3465a4" style=dashed] "Match_Equality_Operator__Right" [shape=box label="Iir"] "Match_Equality_Operator":Right -> "Match_Equality_Operator__Right" [color="#000000"] }

Iir_Kind_Match_Inequality_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Match_Inequality_Operator" [style=filled fillcolor="#eeeeec" label="{Match_Inequality_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Match_Inequality_Operator__Type" [shape=box label="Iir"] "Match_Inequality_Operator":Type -> "Match_Inequality_Operator__Type" [color="#3465a4" style=dashed] "Match_Inequality_Operator__Left" [shape=box label="Iir"] "Match_Inequality_Operator":Left -> "Match_Inequality_Operator__Left" [color="#000000"] "Match_Inequality_Operator__Implementation" [shape=box label="Iir"] "Match_Inequality_Operator":Implementation -> "Match_Inequality_Operator__Implementation" [color="#3465a4" style=dashed] "Match_Inequality_Operator__Right" [shape=box label="Iir"] "Match_Inequality_Operator":Right -> "Match_Inequality_Operator__Right" [color="#000000"] }

Iir_Kind_Match_Less_Than_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Match_Less_Than_Operator" [style=filled fillcolor="#eeeeec" label="{Match_Less_Than_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Match_Less_Than_Operator__Type" [shape=box label="Iir"] "Match_Less_Than_Operator":Type -> "Match_Less_Than_Operator__Type" [color="#3465a4" style=dashed] "Match_Less_Than_Operator__Left" [shape=box label="Iir"] "Match_Less_Than_Operator":Left -> "Match_Less_Than_Operator__Left" [color="#000000"] "Match_Less_Than_Operator__Implementation" [shape=box label="Iir"] "Match_Less_Than_Operator":Implementation -> "Match_Less_Than_Operator__Implementation" [color="#3465a4" style=dashed] "Match_Less_Than_Operator__Right" [shape=box label="Iir"] "Match_Less_Than_Operator":Right -> "Match_Less_Than_Operator__Right" [color="#000000"] }

Iir_Kind_Match_Less_Than_Or_Equal_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Match_Less_Than_Or_Equal_Operator" [style=filled fillcolor="#eeeeec" label="{Match_Less_Than_Or_Equal_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Match_Less_Than_Or_Equal_Operator__Type" [shape=box label="Iir"] "Match_Less_Than_Or_Equal_Operator":Type -> "Match_Less_Than_Or_Equal_Operator__Type" [color="#3465a4" style=dashed] "Match_Less_Than_Or_Equal_Operator__Left" [shape=box label="Iir"] "Match_Less_Than_Or_Equal_Operator":Left -> "Match_Less_Than_Or_Equal_Operator__Left" [color="#000000"] "Match_Less_Than_Or_Equal_Operator__Implementation" [shape=box label="Iir"] "Match_Less_Than_Or_Equal_Operator":Implementation -> "Match_Less_Than_Or_Equal_Operator__Implementation" [color="#3465a4" style=dashed] "Match_Less_Than_Or_Equal_Operator__Right" [shape=box label="Iir"] "Match_Less_Than_Or_Equal_Operator":Right -> "Match_Less_Than_Or_Equal_Operator__Right" [color="#000000"] }

Iir_Kind_Match_Greater_Than_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Match_Greater_Than_Operator" [style=filled fillcolor="#eeeeec" label="{Match_Greater_Than_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Match_Greater_Than_Operator__Type" [shape=box label="Iir"] "Match_Greater_Than_Operator":Type -> "Match_Greater_Than_Operator__Type" [color="#3465a4" style=dashed] "Match_Greater_Than_Operator__Left" [shape=box label="Iir"] "Match_Greater_Than_Operator":Left -> "Match_Greater_Than_Operator__Left" [color="#000000"] "Match_Greater_Than_Operator__Implementation" [shape=box label="Iir"] "Match_Greater_Than_Operator":Implementation -> "Match_Greater_Than_Operator__Implementation" [color="#3465a4" style=dashed] "Match_Greater_Than_Operator__Right" [shape=box label="Iir"] "Match_Greater_Than_Operator":Right -> "Match_Greater_Than_Operator__Right" [color="#000000"] }

Iir_Kind_Match_Greater_Than_Or_Equal_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Match_Greater_Than_Or_Equal_Operator" [style=filled fillcolor="#eeeeec" label="{Match_Greater_Than_Or_Equal_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Match_Greater_Than_Or_Equal_Operator__Type" [shape=box label="Iir"] "Match_Greater_Than_Or_Equal_Operator":Type -> "Match_Greater_Than_Or_Equal_Operator__Type" [color="#3465a4" style=dashed] "Match_Greater_Than_Or_Equal_Operator__Left" [shape=box label="Iir"] "Match_Greater_Than_Or_Equal_Operator":Left -> "Match_Greater_Than_Or_Equal_Operator__Left" [color="#000000"] "Match_Greater_Than_Or_Equal_Operator__Implementation" [shape=box label="Iir"] "Match_Greater_Than_Or_Equal_Operator":Implementation -> "Match_Greater_Than_Or_Equal_Operator__Implementation" [color="#3465a4" style=dashed] "Match_Greater_Than_Or_Equal_Operator__Right" [shape=box label="Iir"] "Match_Greater_Than_Or_Equal_Operator":Right -> "Match_Greater_Than_Or_Equal_Operator__Right" [color="#000000"] }

Iir_Kind_Sll_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Sll_Operator" [style=filled fillcolor="#eeeeec" label="{Sll_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Sll_Operator__Type" [shape=box label="Iir"] "Sll_Operator":Type -> "Sll_Operator__Type" [color="#3465a4" style=dashed] "Sll_Operator__Left" [shape=box label="Iir"] "Sll_Operator":Left -> "Sll_Operator__Left" [color="#000000"] "Sll_Operator__Implementation" [shape=box label="Iir"] "Sll_Operator":Implementation -> "Sll_Operator__Implementation" [color="#3465a4" style=dashed] "Sll_Operator__Right" [shape=box label="Iir"] "Sll_Operator":Right -> "Sll_Operator__Right" [color="#000000"] }

Iir_Kind_Sla_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Sla_Operator" [style=filled fillcolor="#eeeeec" label="{Sla_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Sla_Operator__Type" [shape=box label="Iir"] "Sla_Operator":Type -> "Sla_Operator__Type" [color="#3465a4" style=dashed] "Sla_Operator__Left" [shape=box label="Iir"] "Sla_Operator":Left -> "Sla_Operator__Left" [color="#000000"] "Sla_Operator__Implementation" [shape=box label="Iir"] "Sla_Operator":Implementation -> "Sla_Operator__Implementation" [color="#3465a4" style=dashed] "Sla_Operator__Right" [shape=box label="Iir"] "Sla_Operator":Right -> "Sla_Operator__Right" [color="#000000"] }

Iir_Kind_Srl_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Srl_Operator" [style=filled fillcolor="#eeeeec" label="{Srl_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Srl_Operator__Type" [shape=box label="Iir"] "Srl_Operator":Type -> "Srl_Operator__Type" [color="#3465a4" style=dashed] "Srl_Operator__Left" [shape=box label="Iir"] "Srl_Operator":Left -> "Srl_Operator__Left" [color="#000000"] "Srl_Operator__Implementation" [shape=box label="Iir"] "Srl_Operator":Implementation -> "Srl_Operator__Implementation" [color="#3465a4" style=dashed] "Srl_Operator__Right" [shape=box label="Iir"] "Srl_Operator":Right -> "Srl_Operator__Right" [color="#000000"] }

Iir_Kind_Sra_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Sra_Operator" [style=filled fillcolor="#eeeeec" label="{Sra_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Sra_Operator__Type" [shape=box label="Iir"] "Sra_Operator":Type -> "Sra_Operator__Type" [color="#3465a4" style=dashed] "Sra_Operator__Left" [shape=box label="Iir"] "Sra_Operator":Left -> "Sra_Operator__Left" [color="#000000"] "Sra_Operator__Implementation" [shape=box label="Iir"] "Sra_Operator":Implementation -> "Sra_Operator__Implementation" [color="#3465a4" style=dashed] "Sra_Operator__Right" [shape=box label="Iir"] "Sra_Operator":Right -> "Sra_Operator__Right" [color="#000000"] }

Iir_Kind_Rol_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Rol_Operator" [style=filled fillcolor="#eeeeec" label="{Rol_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Rol_Operator__Type" [shape=box label="Iir"] "Rol_Operator":Type -> "Rol_Operator__Type" [color="#3465a4" style=dashed] "Rol_Operator__Left" [shape=box label="Iir"] "Rol_Operator":Left -> "Rol_Operator__Left" [color="#000000"] "Rol_Operator__Implementation" [shape=box label="Iir"] "Rol_Operator":Implementation -> "Rol_Operator__Implementation" [color="#3465a4" style=dashed] "Rol_Operator__Right" [shape=box label="Iir"] "Rol_Operator":Right -> "Rol_Operator__Right" [color="#000000"] }

Iir_Kind_Ror_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Ror_Operator" [style=filled fillcolor="#eeeeec" label="{Ror_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Ror_Operator__Type" [shape=box label="Iir"] "Ror_Operator":Type -> "Ror_Operator__Type" [color="#3465a4" style=dashed] "Ror_Operator__Left" [shape=box label="Iir"] "Ror_Operator":Left -> "Ror_Operator__Left" [color="#000000"] "Ror_Operator__Implementation" [shape=box label="Iir"] "Ror_Operator":Implementation -> "Ror_Operator__Implementation" [color="#3465a4" style=dashed] "Ror_Operator__Right" [shape=box label="Iir"] "Ror_Operator":Right -> "Ror_Operator__Right" [color="#000000"] }

Iir_Kind_Addition_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Addition_Operator" [style=filled fillcolor="#eeeeec" label="{Addition_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Addition_Operator__Type" [shape=box label="Iir"] "Addition_Operator":Type -> "Addition_Operator__Type" [color="#3465a4" style=dashed] "Addition_Operator__Left" [shape=box label="Iir"] "Addition_Operator":Left -> "Addition_Operator__Left" [color="#000000"] "Addition_Operator__Implementation" [shape=box label="Iir"] "Addition_Operator":Implementation -> "Addition_Operator__Implementation" [color="#3465a4" style=dashed] "Addition_Operator__Right" [shape=box label="Iir"] "Addition_Operator":Right -> "Addition_Operator__Right" [color="#000000"] }

Iir_Kind_Substraction_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Substraction_Operator" [style=filled fillcolor="#eeeeec" label="{Substraction_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Substraction_Operator__Type" [shape=box label="Iir"] "Substraction_Operator":Type -> "Substraction_Operator__Type" [color="#3465a4" style=dashed] "Substraction_Operator__Left" [shape=box label="Iir"] "Substraction_Operator":Left -> "Substraction_Operator__Left" [color="#000000"] "Substraction_Operator__Implementation" [shape=box label="Iir"] "Substraction_Operator":Implementation -> "Substraction_Operator__Implementation" [color="#3465a4" style=dashed] "Substraction_Operator__Right" [shape=box label="Iir"] "Substraction_Operator":Right -> "Substraction_Operator__Right" [color="#000000"] }

Iir_Kind_Concatenation_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Concatenation_Operator" [style=filled fillcolor="#eeeeec" label="{Concatenation_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Concatenation_Operator__Type" [shape=box label="Iir"] "Concatenation_Operator":Type -> "Concatenation_Operator__Type" [color="#3465a4" style=dashed] "Concatenation_Operator__Left" [shape=box label="Iir"] "Concatenation_Operator":Left -> "Concatenation_Operator__Left" [color="#000000"] "Concatenation_Operator__Implementation" [shape=box label="Iir"] "Concatenation_Operator":Implementation -> "Concatenation_Operator__Implementation" [color="#3465a4" style=dashed] "Concatenation_Operator__Right" [shape=box label="Iir"] "Concatenation_Operator":Right -> "Concatenation_Operator__Right" [color="#000000"] }

Iir_Kind_Multiplication_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Multiplication_Operator" [style=filled fillcolor="#eeeeec" label="{Multiplication_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Multiplication_Operator__Type" [shape=box label="Iir"] "Multiplication_Operator":Type -> "Multiplication_Operator__Type" [color="#3465a4" style=dashed] "Multiplication_Operator__Left" [shape=box label="Iir"] "Multiplication_Operator":Left -> "Multiplication_Operator__Left" [color="#000000"] "Multiplication_Operator__Implementation" [shape=box label="Iir"] "Multiplication_Operator":Implementation -> "Multiplication_Operator__Implementation" [color="#3465a4" style=dashed] "Multiplication_Operator__Right" [shape=box label="Iir"] "Multiplication_Operator":Right -> "Multiplication_Operator__Right" [color="#000000"] }

Iir_Kind_Division_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Division_Operator" [style=filled fillcolor="#eeeeec" label="{Division_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Division_Operator__Type" [shape=box label="Iir"] "Division_Operator":Type -> "Division_Operator__Type" [color="#3465a4" style=dashed] "Division_Operator__Left" [shape=box label="Iir"] "Division_Operator":Left -> "Division_Operator__Left" [color="#000000"] "Division_Operator__Implementation" [shape=box label="Iir"] "Division_Operator":Implementation -> "Division_Operator__Implementation" [color="#3465a4" style=dashed] "Division_Operator__Right" [shape=box label="Iir"] "Division_Operator":Right -> "Division_Operator__Right" [color="#000000"] }

Iir_Kind_Modulus_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Modulus_Operator" [style=filled fillcolor="#eeeeec" label="{Modulus_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Modulus_Operator__Type" [shape=box label="Iir"] "Modulus_Operator":Type -> "Modulus_Operator__Type" [color="#3465a4" style=dashed] "Modulus_Operator__Left" [shape=box label="Iir"] "Modulus_Operator":Left -> "Modulus_Operator__Left" [color="#000000"] "Modulus_Operator__Implementation" [shape=box label="Iir"] "Modulus_Operator":Implementation -> "Modulus_Operator__Implementation" [color="#3465a4" style=dashed] "Modulus_Operator__Right" [shape=box label="Iir"] "Modulus_Operator":Right -> "Modulus_Operator__Right" [color="#000000"] }

Iir_Kind_Remainder_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Remainder_Operator" [style=filled fillcolor="#eeeeec" label="{Remainder_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Remainder_Operator__Type" [shape=box label="Iir"] "Remainder_Operator":Type -> "Remainder_Operator__Type" [color="#3465a4" style=dashed] "Remainder_Operator__Left" [shape=box label="Iir"] "Remainder_Operator":Left -> "Remainder_Operator__Left" [color="#000000"] "Remainder_Operator__Implementation" [shape=box label="Iir"] "Remainder_Operator":Implementation -> "Remainder_Operator__Implementation" [color="#3465a4" style=dashed] "Remainder_Operator__Right" [shape=box label="Iir"] "Remainder_Operator":Right -> "Remainder_Operator__Right" [color="#000000"] }

Iir_Kind_Exponentiation_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

—

Left

Field2

Iir

owned

Left and Right operands.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Right

Field4

Iir

owned

Right operand of a dyadic operator.

Expr_Staticness

State1

Iir_Staticness

owned

Expression staticness, defined by rules of LRM 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Exponentiation_Operator" [style=filled fillcolor="#eeeeec" label="{Exponentiation_Operator|{<Type> Type|<Left> Left|<Implementation> Implementation|<Right> Right|<Expr_Staticness> Expr_Staticness}}"] "Exponentiation_Operator__Type" [shape=box label="Iir"] "Exponentiation_Operator":Type -> "Exponentiation_Operator__Type" [color="#3465a4" style=dashed] "Exponentiation_Operator__Left" [shape=box label="Iir"] "Exponentiation_Operator":Left -> "Exponentiation_Operator__Left" [color="#000000"] "Exponentiation_Operator__Implementation" [shape=box label="Iir"] "Exponentiation_Operator":Implementation -> "Exponentiation_Operator__Implementation" [color="#3465a4" style=dashed] "Exponentiation_Operator__Right" [shape=box label="Iir"] "Exponentiation_Operator":Right -> "Exponentiation_Operator__Right" [color="#000000"] }