clipsruby 0.0.2

data/ext/clipsruby/pattern.h

@@ -0,0 +1,163 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  11/01/16            */
+   /*                                                     */
+   /*                PATTERN HEADER FILE                  */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Provides the mechanism for recognizing and       */
+/*   parsing the various types of patterns that can be used  */
+/*   in the LHS of a rule. In version 6.0, the only pattern  */
+/*   types provided are for deftemplate and instance         */
+/*   patterns.                                               */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.24: Removed LOGICAL_DEPENDENCIES compilation flag. */
+/*                                                           */
+/*            Renamed BOOLEAN macro type to intBool.         */
+/*                                                           */
+/*      6.30: Added support for hashed alpha memories.       */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*      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.                               */
+/*                                                           */
+/*            Removed initial-fact and initial-object        */
+/*            support.                                       */
+/*                                                           */
+/*************************************************************/
+
+#ifndef _H_pattern
+
+#pragma once
+
+#define _H_pattern
+
+#include <stdio.h>
+
+#include "evaluatn.h"
+#include "entities.h"
+
+
+#ifndef _H_symbol
+#include "symbol.h"
+#endif
+#ifndef _H_scanner
+#include "scanner.h"
+#endif
+#ifndef _H_expressn
+#include "expressn.h"
+#endif
+#ifndef _H_match
+#include "match.h"
+#endif
+#ifndef _H_reorder
+#include "reorder.h"
+#endif
+#ifndef _H_constrnt
+#include "constrnt.h"
+#endif
+
+#define MAXIMUM_NUMBER_OF_PATTERNS 128
+
+struct patternParser
+  {
+   const char *name;
+   struct patternEntityRecord *entityType;
+   unsigned short positionInArray;
+   bool (*recognizeFunction)(CLIPSLexeme *);
+   struct lhsParseNode *(*parseFunction)(Environment *,const char *,struct token *);
+   bool (*postAnalysisFunction)(Environment *,struct lhsParseNode *);
+   struct patternNodeHeader *(*addPatternFunction)(Environment *,struct lhsParseNode *);
+   void (*removePatternFunction)(Environment *,struct patternNodeHeader *);
+   struct expr *(*genJNConstantFunction)(void *,struct lhsParseNode *,int);
+   void (*replaceGetJNValueFunction)(Environment *,struct expr *,struct lhsParseNode *,int);
+   struct expr *(*genGetJNValueFunction)(Environment *,struct lhsParseNode *,int);
+   struct expr *(*genCompareJNValuesFunction)(Environment *,struct lhsParseNode *,struct lhsParseNode *,bool);
+   struct expr *(*genPNConstantFunction)(Environment *,struct lhsParseNode *);
+   void (*replaceGetPNValueFunction)(Environment *,struct expr *,struct lhsParseNode *);
+   struct expr *(*genGetPNValueFunction)(Environment *,struct lhsParseNode *);
+   struct expr *(*genComparePNValuesFunction)(Environment *,struct lhsParseNode *,struct lhsParseNode *);
+   void (*returnUserDataFunction)(Environment *,void *);
+   void *(*copyUserDataFunction)(Environment *,void *);
+   void (*markIRPatternFunction)(Environment *,struct patternNodeHeader *,bool);
+   void (*incrementalResetFunction)(Environment *);
+   void (*codeReferenceFunction)(Environment *,void *,FILE *,unsigned int,unsigned int);
+   int priority;
+   struct patternParser *next;
+  };
+
+struct reservedSymbol
+  {
+   const char *theSymbol;
+   const char *reservedBy;
+   struct reservedSymbol *next;
+  };
+
+#define MAX_POSITIONS 8
+
+#define PATTERN_DATA 19
+
+struct patternData
+  {
+   struct patternParser *ListOfPatternParsers;
+   struct patternParser *PatternParserArray[MAX_POSITIONS];
+   unsigned short NextPosition;
+   struct reservedSymbol *ListOfReservedPatternSymbols;
+   bool WithinNotCE;
+   int GlobalSalience;
+   bool GlobalAutoFocus;
+   struct expr *SalienceExpression;
+   struct patternNodeHashEntry **PatternHashTable;
+   unsigned long PatternHashTableSize;
+  };
+
+#define PatternData(theEnv) ((struct patternData *) GetEnvironmentData(theEnv,PATTERN_DATA))
+
+   void                           InitializePatterns(Environment *);
+   bool                           AddPatternParser(Environment *,struct patternParser *);
+   struct patternParser          *FindPatternParser(Environment *,const char *);
+   void                           DetachPattern(Environment *,unsigned short,struct patternNodeHeader *);
+   void                           GetNextPatternEntity(Environment *,
+                                                       struct patternParser **,
+                                                       struct patternEntity **);
+   struct patternParser          *GetPatternParser(Environment *,unsigned short);
+   struct lhsParseNode           *RestrictionParse(Environment *,const char *,struct token *,bool,
+                                                   CLIPSLexeme *,unsigned short,
+                                                   struct constraintRecord *,unsigned short);
+   bool                           PostPatternAnalysis(Environment *,struct lhsParseNode *);
+   void                           PatternNodeHeaderToCode(Environment *,FILE *,struct patternNodeHeader *,
+                                                          unsigned int,unsigned int);
+   void                           AddReservedPatternSymbol(Environment *,const char *,const char *);
+   bool                           ReservedPatternSymbol(Environment *,const char *,const char *);
+   void                           ReservedPatternSymbolErrorMsg(Environment *,const char *,const char *);
+   void                           AddHashedPatternNode(Environment *,void *,void *,unsigned short,void *);
+   bool                           RemoveHashedPatternNode(Environment *,void *,void *,unsigned short,void *);
+   void                          *FindHashedPatternNode(Environment *,void *,unsigned short,void *);
+
+#endif /* _H_pattern */
+
+
+
+
+
+
+
+
+

data/ext/clipsruby/pprint.c

@@ -0,0 +1,328 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*            CLIPS Version 6.40  10/02/17             */
+   /*                                                     */
+   /*                 PRETTY PRINT MODULE                 */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Routines for processing the pretty print         */
+/*   representation of constructs.                           */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*      Chris Culbert                                        */
+/*      Brian Dantes                                         */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.24: Corrected code generating compilation          */
+/*            warnings.                                      */
+/*                                                           */
+/*      6.30: Changed integer type/precision.                */
+/*                                                           */
+/*            Used genstrcpy instead of strcpy.              */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*      6.31: Fix for pretty print buffer overflow.          */
+/*                                                           */
+/*      6.40: Added NULL pointer check in CopyPPBuffer.      */
+/*                                                           */
+/*            Pragma once and other inclusion changes.       */
+/*                                                           */
+/*            Added support for booleans with <stdbool.h>.   */
+/*                                                           */
+/*            Removed use of void pointers for specific      */
+/*            data structures.                               */
+/*                                                           */
+/*************************************************************/
+
+#include <stdio.h>
+#include <string.h>
+#include <ctype.h>
+
+#include "setup.h"
+
+#include "constant.h"
+#include "envrnmnt.h"
+#include "memalloc.h"
+#include "sysdep.h"
+#include "utility.h"
+
+#include "pprint.h"
+
+#define PP_CR_FIXED_BUFFER_SIZE 120
+
+/***************************************/
+/* LOCAL INTERNAL FUNCTION DEFINITIONS */
+/***************************************/
+
+   static void                    DeallocatePrettyPrintData(Environment *);
+
+/****************************************************/
+/* InitializePrettyPrintData: Allocates environment */
+/*    data for pretty print routines.               */
+/****************************************************/
+void InitializePrettyPrintData(
+  Environment *theEnv)
+  {
+   AllocateEnvironmentData(theEnv,PRETTY_PRINT_DATA,sizeof(struct prettyPrintData),DeallocatePrettyPrintData);
+
+   PrettyPrintData(theEnv)->PPBufferEnabled = true;
+  }
+
+/******************************************************/
+/* DeallocatePrettyPrintData: Deallocates environment */
+/*    data for the pretty print routines.             */
+/******************************************************/
+static void DeallocatePrettyPrintData(
+  Environment *theEnv)
+  {
+   if (PrettyPrintData(theEnv)->PrettyPrintBuffer != NULL)
+     { rm(theEnv,PrettyPrintData(theEnv)->PrettyPrintBuffer,PrettyPrintData(theEnv)->PPBufferMax); }
+  }
+
+/*******************************************************/
+/* FlushPPBuffer: Resets the pretty print save buffer. */
+/*******************************************************/
+void FlushPPBuffer(
+  Environment *theEnv)
+  {
+   if (PrettyPrintData(theEnv)->PrettyPrintBuffer == NULL) return;
+   PrettyPrintData(theEnv)->PPBackupOnce = 0;
+   PrettyPrintData(theEnv)->PPBackupTwice = 0;
+   PrettyPrintData(theEnv)->PPBufferPos = 0;
+   PrettyPrintData(theEnv)->PrettyPrintBuffer[0] = EOS;
+   return;
+  }
+
+/*********************************************************************/
+/* DestroyPPBuffer: Resets and removes the pretty print save buffer. */
+/*********************************************************************/
+void DestroyPPBuffer(
+  Environment *theEnv)
+  {
+   PrettyPrintData(theEnv)->PPBackupOnce = 0;
+   PrettyPrintData(theEnv)->PPBackupTwice = 0;
+   PrettyPrintData(theEnv)->PPBufferPos = 0;
+   if (PrettyPrintData(theEnv)->PrettyPrintBuffer != NULL) rm(theEnv,PrettyPrintData(theEnv)->PrettyPrintBuffer,PrettyPrintData(theEnv)->PPBufferMax);
+   PrettyPrintData(theEnv)->PrettyPrintBuffer = NULL;
+   PrettyPrintData(theEnv)->PPBufferMax = 0;
+  }
+
+/*********************************************/
+/* SavePPBuffer: Appends a string to the end */
+/*   of the pretty print save buffer.        */
+/*********************************************/
+void SavePPBuffer(
+  Environment *theEnv,
+  const char *str)
+  {
+   size_t increment;
+
+   /*==========================================*/
+   /* If the pretty print buffer isn't needed, */
+   /* then don't bother writing to it.         */
+   /*==========================================*/
+
+   if ((PrettyPrintData(theEnv)->PPBufferStatus == false) || (! PrettyPrintData(theEnv)->PPBufferEnabled))
+     { return; }
+
+   /*===============================*/
+   /* Determine the increment size. */
+   /*===============================*/
+
+   increment = 512;
+   if (PrettyPrintData(theEnv)->PPBufferPos > increment)
+     { increment = PrettyPrintData(theEnv)->PPBufferPos * 3; }
+
+   /*================================================*/
+   /* If the pretty print buffer isn't big enough to */
+   /* contain the string, then increase its size.    */
+   /*================================================*/
+
+   if (strlen(str) + PrettyPrintData(theEnv)->PPBufferPos + 1 >= PrettyPrintData(theEnv)->PPBufferMax)
+     {
+      PrettyPrintData(theEnv)->PrettyPrintBuffer =
+         (char *) genrealloc(theEnv,PrettyPrintData(theEnv)->PrettyPrintBuffer,
+                                    PrettyPrintData(theEnv)->PPBufferMax,
+                                    PrettyPrintData(theEnv)->PPBufferMax + increment);
+      PrettyPrintData(theEnv)->PPBufferMax += increment;
+     }
+
+   /*==================================================*/
+   /* Remember the previous tokens saved to the pretty */
+   /* print buffer in case it is necessary to back up. */
+   /*==================================================*/
+
+   PrettyPrintData(theEnv)->PPBackupTwice = PrettyPrintData(theEnv)->PPBackupOnce;
+   PrettyPrintData(theEnv)->PPBackupOnce = PrettyPrintData(theEnv)->PPBufferPos;
+
+   /*=============================================*/
+   /* Save the string to the pretty print buffer. */
+   /*=============================================*/
+
+   PrettyPrintData(theEnv)->PrettyPrintBuffer = AppendToString(theEnv,str,PrettyPrintData(theEnv)->PrettyPrintBuffer,&PrettyPrintData(theEnv)->PPBufferPos,&PrettyPrintData(theEnv)->PPBufferMax);
+  }
+
+/***************************************************/
+/* PPBackup:  Removes the last string added to the */
+/*   pretty print save buffer. Only capable of     */
+/*   backing up for the two most recent additions. */
+/***************************************************/
+void PPBackup(
+  Environment *theEnv)
+  {
+   if ((PrettyPrintData(theEnv)->PPBufferStatus == false) ||
+       (PrettyPrintData(theEnv)->PrettyPrintBuffer == NULL) ||
+       (! PrettyPrintData(theEnv)->PPBufferEnabled))
+     { return; }
+
+   PrettyPrintData(theEnv)->PPBufferPos = PrettyPrintData(theEnv)->PPBackupOnce;
+   PrettyPrintData(theEnv)->PPBackupOnce = PrettyPrintData(theEnv)->PPBackupTwice;
+   PrettyPrintData(theEnv)->PrettyPrintBuffer[PrettyPrintData(theEnv)->PPBufferPos] = EOS;
+  }
+
+/**************************************************/
+/* CopyPPBuffer: Makes a copy of the pretty print */
+/*   save buffer.                                 */
+/**************************************************/
+char *CopyPPBuffer(
+  Environment *theEnv)
+  {
+   size_t length;
+   char *newString;
+   char *theBuffer = PrettyPrintData(theEnv)->PrettyPrintBuffer;
+
+   if (theBuffer == NULL) return NULL;
+
+   length = (1 + strlen(theBuffer)) * sizeof(char);
+   newString = (char *) gm2(theEnv,length);
+
+   genstrcpy(newString,theBuffer);
+   return(newString);
+  }
+
+/************************************************************/
+/* GetPPBuffer: Returns a pointer to the PrettyPrintBuffer. */
+/************************************************************/
+char *GetPPBuffer(
+  Environment *theEnv)
+  {
+   return(PrettyPrintData(theEnv)->PrettyPrintBuffer);
+  }
+
+/*******************************************/
+/* PPCRAndIndent: Prints white spaces into */
+/*   the pretty print buffer.              */
+/*******************************************/
+void PPCRAndIndent(
+  Environment *theEnv)
+  {
+   size_t i;
+   char *buffer;
+   char fixedBuffer[PP_CR_FIXED_BUFFER_SIZE];
+   
+   if ((PrettyPrintData(theEnv)->PPBufferStatus == false) ||
+       (! PrettyPrintData(theEnv)->PPBufferEnabled))
+     { return; }
+
+   if ((PrettyPrintData(theEnv)->IndentationDepth + 2) > PP_CR_FIXED_BUFFER_SIZE)
+     { buffer = (char *) genalloc(theEnv,PrettyPrintData(theEnv)->IndentationDepth + 2);}
+   else
+     { buffer = fixedBuffer; }
+   
+   buffer[0] = '\n';
+
+   for (i = 1 ; i <= PrettyPrintData(theEnv)->IndentationDepth ; i++)
+     { buffer[i] = ' '; }
+   buffer[i] = EOS;
+
+   SavePPBuffer(theEnv,buffer);
+   
+   if ((PrettyPrintData(theEnv)->IndentationDepth + 2) > PP_CR_FIXED_BUFFER_SIZE)
+     { genfree(theEnv,buffer,PrettyPrintData(theEnv)->IndentationDepth + 2);}
+  }
+
+/************************************************/
+/* IncrementIndentDepth: Increments indentation */
+/*   depth for pretty printing.                 */
+/************************************************/
+void IncrementIndentDepth(
+  Environment *theEnv,
+  size_t value)
+  {
+   PrettyPrintData(theEnv)->IndentationDepth += value;
+  }
+
+/************************************************/
+/* DecrementIndentDepth: Decrements indentation */
+/*   depth for pretty printing.                 */
+/************************************************/
+void DecrementIndentDepth(
+  Environment *theEnv,
+  size_t value)
+  {
+   PrettyPrintData(theEnv)->IndentationDepth -= value;
+  }
+
+/************************************/
+/* SetIndentDepth: Sets indentation */
+/*   depth for pretty printing.     */
+/************************************/
+void SetIndentDepth(
+  Environment *theEnv,
+  size_t value)
+  {
+   PrettyPrintData(theEnv)->IndentationDepth = value;
+  }
+
+/******************************************/
+/* SetPPBufferStatus: Sets PPBufferStatus */
+/*   flag to boolean value of ON or OFF.  */
+/******************************************/
+void SetPPBufferStatus(
+  Environment *theEnv,
+  bool value)
+  {
+   PrettyPrintData(theEnv)->PPBufferStatus = value;
+  }
+
+/************************************/
+/* GetPPBufferStatus: Returns value */
+/*   of the PPBufferStatus flag.    */
+/************************************/
+bool GetPPBufferStatus(
+  Environment *theEnv)
+  {
+   return(PrettyPrintData(theEnv)->PPBufferStatus);
+  }
+
+/***********************/
+/* SetPPBufferEnabled: */
+/***********************/
+bool SetPPBufferEnabled(
+  Environment *theEnv,
+  bool value)
+  {
+   bool oldValue;
+
+   oldValue = PrettyPrintData(theEnv)->PPBufferEnabled;
+   PrettyPrintData(theEnv)->PPBufferEnabled = value;
+   return oldValue;
+  }
+
+/***********************/
+/* GetPPBufferEnabled: */
+/***********************/
+bool GetPPBufferEnabled(
+  Environment *theEnv)
+  {
+   return PrettyPrintData(theEnv)->PPBufferEnabled;
+  }
+

data/ext/clipsruby/pprint.h

@@ -0,0 +1,79 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  10/02/17            */
+   /*                                                     */
+   /*               PRETTY PRINT HEADER FILE              */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Routines for processing the pretty print         */
+/*   representation of constructs.                           */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.30: Changed integer type/precision.                */
+/*                                                           */
+/*            Used genstrcpy instead of strcpy.              */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*      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.                               */
+/*                                                           */
+/*************************************************************/
+
+#ifndef _H_pprint
+
+#pragma once
+
+#define _H_pprint
+
+#define PRETTY_PRINT_DATA 52
+
+struct prettyPrintData
+  {
+   bool PPBufferStatus;
+   bool PPBufferEnabled;
+   size_t IndentationDepth;
+   size_t PPBufferPos;
+   size_t PPBufferMax;
+   size_t PPBackupOnce;
+   size_t PPBackupTwice;
+   char *PrettyPrintBuffer;
+  };
+
+#define PrettyPrintData(theEnv) ((struct prettyPrintData *) GetEnvironmentData(theEnv,PRETTY_PRINT_DATA))
+
+   void                           InitializePrettyPrintData(Environment *);
+   void                           FlushPPBuffer(Environment *);
+   void                           DestroyPPBuffer(Environment *);
+   void                           SavePPBuffer(Environment *,const char *);
+   void                           PPBackup(Environment *);
+   char                          *CopyPPBuffer(Environment *);
+   char                          *GetPPBuffer(Environment *);
+   void                           PPCRAndIndent(Environment *);
+   void                           IncrementIndentDepth(Environment *,size_t);
+   void                           DecrementIndentDepth(Environment *,size_t);
+   void                           SetIndentDepth(Environment *,size_t);
+   void                           SetPPBufferStatus(Environment *,bool);
+   bool                           GetPPBufferStatus(Environment *);
+   bool                           SetPPBufferEnabled(Environment *,bool);
+   bool                           GetPPBufferEnabled(Environment *);
+
+#endif
+
+
+