Commit d62799a8 authored by jhugues's avatar jhugues
Browse files

* Minor reformatting



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5936 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent b682b081
...@@ -35,30 +35,30 @@ package Ocarina.Backends.PN.Components is ...@@ -35,30 +35,30 @@ package Ocarina.Backends.PN.Components is
function Process_Architecture_Instance function Process_Architecture_Instance
(Architecture_Instance : Types.Node_Id; (Architecture_Instance : Types.Node_Id;
F : Unsigned_Long_Long) F : Unsigned_Long_Long) -- 0 for CPN, 1 for TPN
return Types.Node_Id; return Types.Node_Id;
-- Transform the ocarina tree of the distributed application -- Transform the Ocarina tree of the distributed application nodes
-- nodes into a petrinet (pn) tree. -- into a Petri Net (pn) tree.
private private
type Pn_Init_Node is access procedure (N : Types.Node_Id; type PN_Init_Node is access procedure (N : Types.Node_Id;
A : Types.Node_Id; A : Types.Node_Id;
Name : Types.Name_Id; Name : Types.Name_Id;
Pn_G : Types.Node_Id; PN_G : Types.Node_Id;
M : Unsigned_Long_Long); M : Unsigned_Long_Long);
type Pn_Init_Arc is access procedure (N : Types.Node_Id; type PN_Init_Arc is access procedure (N : Types.Node_Id;
A : Types.Node_Id; A : Types.Node_Id;
F : Types.Node_Id; F : Types.Node_Id;
T : Types.Node_Id; T : Types.Node_Id;
K : Unsigned_Long_Long); K : Unsigned_Long_Long);
type Pn_Dup_Arc is access procedure (A : Types.Node_Id; type PN_Dup_Arc is access procedure (A : Types.Node_Id;
A_Inst : Types.Node_Id; A_Inst : Types.Node_Id;
Endpoint : Types.Node_Id; Endpoint : Types.Node_Id;
From : Boolean); From : Boolean);
type Pn_New_Node is access function return Types.Node_Id; type PN_New_Node is access function return Types.Node_Id;
end Ocarina.Backends.PN.Components; end Ocarina.Backends.PN.Components;
This diff is collapsed.
...@@ -35,148 +35,148 @@ with Types; ...@@ -35,148 +35,148 @@ with Types;
package Ocarina.Backends.PN.Iutils is package Ocarina.Backends.PN.Iutils is
function Pn_Get_New_Pn_Generated function PN_Get_New_PN_Generated
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_Pn_Generated procedure PN_Init_PN_Generated
(G : Types.Node_Id; (G : Types.Node_Id;
F : Types.Value_Id); F : Types.Value_Id);
function Pn_Get_New_TPn_Informations function PN_Get_New_TPN_Informations
return Types.Node_Id; return Types.Node_Id;
function Pn_Get_New_Processor_Priority function PN_Get_New_Processor_Priority
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_Processor_Priority procedure PN_Init_Processor_Priority
(Pn_Proc : Types.Node_Id; (PN_Proc : Types.Node_Id;
Aadl_P : Types.Node_Id); Aadl_P : Types.Node_Id);
procedure Append_Trans_To_Processor procedure Append_Trans_To_Processor
(Pn_T : Types.Node_Id; (PN_T : Types.Node_Id;
Pn_Proc : Types.Node_Id); PN_Proc : Types.Node_Id);
function Pn_Get_New_Processor_Pattern function PN_Get_New_Processor_Pattern
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_Processor_Pattern procedure PN_Init_Processor_Pattern
(Pn_Proc : Types.Node_Id; (PN_Proc : Types.Node_Id;
Aadl_P : Types.Node_Id); Aadl_P : Types.Node_Id);
function Pn_Get_New_Thread_Pattern function PN_Get_New_Thread_Pattern
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_Thread_Pattern procedure PN_Init_Thread_Pattern
(Pn_T : Types.Node_Id; (PN_T : Types.Node_Id;
Aadl_T : Types.Node_Id); Aadl_T : Types.Node_Id);
function Pn_Get_New_Port_Pattern function PN_Get_New_Port_Pattern
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_Port_Pattern procedure PN_Init_Port_Pattern
(Pn_P : Types.Node_Id; (PN_P : Types.Node_Id;
Aadl_P : Types.Node_Id); Aadl_P : Types.Node_Id);
function Pn_Get_New_D_Port_Pattern function PN_Get_New_D_Port_Pattern
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_D_Port_Pattern procedure PN_Init_D_Port_Pattern
(Pn_DP : Types.Node_Id; (PN_DP : Types.Node_Id;
Aadl_DP : Types.Node_Id); Aadl_DP : Types.Node_Id);
function Pn_Get_New_ED_Port_Pattern function PN_Get_New_ED_Port_Pattern
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_ED_Port_Pattern procedure PN_Init_ED_Port_Pattern
(Pn_DEP : Types.Node_Id; (PN_DEP : Types.Node_Id;
Aadl_DEP : Types.Node_Id); Aadl_DEP : Types.Node_Id);
function Pn_Get_New_Call_Seq_Pattern function PN_Get_New_Call_Seq_Pattern
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_Call_Seq_Pattern procedure PN_Init_Call_Seq_Pattern
(Pn_CS : Types.Node_Id; (PN_CS : Types.Node_Id;
Aadl_T : Types.Node_Id); Aadl_T : Types.Node_Id);
function Pn_Get_New_Spg_Pattern function PN_Get_New_Spg_Pattern
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_Spg_Pattern procedure PN_Init_Spg_Pattern
(Pn_Spg : Types.Node_Id; (PN_Spg : Types.Node_Id;
Aadl_Spg : Types.Node_Id); Aadl_Spg : Types.Node_Id);
function Pn_Get_New_Spg_Par_Pattern function PN_Get_New_Spg_Par_Pattern
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Init_Spg_Par_Pattern procedure PN_Init_Spg_Par_Pattern
(Pn_Spg_Par : Types.Node_Id; (PN_Spg_Par : Types.Node_Id;
Aadl_Spg_Par : Types.Node_Id); Aadl_Spg_Par : Types.Node_Id);
procedure Pn_Init_Pn_Component procedure PN_Init_PN_Component
(Pn_C : Types.Node_Id; (PN_C : Types.Node_Id;
Aadl_C : Types.Node_Id); Aadl_C : Types.Node_Id);
procedure Pn_Init_Pn_Node procedure PN_Init_PN_Node
(Pn_N : Types.Node_Id; (PN_N : Types.Node_Id;
Aadl_N : Types.Node_Id; Aadl_N : Types.Node_Id;
Name : Types.Name_id); Name : Types.Name_id);
procedure Pn_Init_Node procedure PN_Init_Node
(N : Types.Node_Id); (N : Types.Node_Id);
procedure Pn_Tpn_Init_Place procedure PN_TPN_Init_Place
(P : Types.Node_Id; (P : Types.Node_Id;
Aadl : Types.Node_Id; Aadl : Types.Node_Id;
Name : Types.Name_Id; Name : Types.Name_Id;
Pn_G : Types.Node_Id; PN_G : Types.Node_Id;
M : Unsigned_Long_Long); M : Unsigned_Long_Long);
procedure Pn_Init_Place procedure PN_Init_Place
(P : Types.Node_Id; (P : Types.Node_Id;
Aadl : Types.Node_Id; Aadl : Types.Node_Id;
Name : Types.Name_Id); Name : Types.Name_Id);
function Pn_Tpn_Get_New_Place function PN_TPN_Get_New_Place
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Tpn_Init_Transition procedure PN_TPN_Init_Transition
(T : Types.Node_Id; (T : Types.Node_Id;
Aadl : Types.Node_Id; Aadl : Types.Node_Id;
Name : Types.Name_Id; Name : Types.Name_Id;
Pn_G : Types.Node_Id; PN_G : Types.Node_Id;
M : Unsigned_Long_Long); M : Unsigned_Long_Long);
procedure Pn_Init_Transition procedure PN_Init_Transition
(T : Types.Node_Id; (T : Types.Node_Id;
Aadl : Types.Node_Id; Aadl : Types.Node_Id;
Name : Types.Name_Id); Name : Types.Name_Id);
function Pn_Tpn_Get_New_Transition function PN_TPN_Get_New_Transition
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Tpn_Set_Guard procedure PN_TPN_Set_Guard
(T : Types.Node_Id; (T : Types.Node_Id;
Low, Up : Types.Value_Id; Low, Up : Types.Value_Id;
Braces_Mode : Types.Value_Id; Braces_Mode : Types.Value_Id;
Priority : Types.Value_Id); Priority : Types.Value_Id);
function Pn_Tpn_Get_New_Arc function PN_TPN_Get_New_Arc
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Tpn_Init_Arc procedure PN_TPN_Init_Arc
(A : Types.Node_Id; (A : Types.Node_Id;
Aadl : Types.Node_Id; Aadl : Types.Node_Id;
From : Types.Node_Id := No_Node; From : Types.Node_Id := No_Node;
To : Types.Node_Id := No_Node; To : Types.Node_Id := No_Node;
K : Unsigned_Long_Long := 0); K : Unsigned_Long_Long := 0);
procedure Pn_Tpn_Duplicate_Arc procedure PN_TPN_Duplicate_Arc
(A : Types.Node_Id; (A : Types.Node_Id;
A_Inst : Types.Node_Id; A_Inst : Types.Node_Id;
Endpoint : Types.Node_Id; Endpoint : Types.Node_Id;
From : Boolean := False); From : Boolean := False);
procedure Pn_Init_Arc procedure PN_Init_Arc
(A : Types.Node_Id; (A : Types.Node_Id;
Aadl : Types.Node_Id; Aadl : Types.Node_Id;
From : Types.Node_Id; From : Types.Node_Id;
...@@ -185,40 +185,40 @@ package Ocarina.Backends.PN.Iutils is ...@@ -185,40 +185,40 @@ package Ocarina.Backends.PN.Iutils is
---------------------- ----------------------
function Pn_Get_New_CPn_Informations function PN_Get_New_CPN_Informations
return Types.Node_Id; return Types.Node_Id;
function Pn_Cpn_Get_New_Place function PN_CPN_Get_New_Place
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Cpn_Init_Place procedure PN_CPN_Init_Place
(P : Types.Node_Id; (P : Types.Node_Id;
Aadl : Types.Node_Id; Aadl : Types.Node_Id;
Name : Types.Name_Id; Name : Types.Name_Id;
Pn_G : Types.Node_Id; PN_G : Types.Node_Id;
M : Unsigned_Long_Long); M : Unsigned_Long_Long);
function Pn_Cpn_Get_New_Transition function PN_CPN_Get_New_Transition
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Cpn_Init_Transition procedure PN_CPN_Init_Transition
(T : Types.Node_Id; (T : Types.Node_Id;
Aadl : Types.Node_Id; Aadl : Types.Node_Id;
Name : Types.Name_Id; Name : Types.Name_Id;
Pn_G : Types.Node_Id; PN_G : Types.Node_Id;
M : Unsigned_Long_Long); M : Unsigned_Long_Long);
function Pn_Cpn_Get_New_Arc function PN_CPN_Get_New_Arc
return Types.Node_Id; return Types.Node_Id;
procedure Pn_Cpn_Init_Arc procedure PN_CPN_Init_Arc
(A : Types.Node_Id; (A : Types.Node_Id;
Aadl : Types.Node_Id; Aadl : Types.Node_Id;
From : Types.Node_Id := No_Node; From : Types.Node_Id := No_Node;
To : Types.Node_Id := No_Node; To : Types.Node_Id := No_Node;
K : Unsigned_Long_Long); K : Unsigned_Long_Long);
procedure Pn_Cpn_Duplicate_Arc procedure PN_CPN_Duplicate_Arc
(A : Types.Node_Id; (A : Types.Node_Id;
A_Inst : Types.Node_Id; A_Inst : Types.Node_Id;
Endpoint : Types.Node_Id; Endpoint : Types.Node_Id;
......
...@@ -51,21 +51,24 @@ package body Ocarina.Backends.PN is ...@@ -51,21 +51,24 @@ package body Ocarina.Backends.PN is
package OPFT renames Ocarina.Backends.PN.Format.Tina; package OPFT renames Ocarina.Backends.PN.Format.Tina;
package OPFC renames Ocarina.Backends.PN.Format.Cami; package OPFC renames Ocarina.Backends.PN.Format.Cami;
-------------- use Namet;
-- Generate -- use Ocarina.Instances;
-------------- use Ocarina.Backends.Expander;
use Ocarina.Backends.PN.Components;
procedure Generate (AADL_Root : Types.Node_Id) is use Ocarina.Backends.PN.Printer;
use Namet; use OPFT;
use Ocarina.Instances; use OPFC;
use Ocarina.Backends.Expander; use Output;
use Ocarina.Backends.PN.Components; use Ocarina.Backends.Utils;
use Ocarina.Backends.PN.Printer;
use OPFT; procedure Generate_TINA (AADL_Root : Types.Node_Id);
use OPFC; procedure Generate_CAMI (AADL_Root : Types.Node_Id);
use Output;
use Ocarina.Backends.Utils; -------------------
-- Generate_TINA --
-------------------
procedure Generate_TINA (AADL_Root : Types.Node_Id) is
Pn_Generated, Instance_Root : Node_Id; Pn_Generated, Instance_Root : Node_Id;
pragma Warnings (Off, Pn_Generated); pragma Warnings (Off, Pn_Generated);
...@@ -101,8 +104,17 @@ package body Ocarina.Backends.PN is ...@@ -101,8 +104,17 @@ package body Ocarina.Backends.PN is
Write_Line ("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"); Write_Line ("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~");
Print_Pn_Generated (Pn_Generated); Print_Pn_Generated (Pn_Generated);
end if; end if;
end Generate_TINA;
Reset_Handlings; -------------------
-- Generate_CAMI --
-------------------
procedure Generate_CAMI (AADL_Root : Types.Node_Id) is
Pn_Generated, Instance_Root : Node_Id;
pragma Warnings (Off, Pn_Generated);
begin
----------- -----------
-- work for CPN generation -- work for CPN generation
...@@ -129,7 +141,17 @@ package body Ocarina.Backends.PN is ...@@ -129,7 +141,17 @@ package body Ocarina.Backends.PN is
Write_Line ("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"); Write_Line ("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~");
Print_Pn_Generated (Pn_Generated); Print_Pn_Generated (Pn_Generated);
end if; end if;
end Generate_CAMI;
--------------
-- Generate --
--------------
procedure Generate (AADL_Root : Types.Node_Id) is
begin
Generate_TINA (AADL_Root);
Reset_Handlings;
Generate_CAMI (AADL_Root);
end Generate; end Generate;
---------- ----------
...@@ -137,7 +159,6 @@ package body Ocarina.Backends.PN is ...@@ -137,7 +159,6 @@ package body Ocarina.Backends.PN is
---------- ----------
procedure Init is procedure Init is
use Namet;
begin begin
Set_Str_To_Name_Buffer ("_"); Set_Str_To_Name_Buffer ("_");
Separator := Name_Find; Separator := Name_Find;
......
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