Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class ARGUMENT_FLAGS_VALIDATOR General cluster: obsolete_arg_parser description: "A command line switch flag validator that checks if all flags are know flags." create: make Ancestors ARGUMENT_VALUE_VALIDATOR* Queries flags: LINEAR [CHARACTER_8] has_validated: BOOLEAN is_case_sensitive: BOOLEAN is_option_valid: BOOLEAN reason: STRING_8 Commands validate (a_value: READABLE_STRING_8) Constraints flags attached not flags is empty flags contain printable character
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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