output: control where CWB output is written
output "file";
sends output to the given file in future
output;
sends output to stdout (e.g. the terminal) in future
Notes
The CWB keeps a stack of output (and input) files; the two forms of the
output command push a new file onto the stack and pop the stack,
respectively. So nested output commands will do what you probably expect.
See also
save
savemeije
savefc2
input
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999