-------------------------------------------------------------------------------- ---- 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 ---- ---- Copyright (C) 2008-2010, GET-Telecom Paris. ---- ---- Ocarina is free software; you can redistribute it and/or modify ---- it under terms of the GNU General Public License as published by the ---- Free Software Foundation; either version 2, or (at your option) any ---- later version. 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. See the GNU General ---- Public License for more details. You should have received a copy of the ---- GNU General Public License distributed with Ocarina; see file COPYING. ---- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth ---- Floor, Boston, MA 02111-1301, USA. ---- ---- As a special exception, if other files instantiate generics from this ---- unit, or you link this unit with other files to produce an executable, ---- this unit does not by itself cause the resulting executable to be ---- covered by the GNU General Public License. This exception does not ---- however invalidate any other reasons why the executable file might be ---- covered by the GNU Public License. ---- ---- Ocarina is maintained by the Ocarina team ---- (ocarina-users@listes.enst.fr) ---- --------------------------------------------------------------------------------withLocations;withNamet;withOcarina.ME_AADL.AADL_Tree.Nodes;withOcarina.ME_AADL.AADL_Tree.Nutils;withOcarina.ME_AADL.AADL_Instances.Nodes;withOcarina.ME_AADL.AADL_Instances.Entities;withOcarina.ME_AADL.AADL_Instances.Nutils;withOcarina.ME_AADL.AADL_Instances.Entities.Properties;withOcarina.ME_AADL.AADL_Tree.Entities.Properties;withOcarina.ME_AADL.AADL_Tree.Entities;withOcarina.AADL_Values;withOcarina.Instances.Queries;withOcarina.Backends.Utils;withOcarina.Backends.Messages;packagebodyOcarina.Backends.PropertiesisuseLocations;useNamet;useOcarina.ME_AADL.AADL_Tree.Nodes;useOcarina.ME_AADL.AADL_Instances.Nodes;useOcarina.ME_AADL.AADL_Instances.Nutils;useOcarina.ME_AADL.AADL_Instances.Entities;useOcarina.ME_AADL.AADL_Instances.Entities.Properties;useOcarina.Instances.Queries;useOcarina.Backends.Utils;useOcarina.Backends.Messages;packageATNrenamesOcarina.ME_AADL.AADL_Tree.Nodes;packageATErenamesOcarina.ME_AADL.AADL_Tree.Entities;packageATNUrenamesOcarina.ME_AADL.AADL_Tree.Nutils;packageAINrenamesOcarina.ME_AADL.AADL_Instances.Nodes;packageAINUrenamesOcarina.ME_AADL.AADL_Instances.Nutils;packageAIEPrenamesOcarina.ME_AADL.AADL_Instances.Entities.Properties;packageATEPrenamesOcarina.ME_AADL.AADL_Tree.Entities.Properties;------------------------------------ Several component properties ------------------------------------AADL_Priority:Name_Id;-- Thread and DataCompute_Entrypoint_Source_Text_Name:Name_Id;Compute_Entrypoint_Name:Name_Id;Compute_Entrypoint_Call_Sequence:Name_Id;-- Thread and IN [event] [data] portsSource_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;-- Subprogram, thread, data, port...Implemented_As:Name_Id;--------------------------------- Data component properties ---------------------------------Base_Type:Name_Id;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;Data_Size:Name_Id;Code_Size:Name_Id;Data_Concurrency_Protocol:Name_Id;----------------------------------- Thread component properties -----------------------------------Dispatch_Offset:Name_Id;Thread_Period:Name_Id;Thread_Deadline:Name_Id;Thread_Dispatch_Protocol:Name_Id;Thread_Cheddar_Priority:Name_Id;Thread_Stack_Size:Name_Id;Initialize_Entrypoint:Name_Id;Initialize_Entrypoint_Source_Text:Name_Id;Recover_Entrypoint:Name_Id;Recover_Entrypoint_Source_Text:Name_Id;------------------------------------ Process component properties ------------------------------------Port_Number:Name_Id;Process_Id:Name_Id;Processor_Binding:Name_Id;Memory_Binding:Name_Id;Process_Channel_Address:Name_Id;Scheduling_Protocol:Name_Id;PARAMETRIC_PROTOCOL_Name:Name_Id;EARLIEST_DEADLINE_FIRST_PROTOCOL_Name:Name_Id;LEAST_LAXITY_FIRST_PROTOCOL_Name:Name_Id;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 -----------------------------------Word_Count:Name_Id;Word_Size:Name_Id;-------------------------------------- Processor component properties --------------------------------------Location:Name_Id;Execution_Platform:Name_Id;----------------------------------- AADL Connections properties -----------------------------------Connection_Binding:Name_Id;--------------------------------- Bus components properties ---------------------------------Transport_API:Name_Id;----------------------- Port properties -----------------------Queue_Size:Name_Id;Overflow_Handling_Protocol:Name_Id;Overflow_Handling_Protocol_DropOldest_Name:Name_Id;Overflow_Handling_Protocol_DropNewest_Name:Name_Id;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;----------------------------------- 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;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;Precision_Simple_Name:Name_Id;Precision_Double_Name:Name_Id;Representation_Signed_Name:Name_Id;Representation_Unsigned_Name:Name_Id;Concurrency_NoneSpecified_Name:Name_Id;Concurrency_Read_Only_Name:Name_Id;Concurrency_Protected_Access_Name:Name_Id;Concurrency_Priority_Ceiling_Name:Name_Id;Concurrency_Priority_Ceiling_Protocol_Name:Name_Id;Language_Ada_95_Name:Name_Id;Language_Ada_Name:Name_Id;Language_Ada_05_Name:Name_Id;Language_C_Name:Name_Id;Language_RTSJ_Name:Name_Id;Language_Simulink_Name:Name_Id;Language_Scade_Name:Name_Id;Language_ASN1_Name:Name_Id;Language_Lustre_Name:Name_Id;Language_Esterel_Name:Name_Id;Language_Lustre5_Name:Name_Id;Language_Lustre6_Name:Name_Id;Language_GUI_Name:Name_Id;Language_Rhapsody_Name:Name_Id;Language_SCADE6_Name:Name_Id;Language_SDL_Name:Name_Id;Thread_Periodic_Name:Name_Id;Thread_Aperiodic_Name:Name_Id;Thread_Sporadic_Name:Name_Id;Thread_Hybrid_Name:Name_Id;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;