Next:
Streams
Up:
ECLiPSe User Manual Release
Previous:
Global References
Index
Input and Output
Streams
Predefined Streams
Stream Identifiers and Aliases
Opening New Streams
Closing Streams
Redirecting Streams
Finding Streams
Stream Properties
Communication via Streams
Character I/O
Token I/O
Term I/O
General Parsing and Text Generation
Flushing
Prompting
Positioning
In-memory Streams
String Streams
Queue streams
Term Output Formats
Write_term and Printf
Other Term Output Predicates
Default Output Options
Warwick Harvey
2004-08-07
