Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class ARGUMENT_DIRECTORY_VALIDATOR General cluster: obsolete_arg_parser description: "A command line switch file validator that checks if a directory exists." Ancestors ARGUMENT_VALUE_VALIDATOR* Queries has_validated: BOOLEAN is_option_valid: BOOLEAN 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