output: control where CWB output is written

output "file";

sends output to the given file in future


sends output to stdout (e.g. the terminal) in future


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