Commit 97244f62 authored by yoogx's avatar yoogx
Browse files

* Add pragma Elaborate_All

parent 25f610d1
...@@ -32,6 +32,9 @@ ...@@ -32,6 +32,9 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates; with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates;
pragma Elaborate_All
(Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates);
with Types; with Types;
package Ocarina.Instances.REAL_Checker.Queries.Access_Predicates is package Ocarina.Instances.REAL_Checker.Queries.Access_Predicates is
......
...@@ -35,6 +35,9 @@ ...@@ -35,6 +35,9 @@
-- to a user-provided AADL instance -- to a user-provided AADL instance
with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates; with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates;
pragma Elaborate_All
(Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates);
with Types; with Types;
package Ocarina.Instances.REAL_Checker.Queries.Bound_Predicates is package Ocarina.Instances.REAL_Checker.Queries.Bound_Predicates is
......
...@@ -35,6 +35,9 @@ ...@@ -35,6 +35,9 @@
-- by a user-provided AADL instance -- by a user-provided AADL instance
with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates; with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates;
pragma Elaborate_All
(Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates);
with Types; with Types;
package Ocarina.Instances.REAL_Checker.Queries.Call_Predicates is package Ocarina.Instances.REAL_Checker.Queries.Call_Predicates is
......
...@@ -35,6 +35,9 @@ ...@@ -35,6 +35,9 @@
-- to a user-provided AADL instance -- to a user-provided AADL instance
with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates; with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates;
pragma Elaborate_All
(Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates);
with Types; with Types;
package Ocarina.Instances.REAL_Checker.Queries.Connected_Predicates is package Ocarina.Instances.REAL_Checker.Queries.Connected_Predicates is
......
...@@ -35,6 +35,9 @@ ...@@ -35,6 +35,9 @@
-- are passing through a user-provided AADL component instance -- are passing through a user-provided AADL component instance
with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates; with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates;
pragma Elaborate_All
(Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates);
with Types; with Types;
package Ocarina.Instances.REAL_Checker.Queries.Passing_Predicates is package Ocarina.Instances.REAL_Checker.Queries.Passing_Predicates is
......
...@@ -32,6 +32,9 @@ ...@@ -32,6 +32,9 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates; with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates;
pragma Elaborate_All
(Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates);
with Types; with Types;
package Ocarina.Instances.REAL_Checker.Queries.Predecessor_Predicates is package Ocarina.Instances.REAL_Checker.Queries.Predecessor_Predicates is
......
...@@ -32,6 +32,9 @@ ...@@ -32,6 +32,9 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates; with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates;
pragma Elaborate_All
(Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates);
with Types; with Types;
package Ocarina.Instances.REAL_Checker.Queries.Provided_Class_Predicates is package Ocarina.Instances.REAL_Checker.Queries.Provided_Class_Predicates is
......
...@@ -35,6 +35,9 @@ ...@@ -35,6 +35,9 @@
-- subcomponents of a user-provided AADL instance -- subcomponents of a user-provided AADL instance
with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates; with Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates;
pragma Elaborate_All
(Ocarina.Instances.REAL_Checker.Queries.Relational_Predicates);
with Types; with Types;
package Ocarina.Instances.REAL_Checker.Queries.Subcomponent_Predicates is package Ocarina.Instances.REAL_Checker.Queries.Subcomponent_Predicates is
......
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