Commit b00557a6 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Remove unnecessary use clauses

parent 1b5d4e9f
......@@ -401,7 +401,7 @@ package body TASTE.Backend.Code_Generators is
function Interface_Template (TI : Taste_Interface)
return Interface_As_Template
is
use Template_Vectors;
-- use Template_Vectors;
Result : Interface_As_Template;
Param_Names : Vector_Tag;
Param_Types : Vector_Tag;
......
......@@ -20,8 +20,8 @@ use Ada.Containers,
package TASTE.Concurrency_View is
use Option_UString;
use Option_ULL;
-- use Option_UString;
-- use Option_ULL;
-- Exceptions specific to the Concurrency View
Concurrency_View_Error : exception;
......
......@@ -23,7 +23,7 @@ package body TASTE.Data_View is
use Locations,
Ocarina.Instances.Queries,
Ocarina.Namet,
Ocarina.Analyzer,
-- Ocarina.Analyzer,
Ocarina.Backends.Properties,
Ocarina.Options,
Ocarina.Instances,
......
......@@ -27,7 +27,7 @@ package body TASTE.Deployment_View is
System.Assertions,
Ocarina.Instances.Queries,
Ocarina.Namet,
Ocarina.Files,
-- Ocarina.Files,
Ocarina.FE_AADL.Parser,
Locations,
Ocarina.ME_AADL.AADL_Instances.Nodes,
......@@ -75,8 +75,8 @@ package body TASTE.Deployment_View is
function Parse_Deployment_View (System : Node_Id)
return Complete_Deployment_View
is
use type Node_Maps.Map;
use type Taste_Busses.Vector;
-- use type Node_Maps.Map;
-- use type Taste_Busses.Vector;
use type Bus_Connections.Vector;
Nodes : Node_Maps.Map;
......
......@@ -24,9 +24,7 @@ use Ada.Containers,
package TASTE.Deployment_View is
use Option_UString,
Option_ULL,
String_Vectors,
use String_Vectors,
String_Sets;
-- Exceptions specific to the deployment view
......
......@@ -23,10 +23,10 @@ package body TASTE.Interface_View is
use Ada.Exceptions,
Ocarina.Instances.Queries,
Ocarina.Namet,
Ocarina.Analyzer,
-- Ocarina.Analyzer,
Ocarina.Options,
Ocarina.Instances,
Ocarina.Backends.Properties,
Ocarina.Backends.Properties,
Ocarina.ME_AADL.AADL_Instances.Nodes,
Ocarina.ME_AADL.AADL_Instances.Nutils,
Ocarina.ME_AADL.AADL_Instances.Entities,
......@@ -292,7 +292,7 @@ package body TASTE.Interface_View is
use type Channels.Vector;
use type Ctxt_Params.Vector;
use type Parameters.Vector;
use type Connection_Maps.Map;
-- use type Connection_Maps.Map;
System : Node_Id;
Success : Boolean;
Functions : Function_Maps.Map;
......
......@@ -22,8 +22,8 @@ package body TASTE.Parser_Utils is
GNAT.Command_Line,
Templates_Parser,
Templates_Parser.Utils,
Ocarina.Instances.Queries,
Ocarina.ME_AADL;
Ocarina.Instances.Queries;
-- Ocarina.ME_AADL;
procedure Put_Info (Info : String) is
begin
......
......@@ -111,10 +111,10 @@ package TASTE.Parser_Utils is
(Get_Name_String (AIN.Display_Name (AIN.Identifier (N))));
package Option_UString is new Option_Type (Unbounded_String);
use Option_UString;
-- use Option_UString;
subtype Optional_Unbounded_String is Option_UString.Option;
package Option_ULL is new Option_Type (Unsigned_Long_Long);
use Option_ULL;
-- use Option_ULL;
subtype Optional_Long_Long is Option_ULL.Option;
procedure Initialize_Ocarina;
......
......@@ -14,7 +14,7 @@ use Ada.Strings.Unbounded,
TASTE.Parser_Utils;
package body TASTE.Semantic_Check is
use String_Vectors;
-- use String_Vectors;
procedure Check_Model (Model : TASTE_Model) is
use Option_Partition;
Opt_Part : Option_Partition.Option;
......
Supports Markdown
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