Specification

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_Attribute_Specification

LRM08 7.2 Attribute specification

attribute_specification ::=
   ATTRIBUTE attribute_designator OF entity_specification
      IS expression ;

entity_specification ::= entity_name_list : entity_class

entity_name_list ::=
     entity_designator { , entity_designator }
   | OTHERS
   | ALL

entity_designator ::= entity_tag [ signature ]

entity_tag ::= simple_name | character_literal | operator_symbol

LRM08 8.6 Attribute names

attribute_designator ::= /attribute/_simple_name

Format: Medium

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.
Chain	Field2	Iir	chain next	—
Entity_Class	Field3	Token_Type	owned	—
Entity_Name_List	Field8	Iir_Flist	owned	—
Expression	Field5	Iir	owned	Expression for an various nodes.
Attribute_Value_Spec_Chain	Field4	Iir	owned	Chain of attribute values for attribute specification. To be used with Get/Set_Spec_Chain.
Attribute_Designator	Field6	Iir	owned	Always a simple name.
Attribute_Specification_Chain	Field7	Iir	ref	Chain of attribute specifications. This is used only during sem, to check that no named entity of a given class appear after an attr. spec. with the entity name list OTHERS or ALL.
Static_Attribute_Flag	Flag2	Boolean	owned	True for attributes on entity, configuration and architecture. They are expected to be read from anywhere so the value is expected to be locally static, but this is not followed by many users and implementations.

Iir_Kind_Disconnection_Specification

LRM08 7.4 Disconnection specification

disconnection_specification ::=
  DISCONNECT guarded_signal_specification AFTER time_expression ;

guarded_signal_specification ::=
  guarded_signal_list : type_mark

signal_list ::=
     signal_name { , signal_name }
   | OTHERS
   | ALL

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	The declaration containing this type declaration.
Signal_List	Field3	Iir_Flist	of maybe ref	—
Type_Mark	Field4	Iir	owned	The type_mark that appeared in qualified expressions or type conversions.
Expression	Field5	Iir	owned	Expression for an various nodes.
Chain	Field2	Iir	chain next	—
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.

Iir_Kind_Step_Limit_Specification

AMS-LRM17 7.5 Step limit specification

step_limit_specification ::=
  LIMIT quantity_specification WITH real_expression ;

quantity_specification ::=
  quantity_list : type_mark

quantity_list ::=
     quantity_name { , quantity_name }
   | OTHERS
   | ALL

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.
Quantity_List	Field3	Iir_Flist	of maybe ref	—
Type_Mark	Field4	Iir	owned	The type_mark that appeared in qualified expressions or type conversions.
Expression	Field5	Iir	owned	Expression for an various nodes.
Chain	Field2	Iir	chain next	—
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.

Iir_Kind_Configuration_Specification

LRM08 7.3 Configuration specification

configuration_specification ::=
    simple_configuration_specification
  | compound_configuration_specification

simple_configuration_specification ::=
   FOR component_specification binding_indication ;
   [ END FOR ; ]

compound_configuration_specification ::=
   FOR component_specification binding_indication ;
      verification_unit_binding_indication ;
      { verification_unit_binding_indication ; }
   END FOR ;

component_specification ::=
   instantiation_list : component_name

instantiation_list ::=
    instantiation_label { , instantiation_label }
  | OTHERS
  | ALL

The location points to ‘for’.

Format: Short

Accessor	Field	Type	Access	Description
Parent	Field0	Iir	ref	The declaration containing this type declaration.
Component_Name	Field5	Iir	owned	Component name for a component_configuration or a configuration_specification.
Instantiation_List	Field1	Iir_Flist	owned	A list, list_others or list_all.
Binding_Indication	Field3	Iir	maybe ref	—
Chain	Field2	Iir	chain next	—
Has_End	Flag11	Boolean	owned	Only for Iir_Kind_Configuration_Specification:
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.