clipsruby 0.0.2

data/ext/clipsruby/dffctcmp.h

@@ -0,0 +1,44 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  07/30/16            */
+   /*                                                     */
+   /*        DEFFACTS 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.                               */
+/*                                                           */
+/*            Removed conditional code for unsupported       */
+/*            compilers/operating systems (IBM_MCW,          */
+/*            MAC_MCW, and IBM_TBC).                         */
+/*                                                           */
+/*      6.40: Removed LOCALE definition.                     */
+/*                                                           */
+/*            Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*************************************************************/
+
+#ifndef _H_dffctcmp
+
+#pragma once
+
+#define _H_dffctcmp
+
+   void                           DeffactsCompilerSetup(Environment *);
+   void                           DeffactsCModuleReference(Environment *,FILE *,unsigned long,unsigned int,unsigned int);
+
+#endif /* _H_dffctcmp */

data/ext/clipsruby/dffctdef.c

@@ -0,0 +1,364 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*            CLIPS Version 6.40  08/06/16             */
+   /*                                                     */
+   /*              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. Dantes                                      */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.24: Renamed BOOLEAN macro type to intBool.         */
+/*                                                           */
+/*            Corrected code to remove run-time program      */
+/*            compiler warning.                              */
+/*                                                           */
+/*      6.30: Removed conditional code for unsupported       */
+/*            compilers/operating systems (IBM_MCW,          */
+/*            MAC_MCW, and IBM_TBC).                         */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*            Converted API macros to function calls.        */
+/*                                                           */
+/*            Changed find construct functionality so that   */
+/*            imported modules are search when locating a    */
+/*            named construct.                               */
+/*                                                           */
+/*      6.40: Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Added support for booleans with <stdbool.h>.   */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*            ALLOW_ENVIRONMENT_GLOBALS no longer supported. */
+/*                                                           */
+/*************************************************************/
+
+#include "setup.h"
+
+#if DEFFACTS_CONSTRUCT
+
+#include <stdio.h>
+
+#include "dffctbsc.h"
+#include "dffctpsr.h"
+#include "envrnmnt.h"
+#include "memalloc.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(Environment *);
+   static void                    ReturnModule(Environment *,void *);
+   static void                    ReturnDeffacts(Environment *,Deffacts *);
+   static void                    InitializeDeffactsModules(Environment *);
+   static void                    DeallocateDeffactsData(Environment *);
+#if ! RUN_TIME
+   static void                    DestroyDeffactsAction(Environment *,ConstructHeader *,void *);
+#else
+   static void                    RuntimeDeffactsAction(Environment *,ConstructHeader *,void *);
+#endif
+
+/***********************************************************/
+/* InitializeDeffacts: Initializes the deffacts construct. */
+/***********************************************************/
+void InitializeDeffacts(
+  Environment *theEnv)
+  {
+   AllocateEnvironmentData(theEnv,DEFFACTS_DATA,sizeof(struct deffactsData),DeallocateDeffactsData);
+
+   InitializeDeffactsModules(theEnv);
+
+   DeffactsBasicCommands(theEnv);
+
+   DeffactsData(theEnv)->DeffactsConstruct =
+      AddConstruct(theEnv,"deffacts","deffacts",ParseDeffacts,
+                   (FindConstructFunction *) FindDeffacts,
+                   GetConstructNamePointer,GetConstructPPForm,
+                   GetConstructModuleItem,
+                   (GetNextConstructFunction *) GetNextDeffacts,
+                   SetNextConstruct,
+                   (IsConstructDeletableFunction *) DeffactsIsDeletable,
+                   (DeleteConstructFunction *) Undeffacts,
+                   (FreeConstructFunction *) ReturnDeffacts);
+  }
+
+/***************************************************/
+/* DeallocateDeffactsData: Deallocates environment */
+/*    data for the deffacts construct.             */
+/***************************************************/
+static void DeallocateDeffactsData(
+  Environment *theEnv)
+  {
+#if ! RUN_TIME
+   struct deffactsModule *theModuleItem;
+   Defmodule *theModule;
+
+#if BLOAD || BLOAD_AND_BSAVE
+   if (Bloaded(theEnv)) return;
+#endif
+
+   DoForAllConstructs(theEnv,
+                      DestroyDeffactsAction,
+                      DeffactsData(theEnv)->DeffactsModuleIndex,
+                      false,NULL);
+
+   for (theModule = GetNextDefmodule(theEnv,NULL);
+        theModule != NULL;
+        theModule = GetNextDefmodule(theEnv,theModule))
+     {
+      theModuleItem = (struct deffactsModule *)
+                      GetModuleItem(theEnv,theModule,
+                                    DeffactsData(theEnv)->DeffactsModuleIndex);
+      rtn_struct(theEnv,deffactsModule,theModuleItem);
+     }
+#else
+#if MAC_XCD
+#pragma unused(theEnv)
+#endif
+#endif
+  }
+
+#if ! RUN_TIME
+/*********************************************************/
+/* DestroyDeffactsAction: Action used to remove deffacts */
+/*   as a result of DestroyEnvironment.                  */
+/*********************************************************/
+static void DestroyDeffactsAction(
+  Environment *theEnv,
+  ConstructHeader *theConstruct,
+  void *buffer)
+  {
+#if MAC_XCD
+#pragma unused(buffer)
+#endif
+#if (! BLOAD_ONLY) && (! RUN_TIME)
+   Deffacts *theDeffacts = (Deffacts *) theConstruct;
+
+   if (theDeffacts == NULL) return;
+
+   ReturnPackedExpression(theEnv,theDeffacts->assertList);
+
+   DestroyConstructHeader(theEnv,&theDeffacts->header);
+
+   rtn_struct(theEnv,deffacts,theDeffacts);
+#else
+#if MAC_XCD
+#pragma unused(theEnv,theConstruct)
+#endif
+#endif
+  }
+#endif
+
+#if RUN_TIME
+
+/***********************************************/
+/* RuntimeDeffactsAction: Action to be applied */
+/*   to each deffacts construct when a runtime */
+/*   initialization occurs.                    */
+/***********************************************/
+static void RuntimeDeffactsAction(
+  Environment *theEnv,
+  ConstructHeader *theConstruct,
+  void *buffer)
+  {
+#if MAC_XCD
+#pragma unused(buffer)
+#endif
+   Deffacts *theDeffacts = (Deffacts *) theConstruct;
+   
+   theDeffacts->header.env = theEnv;
+  }
+
+/******************************/
+/* DeffactsRunTimeInitialize: */
+/******************************/
+void DeffactsRunTimeInitialize(
+  Environment *theEnv)
+  {
+   DoForAllConstructs(theEnv,RuntimeDeffactsAction,DeffactsData(theEnv)->DeffactsModuleIndex,true,NULL);
+  }
+
+#endif
+
+/*******************************************************/
+/* InitializeDeffactsModules: Initializes the deffacts */
+/*   construct for use with the defmodule construct.   */
+/*******************************************************/
+static void InitializeDeffactsModules(
+  Environment *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
+                         (FindConstructFunction *) FindDeffactsInModule);
+  }
+
+/************************************************/
+/* AllocateModule: Allocates a deffacts module. */
+/************************************************/
+static void *AllocateModule(
+  Environment *theEnv)
+  {
+   return((void *) get_struct(theEnv,deffactsModule));
+  }
+
+/************************************************/
+/* ReturnModule: Deallocates a deffacts module. */
+/************************************************/
+static void ReturnModule(
+  Environment *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.            */
+/*************************************************************/
+struct deffactsModule *GetDeffactsModuleItem(
+  Environment *theEnv,
+  Defmodule *theModule)
+  {
+   return((struct deffactsModule *) GetConstructModuleItemByIndex(theEnv,theModule,DeffactsData(theEnv)->DeffactsModuleIndex));
+  }
+
+/************************************************/
+/* FindDeffacts: Searches for a deffact in the  */
+/*   list of deffacts. Returns a pointer to the */
+/*   deffact if found, otherwise NULL.          */
+/************************************************/
+Deffacts *FindDeffacts(
+  Environment *theEnv,
+  const char *deffactsName)
+  {
+   return (Deffacts *) FindNamedConstructInModuleOrImports(theEnv,deffactsName,DeffactsData(theEnv)->DeffactsConstruct);
+  }
+
+/************************************************/
+/* FindDeffactsInModule: Searches for a deffact */
+/*   in the list of deffacts. Returns a pointer */
+/*   to the deffact if found, otherwise NULL.   */
+/************************************************/
+Deffacts *FindDeffactsInModule(
+  Environment *theEnv,
+  const char *deffactsName)
+  {
+   return (Deffacts *) FindNamedConstructInModule(theEnv,deffactsName,DeffactsData(theEnv)->DeffactsConstruct);
+  }
+
+/*********************************************************/
+/* GetNextDeffacts: If passed a NULL pointer, returns    */
+/*   the first deffacts in the ListOfDeffacts. Otherwise */
+/*   returns the next deffacts following the deffacts    */
+/*   passed as an argument.                              */
+/*********************************************************/
+Deffacts *GetNextDeffacts(
+  Environment *theEnv,
+  Deffacts *deffactsPtr)
+  {
+   return (Deffacts *) GetNextConstructItem(theEnv,&deffactsPtr->header,DeffactsData(theEnv)->DeffactsModuleIndex);
+  }
+
+/*******************************************************/
+/* DeffactsIsDeletable: Returns true if a particular   */
+/*   deffacts can be deleted, otherwise returns false. */
+/*******************************************************/
+bool DeffactsIsDeletable(
+  Deffacts *theDeffacts)
+  {
+   Environment *theEnv = theDeffacts->header.env;
+
+   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(
+  Environment *theEnv,
+  Deffacts *theDeffacts)
+  {
+#if (! BLOAD_ONLY) && (! RUN_TIME)
+   if (theDeffacts == NULL) return;
+
+   ExpressionDeinstall(theEnv,theDeffacts->assertList);
+   ReturnPackedExpression(theEnv,theDeffacts->assertList);
+
+   DeinstallConstructHeader(theEnv,&theDeffacts->header);
+
+   rtn_struct(theEnv,deffacts,theDeffacts);
+#endif
+  }
+
+/*##################################*/
+/* Additional Environment Functions */
+/*##################################*/
+
+const char *DeffactsModule(
+  Deffacts *theDeffacts)
+  {
+   return GetConstructModuleName(&theDeffacts->header);
+  }
+
+const char *DeffactsName(
+  Deffacts *theDeffacts)
+  {
+   return GetConstructNameString(&theDeffacts->header);
+  }
+
+const char *DeffactsPPForm(
+  Deffacts *theDeffacts)
+  {
+   return GetConstructPPForm(&theDeffacts->header);
+  }
+
+
+#endif /* DEFFACTS_CONSTRUCT */
+
+

data/ext/clipsruby/dffctdef.h

@@ -0,0 +1,104 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  08/06/16            */
+   /*                                                     */
+   /*                DEFFACTS HEADER FILE                 */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose:                                                  */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*      Brian L. Dantes                                      */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.24: Renamed BOOLEAN macro type to intBool.         */
+/*                                                           */
+/*      6.30: Removed conditional code for unsupported       */
+/*            compilers/operating systems (IBM_MCW,          */
+/*            MAC_MCW, and IBM_TBC).                         */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*            Converted API macros to function calls.        */
+/*                                                           */
+/*            Changed find construct functionality so that   */
+/*            imported modules are search when locating a    */
+/*            named construct.                               */
+/*                                                           */
+/*      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.                               */
+/*                                                           */
+/*            ALLOW_ENVIRONMENT_GLOBALS no longer supported. */
+/*                                                           */
+/*************************************************************/
+
+#ifndef _H_dffctdef
+
+#pragma once
+
+#define _H_dffctdef
+
+typedef struct deffacts Deffacts;
+
+#include "constrct.h"
+#include "conscomp.h"
+#include "cstrccom.h"
+#include "evaluatn.h"
+#include "expressn.h"
+#include "moduldef.h"
+#include "symbol.h"
+
+#define DEFFACTS_DATA 0
+
+struct deffactsData
+  {
+   Construct *DeffactsConstruct;
+   unsigned DeffactsModuleIndex;
+#if CONSTRUCT_COMPILER && (! RUN_TIME)
+   struct CodeGeneratorItem *DeffactsCodeItem;
+#endif
+  };
+
+struct deffacts
+  {
+   ConstructHeader header;
+   struct expr *assertList;
+  };
+
+struct deffactsModule
+  {
+   struct defmoduleItemHeader header;
+  };
+
+#define DeffactsData(theEnv) ((struct deffactsData *) GetEnvironmentData(theEnv,DEFFACTS_DATA))
+
+   void                           InitializeDeffacts(Environment *);
+   Deffacts                      *FindDeffacts(Environment *,const char *);
+   Deffacts                      *FindDeffactsInModule(Environment *,const char *);
+   Deffacts                      *GetNextDeffacts(Environment *,Deffacts *);
+   void                           CreateInitialFactDeffacts(void);
+   bool                           DeffactsIsDeletable(Deffacts *);
+   struct deffactsModule         *GetDeffactsModuleItem(Environment *,Defmodule *);
+   const char                    *DeffactsModule(Deffacts *);
+   const char                    *DeffactsName(Deffacts *);
+   const char                    *DeffactsPPForm(Deffacts *);
+#if RUN_TIME
+   void                           DeffactsRunTimeInitialize(Environment *);
+#endif
+
+#endif /* _H_dffctdef */
+
+

data/ext/clipsruby/dffctpsr.c

@@ -0,0 +1,179 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*            CLIPS Version 6.40  07/30/16             */
+   /*                                                     */
+   /*                DEFFACTS PARSER MODULE               */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Parses a deffacts construct.                     */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*      Brian L. Dantes                                      */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.30: Removed conditional code for unsupported       */
+/*            compilers/operating systems (IBM_MCW and       */
+/*            MAC_MCW).                                      */
+/*                                                           */
+/*            GetConstructNameAndComment API change.         */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*            Changed find construct functionality so that   */
+/*            imported modules are search when locating a    */
+/*            named construct.                               */
+/*                                                           */
+/*      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 DEFFACTS_CONSTRUCT
+
+#if BLOAD || BLOAD_AND_BSAVE
+#include "bload.h"
+#endif
+
+#include "cstrcpsr.h"
+#include "dffctbsc.h"
+#include "dffctdef.h"
+#include "envrnmnt.h"
+#include "factrhs.h"
+#include "memalloc.h"
+#include "modulutl.h"
+#include "pprint.h"
+#include "prntutil.h"
+#include "router.h"
+
+#include "dffctpsr.h"
+
+/************************************************************/
+/* ParseDeffacts: Coordinates all actions necessary for the */
+/*   addition of a deffacts construct into the current      */
+/*   environment. Called when parsing a construct after the */
+/*   deffacts keyword has been found.                       */
+/************************************************************/
+bool ParseDeffacts(
+  Environment *theEnv,
+  const char *readSource)
+  {
+#if (! RUN_TIME) && (! BLOAD_ONLY)
+   CLIPSLexeme *deffactsName;
+   struct expr *temp;
+   Deffacts *newDeffacts;
+   bool deffactsError;
+   struct token inputToken;
+
+   /*=========================*/
+   /* Parsing initialization. */
+   /*=========================*/
+
+   deffactsError = false;
+   SetPPBufferStatus(theEnv,true);
+
+   FlushPPBuffer(theEnv);
+   SetIndentDepth(theEnv,3);
+   SavePPBuffer(theEnv,"(deffacts ");
+
+   /*==========================================================*/
+   /* Deffacts can not be added when a binary image is loaded. */
+   /*==========================================================*/
+
+#if BLOAD || BLOAD_AND_BSAVE
+   if ((Bloaded(theEnv) == true) && (! ConstructData(theEnv)->CheckSyntaxMode))
+     {
+      CannotLoadWithBloadMessage(theEnv,"deffacts");
+      return true;
+     }
+#endif
+
+   /*============================*/
+   /* Parse the deffacts header. */
+   /*============================*/
+
+   deffactsName = GetConstructNameAndComment(theEnv,readSource,&inputToken,"deffacts",
+                                             (FindConstructFunction *) FindDeffactsInModule,
+                                             (DeleteConstructFunction *) Undeffacts,"$",true,
+                                             true,true,false);
+   if (deffactsName == NULL) { return true; }
+
+   /*===============================================*/
+   /* Parse the list of facts in the deffacts body. */
+   /*===============================================*/
+
+   temp = BuildRHSAssert(theEnv,readSource,&inputToken,&deffactsError,false,false,"deffacts");
+
+   if (deffactsError == true) { return true; }
+
+   if (ExpressionContainsVariables(temp,false))
+     {
+      LocalVariableErrorMessage(theEnv,"a deffacts construct");
+      ReturnExpression(theEnv,temp);
+      return true;
+     }
+
+   SavePPBuffer(theEnv,"\n");
+
+   /*==============================================*/
+   /* If we're only checking syntax, don't add the */
+   /* successfully parsed deffacts to the KB.      */
+   /*==============================================*/
+
+   if (ConstructData(theEnv)->CheckSyntaxMode)
+     {
+      ReturnExpression(theEnv,temp);
+      return false;
+     }
+
+   /*==========================*/
+   /* Create the new deffacts. */
+   /*==========================*/
+
+   ExpressionInstall(theEnv,temp);
+   newDeffacts = get_struct(theEnv,deffacts);
+   IncrementLexemeCount(deffactsName);
+   InitializeConstructHeader(theEnv,"deffacts",DEFFACTS,&newDeffacts->header,deffactsName);
+
+   newDeffacts->assertList = PackExpression(theEnv,temp);
+   ReturnExpression(theEnv,temp);
+
+   /*=======================================================*/
+   /* Save the pretty print representation of the deffacts. */
+   /*=======================================================*/
+
+   if (GetConserveMemory(theEnv) == true)
+     { newDeffacts->header.ppForm = NULL; }
+   else
+     { newDeffacts->header.ppForm = CopyPPBuffer(theEnv); }
+
+   /*=============================================*/
+   /* Add the deffacts to the appropriate module. */
+   /*=============================================*/
+
+   AddConstructToModule(&newDeffacts->header);
+
+#endif /* (! RUN_TIME) && (! BLOAD_ONLY) */
+
+   /*================================================================*/
+   /* Return false to indicate the deffacts was successfully parsed. */
+   /*================================================================*/
+
+   return false;
+  }
+
+#endif /* DEFFACTS_CONSTRUCT */
+
+