Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class ARGUMENT_SWITCH General cluster: obsolete_arg_parser description: "A command line switch." create: make, make_hidden Ancestors HASHABLE* Queries allow_multiple: BOOLEAN description: STRING_8 has_short_name: BOOLEAN hash_code: INTEGER_32 id: STRING_8 is_hashable: BOOLEAN is_hidden: BOOLEAN is_special: BOOLEAN is_valid_id (a_id: READABLE_STRING_8): BOOLEAN long_name: READABLE_STRING_8 lower_case_id: STRING_8 name: READABLE_STRING_8 optional: BOOLEAN short_name: CHARACTER_8 Constraints id attached not id is empty id is valid id lower case id attached long name attached not long name is empty description attached not description is empty
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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