[ Character I/O | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

put(+Ascii)

The character represented by the ascii integer Ascii is put onto the buffered current output.

+Ascii: Integer.

Description

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.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) instantiation fault: Ascii is not instantiated.
(5) type error: Ascii is instantiated, but not to an integer.

Examples