|
FORM 4.3
|
#include "form3.h"Go to the source code of this file.
Macros | |
| #define | DEBUG(x) |
Functions | |
| WORD | WildFill (PHEAD WORD *to, WORD *from, WORD *sub) |
| WORD | ResolveSet (PHEAD WORD *from, WORD *to, WORD *subs) |
| VOID | ClearWild (PHEAD0) |
| WORD | AddWild (PHEAD WORD oldnumber, WORD type, WORD newnumber) |
| WORD | CheckWild (PHEAD WORD oldnumber, WORD type, WORD newnumber, WORD *newval) |
| int | DenToFunction (WORD *term, WORD numfun) |
Contains the functions that deal with the wildcards. During the pattern matching there are two steps: 1: check that a wildcard substitution is correct (if there was already an assignment for this variable, it is the same; it is part of the proper set; it is the proper type of variables, etc.) 2: make the assignment In addition we have to be able to clear assignments. During execution we have to make the actual replacements (WildFill)
Definition in file wildcard.c.
| #define DEBUG | ( | x | ) |
Definition at line 44 of file wildcard.c.
| WORD WildFill | ( | PHEAD WORD * | to, |
| WORD * | from, | ||
| WORD * | sub ) |
Definition at line 65 of file wildcard.c.
| WORD ResolveSet | ( | PHEAD WORD * | from, |
| WORD * | to, | ||
| WORD * | subs ) |
Definition at line 1333 of file wildcard.c.
| VOID ClearWild | ( | PHEAD0 | ) |
Definition at line 1490 of file wildcard.c.
| WORD AddWild | ( | PHEAD WORD | oldnumber, |
| WORD | type, | ||
| WORD | newnumber ) |
Definition at line 1516 of file wildcard.c.
| WORD CheckWild | ( | PHEAD WORD | oldnumber, |
| WORD | type, | ||
| WORD | newnumber, | ||
| WORD * | newval ) |
Definition at line 1761 of file wildcard.c.
| int DenToFunction | ( | WORD * | term, |
| WORD | numfun ) |
Definition at line 2513 of file wildcard.c.