Commit 9f9b54a0 authored by julien.delange's avatar julien.delange

* ocarina/src/backends/ocarina-backends-po_hi_c-main.adb

   - avoid warning for initialization functions

 * ocarina/resources/AADLv2/components/devices/rasta-spacewire.aadl
   ocarina/resources/AADLv2/components/devices.aadl
   - Add the specification of the spacewire configuration type



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2109 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 78f952fc
......@@ -49,6 +49,14 @@ public
Source_Text => ("OCARINA_INCLUDE_PATH/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/serial.asn", "drivers/configuration/serial.h");
end configuration_type_serial;
data configuration_type_spacewire
properties
Type_Source_Name => "Spacewire-Conf-T";
Deployment::ASN1_Module_Name => "POHICDRIVER-SPACEWIRE";
Source_Language => ASN1;
Source_Text => ("OCARINA_INCLUDE_PATH/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/spacewire.asn", "drivers/configuration/spacewire.h");
end configuration_type_spacewire;
--------------
-- Keyboard --
--------------
......
......@@ -42,6 +42,7 @@ abstract spacewire_driver
properties
Deployment::Version => "0.1beta";
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration_Type => classifier (ocarina_drivers::configuration_type_spacewire);
end spacewire_driver;
abstract implementation spacewire_driver.rasta
......
......@@ -305,6 +305,16 @@ package body Ocarina.Backends.PO_HI_C.Main is
Get_Thread_Initialize_Entrypoint
(Corresponding_Instance (C)) /= No_Node
then
Append_Node_To_List
(Make_Extern_Entity_Declaration
(Make_Function_Specification
(Map_C_Subprogram_Identifier
(Get_Thread_Initialize_Entrypoint
(Corresponding_Instance (C))),
Parameters => No_List,
Return_Type => New_Node (CTN.K_Void))),
CTN.Declarations (Current_File));
Append_Node_To_List
(Make_Call_Profile
(Map_C_Subprogram_Identifier
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment