5.19 Class ARGUMENTS PreviousNext

indexing
description: "Access to command-line arguments. This class %
    %may be used as ancestor by classes needing its facilities."
class interface
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
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
        Result >= 0
end

Copyright 1995, Nonprofit International Consortium for Eiffel
mailto:
nice@atlanta.twr.com
Last Updated: 26 October 1997

HomeTocPreviousNext