static int RuleCompilerTraverseJoins(
void *theEnv,
EXEC_STATUS,
struct joinNode *joinPtr,
char *fileName,
char *pathName,
char *fileNameBuffer,
int fileID,
FILE *headerFP,
int imageID,
int maxIndices,
FILE **joinFile,
FILE **linkFile,
int *fileCount,
int *joinArrayVersion,
int *joinArrayCount,
int *linkArrayVersion,
int *linkArrayCount)
{
for (;
joinPtr != NULL;
joinPtr = joinPtr->lastLevel)
{
if (joinPtr->marked)
{
*joinFile = OpenFileIfNeeded(theEnv,execStatus,*joinFile,fileName,pathName,fileNameBuffer,fileID,imageID,fileCount,
*joinArrayVersion,headerFP,
"struct joinNode",JoinPrefix(),FALSE,NULL);
if (*joinFile == NULL)
{ return(FALSE); }
JoinToCode(theEnv,execStatus,*joinFile,joinPtr,imageID,maxIndices);
(*joinArrayCount)++;
*joinFile = CloseFileIfNeeded(theEnv,execStatus,*joinFile,joinArrayCount,joinArrayVersion,
maxIndices,NULL,NULL);
if (! TraverseJoinLinks(theEnv,execStatus,joinPtr->nextLinks,fileName,pathName,fileNameBuffer,fileID,headerFP,imageID,
maxIndices,linkFile,fileCount,linkArrayVersion,linkArrayCount))
{ return(FALSE); }
}
if (joinPtr->joinFromTheRight)
{
if (RuleCompilerTraverseJoins(theEnv,execStatus,(struct joinNode *) joinPtr->rightSideEntryStructure,fileName,pathName,
fileNameBuffer,fileID,headerFP,imageID,maxIndices,joinFile,linkFile,fileCount,
joinArrayVersion,joinArrayCount,
linkArrayVersion,linkArrayCount) == FALSE)
{ return(FALSE); }
}
}
return(TRUE);
}
static int ConstructToCode(
void *theEnv,
char *fileName,
char *pathName,
char *fileNameBuffer,
int fileID,
FILE *headerFP,
int imageID,
int maxIndices)
{
int fileCount = 1;
struct defmodule *theModule;
struct defrule *theDefrule;
int joinArrayCount = 0, joinArrayVersion = 1;
int linkArrayCount = 0, linkArrayVersion = 1;
int moduleCount = 0, moduleArrayCount = 0, moduleArrayVersion = 1;
int defruleArrayCount = 0, defruleArrayVersion = 1;
FILE *joinFile = NULL, *moduleFile = NULL, *defruleFile = NULL, *linkFile = NULL;
/*==============================================*/
/* Include the appropriate defrule header file. */
/*==============================================*/
fprintf(headerFP,"#include \"ruledef.h\"\n");
/*======================================*/
/* Save the left and right prime links. */
/*======================================*/
if (! TraverseJoinLinks(theEnv,DefruleData(theEnv)->LeftPrimeJoins,fileName,pathName,fileNameBuffer,fileID,headerFP,imageID,
maxIndices,&linkFile,&fileCount,&linkArrayVersion,&linkArrayCount))
{
CloseDefruleFiles(theEnv,moduleFile,defruleFile,joinFile,linkFile,maxIndices);
return(0);
}
if (! TraverseJoinLinks(theEnv,DefruleData(theEnv)->RightPrimeJoins,fileName,pathName,fileNameBuffer,fileID,headerFP,imageID,
maxIndices,&linkFile,&fileCount,&linkArrayVersion,&linkArrayCount))
{
CloseDefruleFiles(theEnv,moduleFile,defruleFile,joinFile,linkFile,maxIndices);
return(0);
}
/*=========================================================*/
/* Loop through all the modules, all the defrules, and all */
/* the join nodes writing their C code representation to */
/* the file as they are traversed. */
/*=========================================================*/
for (theModule = (struct defmodule *) EnvGetNextDefmodule(theEnv,NULL);
theModule != NULL;
theModule = (struct defmodule *) EnvGetNextDefmodule(theEnv,theModule))
{
/*=========================*/
/* Set the current module. */
/*=========================*/
EnvSetCurrentModule(theEnv,(void *) theModule);
/*==========================*/
/* Save the defrule module. */
/*==========================*/
moduleFile = OpenFileIfNeeded(theEnv,moduleFile,fileName,pathName,fileNameBuffer,fileID,imageID,&fileCount,
moduleArrayVersion,headerFP,
(char*)"struct defruleModule",ModulePrefix(DefruleData(theEnv)->DefruleCodeItem),
FALSE,NULL);
if (moduleFile == NULL)
{
CloseDefruleFiles(theEnv,moduleFile,defruleFile,joinFile,linkFile,maxIndices);
return(0);
}
DefruleModuleToCode(theEnv,moduleFile,theModule,imageID,maxIndices,moduleCount);
moduleFile = CloseFileIfNeeded(theEnv,moduleFile,&moduleArrayCount,&moduleArrayVersion,
maxIndices,NULL,NULL);
/*=========================================*/
/* Loop through all of the defrules (and */
/* their disjuncts) in the current module. */
/*=========================================*/
theDefrule = (struct defrule *) EnvGetNextDefrule(theEnv,NULL);
while (theDefrule != NULL)
{
/*===================================*/
/* Save the defrule data structures. */
/*===================================*/
defruleFile = OpenFileIfNeeded(theEnv,defruleFile,fileName,pathName,fileNameBuffer,fileID,imageID,&fileCount,
defruleArrayVersion,headerFP,
(char*)"struct defrule",ConstructPrefix(DefruleData(theEnv)->DefruleCodeItem),
FALSE,NULL);
if (defruleFile == NULL)
{
CloseDefruleFiles(theEnv,moduleFile,defruleFile,joinFile,linkFile,maxIndices);
return(0);
}
DefruleToCode(theEnv,defruleFile,theDefrule,imageID,maxIndices,
moduleCount);
defruleArrayCount++;
defruleFile = CloseFileIfNeeded(theEnv,defruleFile,&defruleArrayCount,&defruleArrayVersion,
maxIndices,NULL,NULL);
/*================================*/
/* Save the join data structures. */
/*================================*/
if (! RuleCompilerTraverseJoins(theEnv,theDefrule->lastJoin,fileName,pathName,fileNameBuffer,fileID,headerFP,imageID,
maxIndices,&joinFile,&linkFile,&fileCount,&joinArrayVersion,&joinArrayCount,
&linkArrayVersion,&linkArrayCount))
{
CloseDefruleFiles(theEnv,moduleFile,defruleFile,joinFile,linkFile,maxIndices);
return(0);
}
/*==========================================*/
/* Move on to the next disjunct or defrule. */
/*==========================================*/
if (theDefrule->disjunct != NULL) theDefrule = theDefrule->disjunct;
else theDefrule = (struct defrule *) EnvGetNextDefrule(theEnv,theDefrule);
}
moduleCount++;
moduleArrayCount++;
}
CloseDefruleFiles(theEnv,moduleFile,defruleFile,joinFile,linkFile,maxIndices);
return(1);
}
