Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
b62abfb4
Commit
b62abfb4
authored
Jun 07, 2018
by
yoogx
Browse files
* Address new style check "use clause xxx has no effect"
For openaadl/ocarina#163
parent
79b4d3a5
Changes
87
Hide whitespace changes
Inline
Side-by-side
src/backends/aadl_pp/ocarina-be_aadl-components-arrays.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -41,7 +41,6 @@ package body Ocarina.BE_AADL.Components.Arrays is
use
Ocarina
.
Output
;
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nodes
;
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nutils
;
use
Ocarina
.
BE_AADL
.
Components
;
use
Ocarina
.
BE_AADL
.
Identifiers
;
use
Ocarina
.
BE_AADL
.
Properties
.
Values
;
...
...
src/backends/aadl_pp/ocarina-be_aadl-components-features.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -42,7 +42,6 @@ package body Ocarina.BE_AADL.Components.Features is
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nodes
;
use
Ocarina
.
BE_AADL
.
Properties
;
use
Ocarina
.
BE_AADL
.
Identifiers
;
use
Ocarina
.
BE_AADL
.
Components
;
use
Ocarina
.
BE_AADL
.
Components
.
Arrays
;
-------------------
...
...
src/backends/aadl_pp/ocarina-be_aadl-components-prototypes.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -38,7 +38,6 @@ package body Ocarina.BE_AADL.Components.Prototypes is
use
Ocarina
.
Output
;
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nodes
;
use
Ocarina
.
BE_AADL
.
Components
;
use
Ocarina
.
BE_AADL
.
Identifiers
;
---------------------
...
...
src/backends/aadl_pp/ocarina-be_aadl-components-subcomponents.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -46,7 +46,6 @@ package body Ocarina.BE_AADL.Components.Subcomponents is
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nutils
;
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nodes
;
use
Ocarina
.
BE_AADL
.
Properties
;
use
Ocarina
.
BE_AADL
.
Components
;
use
Ocarina
.
BE_AADL
.
Components
.
Modes
;
use
Ocarina
.
BE_AADL
.
Components
.
Prototypes
;
use
Ocarina
.
BE_AADL
.
Components
.
Arrays
;
...
...
src/backends/aadl_pp/ocarina-be_aadl-properties-values.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -51,7 +51,6 @@ package body Ocarina.BE_AADL.Properties.Values is
use
Ocarina
.
ME_AADL
;
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nodes
;
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nutils
;
use
Ocarina
.
AADL_Values
;
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Entities
.
Properties
;
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Entities
;
use
Ocarina
.
BE_AADL
.
Identifiers
;
...
...
src/backends/aadl_pp/ocarina-be_aadl_ba-expressions.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
6
ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -43,7 +43,7 @@ with Ocarina.BE_AADL_BA.Actions;
package
body
Ocarina
.
BE_AADL_BA
.
Expressions
is
use
Ocarina
.
Output
;
use
Ocarina
.
AADL_Values
;
use
Ocarina
.
ME_AADL_BA
;
use
Ocarina
.
ME_AADL_BA
.
BA_Tree
.
Nutils
;
use
Ocarina
.
ME_AADL_BA
.
BA_Tree
.
Nodes
;
...
...
src/backends/aadl_xml/ocarina-backends-aadl_xml-mapping.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2011-201
5
ESA & ISAE. --
-- Copyright (C) 2011-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -39,7 +39,6 @@ with Ocarina.Backends.XML_Tree.Nutils;
package
body
Ocarina
.
Backends
.
AADL_XML
.
Mapping
is
use
Ocarina
.
ME_AADL
;
use
Ocarina
.
ME_AADL
.
AADL_Instances
.
Nodes
;
use
Ocarina
.
Backends
.
XML_Tree
.
Nodes
;
...
...
src/backends/air_conf/ocarina-backends-air_conf.adb
View file @
b62abfb4
...
...
@@ -50,13 +50,8 @@ package body Ocarina.Backends.AIR_Conf is
use
Ocarina
.
ME_AADL
.
AADL_Instances
.
Nodes
;
use
Ocarina
.
Backends
.
Expander
;
use
Ocarina
.
Backends
.
Messages
;
use
Ocarina
.
Backends
.
XML_Tree
.
Generator
;
use
Ocarina
.
Backends
.
Utils
;
use
Ocarina
.
Backends
.
AIR_Conf
.
Module
;
use
Ocarina
.
Backends
.
AIR_Conf
.
AIR_Configuration
;
use
Ocarina
.
Backends
.
AIR_Conf
.
Partitions
;
package
XTN
renames
Ocarina
.
Backends
.
XML_Tree
.
Nodes
;
package
XTU
renames
Ocarina
.
Backends
.
XML_Tree
.
Nutils
;
...
...
src/backends/arinc653/ocarina-backends-pok_c.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -59,14 +59,8 @@ package body Ocarina.Backends.POK_C is
use
Ocarina
.
Instances
;
use
Ocarina
.
Backends
.
Expander
;
use
Ocarina
.
Backends
.
Messages
;
use
Ocarina
.
Backends
.
C_Tree
.
Generator
;
use
Ocarina
.
Backends
.
Utils
;
use
Ocarina
.
Backends
.
Execution_Utils
;
use
Ocarina
.
Backends
.
Execution_Tests
;
use
Ocarina
.
Backends
.
POK_C
.
Deployment
;
use
Ocarina
.
Backends
.
POK_C
.
Naming
;
use
Ocarina
.
Backends
.
XML_Tree
.
Generator
;
use
Ocarina
.
Backends
.
ARINC653_Conf
;
package
CTN
renames
Ocarina
.
Backends
.
C_Tree
.
Nodes
;
package
CTU
renames
Ocarina
.
Backends
.
C_Tree
.
Nutils
;
...
...
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-scheduling.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -50,7 +50,6 @@ package body Ocarina.Backends.ARINC653_Conf.Scheduling is
use
Ocarina
.
ME_AADL
.
AADL_Instances
.
Entities
;
use
Ocarina
.
Backends
.
Utils
;
use
Ocarina
.
Backends
.
Properties
;
use
Ocarina
.
Backends
.
XML_Values
;
use
Ocarina
.
Backends
.
XML_Tree
.
Nutils
;
use
Ocarina
.
Backends
.
ARINC653_Conf
.
Mapping
;
...
...
src/backends/arinc653_conf/ocarina-backends-arinc653_conf.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -51,7 +51,6 @@ package body Ocarina.Backends.ARINC653_Conf is
use
Ocarina
.
Instances
;
use
Ocarina
.
Backends
.
Expander
;
use
Ocarina
.
Backends
.
Messages
;
use
Ocarina
.
Backends
.
XML_Tree
.
Generator
;
use
Ocarina
.
Backends
.
Utils
;
package
XTN
renames
Ocarina
.
Backends
.
XML_Tree
.
Nodes
;
...
...
src/backends/asn1_deployment/ocarina-backends-asn1.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -40,8 +40,6 @@ with Ocarina.Backends.Utils;
package
body
Ocarina
.
Backends
.
ASN1
is
use
Ocarina
.
Backends
.
Messages
;
use
Ocarina
.
Backends
.
ASN1_Tree
.
Generator
;
use
Ocarina
.
Backends
.
ASN1_Tree
.
Nutils
;
use
Ocarina
.
Backends
.
Utils
;
use
Ocarina
.
Backends
.
Expander
;
use
Ocarina
.
Instances
;
...
...
src/backends/ast_asn1/ocarina-backends-asn1_tree-nutils.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -62,8 +62,6 @@ package body Ocarina.Backends.ASN1_Tree.Nutils is
10
,
10
);
use
Entity_Stack
;
procedure
New_Operator
(
O
:
Operator_Type
;
I
:
String
:=
""
);
------------------------
...
...
src/backends/cheddar/ocarina-backends-pok_cheddar.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -52,7 +52,6 @@ package body Ocarina.Backends.POK_Cheddar is
use
Ocarina
.
Backends
.
Expander
;
use
Ocarina
.
Backends
.
Messages
;
use
Ocarina
.
Backends
.
Properties
;
use
Ocarina
.
Backends
.
XML_Tree
.
Generator
;
use
Ocarina
.
Backends
.
Utils
;
use
Ocarina
.
ME_AADL
;
use
Ocarina
.
ME_AADL
.
AADL_Instances
.
Nodes
;
...
...
src/backends/connection_matrix/ocarina-backends-connection_matrix.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2011-201
5
ESA & ISAE. --
-- Copyright (C) 2011-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -41,7 +41,6 @@ package body Ocarina.Backends.Connection_Matrix is
use
Ocarina
.
Instances
;
use
Ocarina
.
Backends
.
Expander
;
use
Ocarina
.
Backends
.
Messages
;
use
Ocarina
.
Backends
.
XML_Tree
.
Generator
;
use
Ocarina
.
Backends
.
Utils
;
procedure
Visit_Architecture_Instance
(
E
:
Node_Id
);
...
...
src/backends/deos_conf/ocarina-backends-deos_conf-partitions.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2014-201
5
ESA & ISAE. --
-- Copyright (C) 2014-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -29,9 +29,6 @@
-- --
------------------------------------------------------------------------------
-- with Ada.Strings; use Ada.Strings;
-- with Ada.Strings.Fixed; use Ada.Strings.Fixed;
with
Ada
.
Text_IO
;
with
Ada
.
Integer_Text_IO
;
with
Ocarina
.
Backends
.
Messages
;
with
Ocarina
.
ME_AADL
;
...
...
@@ -47,7 +44,6 @@ with Ocarina.Backends.Deos_Conf.Mapping;
package
body
Ocarina
.
Backends
.
Deos_Conf
.
Partitions
is
use
Ada
.
Text_IO
;
use
Ada
.
Integer_Text_IO
;
use
Ocarina
.
ME_AADL
;
...
...
src/backends/deos_conf/ocarina-backends-deos_conf.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2014-201
5
ESA & ISAE. --
-- Copyright (C) 2014-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -48,9 +48,6 @@ package body Ocarina.Backends.Deos_Conf is
use
Ocarina
.
Instances
;
use
Ocarina
.
Backends
.
Expander
;
use
Ocarina
.
Backends
.
Messages
;
use
Ocarina
.
Backends
.
XML_Tree
.
Generator
;
use
Ocarina
.
Backends
.
Deos_Conf
.
Naming
;
use
Ocarina
.
Backends
.
Deos_Conf
.
Partitions
;
use
Ocarina
.
Backends
.
Utils
;
package
XTN
renames
Ocarina
.
Backends
.
XML_Tree
.
Nodes
;
...
...
src/backends/functions_matrix/ocarina-backends-functions_matrix.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2011-201
5
ESA & ISAE. --
-- Copyright (C) 2011-201
8
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -41,7 +41,6 @@ package body Ocarina.Backends.Functions_Matrix is
use
Ocarina
.
Instances
;
use
Ocarina
.
Backends
.
Expander
;
use
Ocarina
.
Backends
.
Messages
;
use
Ocarina
.
Backends
.
XML_Tree
.
Generator
;
use
Ocarina
.
Backends
.
Utils
;
procedure
Visit_Architecture_Instance
(
E
:
Node_Id
);
...
...
src/backends/lnt/ocarina-backends-lnt-tree_generator.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
--
Copyright (C) 2016 ESA & ISAE.
--
-- Copyright (C) 2016
-2018
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -46,7 +46,6 @@ package body Ocarina.Backends.LNT.Tree_Generator is
package
AIN
renames
Ocarina
.
ME_AADL
.
AADL_Instances
.
Nodes
;
package
AINu
renames
Ocarina
.
ME_AADL
.
AADL_Instances
.
Nutils
;
use
AIN
;
use
AINu
;
procedure
Get_N_Thread
(
Sys
:
Node_Id
;
Thread_Number
:
in
out
Natural
;
...
...
src/backends/lnt/ocarina-backends-lnt-tree_generator_main.adb
View file @
b62abfb4
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
--
Copyright (C) 2016 ESA & ISAE.
--
-- Copyright (C) 2016
-2018
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -59,7 +59,6 @@ package body Ocarina.Backends.LNT.Tree_Generator_Main is
package
AIN
renames
Ocarina
.
ME_AADL
.
AADL_Instances
.
Nodes
;
package
AINu
renames
Ocarina
.
ME_AADL
.
AADL_Instances
.
Nutils
;
use
AIN
;
use
AINu
;
package
BLN
renames
Ocarina
.
Backends
.
LNT
.
Nodes
;
package
BLNu
renames
Ocarina
.
Backends
.
LNT
.
Nutils
;
...
...
Prev
1
2
3
4
5
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment