diff options
Diffstat (limited to 'src/grt/grt-options.ads')
| -rw-r--r-- | src/grt/grt-options.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads index bd3721921..78fe9d8d7 100644 --- a/src/grt/grt-options.ads +++ b/src/grt/grt-options.ads @@ -144,6 +144,11 @@ package Grt.Options is -- or append_mode (TEXTIO) Unbuffered_Writes : Boolean := False; + -- Helper: extract time from STR (a number followed by a unit, without + -- spaces; the number is optionnal). In case of error, display an error + -- message and returns -1. + function Parse_Time (Str : String) return Std_Time; + -- Set the time resolution. -- Only call this subprogram if you are allowed to set the time resolution. procedure Set_Time_Resolution (Res : Character); |