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