INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Access to command-line arguments.", "This class may be used as ancestor by classes needing its facilities."
project: "Eiffel Kernel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class ARGUMENTS
feature -- Access

argument (i: INTEGER): STRING
-- 'i-th' argument of command that started system execution
-- (the command name if i = 0)
require
index_large_enough: i >= 0
index_small_enough: i <= argument_count

frozen arguments: ARRAY [STRING]
-- Arguments of command that started system execution; Void if none

command_name: STRING
-- Name of command that started system execution
ensure
definition: Result = argument (0)
feature -- Measurement

argument_count: INTEGER
-- Number of arguments given to command that started
-- system execution (command name does not count)
ensure
non_negative_result: Result >= 0
end -- class ARGUMENTS

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES