indexing description: "Shared command-line arguments" pattern: "Singleton" library: "Gobo Eiffel Kernel Library" author: "Eric Bezault <ericb@gobo.demon.co.uk>" copyright: "Copyright (c) 1998, Eric Bezault" class interface KL_SHARED_ARGUMENTS feature -- Access arguments: KL_ARGUMENTS -- Command-line arguments ensure arguments_not_void: Result /= void invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class KL_SHARED_ARGUMENTS