clipsruby 0.0.2

data/ext/clipsruby/developr.h

@@ -0,0 +1,69 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  08/25/16            */
+   /*                                                     */
+   /*                 DEVELOPER HEADER FILE               */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose:                                                  */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.24: Converted INSTANCE_PATTERN_MATCHING to         */
+/*            DEFRULE_CONSTRUCT.                             */
+/*                                                           */
+/*      6.30: Added support for hashed alpha memories.       */
+/*                                                           */
+/*            Changed garbage collection algorithm.          */
+/*            Functions enable-gc-heuristics and             */
+/*            disable-gc-heuristics are no longer supported. */
+/*                                                           */
+/*            Changed integer type/precision.                */
+/*                                                           */
+/*      6.40: Removed LOCALE definition.                     */
+/*                                                           */
+/*            Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Added support for booleans with <stdbool.h>.   */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*            UDF redesign.                                  */
+/*                                                           */
+/*************************************************************/
+
+#ifndef _H_developr
+
+#pragma once
+
+#define _H_developr
+
+   void                           DeveloperCommands(Environment *);
+   void                           PrimitiveTablesInfoCommand(Environment *,UDFContext *,UDFValue *);
+   void                           PrimitiveTablesUsageCommand(Environment *,UDFContext *,UDFValue *);
+
+#if DEFRULE_CONSTRUCT && DEFTEMPLATE_CONSTRUCT
+   void                           ShowFactPatternNetworkCommand(Environment *,UDFContext *,UDFValue *);
+   void                           ValidateFactIntegrityCommand(Environment *,UDFContext *,UDFValue *);
+#endif
+#if DEFRULE_CONSTRUCT && OBJECT_SYSTEM
+   void                           PrintObjectPatternNetworkCommand(Environment *,UDFContext *,UDFValue *);
+#endif
+#if OBJECT_SYSTEM
+   void                           InstanceTableUsageCommand(Environment *,UDFContext *,UDFValue *);
+#endif
+#if DEFRULE_CONSTRUCT
+   void                           ValidateBetaMemoriesCommand(Environment *,UDFContext *,UDFValue *);
+#endif
+
+#endif /* _H_developr */
+
+

data/ext/clipsruby/dffctbin.c

@@ -0,0 +1,477 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*            CLIPS Version 6.40  07/30/16             */
+   /*                                                     */
+   /*             DEFFACTS BSAVE/BLOAD MODULE             */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Implements the binary save/load feature for the  */
+/*    deffacts construct.                                    */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*      Brian L. Dantes                                      */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.30: Changed integer type/precision.                */
+/*                                                           */
+/*      6.40: Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*************************************************************/
+
+#include "setup.h"
+
+#if DEFFACTS_CONSTRUCT && (BLOAD || BLOAD_ONLY || BLOAD_AND_BSAVE) && (! RUN_TIME)
+
+#include <stdio.h>
+
+#include "bload.h"
+#include "bsave.h"
+#include "dffctdef.h"
+#include "envrnmnt.h"
+#include "memalloc.h"
+#include "moduldef.h"
+
+#include "dffctbin.h"
+
+/***************************************/
+/* LOCAL INTERNAL FUNCTION DEFINITIONS */
+/***************************************/
+
+#if BLOAD_AND_BSAVE
+   static void                    BsaveFind(Environment *);
+   static void                    BsaveExpressions(Environment *,FILE *);
+   static void                    BsaveStorage(Environment *,FILE *);
+   static void                    BsaveBinaryItem(Environment *,FILE *);
+#endif
+   static void                    BloadStorage(Environment *);
+   static void                    BloadBinaryItem(Environment *);
+   static void                    UpdateDeffactsModule(Environment *,void *,unsigned long);
+   static void                    UpdateDeffacts(Environment *,void *,unsigned long);
+   static void                    ClearBload(Environment *);
+   static void                    DeallocateDeffactsBloadData(Environment *);
+
+/********************************************/
+/* DeffactsBinarySetup: Installs the binary */
+/*   save/load feature for deffacts.        */
+/********************************************/
+void DeffactsBinarySetup(
+  Environment *theEnv)
+  {
+   AllocateEnvironmentData(theEnv,DFFCTBIN_DATA,sizeof(struct deffactsBinaryData),DeallocateDeffactsBloadData);
+#if BLOAD_AND_BSAVE
+   AddBinaryItem(theEnv,"deffacts",0,BsaveFind,BsaveExpressions,
+                             BsaveStorage,BsaveBinaryItem,
+                             BloadStorage,BloadBinaryItem,
+                             ClearBload);
+#endif
+
+#if (BLOAD || BLOAD_ONLY)
+   AddBinaryItem(theEnv,"deffacts",0,NULL,NULL,NULL,NULL,
+                             BloadStorage,BloadBinaryItem,
+                             ClearBload);
+#endif
+  }
+
+/********************************************************/
+/* DeallocateDeffactsBloadData: Deallocates environment */
+/*    data for the deffacts bsave functionality.        */
+/********************************************************/
+static void DeallocateDeffactsBloadData(
+  Environment *theEnv)
+  {
+   size_t space;
+
+   space = DeffactsBinaryData(theEnv)->NumberOfDeffacts * sizeof(Deffacts);
+   if (space != 0) genfree(theEnv,DeffactsBinaryData(theEnv)->DeffactsArray,space);
+
+   space = DeffactsBinaryData(theEnv)->NumberOfDeffactsModules * sizeof(struct deffactsModule);
+   if (space != 0) genfree(theEnv,DeffactsBinaryData(theEnv)->ModuleArray,space);
+  }
+
+#if BLOAD_AND_BSAVE
+
+/*********************************************************/
+/* BsaveFind: Counts the number of data structures which */
+/*   must be saved in the binary image for the deffacts  */
+/*   in the current environment.                         */
+/*********************************************************/
+static void BsaveFind(
+  Environment *theEnv)
+  {
+   Deffacts *theDeffacts;
+   Defmodule *theModule;
+
+   /*=======================================================*/
+   /* If a binary image is already loaded, then temporarily */
+   /* save the count values since these will be overwritten */
+   /* in the process of saving the binary image.            */
+   /*=======================================================*/
+
+   SaveBloadCount(theEnv,DeffactsBinaryData(theEnv)->NumberOfDeffactsModules);
+   SaveBloadCount(theEnv,DeffactsBinaryData(theEnv)->NumberOfDeffacts);
+
+   /*========================================*/
+   /* Set the count of deffacts and deffacts */
+   /* module data structures to zero.        */
+   /*========================================*/
+
+   DeffactsBinaryData(theEnv)->NumberOfDeffacts = 0;
+   DeffactsBinaryData(theEnv)->NumberOfDeffactsModules = 0;
+
+   /*===========================*/
+   /* Loop through each module. */
+   /*===========================*/
+
+   for (theModule = GetNextDefmodule(theEnv,NULL);
+        theModule != NULL;
+        theModule = GetNextDefmodule(theEnv,theModule))
+     {
+      /*===============================================*/
+      /* Set the current module to the module being    */
+      /* examined and increment the number of deffacts */
+      /* modules encountered.                          */
+      /*===============================================*/
+
+      SetCurrentModule(theEnv,theModule);
+      DeffactsBinaryData(theEnv)->NumberOfDeffactsModules++;
+
+      /*===================================================*/
+      /* Loop through each deffacts in the current module. */
+      /*===================================================*/
+
+      for (theDeffacts = GetNextDeffacts(theEnv,NULL);
+           theDeffacts != NULL;
+           theDeffacts = GetNextDeffacts(theEnv,theDeffacts))
+        {
+         /*======================================================*/
+         /* Initialize the construct header for the binary save. */
+         /*======================================================*/
+
+         MarkConstructHeaderNeededItems(&theDeffacts->header,DeffactsBinaryData(theEnv)->NumberOfDeffacts++);
+
+         /*============================================================*/
+         /* Count the number of expressions contained in the deffacts' */
+         /* assertion list and mark any atomic values contained there  */
+         /* as in use.                                                 */
+         /*============================================================*/
+
+         ExpressionData(theEnv)->ExpressionCount += ExpressionSize(theDeffacts->assertList);
+         MarkNeededItems(theEnv,theDeffacts->assertList);
+        }
+     }
+  }
+
+/************************************************/
+/* BsaveExpressions: Saves the expressions used */
+/*   by deffacts to the binary save file.       */
+/************************************************/
+static void BsaveExpressions(
+  Environment *theEnv,
+  FILE *fp)
+  {
+   Deffacts *theDeffacts;
+   Defmodule *theModule;
+
+   /*===========================*/
+   /* Loop through each module. */
+   /*===========================*/
+
+   for (theModule = GetNextDefmodule(theEnv,NULL);
+        theModule != NULL;
+        theModule = GetNextDefmodule(theEnv,theModule))
+     {
+      /*======================================================*/
+      /* Set the current module to the module being examined. */
+      /*======================================================*/
+
+      SetCurrentModule(theEnv,theModule);
+
+      /*==================================================*/
+      /* Loop through each deffacts in the current module */
+      /* and save the assertion list expression.          */
+      /*==================================================*/
+
+      for (theDeffacts = GetNextDeffacts(theEnv,NULL);
+           theDeffacts != NULL;
+           theDeffacts = GetNextDeffacts(theEnv,theDeffacts))
+        { BsaveExpression(theEnv,theDeffacts->assertList,fp); }
+     }
+  }
+
+/******************************************************/
+/* BsaveStorage: Writes out the storage requirements  */
+/*    for all deffacts structures to the binary file. */
+/******************************************************/
+static void BsaveStorage(
+  Environment *theEnv,
+  FILE *fp)
+  {
+   size_t space;
+
+   /*=================================================================*/
+   /* Only two data structures are saved as part of a deffacts binary */
+   /* image: the deffacts data structure and the deffactsModule data  */
+   /* structure. The assertion list expressions are not save with the */
+   /* deffacts portion of the binary image.                           */
+   /*=================================================================*/
+
+   space = sizeof(long) * 2;
+   GenWrite(&space,sizeof(size_t),fp);
+   GenWrite(&DeffactsBinaryData(theEnv)->NumberOfDeffacts,sizeof(long),fp);
+   GenWrite(&DeffactsBinaryData(theEnv)->NumberOfDeffactsModules,sizeof(long),fp);
+  }
+
+/********************************************/
+/* BsaveBinaryItem: Writes out all deffacts */
+/*   structures to the binary file.         */
+/********************************************/
+static void BsaveBinaryItem(
+  Environment *theEnv,
+  FILE *fp)
+  {
+   size_t space;
+   Deffacts *theDeffacts;
+   struct bsaveDeffacts newDeffacts;
+   Defmodule *theModule;
+   struct bsaveDeffactsModule tempDeffactsModule;
+   struct deffactsModule *theModuleItem;
+
+   /*=========================================================*/
+   /* Write out the amount of space taken up by the deffacts  */
+   /* and deffactsModule data structures in the binary image. */
+   /*=========================================================*/
+
+   space = DeffactsBinaryData(theEnv)->NumberOfDeffacts * sizeof(struct bsaveDeffacts) +
+           (DeffactsBinaryData(theEnv)->NumberOfDeffactsModules * sizeof(struct bsaveDeffactsModule));
+   GenWrite(&space,sizeof(size_t),fp);
+
+   /*================================================*/
+   /* Write out each deffacts module data structure. */
+   /*================================================*/
+
+   DeffactsBinaryData(theEnv)->NumberOfDeffacts = 0;
+   for (theModule = GetNextDefmodule(theEnv,NULL);
+        theModule != NULL;
+        theModule = GetNextDefmodule(theEnv,theModule))
+     {
+      SetCurrentModule(theEnv,theModule);
+
+      theModuleItem = (struct deffactsModule *) GetModuleItem(theEnv,NULL,DeffactsData(theEnv)->DeffactsModuleIndex);
+      AssignBsaveDefmdlItemHdrVals(&tempDeffactsModule.header,&theModuleItem->header);
+      GenWrite(&tempDeffactsModule,sizeof(struct bsaveDeffactsModule),fp);
+     }
+
+   /*==========================*/
+   /* Write out each deffacts. */
+   /*==========================*/
+
+   for (theModule = GetNextDefmodule(theEnv,NULL);
+        theModule != NULL;
+        theModule = GetNextDefmodule(theEnv,theModule))
+     {
+      SetCurrentModule(theEnv,theModule);
+
+      for (theDeffacts = GetNextDeffacts(theEnv,NULL);
+           theDeffacts != NULL;
+           theDeffacts = GetNextDeffacts(theEnv,theDeffacts))
+        {
+         AssignBsaveConstructHeaderVals(&newDeffacts.header,&theDeffacts->header);
+         if (theDeffacts->assertList != NULL)
+           {
+            newDeffacts.assertList = ExpressionData(theEnv)->ExpressionCount;
+            ExpressionData(theEnv)->ExpressionCount += ExpressionSize(theDeffacts->assertList);
+           }
+         else
+           { newDeffacts.assertList = ULONG_MAX; }
+
+         GenWrite(&newDeffacts,sizeof(struct bsaveDeffacts),fp);
+        }
+     }
+
+   /*=============================================================*/
+   /* If a binary image was already loaded when the bsave command */
+   /* was issued, then restore the counts indicating the number   */
+   /* of deffacts and deffacts modules in the binary image (these */
+   /* were overwritten by the binary save).                       */
+   /*=============================================================*/
+
+   RestoreBloadCount(theEnv,&DeffactsBinaryData(theEnv)->NumberOfDeffactsModules);
+   RestoreBloadCount(theEnv,&DeffactsBinaryData(theEnv)->NumberOfDeffacts);
+  }
+
+#endif /* BLOAD_AND_BSAVE */
+
+/****************************************************/
+/* BloadStorage: Allocates storage requirements for */
+/*   the deffacts used by this binary image.        */
+/****************************************************/
+static void BloadStorage(
+  Environment *theEnv)
+  {
+   size_t space;
+
+   /*=====================================================*/
+   /* Determine the number of deffacts and deffactsModule */
+   /* data structures to be read.                         */
+   /*=====================================================*/
+
+   GenReadBinary(theEnv,&space,sizeof(size_t));
+   GenReadBinary(theEnv,&DeffactsBinaryData(theEnv)->NumberOfDeffacts,sizeof(long));
+   GenReadBinary(theEnv,&DeffactsBinaryData(theEnv)->NumberOfDeffactsModules,sizeof(long));
+
+   /*===================================*/
+   /* Allocate the space needed for the */
+   /* deffactsModule data structures.   */
+   /*===================================*/
+
+   if (DeffactsBinaryData(theEnv)->NumberOfDeffactsModules == 0)
+     {
+      DeffactsBinaryData(theEnv)->DeffactsArray = NULL;
+      DeffactsBinaryData(theEnv)->ModuleArray = NULL;
+      return;
+     }
+
+   space = DeffactsBinaryData(theEnv)->NumberOfDeffactsModules * sizeof(struct deffactsModule);
+   DeffactsBinaryData(theEnv)->ModuleArray = (struct deffactsModule *) genalloc(theEnv,space);
+
+   /*===================================*/
+   /* Allocate the space needed for the */
+   /* deffacts data structures.         */
+   /*===================================*/
+
+   if (DeffactsBinaryData(theEnv)->NumberOfDeffacts == 0)
+     {
+      DeffactsBinaryData(theEnv)->DeffactsArray = NULL;
+      return;
+     }
+
+   space = (DeffactsBinaryData(theEnv)->NumberOfDeffacts * sizeof(Deffacts));
+   DeffactsBinaryData(theEnv)->DeffactsArray = (Deffacts *) genalloc(theEnv,space);
+  }
+
+/*****************************************************/
+/* BloadBinaryItem: Loads and refreshes the deffacts */
+/*   constructs used by this binary image.           */
+/*****************************************************/
+static void BloadBinaryItem(
+  Environment *theEnv)
+  {
+   size_t space;
+
+   /*======================================================*/
+   /* Read in the amount of space used by the binary image */
+   /* (this is used to skip the construct in the event it  */
+   /* is not available in the version being run).          */
+   /*======================================================*/
+
+   GenReadBinary(theEnv,&space,sizeof(size_t));
+
+   /*============================================*/
+   /* Read in the deffactsModule data structures */
+   /* and refresh the pointers.                  */
+   /*============================================*/
+
+   BloadandRefresh(theEnv,DeffactsBinaryData(theEnv)->NumberOfDeffactsModules,
+                   sizeof(struct bsaveDeffactsModule),UpdateDeffactsModule);
+
+   /*======================================*/
+   /* Read in the deffacts data structures */
+   /* and refresh the pointers.            */
+   /*======================================*/
+
+   BloadandRefresh(theEnv,DeffactsBinaryData(theEnv)->NumberOfDeffacts,
+                   sizeof(struct bsaveDeffacts),UpdateDeffacts);
+  }
+
+/***************************************************/
+/* UpdateDeffactsModule: Bload refresh routine for */
+/*   deffacts module data structures.              */
+/***************************************************/
+static void UpdateDeffactsModule(
+  Environment *theEnv,
+  void *buf,
+  unsigned long obji)
+  {
+   struct bsaveDeffactsModule *bdmPtr;
+
+   bdmPtr = (struct bsaveDeffactsModule *) buf;
+   UpdateDefmoduleItemHeader(theEnv,&bdmPtr->header,&DeffactsBinaryData(theEnv)->ModuleArray[obji].header,
+                             sizeof(Deffacts),DeffactsBinaryData(theEnv)->DeffactsArray);
+  }
+
+/*********************************************/
+/* UpdateDeffacts: Bload refresh routine for */
+/*   deffacts data structures.               */
+/*********************************************/
+static void UpdateDeffacts(
+  Environment *theEnv,
+  void *buf,
+  unsigned long obji)
+  {
+   struct bsaveDeffacts *bdp;
+
+   bdp = (struct bsaveDeffacts *) buf;
+   UpdateConstructHeader(theEnv,&bdp->header,&DeffactsBinaryData(theEnv)->DeffactsArray[obji].header,
+                         DEFFACTS,sizeof(struct deffactsModule),DeffactsBinaryData(theEnv)->ModuleArray,
+                         sizeof(Deffacts),DeffactsBinaryData(theEnv)->DeffactsArray);
+   DeffactsBinaryData(theEnv)->DeffactsArray[obji].assertList = ExpressionPointer(bdp->assertList);
+  }
+
+/**************************************/
+/* ClearBload: Deffacts clear routine */
+/*   when a binary load is in effect. */
+/**************************************/
+static void ClearBload(
+  Environment *theEnv)
+  {
+   unsigned long i;
+   size_t space;
+
+   /*=============================================*/
+   /* Decrement in use counters for atomic values */
+   /* contained in the construct headers.         */
+   /*=============================================*/
+
+   for (i = 0; i < DeffactsBinaryData(theEnv)->NumberOfDeffacts; i++)
+     { UnmarkConstructHeader(theEnv,&DeffactsBinaryData(theEnv)->DeffactsArray[i].header); }
+
+   /*=============================================================*/
+   /* Deallocate the space used for the deffacts data structures. */
+   /*=============================================================*/
+
+   space = DeffactsBinaryData(theEnv)->NumberOfDeffacts * sizeof(Deffacts);
+   if (space != 0) genfree(theEnv,DeffactsBinaryData(theEnv)->DeffactsArray,space);
+   DeffactsBinaryData(theEnv)->NumberOfDeffacts = 0;
+
+   /*====================================================================*/
+   /* Deallocate the space used for the deffacts module data structures. */
+   /*====================================================================*/
+
+   space = DeffactsBinaryData(theEnv)->NumberOfDeffactsModules * sizeof(struct deffactsModule);
+   if (space != 0) genfree(theEnv,DeffactsBinaryData(theEnv)->ModuleArray,space);
+   DeffactsBinaryData(theEnv)->NumberOfDeffactsModules = 0;
+  }
+
+/******************************************************/
+/* BloadDeffactsModuleReference: Returns the deffacts */
+/*   module pointer for use with the bload function.  */
+/******************************************************/
+void *BloadDeffactsModuleReference(
+  Environment *theEnv,
+  unsigned long theIndex)
+  {
+   return (void *) &DeffactsBinaryData(theEnv)->ModuleArray[theIndex];
+  }
+
+#endif /* DEFFACTS_CONSTRUCT && (BLOAD || BLOAD_ONLY || BLOAD_AND_BSAVE) && (! RUN_TIME) */
+
+

data/ext/clipsruby/dffctbin.h

@@ -0,0 +1,76 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  07/30/16            */
+   /*                                                     */
+   /*           DEFFACTS BSAVE/BLOAD HEADER FILE          */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose:                                                  */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*      Brian L. Dantes                                      */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.30: Changed integer type/precision.                */
+/*                                                           */
+/*      6.40: Removed LOCALE definition.                     */
+/*                                                           */
+/*            Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*************************************************************/
+
+#ifndef _H_dffctbin
+
+#pragma once
+
+#define _H_dffctbin
+
+#if (! RUN_TIME)
+
+#include "constrct.h"
+#include "cstrcbin.h"
+#include "dffctdef.h"
+#include "modulbin.h"
+
+struct bsaveDeffacts
+  {
+   struct bsaveConstructHeader header;
+   unsigned long assertList;
+  };
+
+struct bsaveDeffactsModule
+  {
+   struct bsaveDefmoduleItemHeader header;
+  };
+
+#define DFFCTBIN_DATA 26
+
+struct deffactsBinaryData
+  {
+   Deffacts *DeffactsArray;
+   unsigned long NumberOfDeffacts;
+   struct deffactsModule *ModuleArray;
+   unsigned long NumberOfDeffactsModules;
+  };
+
+#define DeffactsBinaryData(theEnv) ((struct deffactsBinaryData *) GetEnvironmentData(theEnv,DFFCTBIN_DATA))
+
+   void                           DeffactsBinarySetup(Environment *);
+   void                          *BloadDeffactsModuleReference(Environment *,unsigned long);
+
+#endif /* (! RUN_TIME) */
+
+#endif /* _H_dffctbin */
+
+
+
+