[ Operating System | The ECLiPSe Built-In Predicates | 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.

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