summaryrefslogtreecommitdiff
path: root/src/grt/grt-options.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/grt/grt-options.ads')
-rw-r--r--src/grt/grt-options.ads18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads
index 88b1f50..eaf3d02 100644
--- a/src/grt/grt-options.ads
+++ b/src/grt/grt-options.ads
@@ -147,6 +147,24 @@ package Grt.Options is
-- Set the time resolution.
-- Only call this subprogram if you are allowed to set the time resolution.
procedure Set_Time_Resolution (Res : Character);
+
+ -- Simply linked list of generic override (option -gIDENT=VALUE).
+ type Generic_Override_Type;
+ type Generic_Override_Acc is access Generic_Override_Type;
+
+ type Generic_Override_Type is record
+ -- Name of the generic (lower case).
+ Name : String_Access;
+
+ -- Value.
+ Value : String_Access;
+
+ -- Simply linked list.
+ Next : Generic_Override_Acc;
+ end record;
+
+ First_Generic_Override : Generic_Override_Acc;
+ Last_Generic_Override : Generic_Override_Acc;
private
pragma Export (C, Stack_Size);
pragma Export (C, Stack_Max_Size);