Error_Msg_Option: do not raise exception.

1 files changed, 25 insertions, 1 deletions

diff --git a/src/options.ads b/src/options.ads
index 68acc8c75..4b73a3ec7 100644
--- a/src/options.ads
+++ b/src/options.ads
@@ -17,14 +17,38 @@
 --  02111-1307, USA.
 
 package Options is
+   --  How an option was handled by Parse_Option.
+   type Option_State is
+     (
+      --  Option correctly parsed.
+      Option_Ok,
+
+      --  Option is unknown.
+      Option_Unknown,
+
+      --  Option has an error (message was displayed).
+      Option_Err,
+
+      --  Option_Arg_Req: OPTION requires an argument.  Must be set only when
+      --     ARG = "", the manager will recall Decode_Option.
+      Option_Arg_Req,
+
+      --  Option_Arg: OPTION used the argument.
+      Option_Arg,
+
+      Option_End
+     );
+
    -- Return true if opt is recognize by flags.
    --  Note: std_names.std_names_initialize and files_map.init_paths must have
    --  been called before this subprogram.
-   function Parse_Option (Opt : String) return Boolean;
+   function Parse_Option (Opt : String) return Option_State;
 
    -- Disp help about these options.
    procedure Disp_Options_Help;
 
    --  Front-end intialization.
    procedure Initialize;
+
+   Option_Error: exception;
 end Options;