-------------------------------------- ------------------------------------------ -- -- -- OCARINA COMPONENTS -- -- -- -- OCARINA.GENERATORS.PO_HI_ADA.RUNTIME -- -- -- -- S p e c -- -- -- -- Copyright (C) 2006-2007, 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) -- -- -- ------------------------------------------------------------------------------ package Ocarina.Generators.PO_HI_Ada.Runtime is -- Runtime Units type ru_id is (ru_null, ru_ada, ru_ada_exceptions, ru_ada_real_time, ru_ada_streams, ru_asn1_types, ru_polyorb_hi, ru_polyorb_hi_periodic_task, ru_polyorb_hi_sporadic_task, ru_deployment, ru_gnat, ru_gnat_sockets, ru_interfaces, ru_interfaces_c, ru_polyorb_hi_marshallers_g, ru_marshallers, ru_polyorb_hi_messages, ru_naming, ru_polyorb_hi_output_low_level, ru_polyorb_hi_output, ru_polyorb_hi_protocols, ru_standard, ru_subprograms, ru_polyorb_hi_thread_interrogators, ru_polyorb_hi_transport_low_level, ru_polyorb_hi_transport_low_level_extras, ru_polyorb_hi_transport, ru_types, ru_soif_mts_wrapper_ada, ru_soif_mts_wrapper_ada_structures, ru_polyorb_hi_suspenders, ru_system_time, ru_system); -- Runtime Entities type re_id is (re_null, -- Workaround to denote a null RE re_off, -- Off re_on, -- On re_true, -- True re_false, -- False re_soif_mts_naming_entry, -- SOIF_MTS_Naming_Entry re_soif_mts_naming_store, -- SOIF_MTS_Naming_Store re_node_type, -- Deployment.Node_Type re_entity_type, -- Deployment.Entity_Type re_port_type_1, -- Deployment.Port_Type re_clock, -- Ada.Real_Time.Clock re_nanoseconds, -- Ada.Real_Time.Nanoseconds re_microseconds, -- Ada.Real_Time.Microseconds re_milliseconds, -- Ada.Real_Time.Milliseconds re_seconds, -- Ada.Real_Time.Seconds re_minutes, -- Ada.Real_Time.Minutes re_time, -- Ada.Real_Time.Time re_time_span, -- Ada.Real_Time.Time_Span re_stream_element_array, -- Ada.Streams.Stream_Element_Array re_stream_element_offset, -- Ada.Streams.Stream_Element_Offset re_family_inet, -- GNAT.Sockets.Family_Inet re_inet_addr, -- GNAT.Sockets.Inet_Addr re_no_inet_addr, -- GNAT.Sockets.No_Inet_Addr re_no_port, -- GNAT.Sockets.No_Port re_port_type_2, -- GNAT.Sockets.Port_Type re_sock_addr_type, -- GNAT.Sockets.Sock_Addr_Type re_char_array, -- Interfaces.C.char_array re_nul, -- Interfaces.C.nul re_marshall_request, -- Marshallers.Marshall_Request re_unmarshall_request, -- Marshallers.Unmarshall_Request re_write, -- Messages.Write re_header_size, -- Messages.Header_Size re_message_type, -- Messages.Message_Type, re_reallocate, -- Messages.Reallocate re_non_blocking_receive, -- Protocols.Non_Blocking_Receive re_send, -- Protocols.Send re_initialize, -- Transport.Initialize re_soif_mts_assert_v1_spacewire_pid, -- SOIF_MTS_Wrapper_Ada re_soif_mts_non_guaranteed_delivery, -- SOIF_MTS_Wrapper_Ada re_soif_mts_naming_entry_type, -- SOIF_MTS_Wrapper_Ada.Structures -- .SOIF_MTS_Naming_Entry_Type re_soif_mts_naming_store_type, -- SOIF_MTS_Wrapper_Ada.Structures -- .SOIF_MTS_Naming_Store_Type re_boolean, -- Standard.Boolean re_integer, -- Standard.Integer re_natural, -- Standard.Natural re_positive, -- Standard.Positive re_float, -- Standard.Float re_string, -- Standard.String re_character, -- Standard.Character re_wide_character, -- Standard.Wide_Character re_suspend_forever, -- Suspenders.Suspend_Forever re_unblock_all_tasks, -- Suspenders.Unblock_All_Tasks re_address, -- System.Address re_null_address, -- System.Null_Address re_default_priority, -- System.Default_Priority re_priority); -- System.Priority RE_Unit_Table : constant array (re_id) of ru_id := (re_null => ru_null, re_off => ru_null, re_on => ru_null, re_true => ru_null, re_false => ru_null, re_soif_mts_naming_entry => ru_null, re_soif_mts_naming_store => ru_null, re_node_type => ru_deployment, re_entity_type => ru_deployment, re_port_type_1 => ru_deployment, re_clock => ru_ada_real_time, re_nanoseconds => ru_ada_real_time, re_microseconds => ru_ada_real_time, re_milliseconds => ru_ada_real_time, re_seconds => ru_ada_real_time, re_minutes => ru_ada_real_time, re_time => ru_ada_real_time, re_time_span => ru_ada_real_time, re_stream_element_array => ru_ada_streams, re_stream_element_offset => ru_ada_streams, re_family_inet => ru_gnat_sockets, re_inet_addr => ru_gnat_sockets, re_no_inet_addr => ru_gnat_sockets, re_no_port => ru_gnat_sockets, re_port_type_2 => ru_gnat_sockets, re_sock_addr_type => ru_gnat_sockets, re_char_array => ru_interfaces_c, re_nul => ru_interfaces_c, re_marshall_request => ru_marshallers, re_unmarshall_request => ru_marshallers, re_write => ru_polyorb_hi_messages, re_header_size => ru_polyorb_hi_messages, re_message_type => ru_polyorb_hi_messages, re_reallocate => ru_polyorb_hi_messages, re_non_blocking_receive => ru_polyorb_hi_protocols, re_send => ru_polyorb_hi_protocols, re_initialize => ru_polyorb_hi_transport, re_soif_mts_assert_v1_spacewire_pid => ru_soif_mts_wrapper_ada_structures, re_soif_mts_non_guaranteed_delivery => ru_soif_mts_wrapper_ada_structures, re_soif_mts_naming_entry_type => ru_soif_mts_wrapper_ada_structures, re_soif_mts_naming_store_type => ru_soif_mts_wrapper_ada_structures, re_boolean => ru_standard, re_integer => ru_standard, re_natural => ru_standard, re_positive => ru_standard, re_float => ru_standard, re_string => ru_standard, re_character => ru_standard, re_wide_character => ru_standard, re_suspend_forever => ru_polyorb_hi_suspenders, re_unblock_all_tasks => ru_polyorb_hi_suspenders, re_address => ru_system, re_null_address => ru_system, re_default_priority => ru_system, re_priority => ru_system); procedure Initialize; procedure Reset; function RE (Id : re_id; Withed : Boolean := True) return node_id; -- Return a designator for entity Id function RU (Id : ru_id; Withed : Boolean := True) return node_id; -- Return a node for Unit Id end Ocarina.Generators.PO_HI_Ada.Runtime;