summaryrefslogtreecommitdiff
path: root/src/factcom.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/factcom.c')
-rw-r--r--src/factcom.c147
1 files changed, 112 insertions, 35 deletions
diff --git a/src/factcom.c b/src/factcom.c
index 101c52e..ec76b4d 100644
--- a/src/factcom.c
+++ b/src/factcom.c
@@ -1,7 +1,7 @@
/*******************************************************/
/* "C" Language Integrated Production System */
/* */
- /* CLIPS Version 6.24 06/05/06 */
+ /* CLIPS Version 6.30 01/25/15 */
/* */
/* FACT COMMANDS MODULE */
/*******************************************************/
@@ -15,9 +15,10 @@
/* Gary D. Riley */
/* */
/* Contributing Programmer(s): */
-/* Brian L. Donnell */
+/* Brian L. Dantes */
/* */
/* Revision History: */
+/* */
/* 6.23: Correction for FalseSymbol/TrueSymbol. DR0859 */
/* */
/* 6.24: Added environment parameter to GenClose. */
@@ -25,6 +26,25 @@
/* */
/* Renamed BOOLEAN macro type to intBool. */
/* */
+/* 6.30: Support for long long integers. */
+/* */
+/* Removed conditional code for unsupported */
+/* compilers/operating systems (IBM_MCW and */
+/* MAC_MCW). */
+/* */
+/* Added const qualifiers to remove C++ */
+/* deprecation warnings. */
+/* */
+/* Converted API macros to function calls. */
+/* */
+/* Added code to prevent a clear command from */
+/* being executed during fact assertions via */
+/* Increment/DecrementClearReadyLocks API. */
+/* */
+/* Changed find construct functionality so that */
+/* imported modules are search when locating a */
+/* named construct. */
+/* */
/*************************************************************/
#include <stdio.h>
@@ -72,12 +92,12 @@
/***************************************/
#if (! RUN_TIME)
- static struct expr *AssertParse(void *,struct expr *,char *);
+ static struct expr *AssertParse(void *,struct expr *,const char *);
#endif
#if DEBUGGING_FUNCTIONS
- static long int GetFactsArgument(void *,int,int);
+ static long long GetFactsArgument(void *,int,int);
#endif
- static struct expr *StandardLoadFact(void *,char *,struct token *);
+ static struct expr *StandardLoadFact(void *,const char *,struct token *);
static DATA_OBJECT_PTR GetSaveFactsDeftemplateNames(void *,struct expr *,int,int *,int *);
/***************************************/
@@ -104,12 +124,12 @@ globle void FactCommandDefinitions(
EnvDefineFunction2(theEnv,"save-facts", 'b', PTIEF SaveFactsCommand, "SaveFactsCommand", "1*wk");
EnvDefineFunction2(theEnv,"load-facts", 'b', PTIEF LoadFactsCommand, "LoadFactsCommand", "11k");
- EnvDefineFunction2(theEnv,"fact-index", 'l', PTIEF FactIndexFunction,"FactIndexFunction", "11y");
+ EnvDefineFunction2(theEnv,"fact-index", 'g', PTIEF FactIndexFunction,"FactIndexFunction", "11y");
AddFunctionParser(theEnv,"assert",AssertParse);
FuncSeqOvlFlags(theEnv,"assert",FALSE,FALSE);
#else
-#if MAC_MCW || IBM_MCW || MAC_XCD
+#if MAC_XCD
#pragma unused(theEnv)
#endif
#endif
@@ -132,7 +152,7 @@ globle void AssertCommand(
int error = FALSE;
int i;
struct fact *theFact;
-
+
/*===================================================*/
/* Set the default return value to the symbol FALSE. */
/*===================================================*/
@@ -177,6 +197,8 @@ globle void AssertCommand(
/* the newly created fact. */
/*===================================================*/
+ EnvIncrementClearReadyLocks(theEnv);
+
theField = newFact->theProposition.theFields;
for (theExpression = theExpression->nextArg, i = 0;
@@ -217,6 +239,8 @@ globle void AssertCommand(
if (slotPtr != NULL) slotPtr = slotPtr->next;
}
+ EnvDecrementClearReadyLocks(theEnv);
+
/*============================================*/
/* If an error occured while generating the */
/* fact's slot values, then abort the assert. */
@@ -254,7 +278,7 @@ globle void AssertCommand(
globle void RetractCommand(
void *theEnv)
{
- long int factIndex;
+ long long factIndex;
struct fact *ptr;
struct expr *theArgument;
DATA_OBJECT theResult;
@@ -309,7 +333,7 @@ globle void RetractCommand(
else
{
char tempBuffer[20];
- sprintf(tempBuffer,"f-%ld",factIndex);
+ gensprintf(tempBuffer,"f-%lld",factIndex);
CantFindItemErrorMessage(theEnv,"fact",tempBuffer);
}
}
@@ -426,7 +450,7 @@ globle int GetFactDuplicationCommand(
/* FactIndexFunction: H/L access routine */
/* for the fact-index function. */
/*******************************************/
-globle long int FactIndexFunction(
+globle long long FactIndexFunction(
void *theEnv)
{
DATA_OBJECT item;
@@ -435,7 +459,7 @@ globle long int FactIndexFunction(
/* Check for the correct number of arguments. */
/*============================================*/
- if (EnvArgCountCheck(theEnv,"fact-index",EXACTLY,1) == -1) return(-1L);
+ if (EnvArgCountCheck(theEnv,"fact-index",EXACTLY,1) == -1) return(-1LL);
/*========================*/
/* Evaluate the argument. */
@@ -459,7 +483,7 @@ globle long int FactIndexFunction(
/* return -1 for the fact index. */
/*================================================*/
- if (((struct fact *) GetValue(item))->garbage) return(-1L);
+ if (((struct fact *) GetValue(item))->garbage) return(-1LL);
return (EnvFactIndex(theEnv,GetValue(item)));
}
@@ -474,7 +498,7 @@ globle void FactsCommand(
void *theEnv)
{
int argumentCount;
- long int start = UNSPECIFIED, end = UNSPECIFIED, max = UNSPECIFIED;
+ long long start = UNSPECIFIED, end = UNSPECIFIED, max = UNSPECIFIED;
struct defmodule *theModule;
DATA_OBJECT theValue;
int argOffset;
@@ -499,7 +523,7 @@ globle void FactsCommand(
if (argumentCount == 0)
{
- EnvFacts(theEnv,WDISPLAY,theModule,(long) start,(long) end,(long) max);
+ EnvFacts(theEnv,WDISPLAY,theModule,start,end,max);
return;
}
@@ -571,7 +595,7 @@ globle void FactsCommand(
/* List the facts. */
/*=================*/
- EnvFacts(theEnv,WDISPLAY,theModule,(long) start,(long) end,(long) max);
+ EnvFacts(theEnv,WDISPLAY,theModule,start,end,max);
}
/*****************************************************/
@@ -579,11 +603,11 @@ globle void FactsCommand(
/*****************************************************/
globle void EnvFacts(
void *theEnv,
- char *logicalName,
+ const char *logicalName,
void *vTheModule,
- long start,
- long end,
- long max)
+ long long start,
+ long long end,
+ long long max)
{
struct fact *factPtr;
long count = 0;
@@ -693,12 +717,12 @@ globle void EnvFacts(
/* A return value of -2 indicates that the value specified is */
/* invalid. */
/****************************************************************/
-static long int GetFactsArgument(
+static long long GetFactsArgument(
void *theEnv,
int whichOne,
int argumentCount)
{
- long int factIndex;
+ long long factIndex;
DATA_OBJECT theValue;
if (whichOne > argumentCount) return(UNSPECIFIED);
@@ -769,9 +793,9 @@ globle void AssertStringFunction(
globle int SaveFactsCommand(
void *theEnv)
{
- char *fileName;
+ const char *fileName;
int numArgs, saveCode = LOCAL_SAVE;
- char *argument;
+ const char *argument;
DATA_OBJECT theValue;
struct expr *theList = NULL;
@@ -822,7 +846,7 @@ globle int SaveFactsCommand(
/* Call the SaveFacts driver routine. */
/*====================================*/
- if (EnvSaveFacts(theEnv,fileName,saveCode,theList) == FALSE)
+ if (EnvSaveFactsDriver(theEnv,fileName,saveCode,theList) == FALSE)
{ return(FALSE); }
return(TRUE);
@@ -835,7 +859,7 @@ globle int SaveFactsCommand(
globle int LoadFactsCommand(
void *theEnv)
{
- char *fileName;
+ const char *fileName;
/*============================================*/
/* Check for the correct number of arguments. */
@@ -863,7 +887,18 @@ globle int LoadFactsCommand(
/**************************************************************/
globle intBool EnvSaveFacts(
void *theEnv,
- char *fileName,
+ const char *fileName,
+ int saveCode)
+ {
+ return EnvSaveFactsDriver(theEnv,fileName,saveCode,NULL);
+ }
+
+/********************************************************************/
+/* EnvSaveFactsDriver: C access routine for the save-facts command. */
+/********************************************************************/
+globle intBool EnvSaveFactsDriver(
+ void *theEnv,
+ const char *fileName,
int saveCode,
struct expr *theList)
{
@@ -1094,7 +1129,7 @@ static DATA_OBJECT_PTR GetSaveFactsDeftemplateNames(
if (saveCode == LOCAL_SAVE)
{
theDeftemplate = (struct deftemplate *)
- EnvFindDeftemplate(theEnv,ValueToString(theDOArray[i].value));
+ EnvFindDeftemplateInModule(theEnv,ValueToString(theDOArray[i].value));
if (theDeftemplate == NULL)
{
*error = TRUE;
@@ -1139,7 +1174,7 @@ static DATA_OBJECT_PTR GetSaveFactsDeftemplateNames(
/**************************************************************/
globle intBool EnvLoadFacts(
void *theEnv,
- char *fileName)
+ const char *fileName)
{
FILE *filePtr;
struct token theToken;
@@ -1192,10 +1227,10 @@ globle intBool EnvLoadFacts(
/*********************************************/
globle intBool EnvLoadFactsFromString(
void *theEnv,
- char *theString,
- int theMax)
+ const char *theString,
+ long theMax)
{
- char * theStrRouter = "*** load-facts-from-string ***";
+ const char *theStrRouter = "*** load-facts-from-string ***";
struct token theToken;
struct expr *testPtr;
DATA_OBJECT rv;
@@ -1205,7 +1240,7 @@ globle intBool EnvLoadFactsFromString(
/*==========================*/
if ((theMax == -1) ? (!OpenStringSource(theEnv,theStrRouter,theString,0)) :
- (!OpenTextSource(theEnv,theStrRouter,theString,0,(unsigned) theMax)))
+ (!OpenTextSource(theEnv,theStrRouter,theString,0,(size_t) theMax)))
return(FALSE);
/*=================*/
@@ -1241,7 +1276,7 @@ globle intBool EnvLoadFactsFromString(
/**************************************************************************/
static struct expr *StandardLoadFact(
void *theEnv,
- char *logicalName,
+ const char *logicalName,
struct token *theToken)
{
int error = FALSE;
@@ -1279,7 +1314,7 @@ static struct expr *StandardLoadFact(
static struct expr *AssertParse(
void *theEnv,
struct expr *top,
- char *logicalName)
+ const char *logicalName)
{
int error;
struct expr *rv;
@@ -1295,6 +1330,48 @@ static struct expr *AssertParse(
#endif /* (! RUN_TIME) */
+/*#####################################*/
+/* ALLOW_ENVIRONMENT_GLOBALS Functions */
+/*#####################################*/
+
+#if ALLOW_ENVIRONMENT_GLOBALS
+
+#if DEBUGGING_FUNCTIONS
+
+globle void Facts(
+ const char *logicalName,
+ void *vTheModule,
+ long long start,
+ long long end,
+ long long max)
+ {
+ EnvFacts(GetCurrentEnvironment(),logicalName,vTheModule,start,end,max);
+ }
+
+#endif /* DEBUGGING_FUNCTIONS */
+
+globle intBool LoadFacts(
+ const char *fileName)
+ {
+ return EnvLoadFacts(GetCurrentEnvironment(),fileName);
+ }
+
+globle intBool SaveFacts(
+ const char *fileName,
+ int saveCode)
+ {
+ return EnvSaveFacts(GetCurrentEnvironment(),fileName,saveCode);
+ }
+
+globle intBool LoadFactsFromString(
+ const char *theString,
+ int theMax)
+ {
+ return EnvLoadFactsFromString(GetCurrentEnvironment(),theString,theMax);
+ }
+
+#endif /* ALLOW_ENVIRONMENT_GLOBALS */
+
#endif /* DEFTEMPLATE_CONSTRUCT */
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-10 04:20:14 +0000