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