From 4af251007f80cbc38a9742250514b83d20d764e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nina=20Chl=C3=B3e=20Kassandra=20Rei=C3=9F?= Date: Sun, 14 Jun 2026 22:37:02 +0200 Subject: [PATCH] Default packages --- src/grl-coordinates.ads | 14 +++++++++++++- src/grl-default.ads | 3 +++ src/grl.ads | 1 - 3 files changed, 16 insertions(+), 2 deletions(-) create mode 100644 src/grl-default.ads 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;