Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
aabafe2e
Commit
aabafe2e
authored
Oct 07, 2019
by
bouazizrahma
Committed by
Jerome Hugues
Oct 07, 2019
Browse files
fix error in parameters of BA_Initialization procedure
parent
c91fe22a
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/backends/po_hi_c/ocarina-backends-po_hi_c-activity.adb
View file @
aabafe2e
...
...
@@ -363,7 +363,8 @@ package body Ocarina.Backends.PO_HI_C.Activity is
Get_Thread_Dispatch_Protocol
(
E
);
Impl_Kind
:
constant
Supported_Thread_Implementation
:=
Get_Thread_Implementation_Kind
(
E
);
Call_Parameters
:
List_Id
;
Call_Parameters
:
List_Id
;
Call_Parameters1
:
List_Id
;
N
,
N1
:
Node_Id
;
procedure
Make_Wait_Event
;
...
...
@@ -1547,6 +1548,7 @@ package body Ocarina.Backends.PO_HI_C.Activity is
Append_Node_To_List
(
N
,
Statements
);
Call_Parameters
:=
New_List
(
CTN
.
K_Parameter_List
);
Call_Parameters1
:=
New_List
(
CTN
.
K_Parameter_List
);
if
Current_Device
/=
No_Node
then
N
:=
Make_Defining_Identifier
...
...
@@ -1555,8 +1557,10 @@ package body Ocarina.Backends.PO_HI_C.Activity is
Custom_Parent
=>
Current_Device
));
else
N
:=
Make_Defining_Identifier
(
Map_C_Enumerator_Name
(
S
));
N1
:=
Make_Defining_Identifier
(
Map_C_Enumerator_Name
(
S
));
end
if
;
Append_Node_To_List
(
N
,
Call_Parameters
);
Append_Node_To_List
(
N1
,
Call_Parameters1
);
N
:=
CTU
.
Make_Call_Profile
(
RE
(
RE_Wait_For_Next_Period
),
...
...
@@ -1567,6 +1571,23 @@ package body Ocarina.Backends.PO_HI_C.Activity is
declare
BA
:
Node_Id
;
begin
if
not
AAU
.
Is_Empty
(
Subcomponents
(
E
))
then
N1
:=
First_Node
(
Subcomponents
(
E
));
while
Present
(
N1
)
loop
if
AAU
.
Is_Data
(
Corresponding_Instance
(
N1
))
then
N
:=
Make_Variable_Address
(
Map_C_Defining_Identifier
(
N1
));
Append_Node_To_List
(
N
,
Call_Parameters1
);
end
if
;
N1
:=
Next_Node
(
N1
);
end
loop
;
end
if
;
BA
:=
Get_Behavior_Specification
(
E
);
if
BANu
.
Length
(
BATN
.
States
(
BA
))
>
1
then
...
...
@@ -1588,7 +1609,7 @@ package body Ocarina.Backends.PO_HI_C.Activity is
(
Defining_Identifier
=>
Make_Defining_Identifier
(
Map_C_BA_Related_Function_Name
(
S
,
BA_Initialization
=>
True
)),
Parameters
=>
Call_Parameters
);
Parameters
=>
Call_Parameters
1
);
Append_Node_To_List
(
N
,
Statements
);
N
:=
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment