summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/directed_graphs.adb13
-rw-r--r--src/directed_graphs.ads20
2 files changed, 20 insertions, 13 deletions
diff --git a/src/directed_graphs.adb b/src/directed_graphs.adb
index 7641d75..3446247 100644
--- a/src/directed_graphs.adb
+++ b/src/directed_graphs.adb
@@ -10,19 +10,6 @@ package body Directed_Graphs is
- generic
- type Base_Type is private;
- type Array_Type is array (Positive range <>) of Base_Type;
- with package Type_Vectors is new Ada.Containers.Vectors
- (Index_Type => Positive,
- Element_Type => Base_Type);
- function Vector_To_Array
- (Input : in Type_Vectors.Vector)
- return Array_Type;
-
-
-
-
---------
-- "<" --
---------
diff --git a/src/directed_graphs.ads b/src/directed_graphs.ads
index 826455a..db32902 100644
--- a/src/directed_graphs.ads
+++ b/src/directed_graphs.ads
@@ -34,6 +34,12 @@ generic
package Directed_Graphs is
+ pragma Preelaborate;
+ pragma Remote_Types;
+
+
+
+
subtype Extended_Node_Type is Node_Type'Base
range Node_Type'Pred (Node_Type'First) .. Node_Type'Succ
(Node_Type'Min (Node_Type'Base'Pred (Node_Type'Base'Last), Node_Type'Last));
@@ -64,6 +70,7 @@ package Directed_Graphs is
type Graph is tagged private;
type Cursor is private;
+ pragma Preelaborable_Initialization (Cursor);
No_Element : constant Cursor;
@@ -841,6 +848,19 @@ private
return Cursor;
+
+
+ generic
+ type Base_Type is private;
+ type Array_Type is array (Positive range <>) of Base_Type;
+ with package Type_Vectors is new Ada.Containers.Vectors
+ (Index_Type => Positive,
+ Element_Type => Base_Type);
+ function Vector_To_Array
+ (Input : in Type_Vectors.Vector)
+ return Array_Type;
+
+
end Directed_Graphs;