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