[ Character I/O | Reference Manual | Alphabetic Index ]
The character represented by the integer Code is put onto the
buffered current output
Writes the character (or byte, in case of binary stream) represented by
the integer Code onto the buffered current output stream. The acceptable
value range depends on the stream's character encoding, or is 0 to 255
for binary streams.
Note that the output from put/1 is usually buffered, and is only output
to the screen when the output is flushed e.g. when returning to the
ECLiPSe prompt or explicitly using flush(output).
Character codes for the non-printable characters (i.e. control characters)
are also acceptable.
Modes and Determinism
- (4) instantiation fault
- Code is not instantiated.
- (5) type error
- Code is instantiated, but not to an integer.
Equivalent to put(output, Code). (see put/2 for details).
get / 1, get / 2, put / 2, nl / 0