clipsruby 0.0.2

data/ext/clipsruby/objrtmch.h

@@ -0,0 +1,160 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  05/03/19            */
+   /*                                                     */
+   /*                                                     */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose:                                                  */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Brian L. Dantes                                      */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.23: Correction for FalseSymbol/TrueSymbol. DR0859  */
+/*                                                           */
+/*      6.24: Removed INCREMENTAL_RESET and                  */
+/*            LOGICAL_DEPENDENCIES compilation flags.        */
+/*                                                           */
+/*            Converted INSTANCE_PATTERN_MATCHING to         */
+/*            DEFRULE_CONSTRUCT.                             */
+/*                                                           */
+/*            Renamed BOOLEAN macro type to intBool.         */
+/*                                                           */
+/*      6.30: Modified the QueueObjectMatchAction function   */
+/*            so that instance retract actions always occur  */
+/*            before instance assert and modify actions.     */
+/*            This prevents the pattern matching process     */
+/*            from attempting the evaluation of a join       */
+/*            expression that accesses the slots of a        */
+/*            retracted instance.                            */
+/*                                                           */
+/*            Added support for hashed alpha memories.       */
+/*                                                           */
+/*            Support for long long integers.                */
+/*                                                           */
+/*            Added support for hashed comparisons to        */
+/*            constants.                                     */
+/*                                                           */
+/*      6.31: Optimization for marking relevant alpha nodes  */
+/*            in the object pattern network.                 */
+/*                                                           */
+/*      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_objrtmch
+
+#pragma once
+
+#define _H_objrtmch
+
+#if DEFRULE_CONSTRUCT && OBJECT_SYSTEM
+
+typedef struct objectAlphaNode OBJECT_ALPHA_NODE;
+typedef struct classAlphaLink CLASS_ALPHA_LINK;
+
+#define OBJECT_ASSERT  1
+#define OBJECT_RETRACT 2
+#define OBJECT_MODIFY  3
+
+#include "evaluatn.h"
+#include "expressn.h"
+#include "match.h"
+#include "network.h"
+#include "object.h"
+#include "symbol.h"
+
+typedef struct classBitMap
+  {
+   unsigned short maxid;
+   char map[1];
+  } CLASS_BITMAP;
+
+#define ClassBitMapSize(bmp) ((sizeof(CLASS_BITMAP) + \
+                                     (sizeof(char) * (bmp->maxid / BITS_PER_BYTE))))
+
+typedef struct slotBitMap
+  {
+   unsigned short maxid;
+   char map[1];
+  } SLOT_BITMAP;
+
+#define SlotBitMapSize(bmp) ((sizeof(SLOT_BITMAP) + \
+                                     (sizeof(char) * (bmp->maxid / BITS_PER_BYTE))))
+
+typedef struct objectPatternNode
+  {
+   unsigned blocked        : 1;
+   unsigned multifieldNode : 1;
+   unsigned endSlot        : 1;
+   unsigned selector       : 1;
+   unsigned whichField     : 8;
+   unsigned short leaveFields;
+   unsigned long long matchTimeTag;
+   unsigned short slotNameID;
+   Expression *networkTest;
+   struct objectPatternNode *nextLevel;
+   struct objectPatternNode *lastLevel;
+   struct objectPatternNode *leftNode;
+   struct objectPatternNode *rightNode;
+   OBJECT_ALPHA_NODE *alphaNode;
+   unsigned long bsaveID;
+  } OBJECT_PATTERN_NODE;
+
+struct objectAlphaNode
+  {
+   struct patternNodeHeader header;
+   unsigned long long matchTimeTag;
+   CLIPSBitMap *classbmp,*slotbmp;
+   OBJECT_PATTERN_NODE *patternNode;
+   struct objectAlphaNode *nxtInGroup,
+                          *nxtTerminal;
+   unsigned long bsaveID;
+  };
+
+struct classAlphaLink
+  {
+   OBJECT_ALPHA_NODE *alphaNode;
+   struct classAlphaLink *next;
+   unsigned long bsaveID;
+  };
+
+typedef struct objectMatchAction
+  {
+   int type;
+   Instance *ins;
+   SLOT_BITMAP *slotNameIDs;
+   struct objectMatchAction *nxt;
+  } OBJECT_MATCH_ACTION;
+
+   void                  ObjectMatchDelay(Environment *,UDFContext *,UDFValue *);
+   bool                  SetDelayObjectPatternMatching(Environment *,bool);
+   bool                  GetDelayObjectPatternMatching(Environment *);
+   OBJECT_PATTERN_NODE  *ObjectNetworkPointer(Environment *);
+   OBJECT_ALPHA_NODE    *ObjectNetworkTerminalPointer(Environment *);
+   void                  SetObjectNetworkPointer(Environment *,OBJECT_PATTERN_NODE *);
+   void                  SetObjectNetworkTerminalPointer(Environment *,OBJECT_ALPHA_NODE *);
+   void                  ObjectNetworkAction(Environment *,int,Instance *,int);
+   void                  ResetObjectMatchTimeTags(Environment *);
+
+#endif /* DEFRULE_CONSTRUCT && OBJECT_SYSTEM */
+
+#endif /* _H_objrtmch */
+
+
+

data/ext/clipsruby/parsefun.c

@@ -0,0 +1,415 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*            CLIPS Version 6.40  11/13/17             */
+   /*                                                     */
+   /*               PARSING FUNCTIONS MODULE              */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Contains the code for several parsing related    */
+/*   functions including...                                  */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.23: Correction for FalseSymbol/TrueSymbol. DR0859  */
+/*                                                           */
+/*      6.24: Corrected code to remove run-time program      */
+/*            compiler warnings.                             */
+/*                                                           */
+/*      6.30: Changed integer type/precision.                */
+/*                                                           */
+/*            Removed conditional code for unsupported       */
+/*            compilers/operating systems (IBM_MCW,          */
+/*            MAC_MCW, and IBM_TBC).                         */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*            Fixed function declaration issue when          */
+/*            BLOAD_ONLY compiler flag is set to 1.          */
+/*                                                           */
+/*      6.40: Changed check-syntax router name because of    */
+/*            a conflict with another error-capture router.  */
+/*                                                           */
+/*            Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Added support for booleans with <stdbool.h>.   */
+/*                                                           */
+/*            Changed return values for router functions.    */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*            UDF redesign.                                  */
+/*                                                           */
+/*************************************************************/
+
+#include "setup.h"
+
+#include <string.h>
+
+#include "argacces.h"
+#include "cstrcpsr.h"
+#include "envrnmnt.h"
+#include "exprnpsr.h"
+#include "memalloc.h"
+#include "multifld.h"
+#include "pprint.h"
+#include "prcdrpsr.h"
+#include "prntutil.h"
+#include "router.h"
+#include "strngrtr.h"
+#include "utility.h"
+
+#include "parsefun.h"
+
+#define PARSEFUN_DATA 11
+
+struct parseFunctionData
+  {
+   char *ErrorString;
+   size_t ErrorCurrentPosition;
+   size_t ErrorMaximumPosition;
+   char *WarningString;
+   size_t WarningCurrentPosition;
+   size_t WarningMaximumPosition;
+  };
+
+#define ParseFunctionData(theEnv) ((struct parseFunctionData *) GetEnvironmentData(theEnv,PARSEFUN_DATA))
+
+/***************************************/
+/* LOCAL INTERNAL FUNCTION DEFINITIONS */
+/***************************************/
+
+#if (! RUN_TIME) && (! BLOAD_ONLY)
+   static bool                    QueryErrorCaptureCallback(Environment *,const char *,void *);
+   static void                    WriteErrorCaptureCallback(Environment *,const char *,const char *,void *);
+   static void                    DeactivateErrorCapture(Environment *);
+   static void                    SetErrorCaptureValues(Environment *,UDFValue *);
+#endif
+
+/*****************************************/
+/* ParseFunctionDefinitions: Initializes */
+/*   the parsing related functions.      */
+/*****************************************/
+void ParseFunctionDefinitions(
+  Environment *theEnv)
+  {
+   AllocateEnvironmentData(theEnv,PARSEFUN_DATA,sizeof(struct parseFunctionData),NULL);
+
+#if ! RUN_TIME
+   AddUDF(theEnv,"check-syntax","ym",1,1,"s",CheckSyntaxFunction,"CheckSyntaxFunction",NULL);
+#endif
+  }
+
+#if (! RUN_TIME) && (! BLOAD_ONLY)
+/*******************************************/
+/* CheckSyntaxFunction: H/L access routine */
+/*   for the check-syntax function.        */
+/*******************************************/
+void CheckSyntaxFunction(
+  Environment *theEnv,
+  UDFContext *context,
+  UDFValue *returnValue)
+  {
+   UDFValue theArg;
+
+   /*========================================*/
+   /* The argument should be of type STRING_TYPE. */
+   /*========================================*/
+
+   if (! UDFFirstArgument(context,STRING_BIT,&theArg))
+     { return; }
+
+   /*===================*/
+   /* Check the syntax. */
+   /*===================*/
+
+   CheckSyntax(theEnv,theArg.lexemeValue->contents,returnValue);
+  }
+
+/*********************************/
+/* CheckSyntax: C access routine */
+/*   for the build function.     */
+/*********************************/
+bool CheckSyntax(
+  Environment *theEnv,
+  const char *theString,
+  UDFValue *returnValue)
+  {
+   const char *name;
+   struct token theToken;
+   struct expr *top;
+   bool rv;
+
+   /*==============================*/
+   /* Set the default return value */
+   /* (TRUE for problems found).   */
+   /*==============================*/
+
+   returnValue->lexemeValue = TrueSymbol(theEnv);
+
+   /*===========================================*/
+   /* Create a string source router so that the */
+   /* string can be used as an input source.    */
+   /*===========================================*/
+
+   if (OpenStringSource(theEnv,"check-syntax",theString,0) == 0)
+     { return true; }
+
+   /*=================================*/
+   /* Only expressions and constructs */
+   /* can have their syntax checked.  */
+   /*=================================*/
+
+   GetToken(theEnv,"check-syntax",&theToken);
+
+   if (theToken.tknType != LEFT_PARENTHESIS_TOKEN)
+     {
+      CloseStringSource(theEnv,"check-syntax");
+      returnValue->lexemeValue = CreateSymbol(theEnv,"MISSING-LEFT-PARENTHESIS");
+      return true;
+     }
+
+   /*========================================*/
+   /* The next token should be the construct */
+   /* type or function name.                 */
+   /*========================================*/
+
+   GetToken(theEnv,"check-syntax",&theToken);
+   if (theToken.tknType != SYMBOL_TOKEN)
+     {
+      CloseStringSource(theEnv,"check-syntax");
+      returnValue->lexemeValue = CreateSymbol(theEnv,"EXPECTED-SYMBOL_TYPE-AFTER-LEFT-PARENTHESIS");
+      return true;
+     }
+
+   name = theToken.lexemeValue->contents;
+
+   /*==============================================*/
+   /* Set up a router to capture the error output. */
+   /*==============================================*/
+
+   AddRouter(theEnv,"cs-error-capture",40,
+             QueryErrorCaptureCallback,WriteErrorCaptureCallback,
+             NULL,NULL,NULL,NULL);
+
+   /*================================*/
+   /* Determine if it's a construct. */
+   /*================================*/
+
+   if (FindConstruct(theEnv,name))
+     {
+      ConstructData(theEnv)->CheckSyntaxMode = true;
+      
+      if (ParseConstruct(theEnv,name,"check-syntax") == BE_PARSING_ERROR)
+        { rv = true; }
+       else
+        { rv = false; }
+         
+      GetToken(theEnv,"check-syntax",&theToken);
+      ConstructData(theEnv)->CheckSyntaxMode = false;
+
+      if (rv)
+        {
+         WriteString(theEnv,STDERR,"\nERROR:\n");
+         WriteString(theEnv,STDERR,GetPPBuffer(theEnv));
+         WriteString(theEnv,STDERR,"\n");
+        }
+
+      DestroyPPBuffer(theEnv);
+
+      CloseStringSource(theEnv,"check-syntax");
+
+      if ((rv != false) || (ParseFunctionData(theEnv)->WarningString != NULL))
+        {
+         SetErrorCaptureValues(theEnv,returnValue);
+         DeactivateErrorCapture(theEnv);
+         return true;
+        }
+
+      if (theToken.tknType != STOP_TOKEN)
+        {
+         returnValue->value = CreateSymbol(theEnv,"EXTRANEOUS-INPUT-AFTER-LAST-PARENTHESIS");
+         DeactivateErrorCapture(theEnv);
+         return true;
+        }
+
+      returnValue->lexemeValue = FalseSymbol(theEnv);
+      DeactivateErrorCapture(theEnv);
+      return false;
+     }
+
+   /*=======================*/
+   /* Parse the expression. */
+   /*=======================*/
+
+   top = Function2Parse(theEnv,"check-syntax",name);
+   GetToken(theEnv,"check-syntax",&theToken);
+   ClearParsedBindNames(theEnv);
+   CloseStringSource(theEnv,"check-syntax");
+
+   if (top == NULL)
+     {
+      SetErrorCaptureValues(theEnv,returnValue);
+      DeactivateErrorCapture(theEnv);
+      return true;
+     }
+
+   if (theToken.tknType != STOP_TOKEN)
+     {
+      returnValue->lexemeValue = CreateSymbol(theEnv,"EXTRANEOUS-INPUT-AFTER-LAST-PARENTHESIS");
+      DeactivateErrorCapture(theEnv);
+      ReturnExpression(theEnv,top);
+      return true;
+     }
+
+   DeactivateErrorCapture(theEnv);
+
+   ReturnExpression(theEnv,top);
+   returnValue->lexemeValue = FalseSymbol(theEnv);
+   return false;
+  }
+
+/**************************************************/
+/* DeactivateErrorCapture: Deactivates the error  */
+/*   capture router and the strings used to store */
+/*   the captured information.                    */
+/**************************************************/
+static void DeactivateErrorCapture(
+  Environment *theEnv)
+  {
+   if (ParseFunctionData(theEnv)->ErrorString != NULL)
+     {
+      rm(theEnv,ParseFunctionData(theEnv)->ErrorString,ParseFunctionData(theEnv)->ErrorMaximumPosition);
+      ParseFunctionData(theEnv)->ErrorString = NULL;
+     }
+
+   if (ParseFunctionData(theEnv)->WarningString != NULL)
+     {
+      rm(theEnv,ParseFunctionData(theEnv)->WarningString,ParseFunctionData(theEnv)->WarningMaximumPosition);
+      ParseFunctionData(theEnv)->WarningString = NULL;
+     }
+
+   ParseFunctionData(theEnv)->ErrorCurrentPosition = 0;
+   ParseFunctionData(theEnv)->ErrorMaximumPosition = 0;
+   ParseFunctionData(theEnv)->WarningCurrentPosition = 0;
+   ParseFunctionData(theEnv)->WarningMaximumPosition = 0;
+
+   DeleteRouter(theEnv,"cs-error-capture");
+  }
+
+/*******************************************************************/
+/* SetErrorCaptureValues: Stores the error/warnings captured when  */
+/*   parsing an expression or construct into a multifield value.   */
+/*   The first field contains the output sent to the STDERR        */
+/*   logical name and the second field contains the output sent    */
+/*   to the STDWRN logical name. The symbol FALSE is stored in   */
+/*   either position if no output was sent to those logical names. */
+/*******************************************************************/
+static void SetErrorCaptureValues(
+  Environment *theEnv,
+  UDFValue *returnValue)
+  {
+   Multifield *theMultifield;
+
+   theMultifield = CreateMultifield(theEnv,2L);
+
+   if (ParseFunctionData(theEnv)->ErrorString != NULL)
+     { theMultifield->contents[0].lexemeValue = CreateString(theEnv,ParseFunctionData(theEnv)->ErrorString); }
+   else
+     { theMultifield->contents[0].lexemeValue = FalseSymbol(theEnv); }
+
+   if (ParseFunctionData(theEnv)->WarningString != NULL)
+     { theMultifield->contents[1].lexemeValue = CreateString(theEnv,ParseFunctionData(theEnv)->WarningString); }
+   else
+     { theMultifield->contents[1].lexemeValue = FalseSymbol(theEnv); }
+
+   returnValue->begin = 0;
+   returnValue->range = 2;
+   returnValue->value = theMultifield;
+  }
+
+/*********************************************/
+/* QueryErrorCaptureCallback: Query callback */
+/*   for the check-syntax router.            */
+/*********************************************/
+static bool QueryErrorCaptureCallback(
+  Environment *theEnv,
+  const char *logicalName,
+  void *context)
+  {
+#if MAC_XCD
+#pragma unused(theEnv,context)
+#endif
+
+   if ((strcmp(logicalName,STDERR) == 0) ||
+       (strcmp(logicalName,STDWRN) == 0))
+     { return true; }
+
+   return false;
+  }
+
+/*********************************************/
+/* WriteErrorCaptureCallback: Write callback */
+/*   for the check-syntax router.            */
+/*********************************************/
+static void WriteErrorCaptureCallback(
+  Environment *theEnv,
+  const char *logicalName,
+  const char *str,
+  void *context)
+  {
+   if (strcmp(logicalName,STDERR) == 0)
+     {
+      ParseFunctionData(theEnv)->ErrorString = AppendToString(theEnv,str,ParseFunctionData(theEnv)->ErrorString,
+                                   &ParseFunctionData(theEnv)->ErrorCurrentPosition,
+                                   &ParseFunctionData(theEnv)->ErrorMaximumPosition);
+     }
+   else if (strcmp(logicalName,STDWRN) == 0)
+     {
+      ParseFunctionData(theEnv)->WarningString = AppendToString(theEnv,str,ParseFunctionData(theEnv)->WarningString,
+                                     &ParseFunctionData(theEnv)->WarningCurrentPosition,
+                                     &ParseFunctionData(theEnv)->WarningMaximumPosition);
+     }
+  }
+
+#else
+/****************************************************/
+/* CheckSyntaxFunction: This is the non-functional  */
+/*   stub provided for use with a run-time version. */
+/****************************************************/
+void CheckSyntaxFunction(
+  Environment *theEnv,
+  UDFContext *context,
+  UDFValue *returnValue)
+  {
+   PrintErrorID(theEnv,"PARSEFUN",1,false);
+   WriteString(theEnv,STDERR,"Function check-syntax does not work in run time modules.\n");
+   returnValue->value = TrueSymbol(theEnv);
+  }
+
+/************************************************/
+/* CheckSyntax: This is the non-functional stub */
+/*   provided for use with a run-time version.  */
+/************************************************/
+bool CheckSyntax(
+  Environment *theEnv,
+  const char *theString,
+  UDFValue *returnValue)
+  {
+   PrintErrorID(theEnv,"PARSEFUN",1,false);
+   WriteString(theEnv,STDERR,"Function check-syntax does not work in run time modules.\n");
+   returnValue->value = TrueSymbol(theEnv);
+   return true;
+  }
+
+#endif /* (! RUN_TIME) && (! BLOAD_ONLY) */
+
+

data/ext/clipsruby/parsefun.h

@@ -0,0 +1,67 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  08/25/16            */
+   /*                                                     */
+   /*            PARSING FUNCTIONS HEADER FILE            */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Contains the code for several parsing related    */
+/*   functions including...                                  */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.23: Correction for FalseSymbol/TrueSymbol. DR0859  */
+/*                                                           */
+/*      6.24: Corrected code to remove run-time program      */
+/*            compiler warnings.                             */
+/*                                                           */
+/*      6.30: Changed integer type/precision.                */
+/*                                                           */
+/*            Removed conditional code for unsupported       */
+/*            compilers/operating systems (IBM_MCW,          */
+/*            MAC_MCW, and IBM_TBC).                         */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*            Fixed function declaration issue when          */
+/*            BLOAD_ONLY compiler flag is set to 1.          */
+/*                                                           */
+/*      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_parsefun
+
+#pragma once
+
+#define _H_parsefun
+
+#include "evaluatn.h"
+
+   void                           ParseFunctionDefinitions(Environment *);
+   void                           CheckSyntaxFunction(Environment *,UDFContext *,UDFValue *);
+   bool                           CheckSyntax(Environment *,const char *,UDFValue *);
+
+#endif /* _H_parsefun */
+
+
+
+
+