Commit fa4c6e87 authored by hugues.jerome's avatar hugues.jerome
Browse files

* Minor reformatting



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1743 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 143a7c2b
...@@ -1085,8 +1085,8 @@ package body Ocarina.Analyzer.AADL.Finder is ...@@ -1085,8 +1085,8 @@ package body Ocarina.Analyzer.AADL.Finder is
Pointed_Node : Node_Id := No_Node; Pointed_Node : Node_Id := No_Node;
begin begin
if Kind (Component) = K_Subcomponent_Access if Kind (Component) = K_Subcomponent_Access
and then Component_Category'Val (Subcomponent_Category and then Component_Category'Val (Subcomponent_Category
(Component)) = CC_Subprogram (Component)) = CC_Subprogram
then then
Pointed_Node := Node_In_Scope Pointed_Node := Node_In_Scope
(Declaration_Identifier, Entity_Scope (Declaration_Identifier, Entity_Scope
......
...@@ -49,7 +49,7 @@ package Ocarina.Analyzer.REAL is ...@@ -49,7 +49,7 @@ package Ocarina.Analyzer.REAL is
-- Root procedure of analysis -- Root procedure of analysis
function Analyze_Model (Root : Node_Id) return Boolean; function Analyze_Model (Root : Node_Id) return Boolean;
-- Proceed to both REAL expension and analysis on the whole -- Proceed to both REAL expansion and analysis on the whole
-- AADL model -- AADL model
procedure Register_Library_Theorems (REAL_Library : Node_Id); procedure Register_Library_Theorems (REAL_Library : Node_Id);
......
...@@ -416,10 +416,11 @@ package body Ocarina.ME_AADL.AADL_Instances.Nutils is ...@@ -416,10 +416,11 @@ package body Ocarina.ME_AADL.AADL_Instances.Nutils is
-- 2 - If we deal with a subprogram. -- 2 - If we deal with a subprogram.
-- FIXME: This needs more effort scince a subprogram -- FIXME: This needs more effort since a subprogram
-- name should be Namespace1_Namespace2_..._Spg. -- name should be Namespace1_Namespace2_..._Spg.
Full_Name := Get_Name_Of_Entity (Instance, Display_Name); Full_Name := Get_Name_Of_Entity (Instance, Display_Name);
elsif Get_Category_Of_Component elsif Get_Category_Of_Component
(Parent_Component (Parent_Subcomponent (Instance))) = CC_System (Parent_Component (Parent_Subcomponent (Instance))) = CC_System
and then not Keep_Root_System and then not Keep_Root_System
......
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