test.aadl.out

1 aadl specification aadl_project.aadl:1:01
Entity_Scope Node_Id 2
Declarations List_Id 7
5 property set aadl_project.aadl:8:01
 Identifier Node_Id 4
 4 identifier aadl_project.aadl:8:14
  Corresponding_Entity Node_Id 5
  Display_Name Name_Id "AADL_Project"
  Scope_Entity Node_Id 2
  Backend_Node Node_Id 0
 Entity_Scope Node_Id 6
 Declarations List_Id 14
 13 property type declaration aadl_project.aadl:10:03
  Identifier Node_Id 8
  8 identifier aadl_project.aadl:10:03
   Corresponding_Entity Node_Id 13
   Display_Name Name_Id "Supported_Active_Thread_Handling_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 9
  9 enumeration type aadl_project.aadl:11:10
   Identifiers List_Id 10
   11 identifier aadl_project.aadl:11:23
    Corresponding_Entity Node_Id 9
    Display_Name Name_Id "abort"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   12 identifier aadl_project.aadl:12:23
    Corresponding_Entity Node_Id 9
    Display_Name Name_Id "test"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 26 property type declaration aadl_project.aadl:17:03
  Identifier Node_Id 15
  15 identifier aadl_project.aadl:17:03
   Corresponding_Entity Node_Id 26
   Display_Name Name_Id "Supported_Connection_Patterns"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 16
  16 enumeration type aadl_project.aadl:18:10
   Identifiers List_Id 17
   18 identifier aadl_project.aadl:18:24
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "One_To_One"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   19 identifier aadl_project.aadl:19:24
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "All_To_All"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   20 identifier aadl_project.aadl:20:24
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "One_To_All"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   21 identifier aadl_project.aadl:21:24
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "All_To_One"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   22 identifier aadl_project.aadl:22:24
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "Next"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   23 identifier aadl_project.aadl:23:24
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "Previous"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   24 identifier aadl_project.aadl:24:24
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "Neighbors"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   25 identifier aadl_project.aadl:25:24
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "All_Neighbors"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 35 property type declaration aadl_project.aadl:30:03
  Identifier Node_Id 27
  27 identifier aadl_project.aadl:30:03
   Corresponding_Entity Node_Id 35
   Display_Name Name_Id "Supported_Concurrency_Control_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 28
  28 enumeration type aadl_project.aadl:31:10
   Identifiers List_Id 29
   30 identifier aadl_project.aadl:31:23
    Corresponding_Entity Node_Id 28
    Display_Name Name_Id "NoneSpecified"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   31 identifier aadl_project.aadl:32:23
    Corresponding_Entity Node_Id 28
    Display_Name Name_Id "Read_Only"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   32 identifier aadl_project.aadl:33:23
    Corresponding_Entity Node_Id 28
    Display_Name Name_Id "Protected_Access"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   33 identifier aadl_project.aadl:34:23
    Corresponding_Entity Node_Id 28
    Display_Name Name_Id "Priority_Ceiling_Protocol"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   34 identifier aadl_project.aadl:35:23
    Corresponding_Entity Node_Id 28
    Display_Name Name_Id "Priority_Ceiling"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 45 property type declaration aadl_project.aadl:40:03
  Identifier Node_Id 36
  36 identifier aadl_project.aadl:40:03
   Corresponding_Entity Node_Id 45
   Display_Name Name_Id "Supported_Dispatch_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 37
  37 enumeration type aadl_project.aadl:41:10
   Identifiers List_Id 38
   39 identifier aadl_project.aadl:41:23
    Corresponding_Entity Node_Id 37
    Display_Name Name_Id "Periodic"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   40 identifier aadl_project.aadl:42:23
    Corresponding_Entity Node_Id 37
    Display_Name Name_Id "Aperiodic"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   41 identifier aadl_project.aadl:43:23
    Corresponding_Entity Node_Id 37
    Display_Name Name_Id "Sporadic"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   42 identifier aadl_project.aadl:44:23
    Corresponding_Entity Node_Id 37
    Display_Name Name_Id "Timed"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   43 identifier aadl_project.aadl:45:09
    Corresponding_Entity Node_Id 37
    Display_Name Name_Id "Hybrid"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   44 identifier aadl_project.aadl:46:23
    Corresponding_Entity Node_Id 37
    Display_Name Name_Id "Background"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 50 property type declaration aadl_project.aadl:50:03
  Identifier Node_Id 46
  46 identifier aadl_project.aadl:50:03
   Corresponding_Entity Node_Id 50
   Display_Name Name_Id "Supported_Hardware_Source_Languages"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 47
  47 enumeration type aadl_project.aadl:51:10
   Identifiers List_Id 48
   49 identifier aadl_project.aadl:51:23
    Corresponding_Entity Node_Id 47
    Display_Name Name_Id "VHDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 55 property type declaration aadl_project.aadl:56:03
  Identifier Node_Id 51
  51 identifier aadl_project.aadl:56:03
   Corresponding_Entity Node_Id 55
   Display_Name Name_Id "Supported_Queue_Processing_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 52
  52 enumeration type aadl_project.aadl:56:46
   Identifiers List_Id 53
   54 identifier aadl_project.aadl:57:06
    Corresponding_Entity Node_Id 52
    Display_Name Name_Id "FIFO"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 62 property type declaration aadl_project.aadl:62:03
  Identifier Node_Id 56
  56 identifier aadl_project.aadl:62:03
   Corresponding_Entity Node_Id 62
   Display_Name Name_Id "Supported_Connection_QoS"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 57
  57 enumeration type aadl_project.aadl:63:10
   Identifiers List_Id 58
   59 identifier aadl_project.aadl:63:23
    Corresponding_Entity Node_Id 57
    Display_Name Name_Id "GuaranteedDelivery"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   60 identifier aadl_project.aadl:64:23
    Corresponding_Entity Node_Id 57
    Display_Name Name_Id "OrderedDelivery"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   61 identifier aadl_project.aadl:65:23
    Corresponding_Entity Node_Id 57
    Display_Name Name_Id "SecureDelivery"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 83 property type declaration aadl_project.aadl:68:03
  Identifier Node_Id 63
  63 identifier aadl_project.aadl:68:03
   Corresponding_Entity Node_Id 83
   Display_Name Name_Id "Supported_Scheduling_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 64
  64 enumeration type aadl_project.aadl:68:40
   Identifiers List_Id 65
   66 identifier aadl_project.aadl:69:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "PARAMETRIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   67 identifier aadl_project.aadl:70:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "EARLIEST_DEADLINE_FIRST_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   68 identifier aadl_project.aadl:71:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "LEAST_LAXITY_FIRST_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   69 identifier aadl_project.aadl:72:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "RATE_MONOTONIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   70 identifier aadl_project.aadl:73:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "DEADLINE_MONOTONIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   71 identifier aadl_project.aadl:74:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "ROUND_ROBIN_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   72 identifier aadl_project.aadl:75:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "TIME_SHARING_BASED_ON_WAIT_TIME_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   73 identifier aadl_project.aadl:76:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   74 identifier aadl_project.aadl:77:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "D_OVER_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   75 identifier aadl_project.aadl:78:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "MAXIMUM_URGENCY_FIRST_BASED_ON_LAXITY_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   76 identifier aadl_project.aadl:79:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "MAXIMUM_URGENCY_FIRST_BASED_ON_DEADLINE_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   77 identifier aadl_project.aadl:80:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "TIME_SHARING_BASED_ON_CPU_USAGE_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   78 identifier aadl_project.aadl:81:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "NO_SCHEDULING_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   79 identifier aadl_project.aadl:82:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "HIERARCHICAL_CYCLIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   80 identifier aadl_project.aadl:83:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "HIERARCHICAL_ROUND_ROBIN_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   81 identifier aadl_project.aadl:84:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "HIERARCHICAL_FIXED_PRIORITY_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   82 identifier aadl_project.aadl:85:06
    Corresponding_Entity Node_Id 64
    Display_Name Name_Id "HIERARCHICAL_PARAMETRIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 109 property type declaration aadl_project.aadl:89:03
  Identifier Node_Id 84
  84 identifier aadl_project.aadl:89:03
   Corresponding_Entity Node_Id 109
   Display_Name Name_Id "Supported_Source_Languages"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 85
  85 enumeration type aadl_project.aadl:89:36
   Identifiers List_Id 86
   87 identifier aadl_project.aadl:90:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Ada95"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   88 identifier aadl_project.aadl:91:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Ada"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   89 identifier aadl_project.aadl:92:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Ada05"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   90 identifier aadl_project.aadl:93:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "ASN1"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   91 identifier aadl_project.aadl:94:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "C"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   92 identifier aadl_project.aadl:95:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Blackbox_Device"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   93 identifier aadl_project.aadl:96:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Esterel"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   94 identifier aadl_project.aadl:97:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "GUI"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   95 identifier aadl_project.aadl:98:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Lustre"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   96 identifier aadl_project.aadl:99:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Lustre5"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   97 identifier aadl_project.aadl:100:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Lustre6"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   98 identifier aadl_project.aadl:101:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "RTDS"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   99 identifier aadl_project.aadl:102:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "SDL_RTDS"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   100 identifier aadl_project.aadl:103:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "RTSJ"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   101 identifier aadl_project.aadl:104:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "SCADE6"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   102 identifier aadl_project.aadl:105:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "SDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   103 identifier aadl_project.aadl:106:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "SDL_ObjectGeode"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   104 identifier aadl_project.aadl:107:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Scade"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   105 identifier aadl_project.aadl:108:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Simulink"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   106 identifier aadl_project.aadl:109:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Simulink_6_5"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   107 identifier aadl_project.aadl:110:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "System_C"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   108 identifier aadl_project.aadl:111:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "VHDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 114 property type declaration aadl_project.aadl:113:03
  Identifier Node_Id 110
  110 identifier aadl_project.aadl:113:03
   Corresponding_Entity Node_Id 114
   Display_Name Name_Id "Supported_Distributions"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 111
  111 enumeration type aadl_project.aadl:113:33
   Identifiers List_Id 112
   113 identifier aadl_project.aadl:113:46
    Corresponding_Entity Node_Id 111
    Display_Name Name_Id "Fixed"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 142 property type declaration aadl_project.aadl:117:03
  Identifier Node_Id 115
  115 identifier aadl_project.aadl:117:03
   Corresponding_Entity Node_Id 142
   Display_Name Name_Id "Data_Volume"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 116
  116 integer type aadl_project.aadl:117:21
   Type_Range Node_Id 122
   122 number range aadl_project.aadl:117:33
    Lower_Bound Node_Id 117
    117 signed aadlnumber aadl_project.aadl:117:33
     Number_Value Node_Id 118
     118 literal aadl_project.aadl:117:33
      Value Value_Id 3
     Unit_Identifier Node_Id 119
     119 identifier aadl_project.aadl:117:35
      Corresponding_Entity Node_Id 124
      Display_Name Name_Id "bitsps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
    Upper_Bound Node_Id 121
    121 property term aadl_project.aadl:117:42
     Identifier Node_Id 120
     120 identifier aadl_project.aadl:117:45
      Corresponding_Entity Node_Id 0
      Display_Name Name_Id "Max_Aadlinteger"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Entity Node_Id 147
     Property_Set_Identifier Node_Id 0
   Unit_Designator Node_Id 123
   123 units type aadl_project.aadl:118:03
    Base_Identifier Node_Id 124
    124 identifier aadl_project.aadl:118:11
     Corresponding_Entity Node_Id 123
     Display_Name Name_Id "bitsps"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Definitions List_Id 125
    126 unit definition aadl_project.aadl:119:11
     Identifier Node_Id 127
     127 identifier aadl_project.aadl:119:11
      Corresponding_Entity Node_Id 126
      Display_Name Name_Id "Bytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Unit_Identifier Node_Id 128
     128 identifier aadl_project.aadl:119:22
      Corresponding_Entity Node_Id 123
      Display_Name Name_Id "bitsps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Numeric_Literal Node_Id 129
     129 literal aadl_project.aadl:119:31
      Value Value_Id 4
    130 unit definition aadl_project.aadl:120:11
     Identifier Node_Id 131
     131 identifier aadl_project.aadl:120:11
      Corresponding_Entity Node_Id 130
      Display_Name Name_Id "KBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Unit_Identifier Node_Id 132
     132 identifier aadl_project.aadl:120:23
      Corresponding_Entity Node_Id 123
      Display_Name Name_Id "Bytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Numeric_Literal Node_Id 133
     133 literal aadl_project.aadl:120:33
      Value Value_Id 5
    134 unit definition aadl_project.aadl:121:11
     Identifier Node_Id 135
     135 identifier aadl_project.aadl:121:11
      Corresponding_Entity Node_Id 134
      Display_Name Name_Id "MBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Unit_Identifier Node_Id 136
     136 identifier aadl_project.aadl:121:23
      Corresponding_Entity Node_Id 123
      Display_Name Name_Id "KBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Numeric_Literal Node_Id 137
     137 literal aadl_project.aadl:121:34
      Value Value_Id 6
    138 unit definition aadl_project.aadl:122:11
     Identifier Node_Id 139
     139 identifier aadl_project.aadl:122:11
      Corresponding_Entity Node_Id 138
      Display_Name Name_Id "GBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Unit_Identifier Node_Id 140
     140 identifier aadl_project.aadl:122:23
      Corresponding_Entity Node_Id 123
      Display_Name Name_Id "MBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Numeric_Literal Node_Id 141
     141 literal aadl_project.aadl:122:34
      Value Value_Id 7
    Units_Context Node_Id 0
 147 constant property declaration aadl_project.aadl:128:03
  Identifier Node_Id 143
  143 identifier aadl_project.aadl:128:03
   Corresponding_Entity Node_Id 147
   Display_Name Name_Id "Max_Aadlinteger"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 144
  144 integer type aadl_project.aadl:128:29
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 148
  148 property value aadl_project.aadl:128:03
   Value_Container Node_Id 5
   Single_Value Node_Id 145
   145 signed aadlnumber aadl_project.aadl:128:44
    Number_Value Node_Id 146
    146 literal aadl_project.aadl:128:44
     Value Value_Id 8
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 153 constant property declaration aadl_project.aadl:130:03
  Identifier Node_Id 149
  149 identifier aadl_project.aadl:130:03
   Corresponding_Entity Node_Id 153
   Display_Name Name_Id "Max_Target_Integer"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 150
  150 integer type aadl_project.aadl:130:32
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 154
  154 property value aadl_project.aadl:130:03
   Value_Container Node_Id 5
   Single_Value Node_Id 151
   151 signed aadlnumber aadl_project.aadl:130:47
    Number_Value Node_Id 152
    152 literal aadl_project.aadl:130:47
     Value Value_Id 9
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 159 constant property declaration aadl_project.aadl:132:03
  Identifier Node_Id 155
  155 identifier aadl_project.aadl:132:03
   Corresponding_Entity Node_Id 159
   Display_Name Name_Id "Max_Base_Address"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 156
  156 integer type aadl_project.aadl:132:30
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 160
  160 property value aadl_project.aadl:132:03
   Value_Container Node_Id 5
   Single_Value Node_Id 157
   157 signed aadlnumber aadl_project.aadl:132:45
    Number_Value Node_Id 158
    158 literal aadl_project.aadl:132:45
     Value Value_Id 10
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 167 constant property declaration aadl_project.aadl:134:03
  Identifier Node_Id 161
  161 identifier aadl_project.aadl:134:03
   Corresponding_Entity Node_Id 167
   Display_Name Name_Id "Max_Memory_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 163
  163 unique property type identifier aadl_project.aadl:134:20
   Identifier Node_Id 162
   162 identifier aadl_project.aadl:134:29
    Corresponding_Entity Node_Id 1107
    Display_Name Name_Id "Size"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Entity Node_Id 1107
   Property_Set_Identifier Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 168
  168 property value aadl_project.aadl:134:03
   Value_Container Node_Id 5
   Single_Value Node_Id 164
   164 signed aadlnumber aadl_project.aadl:134:37
    Number_Value Node_Id 165
    165 literal aadl_project.aadl:134:37
     Value Value_Id 11
    Unit_Identifier Node_Id 166
    166 identifier aadl_project.aadl:134:45
     Corresponding_Entity Node_Id 212
     Display_Name Name_Id "Bytes"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 173 constant property declaration aadl_project.aadl:136:03
  Identifier Node_Id 169
  169 identifier aadl_project.aadl:136:03
   Corresponding_Entity Node_Id 173
   Display_Name Name_Id "Max_Queue_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 170
  170 integer type aadl_project.aadl:136:28
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 174
  174 property value aadl_project.aadl:136:03
   Value_Container Node_Id 5
   Single_Value Node_Id 171
   171 signed aadlnumber aadl_project.aadl:136:43
    Number_Value Node_Id 172
    172 literal aadl_project.aadl:136:43
     Value Value_Id 12
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 179 constant property declaration aadl_project.aadl:138:03
  Identifier Node_Id 175
  175 identifier aadl_project.aadl:138:03
   Corresponding_Entity Node_Id 179
   Display_Name Name_Id "Max_Thread_Limit"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 176
  176 integer type aadl_project.aadl:138:30
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 180
  180 property value aadl_project.aadl:138:03
   Value_Container Node_Id 5
   Single_Value Node_Id 177
   177 signed aadlnumber aadl_project.aadl:138:45
    Number_Value Node_Id 178
    178 literal aadl_project.aadl:138:45
     Value Value_Id 13
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 187 constant property declaration aadl_project.aadl:140:03
  Identifier Node_Id 181
  181 identifier aadl_project.aadl:140:03
   Corresponding_Entity Node_Id 187
   Display_Name Name_Id "Max_Time"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 183
  183 unique property type identifier aadl_project.aadl:140:13
   Identifier Node_Id 182
   182 identifier aadl_project.aadl:140:22
    Corresponding_Entity Node_Id 1348
    Display_Name Name_Id "Time"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Entity Node_Id 1348
   Property_Set_Identifier Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 188
  188 property value aadl_project.aadl:140:03
   Value_Container Node_Id 5
   Single_Value Node_Id 184
   184 signed aadlnumber aadl_project.aadl:140:30
    Number_Value Node_Id 185
    185 literal aadl_project.aadl:140:30
     Value Value_Id 14
    Unit_Identifier Node_Id 186
    186 identifier aadl_project.aadl:140:35
     Corresponding_Entity Node_Id 257
     Display_Name Name_Id "hr"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 193 constant property declaration aadl_project.aadl:142:03
  Identifier Node_Id 189
  189 identifier aadl_project.aadl:142:03
   Corresponding_Entity Node_Id 193
   Display_Name Name_Id "Max_Urgency"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 190
  190 integer type aadl_project.aadl:142:25
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 194
  194 property value aadl_project.aadl:142:03
   Value_Container Node_Id 5
   Single_Value Node_Id 191
   191 signed aadlnumber aadl_project.aadl:142:40
    Number_Value Node_Id 192
    192 literal aadl_project.aadl:142:40
     Value Value_Id 15
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 199 constant property declaration aadl_project.aadl:144:03
  Identifier Node_Id 195
  195 identifier aadl_project.aadl:144:03
   Corresponding_Entity Node_Id 199
   Display_Name Name_Id "Max_Word_Count"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 196
  196 integer type aadl_project.aadl:144:28
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 200
  200 property value aadl_project.aadl:144:03
   Value_Container Node_Id 5
   Single_Value Node_Id 197
   197 signed aadlnumber aadl_project.aadl:144:43
    Number_Value Node_Id 198
    198 literal aadl_project.aadl:144:43
     Value Value_Id 16
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 205 constant property declaration aadl_project.aadl:146:03
  Identifier Node_Id 201
  201 identifier aadl_project.aadl:146:03
   Corresponding_Entity Node_Id 205
   Display_Name Name_Id "Max_Word_Space"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 202
  202 integer type aadl_project.aadl:146:28
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 206
  206 property value aadl_project.aadl:146:03
   Value_Container Node_Id 5
   Single_Value Node_Id 203
   203 signed aadlnumber aadl_project.aadl:146:43
    Number_Value Node_Id 204
    204 literal aadl_project.aadl:146:43
     Value Value_Id 17
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 231 property type declaration aadl_project.aadl:148:03
  Identifier Node_Id 207
  207 identifier aadl_project.aadl:148:03
   Corresponding_Entity Node_Id 231
   Display_Name Name_Id "Size_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 208
  208 units type aadl_project.aadl:148:20
   Base_Identifier Node_Id 209
   209 identifier aadl_project.aadl:149:05
    Corresponding_Entity Node_Id 208
    Display_Name Name_Id "bits"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Unit_Definitions List_Id 210
   211 unit definition aadl_project.aadl:150:05
    Identifier Node_Id 212
    212 identifier aadl_project.aadl:150:05
     Corresponding_Entity Node_Id 211
     Display_Name Name_Id "Bytes"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 213
    213 identifier aadl_project.aadl:150:15
     Corresponding_Entity Node_Id 208
     Display_Name Name_Id "bits"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 214
    214 literal aadl_project.aadl:150:23
     Value Value_Id 18
   215 unit definition aadl_project.aadl:151:05
    Identifier Node_Id 216
    216 identifier aadl_project.aadl:151:05
     Corresponding_Entity Node_Id 215
     Display_Name Name_Id "KByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 217
    217 identifier aadl_project.aadl:151:15
     Corresponding_Entity Node_Id 208
     Display_Name Name_Id "Bytes"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 218
    218 literal aadl_project.aadl:151:23
     Value Value_Id 19
   219 unit definition aadl_project.aadl:152:05
    Identifier Node_Id 220
    220 identifier aadl_project.aadl:152:05
     Corresponding_Entity Node_Id 219
     Display_Name Name_Id "MByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 221
    221 identifier aadl_project.aadl:152:15
     Corresponding_Entity Node_Id 208
     Display_Name Name_Id "KByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 222
    222 literal aadl_project.aadl:152:23
     Value Value_Id 20
   223 unit definition aadl_project.aadl:153:05
    Identifier Node_Id 224
    224 identifier aadl_project.aadl:153:05
     Corresponding_Entity Node_Id 223
     Display_Name Name_Id "GByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 225
    225 identifier aadl_project.aadl:153:15
     Corresponding_Entity Node_Id 208
     Display_Name Name_Id "MByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 226
    226 literal aadl_project.aadl:153:23
     Value Value_Id 21
   227 unit definition aadl_project.aadl:154:05
    Identifier Node_Id 228
    228 identifier aadl_project.aadl:154:05
     Corresponding_Entity Node_Id 227
     Display_Name Name_Id "TByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 229
    229 identifier aadl_project.aadl:154:15
     Corresponding_Entity Node_Id 208
     Display_Name Name_Id "GByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 230
    230 literal aadl_project.aadl:154:23
     Value Value_Id 22
   Units_Context Node_Id 0
 260 property type declaration aadl_project.aadl:157:03
  Identifier Node_Id 232
  232 identifier aadl_project.aadl:157:03
   Corresponding_Entity Node_Id 260
   Display_Name Name_Id "Time_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 233
  233 units type aadl_project.aadl:157:20
   Base_Identifier Node_Id 234
   234 identifier aadl_project.aadl:158:05
    Corresponding_Entity Node_Id 233
    Display_Name Name_Id "ps"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Unit_Definitions List_Id 235
   236 unit definition aadl_project.aadl:159:05
    Identifier Node_Id 237
    237 identifier aadl_project.aadl:159:05
     Corresponding_Entity Node_Id 236
     Display_Name Name_Id "ns"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 238
    238 identifier aadl_project.aadl:159:12
     Corresponding_Entity Node_Id 233
     Display_Name Name_Id "ps"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 239
    239 literal aadl_project.aadl:159:18
     Value Value_Id 23
   240 unit definition aadl_project.aadl:160:05
    Identifier Node_Id 241
    241 identifier aadl_project.aadl:160:05
     Corresponding_Entity Node_Id 240
     Display_Name Name_Id "us"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 242
    242 identifier aadl_project.aadl:160:12
     Corresponding_Entity Node_Id 233
     Display_Name Name_Id "ns"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 243
    243 literal aadl_project.aadl:160:18
     Value Value_Id 24
   244 unit definition aadl_project.aadl:161:05
    Identifier Node_Id 245
    245 identifier aadl_project.aadl:161:05
     Corresponding_Entity Node_Id 244
     Display_Name Name_Id "ms"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 246
    246 identifier aadl_project.aadl:161:12
     Corresponding_Entity Node_Id 233
     Display_Name Name_Id "us"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 247
    247 literal aadl_project.aadl:161:18
     Value Value_Id 25
   248 unit definition aadl_project.aadl:162:05
    Identifier Node_Id 249
    249 identifier aadl_project.aadl:162:05
     Corresponding_Entity Node_Id 248
     Display_Name Name_Id "sec"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 250
    250 identifier aadl_project.aadl:162:12
     Corresponding_Entity Node_Id 233
     Display_Name Name_Id "ms"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 251
    251 literal aadl_project.aadl:162:18
     Value Value_Id 26
   252 unit definition aadl_project.aadl:163:05
    Identifier Node_Id 253
    253 identifier aadl_project.aadl:163:05