Skip to content

GitLab

O
Ocarina
Commit 3b8f9bae authored by yoogx's avatar yoogx
Browse files
Options

* Minor corrections, for alignment with XtratuM 4.2.1

parent c94f639e
Hide whitespace changes
Inline Side-by-side
Showing with 67 additions and 43 deletions
src/backends/ocarina-backends-xtratum_conf-partition_table.adb
View file @ 3b8f9bae
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2011-2015 ESA & ISAE. --
-- Copyright (C) 2011-2016 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -186,6 +186,8 @@ package body Ocarina.Backends.Xtratum_Conf.Partition_Table is
Partition_Node := Make_XML_Node ("Partition");
-- a) id of the partition
Set_Str_To_Name_Buffer ("id");
P := Make_Defining_Identifier (Name_Find);
Q := Copy_Node (Backend_Node (Identifier (Associated_Processor)));
......@@ -193,6 +195,8 @@ package body Ocarina.Backends.Xtratum_Conf.Partition_Table is
(Make_Assignement (P, Q),
XTN.Items (Partition_Node));
-- b) name of the partition
Set_Str_To_Name_Buffer ("name");
P := Make_Defining_Identifier (Name_Find);
Get_Name_String
......@@ -202,6 +206,18 @@ package body Ocarina.Backends.Xtratum_Conf.Partition_Table is
(Make_Assignement (P, Q),
XTN.Items (Partition_Node));
-- c) hard-coded configuration parameters, part 1
Set_Str_To_Name_Buffer ("flags");
P := Make_Defining_Identifier (Name_Find);
Set_Str_To_Name_Buffer ("system boot fp");
Q := Make_Defining_Identifier (Name_Find);
Append_Node_To_List
(Make_Assignement (P, Q),
XTN.Items (Partition_Node));
-- d) hard-coded configuration parameters, part 2
Set_Str_To_Name_Buffer ("console");
P := Make_Defining_Identifier (Name_Find);
Set_Str_To_Name_Buffer ("Uart");
......@@ -226,7 +242,7 @@ package body Ocarina.Backends.Xtratum_Conf.Partition_Table is
Set_Str_To_Name_Buffer ("start");
P := Make_Defining_Identifier (Name_Find);
Set_Str_To_Name_Buffer ("0x");
Add_Str_To_Name_Buffer (Unsigned_Long_Long'Image (Base_Address_Value));
Add_ULL_To_Name_Buffer (Base_Address_Value, 16);
Q := Make_Defining_Identifier (Remove_Char (Name_Find, ' '));
......@@ -252,48 +268,54 @@ package body Ocarina.Backends.Xtratum_Conf.Partition_Table is
declare
Slots : constant Time_Array := Get_POK_Slots (Associated_Module);
Slots_Allocation : constant List_Id :=
Get_POK_Slots_Allocation (Associated_Module);
Get_POK_Slots_Allocation (Associated_Module);
Duration : Unsigned_Long_Long := 0;
Major_Frame : constant Unsigned_Long_Long :=
To_Milliseconds (Get_POK_Major_Frame (Associated_Module));
To_Milliseconds (Get_POK_Major_Frame (Associated_Module));
Part : Node_Id;
begin
S := ATN.First_Node (Slots_Allocation);
for I in Slots'Range loop
Part := ATE.Get_Referenced_Entity (S);
if Part = Associated_Processor then
Duration := Duration + To_Milliseconds (Slots (I));
end if;
S := ATN.Next_Node (S);
end loop;
Set_Str_To_Name_Buffer ("duration");
P := Make_Defining_Identifier (Name_Find);
Set_Str_To_Name_Buffer (Unsigned_Long_Long'Image (Duration));
Add_Str_To_Name_Buffer ("ms");
Q := Make_Defining_Identifier (Remove_Char (Name_Find, ' '));
Append_Node_To_List
(Make_Assignement (P, Q),
XTN.Items (Temporal_Req_Node));
Set_Str_To_Name_Buffer ("period");
P := Make_Defining_Identifier (Name_Find);
Set_Str_To_Name_Buffer (Unsigned_Long_Long'Image (Major_Frame));
Add_Str_To_Name_Buffer ("ms");
Q := Make_Defining_Identifier (Remove_Char (Name_Find, ' '));
Append_Node_To_List
(Make_Assignement (P, Q),
XTN.Items (Temporal_Req_Node));
if Present (Slots_Allocation) then
-- XXX this code must be adjusted, the property
-- Slots_Allocation has been deprecated by AADL, and the
-- TemporalRequirements node in XtratuM is reserved for
-- future usage.
S := ATN.First_Node (Slots_Allocation);
for J in Slots'Range loop
Part := ATE.Get_Referenced_Entity (S);
if Part = Associated_Processor then
Duration := Duration + To_Milliseconds (Slots (J));
end if;
S := ATN.Next_Node (S);
end loop;
Set_Str_To_Name_Buffer ("duration");
P := Make_Defining_Identifier (Name_Find);
Set_Str_To_Name_Buffer (Unsigned_Long_Long'Image (Duration));
Add_Str_To_Name_Buffer ("ms");
Q := Make_Defining_Identifier (Remove_Char (Name_Find, ' '));
Append_Node_To_List
(Make_Assignement (P, Q),
XTN.Items (Temporal_Req_Node));
Set_Str_To_Name_Buffer ("period");
P := Make_Defining_Identifier (Name_Find);
Set_Str_To_Name_Buffer (Unsigned_Long_Long'Image (Major_Frame));
Add_Str_To_Name_Buffer ("ms");
Q := Make_Defining_Identifier (Remove_Char (Name_Find, ' '));
Append_Node_To_List
(Make_Assignement (P, Q),
XTN.Items (Temporal_Req_Node));
end if;
end;
Append_Node_To_List (Temporal_Req_Node, XTN.Subitems (Partition_Node));
-- Now, handle the ports of the partition.
if Has_Ports (E) then
Port_Table_Node := Make_XML_Node ("PortTable");
......@@ -301,6 +323,8 @@ package body Ocarina.Backends.Xtratum_Conf.Partition_Table is
while Present (F) loop
if Kind (F) = K_Port_Spec_Instance then
-- XXX move out as REAL checks
if not Is_Data (F) then
Display_Located_Error
(AIN.Loc (F),
......@@ -317,15 +341,6 @@ package body Ocarina.Backends.Xtratum_Conf.Partition_Table is
Port_Node := Make_XML_Node ("Port");
Set_Str_To_Name_Buffer ("name");
P := Make_Defining_Identifier (Name_Find);
Get_Name_String (Display_Name (Identifier (F)));
Q := Make_Defining_Identifier (To_Lower (Name_Find));
Append_Node_To_List
(Make_Assignement (P, Q),
XTN.Items (Port_Node));
Set_Str_To_Name_Buffer ("type");
P := Make_Defining_Identifier (Name_Find);
......@@ -354,6 +369,15 @@ package body Ocarina.Backends.Xtratum_Conf.Partition_Table is
(Make_Assignement (P, Q),
XTN.Items (Port_Node));
Set_Str_To_Name_Buffer ("name");
P := Make_Defining_Identifier (Name_Find);
Get_Name_String (Display_Name (Identifier (F)));
Q := Make_Defining_Identifier (To_Lower (Name_Find));
Append_Node_To_List
(Make_Assignement (P, Q),
XTN.Items (Port_Node));
Append_Node_To_List (Port_Node, XTN.Subitems (Port_Table_Node));
end if;
F := Next_Node (F);
......
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