[an error occurred while processing this directive]

Test Module Implementation Specifications

User Specifications

Implementation Data Model

This module maintains two global variables: theTable, of type Table, and theTableIterator, of type TableIterator.

Private Importing Information

This module imports functions from the stdio and stdlib C standard libraries, and from the LineStream, LineScanner, CommandTable, Table, and TableIterator modules.

Private Data Type Implementations

The Test module does not implement any private data types.

Public Data Type Implementations

The Test module does not implement any public data types.

Private Function Specifications

Command procedures

There is one command procedure in this module for each Table or TableIterator testing command. The command procedures for standard commands are defined in the CommandTable and LineStream modules. Only one of the non-standard command procedures is described here. Specifications for others can easily be deduced from the corresponding command specifications.

void addProc(LineScanner ls)
addProc(ls) adds an entry to theTable. The key for the entry is the first argument in ls and the data is the second argument.
Preconditions:
ls is positioned to to read its first argument.
The first argument of ls is not a key in theTable.
The second argument of ls is an integer.

Command table construction

void addAllCommands(void)
addAllCommands() adds all commands recognized by the Test program to the command table.

Main program

int main(int argc, char * argv[])
The Test program reads initially from /dev/tty (the terminal) if argc is 1, or from the file named in argv[1] if argc is 2. The program interprets lines from the input stream as commands to be applied to the global variables theTable and theTableIterator.
Preconditions:
argc is 1 or 2.
if argc is 2 then argv[1] is the name of a readable file of commands.

Private Function Algorithms

Command procedures

addProc
Specification

local variables:
char * k;
int dat;

read a string from ls into k (LineScanner readString()
read an int from ls into dat (LineScanner readInt()
if the error count for ls is 0 (LineScanner errorCount()
    add dat to theTable with key k (Table add()
else
    print the first error in ls (LineScanner printFirstError()

Command table construction

addAllCommands
Specification

addCommand() is called once for each command to be added.
The synopsis, description, and command procedure for the command are passed
as parameters.

Main program

main
Specification
```
ALGORITHM_DESCRIPTION
```

[an error occurred while processing this directive]