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"] }