diff --git a/src/grl-coordinates.ads b/src/grl-coordinates.ads index 862ce3f..0210e25 100644 --- a/src/grl-coordinates.ads +++ b/src/grl-coordinates.ads @@ -1,3 +1,6 @@ +generic + type Meta is private; + type H is digits <>; package Grl.Coordinates with SPARK_Mode => On is @@ -59,7 +62,7 @@ is Format_DMS.Cardinal_Lat in North | South and then Format_DMS.Cardinal_Lon in East | West; - -- DDM + -- DDM type Format_DDM is record Degree_Lat : DM_Degree_Lat; Degree_Lon : DM_Degree_Lon; @@ -92,6 +95,15 @@ is end case; end record; + -- ------------------------ -- + -- Location Type Definition -- + -- ------------------------ -- + type Location is record + Where : Coordinate; + Heuristic : H; + Data : Meta; + end record; + -- ---------------------------- -- -- Converter / helper functions -- -- ---------------------------- -- diff --git a/src/grl-default.ads b/src/grl-default.ads new file mode 100644 index 0000000..4534d40 --- /dev/null +++ b/src/grl-default.ads @@ -0,0 +1,3 @@ +with Grl.Coordinates; + +package Grl.Default is new Grl.Coordinates (Meta => Natural, H => Float); diff --git a/src/grl.ads b/src/grl.ads index 1281d46..e939f9e 100644 --- a/src/grl.ads +++ b/src/grl.ads @@ -1,3 +1,2 @@ package Grl is - end Grl;