adsltlformula.tab.c

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

/*  A Bison parser, made from adsltlformula.y
    by GNU Bison version 1.28  */

#define YYBISON 1  /* Identify Bison output.  */

#define yyparse adsltlformulaparse
#define yylex adsltlformulalex
#define yyerror adsltlformulaerror
#define yylval adsltlformulalval
#define yychar adsltlformulachar
#define yydebug adsltlformuladebug
#define yynerrs adsltlformulanerrs
#define	QUOTE	257
#define	OPEN	258
#define	CLOSE	259
#define	NL	260
#define	IDENTIFIER	261
#define	COLON	262
#define	TRUE	263
#define	FALSE	264
#define	LEQ	265
#define	GEQ	266
#define	EQ	267
#define	NEQ	268
#define	GT	269
#define	LT	270
#define	FUTURE	271
#define	GLOBALLY	272
#define	NEXT	273
#define	UNTIL	274
#define	IMPLIES	275
#define	EQUIV	276
#define	INITI	277
#define	FINAL	278
#define	AF	279
#define	EG	280
#define	AG	281
#define	EF	282
#define	OR	283
#define	AND	284
#define	NEG	285
#define	NOT	286
#define	IN	287

#line 1 "adsltlformula.y"

#include "adsltlformulaparse.h"
#include <math.h>
#include <string.h>
#include <stdio.h>
#include <stdlib.h>


 
  /* adapted from the nusmv ltl parser */



  /*
typedef char *CHAR_PTR;
#define YYSTYPE CHAR_PTR
#define YYDEBUG 1
  */

  char *ltlprop; /* the temporal property */
  char *initial; /* predicate characterising initial configuration */
  /*  char *final; */ /*predicate characterising final configuration */
  int isfinal; /* true iff FINAL is part of requirement */

  char *identifier[100];    /* name of var */
  int identifier_count;

  char *mycpy(char *text);
  char *Mymalloc(unsigned size);
  char *mystrconcat3(char *s1, char *s2, char *s3);
  char *mystrconcat2(char *s1, char *s2);

  extern char adsltlformulatext[];

  int isltl; /* if true, then formula is ltl formula*/


#line 47 "adsltlformula.y"
typedef union  {
  char *str_ptr;
      } YYSTYPE;
#include <stdio.h>

#ifndef __cplusplus
#ifndef __STDC__
#define const
#endif
#endif



#define	YYFINAL		49
#define	YYFLAG		-32768
#define	YYNTBASE	35

#define YYTRANSLATE(x) ((unsigned)(x) <= 287 ? yytranslate[x] : 44)

static const char yytranslate[] = {     0,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,    34,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     1,     3,     4,     5,     6,
     7,     8,     9,    10,    11,    12,    13,    14,    15,    16,
    17,    18,    19,    20,    21,    22,    23,    24,    25,    26,
    27,    28,    29,    30,    31,    32,    33
};

#if YYDEBUG != 0
static const short yyprhs[] = {     0,
     0,     2,     4,     6,     8,    10,    12,    17,    19,    21,
    23,    27,    31,    33,    37,    39,    43,    45,    49,    52,
    55,    58,    61,    64,    67,    70,    73,    77
};

static const short yyrhs[] = {    36,
     0,    39,     0,     9,     0,    10,     0,    23,     0,    24,
     0,    33,     4,    38,     5,     0,    38,     0,     7,     0,
    40,     0,    39,    21,    40,     0,    39,    22,    40,     0,
    41,     0,    40,    29,    41,     0,    42,     0,    41,    30,
    42,     0,    43,     0,    42,    20,    43,     0,    32,    43,
     0,    19,    43,     0,    18,    43,     0,    17,    43,     0,
    28,    43,     0,    25,    43,     0,    27,    43,     0,    26,
    43,     0,     4,    39,     5,     0,    37,     0
};

#endif

#if YYDEBUG != 0
static const short yyrline[] = { 0,
    58,    61,    67,    68,    69,    70,    71,    72,    77,    91,
    92,    93,    95,    96,    98,    99,   101,   102,   104,   105,
   106,   107,   108,   109,   110,   111,   112,   113
};
#endif


#if YYDEBUG != 0 || defined (YYERROR_VERBOSE)

static const char * const yytname[] = {   "$","error","$undefined.","QUOTE",
"OPEN","CLOSE","NL","IDENTIFIER","COLON","TRUE","FALSE","LEQ","GEQ","EQ","NEQ",
"GT","LT","FUTURE","GLOBALLY","NEXT","UNTIL","IMPLIES","EQUIV","INITI","FINAL",
"AF","EG","AG","EF","OR","AND","NEG","NOT","IN","'^'","input","line","simple_expr",
"ident","ltlexpr","orexpr","andexpr","untilexpr","atomexpr", NULL
};
#endif

static const short yyr1[] = {     0,
    35,    36,    37,    37,    37,    37,    37,    37,    38,    39,
    39,    39,    40,    40,    41,    41,    42,    42,    43,    43,
    43,    43,    43,    43,    43,    43,    43,    43
};

static const short yyr2[] = {     0,
     1,     1,     1,     1,     1,     1,     4,     1,     1,     1,
     3,     3,     1,     3,     1,     3,     1,     3,     2,     2,
     2,     2,     2,     2,     2,     2,     3,     1
};

static const short yydefact[] = {     0,
     0,     9,     3,     4,     0,     0,     0,     5,     6,     0,
     0,     0,     0,     0,     0,     1,    28,     8,     2,    10,
    13,    15,    17,     0,    22,    21,    20,    24,    26,    25,
    23,    19,     0,     0,     0,     0,     0,     0,    27,     0,
    11,    12,    14,    16,    18,     7,     0,     0,     0
};

static const short yydefgoto[] = {    47,
    16,    17,    18,    19,    20,    21,    22,    23
};

static const short yypact[] = {    11,
    11,-32768,-32768,-32768,    11,    11,    11,-32768,-32768,    11,
    11,    11,    11,    11,     9,-32768,-32768,-32768,   -18,   -15,
   -14,    -3,-32768,     5,-32768,-32768,-32768,-32768,-32768,-32768,
-32768,-32768,    12,    11,    11,    11,    11,    11,-32768,    17,
   -15,   -15,   -14,    -3,-32768,-32768,    23,    24,-32768
};

static const short yypgoto[] = {-32768,
-32768,-32768,    -8,    30,   -23,    -4,     3,    -5
};


#define	YYLAST		44


static const short yytable[] = {    25,
    26,    27,    34,    35,    28,    29,    30,    31,    32,    39,
    41,    42,    33,    36,     1,    37,    38,     2,     2,     3,
     4,    46,    48,    49,    40,    34,    35,     5,     6,     7,
    24,    43,    45,     8,     9,    10,    11,    12,    13,    44,
     0,     0,    14,    15
};

static const short yycheck[] = {     5,
     6,     7,    21,    22,    10,    11,    12,    13,    14,     5,
    34,    35,     4,    29,     4,    30,    20,     7,     7,     9,
    10,     5,     0,     0,    33,    21,    22,    17,    18,    19,
     1,    36,    38,    23,    24,    25,    26,    27,    28,    37,
    -1,    -1,    32,    33
};
/* -*-C-*-  Note some compilers choke on comments on `#line' lines.  */
#line 3 "/usr/lib/bison.simple"
/* This file comes from bison-1.28.  */

/* Skeleton output parser for bison,
   Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc.

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2, or (at your option)
   any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330,
   Boston, MA 02111-1307, USA.  */

/* As a special exception, when this file is copied by Bison into a
   Bison output file, you may use that output file without restriction.
   This special exception was added by the Free Software Foundation
   in version 1.24 of Bison.  */

/* This is the parser code that is written into each bison parser
  when the %semantic_parser declaration is not specified in the grammar.
  It was written by Richard Stallman by simplifying the hairy parser
  used when %semantic_parser is specified.  */

#ifndef YYSTACK_USE_ALLOCA
#ifdef alloca
#define YYSTACK_USE_ALLOCA
#else /* alloca not defined */
#ifdef __GNUC__
#define YYSTACK_USE_ALLOCA
#define alloca __builtin_alloca
#else /* not GNU C.  */
#if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) || (defined (__sun) && defined (__i386))
#define YYSTACK_USE_ALLOCA
#include <alloca.h>
#else /* not sparc */
/* We think this test detects Watcom and Microsoft C.  */
/* This used to test MSDOS, but that is a bad idea
   since that symbol is in the user namespace.  */
#if (defined (_MSDOS) || defined (_MSDOS_)) && !defined (__TURBOC__)
#if 0 /* No need for malloc.h, which pollutes the namespace;
	 instead, just don't use alloca.  */
#include <malloc.h>
#endif
#else /* not MSDOS, or __TURBOC__ */
#if defined(_AIX)
/* I don't know what this was needed for, but it pollutes the namespace.
   So I turned it off.   rms, 2 May 1997.  */
/* #include <malloc.h>  */
 #pragma alloca
#define YYSTACK_USE_ALLOCA
#else /* not MSDOS, or __TURBOC__, or _AIX */
#if 0
#ifdef __hpux /* [e-mail] says this works for HPUX 9.05 and up,
		 and on HPUX 10.  Eventually we can turn this on.  */
#define YYSTACK_USE_ALLOCA
#define alloca __builtin_alloca
#endif /* __hpux */
#endif
#endif /* not _AIX */
#endif /* not MSDOS, or __TURBOC__ */
#endif /* not sparc */
#endif /* not GNU C */
#endif /* alloca not defined */
#endif /* YYSTACK_USE_ALLOCA not defined */

#ifdef YYSTACK_USE_ALLOCA
#define YYSTACK_ALLOC alloca
#else
#define YYSTACK_ALLOC malloc
#endif

/* Note: there must be only one dollar sign in this file.
   It is replaced by the list of actions, each action
   as one case of the switch.  */

#define yyerrok		(yyerrstatus = 0)
#define yyclearin	(yychar = YYEMPTY)
#define YYEMPTY		-2
#define YYEOF		0
#define YYACCEPT	goto yyacceptlab
#define YYABORT 	goto yyabortlab
#define YYERROR		goto yyerrlab1
/* Like YYERROR except do call yyerror.
   This remains here temporarily to ease the
   transition to the new meaning of YYERROR, for GCC.
   Once GCC version 2 has supplanted version 1, this can go.  */
#define YYFAIL		goto yyerrlab
#define YYRECOVERING()  (!!yyerrstatus)
#define YYBACKUP(token, value) \
do								\
  if (yychar == YYEMPTY && yylen == 1)				\
    { yychar = (token), yylval = (value);			\
      yychar1 = YYTRANSLATE (yychar);				\
      YYPOPSTACK;						\
      goto yybackup;						\
    }								\
  else								\
    { yyerror ("syntax error: cannot back up"); YYERROR; }	\
while (0)

#define YYTERROR	1
#define YYERRCODE	256

#ifndef YYPURE
#define YYLEX		yylex()
#endif

#ifdef YYPURE
#ifdef YYLSP_NEEDED
#ifdef YYLEX_PARAM
#define YYLEX		yylex(&yylval, &yylloc, YYLEX_PARAM)
#else
#define YYLEX		yylex(&yylval, &yylloc)
#endif
#else /* not YYLSP_NEEDED */
#ifdef YYLEX_PARAM
#define YYLEX		yylex(&yylval, YYLEX_PARAM)
#else
#define YYLEX		yylex(&yylval)
#endif
#endif /* not YYLSP_NEEDED */
#endif

/* If nonreentrant, generate the variables here */

#ifndef YYPURE

int	yychar;			/*  the lookahead symbol		*/
YYSTYPE	yylval;			/*  the semantic value of the		*/
				/*  lookahead symbol			*/

#ifdef YYLSP_NEEDED
YYLTYPE yylloc;			/*  location data for the lookahead	*/
				/*  symbol				*/
#endif

int yynerrs;			/*  number of parse errors so far       */
#endif  /* not YYPURE */

#if YYDEBUG != 0
int yydebug;			/*  nonzero means print parse trace	*/
/* Since this is uninitialized, it does not stop multiple parsers
   from coexisting.  */
#endif

/*  YYINITDEPTH indicates the initial size of the parser's stacks	*/

#ifndef	YYINITDEPTH
#define YYINITDEPTH 200
#endif