adsltlformula.tab.c

这个工具集提供以下结构化分析和UML分析中所用的图形化绘图工具：ER-diagrams, data and event flow diagrams and state-transition diagr

{yyval.str_ptr=mycpy("TRUE");;
    break;}
case 4:
#line 68 "adsltlformula.y"
{yyval.str_ptr=mycpy("FALSE");;
    break;}
case 5:
#line 69 "adsltlformula.y"
{yyval.str_ptr=mycpy(initial);;
    break;}
case 6:
#line 70 "adsltlformula.y"
{yyval.str_ptr=mycpy("FINAL");isfinal=1;;
    break;}
case 7:
#line 71 "adsltlformula.y"
{ yyval.str_ptr=mystrconcat2(yyvsp[-1].str_ptr,">0");;
    break;}
case 8:
#line 72 "adsltlformula.y"
{yyval.str_ptr=yyvsp[0].str_ptr;;
    break;}
case 9:
#line 77 "adsltlformula.y"
{
int i;
yyval.str_ptr = mycpy(adsltlformulalval.str_ptr);
 i=strlen(yyval.str_ptr);
 while (i){
   if (yyval.str_ptr[i-1]==' ') yyval.str_ptr[i-1]='_'; /* replace spaces by underscores for model checker */
   if (yyval.str_ptr[i-1]=='-') yyval.str_ptr[i-1]='_'; /* replace dashes by underscores for model checker */
   i--;
 }
 identifier[identifier_count]=mycpy(adsltlformulalval.str_ptr);
 identifier_count++; 
;
    break;}
case 10:
#line 91 "adsltlformula.y"
{yyval.str_ptr=yyvsp[0].str_ptr;;
    break;}
case 11:
#line 92 "adsltlformula.y"
{yyval.str_ptr = mystrconcat3(yyvsp[-2].str_ptr," -> ",yyvsp[0].str_ptr);;
    break;}
case 12:
#line 93 "adsltlformula.y"
{yyval.str_ptr = mystrconcat3(yyvsp[-2].str_ptr," <-> ",yyvsp[0].str_ptr);;
    break;}
case 13:
#line 95 "adsltlformula.y"
{yyval.str_ptr = yyvsp[0].str_ptr;;
    break;}
case 14:
#line 96 "adsltlformula.y"
{yyval.str_ptr = mystrconcat3(yyvsp[-2].str_ptr," | ",yyvsp[0].str_ptr);;
    break;}
case 15:
#line 98 "adsltlformula.y"
{yyval.str_ptr=yyvsp[0].str_ptr;;
    break;}
case 16:
#line 99 "adsltlformula.y"
{yyval.str_ptr = mystrconcat3(yyvsp[-2].str_ptr," & ",yyvsp[0].str_ptr);;
    break;}
case 17:
#line 101 "adsltlformula.y"
{yyval.str_ptr=yyvsp[0].str_ptr;;
    break;}
case 18:
#line 102 "adsltlformula.y"
{yyval.str_ptr = mystrconcat3(yyvsp[-2].str_ptr," U ",yyvsp[0].str_ptr);;
    break;}
case 19:
#line 104 "adsltlformula.y"
{yyval.str_ptr = mystrconcat2("! ",yyvsp[0].str_ptr);;
    break;}
case 20:
#line 105 "adsltlformula.y"
{yyval.str_ptr = mystrconcat2("X ",yyvsp[0].str_ptr);;
    break;}
case 21:
#line 106 "adsltlformula.y"
{yyval.str_ptr = mystrconcat2("G ",yyvsp[0].str_ptr);;
    break;}
case 22:
#line 107 "adsltlformula.y"
{yyval.str_ptr = mystrconcat2("F ",yyvsp[0].str_ptr);;
    break;}
case 23:
#line 108 "adsltlformula.y"
{yyval.str_ptr = mystrconcat2("EF ",yyvsp[0].str_ptr);isltl=0;;
    break;}
case 24:
#line 109 "adsltlformula.y"
{yyval.str_ptr = mystrconcat2("AF ",yyvsp[0].str_ptr);isltl=0;;
    break;}
case 25:
#line 110 "adsltlformula.y"
{yyval.str_ptr = mystrconcat2("AG ",yyvsp[0].str_ptr);isltl=0;;
    break;}
case 26:
#line 111 "adsltlformula.y"
{yyval.str_ptr = mystrconcat2("EG ",yyvsp[0].str_ptr);isltl=0;;
    break;}
case 27:
#line 112 "adsltlformula.y"
{yyval.str_ptr = mystrconcat3("(",yyvsp[-1].str_ptr,")");;
    break;}
case 28:
#line 113 "adsltlformula.y"
{yyval.str_ptr = yyvsp[0].str_ptr;;
    break;}
}
   /* the action file gets copied in in place of this dollarsign */
#line 543 "/usr/lib/bison.simple"

  yyvsp -= yylen;
  yyssp -= yylen;
#ifdef YYLSP_NEEDED
  yylsp -= yylen;
#endif

#if YYDEBUG != 0
  if (yydebug)
    {
      short *ssp1 = yyss - 1;
      fprintf (stderr, "state stack now");
      while (ssp1 != yyssp)
	fprintf (stderr, " %d", *++ssp1);
      fprintf (stderr, "\n");
    }
#endif

  *++yyvsp = yyval;

#ifdef YYLSP_NEEDED
  yylsp++;
  if (yylen == 0)
    {
      yylsp->first_line = yylloc.first_line;
      yylsp->first_column = yylloc.first_column;
      yylsp->last_line = (yylsp-1)->last_line;
      yylsp->last_column = (yylsp-1)->last_column;
      yylsp->text = 0;
    }
  else
    {
      yylsp->last_line = (yylsp+yylen-1)->last_line;
      yylsp->last_column = (yylsp+yylen-1)->last_column;
    }
#endif

  /* Now "shift" the result of the reduction.
     Determine what state that goes to,
     based on the state we popped back to
     and the rule number reduced by.  */

  yyn = yyr1[yyn];

  yystate = yypgoto[yyn - YYNTBASE] + *yyssp;
  if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp)
    yystate = yytable[yystate];
  else
    yystate = yydefgoto[yyn - YYNTBASE];

  goto yynewstate;

yyerrlab:   /* here on detecting error */

  if (! yyerrstatus)
    /* If not already recovering from an error, report this error.  */
    {
      ++yynerrs;

#ifdef YYERROR_VERBOSE
      yyn = yypact[yystate];

      if (yyn > YYFLAG && yyn < YYLAST)
	{
	  int size = 0;
	  char *msg;
	  int x, count;

	  count = 0;
	  /* Start X at -yyn if nec to avoid negative indexes in yycheck.  */
	  for (x = (yyn < 0 ? -yyn : 0);
	       x < (sizeof(yytname) / sizeof(char *)); x++)
	    if (yycheck[x + yyn] == x)
	      size += strlen(yytname[x]) + 15, count++;
	  msg = (char *) malloc(size + 15);
	  if (msg != 0)
	    {
	      strcpy(msg, "parse error");

	      if (count < 5)
		{
		  count = 0;
		  for (x = (yyn < 0 ? -yyn : 0);
		       x < (sizeof(yytname) / sizeof(char *)); x++)
		    if (yycheck[x + yyn] == x)
		      {
			strcat(msg, count == 0 ? ", expecting `" : " or `");
			strcat(msg, yytname[x]);
			strcat(msg, "'");
			count++;
		      }
		}
	      yyerror(msg);
	      free(msg);
	    }
	  else
	    yyerror ("parse error; also virtual memory exceeded");
	}
      else
#endif /* YYERROR_VERBOSE */
	yyerror("parse error");
    }

  goto yyerrlab1;
yyerrlab1:   /* here on error raised explicitly by an action */

  if (yyerrstatus == 3)
    {
      /* if just tried and failed to reuse lookahead token after an error, discard it.  */

      /* return failure if at end of input */
      if (yychar == YYEOF)
	YYABORT;

#if YYDEBUG != 0
      if (yydebug)
	fprintf(stderr, "Discarding token %d (%s).\n", yychar, yytname[yychar1]);
#endif

      yychar = YYEMPTY;
    }

  /* Else will try to reuse lookahead token
     after shifting the error token.  */

  yyerrstatus = 3;		/* Each real token shifted decrements this */

  goto yyerrhandle;

yyerrdefault:  /* current state does not do anything special for the error token. */

#if 0
  /* This is wrong; only states that explicitly want error tokens
     should shift them.  */
  yyn = yydefact[yystate];  /* If its default is to accept any token, ok.  Otherwise pop it.*/
  if (yyn) goto yydefault;
#endif

yyerrpop:   /* pop the current state because it cannot handle the error token */

  if (yyssp == yyss) YYABORT;
  yyvsp--;
  yystate = *--yyssp;
#ifdef YYLSP_NEEDED
  yylsp--;
#endif

#if YYDEBUG != 0
  if (yydebug)
    {
      short *ssp1 = yyss - 1;
      fprintf (stderr, "Error: state stack now");
      while (ssp1 != yyssp)
	fprintf (stderr, " %d", *++ssp1);
      fprintf (stderr, "\n");
    }
#endif

yyerrhandle:

  yyn = yypact[yystate];
  if (yyn == YYFLAG)
    goto yyerrdefault;

  yyn += YYTERROR;
  if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR)
    goto yyerrdefault;

  yyn = yytable[yyn];
  if (yyn < 0)
    {
      if (yyn == YYFLAG)
	goto yyerrpop;
      yyn = -yyn;
      goto yyreduce;
    }
  else if (yyn == 0)
    goto yyerrpop;

  if (yyn == YYFINAL)
    YYACCEPT;

#if YYDEBUG != 0
  if (yydebug)
    fprintf(stderr, "Shifting error token, ");
#endif

  *++yyvsp = yylval;
#ifdef YYLSP_NEEDED
  *++yylsp = yylloc;
#endif

  yystate = yyn;
  goto yynewstate;

 yyacceptlab:
  /* YYACCEPT comes here.  */
  if (yyfree_stacks)
    {
      free (yyss);
      free (yyvs);
#ifdef YYLSP_NEEDED
      free (yyls);
#endif
    }
  return 0;

 yyabortlab:
  /* YYABORT comes here.  */
  if (yyfree_stacks)
    {
      free (yyss);
      free (yyvs);
#ifdef YYLSP_NEEDED
      free (yyls);
#endif
    }
  return 1;
}
#line 122 "adsltlformula.y"

char *mystrconcat2(char *s1, char *s2)
{
  char *ret;
  int len;
  len = strlen(s1);
  len += strlen(s2);
  ret = (char *)malloc(sizeof(char)*(len+1));
  strcpy(ret,s1);
  strcat(ret,s2);
  return(ret);
}
;

char *mystrconcat3(char *s1, char *s2, char *s3)
{
  char *ret;
  int len;
  len = strlen(s1);
  len += strlen(s2);
  len += strlen(s3);
  ret = (char*)malloc(sizeof(char)*(len+3));
  strcpy(ret,s1);
  strcat(ret," ");
  strcat(ret,s2);
  strcat(ret," ");
  strcat(ret,s3);
  return(ret);
}
         

char *mycpy(char *text)
{
  char *cptr;
  cptr = (char *) Mymalloc(strlen(text) + 1);
  strcpy(cptr, text);
  return(cptr);
}
 
char *Mymalloc(unsigned size)
{
  char *ret;
 
  ret = malloc(size);
  if (ret == NULL) {
    printf("malloc returns NULL\n");
    exit(1);
  }
  return(ret);
}