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
 91 property type declaration aadl_project.aadl:34:03
  Identifier Node_Id 67
  67 identifier aadl_project.aadl:34:03
   Corresponding_Entity Node_Id 91
   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 "EDF"
    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 "EARLIEST_DEADLINE_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 "LEAST_LAXITY_FIRST_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 "RATE_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 "DEADLINE_MONOTONIC_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 "ROUND_ROBIN_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 "TIME_SHARING_BASED_ON_WAIT_TIME_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 "POSIX_1003_HIGHEST_PRIORITY_FIRST_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 "D_OVER_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_LAXITY_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 "MAXIMUM_URGENCY_FIRST_BASED_ON_DEADLINE_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 "TIME_SHARING_BASED_ON_CPU_USAGE_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 "NO_SCHEDULING_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_CYCLIC_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_ROUND_ROBIN_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_FIXED_PRIORITY_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   90 identifier aadl_project.aadl:53: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
 120 property type declaration aadl_project.aadl:55:03
  Identifier Node_Id 92
  92 identifier aadl_project.aadl:55:03
   Corresponding_Entity Node_Id 120
   Display_Name Name_Id "Supported_Source_Languages"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 93
  93 enumeration type aadl_project.aadl:55:36
   Identifiers List_Id 94
   95 identifier aadl_project.aadl:56:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Ada95"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   96 identifier aadl_project.aadl:57:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Ada"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   97 identifier aadl_project.aadl:58:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Ada05"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   98 identifier aadl_project.aadl:59:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "ASN1"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   99 identifier aadl_project.aadl:60:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Blackbox_Device"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   100 identifier aadl_project.aadl:61:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "C"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   101 identifier aadl_project.aadl:62:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "CPP"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   102 identifier aadl_project.aadl:63:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Esterel"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   103 identifier aadl_project.aadl:64:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "GUI"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   104 identifier aadl_project.aadl:65:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "LUA"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   105 identifier aadl_project.aadl:66:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Lustre"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   106 identifier aadl_project.aadl:67:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Lustre5"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   107 identifier aadl_project.aadl:68:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Lustre6"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   108 identifier aadl_project.aadl:69:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "RTDS"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   109 identifier aadl_project.aadl:70:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "SDL_RTDS"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   110 identifier aadl_project.aadl:71:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "RTSJ"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   111 identifier aadl_project.aadl:72:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "SCADE6"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   112 identifier aadl_project.aadl:73:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "SDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   113 identifier aadl_project.aadl:74:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "SDL_ObjectGeode"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   114 identifier aadl_project.aadl:75:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Scade"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   115 identifier aadl_project.aadl:76:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Simulink"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   116 identifier aadl_project.aadl:77:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "Simulink_6_5"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   117 identifier aadl_project.aadl:78:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "System_C"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   118 identifier aadl_project.aadl:79:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "VHDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   119 identifier aadl_project.aadl:80:06
    Corresponding_Entity Node_Id 93
    Display_Name Name_Id "ACN"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 126 property type declaration aadl_project.aadl:82:03
  Identifier Node_Id 121
  121 identifier aadl_project.aadl:82:03
   Corresponding_Entity Node_Id 126
   Display_Name Name_Id "Supported_Distributions"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 122
  122 enumeration type aadl_project.aadl:82:33
   Identifiers List_Id 123
   124 identifier aadl_project.aadl:82:46
    Corresponding_Entity Node_Id 122
    Display_Name Name_Id "Fixed"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   125 identifier aadl_project.aadl:82:53
    Corresponding_Entity Node_Id 122
    Display_Name Name_Id "Poisson"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 133 property type declaration aadl_project.aadl:84:03
  Identifier Node_Id 127
  127 identifier aadl_project.aadl:84:03
   Corresponding_Entity Node_Id 133
   Display_Name Name_Id "Supported_Classifier_Substitutions"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 128
  128 enumeration type aadl_project.aadl:84:44
   Identifiers List_Id 129
   130 identifier aadl_project.aadl:84:57
    Corresponding_Entity Node_Id 128
    Display_Name Name_Id "Classifier_Match"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   131 identifier aadl_project.aadl:84:75
    Corresponding_Entity Node_Id 128
    Display_Name Name_Id "Type_Extension"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   132 identifier aadl_project.aadl:84:91
    Corresponding_Entity Node_Id 128
    Display_Name Name_Id "Signature_Match"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 144 property type declaration aadl_project.aadl:87:03
  Identifier Node_Id 134
  134 identifier aadl_project.aadl:87:03
   Corresponding_Entity Node_Id 144
   Display_Name Name_Id "Data_Volume"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 135
  135 integer type aadl_project.aadl:87:21
   Type_Range Node_Id 141
   141 number range aadl_project.aadl:87:33
    Lower_Bound Node_Id 136
    136 signed aadlnumber aadl_project.aadl:87:33
     Number_Value Node_Id 137
     137 literal aadl_project.aadl:87:33
      Value Value_Id 3
     Unit_Identifier Node_Id 138
     138 identifier aadl_project.aadl:87:35
      Corresponding_Entity Node_Id 274
      Display_Name Name_Id "bitsps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
    Upper_Bound Node_Id 140
    140 property term aadl_project.aadl:87:42
     Identifier Node_Id 139
     139 identifier aadl_project.aadl:87: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 152
     Property_Set_Identifier Node_Id 0
   Unit_Designator Node_Id 143
   143 unique property type identifier aadl_project.aadl:88:03
    Identifier Node_Id 142
    142 identifier aadl_project.aadl:88: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 292
    Property_Set_Identifier Node_Id 0
 152 constant property declaration aadl_project.aadl:90:03
  Identifier Node_Id 145
  145 identifier aadl_project.aadl:90:03
   Corresponding_Entity Node_Id 152
   Display_Name Name_Id "Max_Data_Volume"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 146
  146 integer type aadl_project.aadl:90:29
   Type_Range Node_Id 0
   Unit_Designator Node_Id 148
   148 unique property type identifier aadl_project.aadl:90:41
    Identifier Node_Id 147
    147 identifier aadl_project.aadl:90: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 292
    Property_Set_Identifier Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 153
  153 property value aadl_project.aadl:90:03
   Value_Container Node_Id 5
   Single_Value Node_Id 149
   149 signed aadlnumber aadl_project.aadl:90:68
    Number_Value Node_Id 150
    150 literal aadl_project.aadl:90:68
     Value Value_Id 4
    Unit_Identifier Node_Id 151
    151 identifier aadl_project.aadl:90:76
     Corresponding_Entity Node_Id 274
     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
 158 constant property declaration aadl_project.aadl:92:03
  Identifier Node_Id 154
  154 identifier aadl_project.aadl:92:03
   Corresponding_Entity Node_Id 158
   Display_Name Name_Id "Max_Aadlinteger"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 155
  155 integer type aadl_project.aadl:92:29
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 159
  159 property value aadl_project.aadl:92:03
   Value_Container Node_Id 5
   Single_Value Node_Id 156
   156 signed aadlnumber aadl_project.aadl:92:44
    Number_Value Node_Id 157
    157 literal aadl_project.aadl:92: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
 164 constant property declaration aadl_project.aadl:94:03
  Identifier Node_Id 160
  160 identifier aadl_project.aadl:94:03
   Corresponding_Entity Node_Id 164
   Display_Name Name_Id "Max_Target_Integer"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 161
  161 integer type aadl_project.aadl:94:32
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 165
  165 property value aadl_project.aadl:94:03
   Value_Container Node_Id 5
   Single_Value Node_Id 162
   162 signed aadlnumber aadl_project.aadl:94:47
    Number_Value Node_Id 163
    163 literal aadl_project.aadl:94: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
 170 constant property declaration aadl_project.aadl:96:03
  Identifier Node_Id 166
  166 identifier aadl_project.aadl:96:03
   Corresponding_Entity Node_Id 170
   Display_Name Name_Id "Max_Base_Address"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 167
  167 integer type aadl_project.aadl:96:30
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 171
  171 property value aadl_project.aadl:96:03
   Value_Container Node_Id 5
   Single_Value Node_Id 168
   168 signed aadlnumber aadl_project.aadl:96:45
    Number_Value Node_Id 169
    169 literal aadl_project.aadl:96: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
 178 constant property declaration aadl_project.aadl:98:03
  Identifier Node_Id 172
  172 identifier aadl_project.aadl:98:03
   Corresponding_Entity Node_Id 178
   Display_Name Name_Id "Max_Memory_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 174
  174 unique property type identifier aadl_project.aadl:98:20
   Identifier Node_Id 173
   173 identifier aadl_project.aadl:98:29
    Corresponding_Entity Node_Id 1413
    Display_Name Name_Id "Size"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Entity Node_Id 1413
   Property_Set_Identifier Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 179
  179 property value aadl_project.aadl:98:03
   Value_Container Node_Id 5
   Single_Value Node_Id 175
   175 signed aadlnumber aadl_project.aadl:98:37
    Number_Value Node_Id 176
    176 literal aadl_project.aadl:98:37
     Value Value_Id 8
    Unit_Identifier Node_Id 177
    177 identifier aadl_project.aadl:98:45
     Corresponding_Entity Node_Id 223
     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
 184 constant property declaration aadl_project.aadl:100:03
  Identifier Node_Id 180
  180 identifier aadl_project.aadl:100:03
   Corresponding_Entity Node_Id 184
   Display_Name Name_Id "Max_Queue_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 181
  181 integer type aadl_project.aadl:100:28
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 185
  185 property value aadl_project.aadl:100:03
   Value_Container Node_Id 5
   Single_Value Node_Id 182
   182 signed aadlnumber aadl_project.aadl:100:43
    Number_Value Node_Id 183
    183 literal aadl_project.aadl:100: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
 190 constant property declaration aadl_project.aadl:102:03
  Identifier Node_Id 186
  186 identifier aadl_project.aadl:102:03
   Corresponding_Entity Node_Id 190
   Display_Name Name_Id "Max_Thread_Limit"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 187
  187 integer type aadl_project.aadl:102:30
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 191
  191 property value aadl_project.aadl:102:03
   Value_Container Node_Id 5
   Single_Value Node_Id 188
   188 signed aadlnumber aadl_project.aadl:102:45
    Number_Value Node_Id 189
    189 literal aadl_project.aadl:102: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
 198 constant property declaration aadl_project.aadl:104:03
  Identifier Node_Id 192
  192 identifier aadl_project.aadl:104:03
   Corresponding_Entity Node_Id 198
   Display_Name Name_Id "Max_Time"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 194
  194 unique property type identifier aadl_project.aadl:104:13
   Identifier Node_Id 193
   193 identifier aadl_project.aadl:104:22
    Corresponding_Entity Node_Id 1767
    Display_Name Name_Id "Time"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Entity Node_Id 1767
   Property_Set_Identifier Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 199
  199 property value aadl_project.aadl:104:03
   Value_Container Node_Id 5
   Single_Value Node_Id 195
   195 signed aadlnumber aadl_project.aadl:104:30
    Number_Value Node_Id 196
    196 literal aadl_project.aadl:104:30
     Value Value_Id 11
    Unit_Identifier Node_Id 197
    197 identifier aadl_project.aadl:104:35
     Corresponding_Entity Node_Id 268
     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
 204 constant property declaration aadl_project.aadl:106:03
  Identifier Node_Id 200
  200 identifier aadl_project.aadl:106:03
   Corresponding_Entity Node_Id 204
   Display_Name Name_Id "Max_Urgency"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 201
  201 integer type aadl_project.aadl:106:25
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 205
  205 property value aadl_project.aadl:106:03
   Value_Container Node_Id 5
   Single_Value Node_Id 202
   202 signed aadlnumber aadl_project.aadl:106:40
    Number_Value Node_Id 203
    203 literal aadl_project.aadl:106: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
 210 constant property declaration aadl_project.aadl:108:03
  Identifier Node_Id 206
  206 identifier aadl_project.aadl:108:03
   Corresponding_Entity Node_Id 210
   Display_Name Name_Id "Max_Byte_Count"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 207
  207 integer type aadl_project.aadl:108:28
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 211
  211 property value aadl_project.aadl:108:03
   Value_Container Node_Id 5
   Single_Value Node_Id 208
   208 signed aadlnumber aadl_project.aadl:108:43
    Number_Value Node_Id 209
    209 literal aadl_project.aadl:108: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
 216 constant property declaration aadl_project.aadl:110:03
  Identifier Node_Id 212
  212 identifier aadl_project.aadl:110:03
   Corresponding_Entity Node_Id 216
   Display_Name Name_Id "Max_Word_Space"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 213
  213 integer type aadl_project.aadl:110:28
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 217
  217 property value aadl_project.aadl:110:03
   Value_Container Node_Id 5
   Single_Value Node_Id 214
   214 signed aadlnumber aadl_project.aadl:110:43
    Number_Value Node_Id 215
    215 literal aadl_project.aadl:110: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
 242 property type declaration aadl_project.aadl:112:03
  Identifier Node_Id 218
  218 identifier aadl_project.aadl:112:03
   Corresponding_Entity Node_Id 242
   Display_Name Name_Id "Size_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 219
  219 units type aadl_project.aadl:112:20
   Base_Identifier Node_Id 220
   220 identifier aadl_project.aadl:113:03
    Corresponding_Entity Node_Id 219
    Display_Name Name_Id "bits"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Unit_Definitions List_Id 221
   222 unit definition aadl_project.aadl:114:03
    Identifier Node_Id 223
    223 identifier aadl_project.aadl:114:03
     Corresponding_Entity Node_Id 222
     Display_Name Name_Id "Bytes"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 224
    224 identifier aadl_project.aadl:114:12
     Corresponding_Entity Node_Id 219
     Display_Name Name_Id "bits"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 225
    225 literal aadl_project.aadl:114:19
     Value Value_Id 15
   226 unit definition aadl_project.aadl:115:03
    Identifier Node_Id 227
    227 identifier aadl_project.aadl:115:03
     Corresponding_Entity Node_Id 226
     Display_Name Name_Id "KByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 228
    228 identifier aadl_project.aadl:115:12
     Corresponding_Entity Node_Id 219
     Display_Name Name_Id "Bytes"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 229
    229 literal aadl_project.aadl:115:20
     Value Value_Id 16
   230 unit definition aadl_project.aadl:116:03
    Identifier Node_Id 231
    231 identifier aadl_project.aadl:116:03
     Corresponding_Entity Node_Id 230
     Display_Name Name_Id "MByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 232
    232 identifier aadl_project.aadl:116:12
     Corresponding_Entity Node_Id 219
     Display_Name Name_Id "KByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 233
    233 literal aadl_project.aadl:116:20
     Value Value_Id 17
   234 unit definition aadl_project.aadl:117:03
    Identifier Node_Id 235
    235 identifier aadl_project.aadl:117:03
     Corresponding_Entity Node_Id 234
     Display_Name Name_Id "GByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 236
    236 identifier aadl_project.aadl:117:12
     Corresponding_Entity Node_Id 219
     Display_Name Name_Id "MByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 237
    237 literal aadl_project.aadl:117:20
     Value Value_Id 18
   238 unit definition aadl_project.aadl:118:03
    Identifier Node_Id 239
    239 identifier aadl_project.aadl:118:03
     Corresponding_Entity Node_Id 238
     Display_Name Name_Id "TByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Unit_Identifier Node_Id 240
    240 identifier aadl_project.aadl:118:12
     Corresponding_Entity Node_Id 219
     Display_Name Name_Id "GByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Numeric_Literal Node_Id 241
    241 literal aadl_project.aadl:118:20
     Value Value_Id 19
   Units_Context Node_Id 0
 271 property type declaration aadl_project.aadl:120:03
  Identifier Node_Id 243
  243 identifier aadl_project.aadl:120:03
   Corresponding_Entity Node_Id 271
   Display_Name Name_Id "Time_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 244
  244 units type aadl_project.aadl:120:20
   Base_Identifier Node_Id 245
   245 identifier aadl_project.aadl:121:03
    Corresponding_Entity Node_Id 244
    Display_Name Name_Id "ps"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Unit_Definitions List_Id 246
   247 unit definition aadl_project.aadl:122:03
    Identifier Node_Id 248
    248 identifier aadl_project.aadl:122:03
     Corresponding_Entity Node_Id 247
     Display_Name Name_Id "ns"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0