Commit 989a5c42 authored by Julien's avatar Julien
Browse files

Update DEOS mapping rules

parent 1e63a777
...@@ -3037,15 +3037,7 @@ package body Ocarina.Backends.C_Common.Mapping is ...@@ -3037,15 +3037,7 @@ package body Ocarina.Backends.C_Common.Mapping is
if Get_Connection_Pattern (E) = Inter_Process and then if Get_Connection_Pattern (E) = Inter_Process and then
POK_Flavor = DEOS POK_Flavor = DEOS
then then
if Is_In (E) then Get_Name_String (Display_Name (Identifier (E)));
Get_Name_String (Display_Name (Identifier (E)));
else
Get_Name_String
(Display_Name
(Identifier
(Item (AIN.First_Node (Destinations (E))))));
end if;
N := Name_Find; N := Name_Find;
else else
N := Map_Port (E, Containing_Component); N := Map_Port (E, Containing_Component);
......
...@@ -36,8 +36,6 @@ package body Ocarina.Backends.Deos_Conf.Mapping is ...@@ -36,8 +36,6 @@ package body Ocarina.Backends.Deos_Conf.Mapping is
package XTN renames Ocarina.Backends.XML_Tree.Nodes; package XTN renames Ocarina.Backends.XML_Tree.Nodes;
package XTU renames Ocarina.Backends.XML_Tree.Nutils; package XTU renames Ocarina.Backends.XML_Tree.Nutils;
function Map_Port_Name (E : Node_Id) return Name_Id;
procedure Map_Scheduler (E : Node_Id; N : Node_Id) is procedure Map_Scheduler (E : Node_Id; N : Node_Id) is
Scheduler : Supported_POK_Scheduler; Scheduler : Supported_POK_Scheduler;
R : Node_Id; R : Node_Id;
......
...@@ -47,4 +47,6 @@ package Ocarina.Backends.Deos_Conf.Mapping is ...@@ -47,4 +47,6 @@ package Ocarina.Backends.Deos_Conf.Mapping is
function Map_Queuing_Port (Port : Node_Id) return Node_Id; function Map_Queuing_Port (Port : Node_Id) return Node_Id;
function Map_Port_Name (E : Node_Id) return Name_Id;
end Ocarina.Backends.Deos_Conf.Mapping; end Ocarina.Backends.Deos_Conf.Mapping;
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