test.aadl.out 384 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
316
 107 property type declaration aadl_project.aadl:89:03
317
318
  Identifier Node_Id 84
  84 identifier aadl_project.aadl:89:03
319
   Corresponding_Entity Node_Id 107
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
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
   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
    Display_Name Name_Id "Esterel"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   93 identifier aadl_project.aadl:96:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Lustre"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   94 identifier aadl_project.aadl:97:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Lustre5"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   95 identifier aadl_project.aadl:98:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Lustre6"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   96 identifier aadl_project.aadl:99:06
    Corresponding_Entity Node_Id 85
373
    Display_Name Name_Id "RTDS"
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
378
    Display_Name Name_Id "SDL_RTDS"
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
383
    Display_Name Name_Id "RTSJ"
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
388
    Display_Name Name_Id "SCADE6"
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
393
    Display_Name Name_Id "SDL"
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
398
    Display_Name Name_Id "SDL_ObjectGeode"
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
403
    Display_Name Name_Id "Scade"
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
408
    Display_Name Name_Id "Simulink"
409
410
411
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   104 identifier aadl_project.aadl:107:06
412
413
414
415
416
417
418
419
420
421
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "Simulink_6_5"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   105 identifier aadl_project.aadl:108:06
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "System_C"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   106 identifier aadl_project.aadl:109:06
422
423
424
425
    Corresponding_Entity Node_Id 85
    Display_Name Name_Id "VHDL"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
426
   Enumeration_Context Node_Id 0
427
428
429
430
 112 property type declaration aadl_project.aadl:111:03
  Identifier Node_Id 108
  108 identifier aadl_project.aadl:111:03
   Corresponding_Entity Node_Id 112
431
432
433
   Display_Name Name_Id "Supported_Distributions"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
434
435
436
437
438
  Property_Type_Designator Node_Id 109
  109 enumeration type aadl_project.aadl:111:33
   Identifiers List_Id 110
   111 identifier aadl_project.aadl:111:46
    Corresponding_Entity Node_Id 109
439
440
441
442
    Display_Name Name_Id "Fixed"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
   Enumeration_Context Node_Id 0
443
444
445
446
 140 property type declaration aadl_project.aadl:115:03
  Identifier Node_Id 113
  113 identifier aadl_project.aadl:115:03
   Corresponding_Entity Node_Id 140
447
448
449
   Display_Name Name_Id "Data_Volume"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
450
451
452
453
454
455
456
457
  Property_Type_Designator Node_Id 114
  114 integer type aadl_project.aadl:115:21
   Type_Range Node_Id 120
   120 number range aadl_project.aadl:115:33
    Lower_Bound Node_Id 115
    115 signed aadlnumber aadl_project.aadl:115:33
     Number_Value Node_Id 116
     116 literal aadl_project.aadl:115:33
458
      Value Value_Id 3
459
460
461
     Unit_Identifier Node_Id 117
     117 identifier aadl_project.aadl:115:35
      Corresponding_Entity Node_Id 122
462
463
464
      Display_Name Name_Id "bitsps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
465
466
467
468
    Upper_Bound Node_Id 119
    119 property term aadl_project.aadl:115:42
     Identifier Node_Id 118
     118 identifier aadl_project.aadl:115:45
469
470
471
472
      Corresponding_Entity Node_Id 0
      Display_Name Name_Id "Max_Aadlinteger"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
473
     Entity Node_Id 145
474
     Property_Set_Identifier Node_Id 0
475
476
477
478
479
   Unit_Designator Node_Id 121
   121 units type aadl_project.aadl:116:03
    Base_Identifier Node_Id 122
    122 identifier aadl_project.aadl:116:11
     Corresponding_Entity Node_Id 121
480
481
482
     Display_Name Name_Id "bitsps"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
483
484
485
486
487
    Unit_Definitions List_Id 123
    124 unit definition aadl_project.aadl:117:11
     Identifier Node_Id 125
     125 identifier aadl_project.aadl:117:11
      Corresponding_Entity Node_Id 124
488
489
490
      Display_Name Name_Id "Bytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
491
492
493
     Unit_Identifier Node_Id 126
     126 identifier aadl_project.aadl:117:22
      Corresponding_Entity Node_Id 121
494
495
496
      Display_Name Name_Id "bitsps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
497
498
     Numeric_Literal Node_Id 127
     127 literal aadl_project.aadl:117:31
499
      Value Value_Id 4
500
501
502
503
    128 unit definition aadl_project.aadl:118:11
     Identifier Node_Id 129
     129 identifier aadl_project.aadl:118:11
      Corresponding_Entity Node_Id 128
504
505
506
      Display_Name Name_Id "KBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
507
508
509
     Unit_Identifier Node_Id 130
     130 identifier aadl_project.aadl:118:23
      Corresponding_Entity Node_Id 121
510
511
512
      Display_Name Name_Id "Bytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
513
514
     Numeric_Literal Node_Id 131
     131 literal aadl_project.aadl:118:33
515
      Value Value_Id 5
516
517
518
519
    132 unit definition aadl_project.aadl:119:11
     Identifier Node_Id 133
     133 identifier aadl_project.aadl:119:11
      Corresponding_Entity Node_Id 132
520
521
522
      Display_Name Name_Id "MBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
523
524
525
     Unit_Identifier Node_Id 134
     134 identifier aadl_project.aadl:119:23
      Corresponding_Entity Node_Id 121
526
527
528
      Display_Name Name_Id "KBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
529
530
     Numeric_Literal Node_Id 135
     135 literal aadl_project.aadl:119:34
531
      Value Value_Id 6
532
533
534
535
    136 unit definition aadl_project.aadl:120:11
     Identifier Node_Id 137
     137 identifier aadl_project.aadl:120:11
      Corresponding_Entity Node_Id 136
536
537
538
      Display_Name Name_Id "GBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
539
540
541
     Unit_Identifier Node_Id 138
     138 identifier aadl_project.aadl:120:23
      Corresponding_Entity Node_Id 121
542
543
544
      Display_Name Name_Id "MBytesps"
      Scope_Entity Node_Id 0
      Backend_Node Node_Id 0
545
546
     Numeric_Literal Node_Id 139
     139 literal aadl_project.aadl:120:34
547
548
      Value Value_Id 7
    Units_Context Node_Id 0
549
550
551
552
 145 constant property declaration aadl_project.aadl:126:03
  Identifier Node_Id 141
  141 identifier aadl_project.aadl:126:03
   Corresponding_Entity Node_Id 145
553
554
555
   Display_Name Name_Id "Max_Aadlinteger"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
556
557
  Constant_Type Node_Id 142
  142 integer type aadl_project.aadl:126:29
558
559
560
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
561
562
  Constant_Value Node_Id 146
  146 property value aadl_project.aadl:126:03
563
   Value_Container Node_Id 5
564
565
566
567
   Single_Value Node_Id 143
   143 signed aadlnumber aadl_project.aadl:126:44
    Number_Value Node_Id 144
    144 literal aadl_project.aadl:126:44
568
569
570
571
572
     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
573
574
575
576
 151 constant property declaration aadl_project.aadl:128:03
  Identifier Node_Id 147
  147 identifier aadl_project.aadl:128:03
   Corresponding_Entity Node_Id 151
577
578
579
   Display_Name Name_Id "Max_Target_Integer"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
580
581
  Constant_Type Node_Id 148
  148 integer type aadl_project.aadl:128:32
582
583
584
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
585
586
  Constant_Value Node_Id 152
  152 property value aadl_project.aadl:128:03
587
   Value_Container Node_Id 5
588
589
590
591
   Single_Value Node_Id 149
   149 signed aadlnumber aadl_project.aadl:128:47
    Number_Value Node_Id 150
    150 literal aadl_project.aadl:128:47
592
593
594
595
596
     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
597
598
599
600
 157 constant property declaration aadl_project.aadl:130:03
  Identifier Node_Id 153
  153 identifier aadl_project.aadl:130:03
   Corresponding_Entity Node_Id 157
601
602
603
   Display_Name Name_Id "Max_Base_Address"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
604
605
  Constant_Type Node_Id 154
  154 integer type aadl_project.aadl:130:30
606
607
608
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
609
610
  Constant_Value Node_Id 158
  158 property value aadl_project.aadl:130:03
611
   Value_Container Node_Id 5
612
613
614
615
   Single_Value Node_Id 155
   155 signed aadlnumber aadl_project.aadl:130:45
    Number_Value Node_Id 156
    156 literal aadl_project.aadl:130:45
616
617
618
619
620
     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
621
622
623
624
 165 constant property declaration aadl_project.aadl:132:03
  Identifier Node_Id 159
  159 identifier aadl_project.aadl:132:03
   Corresponding_Entity Node_Id 165
625
626
627
   Display_Name Name_Id "Max_Memory_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
628
629
630
631
632
  Constant_Type Node_Id 161
  161 unique property type identifier aadl_project.aadl:132:20
   Identifier Node_Id 160
   160 identifier aadl_project.aadl:132:29
    Corresponding_Entity Node_Id 1105
633
634
635
    Display_Name Name_Id "Size"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
636
   Entity Node_Id 1105
637
638
   Property_Set_Identifier Node_Id 0
  Unique_Unit_Identifier Node_Id 0
639
640
  Constant_Value Node_Id 166
  166 property value aadl_project.aadl:132:03
641
   Value_Container Node_Id 5
642
643
644
645
   Single_Value Node_Id 162
   162 signed aadlnumber aadl_project.aadl:132:37
    Number_Value Node_Id 163
    163 literal aadl_project.aadl:132:37
646
     Value Value_Id 11
647
648
649
    Unit_Identifier Node_Id 164
    164 identifier aadl_project.aadl:132:45
     Corresponding_Entity Node_Id 210
650
651
652
653
654
655
     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
656
657
658
659
 171 constant property declaration aadl_project.aadl:134:03
  Identifier Node_Id 167
  167 identifier aadl_project.aadl:134:03
   Corresponding_Entity Node_Id 171
660
661
662
   Display_Name Name_Id "Max_Queue_Size"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
663
664
  Constant_Type Node_Id 168
  168 integer type aadl_project.aadl:134:28
665
666
667
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
668
669
  Constant_Value Node_Id 172
  172 property value aadl_project.aadl:134:03
670
   Value_Container Node_Id 5
671
672
673
674
   Single_Value Node_Id 169
   169 signed aadlnumber aadl_project.aadl:134:43
    Number_Value Node_Id 170
    170 literal aadl_project.aadl:134:43
675
676
677
678
679
     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
680
681
682
683
 177 constant property declaration aadl_project.aadl:136:03
  Identifier Node_Id 173
  173 identifier aadl_project.aadl:136:03
   Corresponding_Entity Node_Id 177
684
685
686
   Display_Name Name_Id "Max_Thread_Limit"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
687
688
  Constant_Type Node_Id 174
  174 integer type aadl_project.aadl:136:30
689
690
691
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
692
693
  Constant_Value Node_Id 178
  178 property value aadl_project.aadl:136:03
694
   Value_Container Node_Id 5
695
696
697
698
   Single_Value Node_Id 175
   175 signed aadlnumber aadl_project.aadl:136:45
    Number_Value Node_Id 176
    176 literal aadl_project.aadl:136:45
699
700
701
702
703
     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
704
705
706
707
 185 constant property declaration aadl_project.aadl:138:03
  Identifier Node_Id 179
  179 identifier aadl_project.aadl:138:03
   Corresponding_Entity Node_Id 185
708
709
710
   Display_Name Name_Id "Max_Time"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
711
712
713
714
715
  Constant_Type Node_Id 181
  181 unique property type identifier aadl_project.aadl:138:13
   Identifier Node_Id 180
   180 identifier aadl_project.aadl:138:22
    Corresponding_Entity Node_Id 1346
716
717
718
    Display_Name Name_Id "Time"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
719
   Entity Node_Id 1346
720
721
   Property_Set_Identifier Node_Id 0
  Unique_Unit_Identifier Node_Id 0
722
723
  Constant_Value Node_Id 186
  186 property value aadl_project.aadl:138:03
724
   Value_Container Node_Id 5
725
726
727
728
   Single_Value Node_Id 182
   182 signed aadlnumber aadl_project.aadl:138:30
    Number_Value Node_Id 183
    183 literal aadl_project.aadl:138:30
729
     Value Value_Id 14
730
731
732
    Unit_Identifier Node_Id 184
    184 identifier aadl_project.aadl:138:35
     Corresponding_Entity Node_Id 255
733
734
735
736
737
738
     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
739
740
741
742
 191 constant property declaration aadl_project.aadl:140:03
  Identifier Node_Id 187
  187 identifier aadl_project.aadl:140:03
   Corresponding_Entity Node_Id 191
743
744
745
   Display_Name Name_Id "Max_Urgency"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
746
747
  Constant_Type Node_Id 188
  188 integer type aadl_project.aadl:140:25
748
749
750
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
751
752
  Constant_Value Node_Id 192
  192 property value aadl_project.aadl:140:03
753
   Value_Container Node_Id 5
754
755
756
757
   Single_Value Node_Id 189
   189 signed aadlnumber aadl_project.aadl:140:40
    Number_Value Node_Id 190
    190 literal aadl_project.aadl:140:40
758
759
760
761
762
     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
763
764
765
766
 197 constant property declaration aadl_project.aadl:142:03
  Identifier Node_Id 193
  193 identifier aadl_project.aadl:142:03
   Corresponding_Entity Node_Id 197
767
768
769
   Display_Name Name_Id "Max_Word_Count"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
770
771
  Constant_Type Node_Id 194
  194 integer type aadl_project.aadl:142:28
772
773
774
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
775
776
  Constant_Value Node_Id 198
  198 property value aadl_project.aadl:142:03
777
   Value_Container Node_Id 5
778
779
780
781
   Single_Value Node_Id 195
   195 signed aadlnumber aadl_project.aadl:142:43
    Number_Value Node_Id 196
    196 literal aadl_project.aadl:142:43
782
783
784
785
786
     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
787
788
789
790
 203 constant property declaration aadl_project.aadl:144:03
  Identifier Node_Id 199
  199 identifier aadl_project.aadl:144:03
   Corresponding_Entity Node_Id 203
791
792
793
   Display_Name Name_Id "Max_Word_Space"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
794
795
  Constant_Type Node_Id 200
  200 integer type aadl_project.aadl:144:28
796
797
798
   Type_Range Node_Id 0
   Unit_Designator Node_Id 0
  Unique_Unit_Identifier Node_Id 0
799
800
  Constant_Value Node_Id 204
  204 property value aadl_project.aadl:144:03
801
   Value_Container Node_Id 5
802
803
804
805
   Single_Value Node_Id 201
   201 signed aadlnumber aadl_project.aadl:144:43
    Number_Value Node_Id 202
    202 literal aadl_project.aadl:144:43
806
807
808
809
810
     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
811
812
813
814
 229 property type declaration aadl_project.aadl:146:03
  Identifier Node_Id 205
  205 identifier aadl_project.aadl:146:03
   Corresponding_Entity Node_Id 229
815
816
817
   Display_Name Name_Id "Size_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
818
819
820
821
822
  Property_Type_Designator Node_Id 206
  206 units type aadl_project.aadl:146:20
   Base_Identifier Node_Id 207
   207 identifier aadl_project.aadl:147:05
    Corresponding_Entity Node_Id 206
823
824
825
    Display_Name Name_Id "bits"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
826
827
828
829
830
   Unit_Definitions List_Id 208
   209 unit definition aadl_project.aadl:148:05
    Identifier Node_Id 210
    210 identifier aadl_project.aadl:148:05
     Corresponding_Entity Node_Id 209
831
832
833
     Display_Name Name_Id "Bytes"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
834
835
836
    Unit_Identifier Node_Id 211
    211 identifier aadl_project.aadl:148:15
     Corresponding_Entity Node_Id 206
837
838
839
     Display_Name Name_Id "bits"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
840
841
    Numeric_Literal Node_Id 212
    212 literal aadl_project.aadl:148:23
842
     Value Value_Id 18
843
844
845
846
   213 unit definition aadl_project.aadl:149:05
    Identifier Node_Id 214
    214 identifier aadl_project.aadl:149:05
     Corresponding_Entity Node_Id 213
847
848
849
     Display_Name Name_Id "KByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
850
851
852
    Unit_Identifier Node_Id 215
    215 identifier aadl_project.aadl:149:15
     Corresponding_Entity Node_Id 206
853
854
855
     Display_Name Name_Id "Bytes"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
856
857
    Numeric_Literal Node_Id 216
    216 literal aadl_project.aadl:149:23
858
     Value Value_Id 19
859
860
861
862
   217 unit definition aadl_project.aadl:150:05
    Identifier Node_Id 218
    218 identifier aadl_project.aadl:150:05
     Corresponding_Entity Node_Id 217
863
864
865
     Display_Name Name_Id "MByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
866
867
868
    Unit_Identifier Node_Id 219
    219 identifier aadl_project.aadl:150:15
     Corresponding_Entity Node_Id 206
869
870
871
     Display_Name Name_Id "KByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
872
873
    Numeric_Literal Node_Id 220
    220 literal aadl_project.aadl:150:23
874
     Value Value_Id 20
875
876
877
878
   221 unit definition aadl_project.aadl:151:05
    Identifier Node_Id 222
    222 identifier aadl_project.aadl:151:05
     Corresponding_Entity Node_Id 221
879
880
881
     Display_Name Name_Id "GByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
882
883
884
    Unit_Identifier Node_Id 223
    223 identifier aadl_project.aadl:151:15
     Corresponding_Entity Node_Id 206
885
886
887
     Display_Name Name_Id "MByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
888
889
    Numeric_Literal Node_Id 224
    224 literal aadl_project.aadl:151:23
890
     Value Value_Id 21
891
892
893
894
   225 unit definition aadl_project.aadl:152:05
    Identifier Node_Id 226
    226 identifier aadl_project.aadl:152:05
     Corresponding_Entity Node_Id 225
895
896
897
     Display_Name Name_Id "TByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
898
899
900
    Unit_Identifier Node_Id 227
    227 identifier aadl_project.aadl:152:15
     Corresponding_Entity Node_Id 206
901
902
903
     Display_Name Name_Id "GByte"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
904
905
    Numeric_Literal Node_Id 228
    228 literal aadl_project.aadl:152:23
906
907
     Value Value_Id 22
   Units_Context Node_Id 0
908
909
910
911
 258 property type declaration aadl_project.aadl:155:03
  Identifier Node_Id 230
  230 identifier aadl_project.aadl:155:03
   Corresponding_Entity Node_Id 258
912
913
914
   Display_Name Name_Id "Time_Units"
   Scope_Entity Node_Id 6
   Backend_Node Node_Id 0
915
916
917
918
919
  Property_Type_Designator Node_Id 231
  231 units type aadl_project.aadl:155:20
   Base_Identifier Node_Id 232
   232 identifier aadl_project.aadl:156:05
    Corresponding_Entity Node_Id 231
920
921
922
    Display_Name Name_Id "ps"
    Scope_Entity Node_Id 0
    Backend_Node Node_Id 0
923
924
925
926
927
   Unit_Definitions List_Id 233
   234 unit definition aadl_project.aadl:157:05
    Identifier Node_Id 235
    235 identifier aadl_project.aadl:157:05
     Corresponding_Entity Node_Id 234
928
929
930
     Display_Name Name_Id "ns"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
931
932
933
    Unit_Identifier Node_Id 236
    236 identifier aadl_project.aadl:157:12
     Corresponding_Entity Node_Id 231
934
935
936
     Display_Name Name_Id "ps"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
937
938
    Numeric_Literal Node_Id 237
    237 literal aadl_project.aadl:157:18
939
     Value Value_Id 23
940
941
942
943
   238 unit definition aadl_project.aadl:158:05
    Identifier Node_Id 239
    239 identifier aadl_project.aadl:158:05
     Corresponding_Entity Node_Id 238
944
945
946
     Display_Name Name_Id "us"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
947
948
949
    Unit_Identifier Node_Id 240
    240 identifier aadl_project.aadl:158:12
     Corresponding_Entity Node_Id 231
950
951
952
     Display_Name Name_Id "ns"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
953
954
    Numeric_Literal Node_Id 241
    241 literal aadl_project.aadl:158:18
955
     Value Value_Id 24
956
957
958
959
   242 unit definition aadl_project.aadl:159:05
    Identifier Node_Id 243
    243 identifier aadl_project.aadl:159:05
     Corresponding_Entity Node_Id 242
960
961
962
     Display_Name Name_Id "ms"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
963
964
965
    Unit_Identifier Node_Id 244
    244 identifier aadl_project.aadl:159:12
     Corresponding_Entity Node_Id 231
966
967
968
     Display_Name Name_Id "us"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
969
970
    Numeric_Literal Node_Id 245
    245 literal aadl_project.aadl:159:18
971
     Value Value_Id 25
972
973
974
975
   246 unit definition aadl_project.aadl:160:05
    Identifier Node_Id 247
    247 identifier aadl_project.aadl:160:05
     Corresponding_Entity Node_Id 246
976
977
978
     Display_Name Name_Id "sec"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
979
980
981
    Unit_Identifier Node_Id 248
    248 identifier aadl_project.aadl:160:12
     Corresponding_Entity Node_Id 231
982
983
984
     Display_Name Name_Id "ms"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
985
986
    Numeric_Literal Node_Id 249
    249 literal aadl_project.aadl:160:18
987
     Value Value_Id 26
988
989
990
991
   250 unit definition aadl_project.aadl:161:05
    Identifier Node_Id 251
    251 identifier aadl_project.aadl:161:05
     Corresponding_Entity Node_Id 250
992
993
994
     Display_Name Name_Id "min"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
995
996
997
    Unit_Identifier Node_Id 252
    252 identifier aadl_project.aadl:161:12
     Corresponding_Entity Node_Id 231
998
999
1000
     Display_Name Name_Id "sec"
     Scope_Entity Node_Id 0
     Backend_Node Node_Id 0
For faster browsing, not all history is shown. View entire blame