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