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
    Numeric_Literal Node_Id 249
    249 literal aadl_project.aadl:120:14
     Value Value_Id 21
For faster browsing, not all history is shown. View entire blame