#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, int unknown_action);
This routine reads commands from a file.
Echoing the commands to an output file is optional.
Here are examples of the currently supported commands.
- set(verbose).
- clear(verbose).
- assign(max_seconds, 1800).
- assoc_comm(+).
- commutative(+).
- symmetric(+).
- op(400, infix, ^).
- lex([e, a, b, _*_, _', h(_,_)]).
A term is returned:
- NULL: commands were read up to EOF.
- nonNULL 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
/* What shall we do if we read an unknown flag or parameter? */
enum {
IGNORE_UNKNOWN,
NOTE_UNKNOWN,
WARN_UNKNOWN,
KILL_UNKNOWN
};
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.