[ 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

- argc(-) is det

### 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