
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.




Resatisfiable
      No.

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



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
