Automatic generation produced by ISE Eiffel

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

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