class TEST_CLI_03

insert
   ARGUMENTS
   EIFFELTEST_TOOLS
   COMMAND_LINE_ARGUMENT_FACTORY

create {}
   make

feature {}
   make
      local
         foo_option: COMMAND_LINE_TYPED_ARGUMENT[FIXED_STRING]
         bar_option: COMMAND_LINE_TYPED_ARGUMENT[INTEGER]
      do
         foo_option := +option_string("f", "foo", "foo", "The foo string")   -- '+' prefix for a mandatory option
         bar_option := -option_integer("b", "bar", "bar", "The bar integer") -- '-' prefix for an optional option (default)
         create args.make(foo_option and bar_option)

         -- an empty command line is not valid
         setup
         assert(not args.parse_command_line)

         -- a bar option alone is not valid
         setup
         command_arguments.add_last("--bar=42")
         assert(not args.parse_command_line)

         -- must have at least foo, bar is optional
         setup
         command_arguments.add_last("--foo=the foo z'option")
         command_arguments.add_last("--bar=42")
         assert(args.parse_command_line)
         assert(foo_option.item.is_equal("the foo z'option"))
         assert(bar_option.item = 42)
      end

   setup
      do
         command_arguments.make(1)
      end

   args: COMMAND_LINE_ARGUMENTS

end