#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);

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.

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


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.