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