Commit 95085299 authored by julien.delange's avatar julien.delange

handle blackbox_device property

handle event ports



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1150 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 46c17adb
......@@ -280,6 +280,14 @@ package body Ocarina.Backends.PO_HI_C.Request is
Bind_AADL_To_Request
(Identifier (E), Ports_Names_Array);
else
N := Make_Full_Type_Declaration
(Defining_Identifier => RE (RE_Request_T),
Type_Definition => Make_Defining_Identifier (TN (T_Int)));
Append_Node_To_List (N, CTN.Declarations (Current_File));
Bind_AADL_To_Request_Type
(Identifier (E), N);
end if;
Reset_Handlings;
......@@ -328,13 +336,17 @@ package body Ocarina.Backends.PO_HI_C.Request is
F := First_Node (Features (E));
while Present (F) loop
if Kind (F) = K_Port_Spec_Instance
and then AIN.Is_Data (F)
and then No (Get_Handling (F, By_Node, H_C_Request_Spec))
then
Set_Handling (F, By_Node, H_C_Request_Spec, F);
Request_Declared := True;
V := Map_C_Data_Type_Designator (Corresponding_Instance (F));
if Is_Data (F) then
V := Map_C_Data_Type_Designator
(Corresponding_Instance (F));
else
V := RE (RE_Bool_T);
end if;
if V /= No_Node then
Struct_Members := New_List (CTN.K_Enumeration_Literals);
......
......@@ -2985,7 +2985,7 @@ package body Ocarina.Backends.Properties is
Language_Ada_Name := Get_String_Name ("ada");
Language_Ada_05_Name := Get_String_Name ("ada05");
Language_C_Name := Get_String_Name ("c");
Language_Device_Name := Get_String_Name ("device");
Language_Device_Name := Get_String_Name ("blackbox_device");
Language_RTSJ_Name := Get_String_Name ("rtsj");
Language_Simulink_Name := Get_String_Name ("simulink");
Language_Scade_Name := Get_String_Name ("scade");
......
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