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