FORM  4.2
Macros | Functions
wildcard.c File Reference
#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)
 

Detailed Description

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.