Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class ARGUMENT_VALUE_VALIDATOR General cluster: obsolete_arg_parser description: "A command line switch value validator for checking user specified command line switch values." Ancestors ANY Queries has_validated: BOOLEAN is_option_valid: BOOLEAN reason: STRING_8 Commands validate (a_value: READABLE_STRING_8) Constraints not reason is empty
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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