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
1001
   252 unit definition aadl_project.aadl:163:05
    Identifier Node_Id 253
    253 identifier aadl_project.aadl:163:05
     Corresponding_Entity Node_Id 252
1002
1003
1004
     Display_Name Name_Id "min"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1005
1006
1007
    Unit_Identifier Node_Id 254
    254 identifier aadl_project.aadl:163:12
     Corresponding_Entity Node_Id 233
1008
1009
1010
     Display_Name Name_Id "sec"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1011
1012
    Numeric_Literal Node_Id 255
    255 literal aadl_project.aadl:163:18
1013
     Value Value_Id 27
hugues.jerome's avatar
hugues.jerome committed
1014
1015
1016
1017
   256 unit definition aadl_project.aadl:164:05
    Identifier Node_Id 257
    257 identifier aadl_project.aadl:164:05
     Corresponding_Entity Node_Id 256
1018
1019
1020
     Display_Name Name_Id "hr"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1021
1022
1023
    Unit_Identifier Node_Id 258
    258 identifier aadl_project.aadl:164:12
     Corresponding_Entity Node_Id 233
1024
1025
1026
     Display_Name Name_Id "min"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1027
1028
    Numeric_Literal Node_Id 259
    259 literal aadl_project.aadl:164:18
1029
1030
1031
1032
     Value Value_Id 28
   Units_Context Node_Id 0
 Property_Set_Context Node_Id 0
 Imports_List List_Id 0
hugues.jerome's avatar
hugues.jerome committed
1033
1034
1035
1036
262 property set deployment_properties.aadl:9:01
 Identifier Node_Id 261
 261 identifier deployment_properties.aadl:9:14
  Corresponding_Entity Node_Id 262
1037
1038
1039
  Display_Name Name_Id "Deployment_Properties"
  Scope_Entity Node_Id 2
  Backend_Node Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1040
1041
1042
1043
1044
1045
 Entity_Scope Node_Id 263
 Declarations List_Id 274
 271 property definition declaration deployment_properties.aadl:13:03
  Identifier Node_Id 264
  264 identifier deployment_properties.aadl:13:03
   Corresponding_Entity Node_Id 271
hugues.jerome's avatar
hugues.jerome committed
1046
   Display_Name Name_Id "Device_Driver"
hugues.jerome's avatar
hugues.jerome committed
1047
   Scope_Entity Node_Id 263
hugues.jerome's avatar
hugues.jerome committed
1048
1049
1050
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean FALSE
hugues.jerome's avatar
hugues.jerome committed
1051
1052
  Property_Name_Type Node_Id 273
  273 property type deployment_properties.aadl:13:03
hugues.jerome's avatar
hugues.jerome committed
1053
   Is_List Boolean FALSE
hugues.jerome's avatar
hugues.jerome committed
1054
1055
1056
1057
   Property_Type_Designator Node_Id 267
   267 classifier type deployment_properties.aadl:13:18
    List_Items List_Id 265
    266 classifier category ref deployment_properties.aadl:13:30
hugues.jerome's avatar
hugues.jerome committed
1058
1059
1060
1061
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 0
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1062
1063
1064
1065
   Expanded_Type_Designator Node_Id 267
   267 classifier type deployment_properties.aadl:13:18
    List_Items List_Id 265
    266 classifier category ref deployment_properties.aadl:13:30
hugues.jerome's avatar
hugues.jerome committed
1066
1067
1068
1069
1070
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 0
     Classifier_Ref Node_Id 0
  Default_Value Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1071
1072
  Applies_To Node_Id 272
  272 applies to deployment_properties.aadl:13:03
hugues.jerome's avatar
hugues.jerome committed
1073
   Is_All Boolean FALSE
hugues.jerome's avatar
hugues.jerome committed
1074
1075
   Owner_Categories List_Id 269
   270 named element deployment_properties.aadl:13:52
hugues.jerome's avatar
hugues.jerome committed
1076
1077
1078
1079
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 12
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1080
1081
1082
1083
 289 property definition declaration deployment_properties.aadl:15:03
  Identifier Node_Id 275
  275 identifier deployment_properties.aadl:15:03
   Corresponding_Entity Node_Id 289
1084
   Display_Name Name_Id "Allowed_Processor_Binding_Class"
hugues.jerome's avatar
hugues.jerome committed
1085
   Scope_Entity Node_Id 263
1086
1087
1088
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1089
1090
  Property_Name_Type Node_Id 291
  291 property type deployment_properties.aadl:15:03
1091
   Is_List Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1092
1093
1094
1095
   Property_Type_Designator Node_Id 281
   281 classifier type deployment_properties.aadl:16:26
    List_Items List_Id 277
    278 classifier category ref deployment_properties.aadl:16:38
1096
1097
1098
1099
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1100
    279 classifier category ref deployment_properties.aadl:17:38
1101
1102
1103
1104
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 9
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1105
    280 classifier category ref deployment_properties.aadl:18:38
1106
1107
1108
1109
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 13
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1110
1111
1112
1113
   Expanded_Type_Designator Node_Id 281
   281 classifier type deployment_properties.aadl:16:26
    List_Items List_Id 277
    278 classifier category ref deployment_properties.aadl:16:38
1114
1115
1116
1117
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1118
    279 classifier category ref deployment_properties.aadl:17:38
1119
1120
1121
1122
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 9
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1123
    280 classifier category ref deployment_properties.aadl:18:38
1124
1125
1126
1127
1128
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 13
     Classifier_Ref Node_Id 0
  Default_Value Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1129
1130
  Applies_To Node_Id 290
  290 applies to deployment_properties.aadl:15:03
1131
   Is_All Boolean FALSE
hugues.jerome's avatar
hugues.jerome committed
1132
1133
   Owner_Categories List_Id 282
   283 named element deployment_properties.aadl:19:15
1134
1135
1136
1137
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1138
   284 named element deployment_properties.aadl:20:15
1139
1140
1141
1142
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1143
   285 named element deployment_properties.aadl:21:15
1144
1145
1146
1147
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1148
   286 named element deployment_properties.aadl:22:15
1149
1150
1151
1152
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1153
   287 named element deployment_properties.aadl:23:15
1154
1155
1156
1157
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 9
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1158
   288 named element deployment_properties.aadl:24:15
1159
1160
1161
1162
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 12
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1163
1164
1165
1166
 306 property definition declaration deployment_properties.aadl:27:03
  Identifier Node_Id 292
  292 identifier deployment_properties.aadl:27:03
   Corresponding_Entity Node_Id 306
1167
   Display_Name Name_Id "Allowed_Processor_Binding"
hugues.jerome's avatar
hugues.jerome committed
1168
   Scope_Entity Node_Id 263
1169
1170
1171
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1172
1173
  Property_Name_Type Node_Id 308
  308 property type deployment_properties.aadl:27:03
1174
   Is_List Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1175
1176
1177
1178
   Property_Type_Designator Node_Id 298
   298 reference type deployment_properties.aadl:28:26
    List_Items List_Id 294
    295 reference category deployment_properties.aadl:28:37
1179
1180
1181
1182
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1183
    296 reference category deployment_properties.aadl:29:37
1184
1185
1186
1187
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 9
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1188
    297 reference category deployment_properties.aadl:30:37
1189
1190
1191
1192
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 13
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1193
1194
1195
1196
   Expanded_Type_Designator Node_Id 298
   298 reference type deployment_properties.aadl:28:26
    List_Items List_Id 294
    295 reference category deployment_properties.aadl:28:37
1197
1198
1199
1200
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1201
    296 reference category deployment_properties.aadl:29:37
1202
1203
1204
1205
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 9
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1206
    297 reference category deployment_properties.aadl:30:37
1207
1208
1209
1210
1211
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 13
     Classifier_Ref Node_Id 0
  Default_Value Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1212
1213
  Applies_To Node_Id 307
  307 applies to deployment_properties.aadl:27:03
1214
   Is_All Boolean FALSE
hugues.jerome's avatar
hugues.jerome committed
1215
1216
   Owner_Categories List_Id 299
   300 named element deployment_properties.aadl:31:15
1217
1218
1219
1220
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1221
   301 named element deployment_properties.aadl:32:15
1222
1223
1224
1225
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1226
   302 named element deployment_properties.aadl:33:15
1227
1228
1229
1230
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1231
   303 named element deployment_properties.aadl:34:15
1232
1233
1234
1235
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1236
   304 named element deployment_properties.aadl:35:15
1237
1238
1239
1240
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 9
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1241
   305 named element deployment_properties.aadl:36:15
1242
1243
1244
1245
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 12
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1246
1247
1248
1249
 322 property definition declaration deployment_properties.aadl:39:03
  Identifier Node_Id 309
  309 identifier deployment_properties.aadl:39:03
   Corresponding_Entity Node_Id 322
1250
   Display_Name Name_Id "Actual_Processor_Binding"
hugues.jerome's avatar
hugues.jerome committed
1251
   Scope_Entity Node_Id 263
1252
1253
1254
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1255
1256
  Property_Name_Type Node_Id 324
  324 property type deployment_properties.aadl:39:03
1257
   Is_List Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1258
1259
1260
1261
   Property_Type_Designator Node_Id 314
   314 reference type deployment_properties.aadl:40:25
    List_Items List_Id 311
    312 reference category deployment_properties.aadl:40:36
1262
1263
1264
1265
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1266
    313 reference category deployment_properties.aadl:41:36
1267
1268
1269
1270
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 9
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1271
1272
1273
1274
   Expanded_Type_Designator Node_Id 314
   314 reference type deployment_properties.aadl:40:25
    List_Items List_Id 311
    312 reference category deployment_properties.aadl:40:36
1275
1276
1277
1278
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1279
    313 reference category deployment_properties.aadl:41:36
1280
1281
1282
1283
1284
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 9
     Classifier_Ref Node_Id 0
  Default_Value Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1285
1286
  Applies_To Node_Id 323
  323 applies to deployment_properties.aadl:39:03
1287
   Is_All Boolean FALSE
hugues.jerome's avatar
hugues.jerome committed
1288
1289
   Owner_Categories List_Id 315
   316 named element deployment_properties.aadl:42:15
1290
1291
1292
1293
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1294
   317 named element deployment_properties.aadl:43:15
1295
1296
1297
1298
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1299
   318 named element deployment_properties.aadl:44:15
1300
1301
1302
1303
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1304
   319 named element deployment_properties.aadl:45:15
1305
1306
1307
1308
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1309
   320 named element deployment_properties.aadl:46:15
1310
1311
1312
1313
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 9
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1314
   321 named element deployment_properties.aadl:47:15
1315
1316
1317
1318
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 12
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1319
1320
1321
1322
 343 property definition declaration deployment_properties.aadl:50:03
  Identifier Node_Id 325
  325 identifier deployment_properties.aadl:50:03
   Corresponding_Entity Node_Id 343
1323
   Display_Name Name_Id "Allowed_Memory_Binding_Class"
hugues.jerome's avatar
hugues.jerome committed
1324
   Scope_Entity Node_Id 263
1325
1326
1327
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1328
1329
  Property_Name_Type Node_Id 345
  345 property type deployment_properties.aadl:50:03
1330
   Is_List Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1331
1332
1333
1334
   Property_Type_Designator Node_Id 331
   331 classifier type deployment_properties.aadl:51:26
    List_Items List_Id 327
    328 classifier category ref deployment_properties.aadl:51:38
1335
1336
1337
1338
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 7
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1339
    329 classifier category ref deployment_properties.aadl:52:38
1340
1341
1342
1343
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 13
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1344
    330 classifier category ref deployment_properties.aadl:53:38
1345
1346
1347
1348
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1349
1350
1351
1352
   Expanded_Type_Designator Node_Id 331
   331 classifier type deployment_properties.aadl:51:26
    List_Items List_Id 327
    328 classifier category ref deployment_properties.aadl:51:38
1353
1354
1355
1356
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 7
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1357
    329 classifier category ref deployment_properties.aadl:52:38
1358
1359
1360
1361
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 13
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1362
    330 classifier category ref deployment_properties.aadl:53:38
1363
1364
1365
1366
1367
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
  Default_Value Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1368
1369
  Applies_To Node_Id 344
  344 applies to deployment_properties.aadl:50:03
1370
   Is_All Boolean FALSE
hugues.jerome's avatar
hugues.jerome committed
1371
1372
   Owner_Categories List_Id 332
   333 named element deployment_properties.aadl:54:15
1373
1374
1375
1376
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1377
   334 named element deployment_properties.aadl:55:15
1378
1379
1380
1381
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1382
   335 named element deployment_properties.aadl:56:15
1383
1384
1385
1386
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1387
   336 named element deployment_properties.aadl:57:15
1388
1389
1390
1391
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1392
   337 named element deployment_properties.aadl:58:15
1393
1394
1395
1396
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 12
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1397
   338 named element deployment_properties.aadl:59:15
1398
1399
1400
1401
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 1
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1402
   339 named element deployment_properties.aadl:60:15
1403
1404
1405
1406
    Identifier Node_Id 0
    Category Byte 16
    Component_Cat Byte 14
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1407
   340 named element deployment_properties.aadl:61:15
1408
1409
1410
1411
    Identifier Node_Id 0
    Category Byte 17
    Component_Cat Byte 14
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1412
   341 named element deployment_properties.aadl:62:15
1413
1414
1415
1416
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 2
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1417
   342 named element deployment_properties.aadl:63:15
1418
1419
1420
1421
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 8
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1422
1423
1424
1425
 364 property definition declaration deployment_properties.aadl:66:03
  Identifier Node_Id 346
  346 identifier deployment_properties.aadl:66:03
   Corresponding_Entity Node_Id 364
1426
   Display_Name Name_Id "Allowed_Memory_Binding"
hugues.jerome's avatar
hugues.jerome committed
1427
   Scope_Entity Node_Id 263
1428
1429
1430
   Backend_Node Node_Id 0
  Is_Access Boolean FALSE
  Is_Inherit Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1431
1432
  Property_Name_Type Node_Id 366
  366 property type deployment_properties.aadl:66:03
1433
   Is_List Boolean TRUE
hugues.jerome's avatar
hugues.jerome committed
1434
1435
1436
1437
   Property_Type_Designator Node_Id 352
   352 reference type deployment_properties.aadl:67:26
    List_Items List_Id 348
    349 reference category deployment_properties.aadl:67:37
1438
1439
1440
1441
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 7
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1442
    350 reference category deployment_properties.aadl:68:37
1443
1444
1445
1446
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 13
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1447
    351 reference category deployment_properties.aadl:69:37
1448
1449
1450
1451
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1452
1453
1454
1455
   Expanded_Type_Designator Node_Id 352
   352 reference type deployment_properties.aadl:67:26
    List_Items List_Id 348
    349 reference category deployment_properties.aadl:67:37
1456
1457
1458
1459
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 7
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1460
    350 reference category deployment_properties.aadl:68:37
1461
1462
1463
1464
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 13
     Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1465
    351 reference category deployment_properties.aadl:69:37
1466
1467
1468
1469
1470
     Identifier Node_Id 0
     Category Byte 11
     Component_Cat Byte 8
     Classifier_Ref Node_Id 0
  Default_Value Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1471
1472
  Applies_To Node_Id 365
  365 applies to deployment_properties.aadl:66:03
1473
   Is_All Boolean FALSE
hugues.jerome's avatar
hugues.jerome committed
1474
1475
   Owner_Categories List_Id 353
   354 named element deployment_properties.aadl:70:15
1476
1477
1478
1479
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 4
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1480
   355 named element deployment_properties.aadl:71:15
1481
1482
1483
1484
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 5
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1485
   356 named element deployment_properties.aadl:72:15
1486
1487
1488
1489
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 6
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1490
   357 named element deployment_properties.aadl:73:15
1491
1492
1493
1494
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 13
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1495
   358 named element deployment_properties.aadl:74:15
1496
1497
1498
1499
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 12
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1500
   359 named element deployment_properties.aadl:75:15
1501
1502
1503
1504
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 1
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1505
   360 named element deployment_properties.aadl:76:15
1506
1507
1508
1509
    Identifier Node_Id 0
    Category Byte 16
    Component_Cat Byte 14
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1510
   361 named element deployment_properties.aadl:77:15
1511
1512
1513
1514
    Identifier Node_Id 0
    Category Byte 17
    Component_Cat Byte 14
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed
1515
   362 named element deployment_properties.aadl:78:15
1516
1517
1518
1519
    Identifier Node_Id 0
    Category Byte 11
    Component_Cat Byte 2
    Classifier_Ref Node_Id 0
hugues.jerome's avatar
hugues.jerome committed