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
b1cd5d65
Commit
b1cd5d65
authored
Apr 22, 2015
by
Julien
Browse files
Map schedule using nanoseconds, not milliseconds
parent
e4de4fdf
Changes
2
Show whitespace changes
Inline
Side-by-side
src/backends/ocarina-backends-c_common-mapping.adb
View file @
b1cd5d65
...
...
@@ -1365,10 +1365,22 @@ package body Ocarina.Backends.C_Common.Mapping is
-------------------------
function
Map_Scade_Parameter
(
Parameter
:
Node_Id
)
return
Node_Id
is
Scade_Name
:
Name_Id
;
begin
Get_Name_String
(
Get_Scade_Signal
(
Parameter
)
)
;
Scade_Name
:=
Get_Scade_Signal
(
Parameter
);
return
CTU
.
Make_Defining_Identifier
(
Name_Find
,
C_Conversion
=>
False
);
if
Scade_Name
=
No_Name
then
Scade_Name
:=
Get_Source_Name
(
Parameter
);
end
if
;
if
Scade_Name
=
No_Name
then
Display_Located_Error
(
AIN
.
Loc
(
Parameter
),
"The Parameter does not specify a SCADE mapping"
,
Fatal
=>
True
);
end
if
;
return
CTU
.
Make_Defining_Identifier
(
Scade_Name
,
C_Conversion
=>
False
);
end
Map_Scade_Parameter
;
----------------------
...
...
src/backends/ocarina-backends-deos_conf-schedule.adb
View file @
b1cd5d65
...
...
@@ -177,8 +177,8 @@ package body Ocarina.Backends.Deos_Conf.Schedule is
-- For now, we assume the partition duration
-- is in milliseconds.
--
Slot_Duration
:=
To_
Milli
seconds
(
Module_Schedule
(
J
).
Duration
)
*
1_000_000
;
Slot_Duration
:=
To_
Nano
seconds
(
Module_Schedule
(
J
).
Duration
);
XTU
.
Add_Attribute
(
"Duration"
,
Trim
(
Unsigned_Long_Long
'
Image
(
Slot_Duration
),
Left
),
...
...
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