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