Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class ARGUMENT_NUMERIC_RANGE_VALIDATOR [G -> {NUMERIC, COMPARABLE}] General cluster: obsolete_arg_parser description: "A command line switch file validator that checks if an integer is with a value range." Ancestors ARGUMENT_VALUE_VALIDATOR* Queries has_validated: BOOLEAN is_option_valid: BOOLEAN max: G min: G reason: STRING_8 Commands validate (a_value: READABLE_STRING_8) Constraints min less than max
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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