/*******************************************************/   /*      "C" Language Integrated Production System      */   /*                                                     */   /*               CLIPS Version 6.24  06/05/06          */   /*                                                     */   /*          INSTANCE-SET QUERIES PARSER MODULE         */   /*******************************************************//*************************************************************//* Purpose: Instance_set Queries Parsing Routines            *//*                                                           *//* Principal Programmer(s):                                  *//*      Brian L. Donnell                                     *//*                                                           *//* Contributing Programmer(s):                               *//*                                                           *//*                                                           *//* Revision History:                                         *//*      6.23: Changed name of variable exp to theExp         *//*            because of Unix compiler warnings of shadowed  *//*            definitions.                                   *//*                                                           *//*      6.24: Renamed BOOLEAN macro type to intBool.         *//*                                                           *//*************************************************************//* =========================================   *****************************************               EXTERNAL DEFINITIONS   =========================================   ***************************************** */#include "setup.h"#if INSTANCE_SET_QUERIES && (! RUN_TIME)#include <string.h>#include "classcom.h"#include "envrnmnt.h"#include "exprnpsr.h"#include "extnfunc.h"#include "insquery.h"#include "prcdrpsr.h"#include "prntutil.h"#include "router.h"#include "scanner.h"#include "strngrtr.h"#define _INSQYPSR_SOURCE_#include "insqypsr.h"/* =========================================   *****************************************                   CONSTANTS   =========================================   ***************************************** */#define INSTANCE_SLOT_REF ':'/* =========================================   *****************************************      INTERNALLY VISIBLE FUNCTION HEADERS   =========================================   ***************************************** */static EXPRESSION *ParseQueryRestrictions(void *,EXPRESSION *,char *,struct token *);static intBool ReplaceClassNameWithReference(void *,EXPRESSION *);static int ParseQueryTestExpression(void *,EXPRESSION *,char *);static int ParseQueryActionExpression(void *,EXPRESSION *,char *,EXPRESSION *,struct token *);static void ReplaceInstanceVariables(void *,EXPRESSION *,EXPRESSION *,int,int);static void ReplaceSlotReference(void *,EXPRESSION *,EXPRESSION *,                                 struct FunctionDefinition *,int);static int IsQueryFunction(EXPRESSION *);/* =========================================   *****************************************          EXTERNALLY VISIBLE FUNCTIONS   =========================================   ***************************************** *//***********************************************************************  NAME         : ParseQueryNoAction  DESCRIPTION  : Parses the following functions :                   (any-instancep)                   (find-first-instance)                   (find-all-instances)  INPUTS       : 1) The address of the top node of the query function                 2) The logical name of the input  RETURNS      : The completed expression chain, or NULL on errors  SIDE EFFECTS : The expression chain is extended, or the "top" node                 is deleted on errors  NOTES        : H/L Syntax :                 (<function> <query-block>)                 <query-block>  :== (<instance-var>+) <query-expression>                 <instance-var> :== (<var-name> <class-name>+)                 Parses into following form :                 <query-function>                      |                      V                 <query-expression>  ->                 <class-1a> -> <class-1b> -> (QDS) ->                 <class-2a> -> <class-2b> -> (QDS) -> ... ***********************************************************************/globle EXPRESSION *ParseQueryNoAction(  void *theEnv,  EXPRESSION *top,  char *readSource)  {   EXPRESSION *insQuerySetVars;   struct token queryInputToken;   insQuerySetVars = ParseQueryRestrictions(theEnv,top,readSource,&queryInputToken);   if (insQuerySetVars == NULL)     return(NULL);   IncrementIndentDepth(theEnv,3);   PPCRAndIndent(theEnv);   if (ParseQueryTestExpression(theEnv,top,readSource) == FALSE)     {      DecrementIndentDepth(theEnv,3);      ReturnExpression(theEnv,insQuerySetVars);      return(NULL);     }   DecrementIndentDepth(theEnv,3);   GetToken(theEnv,readSource,&queryInputToken);   if (GetType(queryInputToken) != RPAREN)     {      SyntaxErrorMessage(theEnv,"instance-set query function");      ReturnExpression(theEnv,top);      ReturnExpression(theEnv,insQuerySetVars);      return(NULL);     }   ReplaceInstanceVariables(theEnv,insQuerySetVars,top->argList,TRUE,0);   ReturnExpression(theEnv,insQuerySetVars);   return(top);  }/***********************************************************************  NAME         : ParseQueryAction  DESCRIPTION  : Parses the following functions :                   (do-for-instance)                   (do-for-all-instances)                   (delayed-do-for-all-instances)  INPUTS       : 1) The address of the top node of the query function                 2) The logical name of the input  RETURNS      : The completed expression chain, or NULL on errors  SIDE EFFECTS : The expression chain is extended, or the "top" node                 is deleted on errors  NOTES        : H/L Syntax :                 (<function> <query-block> <query-action>)                 <query-block>  :== (<instance-var>+) <query-expression>                 <instance-var> :== (<var-name> <class-name>+)                 Parses into following form :                 <query-function>                      |                      V                 <query-expression> -> <query-action>  ->                 <class-1a> -> <class-1b> -> (QDS) ->                 <class-2a> -> <class-2b> -> (QDS) -> ... ***********************************************************************/globle EXPRESSION *ParseQueryAction(  void *theEnv,  EXPRESSION *top,  char *readSource)  {   EXPRESSION *insQuerySetVars;   struct token queryInputToken;   insQuerySetVars = ParseQueryRestrictions(theEnv,top,readSource,&queryInputToken);   if (insQuerySetVars == NULL)     return(NULL);   IncrementIndentDepth(theEnv,3);   PPCRAndIndent(theEnv);   if (ParseQueryTestExpression(theEnv,top,readSource) == FALSE)     {      DecrementIndentDepth(theEnv,3);      ReturnExpression(theEnv,insQuerySetVars);      return(NULL);     }   PPCRAndIndent(theEnv);   if (ParseQueryActionExpression(theEnv,top,readSource,insQuerySetVars,&queryInputToken) == FALSE)     {      DecrementIndentDepth(theEnv,3);      ReturnExpression(theEnv,insQuerySetVars);      return(NULL);     }   DecrementIndentDepth(theEnv,3);      if (GetType(queryInputToken) != RPAREN)     {      SyntaxErrorMessage(theEnv,"instance-set query function");      ReturnExpression(theEnv,top);      ReturnExpression(theEnv,insQuerySetVars);      return(NULL);     }   ReplaceInstanceVariables(theEnv,insQuerySetVars,top->argList,TRUE,0);   ReplaceInstanceVariables(theEnv,insQuerySetVars,top->argList->nextArg,FALSE,0);   ReturnExpression(theEnv,insQuerySetVars);   return(top);  }/* =========================================   *****************************************          INTERNALLY VISIBLE FUNCTIONS   =========================================   ***************************************** *//***************************************************************  NAME         : ParseQueryRestrictions  DESCRIPTION  : Parses the class restrictions for a query  INPUTS       : 1) The top node of the query expression                 2) The logical name of the input                 3) Caller's token buffer  RETURNS      : The instance-variable expressions  SIDE EFFECTS : Entire query expression deleted on errors                 Nodes allocated for restrictions and instance                   variable expressions                 Class restrictions attached to query-expression                   as arguments  NOTES        : Expects top != NULL ***************************************************************/static EXPRESSION *ParseQueryRestrictions(  void *theEnv,  EXPRESSION *top,  char *readSource,  struct token *queryInputToken)  {   EXPRESSION *insQuerySetVars = NULL,*lastInsQuerySetVars = NULL,              *classExp = NULL,*lastClassExp,              *tmp,*lastOne = NULL;   int error = FALSE;   SavePPBuffer(theEnv," ");   GetToken(theEnv,readSource,queryInputToken);   if (queryInputToken->type != LPAREN)     goto ParseQueryRestrictionsError1;   GetToken(theEnv,readSource,queryInputToken);   if (queryInputToken->type != LPAREN)     goto ParseQueryRestrictionsError1;   while (queryInputToken->type == LPAREN)     {      GetToken(theEnv,readSource,queryInputToken);      if (queryInputToken->type != SF_VARIABLE)        goto ParseQueryRestrictionsError1;      tmp = insQuerySetVars;      while (tmp != NULL)        {         if (tmp->value == queryInputToken->value)           {            PrintErrorID(theEnv,"INSQYPSR",1,FALSE);            EnvPrintRouter(theEnv,WERROR,"Duplicate instance member variable name in function ");            EnvPrintRouter(theEnv,WERROR,ValueToString(ExpressionFunctionCallName(top)));            EnvPrintRouter(theEnv,WERROR,".\n");            goto ParseQueryRestrictionsError2;           }         tmp = tmp->nextArg;        }      tmp = GenConstant(theEnv,SF_VARIABLE,queryInputToken->value);      if (insQuerySetVars == NULL)        insQuerySetVars = tmp;      else        lastInsQuerySetVars->nextArg = tmp;      lastInsQuerySetVars = tmp;      SavePPBuffer(theEnv," ");      classExp = ArgumentParse(theEnv,readSource,&error);      if (error)        goto ParseQueryRestrictionsError2;      if (classExp == NULL)        goto ParseQueryRestrictionsError1;      if (ReplaceClassNameWithReference(theEnv,classExp) == FALSE)        goto ParseQueryRestrictionsError2;      lastClassExp = classExp;      SavePPBuffer(theEnv," ");      while ((tmp = ArgumentParse(theEnv,readSource,&error)) != NULL)        {         if (ReplaceClassNameWithReference(theEnv,tmp) == FALSE)           goto ParseQueryRestrictionsError2;         lastClassExp->nextArg = tmp;         lastClassExp = tmp;         SavePPBuffer(theEnv," ");        }      if (error)        goto ParseQueryRestrictionsError2;      PPBackup(theEnv);      PPBackup(theEnv);      SavePPBuffer(theEnv,")");      tmp = GenConstant(theEnv,SYMBOL,(void *) InstanceQueryData(theEnv)->QUERY_DELIMETER_SYMBOL);      lastClassExp->nextArg = tmp;      lastClassExp = tmp;      if (top->argList == NULL)        top->argList = classExp;      else        lastOne->nextArg = classExp;      lastOne = lastClassExp;      classExp = NULL;      SavePPBuffer(theEnv," ");      GetToken(theEnv,readSource,queryInputToken);     }   if (queryInputToken->type != RPAREN)     goto ParseQueryRestrictionsError1;   PPBackup(theEnv);   PPBackup(theEnv);   SavePPBuffer(theEnv,")");   return(insQuerySetVars);ParseQueryRestrictionsError1:   SyntaxErrorMessage(theEnv,"instance-set query function");ParseQueryRestrictionsError2:   ReturnExpression(theEnv,classExp);   ReturnExpression(theEnv,top);   ReturnExpression(theEnv,insQuerySetVars);   return(NULL);  }/***************************************************  NAME         : ReplaceClassNameWithReference  DESCRIPTION  : In parsing an instance-set query,                 this function replaces a constant                 class name with an actual pointer                 to the class  INPUTS       : The expression  RETURNS      : TRUE if all OK, FALSE                 if class cannot be found  SIDE EFFECTS : The expression type and value are                 modified if class is found  NOTES        : Searches current and imported                 modules for reference