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