Commit 9d99349f authored by jhugues's avatar jhugues

* Minor reformatting



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2654 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent a3fb360e
......@@ -1252,7 +1252,6 @@ package body Ocarina.Backends.PO_HI_Ada.Activity is
O := First_Node (Subcomponents (E));
while Present (O) loop
if AINU.Is_Data (Corresponding_Instance (O)) then
N := Make_Object_Declaration
(Defining_Identifier => Map_Ada_Defining_Identifier (O),
......
......@@ -511,7 +511,8 @@ package body Ocarina.Analyzer.Messages is
Write_Str (", which is not of an adequate kind");
end if;
else
Write_Str (" does not point to anything or to something unreachable");
Write_Str
(" does not point to anything or to something unreachable");
end if;
Write_Eol;
......
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009, GET-Telecom Paris. --
-- Copyright (C) 2009-2011, GET-Telecom Paris. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
......@@ -99,6 +99,7 @@ package body Ocarina.Builder.Aadl_Ba.Specifications is
-------------------------------
-- Add_New_Behavior_Variable --
-------------------------------
function Add_New_Behavior_Variable
(Loc : Location;
Container : Node_Id;
......
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009, GET-Telecom Paris. --
-- Copyright (C) 2009-2011, GET-Telecom Paris. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
......@@ -50,11 +50,13 @@ package body Ocarina.Builder.AADL_BA.Thread_Dispatch is
Frozen_Port_List : List_Id)
return Node_Id
is
pragma Assert (No (Container)
pragma Assert (False
or else No (Container)
or else Kind (Container) = K_Behavior_Condition);
Dispatch_Condition : constant Node_Id := New_Node (K_Dispatch_Condition,
Loc);
Dispatch_Condition : constant Node_Id
:= New_Node (K_Dispatch_Condition, Loc);
begin
Add_New_Dispatch_Condition (Dispatch_Condition,
Container,
......@@ -66,13 +68,8 @@ package body Ocarina.Builder.AADL_BA.Thread_Dispatch is
end if;
return Dispatch_Condition;
end Add_New_Dispatch_Condition;
--------------------------------
-- Add_New_Dispatch_Condition --
--------------------------------
procedure Add_New_Dispatch_Condition
(Dispatch_Condition : Node_Id;
Container : Node_Id := No_Node;
......@@ -93,7 +90,6 @@ package body Ocarina.Builder.AADL_BA.Thread_Dispatch is
if not Is_Empty (Frozen_Port_List) then
Set_Frozen_Ports (Dispatch_Condition, Frozen_Port_List);
end if;
end Add_New_Dispatch_Condition;
------------------------------
......
......@@ -284,6 +284,7 @@ package body Ocarina.ME_AADL.AADL_Tree.Entities is
begin
if Kind (Entity_Ref) = K_Reference_Term then
return Entity (Reference_Term (Entity_Ref));
elsif Present (Entity (Entity_Ref))
and then Kind (Entity (Entity_Ref)) = K_Subprogram_Spec
and then Present (Ocarina.Me_AADL.AADL_Tree.Nodes.Entity_Ref
......
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009, GET-Telecom Paris. --
-- Copyright (C) 2009-2011, GET-Telecom Paris. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
......
......@@ -926,7 +926,6 @@ package body Ocarina.FE_AADL_BA.Parser.Expressions is
else
return Behavior_Time;
end if;
end P_Behavior_Time;
end Ocarina.FE_AADL_BA.Parser.Expressions;
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