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