globle int EnvSave(
void *theEnv,
EXEC_STATUS,
char *fileName)
{
struct callFunctionItem *saveFunction;
FILE *filePtr;
void *defmodulePtr;
/*=====================*/
/* Open the save file. */
/*=====================*/
if ((filePtr = GenOpen(theEnv,execStatus,fileName,"w")) == NULL)
{ return(FALSE); }
/*===========================*/
/* Bypass the router system. */
/*===========================*/
SetFastSave(theEnv,execStatus,filePtr);
/*======================*/
/* Save the constructs. */
/*======================*/
for (defmodulePtr = EnvGetNextDefmodule(theEnv,execStatus,NULL);
defmodulePtr != NULL;
defmodulePtr = EnvGetNextDefmodule(theEnv,execStatus,defmodulePtr))
{
for (saveFunction = ConstructData(theEnv,execStatus)->ListOfSaveFunctions;
saveFunction != NULL;
saveFunction = saveFunction->next)
{
((* (void (*)(void *,EXEC_STATUS,void *,char *)) saveFunction->func))(theEnv,execStatus,defmodulePtr,(char *) filePtr);
}
}
/*======================*/
/* Close the save file. */
/*======================*/
GenClose(theEnv,execStatus,filePtr);
/*===========================*/
/* Remove the router bypass. */
/*===========================*/
SetFastSave(theEnv,execStatus,NULL);
/*=========================*/
/* Return TRUE to indicate */
/* successful completion. */
/*=========================*/
return(TRUE);
}
globle int Save(
char *fileName)
{
struct callFunctionItem *saveFunction;
FILE *filePtr;
/*=====================*/
/* Open the save file. */
/*=====================*/
if ((filePtr = fopen(fileName,"w")) == NULL)
{ return(FALSE); }
/*===========================*/
/* Bypass the router system. */
/*===========================*/
SetFastSave(filePtr);
/*======================*/
/* Save the constructs. */
/*======================*/
for (saveFunction = ListOfSaveFunctions;
saveFunction != NULL;
saveFunction = saveFunction->next)
{
((* (void (*)(char *)) saveFunction->func))((char *) filePtr);
}
/*======================*/
/* Close the save file. */
/*======================*/
fclose(filePtr);
/*===========================*/
/* Remove the router bypass. */
/*===========================*/
SetFastSave(NULL);
/*=========================*/
/* Return TRUE to indicate */
/* successful completion. */
/*=========================*/
return(TRUE);
}
globle int EnvSave(
void *theEnv,
const char *fileName)
{
struct callFunctionItem *saveFunction;
FILE *filePtr;
struct defmodule *defmodulePtr;
intBool updated = FALSE;
intBool unvisited = TRUE;
/*=====================*/
/* Open the save file. */
/*=====================*/
if ((filePtr = GenOpen(theEnv,fileName,"w")) == NULL)
{ return(FALSE); }
/*===========================*/
/* Bypass the router system. */
/*===========================*/
SetFastSave(theEnv,filePtr);
/*================================*/
/* Mark all modules as unvisited. */
/*================================*/
MarkModulesAsUnvisited(theEnv);
/*===============================================*/
/* Save the constructs. Repeatedly loop over the */
/* modules until each module has been save. */
/*===============================================*/
while (unvisited)
{
unvisited = FALSE;
updated = FALSE;
for (defmodulePtr = (struct defmodule *) EnvGetNextDefmodule(theEnv,NULL);
defmodulePtr != NULL;
defmodulePtr = (struct defmodule *) EnvGetNextDefmodule(theEnv,defmodulePtr))
{
/*=================================================================*/
/* We only want to save a module if all of the modules it imports */
/* from have already been saved. Since there can't be circular */
/* dependencies in imported modules, this should save the modules */
/* that don't import anything first and then work back from those. */
/*=================================================================*/
if (defmodulePtr->visitedFlag)
{ /* Module has already been saved. */ }
else if (AllImportedModulesVisited(theEnv,defmodulePtr))
{
for (saveFunction = ConstructData(theEnv)->ListOfSaveFunctions;
saveFunction != NULL;
saveFunction = saveFunction->next)
{
((* (void (*)(void *,void *,char *)) saveFunction->func))(theEnv,defmodulePtr,(char *) filePtr);
}
updated = TRUE;
defmodulePtr->visitedFlag = TRUE;
}
else
{ unvisited = TRUE; }
}
/*=====================================================================*/
/* At least one module should be saved in every pass. If all have been */
/* visited/saved, then both flags will be FALSE. If all remaining */
/* unvisited/unsaved modules were visited/saved, then unvisited will */
/* be FALSE and updated will be TRUE. If some, but not all, remaining */
/* unvisited/unsaved modules are visited/saved, then unvisited will */
/* be TRUE and updated will be TRUE. This leaves the case where there */
/* are remaining unvisited/unsaved modules, but none were */
/* visited/saved: unvisited is TRUE and updated is FALSE. */
/*=====================================================================*/
if (unvisited && (! updated))
{
SystemError(theEnv,"CONSTRCT",2);
break;
}
}
/*======================*/
/* Close the save file. */
/*======================*/
GenClose(theEnv,filePtr);
/*===========================*/
/* Remove the router bypass. */
/*===========================*/
SetFastSave(theEnv,NULL);
/*=========================*/
/* Return TRUE to indicate */
/* successful completion. */
/*=========================*/
return(TRUE);
}
globle intBool EnvSaveFacts(
void *theEnv,
char *fileName,
int saveCode,
struct expr *theList)
{
int tempValue1, tempValue2, tempValue3;
struct fact *theFact;
FILE *filePtr;
struct defmodule *theModule;
DATA_OBJECT_PTR theDOArray;
int count, i, printFact, error;
/*======================================================*/
/* Open the file. Use either "fast save" or I/O Router. */
/*======================================================*/
if ((filePtr = GenOpen(theEnv,fileName,(char*)"w")) == NULL)
{
OpenErrorMessage(theEnv,(char*)"save-facts",fileName);
return(FALSE);
}
SetFastSave(theEnv,filePtr);
/*===========================================*/
/* Set the print flags so that addresses and */
/* strings are printed properly to the file. */
/*===========================================*/
tempValue1 = PrintUtilityData(theEnv)->PreserveEscapedCharacters;
PrintUtilityData(theEnv)->PreserveEscapedCharacters = TRUE;
tempValue2 = PrintUtilityData(theEnv)->AddressesToStrings;
PrintUtilityData(theEnv)->AddressesToStrings = TRUE;
tempValue3 = PrintUtilityData(theEnv)->InstanceAddressesToNames;
PrintUtilityData(theEnv)->InstanceAddressesToNames = TRUE;
/*===================================================*/
/* Determine the list of specific facts to be saved. */
/*===================================================*/
theDOArray = GetSaveFactsDeftemplateNames(theEnv,theList,saveCode,&count,&error);
if (error)
{
PrintUtilityData(theEnv)->PreserveEscapedCharacters = tempValue1;
PrintUtilityData(theEnv)->AddressesToStrings = tempValue2;
PrintUtilityData(theEnv)->InstanceAddressesToNames = tempValue3;
GenClose(theEnv,filePtr);
SetFastSave(theEnv,NULL);
return(FALSE);
}
/*=================*/
/* Save the facts. */
/*=================*/
theModule = ((struct defmodule *) EnvGetCurrentModule(theEnv));
for (theFact = (struct fact *) GetNextFactInScope(theEnv,NULL);
theFact != NULL;
theFact = (struct fact *) GetNextFactInScope(theEnv,theFact))
{
/*===========================================================*/
/* If we're doing a local save and the facts's corresponding */
/* deftemplate isn't in the current module, then don't save */
/* the fact. */
/*===========================================================*/
if ((saveCode == LOCAL_SAVE) &&
(theFact->whichDeftemplate->header.whichModule->theModule != theModule))
{ printFact = FALSE; }
/*=====================================================*/
/* Otherwise, if the list of facts to be printed isn't */
/* restricted, then set the print flag to TRUE. */
/*=====================================================*/
else if (theList == NULL)
{ printFact = TRUE; }
/*=======================================================*/
/* Otherwise see if the fact's corresponding deftemplate */
/* is in the list of deftemplates whose facts are to be */
/* saved. If it's in the list, then set the print flag */
/* to TRUE, otherwise set it to FALSE. */
/*=======================================================*/
else
{
printFact = FALSE;
for (i = 0; i < count; i++)
{
if (theDOArray[i].value == (void *) theFact->whichDeftemplate)
{
printFact = TRUE;
break;
}
}
}
/*===================================*/
/* If the print flag is set to TRUE, */
/* then save the fact to the file. */
/*===================================*/
if (printFact)
{
PrintFact(theEnv,(char *) filePtr,theFact,FALSE,FALSE);
EnvPrintRouter(theEnv,(char *) filePtr,(char*)"\n");
}
}
/*==========================*/
/* Restore the print flags. */
/*==========================*/
PrintUtilityData(theEnv)->PreserveEscapedCharacters = tempValue1;
PrintUtilityData(theEnv)->AddressesToStrings = tempValue2;
PrintUtilityData(theEnv)->InstanceAddressesToNames = tempValue3;
/*=================*/
/* Close the file. */
/*=================*/
GenClose(theEnv,filePtr);
SetFastSave(theEnv,NULL);
/*==================================*/
/* Free the deftemplate name array. */
/*==================================*/
if (theList != NULL) rm3(theEnv,theDOArray,(long) sizeof(DATA_OBJECT) * count);
/*===================================*/
/* Return TRUE to indicate no errors */
/* occurred while saving the facts. */
/*===================================*/
return(TRUE);
}
bool Save(
Environment *theEnv,
const char *fileName)
{
struct saveCallFunctionItem *saveFunction;
FILE *filePtr;
Defmodule *defmodulePtr;
bool updated = false;
bool unvisited = true;
/*=====================================*/
/* If embedded, clear the error flags. */
/*=====================================*/
if (EvaluationData(theEnv)->CurrentExpression == NULL)
{ ResetErrorFlags(theEnv); }
/*=====================*/
/* Open the save file. */
/*=====================*/
if ((filePtr = GenOpen(theEnv,fileName,"w")) == NULL)
{ return false; }
/*===========================*/
/* Bypass the router system. */
/*===========================*/
SetFastSave(theEnv,filePtr);
/*================================*/
/* Mark all modules as unvisited. */
/*================================*/
MarkModulesAsUnvisited(theEnv);
/*===============================================*/
/* Save the constructs. Repeatedly loop over the */
/* modules until each module has been save. */
/*===============================================*/
while (unvisited)
{
unvisited = false;
updated = false;
for (defmodulePtr = GetNextDefmodule(theEnv,NULL);
defmodulePtr != NULL;
defmodulePtr = GetNextDefmodule(theEnv,defmodulePtr))
{
/*=================================================================*/
/* We only want to save a module if all of the modules it imports */
/* from have already been saved. Since there can't be circular */
/* dependencies in imported modules, this should save the modules */
/* that don't import anything first and then work back from those. */
/*=================================================================*/
if (defmodulePtr->visitedFlag)
{ /* Module has already been saved. */ }
else if (AllImportedModulesVisited(theEnv,defmodulePtr))
{
for (saveFunction = ConstructData(theEnv)->ListOfSaveFunctions;
saveFunction != NULL;
saveFunction = saveFunction->next)
{ (*saveFunction->func)(theEnv,defmodulePtr,(char *) filePtr,saveFunction->context); }
updated = true;
defmodulePtr->visitedFlag = true;
}
else
{ unvisited = true; }
}
/*=====================================================================*/
/* At least one module should be saved in every pass. If all have been */
/* visited/saved, then both flags will be false. If all remaining */
/* unvisited/unsaved modules were visited/saved, then unvisited will */
/* be false and updated will be true. If some, but not all, remaining */
/* unvisited/unsaved modules are visited/saved, then unvisited will */
/* be true and updated will be true. This leaves the case where there */
/* are remaining unvisited/unsaved modules, but none were */
/* visited/saved: unvisited is true and updated is false. */
/*=====================================================================*/
if (unvisited && (! updated))
{
SystemError(theEnv,"CONSTRCT",2);
break;
}
}
/*======================*/
/* Close the save file. */
/*======================*/
GenClose(theEnv,filePtr);
/*===========================*/
/* Remove the router bypass. */
/*===========================*/
SetFastSave(theEnv,NULL);
/*=========================*/
/* Return true to indicate */
/* successful completion. */
/*=========================*/
return true;
}
