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