[ ECLiPSe Operating System built-in.|Group Index| Full 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.

Fail Conditions

Fails if Number is does not unify with the number of arguments.

Resatisfiable

No.

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