Commit d48caaf9 authored by yoogx's avatar yoogx

* Minor reformatting

parent d39b5933
......@@ -1997,7 +1997,6 @@ package body Ocarina.Backends.C_Common.Mapping is
-- they are used only to close the access chain.
if Get_Subprogram_Kind (S) /= Subprogram_Pure_Call_Sequence then
if not AINU.Is_Empty (Features (S)) then
F := AIN.First_Node (Features (S));
......
......@@ -1149,8 +1149,8 @@ package body Ocarina.Backends.C_Common.Subprograms is
if Kind (Feature) = K_Port_Spec_Instance
and then Is_In (Feature)
and then Is_Event (Feature)
and then not Is_Data (Feature) then
and then not Is_Data (Feature)
then
if Get_Port_Compute_Entrypoint (Feature) /= No_Node then
Visit (Get_Port_Compute_Entrypoint (Feature));
end if;
......
......@@ -1798,6 +1798,7 @@ package body Ocarina.Backends.C_Tree.Nutils is
(Make_Defining_Identifier
(To_C_Name (AIN.Display_Name (AIN.Identifier (F)))),
Make_Defining_Identifier (PN (P_Status)));
else
-- (3) If the calleD parameter is connected to
-- the calleR parameter and then then calleR
......
......@@ -2918,7 +2918,6 @@ package body Ocarina.FE_AADL.Parser.Properties.Values is
Owner_Category := New_Node (K_Named_Element, Token_Location);
case Token is
when T_Abstract | T_System
| T_Processor | T_Thread
| T_Process | T_Virtual
......@@ -3027,7 +3026,6 @@ package body Ocarina.FE_AADL.Parser.Properties.Values is
Set_Identifier (Owner_Category, Identifier);
return Owner_Category;
end P_Named_Element;
-------------------------------
......@@ -3218,7 +3216,6 @@ package body Ocarina.FE_AADL.Parser.Properties.Values is
Scan_Token;
if Token = T_Identifier then
case Token_Owner is
when POT_Transition =>
Save_Lexer (Loc2);
......@@ -3415,7 +3412,6 @@ package body Ocarina.FE_AADL.Parser.Properties.Values is
Category : Named_Element;
begin
if Token /= T_Identifier then
DPE (PC_Named_Element_Identifier, T_Identifier);
Category := PO_Error;
......@@ -3477,7 +3473,6 @@ package body Ocarina.FE_AADL.Parser.Properties.Values is
end case;
return Category;
end P_Named_Element_Identifier;
---------------------------------------------
......
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