[ Operating System | Reference Manual | Alphabetic Index ]

argc(-Number)

Succeeds if Number is the number of arguments given on the command line to invoke ECLiPSe .
Number
Variable or integer.

Description

Used to find the number of arguments used when invoking ECLiPSe at the operating system prompt, including eclipse itself.

Modes and Determinism

Exceptions

(5) type error
Number is instantiated, but not to an integer.

Examples

Success:
   % eclipse -g 10000
   [eclipse]: argc(N).
   N = 3
   yes.

Fail:
   % eclipse -g 10000
   [eclipse]: argc(2).
   no.

Error:
   argc('3').             (Error 5).

See Also

argv / 2