static struct expr *GetfieldReplace(
void *theEnv,
EXEC_STATUS,
struct lhsParseNode *nodeList)
{
struct expr *newList;
/*====================================*/
/* Return NULL for a NULL pointer */
/* (i.e. nothing has to be replaced). */
/*====================================*/
if (nodeList == NULL) return(NULL);
/*=====================================================*/
/* Create an expression data structure and recursively */
/* replace variables in its argument list and next */
/* argument links. */
/*=====================================================*/
newList = get_struct(theEnv,execStatus,expr);
newList->type = nodeList->type;
newList->value = nodeList->value;
newList->nextArg = GetfieldReplace(theEnv,execStatus,nodeList->right);
newList->argList = GetfieldReplace(theEnv,execStatus,nodeList->bottom);
/*=========================================================*/
/* If the present node being examined is either a local or */
/* global variable, then replace it with a function call */
/* that will return the variable's value. */
/*=========================================================*/
if ((nodeList->type == SF_VARIABLE) || (nodeList->type == MF_VARIABLE))
{
(*nodeList->referringNode->patternType->replaceGetPNValueFunction)
(theEnv,execStatus,newList,nodeList->referringNode);
}
#if DEFGLOBAL_CONSTRUCT
else if (newList->type == GBL_VARIABLE)
{ ReplaceGlobalVariable(theEnv,execStatus,newList); }
#endif
/*====================================================*/
/* Return the expression with its variables replaced. */
/*====================================================*/
return(newList);
}
static struct expr *GenPNEq(
void *theEnv,
struct lhsParseNode *theField)
{
struct expr *top, *conversion;
/*==================================================*/
/* Replace variables with function calls to extract */
/* the appropriate value from the data entity. */
/*==================================================*/
conversion = GetfieldReplace(theEnv,theField->expression);
/*============================================================*/
/* If the return value constraint is negated by a ~, then use */
/* the neq function to compare the value of the field to the */
/* value returned by the function call. Otherwise, use eq to */
/* compare the two values. */
/*============================================================*/
if (theField->negated)
{ top = GenConstant(theEnv,FCALL,ExpressionData(theEnv)->PTR_NEQ); }
else
{ top = GenConstant(theEnv,FCALL,ExpressionData(theEnv)->PTR_EQ); }
top->argList = (*theField->patternType->genGetPNValueFunction)(theEnv,theField);
top->argList->nextArg = conversion;
return(top);
}
static struct expr *GenPNColon(
void *theEnv,
struct lhsParseNode *theField)
{
struct expr *top, *conversion;
/*==================================================*/
/* Replace variables with function calls to extract */
/* the appropriate value from the data entity. */
/*==================================================*/
conversion = GetfieldReplace(theEnv,theField->expression);
/*================================================*/
/* If the predicate constraint is negated by a ~, */
/* then wrap a "not" function call around the */
/* expression before returning it. Otherwise, */
/* just return the expression. */
/*================================================*/
if (theField->negated)
{
top = GenConstant(theEnv,FCALL,ExpressionData(theEnv)->PTR_NOT);
top->argList = conversion;
}
else
{ top = conversion; }
return(top);
}
