[ 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