with Ocarina.Backends.Properties; use Ocarina.Backends.Properties;

package Ocarina.Backends.Vxworks653_Conf.Mapping is

   function Map_Distributed_Application (E : Node_Id) return Node_Id;
   function Map_HI_Node (E : Node_Id) return Node_Id;
   function Map_HI_Unit (E : Node_Id) return Node_Id;
   function Map_Port (F : Node_Id) return Node_Id;
   function Map_Data (E : Node_Id) return Node_Id;
   function Map_Data_Access (E : Node_Id) return Node_Id;
   function Map_Bus_Access (E : Node_Id) return Node_Id;
   function Map_System (E : Node_Id) return Node_Id;
   function Map_Process
     (E                    : Node_Id;
      Partition_Identifier : Unsigned_Long_Long) return Node_Id;
   function Map_Data_Size (T : Size_Type) return Unsigned_Long_Long;
   function Map_Virtual_Processor (E : Node_Id) return Node_Id;
   function Map_Processor (E : Node_Id) return Node_Id;
   function Map_Partition (Process : Node_Id;
                           Runtime : Node_Id;
                           Partition_Identifier : Integer;
                           Nb_Threads : Unsigned_Long_Long;
                           Nb_Buffers : Unsigned_Long_Long;
                           Nb_Events : Unsigned_Long_Long;
                           Nb_Lock_Objects : Unsigned_Long_Long;
                           Nb_Blackboards : Unsigned_Long_Long;
                           Blackboards_Size : Unsigned_Long_Long;
                           Buffers_Size : Unsigned_Long_Long)
                           return Node_Id;
   function Map_Bus (E : Node_Id) return Node_Id;
   function Map_Port_Connection (E : Node_Id) return Node_Id;
   function Map_Process_Memory (Process : Node_Id) return Node_Id;
   procedure Map_Process_Scheduling
     (Process       :        Node_Id;
      Window_Number : in out Unsigned_Long_Long;
      N             :    out Node_Id);

   function Map_Connection
     (Connection         : Node_Id;
      Channel_Identifier : Unsigned_Long_Long) return Node_Id;

   function Map_Process_HM_Table (Process : Node_Id) return Node_Id;

   function Map_Processor_HM_Table (Processor : Node_Id) return Node_Id;

   function Map_Sampling_Port (Port : Node_Id) return Node_Id;

   function Map_Queuing_Port (Port : Node_Id) return Node_Id;

   function Map_Partition_Name (Runtime : Node_Id;
                                Use_Source_Name : Boolean := False)
   return Name_Id;

end Ocarina.Backends.Vxworks653_Conf.Mapping;