Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class ARGUMENT_INTEGER_OPTION General cluster: obsolete_arg_parser description: "Represents a user passed argument option for integer arguments." create: make, make_with_value Ancestors ARGUMENT_OPTION Queries has_value: BOOLEAN integer_16_value: INTEGER_16 integer_32_value: INTEGER_32 integer_64_value: INTEGER_64 integer_8_value: INTEGER_8 switch: ARGUMENT_SWITCH value: STRING_8 Constraints value is integer
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org