ocarina-backends-properties.adb 152 KB
Newer Older
1
2
3
4
5
6
7
8
------------------------------------------------------------------------------
--                                                                          --
--                           OCARINA COMPONENTS                             --
--                                                                          --
--          O C A R I N A . B A C K E N D S . P R O P E R T I E S           --
--                                                                          --
--                                 B o d y                                  --
--                                                                          --
9
--    Copyright (C) 2008-2009 Telecom ParisTech, 2010-2019 ESA & ISAE.      --
10
--                                                                          --
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
-- Ocarina  is free software; you can redistribute it and/or modify under   --
-- terms of the  GNU General Public License as published  by the Free Soft- --
-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
-- sion. Ocarina is distributed in the hope that it will be useful, but     --
-- WITHOUT ANY WARRANTY; without even the implied warranty of               --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                     --
--                                                                          --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception,   --
-- version 3.1, as published by the Free Software Foundation.               --
--                                                                          --
-- You should have received a copy of the GNU General Public License and    --
-- a copy of the GCC Runtime Library Exception along with this program;     --
-- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
-- <http://www.gnu.org/licenses/>.                                          --
26
--                                                                          --
jhugues's avatar
jhugues committed
27
28
--                 Ocarina is maintained by the TASTE project               --
--                      (taste-users@lists.tuxfamily.org)                   --
29
30
31
32
--                                                                          --
------------------------------------------------------------------------------

with Locations;
33
with Ocarina.Namet;
34
with Utils; use Utils;
35
36
37
38
39
40
41
42
43
44
45
46
47
48

with Ocarina.ME_AADL.AADL_Tree.Nodes;
with Ocarina.ME_AADL.AADL_Tree.Nutils;
with Ocarina.ME_AADL.AADL_Instances.Nodes;
with Ocarina.ME_AADL.AADL_Instances.Entities;
with Ocarina.ME_AADL.AADL_Instances.Nutils;
with Ocarina.ME_AADL.AADL_Instances.Entities.Properties;
with Ocarina.ME_AADL.AADL_Tree.Entities.Properties;
with Ocarina.ME_AADL.AADL_Tree.Entities;
with Ocarina.AADL_Values;
with Ocarina.Instances.Queries;
with Ocarina.Backends.Utils;
with Ocarina.Backends.Messages;

yoogx's avatar
yoogx committed
49
with Ocarina.Backends.Properties.Utils; use Ocarina.Backends.Properties.Utils;
50

51
52
53
package body Ocarina.Backends.Properties is

   use Locations;
54
   use Ocarina.Namet;
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
   use Ocarina.ME_AADL.AADL_Tree.Nodes;
   use Ocarina.ME_AADL.AADL_Instances.Nodes;
   use Ocarina.ME_AADL.AADL_Instances.Nutils;
   use Ocarina.ME_AADL.AADL_Instances.Entities;
   use Ocarina.ME_AADL.AADL_Instances.Entities.Properties;
   use Ocarina.Instances.Queries;
   use Ocarina.Backends.Utils;
   use Ocarina.Backends.Messages;

   package ATN renames Ocarina.ME_AADL.AADL_Tree.Nodes;
   package ATE renames Ocarina.ME_AADL.AADL_Tree.Entities;
   package ATNU renames Ocarina.ME_AADL.AADL_Tree.Nutils;
   package AIN renames Ocarina.ME_AADL.AADL_Instances.Nodes;
   package AINU renames Ocarina.ME_AADL.AADL_Instances.Nutils;
   package AIEP renames Ocarina.ME_AADL.AADL_Instances.Entities.Properties;
   package ATEP renames Ocarina.ME_AADL.AADL_Tree.Entities.Properties;

   ----------------------------------
   -- Several component properties --
   ----------------------------------

76
   AADL_Priority : Name_Id;
77
78
79
80
81
82
83
   --  Thread and Data

   Compute_Entrypoint_Source_Text_Name : Name_Id;
   Compute_Entrypoint_Name             : Name_Id;
   Compute_Entrypoint_Call_Sequence    : Name_Id;
   --  Thread and IN [event] [data] ports

84
85
86
87
88
89
90
91
92
   Source_Language  : Name_Id;
   Source_Name      : Name_Id;
   T_Source_Name    : Name_Id;
   Type_Source_Name : Name_Id;
   Source_Text      : Name_Id;
   Fusion_Occurred  : Name_Id;
   Priority_Shifter : Name_Id;
   Scheduler_Name   : Name_Id;
   Original_Name    : Name_Id;
93
94
95
   --  Subprogram, thread, data, port...

   Implemented_As     : Name_Id;
96
   Device_Driver_Name : Name_Id;
97
98
99
100
101
102

   -------------------------------
   -- Data component properties --
   -------------------------------

   Base_Type                 : Name_Id;
103
104
   Base_Address              : Name_Id;
   Memory_Size               : Name_Id;
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
   Code_Set                  : Name_Id;
   Data_Digits               : Name_Id;
   Data_Scale                : Name_Id;
   Data_Representation       : Name_Id;
   Dimension                 : Name_Id;
   Element_Names             : Name_Id;
   Enumerators               : Name_Id;
   IEEE754_Precision         : Name_Id;
   Initial_Value             : Name_Id;
   Integer_Range             : Name_Id;
   Measurement_Unit          : Name_Id;
   Number_Representation     : Name_Id;
   Real_Range                : Name_Id;
   Data_Required_Access      : Name_Id;
   Data_Provided_Access      : Name_Id;
120
   Source_Data_Size          : Name_Id;
121
122
123
124
125
126
127
128
   Data_Size                 : Name_Id;
   Code_Size                 : Name_Id;
   Data_Concurrency_Protocol : Name_Id;

   ---------------------------------
   -- Thread component properties --
   ---------------------------------

129
130
131
   Dispatch_Offset                       : Name_Id;
   Thread_Period                         : Name_Id;
   Thread_Dispatch_Absolute_Time         : Name_Id;
132
   Thread_Cheddar_Dispatch_Absolute_Time : Name_Id;
133
134
135
   Thread_Deadline                       : Name_Id;
   Thread_Dispatch_Protocol              : Name_Id;
   Thread_Cheddar_Priority               : Name_Id;
136
137
   Source_Stack_Size                     : Name_Id;
   Stack_Size                            : Name_Id;
138
139
140
141
142
143
144
145
   Activate_Entrypoint                   : Name_Id;
   Activate_Entrypoint_Source_Text       : Name_Id;
   Initialize_Entrypoint                 : Name_Id;
   Initialize_Entrypoint_Source_Text     : Name_Id;
   Recover_Entrypoint                    : Name_Id;
   Recover_Entrypoint_Source_Text        : Name_Id;

   POSIX_Scheduling_Policy         : Name_Id;
146
   Cheddar_POSIX_Scheduling_Policy : Name_Id;
147
148
149
   SCHED_FIFO_Name                 : Name_Id;
   SCHED_RR_Name                   : Name_Id;
   SCHED_Others_Name               : Name_Id;
150

151
152
153
154
   ----------------------------------
   -- Process component properties --
   ----------------------------------

yoogx's avatar
yoogx committed
155
156
157
158
   Port_Number       : Name_Id;
   Processor_Binding : Name_Id;
   Function_Binding  : Name_Id;
   Memory_Binding    : Name_Id;
159
160
161

   Scheduling_Protocol                                   : Name_Id;
   PARAMETRIC_PROTOCOL_Name                              : Name_Id;
162
   EDF_Name                                              : Name_Id;
163
164
   EARLIEST_DEADLINE_FIRST_PROTOCOL_Name                 : Name_Id;
   LEAST_LAXITY_FIRST_PROTOCOL_Name                      : Name_Id;
165
   RMS_Name                                              : Name_Id;
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
   RATE_MONOTONIC_PROTOCOL_Name                          : Name_Id;
   DEADLINE_MONOTONIC_PROTOCOL_Name                      : Name_Id;
   ROUND_ROBIN_PROTOCOL_Name                             : Name_Id;
   TIME_SHARING_BASED_ON_WAIT_TIME_PROTOCOL_Name         : Name_Id;
   POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL_Name       : Name_Id;
   D_OVER_PROTOCOL_Name                                  : Name_Id;
   MAXIMUM_URGENCY_FIRST_BASED_ON_LAXITY_PROTOCOL_Name   : Name_Id;
   MAXIMUM_URGENCY_FIRST_BASED_ON_DEADLINE_PROTOCOL_Name : Name_Id;
   TIME_SHARING_BASED_ON_CPU_USAGE_PROTOCOL_Name         : Name_Id;
   NO_SCHEDULING_PROTOCOL_Name                           : Name_Id;
   HIERARCHICAL_CYCLIC_PROTOCOL_Name                     : Name_Id;
   HIERARCHICAL_ROUND_ROBIN_PROTOCOL_Name                : Name_Id;
   HIERARCHICAL_FIXED_PRIORITY_PROTOCOL_Name             : Name_Id;
   HIERARCHICAL_PARAMETRIC_PROTOCOL_Name                 : Name_Id;

   ---------------------------------
   -- Memory component properties --
   ---------------------------------

185
186
   Byte_Count : Name_Id;
   Word_Size  : Name_Id;
187
188
189
190
191

   ------------------------------------
   -- Processor component properties --
   ------------------------------------

192
   Ada_Runtime               : Name_Id;
193
194
195
   USER_CFLAGS               : Name_Id;
   USER_LDFLAGS              : Name_Id;
   USER_ENV                  : Name_Id;
196
197
198
   Location                  : Name_Id;
   Execution_Platform        : Name_Id;
   Scheduler_Quantum         : Name_Id;
199
   Cheddar_Scheduler_Quantum : Name_Id;
200

201
202
203
204
205
206
   Frequency_Hz_Name         : Name_Id;
   Frequency_Khz_Name        : Name_Id;
   Frequency_Mhz_Name        : Name_Id;
   Frequency_Ghz_Name        : Name_Id;
   Processor_Frequency_Name  : Name_Id;

207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
   ---------------------------------
   -- AADL Connections properties --
   ---------------------------------

   Connection_Binding : Name_Id;

   -------------------------------
   -- Bus components properties --
   -------------------------------

   Transport_API : Name_Id;

   ---------------------
   -- Port properties --
   ---------------------

223
224
   Queue_Size                                 : Name_Id;
   Overflow_Handling_Protocol                 : Name_Id;
225
226
   Overflow_Handling_Protocol_DropOldest_Name : Name_Id;
   Overflow_Handling_Protocol_DropNewest_Name : Name_Id;
227
228
229
230
231
232
   Overflow_Handling_Protocol_Error_Name      : Name_Id;
   Port_Urgency                               : Name_Id;
   Port_Timing                                : Name_Id;
   Port_Timing_Sampled_Name                   : Name_Id;
   Port_Timing_Immediate_Name                 : Name_Id;
   Port_Timing_Delayed_Name                   : Name_Id;
233
234
235
236
237
238
239
240
241
242
243
244

   ---------------------------------
   -- System component properties --
   ---------------------------------

   Protocol : Name_Id;

   --  All the Name_Id's below MUST be initialized in the Init
   --  procedure.

   Data_Array_Name     : Name_Id;
   Data_Boolean_Name   : Name_Id;
245
   Data_Bounded_Array_Name   : Name_Id;
246
247
248
249
250
251
252
253
254
255
256
257
258
259
   Data_Character_Name : Name_Id;
   Data_Enum_Name      : Name_Id;
   Data_Float_Name     : Name_Id;
   Data_Fixed_Name     : Name_Id;
   Data_Integer_Name   : Name_Id;
   Data_String_Name    : Name_Id;
   Data_Struct_Name    : Name_Id;
   Data_Union_Name     : Name_Id;

   Access_Read_Only_Name  : Name_Id;
   Access_Write_Only_Name : Name_Id;
   Access_Read_Write_Name : Name_Id;
   Access_By_Method_Name  : Name_Id;

260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
   Language_Ada_Name             : Name_Id;
   Language_Ada_95_Name          : Name_Id;
   Language_Ada_05_Name          : Name_Id;
   Language_ASN1_Name            : Name_Id;
   Language_C_Name               : Name_Id;
   Language_CPP_Name             : Name_Id;
   Language_SDL_OpenGEODE_Name   : Name_Id;
   Language_Device_Name          : Name_Id;
   Language_Esterel_Name         : Name_Id;
   Language_GUI_Name             : Name_Id;
   Language_LUA_Name             : Name_Id;
   Language_Lustre_Name          : Name_Id;
   Language_Lustre5_Name         : Name_Id;
   Language_Lustre6_Name         : Name_Id;
   Language_Rhapsody_Name        : Name_Id;
   Language_RTDS_Name            : Name_Id;
   Language_RTSJ_Name            : Name_Id;
   Language_Scade_Name           : Name_Id;
   Language_SCADE6_Name          : Name_Id;
   Language_SDL_Name             : Name_Id;
280
   Language_SDL_ObjectGeode_Name : Name_Id;
281
282
283
284
   Language_SDL_RTDS_Name        : Name_Id;
   Language_Simulink_Name        : Name_Id;
   Language_System_C_Name        : Name_Id;
   Language_VHDL_Name            : Name_Id;
285
   Language_VHDL_BRAVE_Name      : Name_Id;
yoogx's avatar
yoogx committed
286
   Language_VDM_Name             : Name_Id;
287
288
   Language_QGenAda_Name         : Name_Id;
   Language_QGenC_Name           : Name_Id;
289
   Language_MicroPython_Name     : Name_Id;
290
291
292
293
294

   Thread_Periodic_Name   : Name_Id;
   Thread_Aperiodic_Name  : Name_Id;
   Thread_Sporadic_Name   : Name_Id;
   Thread_Hybrid_Name     : Name_Id;
yoogx's avatar
yoogx committed
295
   Thread_Timed_Name      : Name_Id;
yoogx's avatar
yoogx committed
296
   Thread_Interrupt_Name  : Name_Id;
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
   Thread_Background_Name : Name_Id;

   Time_Ps_Name  : Name_Id;
   Time_Ns_Name  : Name_Id;
   Time_Us_Name  : Name_Id;
   Time_Ms_Name  : Name_Id;
   Time_Sec_Name : Name_Id;
   Time_Min_Name : Name_Id;
   Time_Hr_Name  : Name_Id;

   Size_Bit_Name       : Name_Id;
   Size_Byte_Name      : Name_Id;
   Size_Kilo_Byte_Name : Name_Id;
   Size_Mega_Byte_Name : Name_Id;
   Size_Giga_Byte_Name : Name_Id;
   Size_Tera_Byte_Name : Name_Id;

314
315
316
317
   Platform_Native_Name                 : Name_Id;
   Platform_Bench_Name                  : Name_Id;
   Platform_Native_Compcert_Name        : Name_Id;
   Platform_LINUX32_Name                : Name_Id;
318
   Platform_Linux_DLL_Name              : Name_Id;
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
   Platform_Win32_Name                  : Name_Id;
   Platform_LINUX32_Xenomai_Native_Name : Name_Id;
   Platform_LINUX32_Xenomai_Posix_Name  : Name_Id;
   Platform_LINUX64_Name                : Name_Id;
   Platform_LEON_RTEMS_Name             : Name_Id;
   Platform_LEON_RTEMS_POSIX_Name       : Name_Id;
   Platform_X86_LINUXTASTE_Name         : Name_Id;
   Platform_LEON_GNAT_Name              : Name_Id;
   Platform_LEON_ORK_Name               : Name_Id;
   Platform_LEON3_SCOC3_Name            : Name_Id;
   Platform_LEON3_XM3_Name              : Name_Id;
   Platform_LEON3_Xtratum_Name          : Name_Id;
   Platform_ERC32_ORK_Name              : Name_Id;
   Platform_MARTE_OS_Name               : Name_Id;
   Platform_Vxworks_Name                : Name_Id;
yoogx's avatar
yoogx committed
334
335
   Platform_GNAT_Runtime_Name           : Name_Id;
   Platform_AIR_Name                    : Name_Id;
336
337
338

   Transport_BSD_Sockets_Name : Name_Id;
   Transport_SpaceWire_Name   : Name_Id;
339
340
341
342
343
344
345

   Protocol_IIOP_Name : Name_Id;
   Protocol_DIOP_Name : Name_Id;

   Provided_Virtual_Bus_Class       : Name_Id;
   Allowed_Connection_Binding_Class : Name_Id;
   Compute_Execution_Time           : Name_Id;
346
   Execution_Time                   : Name_Id;
347
348
   Compute_Deadline                 : Name_Id;

349
350
   Core_Id : Name_Id;

351
352
353
354
   --------------------
   -- SEI properties --
   --------------------

355
356
   SEI_Wait_For_All_Events : Name_Id;
   SEI_Stream_Miss_Rate    : Name_Id;
357
358
359
360
361

   ----------------------
   -- Scade properties --
   ----------------------

362
   Scade_Signal_Name : Name_Id;
363
364
365
366
367

   --------------------
   -- POK properties --
   --------------------

368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
   POK_Arch_x86_Name         : Name_Id;
   POK_BSP_x86_qemu_Name     : Name_Id;
   POK_BSP_x86_qemu_vmm_Name : Name_Id;
   POK_Arch_Sparc_Name       : Name_Id;
   POK_BSP_Leon_Name         : Name_Id;
   POK_Arch_ppc_Name         : Name_Id;
   POK_BSP_prep_Name         : Name_Id;
   POK_Needed_Memory_Size    : Name_Id;
   POK_BSP                   : Name_Id;
   POK_Arch                  : Name_Id;
   POK_Source_Location       : Name_Id;
   POK_Timeslice             : Name_Id;
   POK_Security_Level        : Name_Id;
   POK_Mils_Verified         : Name_Id;
   POK_Refresh_Time          : Name_Id;
   POK_Scheduler             : Name_Id;
   POK_Scheduler_RMS_Name    : Name_Id;
   POK_Scheduler_EDF_Name    : Name_Id;
   POK_Scheduler_RR_Name     : Name_Id;
   POK_Scheduler_LLF_Name    : Name_Id;
   POK_Scheduler_Static_Name : Name_Id;
   POK_Slots                 : Name_Id;
   POK_Slots_Allocation      : Name_Id;
   POK_Major_Frame           : Name_Id;

   POK_Recovery_Errors                             : Name_Id;
   POK_Recovery_Error_Deadline                     : Name_Id;
   POK_Recovery_Error_Application                  : Name_Id;
   POK_Recovery_Error_Numeric                      : Name_Id;
   POK_Recovery_Error_Request                      : Name_Id;
   POK_Recovery_Error_Stack                        : Name_Id;
   POK_Recovery_Error_Memory                       : Name_Id;
   POK_Recovery_Error_Hardware                     : Name_Id;
   POK_Recovery_Error_Power                        : Name_Id;
   POK_Recovery_Error_Partition_Conf               : Name_Id;
   POK_Recovery_Error_Partition_Init               : Name_Id;
   POK_Recovery_Error_Partition_Sched              : Name_Id;
   POK_Recovery_Error_Partition_Proc               : Name_Id;
   POK_Recovery_Error_Kernel_Init                  : Name_Id;
   POK_Recovery_Error_Kernel_Sched                 : Name_Id;
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
   POK_Recovery_Actions                            : Name_Id;
   POK_Recovery_Action_Ignore                      : Name_Id;
   POK_Recovery_Action_Confirm                     : Name_Id;
   POK_Recovery_Action_Thread_Restart              : Name_Id;
   POK_Recovery_Action_Thread_Stop_And_Start_Other : Name_Id;
   POK_Recovery_Action_Thread_Stop                 : Name_Id;
   POK_Recovery_Action_Partition_Restart           : Name_Id;
   POK_Recovery_Action_Partition_Stop              : Name_Id;
   POK_Recovery_Action_Kernel_Stop                 : Name_Id;
   POK_Recovery_Action_Kernel_Restart              : Name_Id;
   POK_Recovery_Action_Nothing                     : Name_Id;

   -------------------------
   -- ARINC653 properties --
   -------------------------

   ARINC653_Module_Major_Frame               : Name_Id;
   ARINC653_Partition_Slots                  : Name_Id;
   ARINC653_Slots_Allocation                 : Name_Id;
   ARINC653_Sampling_Refresh_Period          : Name_Id;
   ARINC653_Timeout                          : Name_Id;
   ARINC653_Queuing_Discipline_Name          : Name_Id;
   ARINC653_Queuing_Discipline_Fifo_Name     : Name_Id;
   ARINC653_Queuing_Discipline_Priority_Name : Name_Id;
   ARINC653_Access_Type_Name                 : Name_Id;
   ARINC653_Access_Type_Read_Name            : Name_Id;
   ARINC653_Access_Type_Write_Name           : Name_Id;
   ARINC653_Access_Type_Read_Write_Name      : Name_Id;
   ARINC653_Memory_Kind_Name                 : Name_Id;
   ARINC653_Memory_Kind_Code_Name            : Name_Id;
   ARINC653_Memory_Kind_Data_Name            : Name_Id;

440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
   ARINC653_Actions_Name                             : Name_Id;
   ARINC653_Module_Recovery_Actions_Name             : Name_Id;
   ARINC653_Partition_Recovery_Actions_Name          : Name_Id;
   ARINC653_Process_Recovery_Actions_Name            : Name_Id;
   ARINC653_Action_Ignore_Name                       : Name_Id;
   ARINC653_Action_Confirm_Name                      : Name_Id;
   ARINC653_Action_Partition_Stop_Name               : Name_Id;
   ARINC653_Action_Module_Stop_Name                  : Name_Id;
   ARINC653_Action_Process_Stop_Name                 : Name_Id;
   ARINC653_Action_Process_Stop_And_Start_Other_Name : Name_Id;
   ARINC653_Action_Process_Restart_Name              : Name_Id;
   ARINC653_Action_Partition_Restart_Name            : Name_Id;
   ARINC653_Action_Cold_Restart_Name                 : Name_Id;
   ARINC653_Action_Warm_Restart_Name                 : Name_Id;
   ARINC653_Action_Module_Restart_Name               : Name_Id;
   ARINC653_Action_Nothing_Name                      : Name_Id;
   ARINC653_Action_Reset_Name                        : Name_Id;
   ARINC653_Action_Stop_Name                         : Name_Id;

   ARINC653_Errors_Name                     : Name_Id;
   ARINC653_Error_Module_Init_Name          : Name_Id;
   ARINC653_Error_Module_Config_Name        : Name_Id;
   ARINC653_Error_Module_Scheduling_Name    : Name_Id;
   ARINC653_Error_Partition_Config_Name     : Name_Id;
   ARINC653_Error_Partition_Init_Name       : Name_Id;
   ARINC653_Error_Partition_Scheduling_Name : Name_Id;
   ARINC653_Error_Partition_Handler_Name    : Name_Id;
   ARINC653_Error_Deadline_Miss_Name        : Name_Id;
   ARINC653_Error_Application_Name          : Name_Id;
   ARINC653_Error_Numeric_Name              : Name_Id;
   ARINC653_Error_Invalid_Request_Name      : Name_Id;
   ARINC653_Error_Stack_Overflow_Name       : Name_Id;
   ARINC653_Error_Memory_Violation_Name     : Name_Id;
   ARINC653_Error_Hardware_Fault_Name       : Name_Id;
   ARINC653_Error_Power_Fail_Name           : Name_Id;
475
476
477

   function Get_Size_Property_Value
     (C             : Node_Id;
478
      Property_Name : Name_Id) return Size_Type;
479
480
481
482
   --  Code factorization between thread and data interrogators

   function Get_Compute_Entrypoint
     (E       : Node_Id;
483
      In_Mode : Name_Id := No_Name) return Name_Id;
484
485
   function Get_Compute_Entrypoint
     (E       : Node_Id;
486
      In_Mode : Name_Id := No_Name) return Node_Id;
487
488
489
490
491
492
493
   --  Code factorization between thread and port interrogators
   --  Note that in case of call sequence reference,
   --  it will return the call sequence's single (by construction)
   --  subprogram call

   function Is_Defined_Entrypoint_Property
     (E       : Node_Id;
494
      In_Mode : Name_Id := No_Name) return Boolean;
495
496
497

   function Get_Time_Property_Value
     (E             : Node_Id;
498
      Property_Name : Name_Id) return Time_Type;
499
500
501
502
503
504
505
506
507
508
509
510
   --  Return the value of the property "Property_Name" whose AADL
   --  type is Time.

   function Get_Priority (E : Node_Id) return Unsigned_Long_Long;
   --  Code factorization between thread and data components

   -----------------------------
   -- Get_Size_Property_Value --
   -----------------------------

   function Get_Size_Property_Value
     (C             : Node_Id;
511
      Property_Name : Name_Id) return Size_Type
512
513
514
515
516
517
518
519
520
   is
      V      : Node_Id;
      U      : Node_Id;
      Result : Size_Type;
      N      : Name_Id;
   begin
      if Is_Defined_Integer_Property (C, Property_Name) then
         V := Get_Value_Of_Property_Association (C, Property_Name);

521
         if Present (V) and then Present (Unit_Identifier (V)) then
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
            U := Unit_Identifier (V);

            --  Get the size

            Result.S := Get_Integer_Property (C, Property_Name);

            --  Convert the value to its unit

            N := ATN.Name (U);

            if N = Size_Bit_Name then
               Result.U := Bit;
            elsif N = Size_Byte_Name then
               Result.U := Byte;
            elsif N = Size_Kilo_Byte_Name then
               Result.U := Kilo_Byte;
            elsif N = Size_Mega_Byte_Name then
               Result.U := Mega_Byte;
            elsif N = Size_Giga_Byte_Name then
               Result.U := Giga_Byte;
            elsif N = Size_Tera_Byte_Name then
               Result.U := Tera_Byte;
            else
               Display_Located_Error
                 (AIN.Loc (U),
                  "Wrong unit",
                  Fatal => True);
               return ((0, Bit));
            end if;

            return Result;
         else
            Display_Located_Error
              (AIN.Loc (U),
               "A size without unit",
               Fatal => True);
            return ((0, Bit));
         end if;
      else
561
         return Null_Size;
562
563
564
565
566
567
568
569
570
      end if;
   end Get_Size_Property_Value;

   ----------------------------
   -- Get_Compute_Entrypoint --
   ----------------------------

   function Get_Compute_Entrypoint
     (E       : Node_Id;
571
      In_Mode : Name_Id := No_Name) return Name_Id
572
   is
573
      Spg_Classifier : Node_Id;
574
575
   begin
      if Is_Defined_String_Property
576
577
578
          (E,
           Compute_Entrypoint_Source_Text_Name,
           In_Mode)
579
      then
580
         return Get_String_Property
581
582
583
             (E,
              Compute_Entrypoint_Source_Text_Name,
              In_Mode);
584
585

      elsif Is_Defined_Property (E, Compute_Entrypoint_Name, In_Mode) then
586
587
         Spg_Classifier :=
           Get_Classifier_Property (E, Compute_Entrypoint_Name, In_Mode);
588
         return Get_Source_Name (Spg_Classifier);
589
590
591
592
593
594
595
      end if;

      return No_Name;
   end Get_Compute_Entrypoint;

   function Get_Compute_Entrypoint
     (E       : Node_Id;
596
      In_Mode : Name_Id := No_Name) return Node_Id
597
598
599
600
601
602
603
604
605
606
   is
   begin
      if Kind (E) = K_Port_Spec_Instance and then not AIN.Is_In (E) then
         Display_Located_Error
           (AIN.Loc (E),
            "Compute entrypoint cannot be specified for OUT-only ports",
            Fatal => True);
      end if;

      if Is_Defined_String_Property
607
608
609
610
          (E,
           Compute_Entrypoint_Source_Text_Name,
           In_Mode)
      then
611
         return Get_Property_Association
612
613
614
             (E,
              Compute_Entrypoint_Source_Text_Name,
              In_Mode);
yoogx's avatar
yoogx committed
615

616
      elsif Is_Defined_Reference_Property
617
618
619
620
          (E,
           Compute_Entrypoint_Call_Sequence,
           In_Mode)
      then
621
         return Get_Property_Association
622
623
624
             (E,
              Compute_Entrypoint_Call_Sequence,
              In_Mode);
yoogx's avatar
yoogx committed
625

626
627
      elsif Is_Defined_Property (E, Compute_Entrypoint_Name, In_Mode) then
         return Get_Classifier_Property (E, Compute_Entrypoint_Name, In_Mode);
yoogx's avatar
yoogx committed
628

629
630
631
      else
         return No_Node;

yoogx's avatar
yoogx committed
632
      end if;
633
634
635
636
637
638
639
640
   end Get_Compute_Entrypoint;

   ------------------------------------
   -- Is_Defined_Entrypoint_Property --
   ------------------------------------

   function Is_Defined_Entrypoint_Property
     (E       : Node_Id;
641
      In_Mode : Name_Id := No_Name) return Boolean
642
643
   is
   begin
yoogx's avatar
yoogx committed
644
      return Is_Defined_String_Property
645
646
647
          (E,
           Compute_Entrypoint_Source_Text_Name,
           In_Mode)
yoogx's avatar
yoogx committed
648
        or else Is_Defined_Reference_Property
649
650
651
652
          (E,
           Compute_Entrypoint_Call_Sequence,
           In_Mode)
        or else Is_Defined_Property (E, Compute_Entrypoint_Name, In_Mode);
653
654
655
656
657
658
659
660
   end Is_Defined_Entrypoint_Property;

   -------------------
   -- Get_Base_Type --
   -------------------

   function Get_Base_Type (D : Node_Id) return List_Id is
      pragma Assert (AINU.Is_Data (D));
yoogx's avatar
yoogx committed
661
662
   begin
      return Check_And_Get_Property (D, Base_Type);
663
664
665
666
667
668
669
670
   end Get_Base_Type;

   ------------------
   -- Get_Code_Set --
   ------------------

   function Get_Code_Set (D : Node_Id) return Unsigned_Long_Long is
      pragma Assert (AINU.Is_Data (D));
671
672
   begin
      return Check_And_Get_Property (D, Code_Set);
673
674
675
676
677
678
679
680
   end Get_Code_Set;

   ---------------------
   -- Get_Data_Digits --
   ---------------------

   function Get_Data_Digits (D : Node_Id) return Unsigned_Long_Long is
      pragma Assert (Get_Data_Representation (D) = Data_Fixed);
681
682
   begin
      return Check_And_Get_Property (D, Data_Digits);
683
684
685
686
687
688
689
690
   end Get_Data_Digits;

   --------------------
   -- Get_Data_Scale --
   --------------------

   function Get_Data_Scale (D : Node_Id) return Unsigned_Long_Long is
      pragma Assert (Get_Data_Representation (D) = Data_Fixed);
691
692
   begin
      return Check_And_Get_Property (D, Data_Scale);
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
   end Get_Data_Scale;

   -----------------------------
   -- Get_Data_Representation --
   -----------------------------

   function Get_Data_Representation
     (D : Node_Id) return Supported_Data_Representation
   is
      F      : Node_Id;
      T_Name : Name_Id;
   begin
      pragma Assert (AINU.Is_Data (D));

      if Is_Defined_Enumeration_Property (D, Data_Representation) then
         T_Name := Get_Enumeration_Property (D, Data_Representation);

         --  Although Name_Id is a scalar type, we cannot use a switch
         --  case since the <..>_Name global variables are not (and
         --  cannot be) static.

714
715
716
         if T_Name = Data_Array_Name or else
           T_Name = Data_Bounded_Array_Name
         then
717
718
719
720
721
722
723
724
725
726
727
728
729
730
            if not Is_Defined_List_Property (D, Dimension) then
               Display_Located_Error
                 (ATN.Loc (D),
                  "Array types must have one or more dimensions",
                  Fatal => True);
            end if;

            if ATNU.Length (Get_Base_Type (D)) /= 1 then
               Display_Located_Error
                 (ATN.Loc (D),
                  "Array types must have an element type",
                  Fatal => True);
            end if;

731
732
733
734
735
            if T_Name = Data_Array_Name then
               return Data_Array;
            else
               return Data_Bounded_Array;
            end if;
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791

         elsif T_Name = Data_Boolean_Name then
            return Data_Boolean;

         elsif T_Name = Data_Character_Name then
            if Get_Code_Set (D) = 16#0# or else Get_Code_Set (D) = 16#1# then
               --  PCS: Portable Character Set
               return Data_Character;
            else
               return Data_Wide_Character;
            end if;

         elsif T_Name = Data_Enum_Name then
            if Get_Enumerators (D)'Length = 0 then
               Display_Located_Error
                 (ATN.Loc (D),
                  "Enumeration type must be assigned an enumerator list",
                  Fatal => True);
            end if;

            return Data_Enum;

         elsif T_Name = Data_Float_Name then
            return Data_Float;

         elsif T_Name = Data_Fixed_Name then
            return Data_Fixed;

         elsif T_Name = Data_Integer_Name then
            return Data_Integer;

         elsif T_Name = Data_String_Name then
            if not Is_Defined_List_Property (D, Dimension) then
               Display_Located_Error
                 (ATN.Loc (D),
                  "String types must have a maximum length",
                  Fatal => True);
            end if;

            if Get_Code_Set (D) = 16#0# or else Get_Code_Set (D) = 16#1# then
               --  PCS: Portable Character Set
               return Data_String;
            else
               return Data_Wide_String;
            end if;

         elsif T_Name = Data_Struct_Name then
            declare
               Fields : constant Name_Array := Get_Element_Names (D);
               Types  : constant List_Id    := Get_Base_Type (D);
            begin
               --  Some trivial case elimination and coherency checking

               if Fields'Length /= ATNU.Length (Types) then
                  Display_Located_Error
                    (AIN.Loc (D),
792
793
                     "The number of elements and their corresponding" &
                     " types ar fifferent in this data structure",
794
795
796
797
798
799
                     Fatal => True);
               elsif Fields'Length = 0
                 and then Is_Empty (AIN.Subcomponents (D))
               then
                  Display_Located_Error
                    (AIN.Loc (D),
800
801
802
                     "Data structures must be defined using the" &
                     " subcomponents or the Base_Type/Element_Names" &
                     " properties.",
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
                     Fatal => True);
               end if;

               if Is_Empty (AIN.Features (D)) then
                  return Data_Struct;
               else
                  --  Check whether it is a protected type

                  F := AIN.First_Node (AIN.Features (D));

                  while Present (F) loop
                     if Kind (F) /= K_Subprogram_Spec_Instance
                       and then Kind (F) /= K_Subcomponent_Access_Instance
                     then
                        Display_Located_Error
                          (AIN.Loc (F),
                           "Unsupported feature kind for data type",
                           Fatal => True);
                     end if;

                     F := AIN.Next_Node (F);
                  end loop;

                  return Data_With_Accessors;
               end if;
            end;

         elsif T_Name = Data_Union_Name then
            return Data_Union;
         else
            Display_Located_Error
              (AIN.Loc (D),
               "Unknown data type",
               Fatal => True);
            return Data_None;
         end if;
      else
         return Data_None;
      end if;
   end Get_Data_Representation;

   -------------------
   -- Get_Dimension --
   -------------------

   function Get_Dimension (D : Node_Id) return ULL_Array is
      pragma Assert (AINU.Is_Data (D));
850
851
   begin
      return Check_And_Get_Property (D, Dimension);
852
853
854
855
856
857
858
859
860
   end Get_Dimension;

   -----------------------
   -- Get_Element_Names --
   -----------------------

   function Get_Element_Names (D : Node_Id) return Name_Array is
      pragma Assert (AINU.Is_Data (D));

861
862
   begin
      return Check_And_Get_Property (D, Element_Names);
863
864
865
866
867
868
869
870
   end Get_Element_Names;

   ---------------------
   -- Get_Enumerators --
   ---------------------

   function Get_Enumerators (D : Node_Id) return Name_Array is
      pragma Assert (AINU.Is_Data (D));
871
872
   begin
      return Check_And_Get_Property (D, Enumerators);
873
874
875
876
877
878
879
   end Get_Enumerators;

   ---------------------------
   -- Get_IEEE754_Precision --
   ---------------------------

   function Get_IEEE754_Precision
880
     (D : Node_Id) return Supported_IEEE754_Precision
881
882
883
   is
      pragma Assert (AINU.Is_Data (D));

yoogx's avatar
yoogx committed
884
885
886
887
      function Get_IEEE754_Precision_Enumerator is
         new Check_And_Get_Property_Enumerator
        (T => Supported_IEEE754_Precision);

yoogx's avatar
yoogx committed
888
   begin
889
      return Get_IEEE754_Precision_Enumerator (D, IEEE754_Precision);
890
891
892
893
894
895
896
897
898
   end Get_IEEE754_Precision;

   -----------------------
   -- Get_Initial_Value --
   -----------------------

   function Get_Initial_Value (D : Node_Id) return Name_Array is
      pragma Assert (AINU.Is_Data (D));

899
900
   begin
      return Check_And_Get_Property (D, Initial_Value);
901
902
903
904
905
906
907
908
   end Get_Initial_Value;

   -----------------------
   -- Get_Integer_Range --
   -----------------------

   function Get_Integer_Range (D : Node_Id) return LL_Array is
      pragma Assert (AINU.Is_Data (D));
909
910
   begin
      return Check_And_Get_Property (D, Integer_Range);
911
912
913
914
915
916
917
918
   end Get_Integer_Range;

   -------------------------
   -- Get_Mesurement_Unit --
   -------------------------

   function Get_Mesurement_Unit (D : Node_Id) return Name_Id is
      pragma Assert (AINU.Is_Data (D));
yoogx's avatar
yoogx committed
919
920
   begin
      return Check_And_Get_Property (D, Measurement_Unit);
921
922
923
924
925
926
927
928
929
930
931
   end Get_Mesurement_Unit;

   -------------------------------
   -- Get_Number_Representation --
   -------------------------------

   function Get_Number_Representation
     (D : Node_Id) return Supported_Number_Representation
   is
      pragma Assert (AINU.Is_Data (D));

yoogx's avatar
yoogx committed
932
933
934
935
      function Get_Number_Representation_Enumerator is
         new Check_And_Get_Property_Enumerator_With_Default
        (T             => Supported_Number_Representation,
         Default_Value => None);
936

937
938
   begin
      return Get_Number_Representation_Enumerator (D, Number_Representation);
939
940
941
942
943
944
945
946
   end Get_Number_Representation;

   --------------------
   -- Get_Real_Range --
   --------------------

   function Get_Real_Range (D : Node_Id) return LD_Array is
      pragma Assert (AINU.Is_Data (D));
947
948
   begin
      return Check_And_Get_Property (D, Real_Range);
949
950
951
952
953
954
955
   end Get_Real_Range;

   -------------------
   -- Get_Data_Size --
   -------------------

   function Get_Data_Size (D : Node_Id) return Size_Type is
956
      Ret : Size_Type;
957
958
959
   begin
      pragma Assert (AINU.Is_Data (D) or else AINU.Is_Process (D));

960
961
962
963
964
965
966
      Ret := Get_Size_Property_Value (D, Data_Size);

      if Ret = Null_Size then
         Ret := Get_Size_Property_Value (D, Source_Data_Size);
      end if;

      return Ret;
967
968
969
970
971
972
973
974
   end Get_Data_Size;

   -------------------
   -- Get_Code_Size --
   -------------------

   function Get_Code_Size (E : Node_Id) return Size_Type is
   begin
975
      return Get_Size_Property_Value (E, Code_Size);
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
   end Get_Code_Size;

   ------------------------------------
   -- Get_Overflow_Handling_Protocol --
   ------------------------------------

   function Get_Overflow_Handling_Protocol
     (P : Node_Id) return Supported_Overflow_Handling_Protocol
   is
      OHP_Name : Name_Id;
   begin
      if Is_Defined_Enumeration_Property (P, Overflow_Handling_Protocol) then
         OHP_Name := Get_Enumeration_Property (P, Overflow_Handling_Protocol);

         if OHP_Name = Overflow_Handling_Protocol_DropOldest_Name then
            return Overflow_Handling_Protocol_DropOldest;
         elsif OHP_Name = Overflow_Handling_Protocol_DropNewest_Name then
            return Overflow_Handling_Protocol_DropNewest;
         elsif OHP_Name = Overflow_Handling_Protocol_Error_Name then
            return Overflow_Handling_Protocol_Error;
         else
            Display_Located_Error
              (AIN.Loc (P),
               "Unknown port overflow handling protocol name",
               Fatal => True);