
argc(-Number)

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



Arguments
   Number              Variable or integer.

Type
   Operating System

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




Modes and Determinism
   argc(-) is det

Exceptions
     5 --- 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
