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