[ Character I/O | Reference Manual | Alphabetic Index ]
put(+Code)
The character represented by the integer Code is put onto the
buffered current output
- Code
- Integer.
Description
   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
Exceptions
- (4) instantiation fault 
- Code is not instantiated.
- (5) type error 
- Code is instantiated, but not to an integer.
Examples
   Equivalent to put(output, Code).  (see put/2 for details).
See Also
get / 1, get / 2, put / 2, nl / 0