clipsruby 0.0.2

data/ext/clipsruby/cstrnchk.h

@@ -0,0 +1,91 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  10/03/19            */
+   /*                                                     */
+   /*            CONSTRAINT CHECKING HEADER FILE          */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Provides functions for constraint checking of    */
+/*   data types.                                             */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.24: Added allowed-classes slot facet.              */
+/*                                                           */
+/*            Renamed BOOLEAN macro type to intBool.         */
+/*                                                           */
+/*      6.30: Removed conditional code for unsupported       */
+/*            compilers/operating systems (IBM_MCW and       */
+/*            MAC_MCW).                                      */
+/*                                                           */
+/*            Support for long long integers.                */
+/*                                                           */
+/*            Added const qualifiers to remove C++           */
+/*            deprecation warnings.                          */
+/*                                                           */
+/*            Dynamic constraint checking for the            */
+/*            allowed-classes constraint now searches        */
+/*            imported modules.                              */
+/*                                                           */
+/*      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.                                  */
+/*                                                           */
+/*            Eval support for run time and bload only.      */
+/*                                                           */
+/*************************************************************/
+
+#ifndef _H_cstrnchk
+
+#pragma once
+
+#define _H_cstrnchk
+
+#include "constrnt.h"
+#include "evaluatn.h"
+
+typedef enum
+  {
+   NO_VIOLATION,
+   TYPE_VIOLATION,
+   RANGE_VIOLATION,
+   ALLOWED_VALUES_VIOLATION,
+   FUNCTION_RETURN_TYPE_VIOLATION,
+   CARDINALITY_VIOLATION,
+   ALLOWED_CLASSES_VIOLATION
+  } ConstraintViolationType;
+
+   bool                           CheckCardinalityConstraint(Environment *,size_t,CONSTRAINT_RECORD *);
+   bool                           CheckAllowedValuesConstraint(int,void *,CONSTRAINT_RECORD *);
+   bool                           CheckAllowedClassesConstraint(Environment *,int,void *,CONSTRAINT_RECORD *);
+   ConstraintViolationType        ConstraintCheckExpressionChain(Environment *,struct expr *,
+                                                                     CONSTRAINT_RECORD *);
+   void                           ConstraintViolationErrorMessage(Environment *,const char *,const char *,bool,
+                                                                  unsigned short,CLIPSLexeme *,unsigned short,
+                                                                  ConstraintViolationType,CONSTRAINT_RECORD *,bool);
+   ConstraintViolationType        ConstraintCheckValue(Environment *,int,void *,CONSTRAINT_RECORD *);
+   ConstraintViolationType        ConstraintCheckDataObject(Environment *,UDFValue *,CONSTRAINT_RECORD *);
+#if (! BLOAD_ONLY) && (! RUN_TIME)
+   ConstraintViolationType        ConstraintCheckExpression(Environment *,struct expr *,
+                                                            CONSTRAINT_RECORD *);
+#endif
+   bool                           UnmatchableConstraint(struct constraintRecord *);
+
+#endif /* _H_cstrnchk */
+
+
+

data/ext/clipsruby/cstrncmp.c

@@ -0,0 +1,238 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*            CLIPS Version 6.40  12/02/19             */
+   /*                                                     */
+   /*          CONSTRAINT CONSTRUCTS-TO-C MODULE          */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Implements the constructs-to-c feature for       */
+/*    constraint records.                                    */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*      Brian L. Dantes                                      */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.24: Added allowed-classes slot facet.              */
+/*                                                           */
+/*            Added environment parameter to GenClose.       */
+/*                                                           */
+/*      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 CONSTRUCT_COMPILER && (! RUN_TIME)
+
+#include "constant.h"
+
+#include "conscomp.h"
+#include "envrnmnt.h"
+#include "memalloc.h"
+#include "prntutil.h"
+#include "router.h"
+#include "sysdep.h"
+
+#include "cstrncmp.h"
+
+/***********************************************/
+/* ConstraintsToCode: Produces the constraint  */
+/*   record code for a run-time module created */
+/*   using the constructs-to-c function.       */
+/***********************************************/
+void ConstraintsToCode(
+  Environment *theEnv,
+  const char *fileName,
+  const char *pathName,
+  char *fileNameBuffer,
+  unsigned fileID,
+  FILE *headerFP,
+  unsigned imageID,
+  unsigned maxIndices)
+  {
+   unsigned int i, j;
+   unsigned long count;
+   bool newHeader = true;
+   FILE *fp;
+   unsigned int version = 1;
+   int arrayVersion = 1;
+   unsigned long numberOfConstraints = 0;
+   CONSTRAINT_RECORD *tmpPtr;
+
+   /*===============================================*/
+   /* Count the total number of constraint records. */
+   /*===============================================*/
+
+   for (i = 0 ; i < SIZE_CONSTRAINT_HASH; i++)
+     {
+      for (tmpPtr = ConstraintData(theEnv)->ConstraintHashtable[i];
+           tmpPtr != NULL;
+           tmpPtr = tmpPtr->next)
+        { tmpPtr->bsaveID = numberOfConstraints++; }
+     }
+
+   /*=====================================================*/
+   /* If dynamic constraint checking is disabled, then    */
+   /* contraints won't be saved. If there are constraints */
+   /* which could be saved, then issue a warning message. */
+   /*=====================================================*/
+
+   if ((! GetDynamicConstraintChecking(theEnv)) && (numberOfConstraints != 0))
+     {
+      numberOfConstraints = 0;
+      PrintWarningID(theEnv,"CSTRNCMP",1,false);
+      WriteString(theEnv,STDWRN,"Constraints are not saved with a constructs-to-c image\n");
+      WriteString(theEnv,STDWRN,"  when dynamic constraint checking is disabled.\n");
+     }
+
+   if (numberOfConstraints == 0)
+     { return; }
+
+   /*=================================================*/
+   /* Print the extern definition in the header file. */
+   /*=================================================*/
+
+   for (i = 1; i <= (numberOfConstraints / maxIndices) + 1 ; i++)
+     { fprintf(headerFP,"extern CONSTRAINT_RECORD C%d_%d[];\n",imageID,i); }
+
+   /*==================*/
+   /* Create the file. */
+   /*==================*/
+
+   if ((fp = NewCFile(theEnv,fileName,pathName,fileNameBuffer,fileID,version,false)) == NULL) return;
+
+   /*===================*/
+   /* List the entries. */
+   /*===================*/
+
+   j = 0;
+   count = 0;
+
+   for (i = 0; i < SIZE_CONSTRAINT_HASH; i++)
+     {
+      for (tmpPtr = ConstraintData(theEnv)->ConstraintHashtable[i];
+           tmpPtr != NULL;
+           tmpPtr = tmpPtr->next)
+        {
+         if (newHeader)
+           {
+            fprintf(fp,"CONSTRAINT_RECORD C%d_%d[] = {\n",imageID,arrayVersion);
+            newHeader = false;
+           }
+
+         fprintf(fp,"{%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d,%d",
+                 tmpPtr->anyAllowed,
+                 tmpPtr->symbolsAllowed,
+                 tmpPtr->stringsAllowed,
+                 tmpPtr->floatsAllowed,
+                 tmpPtr->integersAllowed,
+                 tmpPtr->instanceNamesAllowed,
+                 tmpPtr->instanceAddressesAllowed,
+                 tmpPtr->externalAddressesAllowed,
+                 tmpPtr->factAddressesAllowed,
+                 0, /* void allowed */
+                 tmpPtr->anyRestriction,
+                 tmpPtr->symbolRestriction,
+                 tmpPtr->stringRestriction,
+                 tmpPtr->floatRestriction,
+                 tmpPtr->integerRestriction,
+                 tmpPtr->classRestriction,
+                 tmpPtr->instanceNameRestriction,
+                 tmpPtr->multifieldsAllowed,
+                 tmpPtr->singlefieldsAllowed,
+                 tmpPtr->installed);
+
+         fprintf(fp,",0,"); /* bsaveIndex */
+
+         PrintHashedExpressionReference(theEnv,fp,tmpPtr->classList,imageID,maxIndices);
+         fprintf(fp,",");
+         PrintHashedExpressionReference(theEnv,fp,tmpPtr->restrictionList,imageID,maxIndices);
+         fprintf(fp,",");
+         PrintHashedExpressionReference(theEnv,fp,tmpPtr->minValue,imageID,maxIndices);
+         fprintf(fp,",");
+         PrintHashedExpressionReference(theEnv,fp,tmpPtr->maxValue,imageID,maxIndices);
+         fprintf(fp,",");
+         PrintHashedExpressionReference(theEnv,fp,tmpPtr->minFields,imageID,maxIndices);
+         fprintf(fp,",");
+         PrintHashedExpressionReference(theEnv,fp,tmpPtr->maxFields,imageID,maxIndices);
+
+         /* multifield slot */
+
+         fprintf(fp,",NULL");
+
+         /* next slot */
+
+         if (tmpPtr->next == NULL)
+           { fprintf(fp,",NULL,"); }
+         else
+           {
+            if ((j + 1) >= maxIndices)
+              { fprintf(fp,",&C%d_%d[%d],",imageID,arrayVersion + 1,0); }
+            else
+              { fprintf(fp,",&C%d_%d[%d],",imageID,arrayVersion,j + 1); }
+           }
+
+         fprintf(fp,"%u,%u",tmpPtr->bucket,tmpPtr->count + 1);
+
+         count++;
+         j++;
+
+         if ((count == numberOfConstraints) || (j >= maxIndices))
+           {
+            fprintf(fp,"}};\n");
+            GenClose(theEnv,fp);
+            j = 0;
+            version++;
+            arrayVersion++;
+            if (count < numberOfConstraints)
+              {
+               if ((fp = NewCFile(theEnv,fileName,pathName,fileNameBuffer,1,version,false)) == NULL)
+                 { return; }
+               newHeader = true;
+              }
+           }
+         else
+           { fprintf(fp,"},\n"); }
+        }
+     }
+  }
+
+/**********************************************************/
+/* PrintConstraintReference: Prints C code representation */
+/*   of a constraint record data structure reference.     */
+/**********************************************************/
+void PrintConstraintReference(
+  Environment *theEnv,
+  FILE *fp,
+  CONSTRAINT_RECORD *cPtr,
+  unsigned int imageID,
+  unsigned int maxIndices)
+  {
+   if ((cPtr == NULL) || (! GetDynamicConstraintChecking(theEnv)))
+     { fprintf(fp,"NULL"); }
+   else fprintf(fp,"&C%u_%ld[%ld]",imageID,
+                                 (cPtr->bsaveID / maxIndices) + 1,
+                                 cPtr->bsaveID % maxIndices);
+  }
+
+#endif /* CONSTRUCT_COMPILER && (! RUN_TIME) */
+
+
+

data/ext/clipsruby/cstrncmp.h

@@ -0,0 +1,57 @@
+   /*******************************************************/
+   /*      "C" Language Integrated Production System      */
+   /*                                                     */
+   /*             CLIPS Version 6.40  07/30/16            */
+   /*                                                     */
+   /*          CONSTRAINT CONSTRUCTS-TO-C HEADER          */
+   /*******************************************************/
+
+/*************************************************************/
+/* Purpose: Implements the constructs-to-c feature for       */
+/*    constraint records.                                    */
+/*                                                           */
+/* Principal Programmer(s):                                  */
+/*      Gary D. Riley                                        */
+/*                                                           */
+/* Contributing Programmer(s):                               */
+/*                                                           */
+/* Revision History:                                         */
+/*                                                           */
+/*      6.24: Added allowed-classes slot facet.              */
+/*                                                           */
+/*            Added environment parameter to GenClose.       */
+/*                                                           */
+/*      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_cstrncmp
+
+#pragma once
+
+#define _H_cstrncmp
+
+#include "evaluatn.h"
+#include "constrnt.h"
+
+#include <stdio.h>
+
+   void                           PrintConstraintReference(Environment *,FILE *,CONSTRAINT_RECORD *,
+                                                           unsigned int,unsigned int);
+   void                           ConstraintRecordToCode(FILE *,CONSTRAINT_RECORD *);
+   void                           ConstraintsToCode(Environment *,const char *,const char *,char *,
+                                                    unsigned int,FILE *,unsigned int,unsigned int);
+
+#endif /* _H_cstrncmp */
+