Simultaneous Statement
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.
Iir_Kind_Simple_Simultaneous_Statement
Format: Medium
Accessor |
Field |
Type |
Access |
Description |
|---|---|---|---|---|
|
|
ref |
Get/Set the statement in which TARGET appears. This is used to check if next/exit is in a loop. |
|
|
|
chain next |
— |
|
|
|
owned |
— |
|
|
|
owned |
— |
|
|
|
owned |
— |
|
|
|
owned |
— |
|
|
|
owned |
Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished. |
Iir_Kind_Simultaneous_Null_Statement
Format: Short
Accessor |
Field |
Type |
Access |
Description |
|---|---|---|---|---|
|
|
ref |
Get/Set the statement in which TARGET appears. This is used to check if next/exit is in a loop. |
|
|
|
chain next |
— |
|
|
|
owned |
— |
|
|
|
owned |
Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished. |
Iir_Kind_Simultaneous_Procedural_Statement
AMS-LRM17 11.13 Simultaneous procedural statement
simultaneous_procedural_statement ::=
[ procedural_label : ]
PROCEDURAL [ IS ]
procedural_declarative_part
BEGIN
procedural_statement_part
END PROCEDURAL [ procedural_label ] ;
Format: Short
Accessor |
Field |
Type |
Access |
Description |
|---|---|---|---|---|
|
|
ref |
Get/Set the statement in which TARGET appears. This is used to check if next/exit is in a loop. |
|
|
|
chain next |
— |
|
|
|
owned |
— |
|
|
|
chain |
— |
|
|
|
chain |
— |
|
|
|
ref |
Chain of attribute values for declared items. To be used with Get/Set_Value_Chain. There is no order, therefore, a new attribute value may be always prepended. |
|
|
|
owned |
Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished. |
|
|
|
owned |
This flag is set is code being analyzed is textually within TARGET. This is used for selected by name rule. |
|
|
|
owned |
Layout flag: true if ‘is’ is present. |
|
|
|
owned |
Layout flag: true if ‘end’ is followed by the reserved identifier. |
|
|
|
owned |
Layout flag: true if ‘end’ is followed by the identifier. |
Iir_Kind_Simultaneous_Case_Statement
Format: Short
Accessor |
Field |
Type |
Access |
Description |
|---|---|---|---|---|
|
|
ref |
Get/Set the statement in which TARGET appears. This is used to check if next/exit is in a loop. |
|
|
|
chain |
Chain is composed of Iir_Kind_Choice_By_XXX. |
|
|
|
chain next |
— |
|
|
|
owned |
— |
|
|
|
owned |
Expression for an various nodes. |
|
|
|
owned |
Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished. |
|
|
|
owned |
This flag is set is code being analyzed is textually within TARGET. This is used for selected by name rule. |
|
|
|
owned |
Layout flag: true if ‘end’ is followed by the reserved identifier. |
|
|
|
owned |
Layout flag: true if ‘end’ is followed by the identifier. |
Iir_Kind_Simultaneous_If_Statement
AMS-LRM17 11.11 Simultaneous if statement
simultaneous_if_statement ::=
[ /if/_label : ]
IF condition USE
simultaneous_statement_part
{ ELSIF condition USE
simultaneous_statement_part }
[ ELSE
simultaneous_statement_part ]
END USE [ /if/_label ];
Format: Short
Accessor |
Field |
Type |
Access |
Description |
|---|---|---|---|---|
|
|
ref |
Get/Set the statement in which TARGET appears. This is used to check if next/exit is in a loop. |
|
|
|
owned |
— |
|
|
|
maybe ref |
Condition of a conditional_waveform, if_statement, elsif, while_loop_statement, next_statement or exit_statement. |
|
|
|
chain |
— |
|
|
|
owned |
— |
|
|
|
chain next |
— |
|
|
|
owned |
Get/Set the visible flag of a declaration. The visible flag is true to make invalid the use of the identifier during its declaration. It is set to false when the identifier is added to the name table, and set to true when the declaration is finished. |
|
|
|
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. |
|
|
|
owned |
Layout flag: true if ‘end’ is followed by the identifier. |