dlg_p.c

SRI international 发布的OAA框架软件

    atom_list();
    zzmatch(R_BRACK);
    
    /* MR23 */		if (zzaRet.l != NULL) {
      (zzaRet.l)->trans[0] = zzaRet.r;
      (zzaRet.l)->label = set_dup(zzaArg(zztasp1,2 ).label);
      set_orin(&used_chars,(zzaRet.l)->label);
    }
 zzCONSUME;

  }
  else {
    if ( (LA(1)==NOT) ) {
      zzmatch(NOT); zzCONSUME;
      zzmatch(L_BRACK); zzCONSUME;
      atom_list();
      zzmatch(R_BRACK);
      
      /* MR23 */		if (zzaRet.l != NULL) {
        (zzaRet.l)->trans[0] = zzaRet.r;
        (zzaRet.l)->label = set_dif(normal_chars,zzaArg(zztasp1,3 ).label);
        set_orin(&used_chars,(zzaRet.l)->label);
      }
 zzCONSUME;

    }
    else {
      if ( (LA(1)==L_PAR) ) {
        zzmatch(L_PAR); zzCONSUME;
        reg_expr();
        zzmatch(R_PAR);
        
        /* MR23 */		if (zzaRet.l != NULL) {				
          (zzaRet.l)->trans[0] = zzaArg(zztasp1,2 ).l;
          if (zzaArg(zztasp1,2 ).r) {
            (zzaArg(zztasp1,2 ).r)->trans[1] = zzaRet.r;    /* MR20 */
          }
        }
 zzCONSUME;

      }
      else {
        if ( (LA(1)==L_BRACE) ) {
          zzmatch(L_BRACE); zzCONSUME;
          reg_expr();
          zzmatch(R_BRACE);
          
          /* MR23 */		if (zzaRet.l != NULL) {
            (zzaRet.l)->trans[0] = zzaArg(zztasp1,2 ).l;
            (zzaRet.l)->trans[1] = zzaRet.r;
            if (zzaArg(zztasp1,2 ).r) {
              (zzaArg(zztasp1,2 ).r)->trans[1] = zzaRet.r;    /* MR20 */
            }
          }
 zzCONSUME;

        }
        else {
          if ( (setwd3[LA(1)]&0x1) ) {
            atom();
            
            /* MR23 */		if (zzaRet.l != NULL) {
              (zzaRet.l)->trans[0] = zzaRet.r;
              (zzaRet.l)->label = set_dup(zzaArg(zztasp1,1 ).label);
              set_orin(&used_chars,(zzaRet.l)->label);
            }
          }
          else {zzFAIL(1,zzerr7,&zzMissSet,&zzMissText,&zzBadTok,&zzBadText,&zzErrk); goto fail;}
        }
      }
    }
  }
  zzEXIT(zztasp1);
  return;
fail:
  zzEXIT(zztasp1);
  zzsyn(zzMissText, zzBadTok, (ANTLRChar *)"", zzMissSet, zzMissTok, zzErrk, zzBadText);
  zzresynch(setwd3, 0x2);
  }
}

void
#ifdef __USE_PROTOS
atom_list(void)
#else
atom_list()
#endif
{
  zzRULE;
  zzBLOCK(zztasp1);
  zzMake0;
  {
  set_free(zzaRet.label);
  {
    zzBLOCK(zztasp2);
    zzMake0;
    {
    while ( (setwd3[LA(1)]&0x4) ) {
      near_atom();
      set_orin(&(zzaRet.label),zzaArg(zztasp2,1 ).label);
      zzLOOP(zztasp2);
    }
    zzEXIT(zztasp2);
    }
  }
  zzEXIT(zztasp1);
  return;
fail:
  zzEXIT(zztasp1);
  zzsyn(zzMissText, zzBadTok, (ANTLRChar *)"", zzMissSet, zzMissTok, zzErrk, zzBadText);
  zzresynch(setwd3, 0x8);
  }
}

void
#ifdef __USE_PROTOS
near_atom(void)
#else
near_atom()
#endif
{
  zzRULE;
  zzBLOCK(zztasp1);
  zzMake0;
  {
  register int i;
  register int i_prime;
  anychar();
  zzaRet.letter=zzaArg(zztasp1,1 ).letter; zzaRet.label=set_of(zzaArg(zztasp1,1 ).letter);
  i_prime = zzaArg(zztasp1,1 ).letter + MIN_CHAR;
  if (case_insensitive && islower(i_prime))
  set_orel(toupper(i_prime)-MIN_CHAR,
  &(zzaRet.label));
  if (case_insensitive && isupper(i_prime))
  set_orel(tolower(i_prime)-MIN_CHAR,
  &(zzaRet.label));
  {
    zzBLOCK(zztasp2);
    zzMake0;
    {
    if ( (LA(1)==RANGE) ) {
      zzmatch(RANGE); zzCONSUME;
      anychar();
      if (case_insensitive){
        i_prime = zzaRet.letter+MIN_CHAR;
        zzaRet.letter = (islower(i_prime) ?
        toupper(i_prime) : i_prime)-MIN_CHAR;
        i_prime = zzaArg(zztasp2,2 ).letter+MIN_CHAR;
        zzaArg(zztasp2,2 ).letter = (islower(i_prime) ?
        toupper(i_prime) : i_prime)-MIN_CHAR;
      }
      /* check to see if range okay */
      {
        int debugLetter1 = zzaRet.letter;
        int debugLetter2 = zzaArg(zztasp2,2 ).letter;
      }
      if (zzaRet.letter > zzaArg(zztasp2,2 ).letter 
      && zzaArg(zztasp2,2 ).letter != 0xff){       /* MR16 */
        error("invalid range  ", zzline);
      }
      for (i=zzaRet.letter; i<= (int)zzaArg(zztasp2,2 ).letter; ++i){
        set_orel(i,&(zzaRet.label));
        i_prime = i+MIN_CHAR;
        if (case_insensitive && islower(i_prime))
        set_orel(toupper(i_prime)-MIN_CHAR,
        &(zzaRet.label));
        if (case_insensitive && isupper(i_prime))
        set_orel(tolower(i_prime)-MIN_CHAR,
        &(zzaRet.label));
      }
    }
    else {
      if ( (setwd3[LA(1)]&0x10) ) {
      }
      else {zzFAIL(1,zzerr8,&zzMissSet,&zzMissText,&zzBadTok,&zzBadText,&zzErrk); goto fail;}
    }
    zzEXIT(zztasp2);
    }
  }
  zzEXIT(zztasp1);
  return;
fail:
  zzEXIT(zztasp1);
  zzsyn(zzMissText, zzBadTok, (ANTLRChar *)"", zzMissSet, zzMissTok, zzErrk, zzBadText);
  zzresynch(setwd3, 0x20);
  }
}

void
#ifdef __USE_PROTOS
atom(void)
#else
atom()
#endif
{
  zzRULE;
  zzBLOCK(zztasp1);
  zzMake0;
  {
  register int i_prime;
  anychar();
  zzaRet.label = set_of(zzaArg(zztasp1,1 ).letter);
  i_prime = zzaArg(zztasp1,1 ).letter + MIN_CHAR;
  if (case_insensitive && islower(i_prime))
  set_orel(toupper(i_prime)-MIN_CHAR,
  &(zzaRet.label));
  if (case_insensitive && isupper(i_prime))
  set_orel(tolower(i_prime)-MIN_CHAR,
  &(zzaRet.label));
  zzEXIT(zztasp1);
  return;
fail:
  zzEXIT(zztasp1);
  zzsyn(zzMissText, zzBadTok, (ANTLRChar *)"", zzMissSet, zzMissTok, zzErrk, zzBadText);
  zzresynch(setwd3, 0x40);
  }
}

void
#ifdef __USE_PROTOS
anychar(void)
#else
anychar()
#endif
{
  zzRULE;
  zzBLOCK(zztasp1);
  zzMake0;
  {
  if ( (LA(1)==REGCHAR) ) {
    zzmatch(REGCHAR);
    zzaRet.letter = zzaArg(zztasp1,1 ).letter - MIN_CHAR;
 zzCONSUME;

  }
  else {
    if ( (LA(1)==OCTAL_VALUE) ) {
      zzmatch(OCTAL_VALUE);
      zzaRet.letter = zzaArg(zztasp1,1 ).letter - MIN_CHAR;
 zzCONSUME;

    }
    else {
      if ( (LA(1)==HEX_VALUE) ) {
        zzmatch(HEX_VALUE);
        zzaRet.letter = zzaArg(zztasp1,1 ).letter - MIN_CHAR;
 zzCONSUME;

      }
      else {
        if ( (LA(1)==DEC_VALUE) ) {
          zzmatch(DEC_VALUE);
          zzaRet.letter = zzaArg(zztasp1,1 ).letter - MIN_CHAR;
 zzCONSUME;

        }
        else {
          if ( (LA(1)==TAB) ) {
            zzmatch(TAB);
            zzaRet.letter = zzaArg(zztasp1,1 ).letter - MIN_CHAR;
 zzCONSUME;

          }
          else {
            if ( (LA(1)==NL) ) {
              zzmatch(NL);
              zzaRet.letter = zzaArg(zztasp1,1 ).letter - MIN_CHAR;
 zzCONSUME;

            }
            else {
              if ( (LA(1)==CR) ) {
                zzmatch(CR);
                zzaRet.letter = zzaArg(zztasp1,1 ).letter - MIN_CHAR;
 zzCONSUME;

              }
              else {
                if ( (LA(1)==BS) ) {
                  zzmatch(BS);
                  zzaRet.letter = zzaArg(zztasp1,1 ).letter - MIN_CHAR;
 zzCONSUME;

                }
                else {
                  if ( (LA(1)==LIT) ) {
                    zzmatch(LIT);
                    zzaRet.letter = zzaArg(zztasp1,1 ).letter - MIN_CHAR;
 zzCONSUME;

                  }
                  else {
                    if ( (LA(1)==L_EOF) ) {
                      zzmatch(L_EOF);
                      zzaRet.letter = 0;
 zzCONSUME;

                    }
                    else {zzFAIL(1,zzerr9,&zzMissSet,&zzMissText,&zzBadTok,&zzBadText,&zzErrk); goto fail;}
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  zzEXIT(zztasp1);
  return;
fail:
  zzEXIT(zztasp1);
  /* empty action */  
  zzsyn(zzMissText, zzBadTok, (ANTLRChar *)"", zzMissSet, zzMissTok, zzErrk, zzBadText);
  zzresynch(setwd3, 0x80);
  }
}

/* adds a new nfa to the binary tree and returns a pointer to it */
nfa_node *
#ifdef __USE_PROTOS
new_nfa_node(void)
#else
new_nfa_node()
#endif
{
  register nfa_node *t;
  static int nfa_size=0;	/* elements nfa_array[] can hold */
  
	++nfa_allocated;
  if (nfa_size<=nfa_allocated){
    /* need to redo array */
    if (!nfa_array){
      /* need some to do inital allocation */
      nfa_size=nfa_allocated+NFA_MIN;
      nfa_array=(nfa_node **) malloc(sizeof(nfa_node*)*
      nfa_size);
    }else{
      /* need more space */
      nfa_size=2*(nfa_allocated+1);
      nfa_array=(nfa_node **) realloc(nfa_array,
      sizeof(nfa_node*)*nfa_size);
    }
  }
  /* fill out entry in array */
  t = (nfa_node*) malloc(sizeof(nfa_node));
  nfa_array[nfa_allocated] = t;
  *t = nfa_model_node;
  t->node_no = nfa_allocated;
  return t;
}


/* initialize the model node used to fill in newly made nfa_nodes */
void
#ifdef __USE_PROTOS
make_nfa_model_node(void)
#else
make_nfa_model_node()
#endif
{
  nfa_model_node.node_no = -1; /* impossible value for real nfa node */
  nfa_model_node.nfa_set = 0;
  nfa_model_node.accept = 0;   /* error state default*/
  nfa_model_node.trans[0] = NULL;
  nfa_model_node.trans[1] = NULL;
  nfa_model_node.label = empty;
}

#if defined(DEBUG) || defined(_DEBUG)

/* print out the pointer value and the node_number */
void
#ifdef __USE_PROTOS
fprint_dfa_pair(FILE *f, nfa_node *p)
#else
fprint_dfa_pair(f, p)
FILE *f;
nfa_node *p;
#endif
{
  if (p){
    fprintf(f, "%x (%d)", p, p->node_no);
  }else{
    fprintf(f, "(nil)");
  }
}

/* print out interest information on a set */
void
#ifdef __USE_PROTOS
fprint_set(FILE *f, set s)
#else
fprint_set(f,s)
FILE *f;
set s;
#endif
{
  unsigned int *x;
  
	fprintf(f, "n = %d,", s.n);
  if (s.setword){
    fprintf(f, "setword = %x,   ", s.setword);
    /* print out all the elements in the set */
    x = set_pdq(s);
    while (*x!=nil){
      fprintf(f, "%d ", *x);
      ++x;
    }
  }else{
    fprintf(f, "setword = (nil)");
  }
}

/* code to be able to dump out the nfas
return 0 if okay dump
return 1 if screwed up
*/
int
#ifdef __USE_PROTOS
dump_nfas(int first_node, int last_node)
#else
dump_nfas(first_node, last_node)
int first_node;
int last_node;
#endif
{
  register int i;
  nfa_node *t;
  
	for (i=first_node; i<=last_node; ++i){
    t = NFA(i);
    if (!t) break;
    fprintf(stderr, "nfa_node %d {\n", t->node_no);
    fprintf(stderr, "\n\tnfa_set = %d\n", t->nfa_set);
    fprintf(stderr, "\taccept\t=\t%d\n", t->accept);
    fprintf(stderr, "\ttrans\t=\t(");
    fprint_dfa_pair(stderr, t->trans[0]);
    fprintf(stderr, ",");
    fprint_dfa_pair(stderr, t->trans[1]);
    fprintf(stderr, ")\n");
    fprintf(stderr, "\tlabel\t=\t{ ");
    fprint_set(stderr, t->label);
    fprintf(stderr, "\t}\n");
    fprintf(stderr, "}\n\n");
  }
  return 0;
}
#endif

/* DLG-specific syntax error message generator
* (define USER_ZZSYN when compiling so don't get 2 definitions)
*/
void
#ifdef __USE_PROTOS
zzsyn(char *text, int tok, char *egroup, SetWordType *eset, int etok, int k, char *bad_text)
#else
zzsyn(text, tok, egroup, eset, etok, k, bad_text)
char *text, *egroup, *bad_text;
int tok;
int etok;
int k;
SetWordType *eset;
#endif
{
fprintf(stderr, ErrHdr, file_str[0]!=NULL?file_str[0]:"stdin", zzline);
fprintf(stderr, " syntax error at \"%s\"", (tok==zzEOF_TOKEN)?"EOF":text);
if ( !etok && !eset ) {fprintf(stderr, "\n"); return;}
if ( k==1 ) fprintf(stderr, " missing");
else
{
fprintf(stderr, "; \"%s\" not", bad_text);
if ( zzset_deg(eset)>1 ) fprintf(stderr, " in");
}
if ( zzset_deg(eset)>0 ) zzedecode(eset);
else fprintf(stderr, " %s", zztokens[etok]);
if ( strlen(egroup) > (size_t)0 ) fprintf(stderr, " in %s", egroup);
fprintf(stderr, "\n");
}