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