#include "commands.h"
This page has information from files
commands.h and commands.c.
Contents
Public Routines in File commands.c
Index
Details
Term read_commands(FILE *fin, FILE *fout, BOOL echo);
This is for input that contains optional commands;
if commands are present, then "end_of_list." is optional at the
end of the commands.
The commands are read from file fin. Here are examples
of the currently supported commands.
- set(verbose).
- clear(verbose).
- assign(max_mem, 2000).
- assoc_comm(+).
- commutative(+).
- symmetric(+).
- op(400, infix, ^). op(400, infix, [+,*,v,^]).
- lex([e, a, b, _*_, _', h(_,_)]).
A term is returned:
- NULL: commands were read up to EOF.
- the constant end_of_list: commands were read up to the term "end_of_list".
- any other term: commands were read up to this unrecognized term; you
will probably wish to continue your input processing with this term.
If any error occurs, a message goes to file fout and to stderr,
and a fatal_error() occurs.
Public Definitions in File commands.h
Introduction
This package has some high-level routines for reading
a sequence of commands from an input stream. The commands
do things like set options and give properties to symbols.
This is intended to be used to read the prologue to the input.
These activities are projects of the
Mathematics and Computer Science Division
of
Argonne National Laboratory.