/*******************************************************/   /*      "C" Language Integrated Production System      */   /*                                                     */   /*             CLIPS Version 6.24  06/02/06            */   /*                                                     */   /*              DEFFACTS DEFINITION MODULE             */   /*******************************************************//*************************************************************//* Purpose: Defines basic deffacts primitive functions such  *//*   as allocating and deallocating, traversing, and finding *//*   deffacts data structures.                               *//*                                                           *//* Principal Programmer(s):                                  *//*      Gary D. Riley                                        *//*                                                           *//* Contributing Programmer(s):                               *//*      Brian L. Donnell                                     *//*                                                           *//* Revision History:                                         *//*                                                           *//*      6.24: Renamed BOOLEAN macro type to intBool.         *//*                                                           *//*            Corrected code to remove run-time program      *//*            compiler warning.                              *//*                                                           *//*************************************************************/#define _DFFCTDEF_SOURCE_#include "setup.h"#if DEFFACTS_CONSTRUCT#include <stdio.h>#define _STDIO_INCLUDED_#include "memalloc.h"#include "dffctpsr.h"#include "dffctbsc.h"#include "envrnmnt.h"#if BLOAD || BLOAD_ONLY || BLOAD_AND_BSAVE#include "bload.h"#include "dffctbin.h"#endif#if CONSTRUCT_COMPILER && (! RUN_TIME)#include "dffctcmp.h"#endif#include "dffctdef.h"/***************************************//* LOCAL INTERNAL FUNCTION DEFINITIONS *//***************************************/   static void                   *AllocateModule(void *);   static void                    ReturnModule(void *,void *);   static void                    ReturnDeffacts(void *,void *);   static void                    InitializeDeffactsModules(void *);   static void                    DeallocateDeffactsData(void *);#if ! RUN_TIME   static void                    DestroyDeffactsAction(void *,struct constructHeader *,void *);#endif/***********************************************************//* InitializeDeffacts: Initializes the deffacts construct. *//***********************************************************/globle void InitializeDeffacts(    void *theEnv)  {   AllocateEnvironmentData(theEnv,DEFFACTS_DATA,sizeof(struct deffactsData),DeallocateDeffactsData);     InitializeDeffactsModules(theEnv);   DeffactsBasicCommands(theEnv);   DeffactsData(theEnv)->DeffactsConstruct =      AddConstruct(theEnv,"deffacts","deffacts",ParseDeffacts,EnvFindDeffacts,                   GetConstructNamePointer,GetConstructPPForm,                   GetConstructModuleItem,EnvGetNextDeffacts,SetNextConstruct,                   EnvIsDeffactsDeletable,EnvUndeffacts,ReturnDeffacts);  }  /***************************************************//* DeallocateDeffactsData: Deallocates environment *//*    data for the deffacts construct.             *//***************************************************/static void DeallocateDeffactsData(  void *theEnv)  {#if ! RUN_TIME   struct deffactsModule *theModuleItem;   void *theModule;#if BLOAD || BLOAD_AND_BSAVE   if (Bloaded(theEnv)) return;#endif   DoForAllConstructs(theEnv,DestroyDeffactsAction,DeffactsData(theEnv)->DeffactsModuleIndex,FALSE,NULL);    for (theModule = EnvGetNextDefmodule(theEnv,NULL);        theModule != NULL;        theModule = EnvGetNextDefmodule(theEnv,theModule))     {      theModuleItem = (struct deffactsModule *)                      GetModuleItem(theEnv,(struct defmodule *) theModule,                                    DeffactsData(theEnv)->DeffactsModuleIndex);      rtn_struct(theEnv,deffactsModule,theModuleItem);     }#else#if MAC_MCW || IBM_MCW || MAC_XCD#pragma unused(theEnv)#endif#endif  }  #if ! RUN_TIME/*********************************************************//* DestroyDeffactsAction: Action used to remove deffacts *//*   as a result of DestroyEnvironment.                  *//*********************************************************/#if IBM_TBC#pragma argsused#endifstatic void DestroyDeffactsAction(  void *theEnv,  struct constructHeader *theConstruct,  void *buffer)  {#if MAC_MCW || IBM_MCW || MAC_XCD#pragma unused(buffer)#endif#if (! BLOAD_ONLY) && (! RUN_TIME)   struct deffacts *theDeffacts = (struct deffacts *) theConstruct;      if (theDeffacts == NULL) return;   ReturnPackedExpression(theEnv,theDeffacts->assertList);      DestroyConstructHeader(theEnv,&theDeffacts->header);   rtn_struct(theEnv,deffacts,theDeffacts);#else#if MAC_MCW || IBM_MCW || MAC_XCD#pragma unused(theEnv,theConstruct)#endif#endif  }#endif/*******************************************************//* InitializeDeffactsModules: Initializes the deffacts *//*   construct for use with the defmodule construct.   *//*******************************************************/static void InitializeDeffactsModules(    void *theEnv)  {   DeffactsData(theEnv)->DeffactsModuleIndex =       RegisterModuleItem(theEnv,"deffacts",                         AllocateModule,                         ReturnModule,#if BLOAD_AND_BSAVE || BLOAD || BLOAD_ONLY                         BloadDeffactsModuleReference,#else                         NULL,#endif#if CONSTRUCT_COMPILER && (! RUN_TIME)                         DeffactsCModuleReference,#else                         NULL,#endif                         EnvFindDeffacts);  }/************************************************//* AllocateModule: Allocates a deffacts module. *//************************************************/static void *AllocateModule(  void *theEnv)  {   return((void *) get_struct(theEnv,deffactsModule));   }/************************************************//* ReturnModule: Deallocates a deffacts module. *//************************************************/static void ReturnModule(  void *theEnv,  void *theItem)  {   FreeConstructHeaderModule(theEnv,(struct defmoduleItemHeader *) theItem,DeffactsData(theEnv)->DeffactsConstruct);   rtn_struct(theEnv,deffactsModule,theItem);  }/*************************************************************//* GetDeffactsModuleItem: Returns a pointer to the defmodule *//*  item for the specified deffacts or defmodule.            *//*************************************************************/globle struct deffactsModule *GetDeffactsModuleItem(  void *theEnv,  struct defmodule *theModule)  {    return((struct deffactsModule *) GetConstructModuleItemByIndex(theEnv,theModule,DeffactsData(theEnv)->DeffactsModuleIndex));   }/**************************************************//* EnvFindDeffacts: Searches for a deffact in the *//*   list of deffacts. Returns a pointer to the   *//*   deffact if found, otherwise NULL.            *//**************************************************/globle void *EnvFindDeffacts(  void *theEnv,  char *deffactsName)  {    return(FindNamedConstruct(theEnv,deffactsName,DeffactsData(theEnv)->DeffactsConstruct));   }/*********************************************************//* EnvGetNextDeffacts: If passed a NULL pointer, returns *//*   the first deffacts in the ListOfDeffacts. Otherwise *//*   returns the next deffacts following the deffacts    *//*   passed as an argument.                              *//*********************************************************/globle void *EnvGetNextDeffacts(  void *theEnv,  void *deffactsPtr)  {   return((void *) GetNextConstructItem(theEnv,(struct constructHeader *) deffactsPtr,DeffactsData(theEnv)->DeffactsModuleIndex));   }/********************************************************//* EnvIsDeffactsDeletable: Returns TRUE if a particular *//*   deffacts can be deleted, otherwise returns FALSE.  *//********************************************************/#if IBM_TBC#pragma argsused#endifgloble intBool EnvIsDeffactsDeletable(  void *theEnv,  void *ptr)  {#if MAC_MCW || IBM_MCW || MAC_XCD#pragma unused(ptr)#endif   if (! ConstructsDeletable(theEnv))     { return FALSE; }   if (ConstructData(theEnv)->ResetInProgress) return(FALSE);   return(TRUE);  }/***********************************************************//* ReturnDeffacts: Returns the data structures associated  *//*   with a deffacts construct to the pool of free memory. *//***********************************************************/static void ReturnDeffacts(  void *theEnv,  void *vTheDeffacts)  {#if (MAC_MCW || IBM_MCW) && (RUN_TIME || BLOAD_ONLY)#pragma unused(theEnv,vTheDeffacts)#endif#if (! BLOAD_ONLY) && (! RUN_TIME)   struct deffacts *theDeffacts = (struct deffacts *) vTheDeffacts;   if (theDeffacts == NULL) return;   ExpressionDeinstall(theEnv,theDeffacts->assertList);   ReturnPackedExpression(theEnv,theDeffacts->assertList);   DeinstallConstructHeader(theEnv,&theDeffacts->header);   rtn_struct(theEnv,deffacts,theDeffacts);#endif  }  #endif /* DEFFACTS_CONSTRUCT */