clipsruby 0.0.2

data/ext/clipsruby/factbld.h

@@ -0,0 +1,63 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  07/23/20            */
+   /*                                                     */
+   /*                FACT BUILD HEADER FILE               */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose:                                                  */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.30: Added support for hashed alpha memories.       */
+/*                                                           */
+/*            Added support for hashed comparisons to        */
+/*            constants.                                     */
+/*                                                           */
+/*      6.32: Fixed _FACTBUILD_SOURCE_ typo.                 */
+/*                                                           */
+/*      6.40: Removed LOCALE definition.                     */
+/*                                                           */
+/*            Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*************************************************************/
+
+#ifndef _H_factbld
+
+#pragma once
+
+#define _H_factbld
+
+struct factPatternNode;
+
+#include "network.h"
+#include "expressn.h"
+
+struct factPatternNode
+  {
+   struct patternNodeHeader header;
+   unsigned long bsaveID;
+   unsigned short whichField; // TBD seems to be 1 based rather than 0 based
+   unsigned short whichSlot;
+   unsigned short leaveFields;
+   struct expr *networkTest;
+   struct factPatternNode *nextLevel;
+   struct factPatternNode *lastLevel;
+   struct factPatternNode *leftNode;
+   struct factPatternNode *rightNode;
+  };
+
+   void                           InitializeFactPatterns(Environment *);
+   void                           DestroyFactPatternNetwork(Environment *,struct factPatternNode *);
+
+#endif /* _H_factbld */

data/ext/clipsruby/factcmp.c

@@ -0,0 +1,386 @@
+
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*            CLIPS Version 6.40  11/01/16             */
+   /*                                                     */
+   /*     FACT PATTERN NETWORK CONSTRUCTS-TO-C MODULE     */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Implements the constructs-to-c feature for the   */
+/*    fact pattern network.                                  */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.30: Added support for path name argument to        */
+/*            constructs-to-c.                               */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*      6.40: Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Added support for booleans with <stdbool.h>.   */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*************************************************************/
+
+#include "setup.h"
+
+#if DEFRULE_CONSTRUCT && (! RUN_TIME) && DEFTEMPLATE_CONSTRUCT && CONSTRUCT_COMPILER
+
+#define FactPrefix() ArbitraryPrefix(FactData(theEnv)->FactCodeItem,0)
+
+#include <stdio.h>
+
+#include "factbld.h"
+#include "factmngr.h"
+#include "conscomp.h"
+#include "factcmp.h"
+#include "tmpltdef.h"
+#include "envrnmnt.h"
+
+/***************************************/
+/* LOCAL INTERNAL FUNCTION DEFINITIONS */
+/***************************************/
+
+   static bool                    PatternNetworkToCode(Environment *,const char *,const char *,char *,
+                                                       unsigned int,FILE *,unsigned int,unsigned int);
+   static void                    BeforePatternNetworkToCode(Environment *);
+   static struct factPatternNode *GetNextPatternNode(struct factPatternNode *);
+   static void                    CloseNetworkFiles(Environment *,FILE *,unsigned int);
+   static void                    PatternNodeToCode(Environment *,FILE *,struct factPatternNode *,unsigned int,unsigned int);
+
+/**************************************************************/
+/* FactPatternsCompilerSetup: Initializes the constructs-to-c */
+/*   command for use with the fact pattern network.           */
+/**************************************************************/
+void FactPatternsCompilerSetup(
+  Environment *theEnv)
+  {
+   FactData(theEnv)->FactCodeItem = AddCodeGeneratorItem(theEnv,"facts",0,BeforePatternNetworkToCode,
+                                       NULL,PatternNetworkToCode,1);
+  }
+
+/****************************************************************/
+/* BeforePatternNetworkToCode: Assigns each pattern node with a */
+/*   unique ID which will be used for pointer references when   */
+/*   the data structures are written to a file as C code        */
+/****************************************************************/
+static void BeforePatternNetworkToCode(
+  Environment *theEnv)
+  {
+   unsigned int whichPattern = 0;
+   unsigned int whichDeftemplate = 0;
+   Defmodule *theModule;
+   Deftemplate *theDeftemplate;
+   struct factPatternNode *thePattern;
+
+   /*===========================*/
+   /* Loop through each module. */
+   /*===========================*/
+
+   for (theModule = GetNextDefmodule(theEnv,NULL);
+        theModule != NULL;
+        theModule = GetNextDefmodule(theEnv,theModule))
+     {
+      /*=========================*/
+      /* Set the current module. */
+      /*=========================*/
+
+      SetCurrentModule(theEnv,theModule);
+
+      /*======================================================*/
+      /* Loop through each deftemplate in the current module. */
+      /*======================================================*/
+
+      for (theDeftemplate = GetNextDeftemplate(theEnv,NULL);
+           theDeftemplate != NULL;
+           theDeftemplate = GetNextDeftemplate(theEnv,theDeftemplate))
+        {
+         /*=================================================*/
+         /* Assign each pattern node in the pattern network */
+         /* for the deftemplate a unique integer ID.        */
+         /*=================================================*/
+
+         theDeftemplate->header.bsaveID = whichDeftemplate++;
+         for (thePattern = theDeftemplate->patternNetwork;
+              thePattern != NULL;
+              thePattern = GetNextPatternNode(thePattern))
+           { thePattern->bsaveID = whichPattern++; }
+        }
+     }
+  }
+
+/********************************************************************/
+/* GetNextPatternNode: Returns the next node in a pattern network   */
+/*   tree. The next node is computed using a depth first traversal. */
+/********************************************************************/
+static struct factPatternNode *GetNextPatternNode(
+  struct factPatternNode *thePattern)
+  {
+   /*=========================================*/
+   /* If it's possible to go deeper into the  */
+   /* tree, then move down to the next level. */
+   /*=========================================*/
+
+   if (thePattern->nextLevel != NULL) return(thePattern->nextLevel);
+
+   /*========================================*/
+   /* Keep backing up toward the root of the */
+   /* tree until a side branch can be taken. */
+   /*========================================*/
+
+   while (thePattern->rightNode == NULL)
+     {
+      /*========================================*/
+      /* Back up to check the next side branch. */
+      /*========================================*/
+
+      thePattern = thePattern->lastLevel;
+
+      /*======================================*/
+      /* If we branched up from the root, the */
+      /* entire tree has been traversed.      */
+      /*======================================*/
+
+      if (thePattern == NULL) return NULL;
+     }
+
+   /*==================================*/
+   /* Move on to the next side branch. */
+   /*==================================*/
+
+   return(thePattern->rightNode);
+  }
+
+/********************************************************************/
+/* PatternNetworkToCode: Produces the fact pattern network code for */
+/*   a run-time module created using the constructs-to-c function.  */
+/********************************************************************/
+static bool PatternNetworkToCode(
+  Environment *theEnv,
+  const char *fileName,
+  const char *pathName,
+  char *fileNameBuffer,
+  unsigned int fileID,
+  FILE *headerFP,
+  unsigned int imageID,
+  unsigned int maxIndices)
+  {
+   unsigned int fileCount = 1;
+   Defmodule *theModule;
+   Deftemplate *theTemplate;
+   struct factPatternNode *thePatternNode;
+   unsigned int networkArrayCount = 0, networkArrayVersion = 1;
+   FILE *networkFile = NULL;
+
+   /*===========================================================*/
+   /* Include the appropriate fact pattern network header file. */
+   /*===========================================================*/
+
+   fprintf(headerFP,"#include \"factbld.h\"\n");
+
+   /*===============================*/
+   /* Loop through all the modules. */
+   /*===============================*/
+
+   for (theModule = GetNextDefmodule(theEnv,NULL);
+        theModule != NULL;
+        theModule = GetNextDefmodule(theEnv,theModule))
+     {
+      /*=========================*/
+      /* Set the current module. */
+      /*=========================*/
+
+      SetCurrentModule(theEnv,theModule);
+
+      /*======================================*/
+      /* Loop through all of the deftemplates */
+      /* in the current module.               */
+      /*======================================*/
+
+      for (theTemplate = GetNextDeftemplate(theEnv,NULL);
+           theTemplate != NULL;
+           theTemplate = GetNextDeftemplate(theEnv,theTemplate))
+        {
+         /*======================================================*/
+         /* Loop through each pattern node in the deftemplate's  */
+         /* pattern network writing its C code representation to */
+         /* the file as it is traversed.                         */
+         /*======================================================*/
+
+         for (thePatternNode = theTemplate->patternNetwork;
+              thePatternNode != NULL;
+              thePatternNode = GetNextPatternNode(thePatternNode))
+           {
+            networkFile = OpenFileIfNeeded(theEnv,networkFile,fileName,pathName,fileNameBuffer,fileID,imageID,&fileCount,
+                                         networkArrayVersion,headerFP,
+                                         "struct factPatternNode",FactPrefix(),false,NULL);
+            if (networkFile == NULL)
+              {
+               CloseNetworkFiles(theEnv,networkFile,maxIndices);
+               return false;
+              }
+
+            PatternNodeToCode(theEnv,networkFile,thePatternNode,imageID,maxIndices);
+            networkArrayCount++;
+            networkFile = CloseFileIfNeeded(theEnv,networkFile,&networkArrayCount,
+                                            &networkArrayVersion,maxIndices,NULL,NULL);
+           }
+        }
+     }
+
+   /*==============================*/
+   /* Close any C files left open. */
+   /*==============================*/
+
+   CloseNetworkFiles(theEnv,networkFile,maxIndices);
+
+   /*===============================*/
+   /* Return true to indicate the C */
+   /* code was successfully saved.  */
+   /*===============================*/
+
+   return true;
+  }
+
+/****************************************************************/
+/* CloseNetworkFiles: Closes all of the C files created for the */
+/*   fact pattern network. Called when an error occurs or when  */
+/*   the fact pattern network data structures have all been     */
+/*   written to the files.                                      */
+/****************************************************************/
+static void CloseNetworkFiles(
+  Environment *theEnv,
+  FILE *networkFile,
+  unsigned int maxIndices)
+  {
+   unsigned int count = maxIndices;
+   unsigned int arrayVersion = 0;
+
+   if (networkFile != NULL)
+     {
+      CloseFileIfNeeded(theEnv,networkFile,&count,&arrayVersion,maxIndices,NULL,NULL);
+     }
+  }
+
+/************************************************************/
+/* PatternNodeToCode: Writes the C code representation of a */
+/*   single fact pattern node slot to the specified file.   */
+/************************************************************/
+static void PatternNodeToCode(
+  Environment *theEnv,
+  FILE *theFile,
+  struct factPatternNode *thePatternNode,
+  unsigned int imageID,
+  unsigned int maxIndices)
+  {
+   fprintf(theFile,"{");
+
+   /*=====================*/
+   /* Pattern Node Header */
+   /*=====================*/
+
+   PatternNodeHeaderToCode(theEnv,theFile,&thePatternNode->header,imageID,maxIndices);
+
+   /*========================*/
+   /* Field and Slot Indices */
+   /*========================*/
+
+   fprintf(theFile,",0,%d,%d,%d,",thePatternNode->whichField,
+                             thePatternNode->whichSlot,
+                             thePatternNode->leaveFields);
+
+   /*===============*/
+   /* Network Tests */
+   /*===============*/
+
+   PrintHashedExpressionReference(theEnv,theFile,thePatternNode->networkTest,imageID,maxIndices);
+
+   /*============*/
+   /* Next Level */
+   /*============*/
+
+   if (thePatternNode->nextLevel == NULL)
+     { fprintf(theFile,",NULL,"); }
+   else
+     {
+      fprintf(theFile,",&%s%d_%ld[%ld],",FactPrefix(),
+                 imageID,(thePatternNode->nextLevel->bsaveID / maxIndices) + 1,
+                         thePatternNode->nextLevel->bsaveID % maxIndices);
+     }
+
+   /*============*/
+   /* Last Level */
+   /*============*/
+
+   if (thePatternNode->lastLevel == NULL)
+     { fprintf(theFile,"NULL,"); }
+   else
+     {
+      fprintf(theFile,"&%s%d_%ld[%ld],",FactPrefix(),
+              imageID,(thePatternNode->lastLevel->bsaveID / maxIndices) + 1,
+                   thePatternNode->lastLevel->bsaveID % maxIndices);
+     }
+
+   /*===========*/
+   /* Left Node */
+   /*===========*/
+
+   if (thePatternNode->leftNode == NULL)
+     { fprintf(theFile,"NULL,"); }
+   else
+     {
+      fprintf(theFile,"&%s%d_%ld[%ld],",FactPrefix(),
+             imageID,(thePatternNode->leftNode->bsaveID / maxIndices) + 1,
+                  thePatternNode->leftNode->bsaveID % maxIndices);
+     }
+
+   /*============*/
+   /* Right Node */
+   /*============*/
+
+   if (thePatternNode->rightNode == NULL)
+     { fprintf(theFile,"NULL}"); }
+   else
+     {
+      fprintf(theFile,"&%s%d_%ld[%ld]}",FactPrefix(),
+            imageID,(thePatternNode->rightNode->bsaveID / maxIndices) + 1,
+                thePatternNode->rightNode->bsaveID % maxIndices);
+     }
+  }
+
+/**********************************************************/
+/* FactPatternNodeReference: Prints C code representation */
+/*   of a fact pattern node data structure reference.     */
+/**********************************************************/
+void FactPatternNodeReference(
+  Environment *theEnv,
+  void *theVPattern,
+  FILE *theFile,
+  unsigned int imageID,
+  unsigned int maxIndices)
+  {
+   struct factPatternNode *thePattern = (struct factPatternNode *) theVPattern;
+
+   if (thePattern == NULL) fprintf(theFile,"NULL");
+   else
+     {
+      fprintf(theFile,"&%s%u_%lu[%lu]",FactPrefix(),
+                    imageID,(thePattern->bsaveID / maxIndices) + 1,
+                            thePattern->bsaveID % maxIndices);
+     }
+  }
+
+#endif /* DEFRULE_CONSTRUCT && (! RUN_TIME) && DEFTEMPLATE_CONSTRUCT && CONSTRUCT_COMPILER */
+
+

data/ext/clipsruby/factcmp.h

@@ -0,0 +1,46 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  07/30/16            */
+   /*                                                     */
+   /*          FACT CONSTRUCT COMPILER HEADER FILE        */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose:                                                  */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.30: Added support for path name argument to        */
+/*            constructs-to-c.                               */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*      6.40: Removed LOCALE definition.                     */
+/*                                                           */
+/*            Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*************************************************************/
+
+#ifndef _H_factcmp
+
+#pragma once
+
+#define _H_factcmp
+
+#include "network.h"
+#include "pattern.h"
+
+   void                           FactPatternsCompilerSetup(Environment *);
+   void                           FactPatternNodeReference(Environment *,void *,FILE *,unsigned int,unsigned int);
+
+#endif /* _H_factcmp */