Automatic generation produced by ISE Eiffel
class ARGUMENT_INTEGER_SWITCH Ancestors ARGUMENT_VALUE_SWITCH Clients ARGUMENT_INTEGER_SWITCH Suppliers ARGUMENT_INTEGER_OPTION ARGUMENT_INTEGER_RANGE_VALIDATOR ARGUMENT_INTEGER_SWITCH BOOLEAN INTEGER_64 STRING_8 -- Generated by Eiffel Studio --
For more details: eiffel.org