test.aadl.out 283 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
1 aadl specification aadl_project.aadl:1:01
Entity_Scope Node_Id 2
Declarations List_Id 7
5 property set aadl_project.aadl:9:01
 Identifier Node_Id 4
 4 identifier aadl_project.aadl:9:14
  Corresponding_Entity Node_Id 5
  Display_Name Name_Id "AADL_Project"
  Scope_Entity Node_Id 2
  Backend_Node Node_Id 0
 Entity_Scope Node_Id 6
 Declarations List_Id 14
 12 constant property declaration aadl_project.aadl:11:03
  Identifier Node_Id 8
  8 identifier aadl_project.aadl:11:03
   Corresponding_Entity Node_Id 12
   Display_Name Name_Id "Default_Active_Thread_Handling_Protocol"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Constant_Type Node_Id 10
  10 unique property type identifier aadl_project.aadl:11:45
   Identifier Node_Id 9
   9 identifier aadl_project.aadl:12:06
    Corresponding_Entity Node_Id 23
    Display_Name Name_Id "Supported_Active_Thread_Handling_Protocols"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Entity Node_Id 23
   Property_Set_Identifier Node_Id 0
  Unique_Unit_Identifier Node_Id 0
  Constant_Value Node_Id 13
  13 property value aadl_project.aadl:11:03
   Value_Container Node_Id 5
   Single_Value Node_Id 11
   11 literal aadl_project.aadl:12:52
    Value Value_Id 3
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
 23 property type declaration aadl_project.aadl:15:03
  Identifier Node_Id 15
  15 identifier aadl_project.aadl:15:03
   Corresponding_Entity Node_Id 23
   Display_Name Name_Id "Supported_Active_Thread_Handling_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 16
  16 enumeration type aadl_project.aadl:15:52
   Identifiers List_Id 17
   18 identifier aadl_project.aadl:16:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "abort"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   19 identifier aadl_project.aadl:17:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "complete_one_flush_queue"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   20 identifier aadl_project.aadl:18:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "complete_one_transfer_queue"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   21 identifier aadl_project.aadl:19:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "complete_one_preserve_queue"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   22 identifier aadl_project.aadl:20:06
    Corresponding_Entity Node_Id 16
    Display_Name Name_Id "complete_all"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 31 property type declaration aadl_project.aadl:23:03
  Identifier Node_Id 24
  24 identifier aadl_project.aadl:23:03
   Corresponding_Entity Node_Id 31
   Display_Name Name_Id "Supported_Connection_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 25
  25 enumeration type aadl_project.aadl:23:40
   Identifiers List_Id 26
   27 identifier aadl_project.aadl:24:06
    Corresponding_Entity Node_Id 25
    Display_Name Name_Id "HTTP"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   28 identifier aadl_project.aadl:25:06
    Corresponding_Entity Node_Id 25
    Display_Name Name_Id "HTTPS"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   29 identifier aadl_project.aadl:26:06
    Corresponding_Entity Node_Id 25
    Display_Name Name_Id "UDP"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   30 identifier aadl_project.aadl:27:06
    Corresponding_Entity Node_Id 25
    Display_Name Name_Id "IP_TCP"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 39 property type declaration aadl_project.aadl:31:03
  Identifier Node_Id 32
  32 identifier aadl_project.aadl:31:03
   Corresponding_Entity Node_Id 39
   Display_Name Name_Id "Supported_Concurrency_Control_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 33
  33 enumeration type aadl_project.aadl:31:49
   Identifiers List_Id 34
   35 identifier aadl_project.aadl:32:06
    Corresponding_Entity Node_Id 33
    Display_Name Name_Id "NoneSpecified"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   36 identifier aadl_project.aadl:33:06
    Corresponding_Entity Node_Id 33
    Display_Name Name_Id "Read_Only"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   37 identifier aadl_project.aadl:34:06
    Corresponding_Entity Node_Id 33
    Display_Name Name_Id "Protected_Access"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   38 identifier aadl_project.aadl:35:06
    Corresponding_Entity Node_Id 33
    Display_Name Name_Id "Priority_Ceiling"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 48 property type declaration aadl_project.aadl:41:03
  Identifier Node_Id 40
  40 identifier aadl_project.aadl:41:03
   Corresponding_Entity Node_Id 48
   Display_Name Name_Id "Supported_Dispatch_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 41
  41 enumeration type aadl_project.aadl:41:38
   Identifiers List_Id 42
   43 identifier aadl_project.aadl:42:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Periodic"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   44 identifier aadl_project.aadl:43:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Aperiodic"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   45 identifier aadl_project.aadl:44:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Sporadic"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   46 identifier aadl_project.aadl:45:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Hybrid"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   47 identifier aadl_project.aadl:46:06
    Corresponding_Entity Node_Id 41
    Display_Name Name_Id "Background"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 53 property type declaration aadl_project.aadl:50:03
  Identifier Node_Id 49
  49 identifier aadl_project.aadl:50:03
   Corresponding_Entity Node_Id 53
   Display_Name Name_Id "Supported_Hardware_Source_Languages"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 50
  50 enumeration type aadl_project.aadl:50:45
   Identifiers List_Id 51
   52 identifier aadl_project.aadl:51:06
    Corresponding_Entity Node_Id 50
    Display_Name Name_Id "VHDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 58 property type declaration aadl_project.aadl:56:03
  Identifier Node_Id 54
  54 identifier aadl_project.aadl:56:03
   Corresponding_Entity Node_Id 58
   Display_Name Name_Id "Supported_Queue_Processing_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 55
  55 enumeration type aadl_project.aadl:56:46
   Identifiers List_Id 56
   57 identifier aadl_project.aadl:57:06
    Corresponding_Entity Node_Id 55
    Display_Name Name_Id "FIFO"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
 79 property type declaration aadl_project.aadl:62:03
  Identifier Node_Id 59
  59 identifier aadl_project.aadl:62:03
   Corresponding_Entity Node_Id 79
   Display_Name Name_Id "Supported_Scheduling_Protocols"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 60
  60 enumeration type aadl_project.aadl:62:40
   Identifiers List_Id 61
   62 identifier aadl_project.aadl:63:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "PARAMETRIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   63 identifier aadl_project.aadl:64:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "EARLIEST_DEADLINE_FIRST_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   64 identifier aadl_project.aadl:65:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "LEAST_LAXITY_FIRST_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   65 identifier aadl_project.aadl:66:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "RATE_MONOTONIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   66 identifier aadl_project.aadl:67:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "DEADLINE_MONOTONIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   67 identifier aadl_project.aadl:68:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "ROUND_ROBIN_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   68 identifier aadl_project.aadl:69:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "TIME_SHARING_BASED_ON_WAIT_TIME_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   69 identifier aadl_project.aadl:70:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   70 identifier aadl_project.aadl:71:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "D_OVER_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   71 identifier aadl_project.aadl:72:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "MAXIMUM_URGENCY_FIRST_BASED_ON_LAXITY_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   72 identifier aadl_project.aadl:73:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "MAXIMUM_URGENCY_FIRST_BASED_ON_DEADLINE_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   73 identifier aadl_project.aadl:74:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "TIME_SHARING_BASED_ON_CPU_USAGE_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   74 identifier aadl_project.aadl:75:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "NO_SCHEDULING_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   75 identifier aadl_project.aadl:76:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "HIERARCHICAL_CYCLIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   76 identifier aadl_project.aadl:77:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "HIERARCHICAL_ROUND_ROBIN_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   77 identifier aadl_project.aadl:78:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "HIERARCHICAL_FIXED_PRIORITY_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   78 identifier aadl_project.aadl:79:06
    Corresponding_Entity Node_Id 60
    Display_Name Name_Id "HIERARCHICAL_PARAMETRIC_PROTOCOL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
302
 102 property type declaration aadl_project.aadl:83:03
303
304
  Identifier Node_Id 80
  80 identifier aadl_project.aadl:83:03
305
   Corresponding_Entity Node_Id 102
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
   Display_Name Name_Id "Supported_Source_Languages"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
  Property_Type_Designator Node_Id 81
  81 enumeration type aadl_project.aadl:83:36
   Identifiers List_Id 82
   83 identifier aadl_project.aadl:84:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Ada95"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   84 identifier aadl_project.aadl:85:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Ada"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   85 identifier aadl_project.aadl:86:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Ada05"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   86 identifier aadl_project.aadl:87:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "ASN1"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   87 identifier aadl_project.aadl:88:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "C"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   88 identifier aadl_project.aadl:89:06
    Corresponding_Entity Node_Id 81
hugues.jerome's avatar
hugues.jerome committed
339
    Display_Name Name_Id "GUI"
340
341
342
343
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   89 identifier aadl_project.aadl:90:06
    Corresponding_Entity Node_Id 81
hugues.jerome's avatar
hugues.jerome committed
344
    Display_Name Name_Id "Lustre"
345
346
347
348
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   90 identifier aadl_project.aadl:91:06
    Corresponding_Entity Node_Id 81
hugues.jerome's avatar
hugues.jerome committed
349
    Display_Name Name_Id "Lustre5"
350
351
352
353
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   91 identifier aadl_project.aadl:92:06
    Corresponding_Entity Node_Id 81
hugues.jerome's avatar
hugues.jerome committed
354
    Display_Name Name_Id "Lustre6"
355
356
357
358
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   92 identifier aadl_project.aadl:93:06
    Corresponding_Entity Node_Id 81
359
    Display_Name Name_Id "RTDS"
360
361
362
363
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   93 identifier aadl_project.aadl:94:06
    Corresponding_Entity Node_Id 81
364
    Display_Name Name_Id "SDL_RTDS"
365
366
367
368
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   94 identifier aadl_project.aadl:95:06
    Corresponding_Entity Node_Id 81
369
    Display_Name Name_Id "RTSJ"
370
371
372
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   95 identifier aadl_project.aadl:96:06
hugues.jerome's avatar
hugues.jerome committed
373
    Corresponding_Entity Node_Id 81
374
    Display_Name Name_Id "SCADE6"
hugues.jerome's avatar
hugues.jerome committed
375
376
377
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   96 identifier aadl_project.aadl:97:06
378
    Corresponding_Entity Node_Id 81
379
    Display_Name Name_Id "SDL"
380
381
382
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   97 identifier aadl_project.aadl:98:06
383
    Corresponding_Entity Node_Id 81
384
    Display_Name Name_Id "SDL_ObjectGeode"
385
386
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
387
388
   98 identifier aadl_project.aadl:99:06
    Corresponding_Entity Node_Id 81
389
    Display_Name Name_Id "Simulink"
390
391
392
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   99 identifier aadl_project.aadl:100:06
393
394
395
396
397
398
399
400
401
402
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "Simulink_6_5"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   100 identifier aadl_project.aadl:101:06
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "System_C"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   101 identifier aadl_project.aadl:102:06
403
404
405
406
    Corresponding_Entity Node_Id 81
    Display_Name Name_Id "VHDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
407
   Enumeration_Context Node_Id 0
408
409
410
411
 107 constant property declaration aadl_project.aadl:104:03
  Identifier Node_Id 103
  103 identifier aadl_project.aadl:104:03
   Corresponding_Entity Node_Id 107
412
413
414
   Display_Name Name_Id "Max_Aadlinteger"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
415
416
  Constant_Type Node_Id 104
  104 integer type aadl_project.aadl:104:29
417
418
419
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
420
421
  Constant_Value Node_Id 108
  108 property value aadl_project.aadl:104:03
422
   Value_Container Node_Id 5
423
424
425
426
   Single_Value Node_Id 105
   105 signed aadlnumber aadl_project.aadl:104:44
    Number_Value Node_Id 106
    106 literal aadl_project.aadl:104:44
427
428
429
430
431
     Value Value_Id 4
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
432
433
434
435
 113 constant property declaration aadl_project.aadl:106:03
  Identifier Node_Id 109
  109 identifier aadl_project.aadl:106:03
   Corresponding_Entity Node_Id 113
436
437
438
   Display_Name Name_Id "Max_Base_Address"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
439
440
  Constant_Type Node_Id 110
  110 integer type aadl_project.aadl:106:30
441
442
443
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
444
445
  Constant_Value Node_Id 114
  114 property value aadl_project.aadl:106:03
446
   Value_Container Node_Id 5
447
448
449
450
   Single_Value Node_Id 111
   111 signed aadlnumber aadl_project.aadl:106:45
    Number_Value Node_Id 112
    112 literal aadl_project.aadl:106:45
451
452
453
454
455
     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
456
457
458
459
 122 constant property declaration aadl_project.aadl:108:03
  Identifier Node_Id 115
  115 identifier aadl_project.aadl:108:03
   Corresponding_Entity Node_Id 122
460
461
462
   Display_Name Name_Id "Max_Memory_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
463
464
  Constant_Type Node_Id 116
  116 integer type aadl_project.aadl:108:29
465
466
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
467
468
469
470
  Unique_Unit_Identifier Node_Id 118
  118 unique property type identifier aadl_project.aadl:108:29
   Identifier Node_Id 117
   117 identifier aadl_project.aadl:108:41
471
472
473
474
    Corresponding_Entity Node_Id 0
    Display_Name Name_Id "Size_Units"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
475
   Entity Node_Id 183
476
   Property_Set_Identifier Node_Id 0
477
478
  Constant_Value Node_Id 123
  123 property value aadl_project.aadl:108:03
479
   Value_Container Node_Id 5
480
481
482
483
   Single_Value Node_Id 119
   119 signed aadlnumber aadl_project.aadl:108:55
    Number_Value Node_Id 120
    120 literal aadl_project.aadl:108:55
484
     Value Value_Id 6
485
486
487
    Unit_Identifier Node_Id 121
    121 identifier aadl_project.aadl:108:63
     Corresponding_Entity Node_Id 168
488
489
490
491
492
493
     Display_Name Name_Id "B"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
494
495
496
497
 128 constant property declaration aadl_project.aadl:110:03
  Identifier Node_Id 124
  124 identifier aadl_project.aadl:110:03
   Corresponding_Entity Node_Id 128
498
499
500
   Display_Name Name_Id "Max_Queue_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
501
502
  Constant_Type Node_Id 125
  125 integer type aadl_project.aadl:110:28
503
504
505
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
506
507
  Constant_Value Node_Id 129
  129 property value aadl_project.aadl:110:03
508
   Value_Container Node_Id 5
509
510
511
512
   Single_Value Node_Id 126
   126 signed aadlnumber aadl_project.aadl:110:43
    Number_Value Node_Id 127
    127 literal aadl_project.aadl:110:43
513
514
515
516
517
     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
518
519
520
521
 134 constant property declaration aadl_project.aadl:112:03
  Identifier Node_Id 130
  130 identifier aadl_project.aadl:112:03
   Corresponding_Entity Node_Id 134
522
523
524
   Display_Name Name_Id "Max_Thread_Limit"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
525
526
  Constant_Type Node_Id 131
  131 integer type aadl_project.aadl:112:30
527
528
529
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
530
531
  Constant_Value Node_Id 135
  135 property value aadl_project.aadl:112:03
532
   Value_Container Node_Id 5
533
534
535
536
   Single_Value Node_Id 132
   132 signed aadlnumber aadl_project.aadl:112:45
    Number_Value Node_Id 133
    133 literal aadl_project.aadl:112:45
537
538
539
540
541
     Value Value_Id 8
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
542
543
544
545
 143 constant property declaration aadl_project.aadl:114:03
  Identifier Node_Id 136
  136 identifier aadl_project.aadl:114:03
   Corresponding_Entity Node_Id 143
546
547
548
   Display_Name Name_Id "Max_Time"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
549
550
  Constant_Type Node_Id 137
  137 integer type aadl_project.aadl:114:22
551
552
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
553
554
555
556
  Unique_Unit_Identifier Node_Id 139
  139 unique property type identifier aadl_project.aadl:114:22
   Identifier Node_Id 138
   138 identifier aadl_project.aadl:114:34
557
558
559
560
    Corresponding_Entity Node_Id 0
    Display_Name Name_Id "Time_Units"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
561
   Entity Node_Id 212
562
   Property_Set_Identifier Node_Id 0
563
564
  Constant_Value Node_Id 144
  144 property value aadl_project.aadl:114:03
565
   Value_Container Node_Id 5
566
567
568
569
   Single_Value Node_Id 140
   140 signed aadlnumber aadl_project.aadl:114:48
    Number_Value Node_Id 141
    141 literal aadl_project.aadl:114:48
570
     Value Value_Id 9
571
572
573
    Unit_Identifier Node_Id 142
    142 identifier aadl_project.aadl:114:53
     Corresponding_Entity Node_Id 209
574
575
576
577
578
579
     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
580
581
582
583
 149 constant property declaration aadl_project.aadl:116:03
  Identifier Node_Id 145
  145 identifier aadl_project.aadl:116:03
   Corresponding_Entity Node_Id 149
584
585
586
   Display_Name Name_Id "Max_Urgency"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
587
588
  Constant_Type Node_Id 146
  146 integer type aadl_project.aadl:116:25
589
590
591
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
592
593
  Constant_Value Node_Id 150
  150 property value aadl_project.aadl:116:03
594
   Value_Container Node_Id 5
595
596
597
598
   Single_Value Node_Id 147
   147 signed aadlnumber aadl_project.aadl:116:40
    Number_Value Node_Id 148
    148 literal aadl_project.aadl:116:40
599
600
601
602
603
     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
604
605
606
607
 155 constant property declaration aadl_project.aadl:118:03
  Identifier Node_Id 151
  151 identifier aadl_project.aadl:118:03
   Corresponding_Entity Node_Id 155
608
609
610
   Display_Name Name_Id "Max_Word_Count"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
611
612
  Constant_Type Node_Id 152
  152 integer type aadl_project.aadl:118:28
613
614
615
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
616
617
  Constant_Value Node_Id 156
  156 property value aadl_project.aadl:118:03
618
   Value_Container Node_Id 5
619
620
621
622
   Single_Value Node_Id 153
   153 signed aadlnumber aadl_project.aadl:118:43
    Number_Value Node_Id 154
    154 literal aadl_project.aadl:118:43
623
624
625
626
627
     Value Value_Id 11
    Unit_Identifier Node_Id 0
   Multi_Value List_Id 0
   Expanded_Single_Value Node_Id 0
   Expanded_Multi_Value List_Id 0
628
629
630
631
 161 constant property declaration aadl_project.aadl:120:03
  Identifier Node_Id 157
  157 identifier aadl_project.aadl:120:03
   Corresponding_Entity Node_Id 161
632
633
634
   Display_Name Name_Id "Max_Word_Space"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
635
636
  Constant_Type Node_Id 158
  158 integer type aadl_project.aadl:120:28
637
638
639
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
640
641
  Constant_Value Node_Id 162
  162 property value aadl_project.aadl:120:03
642
   Value_Container Node_Id 5
643
644
645
646
   Single_Value Node_Id 159
   159 signed aadlnumber aadl_project.aadl:120:43
    Number_Value Node_Id 160
    160 literal aadl_project.aadl:120:43
647
648
649
650
651
     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
652
653
654
655
 183 property type declaration aadl_project.aadl:122:03
  Identifier Node_Id 163
  163 identifier aadl_project.aadl:122:03
   Corresponding_Entity Node_Id 183
656
657
658
   Display_Name Name_Id "Size_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
659
660
661
662
663
  Property_Type_Designator Node_Id 164
  164 units type aadl_project.aadl:122:21
   Base_Identifier Node_Id 165
   165 identifier aadl_project.aadl:123:05
    Corresponding_Entity Node_Id 164
664
665
666
    Display_Name Name_Id "Bits"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
667
668
669
670
671
   Unit_Definitions List_Id 166
   167 unit definition aadl_project.aadl:124:05
    Identifier Node_Id 168
    168 identifier aadl_project.aadl:124:05
     Corresponding_Entity Node_Id 167
672
673
674
     Display_Name Name_Id "B"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
675
676
677
    Unit_Identifier Node_Id 169
    169 identifier aadl_project.aadl:124:14
     Corresponding_Entity Node_Id 164
678
679
680
     Display_Name Name_Id "Bits"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
681
682
    Numeric_Literal Node_Id 170
    170 literal aadl_project.aadl:124:22
683
     Value Value_Id 13
684
685
686
687
   171 unit definition aadl_project.aadl:125:05
    Identifier Node_Id 172
    172 identifier aadl_project.aadl:125:05
     Corresponding_Entity Node_Id 171
688
689
690
     Display_Name Name_Id "KB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
691
692
693
    Unit_Identifier Node_Id 173
    173 identifier aadl_project.aadl:125:14
     Corresponding_Entity Node_Id 164
694
695
696
     Display_Name Name_Id "B"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
697
698
    Numeric_Literal Node_Id 174
    174 literal aadl_project.aadl:125:22
699
     Value Value_Id 14
700
701
702
703
   175 unit definition aadl_project.aadl:126:05
    Identifier Node_Id 176
    176 identifier aadl_project.aadl:126:05
     Corresponding_Entity Node_Id 175
704
705
706
     Display_Name Name_Id "MB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
707
708
709
    Unit_Identifier Node_Id 177
    177 identifier aadl_project.aadl:126:14
     Corresponding_Entity Node_Id 164
710
711
712
     Display_Name Name_Id "KB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
713
714
    Numeric_Literal Node_Id 178
    178 literal aadl_project.aadl:126:22
715
     Value Value_Id 15
716
717
718
719
   179 unit definition aadl_project.aadl:127:05
    Identifier Node_Id 180
    180 identifier aadl_project.aadl:127:05
     Corresponding_Entity Node_Id 179
720
721
722
     Display_Name Name_Id "GB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
723
724
725
    Unit_Identifier Node_Id 181
    181 identifier aadl_project.aadl:127:14
     Corresponding_Entity Node_Id 164
726
727
728
     Display_Name Name_Id "MB"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
729
730
    Numeric_Literal Node_Id 182
    182 literal aadl_project.aadl:127:22
731
732
     Value Value_Id 16
   Units_Context Node_Id 0
733
734
735
736
 212 property type declaration aadl_project.aadl:129:03
  Identifier Node_Id 184
  184 identifier aadl_project.aadl:129:03
   Corresponding_Entity Node_Id 212
737
738
739
   Display_Name Name_Id "Time_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
740
741
742
743
744
  Property_Type_Designator Node_Id 185
  185 units type aadl_project.aadl:129:21
   Base_Identifier Node_Id 186
   186 identifier aadl_project.aadl:130:05
    Corresponding_Entity Node_Id 185
745
746
747
    Display_Name Name_Id "ps"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
748
749
750
751
752
   Unit_Definitions List_Id 187
   188 unit definition aadl_project.aadl:131:05
    Identifier Node_Id 189
    189 identifier aadl_project.aadl:131:05
     Corresponding_Entity Node_Id 188
753
754
755
     Display_Name Name_Id "Ns"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
756
757
758
    Unit_Identifier Node_Id 190
    190 identifier aadl_project.aadl:131:14
     Corresponding_Entity Node_Id 185
759
760
761
     Display_Name Name_Id "ps"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
762
763
    Numeric_Literal Node_Id 191
    191 literal aadl_project.aadl:131:20
764
     Value Value_Id 17
765
766
767
768
   192 unit definition aadl_project.aadl:132:05
    Identifier Node_Id 193
    193 identifier aadl_project.aadl:132:05
     Corresponding_Entity Node_Id 192
769
770
771
     Display_Name Name_Id "Us"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
772
773
774
    Unit_Identifier Node_Id 194
    194 identifier aadl_project.aadl:132:14
     Corresponding_Entity Node_Id 185
775
776
777
     Display_Name Name_Id "Ns"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
778
779
    Numeric_Literal Node_Id 195
    195 literal aadl_project.aadl:132:20
780
     Value Value_Id 18
781
782
783
784
   196 unit definition aadl_project.aadl:133:05
    Identifier Node_Id 197
    197 identifier aadl_project.aadl:133:05
     Corresponding_Entity Node_Id 196
785
786
787
     Display_Name Name_Id "Ms"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
788
789
790
    Unit_Identifier Node_Id 198
    198 identifier aadl_project.aadl:133:14
     Corresponding_Entity Node_Id 185
791
792
793
     Display_Name Name_Id "Us"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
794
795
    Numeric_Literal Node_Id 199
    199 literal aadl_project.aadl:133:20
796
     Value Value_Id 19
797
798
799
800
   200 unit definition aadl_project.aadl:134:05
    Identifier Node_Id 201
    201 identifier aadl_project.aadl:134:05
     Corresponding_Entity Node_Id 200
801
802
803
     Display_Name Name_Id "Sec"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
804
805
806
    Unit_Identifier Node_Id 202
    202 identifier aadl_project.aadl:134:14
     Corresponding_Entity Node_Id 185
807
808
809
     Display_Name Name_Id "Ms"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
810
811
    Numeric_Literal Node_Id 203
    203 literal aadl_project.aadl:134:20
812
     Value Value_Id 20
813
814
815
816
   204 unit definition aadl_project.aadl:135:05
    Identifier Node_Id 205
    205 identifier aadl_project.aadl:135:05
     Corresponding_Entity Node_Id 204
817
818
819
     Display_Name Name_Id "Min"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
820
821
822
    Unit_Identifier Node_Id 206
    206 identifier aadl_project.aadl:135:14
     Corresponding_Entity Node_Id 185
823
824
825
     Display_Name Name_Id "Sec"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
826
827
    Numeric_Literal Node_Id 207
    207 literal aadl_project.aadl:135:20
828
     Value Value_Id 21
829
830
831
832
   208 unit definition aadl_project.aadl:136:05
    Identifier Node_Id 209
    209 identifier aadl_project.aadl:136:05
     Corresponding_Entity Node_Id 208
833
834
835
     Display_Name Name_Id "Hr"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
836
837
838
    Unit_Identifier Node_Id 210
    210 identifier aadl_project.aadl:136:14
     Corresponding_Entity Node_Id 185
839
840
841
     Display_Name Name_Id "Min"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
842
843
    Numeric_Literal Node_Id 211
    211 literal aadl_project.aadl:136:20
844
845
846
847
     Value Value_Id 22
   Units_Context Node_Id 0
 Property_Set_Context Node_Id 0
 Imports_List List_Id 0
848
849
850
851
214 property set aadl_properties.aadl:9:01
 Identifier Node_Id 213
 213 identifier aadl_properties.aadl:9:14
  Corresponding_Entity Node_Id 214
852
853
854
  Display_Name Name_Id "AADL_Properties"
  Scope_Entity Node_Id 2
  Backend_Node Node_Id 0
855
856
857
858
859
860
 Entity_Scope Node_Id 215
 Declarations List_Id 225
 222 property definition declaration aadl_properties.aadl:13:03
  Identifier Node_Id 216
  216 identifier aadl_properties.aadl:13:03
   Corresponding_Entity Node_Id 222
861
   Display_Name Name_Id "Activate_Deadline"
862
   Scope_Entity Node_Id 215
863
864
865
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean FALSE
866
867
  Property_Name_Type Node_Id 224
  224 property type aadl_properties.aadl:13:03
868
   Is_List Boolean FALSE
869
870
871
872
   Property_Type_Designator Node_Id 218
   218 unique property type identifier aadl_properties.aadl:13:20
    Identifier Node_Id 217
    217 identifier aadl_properties.aadl:13:22
873
874
875
876
     Corresponding_Entity Node_Id 0
     Display_Name Name_Id "Time"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
877
    Entity Node_Id 1390
878
    Property_Set_Identifier Node_Id 0
879
880
881
882
883
884
885
886
   Expanded_Type_Designator Node_Id 1489
   1489 integer type aadl_properties.aadl:508:14
    Type_Range Node_Id 1490
    1490 number range aadl_properties.aadl:508:26
     Lower_Bound Node_Id 1491
     1491 signed aadlnumber aadl_properties.aadl:508:26
      Number_Value Node_Id 1492
      1492 literal aadl_properties.aadl:508:26
887
       Value Value_Id 52
888
889
890
      Unit_Identifier Node_Id 1384
      1384 identifier aadl_properties.aadl:508:28
       Corresponding_Entity Node_Id 186
891
892
893
       Display_Name Name_Id "ps"
       Scope_Entity Node_Id 0
       Backend_Node Node_Id 0
894
895
896
897
     Upper_Bound Node_Id 1493
     1493 signed aadlnumber aadl_project.aadl:114:48
      Number_Value Node_Id 1494
      1494 literal aadl_project.aadl:114:48
898
       Value Value_Id 53
899
900
901
      Unit_Identifier Node_Id 142
      142 identifier aadl_project.aadl:114:53
       Corresponding_Entity Node_Id 209
902
903
904
       Display_Name Name_Id "hr"
       Scope_Entity Node_Id 0
       Backend_Node Node_Id 0
905
906
907
908
    Unit_Designator Node_Id 1389
    1389 unique property type identifier aadl_properties.aadl:508:50
     Identifier Node_Id 1388
     1388 identifier aadl_properties.aadl:508:56
909
910
911
912
      Corresponding_Entity Node_Id 0
      Display_Name Name_Id "Time_Units"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
913
     Entity Node_Id 212
914
915
     Property_Set_Identifier Node_Id 0
  Default_Value Node_Id 0
916
917
  Applies_To Node_Id 223
  223 applies to aadl_properties.aadl:13:03
918
   Is_All Boolean FALSE
919
920
   Owner_Categories List_Id 220
   221 named element aadl_properties.aadl:14:15
921
922
923
924
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
925
926
927
928
 232 property definition declaration aadl_properties.aadl:17:03
  Identifier Node_Id 226
  226 identifier aadl_properties.aadl:17:03
   Corresponding_Entity Node_Id 232
929
   Display_Name Name_Id "Activate_Execution_Time"
930
   Scope_Entity Node_Id 215
931
932
933
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean FALSE
934
935
  Property_Name_Type Node_Id 234
  234 property type aadl_properties.aadl:17:03
936
   Is_List Boolean FALSE
937
938
939
940
   Property_Type_Designator Node_Id 228
   228 unique property type identifier aadl_properties.aadl:17:26
    Identifier Node_Id 227
    227 identifier aadl_properties.aadl:17:28
941
942
943
944
     Corresponding_Entity Node_Id 0
     Display_Name Name_Id "Time_Range"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
945
    Entity Node_Id 1395
946
    Property_Set_Identifier Node_Id 0
947
948
949
950
951
952
953
954
955
956
   Expanded_Type_Designator Node_Id 1495
   1495 range type aadl_properties.aadl:524:20
    Number_Type Node_Id 1496
    1496 integer type aadl_properties.aadl:508:14
     Type_Range Node_Id 1497
     1497 number range aadl_properties.aadl:508:26
      Lower_Bound Node_Id 1498
      1498 signed aadlnumber aadl_properties.aadl:508:26
       Number_Value Node_Id 1499
       1499 literal aadl_properties.aadl:508:26
957
        Value Value_Id 54
958
959
960
       Unit_Identifier Node_Id 1384
       1384 identifier aadl_properties.aadl:508:28
        Corresponding_Entity Node_Id 186
961
962
963
        Display_Name Name_Id "ps"
        Scope_Entity Node_Id 0
        Backend_Node Node_Id 0
964
965
966
967
      Upper_Bound Node_Id 1500
      1500 signed aadlnumber aadl_project.aadl:114:48
       Number_Value Node_Id 1501
       1501 literal aadl_project.aadl:114:48
968
        Value Value_Id 55
969
970
971
       Unit_Identifier Node_Id 142
       142 identifier aadl_project.aadl:114:53
        Corresponding_Entity Node_Id 209
972
973
974
        Display_Name Name_Id "hr"
        Scope_Entity Node_Id 0
        Backend_Node Node_Id 0
975
976
977
978
     Unit_Designator Node_Id 1389
     1389 unique property type identifier aadl_properties.aadl:508:50
      Identifier Node_Id 1388
      1388 identifier aadl_properties.aadl:508:56
979
980
981
982
       Corresponding_Entity Node_Id 0
       Display_Name Name_Id "Time_Units"
       Scope_Entity Node_Id 0
       Backend_Node Node_Id 0
983
      Entity Node_Id 212
984
985
      Property_Set_Identifier Node_Id 0
  Default_Value Node_Id 0
986
987
  Applies_To Node_Id 233
  233 applies to aadl_properties.aadl:17:03
988
   Is_All Boolean FALSE
989
990
   Owner_Categories List_Id 230
   231 named element aadl_properties.aadl:18:15
991
992
993
994
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
995
996
997
998
 240 property definition declaration aadl_properties.aadl:21:03
  Identifier Node_Id 235
  235 identifier aadl_properties.aadl:21:03
   Corresponding_Entity Node_Id 240
999
   Display_Name Name_Id "Activate_Entrypoint"
1000
   Scope_Entity Node_Id 215
1001
1002
1003
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean FALSE
1004
1005
  Property_Name_Type Node_Id 242
  242 property type aadl_properties.aadl:21:03
1006
   Is_List Boolean FALSE
1007
1008
1009
1010
   Property_Type_Designator Node_Id 236
   236 string type aadl_properties.aadl:21:24
   Expanded_Type_Designator Node_Id 236
   236 string type aadl_properties.aadl:21:24
1011
  Default_Value Node_Id 0
1012
1013
  Applies_To Node_Id 241
  241 applies to aadl_properties.aadl:21:03
1014
   Is_All Boolean FALSE
1015
1016
   Owner_Categories List_Id 238
   239 named element aadl_properties.aadl:22:15
1017
1018
1019
1020
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
1021
1022
1023
1024
 254 property definition declaration aadl_properties.aadl:25:03
  Identifier Node_Id 243
  243 identifier aadl_properties.aadl:25:03
   Corresponding_Entity Node_Id 254
1025
   Display_Name Name_Id "Active_Thread_Handling_Protocol"
1026
   Scope_Entity Node_Id 215
1027
1028
1029
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
1030
1031
  Property_Name_Type Node_Id 256
  256 property type aadl_properties.aadl:25:03
1032
   Is_List Boolean FALSE
1033
1034
1035
1036
   Property_Type_Designator Node_Id 245
   245 unique property type identifier aadl_properties.aadl:25:36
    Identifier Node_Id 244
    244 identifier aadl_properties.aadl:26:05
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
     Corresponding_Entity Node_Id 0
     Display_Name Name_Id "Supported_Active_Thread_Handling_Protocols"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Entity Node_Id 23
    Property_Set_Identifier Node_Id 0
   Expanded_Type_Designator Node_Id 16
   16 enumeration type aadl_project.aadl:15:52
    Identifiers List_Id 17
    18 identifier aadl_project.aadl:16:06
     Corresponding_Entity Node_Id 16
     Display_Name Name_Id "abort"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    19 identifier aadl_project.aadl:17:06
     Corresponding_Entity Node_Id 16
     Display_Name Name_Id "complete_one_flush_queue"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    20 identifier aadl_project.aadl:18:06
     Corresponding_Entity Node_Id 16
     Display_Name Name_Id "complete_one_transfer_queue"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    21 identifier aadl_project.aadl:19:06
     Corresponding_Entity Node_Id 16
     Display_Name Name_Id "complete_one_preserve_queue"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    22 identifier aadl_project.aadl:20:06
     Corresponding_Entity Node_Id 16
     Display_Name Name_Id "complete_all"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Enumeration_Context Node_Id 0
1072
1073
1074
1075
1076
1077
1078
  Default_Value Node_Id 257
  257 property value aadl_properties.aadl:25:03
   Value_Container Node_Id 214
   Single_Value Node_Id 247
   247 property term aadl_properties.aadl:27:11
    Identifier Node_Id 246
    246 identifier aadl_properties.aadl:27:12
1079
1080
1081
1082
1083
1084
1085
     Corresponding_Entity Node_Id 0
     Display_Name Name_Id "Default_Active_Thread_Handling_Protocol"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Entity Node_Id 12
    Property_Set_Identifier Node_Id 0
   Multi_Value List_Id 0
1086
1087
   Expanded_Single_Value Node_Id 1502
   1502 literal aadl_properties.aadl:27:11
1088
1089
    Value Value_Id 56
   Expanded_Multi_Value List_Id 0
1090
1091
  Applies_To Node_Id 255
  255 applies to aadl_properties.aadl:25:03
1092
   Is_All Boolean FALSE
1093
1094
   Owner_Categories List_Id 249
   250 named element aadl_properties.aadl:28:15
1095
1096
1097
1098
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
1099
   251 named element aadl_properties.aadl:28:23
1100
1101
1102
1103
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
1104
   252 named element aadl_properties.aadl:28:37
1105
1106
1107
1108
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
1109
   253 named element aadl_properties.aadl:28:46
1110
1111
1112
1113
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
1114
1115
1116
1117
 270 property definition declaration aadl_properties.aadl:31:03
  Identifier Node_Id 258
  258 identifier aadl_properties.aadl:31:03
   Corresponding_Entity Node_Id 270
1118
   Display_Name Name_Id "Active_Thread_Queue_Handling_Protocol"
1119
   Scope_Entity Node_Id 215
1120
1121
1122
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
1123
1124
  Property_Name_Type Node_Id 272
  272 property type aadl_properties.aadl:31:03
1125
   Is_List Boolean FALSE
1126
1127
1128
1129
1130
   Property_Type_Designator Node_Id 259
   259 enumeration type aadl_properties.aadl:31:50
    Identifiers List_Id 260
    261 identifier aadl_properties.aadl:32:06
     Corresponding_Entity Node_Id 259
1131
1132
1133
     Display_Name Name_Id "flush"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
1134
1135
    262 identifier aadl_properties.aadl:33:06
     Corresponding_Entity Node_Id 259
1136
1137
1138
1139
     Display_Name Name_Id "hold"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Enumeration_Context Node_Id 0
1140
1141
1142
1143
1144
   Expanded_Type_Designator Node_Id 259
   259 enumeration type aadl_properties.aadl:31:50
    Identifiers List_Id 260
    261 identifier aadl_properties.aadl:32:06
     Corresponding_Entity Node_Id 259
1145
1146
1147
     Display_Name Name_Id "flush"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
1148
1149
    262 identifier aadl_properties.aadl:33:06
     Corresponding_Entity Node_Id 259
1150
1151
1152
1153
     Display_Name Name_Id "hold"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
    Enumeration_Context Node_Id 0
1154
1155
1156
1157
1158
  Default_Value Node_Id 273
  273 property value aadl_properties.aadl:31:03
   Value_Container Node_Id 214
   Single_Value Node_Id 263
   263 literal aadl_properties.aadl:34:06
1159
1160
    Value Value_Id 23
   Multi_Value List_Id 0
1161
1162
   Expanded_Single_Value Node_Id 1503
   1503 literal aadl_properties.aadl:34:06
1163
1164
    Value Value_Id 57
   Expanded_Multi_Value List_Id 0
1165
1166
  Applies_To Node_Id 271
  271 applies to aadl_properties.aadl:31:03
1167
   Is_All Boolean FALSE
1168
1169
   Owner_Categories List_Id 265
   266 named element aadl_properties.aadl:35:15
1170
1171
1172
1173
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
1174
   267 named element aadl_properties.aadl:35:23
1175
1176
1177
1178
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
1179
   268 named element aadl_properties.aadl:35:37
1180
1181
1182
1183
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
1184
   269 named element aadl_properties.aadl:35:46
1185
1186
1187
1188
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
1189
1190
1191
1192
 288 property definition declaration aadl_properties.aadl:38:03
  Identifier Node_Id 274
  274 identifier aadl_properties.aadl:38:03
   Corresponding_Entity Node_Id 288
1193
   Display_Name Name_Id "Actual_Connection_Binding"
1194
   Scope_Entity Node_Id 215
1195
1196
1197
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
1198
1199
  Property_Name_Type Node_Id 290
  290 property type aadl_properties.aadl:38:03
1200
   Is_List Boolean TRUE
1201
1202
1203
1204
   Property_Type_Designator Node_Id 280
   280 reference type aadl_properties.aadl:38:46
    List_Items List_Id 276
    277 referable element category aadl_properties.aadl:39:06
1205
1206
1207
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 10
1208
    278 referable element category aadl_properties.aadl:40:06
1209
1210
1211
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 8
1212
    279 referable element category aadl_properties.aadl:41:06
1213
1214
1215
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 12
1216
1217
1218
1219
   Expanded_Type_Designator Node_Id 280
   280 reference type aadl_properties.aadl:38:46
    List_Items List_Id 276
    277 referable element category aadl_properties.aadl:39:06
1220
1221
1222
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 10
1223
    278 referable element category aadl_properties.aadl:40:06
1224
1225
1226
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 8
1227
    279 referable element category aadl_properties.aadl:41:06
1228
1229
1230
1231
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 12
  Default_Value Node_Id 0
1232
1233
  Applies_To Node_Id 289
  289 applies to aadl_properties.aadl:38:03
1234
   Is_All Boolean FALSE
1235
1236
   Owner_Categories List_Id 281
   282 named element aadl_properties.aadl:43:06
1237
1238
1239
1240
    Identifier Node_Id 0
    Category Byte 5
    Component_Cat Byte 14
    Classifier_Ref Node_Id 0
1241
   283 named element aadl_properties.aadl:44:06
1242
1243
1244
1245
    Identifier Node_Id 0
    Category Byte 6
    Component_Cat Byte 14
    Classifier_Ref Node_Id 0
1246
   284 named element aadl_properties.aadl:45:06
1247
1248
1249
1250
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
1251
   285 named element aadl_properties.aadl:46:06
1252
1253
1254
1255
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
1256
   286 named element aadl_properties.aadl:47:06
1257
1258
1259
1260
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
1261
   287 named element aadl_properties.aadl:48:06
1262
1263
1264
1265
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
1266
1267
1268
1269
 297 property definition declaration aadl_properties.aadl:51:03
  Identifier Node_Id 291
  291 identifier aadl_properties.aadl:51:03
   Corresponding_Entity Node_Id 297
1270
   Display_Name Name_Id "Actual_Latency"
1271
   Scope_Entity Node_Id 215
1272
1273
1274
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean FALSE
1275
1276
  Property_Name_Type Node_Id 299
  299 property type aadl_properties.aadl:51:03
1277
   Is_List Boolean FALSE
1278
1279
1280
1281
   Property_Type_Designator Node_Id 293
   293 unique property type identifier aadl_properties.aadl:51:17
    Identifier Node_Id 292
    292 identifier aadl_properties.aadl:51:19
1282
1283
1284
1285
     Corresponding_Entity Node_Id 0
     Display_Name Name_Id "Time"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
1286
    Entity Node_Id 1390
1287
    Property_Set_Identifier Node_Id 0
1288
1289
1290
1291
1292
1293
1294
1295
   Expanded_Type_Designator Node_Id 1504
   1504 integer type aadl_properties.aadl:508:14
    Type_Range Node_Id 1505
    1505 number range aadl_properties.aadl:508:26
     Lower_Bound Node_Id 1506
     1506 signed aadlnumber aadl_properties.aadl:508:26
      Number_Value Node_Id 1507
      1507 literal aadl_properties.aadl:508:26
1296
       Value Value_Id 58
1297
1298
1299
      Unit_Identifier Node_Id 1384
      1384 identifier aadl_properties.aadl:508:28
       Corresponding_Entity Node_Id 186
1300
1301
1302
       Display_Name Name_Id "ps"
       Scope_Entity Node_Id 0
       Backend_Node Node_Id 0
1303
1304
1305
1306
     Upper_Bound Node_Id 1508
     1508 signed aadlnumber aadl_project.aadl:114:48
      Number_Value Node_Id 1509
      1509 literal aadl_project.aadl:114:48
1307
       Value Value_Id 59
1308
1309
1310
      Unit_Identifier Node_Id 142
      142 identifier aadl_project.aadl:114:53
       Corresponding_Entity Node_Id 209
1311
1312
1313
       Display_Name Name_Id "hr"
       Scope_Entity Node_Id 0
       Backend_Node Node_Id 0
1314
1315
1316
1317
    Unit_Designator Node_Id 1389
    1389 unique property type identifier aadl_properties.aadl:508:50
     Identifier Node_Id 1388
     1388 identifier aadl_properties.aadl:508:56
1318
1319
1320
1321
      Corresponding_Entity Node_Id 0
      Display_Name Name_Id "Time_Units"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
1322
     Entity Node_Id 212
1323
1324
     Property_Set_Identifier Node_Id 0
  Default_Value Node_Id 0
1325
1326
  Applies_To Node_Id 298
  298 applies to aadl_properties.aadl:51:03
1327
   Is_All Boolean FALSE
1328
1329
   Owner_Categories List_Id 295
   296 named element aadl_properties.aadl:52:15
1330
1331
1332
1333
    Identifier Node_Id 0
    Category Byte 13
    Component_Cat Byte 14
    Classifier_Ref Node_Id 0
1334
1335
1336
1337
 314 property definition declaration aadl_properties.aadl:55:03
  Identifier Node_Id 300
  300 identifier aadl_properties.aadl:55:03
   Corresponding_Entity Node_Id 314
1338
   Display_Name Name_Id "Actual_Memory_Binding"
1339
   Scope_Entity Node_Id 215
1340
1341
1342
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
1343
1344
  Property_Name_Type Node_Id 316
  316 property type aadl_properties.aadl:55:03
1345
   Is_List Boolean FALSE
1346
1347
1348
1349
   Property_Type_Designator Node_Id 303
   303 reference type aadl_properties.aadl:55:34
    List_Items List_Id 301
    302 referable element category aadl_properties.aadl:55:45
1350
1351
1352
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 7
1353
1354
1355
1356
   Expanded_Type_Designator Node_Id 303
   303 reference type aadl_properties.aadl:55:34
    List_Items List_Id 301
    302 referable element category aadl_properties.aadl:55:45
1357
1358
1359
1360
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 7
  Default_Value Node_Id 0
1361
1362
  Applies_To Node_Id 315
  315 applies to aadl_properties.aadl:55:03
1363
   Is_All Boolean FALSE
1364
1365
   Owner_Categories List_Id 305
   306 named element aadl_properties.aadl:56:15
1366
1367
1368
1369
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
1370
   307 named element aadl_properties.aadl:56:23
1371
1372
1373
1374
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
1375
   308 named element aadl_properties.aadl:56:37
1376
1377
1378
1379
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
1380
   309 named element aadl_properties.aadl:56:46
1381
1382
1383
1384
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
1385
   310 named element aadl_properties.aadl:56:54
1386
1387
1388
1389
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 8
    Classifier_Ref Node_Id 0
1390
   311 named element aadl_properties.aadl:57:03
1391
1392
1393
1394
    Identifier Node_Id 0
    Category Byte 16
    Component_Cat Byte 14
    Classifier_Ref Node_Id 0
1395
   312 named element aadl_properties.aadl:57:14
1396
1397
1398
1399
    Identifier Node_Id 0
    Category Byte 17
    Component_Cat Byte 14
    Classifier_Ref Node_Id 0
1400
   313 named element aadl_properties.aadl:57:31
1401
1402
1403
1404
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 2
    Classifier_Ref Node_Id 0
1405
1406
1407
1408
 327 property definition declaration aadl_properties.aadl:60:03
  Identifier Node_Id 317
  317 identifier aadl_properties.aadl:60:03
   Corresponding_Entity Node_Id 327
1409
   Display_Name Name_Id "Actual_Processor_Binding"
1410
   Scope_Entity Node_Id 215
1411
1412
1413
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
1414
1415
  Property_Name_Type Node_Id 329
  329 property type aadl_properties.aadl:60:03
1416
   Is_List Boolean FALSE
1417
1418
1419
1420
   Property_Type_Designator Node_Id 320
   320 reference type aadl_properties.aadl:60:37
    List_Items List_Id 318
    319 referable element category aadl_properties.aadl:60:48
1421
1422
1423
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 8
1424
1425
1426
1427
   Expanded_Type_Designator Node_Id 320
   320 reference type aadl_properties.aadl:60:37
    List_Items List_Id 318
    319 referable element category aadl_properties.aadl:60:48
1428
1429
1430
1431
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 8
  Default_Value Node_Id 0
1432
1433
  Applies_To Node_Id 328
  328 applies to aadl_properties.aadl:60:03
1434
   Is_All Boolean FALSE
1435
1436
   Owner_Categories List_Id 322
   323 named element aadl_properties.aadl:61:15
1437
1438
1439
1440
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
1441
   324 named element aadl_properties.aadl:61:23
1442
1443
1444
1445
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
1446
   325 named element aadl_properties.aadl:61:37
1447
1448
1449
1450
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
1451
   326 named element aadl_properties.aadl:61:46
1452
1453
1454
1455
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
1456
1457
1458
1459
 337 property definition declaration aadl_properties.aadl:64:03
  Identifier Node_Id 330
  330 identifier aadl_properties.aadl:64:03
   Corresponding_Entity Node_Id 337
1460
   Display_Name Name_Id "Actual_Subprogram_Call"
1461
   Scope_Entity Node_Id 215
1462
1463
1464
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean FALSE
1465
1466
  Property_Name_Type Node_Id 339
  339 property type aadl_properties.aadl:64:03
1467
   Is_List Boolean FALSE
1468
1469
1470
1471
   Property_Type_Designator Node_Id 333
   333 reference type aadl_properties.aadl:64:27
    List_Items List_Id 331
    332 referable element category aadl_properties.aadl:64:38
1472
1473
1474
     Identifier Node_Id 0
     Category Byte 2
     Component_Cat Byte 14
1475
1476
1477
1478
   Expanded_Type_Designator Node_Id 333
   333 reference type aadl_properties.aadl:64:27
    List_Items List_Id 331
    332 referable element category aadl_properties.aadl:64:38
1479
1480
1481
1482
     Identifier Node_Id 0
     Category Byte 2
     Component_Cat Byte 14
  Default_Value Node_Id 0
1483
1484
  Applies_To Node_Id 338
  338 applies to aadl_properties.aadl:64:03
1485
   Is_All Boolean FALSE
1486
1487
   Owner_Categories List_Id 335
   336 named element aadl_properties.aadl:65:15
1488
1489
1490
1491
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 2
    Classifier_Ref Node_Id 0
1492
1493
1494
1495
 350 property definition declaration aadl_properties.aadl:68:03
  Identifier Node_Id 340
  340 identifier aadl_properties.aadl:68:03
   Corresponding_Entity Node_Id 350
1496
   Display_Name Name_Id "Actual_Subprogram_Call_Binding"
1497
   Scope_Entity Node_Id 215
1498
1499
1500
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
1501
1502
  Property_Name_Type Node_Id 352
  352 property type aadl_properties.aadl:68:03
1503
   Is_List Boolean TRUE
1504
1505
1506
1507
   Property_Type_Designator Node_Id 347
   347 reference type aadl_properties.aadl:68:51
    List_Items List_Id 342
    343 referable element category aadl_properties.aadl:69:06
1508
1509
1510
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 10
1511
    344 referable element category aadl_properties.aadl:70:06
1512
1513
1514
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 8
1515
    345 referable element category aadl_properties.aadl:71:06
1516
1517
1518
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 7
1519
    346 referable element category aadl_properties.aadl:72:06
1520
1521
1522
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 12
1523
1524
1525
1526
   Expanded_Type_Designator Node_Id 347
   347 reference type aadl_properties.aadl:68:51
    List_Items List_Id 342
    343 referable element category aadl_properties.aadl:69:06
1527
1528
1529
     Identifier Node_Id 0
     Category Byte 0
     Component_Cat Byte 10