Automatic generation produced by ISE Eiffel
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 -- Generated by Eiffel Studio --
For more details: eiffel.org