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