struct constraintRecord *AddConstraint(
Environment *theEnv,
struct constraintRecord *theConstraint)
{
struct constraintRecord *tmpPtr;
unsigned long hashValue;
if (theConstraint == NULL) return NULL;
hashValue = HashConstraint(theConstraint);
for (tmpPtr = ConstraintData(theEnv)->ConstraintHashtable[hashValue];
tmpPtr != NULL;
tmpPtr = tmpPtr->next)
{
if (ConstraintCompare(theConstraint,tmpPtr))
{
tmpPtr->count++;
ReturnConstraintRecord(theEnv,theConstraint);
return tmpPtr;
}
}
InstallConstraintRecord(theEnv,theConstraint);
theConstraint->count = 1;
theConstraint->bucket = (unsigned int) hashValue;
theConstraint->installed = true;
theConstraint->next = ConstraintData(theEnv)->ConstraintHashtable[hashValue];
ConstraintData(theEnv)->ConstraintHashtable[hashValue] = theConstraint;
return theConstraint;
}
globle struct constraintRecord *AddConstraint(
void *theEnv,
struct constraintRecord *theConstraint)
{
struct constraintRecord *tmpPtr;
unsigned long hashValue;
if (theConstraint == NULL) return(NULL);
hashValue = HashConstraint(theConstraint);
for (tmpPtr = ConstraintData(theEnv)->ConstraintHashtable[hashValue];
tmpPtr != NULL;
tmpPtr = tmpPtr->next)
{
if (ConstraintCompare(theConstraint,tmpPtr))
{
tmpPtr->count++;
ReturnConstraintRecord(theEnv,theConstraint);
return(tmpPtr);
}
}
InstallConstraintRecord(theEnv,theConstraint);
theConstraint->count = 1;
theConstraint->bucket = hashValue;
theConstraint->next = ConstraintData(theEnv)->ConstraintHashtable[hashValue];
ConstraintData(theEnv)->ConstraintHashtable[hashValue] = theConstraint;
return(theConstraint);
}
static bool ConstraintCompare(
struct constraintRecord *constraint1,
struct constraintRecord *constraint2)
{
struct expr *tmpPtr1, *tmpPtr2;
if ((constraint1->anyAllowed != constraint2->anyAllowed) ||
(constraint1->symbolsAllowed != constraint2->symbolsAllowed) ||
(constraint1->stringsAllowed != constraint2->stringsAllowed) ||
(constraint1->floatsAllowed != constraint2->floatsAllowed) ||
(constraint1->integersAllowed != constraint2->integersAllowed) ||
(constraint1->instanceNamesAllowed != constraint2->instanceNamesAllowed) ||
(constraint1->instanceAddressesAllowed != constraint2->instanceAddressesAllowed) ||
(constraint1->externalAddressesAllowed != constraint2->externalAddressesAllowed) ||
(constraint1->voidAllowed != constraint2->voidAllowed) ||
(constraint1->multifieldsAllowed != constraint2->multifieldsAllowed) ||
(constraint1->singlefieldsAllowed != constraint2->singlefieldsAllowed) ||
(constraint1->factAddressesAllowed != constraint2->factAddressesAllowed) ||
(constraint1->anyRestriction != constraint2->anyRestriction) ||
(constraint1->symbolRestriction != constraint2->symbolRestriction) ||
(constraint1->stringRestriction != constraint2->stringRestriction) ||
(constraint1->floatRestriction != constraint2->floatRestriction) ||
(constraint1->integerRestriction != constraint2->integerRestriction) ||
(constraint1->classRestriction != constraint2->classRestriction) ||
(constraint1->instanceNameRestriction != constraint2->instanceNameRestriction))
{ return false; }
for (tmpPtr1 = constraint1->classList, tmpPtr2 = constraint2->classList;
(tmpPtr1 != NULL) && (tmpPtr2 != NULL);
tmpPtr1 = tmpPtr1->nextArg, tmpPtr2 = tmpPtr2->nextArg)
{
if ((tmpPtr1->type != tmpPtr2->type) || (tmpPtr1->value != tmpPtr2->value))
{ return false; }
}
if (tmpPtr1 != tmpPtr2) return false;
for (tmpPtr1 = constraint1->restrictionList, tmpPtr2 = constraint2->restrictionList;
(tmpPtr1 != NULL) && (tmpPtr2 != NULL);
tmpPtr1 = tmpPtr1->nextArg, tmpPtr2 = tmpPtr2->nextArg)
{
if ((tmpPtr1->type != tmpPtr2->type) || (tmpPtr1->value != tmpPtr2->value))
{ return false; }
}
if (tmpPtr1 != tmpPtr2) return false;
for (tmpPtr1 = constraint1->minValue, tmpPtr2 = constraint2->minValue;
(tmpPtr1 != NULL) && (tmpPtr2 != NULL);
tmpPtr1 = tmpPtr1->nextArg, tmpPtr2 = tmpPtr2->nextArg)
{
if ((tmpPtr1->type != tmpPtr2->type) || (tmpPtr1->value != tmpPtr2->value))
{ return false; }
}
if (tmpPtr1 != tmpPtr2) return false;
for (tmpPtr1 = constraint1->maxValue, tmpPtr2 = constraint2->maxValue;
(tmpPtr1 != NULL) && (tmpPtr2 != NULL);
tmpPtr1 = tmpPtr1->nextArg, tmpPtr2 = tmpPtr2->nextArg)
{
if ((tmpPtr1->type != tmpPtr2->type) || (tmpPtr1->value != tmpPtr2->value))
{ return false; }
}
if (tmpPtr1 != tmpPtr2) return false;
for (tmpPtr1 = constraint1->minFields, tmpPtr2 = constraint2->minFields;
(tmpPtr1 != NULL) && (tmpPtr2 != NULL);
tmpPtr1 = tmpPtr1->nextArg, tmpPtr2 = tmpPtr2->nextArg)
{
if ((tmpPtr1->type != tmpPtr2->type) || (tmpPtr1->value != tmpPtr2->value))
{ return false; }
}
if (tmpPtr1 != tmpPtr2) return false;
for (tmpPtr1 = constraint1->maxFields, tmpPtr2 = constraint2->maxFields;
(tmpPtr1 != NULL) && (tmpPtr2 != NULL);
tmpPtr1 = tmpPtr1->nextArg, tmpPtr2 = tmpPtr2->nextArg)
{
if ((tmpPtr1->type != tmpPtr2->type) || (tmpPtr1->value != tmpPtr2->value))
{ return false; }
}
if (tmpPtr1 != tmpPtr2) return false;
if (((constraint1->multifield == NULL) && (constraint2->multifield != NULL)) ||
((constraint1->multifield != NULL) && (constraint2->multifield == NULL)))
{ return false; }
else if (constraint1->multifield == constraint2->multifield)
{ return true; }
return(ConstraintCompare(constraint1->multifield,constraint2->multifield));
}
