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:9:01
 Identifier Node_Id 4
 4 identifier aadl_project.aadl:9: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
 12 constant property declaration aadl_project.aadl:11:03
  Identifier Node_Id 8
  8 identifier aadl_project.aadl:11:03
   Corresponding_Entity Node_Id 12
   Display_Name Name_Id "Default_Active_Thread_Handling_Protocol"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 10
  10 unique property type identifier aadl_project.aadl:11:45
   Identifier Node_Id 9
   9 identifier aadl_project.aadl:12:06
    Corresponding_Entity Node_Id 23
    Display_Name Name_Id "Supported_Active_Thread_Handling_Protocols"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Entity Node_Id 23
   Property_Set_Identifier Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 13
  13 property value aadl_project.aadl:11:03
   Value_Container Node_Id 5
   Single_Value Node_Id 11
   11 literal aadl_project.aadl:12:52
    Value Value_Id 3
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 23 property type declaration aadl_project.aadl:15:03
  Identifier Node_Id 15
  15 identifier aadl_project.aadl:15:03
   Corresponding_Entity Node_Id 23
   Display_Name Name_Id "Supported_Active_Thread_Handling_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 16
  16 enumeration type aadl_project.aadl:15:52
   Identifiers List_Id 17
   18 identifier aadl_project.aadl:16:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "abort"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   19 identifier aadl_project.aadl:17:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "complete_one_flush_queue"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   20 identifier aadl_project.aadl:18:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "complete_one_transfer_queue"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   21 identifier aadl_project.aadl:19:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "complete_one_preserve_queue"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   22 identifier aadl_project.aadl:20:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "complete_all"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 31 property type declaration aadl_project.aadl:23:03
  Identifier Node_Id 24
  24 identifier aadl_project.aadl:23:03
   Corresponding_Entity Node_Id 31
   Display_Name Name_Id "Supported_Connection_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 25
  25 enumeration type aadl_project.aadl:23:40
   Identifiers List_Id 26
   27 identifier aadl_project.aadl:24:06
    Corresponding_Entity Node_Id 25
    Display_Name Name_Id "HTTP"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   28 identifier aadl_project.aadl:25:06
    Corresponding_Entity Node_Id 25
    Display_Name Name_Id "HTTPS"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   29 identifier aadl_project.aadl:26:06
    Corresponding_Entity Node_Id 25
    Display_Name Name_Id "UDP"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   30 identifier aadl_project.aadl:27:06
    Corresponding_Entity Node_Id 25
    Display_Name Name_Id "IP_TCP"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 39 property type declaration aadl_project.aadl:31:03
  Identifier Node_Id 32
  32 identifier aadl_project.aadl:31:03
   Corresponding_Entity Node_Id 39
   Display_Name Name_Id "Supported_Concurrency_Control_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 33
  33 enumeration type aadl_project.aadl:31:49
   Identifiers List_Id 34
   35 identifier aadl_project.aadl:32:06
    Corresponding_Entity Node_Id 33
    Display_Name Name_Id "NoneSpecified"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   36 identifier aadl_project.aadl:33:06
    Corresponding_Entity Node_Id 33
    Display_Name Name_Id "Read_Only"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   37 identifier aadl_project.aadl:34:06
    Corresponding_Entity Node_Id 33
    Display_Name Name_Id "Protected_Access"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   38 identifier aadl_project.aadl:35:06
    Corresponding_Entity Node_Id 33
    Display_Name Name_Id "Priority_Ceiling"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 48 property type declaration aadl_project.aadl:41:03
  Identifier Node_Id 40
  40 identifier aadl_project.aadl:41:03
   Corresponding_Entity Node_Id 48
   Display_Name Name_Id "Supported_Dispatch_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 41
  41 enumeration type aadl_project.aadl:41:38
   Identifiers List_Id 42
   43 identifier aadl_project.aadl:42:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Periodic"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   44 identifier aadl_project.aadl:43:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Aperiodic"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   45 identifier aadl_project.aadl:44:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Sporadic"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   46 identifier aadl_project.aadl:45:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Hybrid"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   47 identifier aadl_project.aadl:46:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Background"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 53 property type declaration aadl_project.aadl:50:03
  Identifier Node_Id 49
  49 identifier aadl_project.aadl:50:03
   Corresponding_Entity Node_Id 53
   Display_Name Name_Id "Supported_Hardware_Source_Languages"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 50
  50 enumeration type aadl_project.aadl:50:45
   Identifiers List_Id 51
   52 identifier aadl_project.aadl:51:06
    Corresponding_Entity Node_Id 50
    Display_Name Name_Id "VHDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 58 property type declaration aadl_project.aadl:56:03
  Identifier Node_Id 54
  54 identifier aadl_project.aadl:56:03
   Corresponding_Entity Node_Id 58
   Display_Name Name_Id "Supported_Queue_Processing_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 55
  55 enumeration type aadl_project.aadl:56:46
   Identifiers List_Id 56
   57 identifier aadl_project.aadl:57:06
    Corresponding_Entity Node_Id 55
    Display_Name Name_Id "FIFO"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 79 property type declaration aadl_project.aadl:62:03
  Identifier Node_Id 59
  59 identifier aadl_project.aadl:62:03
   Corresponding_Entity Node_Id 79
   Display_Name Name_Id "Supported_Scheduling_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 60
  60 enumeration type aadl_project.aadl:62:40
   Identifiers List_Id 61
   62 identifier aadl_project.aadl:63:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "PARAMETRIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   63 identifier aadl_project.aadl:64:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "EARLIEST_DEADLINE_FIRST_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   64 identifier aadl_project.aadl:65:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "LEAST_LAXITY_FIRST_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   65 identifier aadl_project.aadl:66:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "RATE_MONOTONIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   66 identifier aadl_project.aadl:67:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "DEADLINE_MONOTONIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   67 identifier aadl_project.aadl:68:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "ROUND_ROBIN_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   68 identifier aadl_project.aadl:69:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "TIME_SHARING_BASED_ON_WAIT_TIME_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   69 identifier aadl_project.aadl:70:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   70 identifier aadl_project.aadl:71:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "D_OVER_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   71 identifier aadl_project.aadl:72:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "MAXIMUM_URGENCY_FIRST_BASED_ON_LAXITY_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   72 identifier aadl_project.aadl:73:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "MAXIMUM_URGENCY_FIRST_BASED_ON_DEADLINE_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   73 identifier aadl_project.aadl:74:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "TIME_SHARING_BASED_ON_CPU_USAGE_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   74 identifier aadl_project.aadl:75:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "NO_SCHEDULING_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   75 identifier aadl_project.aadl:76:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "HIERARCHICAL_CYCLIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   76 identifier aadl_project.aadl:77:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "HIERARCHICAL_ROUND_ROBIN_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   77 identifier aadl_project.aadl:78:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "HIERARCHICAL_FIXED_PRIORITY_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   78 identifier aadl_project.aadl:79:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "HIERARCHICAL_PARAMETRIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 97 property type declaration aadl_project.aadl:83:03
  Identifier Node_Id 80
  80 identifier aadl_project.aadl:83:03
   Corresponding_Entity Node_Id 97
   Display_Name Name_Id "Supported_Source_Languages"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 81
  81 enumeration type aadl_project.aadl:83:36
   Identifiers List_Id 82
   83 identifier aadl_project.aadl:84:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Ada95"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   84 identifier aadl_project.aadl:85:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Ada"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   85 identifier aadl_project.aadl:86:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Ada05"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   86 identifier aadl_project.aadl:87:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "ASN1"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   87 identifier aadl_project.aadl:88:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "C"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   88 identifier aadl_project.aadl:89:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "GUI"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   89 identifier aadl_project.aadl:90:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Lustre"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   90 identifier aadl_project.aadl:91:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Lustre5"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   91 identifier aadl_project.aadl:92:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Lustre6"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   92 identifier aadl_project.aadl:93:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "RTSJ"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   93 identifier aadl_project.aadl:94:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "SCADE6"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   94 identifier aadl_project.aadl:95:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "SDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   95 identifier aadl_project.aadl:96:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Simulink"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   96 identifier aadl_project.aadl:97:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Simulink_6_5"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 102 constant property declaration aadl_project.aadl:101:03
  Identifier Node_Id 98
  98 identifier aadl_project.aadl:101:03
   Corresponding_Entity Node_Id 102
   Display_Name Name_Id "Max_Aadlinteger"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 99
  99 integer type aadl_project.aadl:101:29
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 103
  103 property value aadl_project.aadl:101:03
   Value_Container Node_Id 5
   Single_Value Node_Id 100
   100 signed aadlnumber aadl_project.aadl:101:44
    Number_Value Node_Id 101
    101 literal aadl_project.aadl:101:44
     Value Value_Id 4
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 108 constant property declaration aadl_project.aadl:103:03
  Identifier Node_Id 104
  104 identifier aadl_project.aadl:103:03
   Corresponding_Entity Node_Id 108
   Display_Name Name_Id "Max_Base_Address"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 105
  105 integer type aadl_project.aadl:103:30
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 109
  109 property value aadl_project.aadl:103:03
   Value_Container Node_Id 5
   Single_Value Node_Id 106
   106 signed aadlnumber aadl_project.aadl:103:45
    Number_Value Node_Id 107
    107 literal aadl_project.aadl:103:45
     Value Value_Id 5
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 117 constant property declaration aadl_project.aadl:105:03
  Identifier Node_Id 110
  110 identifier aadl_project.aadl:105:03
   Corresponding_Entity Node_Id 117
   Display_Name Name_Id "Max_Memory_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 111
  111 integer type aadl_project.aadl:105:29
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 113
  113 unique property type identifier aadl_project.aadl:105:29
   Identifier Node_Id 112
   112 identifier aadl_project.aadl:105:41
    Corresponding_Entity Node_Id 0
    Display_Name Name_Id "Size_Units"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Entity Node_Id 178
   Property_Set_Identifier Node_Id 0
  Constant_Value Node_Id 118
  118 property value aadl_project.aadl:105:03
   Value_Container Node_Id 5
   Single_Value Node_Id 114
   114 signed aadlnumber aadl_project.aadl:105:55
    Number_Value Node_Id 115
    115 literal aadl_project.aadl:105:55
     Value Value_Id 6
    Unit_Identifier Node_Id 116
    116 identifier aadl_project.aadl:105:63
     Corresponding_Entity Node_Id 163
     Display_Name Name_Id "B"
     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
 123 constant property declaration aadl_project.aadl:107:03
  Identifier Node_Id 119
  119 identifier aadl_project.aadl:107:03
   Corresponding_Entity Node_Id 123
   Display_Name Name_Id "Max_Queue_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 120
  120 integer type aadl_project.aadl:107:28
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 124
  124 property value aadl_project.aadl:107:03
   Value_Container Node_Id 5
   Single_Value Node_Id 121
   121 signed aadlnumber aadl_project.aadl:107:43
    Number_Value Node_Id 122
    122 literal aadl_project.aadl:107:43
     Value Value_Id 7
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 129 constant property declaration aadl_project.aadl:109:03
  Identifier Node_Id 125
  125 identifier aadl_project.aadl:109:03
   Corresponding_Entity Node_Id 129
   Display_Name Name_Id "Max_Thread_Limit"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 126
  126 integer type aadl_project.aadl:109:30
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 130
  130 property value aadl_project.aadl:109:03
   Value_Container Node_Id 5
   Single_Value Node_Id 127
   127 signed aadlnumber aadl_project.aadl:109:45
    Number_Value Node_Id 128
    128 literal aadl_project.aadl:109:45
     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
 138 constant property declaration aadl_project.aadl:111:03
  Identifier Node_Id 131
  131 identifier aadl_project.aadl:111:03
   Corresponding_Entity Node_Id 138
   Display_Name Name_Id "Max_Time"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 132
  132 integer type aadl_project.aadl:111:22
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 134
  134 unique property type identifier aadl_project.aadl:111:22
   Identifier Node_Id 133
   133 identifier aadl_project.aadl:111:34
    Corresponding_Entity Node_Id 0
    Display_Name Name_Id "Time_Units"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Entity Node_Id 207
   Property_Set_Identifier Node_Id 0
  Constant_Value Node_Id 139
  139 property value aadl_project.aadl:111:03
   Value_Container Node_Id 5
   Single_Value Node_Id 135
   135 signed aadlnumber aadl_project.aadl:111:48
    Number_Value Node_Id 136
    136 literal aadl_project.aadl:111:48
     Value Value_Id 9
    Unit_Identifier Node_Id 137
    137 identifier aadl_project.aadl:111:53
     Corresponding_Entity Node_Id 204
     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
 144 constant property declaration aadl_project.aadl:113:03
  Identifier Node_Id 140
  140 identifier aadl_project.aadl:113:03
   Corresponding_Entity Node_Id 144
   Display_Name Name_Id "Max_Urgency"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 141
  141 integer type aadl_project.aadl:113:25
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 145
  145 property value aadl_project.aadl:113:03
   Value_Container Node_Id 5
   Single_Value Node_Id 142
   142 signed aadlnumber aadl_project.aadl:113:40
    Number_Value Node_Id 143
    143 literal aadl_project.aadl:113:40
     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
 150 constant property declaration aadl_project.aadl:115:03
  Identifier Node_Id 146
  146 identifier aadl_project.aadl:115:03
   Corresponding_Entity Node_Id 150
   Display_Name Name_Id "Max_Word_Count"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 147
  147 integer type aadl_project.aadl:115:28
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 151
  151 property value aadl_project.aadl:115:03
   Value_Container Node_Id 5
   Single_Value Node_Id 148
   148 signed aadlnumber aadl_project.aadl:115:43
    Number_Value Node_Id 149
    149 literal aadl_project.aadl:115:43
     Value Value_Id 11
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 156 constant property declaration aadl_project.aadl:117:03
  Identifier Node_Id 152
  152 identifier aadl_project.aadl:117:03
   Corresponding_Entity Node_Id 156
   Display_Name Name_Id "Max_Word_Space"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 153
  153 integer type aadl_project.aadl:117:28
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 157
  157 property value aadl_project.aadl:117:03
   Value_Container Node_Id 5
   Single_Value Node_Id 154
   154 signed aadlnumber aadl_project.aadl:117:43
    Number_Value Node_Id 155
    155 literal aadl_project.aadl:117: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
 178 property type declaration aadl_project.aadl:119:03
  Identifier Node_Id 158
  158 identifier aadl_project.aadl:119:03
   Corresponding_Entity Node_Id 178
   Display_Name Name_Id "Size_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 159
  159 units type aadl_project.aadl:119:21
   Base_Identifier Node_Id 160
   160 identifier aadl_project.aadl:120:05
    Corresponding_Entity Node_Id 159
    Display_Name Name_Id "Bits"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Unit_Definitions List_Id 161
   162 unit definition aadl_project.aadl:121:05
    Identifier Node_Id 163
    163 identifier aadl_project.aadl:121:05
     Corresponding_Entity Node_Id 162
     Display_Name Name_Id "B"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 164
    164 identifier aadl_project.aadl:121:14
     Corresponding_Entity Node_Id 159
     Display_Name Name_Id "Bits"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 165
    165 literal aadl_project.aadl:121:22
     Value Value_Id 13
   166 unit definition aadl_project.aadl:122:05
    Identifier Node_Id 167
    167 identifier aadl_project.aadl:122:05
     Corresponding_Entity Node_Id 166
     Display_Name Name_Id "KB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 168
    168 identifier aadl_project.aadl:122:14
     Corresponding_Entity Node_Id 159
     Display_Name Name_Id "B"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 169
    169 literal aadl_project.aadl:122:22
     Value Value_Id 14
   170 unit definition aadl_project.aadl:123:05
    Identifier Node_Id 171
    171 identifier aadl_project.aadl:123:05
     Corresponding_Entity Node_Id 170
     Display_Name Name_Id "MB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 172
    172 identifier aadl_project.aadl:123:14
     Corresponding_Entity Node_Id 159
     Display_Name Name_Id "KB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 173
    173 literal aadl_project.aadl:123:22
     Value Value_Id 15
   174 unit definition aadl_project.aadl:124:05
    Identifier Node_Id 175
    175 identifier aadl_project.aadl:124:05
     Corresponding_Entity Node_Id 174
     Display_Name Name_Id "GB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 176
    176 identifier aadl_project.aadl:124:14
     Corresponding_Entity Node_Id 159
     Display_Name Name_Id "MB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 177
    177 literal aadl_project.aadl:124:22
     Value Value_Id 16
   Units_Context Node_Id 0
 207 property type declaration aadl_project.aadl:126:03
  Identifier Node_Id 179
  179 identifier aadl_project.aadl:126:03
   Corresponding_Entity Node_Id 207
   Display_Name Name_Id "Time_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 180
  180 units type aadl_project.aadl:126:21
   Base_Identifier Node_Id 181
   181 identifier aadl_project.aadl:127:05
    Corresponding_Entity Node_Id 180
    Display_Name Name_Id "ps"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Unit_Definitions List_Id 182
   183 unit definition aadl_project.aadl:128:05
    Identifier Node_Id 184
    184 identifier aadl_project.aadl:128:05
     Corresponding_Entity Node_Id 183
     Display_Name Name_Id "Ns"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 185
    185 identifier aadl_project.aadl:128:14
     Corresponding_Entity Node_Id 180
     Display_Name Name_Id "ps"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 186
    186 literal aadl_project.aadl:128:20
     Value Value_Id 17
   187 unit definition aadl_project.aadl:129:05
    Identifier Node_Id 188
    188 identifier aadl_project.aadl:129:05
     Corresponding_Entity Node_Id 187
     Display_Name Name_Id "Us"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 189
    189 identifier aadl_project.aadl:129:14
     Corresponding_Entity Node_Id 180
     Display_Name Name_Id "Ns"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 190
    190 literal aadl_project.aadl:129:20
     Value Value_Id 18
   191 unit definition aadl_project.aadl:130:05
    Identifier Node_Id 192
    192 identifier aadl_project.aadl:130:05
     Corresponding_Entity Node_Id 191
     Display_Name Name_Id "Ms"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 193
    193 identifier aadl_project.aadl:130:14
     Corresponding_Entity Node_Id 180
     Display_Name Name_Id "Us"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 194
    194 literal aadl_project.aadl:130:20
     Value Value_Id 19
   195 unit definition aadl_project.aadl:131:05
    Identifier Node_Id 196
    196 identifier aadl_project.aadl:131:05
     Corresponding_Entity Node_Id 195
     Display_Name Name_Id "Sec"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 197
    197 identifier aadl_project.aadl:131:14
     Corresponding_Entity Node_Id 180
     Display_Name Name_Id "Ms"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 198
    198 literal aadl_project.aadl:131:20
     Value Value_Id 20
   199 unit definition aadl_project.aadl:132:05
    Identifier Node_Id 200
    200 identifier aadl_project.aadl:132:05
     Corresponding_Entity Node_Id 199
     Display_Name Name_Id "Min"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 201
    201 identifier aadl_project.aadl:132:14
     Corresponding_Entity Node_Id 180
     Display_Name Name_Id "Sec"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 202
    202 literal aadl_project.aadl:132:20
     Value Value_Id 21
   203 unit definition aadl_project.aadl:133:05
    Identifier Node_Id 204
    204 identifier aadl_project.aadl:133:05
     Corresponding_Entity Node_Id 203
     Display_Name Name_Id "Hr"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 205
    205 identifier aadl_project.aadl:133:14
     Corresponding_Entity Node_Id 180
     Display_Name Name_Id "Min"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 206
    206 literal aadl_project.aadl:133:20
     Value Value_Id 22
   Units_Context Node_Id 0
 Property_Set_Context Node_Id 0
 Imports_List List_Id 0
209 property set aadl_properties.aadl:9:01
 Identifier Node_Id 208
 208 identifier aadl_properties.aadl:9:14
  Corresponding_Entity Node_Id 209
  Display_Name Name_Id "AADL_Properties"
  Scope_Entity Node_Id 2
  Backend_Node Node_Id 0
 Entity_Scope Node_Id 210
 Declarations List_Id 220
 217 property definition declaration aadl_properties.aadl:13:03
  Identifier Node_Id 211
  211 identifier aadl_properties.aadl:13:03
   Corresponding_Entity Node_Id 217
   Display_Name Name_Id "Activate_Deadline"
   Scope_Entity Node_Id 210
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean FALSE
  Property_Name_Type Node_Id 219
  219 property type aadl_properties.aadl:13:03
   Is_List Boolean FALSE
   Property_Type_Designator Node_Id 213
   213 unique property type identifier aadl_properties.aadl:13:20
    Identifier Node_Id 212
    212 identifier aadl_properties.aadl:13:22
     Corresponding_Entity Node_Id 0
     Display_Name Name_Id "Time"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Entity Node_Id 1377
    Property_Set_Identifier Node_Id 0
   Expanded_Type_Designator Node_Id 1476
   1476 integer type aadl_properties.aadl:504:14
    Type_Range Node_Id 1477
    1477 number range aadl_properties.aadl:504:26
     Lower_Bound Node_Id 1478
     1478 signed aadlnumber aadl_properties.aadl:504:26
      Number_Value Node_Id 1479
      1479 literal aadl_properties.aadl:504:26
       Value Value_Id 52
      Unit_Identifier Node_Id 1371
      1371 identifier aadl_properties.aadl:504:28
       Corresponding_Entity Node_Id 181
       Display_Name Name_Id "ps"
       Scope_Entity Node_Id 0
       Backend_Node Node_Id 0
     Upper_Bound Node_Id 1480
     1480 signed aadlnumber aadl_project.aadl:111:48
      Number_Value Node_Id 1481
      1481 literal aadl_project.aadl:111:48
       Value Value_Id 53
      Unit_Identifier Node_Id 137
      137 identifier aadl_project.aadl:111:53
       Corresponding_Entity Node_Id 204
       Display_Name Name_Id "hr"
       Scope_Entity Node_Id 0
       Backend_Node Node_Id 0
    Unit_Designator Node_Id 1376
    1376 unique property type identifier aadl_properties.aadl:504:50
     Identifier Node_Id 1375
     1375 identifier aadl_properties.aadl:504:56
      Corresponding_Entity Node_Id 0
      Display_Name Name_Id "Time_Units"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
     Entity Node_Id 207
     Property_Set_Identifier Node_Id 0
  Default_Value Node_Id 0
  Applies_To Node_Id 218
  218 applies to aadl_properties.aadl:13:03
   Is_All Boolean FALSE
   Owner_Categories List_Id 215
   216 named element aadl_properties.aadl:14:15
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
 227 property definition declaration aadl_properties.aadl:17:03
  Identifier Node_Id 221
  221 identifier aadl_properties.aadl:17:03
   Corresponding_Entity Node_Id 227
   Display_Name Name_Id "Activate_Execution_Time"
   Scope_Entity Node_Id 210
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean FALSE
  Property_Name_Type Node_Id 229
  229 property type aadl_properties.aadl:17:03
   Is_List Boolean FALSE
   Property_Type_Designator Node_Id 223
   223 unique property type identifier aadl_properties.aadl:17:26
    Identifier Node_Id 222
    222 identifier aadl_properties.aadl:17:28
     Corresponding_Entity Node_Id 0
     Display_Name Name_Id "Time_Range"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Entity Node_Id 1382
    Property_Set_Identifier Node_Id 0
   Expanded_Type_Designator Node_Id 1482
   1482 range type aadl_properties.aadl:520:20
    Number_Type Node_Id 1483
    1483 integer type aadl_properties.aadl:504:14
     Type_Range Node_Id 1484
     1484 number range aadl_properties.aadl:504:26
      Lower_Bound Node_Id 1485
      1485 signed aadlnumber aadl_properties.aadl:504:26
       Number_Value Node_Id 1486
       1486 literal aadl_properties.aadl:504:26
        Value Value_Id 54
       Unit_Identifier Node_Id 1371
       1371 identifier aadl_properties.aadl:504:28
        Corresponding_Entity Node_Id 181
        Display_Name Name_Id "ps"
        Scope_Entity Node_Id 0
        Backend_Node Node_Id 0
      Upper_Bound Node_Id 1487
      1487 signed aadlnumber aadl_project.aadl:111:48
       Number_Value Node_Id 1488
       1488 literal aadl_project.aadl:111:48
        Value Value_Id 55
       Unit_Identifier Node_Id 137
       137 identifier aadl_project.aadl:111:53
        Corresponding_Entity Node_Id 204
        Display_Name Name_Id "hr"
        Scope_Entity Node_Id 0
        Backend_Node Node_Id 0
     Unit_Designator Node_Id 1376
     1376 unique property type identifier aadl_properties.aadl:504:50
      Identifier Node_Id 1375
      1375 identifier aadl_properties.aadl:504:56
       Corresponding_Entity Node_Id 0
       Display_Name Name_Id "Time_Units"
       Scope_Entity Node_Id 0
       Backend_Node Node_Id 0
      Entity Node_Id 207
      Property_Set_Identifier Node_Id 0
  Default_Value Node_Id 0
  Applies_To Node_Id 228
  228 applies to aadl_properties.aadl:17:03
   Is_All Boolean FALSE
   Owner_Categories List_Id 225
   226 named element aadl_properties.aadl:18:15
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
 235 property definition declaration aadl_properties.aadl:21:03
  Identifier Node_Id 230
  230 identifier aadl_properties.aadl:21:03
   Corresponding_Entity Node_Id 235
   Display_Name Name_Id "Activate_Entrypoint"
   Scope_Entity Node_Id 210
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean FALSE
  Property_Name_Type Node_Id 237
  237 property type aadl_properties.aadl:21:03
   Is_List Boolean FALSE
   Property_Type_Designator Node_Id 231
   231 string type aadl_properties.aadl:21:24
   Expanded_Type_Designator Node_Id 231
   231 string type aadl_properties.aadl:21:24
  Default_Value Node_Id 0
  Applies_To Node_Id 236
  236 applies to aadl_properties.aadl:21:03
   Is_All Boolean FALSE
   Owner_Categories List_Id 233
   234 named element aadl_properties.aadl:22:15
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
 249 property definition declaration aadl_properties.aadl:25:03
  Identifier Node_Id 238
  238 identifier aadl_properties.aadl:25:03
   Corresponding_Entity Node_Id 249
   Display_Name Name_Id "Active_Thread_Handling_Protocol"