diff options
Diffstat (limited to 'src/grt/grt-options.ads')
-rw-r--r-- | src/grt/grt-options.ads | 18 |
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); |