Skip to content

GitLab

O
Ocarina
Commit fabee8c2 authored by julien.delange's avatar julien.delange
Browse files
Options

* fix return type, return right types in send_output 



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@535 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent eed777b5
Hide whitespace changes
Inline Side-by-side
Showing with 14 additions and 11 deletions
src/backends/ocarina-backends-po_hi_c-activity.adb
View file @ fabee8c2
......@@ -357,7 +357,7 @@ package body Ocarina.Backends.PO_HI_C.Activity is
(Defining_Identifier =>
Make_Defining_Identifier (PN (P_Port)),
Parameter_Type => RE (RE_Port_T))),
Return_Type => New_Node (CTN.K_Void));
Return_Type => New_Node (CTN.K_Int));
Append_Node_To_List
(Send_Output_Specification,
CTN.Declarations (Current_File));
......@@ -772,11 +772,12 @@ package body Ocarina.Backends.PO_HI_C.Activity is
Send_Alternative_Label);
Append_Node_To_List
(CTU.Make_Call_Profile
(RE (RE_Protocols_Send_Default),
Make_List_Id
(Make_Defining_Identifier (VN (V_Entity)),
Make_Defining_Identifier (PN (P_Port)))),
(Make_Return_Statement
(CTU.Make_Call_Profile
(RE (RE_Protocols_Send_Default),
Make_List_Id
(Make_Defining_Identifier (VN (V_Entity)),
Make_Defining_Identifier (PN (P_Port))))),
Send_Alternative_Stmts);
N := Make_Switch_Alternative
......@@ -1580,11 +1581,13 @@ package body Ocarina.Backends.PO_HI_C.Activity is
Append_Node_To_List
(Make_Switch_Alternative
(No_List,
Make_List_Id (CTU.Make_Call_Profile
(RE (RE_Protocols_Send_Default),
Make_List_Id
(Make_Defining_Identifier (VN (V_Entity)),
Make_Defining_Identifier (PN (P_Port)))))),
Make_List_Id
(Make_Return_Statement
(CTU.Make_Call_Profile
(RE (RE_Protocols_Send_Default),
Make_List_Id
(Make_Defining_Identifier (VN (V_Entity)),
Make_Defining_Identifier (PN (P_Port))))))),
Send_Output_Alternatives);
Append_Node_To_List
......
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