[ Character I/O | Reference Manual | Alphabetic Index ]
The character represented by the ascii integer Ascii is put onto the
buffered current output.
Puts the character represented by the integer ASCII code Ascii (in the
range 0 to 255) onto the buffered current output.
The output from put/1 is buffered first, and is only output to the
screen when the output is flushed e.g.when returning to the ECLiPSe
prompt or explicitly using flush(1)..
ASCII codes for the non-printable characters (i.e. control characters)
are also acceptable.
Modes and Determinism
- (4) instantiation fault
- Ascii is not instantiated.
- (5) type error
- Ascii is instantiated, but not to an integer.
Equivalent to put(output, Ascii). (see put/2 for details).
get / 1, get / 2, put / 2, nl / 0