#include "commands.h"

This page has information from files commands.h and commands.c.

Contents


Public Routines in File commands.c

Index

read_commands

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.

A term is returned:

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.