Design and Implementation of a Documentation Tool for ... - MADOC

}
if (count > 0) {
fwrite(iobuf, sizeof(char), count, OUTF);
write(STDOUT_FILENO, iobuf, count);
} else
drain = 0;
Uses OUTF 22a and PTM 28c.
If the -f flag has been specified on the command line, the file should be
flushed now that data has been written.
37a 〈main loop body 35d〉+≡ (35c) ⊳ 36d
if (fflg)
fflush(OUTF);
Uses OUTF 22a.
A.12 Finishing Execution
Since a signal handler can handle more than one signal, its number is passed as
an argument. However, finish() only handles SIGCHLD, therefore it will ignore
its argument. Its only task is setting CHILD to −1, which will cause the main
loop to exit as soon as possible.
37b 〈finish 37b〉≡ (15c)
void finish(int signal) {
UNUSED(signal);
CHILD = -1;
}
Defines:
finish, used in chunk 8a.
Uses CHILD 8d and UNUSED 37c.
UNUSED is a macro that causes the compiler to stop warning about an unused
parameter.
37c 〈macros 37c〉≡ (15b)
#define UNUSED(var) while (0) { (void)(var); }
Defines:
UNUSED, used in chunks 30a and 37b.
The function done() is called as soon as the main loop terminates. It cleans
up the environment, resets the terminal and finishes execution. First, it has to
fetch the exit status of the child process using wait().
37d 〈done 37d〉≡ (15c) 38b ⊲
void done() {
int status;
wait(&status);
Defines:
done, used in chunks 33c and 38c.
37