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