12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420 |
- /* A Bison parser, made by GNU Bison 2.0. */
- /* Skeleton parser for Yacc-like parsing with Bison,
- Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004 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. */
- /* Written by Richard Stallman by simplifying the original so called
- ``semantic'' parser. */
- /* All symbols defined below should begin with yy or YY, to avoid
- infringing on user name space. This should be done even for local
- variables, as they might otherwise be expanded by user macros.
- There are some unavoidable exceptions within include files to
- define necessary library symbols; they are noted "INFRINGES ON
- USER NAME SPACE" below. */
- /* Identify Bison output. */
- #define YYBISON 1
- /* Skeleton name. */
- #define YYSKELETON_NAME "yacc.c"
- /* Pure parsers. */
- #define YYPURE 1
- /* Using locations. */
- #define YYLSP_NEEDED 1
- /* Substitute the variable and function names. */
- #define yyparse ast_yyparse
- #define yylex ast_yylex
- #define yyerror ast_yyerror
- #define yylval ast_yylval
- #define yychar ast_yychar
- #define yydebug ast_yydebug
- #define yynerrs ast_yynerrs
- #define yylloc ast_yylloc
- /* Tokens. */
- #ifndef YYTOKENTYPE
- # define YYTOKENTYPE
- /* Put the tokens into the symbol table, so that GDB and other debuggers
- know about them. */
- enum yytokentype {
- TOK_COLONCOLON = 258,
- TOK_COND = 259,
- TOK_OR = 260,
- TOK_AND = 261,
- TOK_NE = 262,
- TOK_LE = 263,
- TOK_GE = 264,
- TOK_LT = 265,
- TOK_GT = 266,
- TOK_EQ = 267,
- TOK_MINUS = 268,
- TOK_PLUS = 269,
- TOK_MOD = 270,
- TOK_DIV = 271,
- TOK_MULT = 272,
- TOK_COMPL = 273,
- TOK_EQTILDE = 274,
- TOK_COLON = 275,
- TOK_LP = 276,
- TOK_RP = 277,
- TOKEN = 278
- };
- #endif
- #define TOK_COLONCOLON 258
- #define TOK_COND 259
- #define TOK_OR 260
- #define TOK_AND 261
- #define TOK_NE 262
- #define TOK_LE 263
- #define TOK_GE 264
- #define TOK_LT 265
- #define TOK_GT 266
- #define TOK_EQ 267
- #define TOK_MINUS 268
- #define TOK_PLUS 269
- #define TOK_MOD 270
- #define TOK_DIV 271
- #define TOK_MULT 272
- #define TOK_COMPL 273
- #define TOK_EQTILDE 274
- #define TOK_COLON 275
- #define TOK_LP 276
- #define TOK_RP 277
- #define TOKEN 278
- /* Copy the first part of user declarations. */
- #line 1 "ast_expr2.y"
- /* Written by Pace Willisson (pace@blitz.com)
- * and placed in the public domain.
- *
- * Largely rewritten by J.T. Conklin (jtc@wimsey.com)
- *
- * And then overhauled twice by Steve Murphy (murf@e-tools.com)
- * to add double-quoted strings, allow mult. spaces, improve
- * error messages, and then to fold in a flex scanner for the
- * yylex operation.
- *
- * $FreeBSD: src/bin/expr/expr.y,v 1.16 2000/07/22 10:59:36 se Exp $
- */
- #include <sys/types.h>
- #include <stdio.h>
- #include <stdlib.h>
- #include <string.h>
- #include <locale.h>
- #include <ctype.h>
- #if !defined(SOLARIS) && !defined(__CYGWIN__)
- #include <err.h>
- #else
- #define quad_t int64_t
- #endif
- #include <errno.h>
- #include <regex.h>
- #include <limits.h>
- #include <asterisk/ast_expr.h>
- #include <asterisk/logger.h>
- #if defined(LONG_LONG_MIN) && !defined(QUAD_MIN)
- #define QUAD_MIN LONG_LONG_MIN
- #endif
- #if defined(LONG_LONG_MAX) && !defined(QUAD_MAX)
- #define QUAD_MAX LONG_LONG_MAX
- #endif
- # if ! defined(QUAD_MIN)
- # define QUAD_MIN (-0x7fffffffffffffffLL-1)
- # endif
- # if ! defined(QUAD_MAX)
- # define QUAD_MAX (0x7fffffffffffffffLL)
- # endif
- #define YYPARSE_PARAM parseio
- #define YYLEX_PARAM ((struct parse_io *)parseio)->scanner
- #define YYERROR_VERBOSE 1
- enum valtype {
- AST_EXPR_integer, AST_EXPR_numeric_string, AST_EXPR_string
- } ;
- #ifdef STANDALONE
- void ast_log(int level, const char *file, int line, const char *function, const char *fmt, ...) __attribute__ ((format (printf,5,6)));
- #endif
- struct val {
- enum valtype type;
- union {
- char *s;
- quad_t i;
- } u;
- } ;
- typedef void *yyscan_t;
- struct parse_io
- {
- char *string;
- struct val *val;
- yyscan_t scanner;
- };
-
- static int chk_div __P((quad_t, quad_t));
- static int chk_minus __P((quad_t, quad_t, quad_t));
- static int chk_plus __P((quad_t, quad_t, quad_t));
- static int chk_times __P((quad_t, quad_t, quad_t));
- static void free_value __P((struct val *));
- static int is_zero_or_null __P((struct val *));
- static int isstring __P((struct val *));
- static struct val *make_integer __P((quad_t));
- static struct val *make_str __P((const char *));
- static struct val *op_and __P((struct val *, struct val *));
- static struct val *op_colon __P((struct val *, struct val *));
- static struct val *op_eqtilde __P((struct val *, struct val *));
- static struct val *op_div __P((struct val *, struct val *));
- static struct val *op_eq __P((struct val *, struct val *));
- static struct val *op_ge __P((struct val *, struct val *));
- static struct val *op_gt __P((struct val *, struct val *));
- static struct val *op_le __P((struct val *, struct val *));
- static struct val *op_lt __P((struct val *, struct val *));
- static struct val *op_cond __P((struct val *, struct val *, struct val *));
- static struct val *op_minus __P((struct val *, struct val *));
- static struct val *op_negate __P((struct val *));
- static struct val *op_compl __P((struct val *));
- static struct val *op_ne __P((struct val *, struct val *));
- static struct val *op_or __P((struct val *, struct val *));
- static struct val *op_plus __P((struct val *, struct val *));
- static struct val *op_rem __P((struct val *, struct val *));
- static struct val *op_times __P((struct val *, struct val *));
- static quad_t to_integer __P((struct val *));
- static void to_string __P((struct val *));
- /* uh, if I want to predeclare yylex with a YYLTYPE, I have to predeclare the yyltype... sigh */
- typedef struct yyltype
- {
- int first_line;
- int first_column;
- int last_line;
- int last_column;
- } yyltype;
- # define YYLTYPE yyltype
- # define YYLTYPE_IS_TRIVIAL 1
- /* we will get warning about no prototype for yylex! But we can't
- define it here, we have no definition yet for YYSTYPE. */
- int ast_yyerror(const char *,YYLTYPE *, struct parse_io *);
-
- /* I wanted to add args to the yyerror routine, so I could print out
- some useful info about the error. Not as easy as it looks, but it
- is possible. */
- #define ast_yyerror(x) ast_yyerror(x,&yyloc,parseio)
- #define DESTROY(x) { \
- if ((x)->type == AST_EXPR_numeric_string || (x)->type == AST_EXPR_string) \
- free((x)->u.s); \
- (x)->u.s = 0; \
- free(x); \
- }
- /* Enabling traces. */
- #ifndef YYDEBUG
- # define YYDEBUG 0
- #endif
- /* Enabling verbose error messages. */
- #ifdef YYERROR_VERBOSE
- # undef YYERROR_VERBOSE
- # define YYERROR_VERBOSE 1
- #else
- # define YYERROR_VERBOSE 0
- #endif
- #if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED)
- #line 142 "ast_expr2.y"
- typedef union YYSTYPE {
- struct val *val;
- } YYSTYPE;
- /* Line 190 of yacc.c. */
- #line 268 "ast_expr2.c"
- # define yystype YYSTYPE /* obsolescent; will be withdrawn */
- # define YYSTYPE_IS_DECLARED 1
- # define YYSTYPE_IS_TRIVIAL 1
- #endif
- #if ! defined (YYLTYPE) && ! defined (YYLTYPE_IS_DECLARED)
- typedef struct YYLTYPE
- {
- int first_line;
- int first_column;
- int last_line;
- int last_column;
- } YYLTYPE;
- # define yyltype YYLTYPE /* obsolescent; will be withdrawn */
- # define YYLTYPE_IS_DECLARED 1
- # define YYLTYPE_IS_TRIVIAL 1
- #endif
- /* Copy the second part of user declarations. */
- #line 146 "ast_expr2.y"
- extern int ast_yylex __P((YYSTYPE *, YYLTYPE *, yyscan_t));
- /* Line 213 of yacc.c. */
- #line 295 "ast_expr2.c"
- #if ! defined (yyoverflow) || YYERROR_VERBOSE
- # ifndef YYFREE
- # define YYFREE free
- # endif
- # ifndef YYMALLOC
- # define YYMALLOC malloc
- # endif
- /* The parser invokes alloca or malloc; define the necessary symbols. */
- # ifdef YYSTACK_USE_ALLOCA
- # if YYSTACK_USE_ALLOCA
- # ifdef __GNUC__
- # define YYSTACK_ALLOC __builtin_alloca
- # else
- # define YYSTACK_ALLOC alloca
- # endif
- # endif
- # endif
- # ifdef YYSTACK_ALLOC
- /* Pacify GCC's `empty if-body' warning. */
- # define YYSTACK_FREE(Ptr) do { /* empty */; } while (0)
- # else
- # if defined (__STDC__) || defined (__cplusplus)
- # include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
- # define YYSIZE_T size_t
- # endif
- # define YYSTACK_ALLOC YYMALLOC
- # define YYSTACK_FREE YYFREE
- # endif
- #endif /* ! defined (yyoverflow) || YYERROR_VERBOSE */
- #if (! defined (yyoverflow) \
- && (! defined (__cplusplus) \
- || (defined (YYLTYPE_IS_TRIVIAL) && YYLTYPE_IS_TRIVIAL \
- && defined (YYSTYPE_IS_TRIVIAL) && YYSTYPE_IS_TRIVIAL)))
- /* A type that is properly aligned for any stack member. */
- union yyalloc
- {
- short int yyss;
- YYSTYPE yyvs;
- YYLTYPE yyls;
- };
- /* The size of the maximum gap between one aligned stack and the next. */
- # define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1)
- /* The size of an array large to enough to hold all stacks, each with
- N elements. */
- # define YYSTACK_BYTES(N) \
- ((N) * (sizeof (short int) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \
- + 2 * YYSTACK_GAP_MAXIMUM)
- /* Copy COUNT objects from FROM to TO. The source and destination do
- not overlap. */
- # ifndef YYCOPY
- # if defined (__GNUC__) && 1 < __GNUC__
- # define YYCOPY(To, From, Count) \
- __builtin_memcpy (To, From, (Count) * sizeof (*(From)))
- # else
- # define YYCOPY(To, From, Count) \
- do \
- { \
- register YYSIZE_T yyi; \
- for (yyi = 0; yyi < (Count); yyi++) \
- (To)[yyi] = (From)[yyi]; \
- } \
- while (0)
- # endif
- # endif
- /* Relocate STACK from its old location to the new one. The
- local variables YYSIZE and YYSTACKSIZE give the old and new number of
- elements in the stack, and YYPTR gives the new location of the
- stack. Advance YYPTR to a properly aligned location for the next
- stack. */
- # define YYSTACK_RELOCATE(Stack) \
- do \
- { \
- YYSIZE_T yynewbytes; \
- YYCOPY (&yyptr->Stack, Stack, yysize); \
- Stack = &yyptr->Stack; \
- yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
- yyptr += yynewbytes / sizeof (*yyptr); \
- } \
- while (0)
- #endif
- #if defined (__STDC__) || defined (__cplusplus)
- typedef signed char yysigned_char;
- #else
- typedef short int yysigned_char;
- #endif
- /* YYFINAL -- State number of the termination state. */
- #define YYFINAL 10
- /* YYLAST -- Last index in YYTABLE. */
- #define YYLAST 140
- /* YYNTOKENS -- Number of terminals. */
- #define YYNTOKENS 24
- /* YYNNTS -- Number of nonterminals. */
- #define YYNNTS 3
- /* YYNRULES -- Number of rules. */
- #define YYNRULES 22
- /* YYNRULES -- Number of states. */
- #define YYNSTATES 46
- /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
- #define YYUNDEFTOK 2
- #define YYMAXUTOK 278
- #define YYTRANSLATE(YYX) \
- ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
- /* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX. */
- static const unsigned 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, 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, 2, 1, 2, 3, 4,
- 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
- 15, 16, 17, 18, 19, 20, 21, 22, 23
- };
- #if YYDEBUG
- /* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
- YYRHS. */
- static const unsigned char yyprhs[] =
- {
- 0, 0, 3, 5, 7, 11, 15, 19, 23, 27,
- 31, 35, 39, 43, 47, 51, 54, 57, 61, 65,
- 69, 73, 77
- };
- /* YYRHS -- A `-1'-separated list of the rules' RHS. */
- static const yysigned_char yyrhs[] =
- {
- 25, 0, -1, 26, -1, 23, -1, 21, 26, 22,
- -1, 26, 5, 26, -1, 26, 6, 26, -1, 26,
- 12, 26, -1, 26, 11, 26, -1, 26, 10, 26,
- -1, 26, 9, 26, -1, 26, 8, 26, -1, 26,
- 7, 26, -1, 26, 14, 26, -1, 26, 13, 26,
- -1, 13, 26, -1, 18, 26, -1, 26, 17, 26,
- -1, 26, 16, 26, -1, 26, 15, 26, -1, 26,
- 20, 26, -1, 26, 19, 26, -1, 26, 4, 26,
- 3, 26, -1
- };
- /* YYRLINE[YYN] -- source line where rule number YYN was defined. */
- static const unsigned char yyrline[] =
- {
- 0, 165, 165, 175, 176, 180, 184, 188, 192, 196,
- 200, 204, 208, 212, 216, 220, 224, 228, 232, 236,
- 240, 244, 248
- };
- #endif
- #if YYDEBUG || YYERROR_VERBOSE
- /* YYTNME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
- First, the terminals, then, starting at YYNTOKENS, nonterminals. */
- static const char *const yytname[] =
- {
- "$end", "error", "$undefined", "TOK_COLONCOLON", "TOK_COND", "TOK_OR",
- "TOK_AND", "TOK_NE", "TOK_LE", "TOK_GE", "TOK_LT", "TOK_GT", "TOK_EQ",
- "TOK_MINUS", "TOK_PLUS", "TOK_MOD", "TOK_DIV", "TOK_MULT", "TOK_COMPL",
- "TOK_EQTILDE", "TOK_COLON", "TOK_LP", "TOK_RP", "TOKEN", "$accept",
- "start", "expr", 0
- };
- #endif
- # ifdef YYPRINT
- /* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
- token YYLEX-NUM. */
- static const unsigned short int yytoknum[] =
- {
- 0, 256, 257, 258, 259, 260, 261, 262, 263, 264,
- 265, 266, 267, 268, 269, 270, 271, 272, 273, 274,
- 275, 276, 277, 278
- };
- # endif
- /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
- static const unsigned char yyr1[] =
- {
- 0, 24, 25, 26, 26, 26, 26, 26, 26, 26,
- 26, 26, 26, 26, 26, 26, 26, 26, 26, 26,
- 26, 26, 26
- };
- /* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
- static const unsigned char yyr2[] =
- {
- 0, 2, 1, 1, 3, 3, 3, 3, 3, 3,
- 3, 3, 3, 3, 3, 2, 2, 3, 3, 3,
- 3, 3, 5
- };
- /* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
- STATE-NUM when YYTABLE doesn't specify something else to do. Zero
- means the default is an error. */
- static const unsigned char yydefact[] =
- {
- 0, 0, 0, 0, 3, 0, 2, 15, 16, 0,
- 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 4, 0, 5,
- 6, 12, 11, 10, 9, 8, 7, 14, 13, 19,
- 18, 17, 21, 20, 0, 22
- };
- /* YYDEFGOTO[NTERM-NUM]. */
- static const yysigned_char yydefgoto[] =
- {
- -1, 5, 6
- };
- /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
- STATE-NUM. */
- #define YYPACT_NINF -13
- static const yysigned_char yypact[] =
- {
- 109, 109, 109, 109, -13, 6, 59, 106, 106, 22,
- -13, 109, 109, 109, 109, 109, 109, 109, 109, 109,
- 109, 109, 109, 109, 109, 109, 109, -13, 42, 90,
- 104, 120, 120, 120, 120, 120, 120, -12, -12, 106,
- 106, 106, -13, -13, 109, 75
- };
- /* YYPGOTO[NTERM-NUM]. */
- static const yysigned_char yypgoto[] =
- {
- -13, -13, -1
- };
- /* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
- positive, shift that token. If negative, reduce the rule which
- number is the opposite. If zero, do what YYDEFACT says.
- If YYTABLE_NINF, syntax error. */
- #define YYTABLE_NINF -1
- static const unsigned char yytable[] =
- {
- 7, 8, 9, 22, 23, 24, 10, 25, 26, 0,
- 28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
- 38, 39, 40, 41, 42, 43, 11, 12, 13, 14,
- 15, 16, 17, 18, 19, 20, 21, 22, 23, 24,
- 0, 25, 26, 45, 27, 44, 11, 12, 13, 14,
- 15, 16, 17, 18, 19, 20, 21, 22, 23, 24,
- 0, 25, 26, 11, 12, 13, 14, 15, 16, 17,
- 18, 19, 20, 21, 22, 23, 24, 0, 25, 26,
- 12, 13, 14, 15, 16, 17, 18, 19, 20, 21,
- 22, 23, 24, 0, 25, 26, 13, 14, 15, 16,
- 17, 18, 19, 20, 21, 22, 23, 24, 0, 25,
- 26, 14, 15, 16, 17, 18, 19, 20, 21, 22,
- 23, 24, 1, 25, 26, 25, 26, 2, 0, 0,
- 3, 0, 4, 20, 21, 22, 23, 24, 0, 25,
- 26
- };
- static const yysigned_char yycheck[] =
- {
- 1, 2, 3, 15, 16, 17, 0, 19, 20, -1,
- 11, 12, 13, 14, 15, 16, 17, 18, 19, 20,
- 21, 22, 23, 24, 25, 26, 4, 5, 6, 7,
- 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
- -1, 19, 20, 44, 22, 3, 4, 5, 6, 7,
- 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
- -1, 19, 20, 4, 5, 6, 7, 8, 9, 10,
- 11, 12, 13, 14, 15, 16, 17, -1, 19, 20,
- 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
- 15, 16, 17, -1, 19, 20, 6, 7, 8, 9,
- 10, 11, 12, 13, 14, 15, 16, 17, -1, 19,
- 20, 7, 8, 9, 10, 11, 12, 13, 14, 15,
- 16, 17, 13, 19, 20, 19, 20, 18, -1, -1,
- 21, -1, 23, 13, 14, 15, 16, 17, -1, 19,
- 20
- };
- /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
- symbol of state STATE-NUM. */
- static const unsigned char yystos[] =
- {
- 0, 13, 18, 21, 23, 25, 26, 26, 26, 26,
- 0, 4, 5, 6, 7, 8, 9, 10, 11, 12,
- 13, 14, 15, 16, 17, 19, 20, 22, 26, 26,
- 26, 26, 26, 26, 26, 26, 26, 26, 26, 26,
- 26, 26, 26, 26, 3, 26
- };
- #if ! defined (YYSIZE_T) && defined (__SIZE_TYPE__)
- # define YYSIZE_T __SIZE_TYPE__
- #endif
- #if ! defined (YYSIZE_T) && defined (size_t)
- # define YYSIZE_T size_t
- #endif
- #if ! defined (YYSIZE_T)
- # if defined (__STDC__) || defined (__cplusplus)
- # include <stddef.h> /* INFRINGES ON USER NAME SPACE */
- # define YYSIZE_T size_t
- # endif
- #endif
- #if ! defined (YYSIZE_T)
- # define YYSIZE_T unsigned int
- #endif
- #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 yyerrorlab
- /* 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); \
- yytoken = YYTRANSLATE (yychar); \
- YYPOPSTACK; \
- goto yybackup; \
- } \
- else \
- { \
- yyerror ("syntax error: cannot back up");\
- YYERROR; \
- } \
- while (0)
- #define YYTERROR 1
- #define YYERRCODE 256
- /* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N].
- If N is 0, then set CURRENT to the empty location which ends
- the previous symbol: RHS[0] (always defined). */
- #define YYRHSLOC(Rhs, K) ((Rhs)[K])
- #ifndef YYLLOC_DEFAULT
- # define YYLLOC_DEFAULT(Current, Rhs, N) \
- do \
- if (N) \
- { \
- (Current).first_line = YYRHSLOC (Rhs, 1).first_line; \
- (Current).first_column = YYRHSLOC (Rhs, 1).first_column; \
- (Current).last_line = YYRHSLOC (Rhs, N).last_line; \
- (Current).last_column = YYRHSLOC (Rhs, N).last_column; \
- } \
- else \
- { \
- (Current).first_line = (Current).last_line = \
- YYRHSLOC (Rhs, 0).last_line; \
- (Current).first_column = (Current).last_column = \
- YYRHSLOC (Rhs, 0).last_column; \
- } \
- while (0)
- #endif
- /* YY_LOCATION_PRINT -- Print the location on the stream.
- This macro was not mandated originally: define only if we know
- we won't break user code: when these are the locations we know. */
- #ifndef YY_LOCATION_PRINT
- # if YYLTYPE_IS_TRIVIAL
- # define YY_LOCATION_PRINT(File, Loc) \
- fprintf (File, "%d.%d-%d.%d", \
- (Loc).first_line, (Loc).first_column, \
- (Loc).last_line, (Loc).last_column)
- # else
- # define YY_LOCATION_PRINT(File, Loc) ((void) 0)
- # endif
- #endif
- /* YYLEX -- calling `yylex' with the right arguments. */
- #ifdef YYLEX_PARAM
- # define YYLEX yylex (&yylval, &yylloc, YYLEX_PARAM)
- #else
- # define YYLEX yylex (&yylval, &yylloc)
- #endif
- /* Enable debugging if requested. */
- #if YYDEBUG
- # ifndef YYFPRINTF
- # include <stdio.h> /* INFRINGES ON USER NAME SPACE */
- # define YYFPRINTF fprintf
- # endif
- # define YYDPRINTF(Args) \
- do { \
- if (yydebug) \
- YYFPRINTF Args; \
- } while (0)
- # define YY_SYMBOL_PRINT(Title, Type, Value, Location) \
- do { \
- if (yydebug) \
- { \
- YYFPRINTF (stderr, "%s ", Title); \
- yysymprint (stderr, \
- Type, Value, Location); \
- YYFPRINTF (stderr, "\n"); \
- } \
- } while (0)
- /*------------------------------------------------------------------.
- | yy_stack_print -- Print the state stack from its BOTTOM up to its |
- | TOP (included). |
- `------------------------------------------------------------------*/
- #if defined (__STDC__) || defined (__cplusplus)
- static void
- yy_stack_print (short int *bottom, short int *top)
- #else
- static void
- yy_stack_print (bottom, top)
- short int *bottom;
- short int *top;
- #endif
- {
- YYFPRINTF (stderr, "Stack now");
- for (/* Nothing. */; bottom <= top; ++bottom)
- YYFPRINTF (stderr, " %d", *bottom);
- YYFPRINTF (stderr, "\n");
- }
- # define YY_STACK_PRINT(Bottom, Top) \
- do { \
- if (yydebug) \
- yy_stack_print ((Bottom), (Top)); \
- } while (0)
- /*------------------------------------------------.
- | Report that the YYRULE is going to be reduced. |
- `------------------------------------------------*/
- #if defined (__STDC__) || defined (__cplusplus)
- static void
- yy_reduce_print (int yyrule)
- #else
- static void
- yy_reduce_print (yyrule)
- int yyrule;
- #endif
- {
- int yyi;
- unsigned int yylno = yyrline[yyrule];
- YYFPRINTF (stderr, "Reducing stack by rule %d (line %u), ",
- yyrule - 1, yylno);
- /* Print the symbols being reduced, and their result. */
- for (yyi = yyprhs[yyrule]; 0 <= yyrhs[yyi]; yyi++)
- YYFPRINTF (stderr, "%s ", yytname [yyrhs[yyi]]);
- YYFPRINTF (stderr, "-> %s\n", yytname [yyr1[yyrule]]);
- }
- # define YY_REDUCE_PRINT(Rule) \
- do { \
- if (yydebug) \
- yy_reduce_print (Rule); \
- } while (0)
- /* Nonzero means print parse trace. It is left uninitialized so that
- multiple parsers can coexist. */
- int yydebug;
- #else /* !YYDEBUG */
- # define YYDPRINTF(Args)
- # define YY_SYMBOL_PRINT(Title, Type, Value, Location)
- # define YY_STACK_PRINT(Bottom, Top)
- # define YY_REDUCE_PRINT(Rule)
- #endif /* !YYDEBUG */
- /* YYINITDEPTH -- initial size of the parser's stacks. */
- #ifndef YYINITDEPTH
- # define YYINITDEPTH 200
- #endif
- /* YYMAXDEPTH -- maximum size the stacks can grow to (effective only
- if the built-in stack extension method is used).
- Do not make this value too large; the results are undefined if
- SIZE_MAX < YYSTACK_BYTES (YYMAXDEPTH)
- evaluated with infinite-precision integer arithmetic. */
- #ifndef YYMAXDEPTH
- # define YYMAXDEPTH 10000
- #endif
- #if YYERROR_VERBOSE
- # ifndef yystrlen
- # if defined (__GLIBC__) && defined (_STRING_H)
- # define yystrlen strlen
- # else
- /* Return the length of YYSTR. */
- static YYSIZE_T
- # if defined (__STDC__) || defined (__cplusplus)
- yystrlen (const char *yystr)
- # else
- yystrlen (yystr)
- const char *yystr;
- # endif
- {
- register const char *yys = yystr;
- while (*yys++ != '\0')
- continue;
- return yys - yystr - 1;
- }
- # endif
- # endif
- # ifndef yystpcpy
- # if defined (__GLIBC__) && defined (_STRING_H) && defined (_GNU_SOURCE)
- # define yystpcpy stpcpy
- # else
- /* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in
- YYDEST. */
- static char *
- # if defined (__STDC__) || defined (__cplusplus)
- yystpcpy (char *yydest, const char *yysrc)
- # else
- yystpcpy (yydest, yysrc)
- char *yydest;
- const char *yysrc;
- # endif
- {
- register char *yyd = yydest;
- register const char *yys = yysrc;
- while ((*yyd++ = *yys++) != '\0')
- continue;
- return yyd - 1;
- }
- # endif
- # endif
- #endif /* !YYERROR_VERBOSE */
- #if YYDEBUG
- /*--------------------------------.
- | Print this symbol on YYOUTPUT. |
- `--------------------------------*/
- #if defined (__STDC__) || defined (__cplusplus)
- static void
- yysymprint (FILE *yyoutput, int yytype, YYSTYPE *yyvaluep, YYLTYPE *yylocationp)
- #else
- static void
- yysymprint (yyoutput, yytype, yyvaluep, yylocationp)
- FILE *yyoutput;
- int yytype;
- YYSTYPE *yyvaluep;
- YYLTYPE *yylocationp;
- #endif
- {
- /* Pacify ``unused variable'' warnings. */
- (void) yyvaluep;
- (void) yylocationp;
- if (yytype < YYNTOKENS)
- YYFPRINTF (yyoutput, "token %s (", yytname[yytype]);
- else
- YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]);
- YY_LOCATION_PRINT (yyoutput, *yylocationp);
- fprintf (yyoutput, ": ");
- # ifdef YYPRINT
- if (yytype < YYNTOKENS)
- YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
- # endif
- switch (yytype)
- {
- default:
- break;
- }
- YYFPRINTF (yyoutput, ")");
- }
- #endif /* ! YYDEBUG */
- /*-----------------------------------------------.
- | Release the memory associated to this symbol. |
- `-----------------------------------------------*/
- #if defined (__STDC__) || defined (__cplusplus)
- static void
- yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep, YYLTYPE *yylocationp)
- #else
- static void
- yydestruct (yymsg, yytype, yyvaluep, yylocationp)
- const char *yymsg;
- int yytype;
- YYSTYPE *yyvaluep;
- YYLTYPE *yylocationp;
- #endif
- {
- /* Pacify ``unused variable'' warnings. */
- (void) yyvaluep;
- (void) yylocationp;
- if (!yymsg)
- yymsg = "Deleting";
- YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp);
- switch (yytype)
- {
- default:
- break;
- }
- }
- /* Prevent warnings from -Wmissing-prototypes. */
- #ifdef YYPARSE_PARAM
- # if defined (__STDC__) || defined (__cplusplus)
- int yyparse (void *YYPARSE_PARAM);
- # else
- int yyparse ();
- # endif
- #else /* ! YYPARSE_PARAM */
- #if defined (__STDC__) || defined (__cplusplus)
- int yyparse (void);
- #else
- int yyparse ();
- #endif
- #endif /* ! YYPARSE_PARAM */
- /*----------.
- | yyparse. |
- `----------*/
- #ifdef YYPARSE_PARAM
- # if defined (__STDC__) || defined (__cplusplus)
- int yyparse (void *YYPARSE_PARAM)
- # else
- int yyparse (YYPARSE_PARAM)
- void *YYPARSE_PARAM;
- # endif
- #else /* ! YYPARSE_PARAM */
- #if defined (__STDC__) || defined (__cplusplus)
- int
- yyparse (void)
- #else
- int
- yyparse ()
- #endif
- #endif
- {
- /* The look-ahead symbol. */
- int yychar;
- /* The semantic value of the look-ahead symbol. */
- YYSTYPE yylval;
- /* Number of syntax errors so far. */
- int yynerrs;
- /* Location data for the look-ahead symbol. */
- YYLTYPE yylloc;
- register int yystate;
- register int yyn;
- int yyresult;
- /* Number of tokens to shift before error messages enabled. */
- int yyerrstatus;
- /* Look-ahead token as an internal (translated) token number. */
- int yytoken = 0;
- /* Three stacks and their tools:
- `yyss': related to states,
- `yyvs': related to semantic values,
- `yyls': related to locations.
- Refer to the stacks thru separate pointers, to allow yyoverflow
- to reallocate them elsewhere. */
- /* The state stack. */
- short int yyssa[YYINITDEPTH];
- short int *yyss = yyssa;
- register short int *yyssp;
- /* The semantic value stack. */
- YYSTYPE yyvsa[YYINITDEPTH];
- YYSTYPE *yyvs = yyvsa;
- register YYSTYPE *yyvsp;
- /* The location stack. */
- YYLTYPE yylsa[YYINITDEPTH];
- YYLTYPE *yyls = yylsa;
- YYLTYPE *yylsp;
- /* The locations where the error started and ended. */
- YYLTYPE yyerror_range[2];
- #define YYPOPSTACK (yyvsp--, yyssp--, yylsp--)
- YYSIZE_T yystacksize = YYINITDEPTH;
- /* The variables used to return semantic value and location from the
- action routines. */
- YYSTYPE yyval;
- YYLTYPE yyloc;
- /* When reducing, the number of symbols on the RHS of the reduced
- rule. */
- int yylen;
- YYDPRINTF ((stderr, "Starting parse\n"));
- yystate = 0;
- yyerrstatus = 0;
- yynerrs = 0;
- yychar = YYEMPTY; /* Cause a token to be read. */
- /* Initialize stack pointers.
- Waste one element of value and location stack
- so that they stay on the same level as the state stack.
- The wasted elements are never initialized. */
- yyssp = yyss;
- yyvsp = yyvs;
- yylsp = yyls;
- #if YYLTYPE_IS_TRIVIAL
- /* Initialize the default location before parsing starts. */
- yylloc.first_line = yylloc.last_line = 1;
- yylloc.first_column = yylloc.last_column = 0;
- #endif
- yyvsp[0] = yylval;
- yylsp[0] = yylloc;
- goto yysetstate;
- /*------------------------------------------------------------.
- | yynewstate -- Push a new state, which is found in yystate. |
- `------------------------------------------------------------*/
- yynewstate:
- /* In all cases, when you get here, the value and location stacks
- have just been pushed. so pushing a state here evens the stacks.
- */
- yyssp++;
- yysetstate:
- *yyssp = yystate;
- if (yyss + yystacksize - 1 <= yyssp)
- {
- /* Get the current used size of the three stacks, in elements. */
- YYSIZE_T yysize = yyssp - yyss + 1;
- #ifdef yyoverflow
- {
- /* Give user a chance to reallocate the stack. Use copies of
- these so that the &'s don't force the real ones into
- memory. */
- YYSTYPE *yyvs1 = yyvs;
- short int *yyss1 = yyss;
- YYLTYPE *yyls1 = yyls;
- /* Each stack pointer address is followed by the size of the
- data in use in that stack, in bytes. This used to be a
- conditional around just the two extra args, but that might
- be undefined if yyoverflow is a macro. */
- yyoverflow ("parser stack overflow",
- &yyss1, yysize * sizeof (*yyssp),
- &yyvs1, yysize * sizeof (*yyvsp),
- &yyls1, yysize * sizeof (*yylsp),
- &yystacksize);
- yyls = yyls1;
- yyss = yyss1;
- yyvs = yyvs1;
- }
- #else /* no yyoverflow */
- # ifndef YYSTACK_RELOCATE
- goto yyoverflowlab;
- # else
- /* Extend the stack our own way. */
- if (YYMAXDEPTH <= yystacksize)
- goto yyoverflowlab;
- yystacksize *= 2;
- if (YYMAXDEPTH < yystacksize)
- yystacksize = YYMAXDEPTH;
- {
- short int *yyss1 = yyss;
- union yyalloc *yyptr =
- (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize));
- if (! yyptr)
- goto yyoverflowlab;
- YYSTACK_RELOCATE (yyss);
- YYSTACK_RELOCATE (yyvs);
- YYSTACK_RELOCATE (yyls);
- # undef YYSTACK_RELOCATE
- if (yyss1 != yyssa)
- YYSTACK_FREE (yyss1);
- }
- # endif
- #endif /* no yyoverflow */
- yyssp = yyss + yysize - 1;
- yyvsp = yyvs + yysize - 1;
- yylsp = yyls + yysize - 1;
- YYDPRINTF ((stderr, "Stack size increased to %lu\n",
- (unsigned long int) yystacksize));
- if (yyss + yystacksize - 1 <= yyssp)
- YYABORT;
- }
- YYDPRINTF ((stderr, "Entering state %d\n", yystate));
- goto yybackup;
- /*-----------.
- | yybackup. |
- `-----------*/
- yybackup:
- /* Do appropriate processing given the current state. */
- /* Read a look-ahead token if we need one and don't already have one. */
- /* yyresume: */
- /* First try to decide what to do without reference to look-ahead token. */
- yyn = yypact[yystate];
- if (yyn == YYPACT_NINF)
- goto yydefault;
- /* Not known => get a look-ahead token if don't already have one. */
- /* YYCHAR is either YYEMPTY or YYEOF or a valid look-ahead symbol. */
- if (yychar == YYEMPTY)
- {
- YYDPRINTF ((stderr, "Reading a token: "));
- yychar = YYLEX;
- }
- if (yychar <= YYEOF)
- {
- yychar = yytoken = YYEOF;
- YYDPRINTF ((stderr, "Now at end of input.\n"));
- }
- else
- {
- yytoken = YYTRANSLATE (yychar);
- YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
- }
- /* If the proper action on seeing token YYTOKEN is to reduce or to
- detect an error, take that action. */
- yyn += yytoken;
- if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
- goto yydefault;
- yyn = yytable[yyn];
- if (yyn <= 0)
- {
- if (yyn == 0 || yyn == YYTABLE_NINF)
- goto yyerrlab;
- yyn = -yyn;
- goto yyreduce;
- }
- if (yyn == YYFINAL)
- YYACCEPT;
- /* Shift the look-ahead token. */
- YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
- /* Discard the token being shifted unless it is eof. */
- if (yychar != YYEOF)
- yychar = YYEMPTY;
- *++yyvsp = yylval;
- *++yylsp = yylloc;
- /* Count tokens shifted since error; after three, turn off error
- status. */
- if (yyerrstatus)
- yyerrstatus--;
- yystate = yyn;
- goto yynewstate;
- /*-----------------------------------------------------------.
- | yydefault -- do the default action for the current state. |
- `-----------------------------------------------------------*/
- yydefault:
- yyn = yydefact[yystate];
- if (yyn == 0)
- goto yyerrlab;
- goto yyreduce;
- /*-----------------------------.
- | yyreduce -- Do a reduction. |
- `-----------------------------*/
- yyreduce:
- /* yyn is the number of a rule to reduce with. */
- yylen = yyr2[yyn];
- /* If YYLEN is nonzero, implement the default value of the action:
- `$$ = $1'.
- Otherwise, the following line sets YYVAL to garbage.
- This behavior is undocumented and Bison
- users should not rely upon it. Assigning to YYVAL
- unconditionally makes the parser a bit smaller, and it avoids a
- GCC warning that YYVAL may be used uninitialized. */
- yyval = yyvsp[1-yylen];
- /* Default location. */
- YYLLOC_DEFAULT (yyloc, yylsp - yylen, yylen);
- YY_REDUCE_PRINT (yyn);
- switch (yyn)
- {
- case 2:
- #line 165 "ast_expr2.y"
- { ((struct parse_io *)parseio)->val = (struct val *)calloc(sizeof(struct val),1);
- ((struct parse_io *)parseio)->val->type = (yyvsp[0].val)->type;
- if( (yyvsp[0].val)->type == AST_EXPR_integer )
- ((struct parse_io *)parseio)->val->u.i = (yyvsp[0].val)->u.i;
- else
- ((struct parse_io *)parseio)->val->u.s = (yyvsp[0].val)->u.s;
- free((yyvsp[0].val));
- ;}
- break;
- case 3:
- #line 175 "ast_expr2.y"
- { (yyval.val)= (yyvsp[0].val);;}
- break;
- case 4:
- #line 176 "ast_expr2.y"
- { (yyval.val) = (yyvsp[-1].val);
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;
- DESTROY((yyvsp[-2].val)); DESTROY((yyvsp[0].val)); ;}
- break;
- case 5:
- #line 180 "ast_expr2.y"
- { (yyval.val) = op_or ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 6:
- #line 184 "ast_expr2.y"
- { (yyval.val) = op_and ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 7:
- #line 188 "ast_expr2.y"
- { (yyval.val) = op_eq ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 8:
- #line 192 "ast_expr2.y"
- { (yyval.val) = op_gt ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 9:
- #line 196 "ast_expr2.y"
- { (yyval.val) = op_lt ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 10:
- #line 200 "ast_expr2.y"
- { (yyval.val) = op_ge ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 11:
- #line 204 "ast_expr2.y"
- { (yyval.val) = op_le ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 12:
- #line 208 "ast_expr2.y"
- { (yyval.val) = op_ne ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 13:
- #line 212 "ast_expr2.y"
- { (yyval.val) = op_plus ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 14:
- #line 216 "ast_expr2.y"
- { (yyval.val) = op_minus ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 15:
- #line 220 "ast_expr2.y"
- { (yyval.val) = op_negate ((yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-1]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 16:
- #line 224 "ast_expr2.y"
- { (yyval.val) = op_compl ((yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-1]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 17:
- #line 228 "ast_expr2.y"
- { (yyval.val) = op_times ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 18:
- #line 232 "ast_expr2.y"
- { (yyval.val) = op_div ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 19:
- #line 236 "ast_expr2.y"
- { (yyval.val) = op_rem ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 20:
- #line 240 "ast_expr2.y"
- { (yyval.val) = op_colon ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 21:
- #line 244 "ast_expr2.y"
- { (yyval.val) = op_eqtilde ((yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-2]).first_column; (yyloc).last_column = (yylsp[0]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- case 22:
- #line 248 "ast_expr2.y"
- { (yyval.val) = op_cond ((yyvsp[-4].val), (yyvsp[-2].val), (yyvsp[0].val));
- DESTROY((yyvsp[-3].val));
- DESTROY((yyvsp[-1].val));
- (yyloc).first_column = (yylsp[-4]).first_column; (yyloc).last_column = (yylsp[-2]).last_column;
- (yyloc).first_line=0; (yyloc).last_line=0;;}
- break;
- }
- /* Line 1037 of yacc.c. */
- #line 1445 "ast_expr2.c"
- yyvsp -= yylen;
- yyssp -= yylen;
- yylsp -= yylen;
- YY_STACK_PRINT (yyss, yyssp);
- *++yyvsp = yyval;
- *++yylsp = yyloc;
- /* 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 - YYNTOKENS] + *yyssp;
- if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp)
- yystate = yytable[yystate];
- else
- yystate = yydefgoto[yyn - YYNTOKENS];
- goto yynewstate;
- /*------------------------------------.
- | yyerrlab -- here on detecting error |
- `------------------------------------*/
- yyerrlab:
- /* If not already recovering from an error, report this error. */
- if (!yyerrstatus)
- {
- ++yynerrs;
- #if YYERROR_VERBOSE
- yyn = yypact[yystate];
- if (YYPACT_NINF < yyn && yyn < YYLAST)
- {
- YYSIZE_T yysize = 0;
- int yytype = YYTRANSLATE (yychar);
- const char* yyprefix;
- char *yymsg;
- int yyx;
- /* Start YYX at -YYN if negative to avoid negative indexes in
- YYCHECK. */
- int yyxbegin = yyn < 0 ? -yyn : 0;
- /* Stay within bounds of both yycheck and yytname. */
- int yychecklim = YYLAST - yyn;
- int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS;
- int yycount = 0;
- yyprefix = ", expecting ";
- for (yyx = yyxbegin; yyx < yyxend; ++yyx)
- if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
- {
- yysize += yystrlen (yyprefix) + yystrlen (yytname [yyx]);
- yycount += 1;
- if (yycount == 5)
- {
- yysize = 0;
- break;
- }
- }
- yysize += (sizeof ("syntax error, unexpected ")
- + yystrlen (yytname[yytype]));
- yymsg = (char *) YYSTACK_ALLOC (yysize);
- if (yymsg != 0)
- {
- char *yyp = yystpcpy (yymsg, "syntax error, unexpected ");
- yyp = yystpcpy (yyp, yytname[yytype]);
- if (yycount < 5)
- {
- yyprefix = ", expecting ";
- for (yyx = yyxbegin; yyx < yyxend; ++yyx)
- if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
- {
- yyp = yystpcpy (yyp, yyprefix);
- yyp = yystpcpy (yyp, yytname[yyx]);
- yyprefix = " or ";
- }
- }
- yyerror (yymsg);
- YYSTACK_FREE (yymsg);
- }
- else
- yyerror ("syntax error; also virtual memory exhausted");
- }
- else
- #endif /* YYERROR_VERBOSE */
- yyerror ("syntax error");
- }
- yyerror_range[0] = yylloc;
- if (yyerrstatus == 3)
- {
- /* If just tried and failed to reuse look-ahead token after an
- error, discard it. */
- if (yychar <= YYEOF)
- {
- /* If at end of input, pop the error token,
- then the rest of the stack, then return failure. */
- if (yychar == YYEOF)
- for (;;)
- {
- yyerror_range[0] = *yylsp;
- YYPOPSTACK;
- if (yyssp == yyss)
- YYABORT;
- yydestruct ("Error: popping",
- yystos[*yyssp], yyvsp, yylsp);
- }
- }
- else
- {
- yydestruct ("Error: discarding", yytoken, &yylval, &yylloc);
- yychar = YYEMPTY;
- }
- }
- /* Else will try to reuse look-ahead token after shifting the error
- token. */
- goto yyerrlab1;
- /*---------------------------------------------------.
- | yyerrorlab -- error raised explicitly by YYERROR. |
- `---------------------------------------------------*/
- yyerrorlab:
- #ifdef __GNUC__
- /* Pacify GCC when the user code never invokes YYERROR and the label
- yyerrorlab therefore never appears in user code. */
- if (0)
- goto yyerrorlab;
- #endif
- yyerror_range[0] = yylsp[1-yylen];
- yylsp -= yylen;
- yyvsp -= yylen;
- yyssp -= yylen;
- yystate = *yyssp;
- goto yyerrlab1;
- /*-------------------------------------------------------------.
- | yyerrlab1 -- common code for both syntax error and YYERROR. |
- `-------------------------------------------------------------*/
- yyerrlab1:
- yyerrstatus = 3; /* Each real token shifted decrements this. */
- for (;;)
- {
- yyn = yypact[yystate];
- if (yyn != YYPACT_NINF)
- {
- yyn += YYTERROR;
- if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR)
- {
- yyn = yytable[yyn];
- if (0 < yyn)
- break;
- }
- }
- /* Pop the current state because it cannot handle the error token. */
- if (yyssp == yyss)
- YYABORT;
- yyerror_range[0] = *yylsp;
- yydestruct ("Error: popping", yystos[yystate], yyvsp, yylsp);
- YYPOPSTACK;
- yystate = *yyssp;
- YY_STACK_PRINT (yyss, yyssp);
- }
- if (yyn == YYFINAL)
- YYACCEPT;
- *++yyvsp = yylval;
- yyerror_range[1] = yylloc;
- /* Using YYLLOC is tempting, but would change the location of
- the look-ahead. YYLOC is available though. */
- YYLLOC_DEFAULT (yyloc, yyerror_range - 1, 2);
- *++yylsp = yyloc;
- /* Shift the error token. */
- YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp);
- yystate = yyn;
- goto yynewstate;
- /*-------------------------------------.
- | yyacceptlab -- YYACCEPT comes here. |
- `-------------------------------------*/
- yyacceptlab:
- yyresult = 0;
- goto yyreturn;
- /*-----------------------------------.
- | yyabortlab -- YYABORT comes here. |
- `-----------------------------------*/
- yyabortlab:
- yydestruct ("Error: discarding lookahead",
- yytoken, &yylval, &yylloc);
- yychar = YYEMPTY;
- yyresult = 1;
- goto yyreturn;
- #ifndef yyoverflow
- /*----------------------------------------------.
- | yyoverflowlab -- parser overflow comes here. |
- `----------------------------------------------*/
- yyoverflowlab:
- yyerror ("parser stack overflow");
- yyresult = 2;
- /* Fall through. */
- #endif
- yyreturn:
- #ifndef yyoverflow
- if (yyss != yyssa)
- YYSTACK_FREE (yyss);
- #endif
- return yyresult;
- }
- #line 255 "ast_expr2.y"
- static struct val *
- make_integer (quad_t i)
- {
- struct val *vp;
- vp = (struct val *) malloc (sizeof (*vp));
- if (vp == NULL) {
- ast_log(LOG_WARNING, "malloc() failed\n");
- return(NULL);
- }
- vp->type = AST_EXPR_integer;
- vp->u.i = i;
- return vp;
- }
- static struct val *
- make_str (const char *s)
- {
- struct val *vp;
- size_t i;
- int isint;
- vp = (struct val *) malloc (sizeof (*vp));
- if (vp == NULL || ((vp->u.s = strdup (s)) == NULL)) {
- ast_log(LOG_WARNING,"malloc() failed\n");
- return(NULL);
- }
- for(i = 1, isint = isdigit(s[0]) || s[0] == '-';
- isint && i < strlen(s);
- i++)
- {
- if(!isdigit(s[i]))
- isint = 0;
- }
- if (isint)
- vp->type = AST_EXPR_numeric_string;
- else
- vp->type = AST_EXPR_string;
- return vp;
- }
- static void
- free_value (struct val *vp)
- {
- if (vp==NULL) {
- return;
- }
- if (vp->type == AST_EXPR_string || vp->type == AST_EXPR_numeric_string)
- free (vp->u.s);
- free(vp);
- }
- static quad_t
- to_integer (struct val *vp)
- {
- quad_t i;
-
- if (vp == NULL) {
- ast_log(LOG_WARNING,"vp==NULL in to_integer()\n");
- return(0);
- }
- if (vp->type == AST_EXPR_integer)
- return 1;
- if (vp->type == AST_EXPR_string)
- return 0;
- /* vp->type == AST_EXPR_numeric_string, make it numeric */
- errno = 0;
- i = strtoll(vp->u.s, (char**)NULL, 10);
- if (errno != 0) {
- ast_log(LOG_WARNING,"Conversion of %s to integer under/overflowed!\n", vp->u.s);
- free(vp->u.s);
- vp->u.s = 0;
- return(0);
- }
- free (vp->u.s);
- vp->u.i = i;
- vp->type = AST_EXPR_integer;
- return 1;
- }
- static void
- strip_quotes(struct val *vp)
- {
- if (vp->type != AST_EXPR_string && vp->type != AST_EXPR_numeric_string)
- return;
-
- if( vp->u.s[0] == '"' && vp->u.s[strlen(vp->u.s)-1] == '"' )
- {
- char *f, *t;
- f = vp->u.s;
- t = vp->u.s;
-
- while( *f )
- {
- if( *f && *f != '"' )
- *t++ = *f++;
- else
- f++;
- }
- *t = *f;
- }
- }
- static void
- to_string (struct val *vp)
- {
- char *tmp;
- if (vp->type == AST_EXPR_string || vp->type == AST_EXPR_numeric_string)
- return;
- tmp = malloc ((size_t)25);
- if (tmp == NULL) {
- ast_log(LOG_WARNING,"malloc() failed\n");
- return;
- }
- sprintf(tmp, "%ld", (long int) vp->u.i);
- vp->type = AST_EXPR_string;
- vp->u.s = tmp;
- }
- static int
- isstring (struct val *vp)
- {
- /* only TRUE if this string is not a valid integer */
- return (vp->type == AST_EXPR_string);
- }
- static int
- is_zero_or_null (struct val *vp)
- {
- if (vp->type == AST_EXPR_integer) {
- return (vp->u.i == 0);
- } else {
- return (*vp->u.s == 0 || (to_integer (vp) && vp->u.i == 0));
- }
- /* NOTREACHED */
- }
- #ifdef STANDALONE
- void ast_log(int level, const char *file, int line, const char *function, const char *fmt, ...)
- {
- va_list vars;
- va_start(vars,fmt);
-
- printf("LOG: lev:%d file:%s line:%d func: %s ",
- level, file, line, function);
- vprintf(fmt, vars);
- fflush(stdout);
- va_end(vars);
- }
- int main(int argc,char **argv) {
- char s[4096];
-
- if (ast_expr(argv[1], s, sizeof(s)))
- printf("=====%s======\n",s);
- else
- printf("No result\n");
- }
- #endif
- #undef ast_yyerror
- #define ast_yyerror(x) ast_yyerror(x, YYLTYPE *yylloc, struct parse_io *parseio)
- /* I put the ast_yyerror func in the flex input file,
- because it refers to the buffer state. Best to
- let it access the BUFFER stuff there and not trying
- define all the structs, macros etc. in this file! */
- static struct val *
- op_or (struct val *a, struct val *b)
- {
- if (is_zero_or_null (a)) {
- free_value (a);
- return (b);
- } else {
- free_value (b);
- return (a);
- }
- }
-
- static struct val *
- op_and (struct val *a, struct val *b)
- {
- if (is_zero_or_null (a) || is_zero_or_null (b)) {
- free_value (a);
- free_value (b);
- return (make_integer ((quad_t)0));
- } else {
- free_value (b);
- return (a);
- }
- }
- static struct val *
- op_eq (struct val *a, struct val *b)
- {
- struct val *r;
- if (isstring (a) || isstring (b)) {
- to_string (a);
- to_string (b);
- r = make_integer ((quad_t)(strcoll (a->u.s, b->u.s) == 0));
- } else {
- #ifdef DEBUG_FOR_CONVERSIONS
- char buffer[2000];
- sprintf(buffer,"Converting '%s' and '%s' ", a->u.s, b->u.s);
- #endif
- (void)to_integer(a);
- (void)to_integer(b);
- #ifdef DEBUG_FOR_CONVERSIONS
- ast_log(LOG_WARNING,"%s to '%lld' and '%lld'\n", buffer, a->u.i, b->u.i);
- #endif
- r = make_integer ((quad_t)(a->u.i == b->u.i));
- }
- free_value (a);
- free_value (b);
- return r;
- }
- static struct val *
- op_gt (struct val *a, struct val *b)
- {
- struct val *r;
- if (isstring (a) || isstring (b)) {
- to_string (a);
- to_string (b);
- r = make_integer ((quad_t)(strcoll (a->u.s, b->u.s) > 0));
- } else {
- (void)to_integer(a);
- (void)to_integer(b);
- r = make_integer ((quad_t)(a->u.i > b->u.i));
- }
- free_value (a);
- free_value (b);
- return r;
- }
- static struct val *
- op_lt (struct val *a, struct val *b)
- {
- struct val *r;
- if (isstring (a) || isstring (b)) {
- to_string (a);
- to_string (b);
- r = make_integer ((quad_t)(strcoll (a->u.s, b->u.s) < 0));
- } else {
- (void)to_integer(a);
- (void)to_integer(b);
- r = make_integer ((quad_t)(a->u.i < b->u.i));
- }
- free_value (a);
- free_value (b);
- return r;
- }
- static struct val *
- op_ge (struct val *a, struct val *b)
- {
- struct val *r;
- if (isstring (a) || isstring (b)) {
- to_string (a);
- to_string (b);
- r = make_integer ((quad_t)(strcoll (a->u.s, b->u.s) >= 0));
- } else {
- (void)to_integer(a);
- (void)to_integer(b);
- r = make_integer ((quad_t)(a->u.i >= b->u.i));
- }
- free_value (a);
- free_value (b);
- return r;
- }
- static struct val *
- op_le (struct val *a, struct val *b)
- {
- struct val *r;
- if (isstring (a) || isstring (b)) {
- to_string (a);
- to_string (b);
- r = make_integer ((quad_t)(strcoll (a->u.s, b->u.s) <= 0));
- } else {
- (void)to_integer(a);
- (void)to_integer(b);
- r = make_integer ((quad_t)(a->u.i <= b->u.i));
- }
- free_value (a);
- free_value (b);
- return r;
- }
- static struct val *
- op_cond (struct val *a, struct val *b, struct val *c)
- {
- struct val *r;
- if( isstring(a) )
- {
- if( strlen(a->u.s) && strcmp(a->u.s, "\"\"") != 0 && strcmp(a->u.s,"0") != 0 )
- {
- free_value(a);
- free_value(c);
- r = b;
- }
- else
- {
- free_value(a);
- free_value(b);
- r = c;
- }
- }
- else
- {
- (void)to_integer(a);
- if( a->u.i )
- {
- free_value(a);
- free_value(c);
- r = b;
- }
- else
- {
- free_value(a);
- free_value(b);
- r = c;
- }
- }
- return r;
- }
- static struct val *
- op_ne (struct val *a, struct val *b)
- {
- struct val *r;
- if (isstring (a) || isstring (b)) {
- to_string (a);
- to_string (b);
- r = make_integer ((quad_t)(strcoll (a->u.s, b->u.s) != 0));
- } else {
- (void)to_integer(a);
- (void)to_integer(b);
- r = make_integer ((quad_t)(a->u.i != b->u.i));
- }
- free_value (a);
- free_value (b);
- return r;
- }
- static int
- chk_plus (quad_t a, quad_t b, quad_t r)
- {
- /* sum of two positive numbers must be positive */
- if (a > 0 && b > 0 && r <= 0)
- return 1;
- /* sum of two negative numbers must be negative */
- if (a < 0 && b < 0 && r >= 0)
- return 1;
- /* all other cases are OK */
- return 0;
- }
- static struct val *
- op_plus (struct val *a, struct val *b)
- {
- struct val *r;
- if (!to_integer (a)) {
- ast_log(LOG_WARNING,"non-numeric argument\n");
- if (!to_integer (b)) {
- free_value(a);
- free_value(b);
- return make_integer(0);
- } else {
- free_value(a);
- return (b);
- }
- } else if (!to_integer(b)) {
- free_value(b);
- return (a);
- }
- r = make_integer (/*(quad_t)*/(a->u.i + b->u.i));
- if (chk_plus (a->u.i, b->u.i, r->u.i)) {
- ast_log(LOG_WARNING,"overflow\n");
- }
- free_value (a);
- free_value (b);
- return r;
- }
- static int
- chk_minus (quad_t a, quad_t b, quad_t r)
- {
- /* special case subtraction of QUAD_MIN */
- if (b == QUAD_MIN) {
- if (a >= 0)
- return 1;
- else
- return 0;
- }
- /* this is allowed for b != QUAD_MIN */
- return chk_plus (a, -b, r);
- }
- static struct val *
- op_minus (struct val *a, struct val *b)
- {
- struct val *r;
- if (!to_integer (a)) {
- ast_log(LOG_WARNING, "non-numeric argument\n");
- if (!to_integer (b)) {
- free_value(a);
- free_value(b);
- return make_integer(0);
- } else {
- r = make_integer(0 - b->u.i);
- free_value(a);
- free_value(b);
- return (r);
- }
- } else if (!to_integer(b)) {
- ast_log(LOG_WARNING, "non-numeric argument\n");
- free_value(b);
- return (a);
- }
- r = make_integer (/*(quad_t)*/(a->u.i - b->u.i));
- if (chk_minus (a->u.i, b->u.i, r->u.i)) {
- ast_log(LOG_WARNING, "overflow\n");
- }
- free_value (a);
- free_value (b);
- return r;
- }
- static struct val *
- op_negate (struct val *a)
- {
- struct val *r;
- if (!to_integer (a) ) {
- free_value(a);
- ast_log(LOG_WARNING, "non-numeric argument\n");
- return make_integer(0);
- }
- r = make_integer (/*(quad_t)*/(- a->u.i));
- if (chk_minus (0, a->u.i, r->u.i)) {
- ast_log(LOG_WARNING, "overflow\n");
- }
- free_value (a);
- return r;
- }
- static struct val *
- op_compl (struct val *a)
- {
- int v1 = 1;
- struct val *r;
-
- if( !a )
- {
- v1 = 0;
- }
- else
- {
- switch( a->type )
- {
- case AST_EXPR_integer:
- if( a->u.i == 0 )
- v1 = 0;
- break;
-
- case AST_EXPR_string:
- if( a->u.s == 0 )
- v1 = 0;
- else
- {
- if( a->u.s[0] == 0 )
- v1 = 0;
- else if (strlen(a->u.s) == 1 && a->u.s[0] == '0' )
- v1 = 0;
- }
- break;
-
- case AST_EXPR_numeric_string:
- if( a->u.s == 0 )
- v1 = 0;
- else
- {
- if( a->u.s[0] == 0 )
- v1 = 0;
- else if (strlen(a->u.s) == 1 && a->u.s[0] == '0' )
- v1 = 0;
- }
- break;
- }
- }
-
- r = make_integer (!v1);
- free_value (a);
- return r;
- }
- static int
- chk_times (quad_t a, quad_t b, quad_t r)
- {
- /* special case: first operand is 0, no overflow possible */
- if (a == 0)
- return 0;
- /* cerify that result of division matches second operand */
- if (r / a != b)
- return 1;
- return 0;
- }
- static struct val *
- op_times (struct val *a, struct val *b)
- {
- struct val *r;
- if (!to_integer (a) || !to_integer (b)) {
- free_value(a);
- free_value(b);
- ast_log(LOG_WARNING, "non-numeric argument\n");
- return(make_integer(0));
- }
- r = make_integer (/*(quad_t)*/(a->u.i * b->u.i));
- if (chk_times (a->u.i, b->u.i, r->u.i)) {
- ast_log(LOG_WARNING, "overflow\n");
- }
- free_value (a);
- free_value (b);
- return (r);
- }
- static int
- chk_div (quad_t a, quad_t b)
- {
- /* div by zero has been taken care of before */
- /* only QUAD_MIN / -1 causes overflow */
- if (a == QUAD_MIN && b == -1)
- return 1;
- /* everything else is OK */
- return 0;
- }
- static struct val *
- op_div (struct val *a, struct val *b)
- {
- struct val *r;
- if (!to_integer (a)) {
- free_value(a);
- free_value(b);
- ast_log(LOG_WARNING, "non-numeric argument\n");
- return make_integer(0);
- } else if (!to_integer (b)) {
- free_value(a);
- free_value(b);
- ast_log(LOG_WARNING, "non-numeric argument\n");
- return make_integer(INT_MAX);
- }
- if (b->u.i == 0) {
- ast_log(LOG_WARNING, "division by zero\n");
- free_value(a);
- free_value(b);
- return make_integer(INT_MAX);
- }
- r = make_integer (/*(quad_t)*/(a->u.i / b->u.i));
- if (chk_div (a->u.i, b->u.i)) {
- ast_log(LOG_WARNING, "overflow\n");
- }
- free_value (a);
- free_value (b);
- return r;
- }
-
- static struct val *
- op_rem (struct val *a, struct val *b)
- {
- struct val *r;
- if (!to_integer (a) || !to_integer (b)) {
- ast_log(LOG_WARNING, "non-numeric argument\n");
- free_value(a);
- free_value(b);
- return make_integer(0);
- }
- if (b->u.i == 0) {
- ast_log(LOG_WARNING, "div by zero\n");
- free_value(a);
- return(b);
- }
- r = make_integer (/*(quad_t)*/(a->u.i % b->u.i));
- /* chk_rem necessary ??? */
- free_value (a);
- free_value (b);
- return r;
- }
-
- static struct val *
- op_colon (struct val *a, struct val *b)
- {
- regex_t rp;
- regmatch_t rm[2];
- char errbuf[256];
- int eval;
- struct val *v;
- /* coerce to both arguments to strings */
- to_string(a);
- to_string(b);
- /* strip double quotes from both -- they'll screw up the pattern, and the search string starting at ^ */
- strip_quotes(a);
- strip_quotes(b);
- /* compile regular expression */
- if ((eval = regcomp (&rp, b->u.s, REG_EXTENDED)) != 0) {
- regerror (eval, &rp, errbuf, sizeof(errbuf));
- ast_log(LOG_WARNING,"regcomp() error : %s",errbuf);
- free_value(a);
- free_value(b);
- return make_str("");
- }
- /* compare string against pattern */
- /* remember that patterns are anchored to the beginning of the line */
- if (regexec(&rp, a->u.s, (size_t)2, rm, 0) == 0 && rm[0].rm_so == 0) {
- if (rm[1].rm_so >= 0) {
- *(a->u.s + rm[1].rm_eo) = '\0';
- v = make_str (a->u.s + rm[1].rm_so);
- } else {
- v = make_integer ((quad_t)(rm[0].rm_eo - rm[0].rm_so));
- }
- } else {
- if (rp.re_nsub == 0) {
- v = make_integer ((quad_t)0);
- } else {
- v = make_str ("");
- }
- }
- /* free arguments and pattern buffer */
- free_value (a);
- free_value (b);
- regfree (&rp);
- return v;
- }
-
- static struct val *
- op_eqtilde (struct val *a, struct val *b)
- {
- regex_t rp;
- regmatch_t rm[2];
- char errbuf[256];
- int eval;
- struct val *v;
- /* coerce to both arguments to strings */
- to_string(a);
- to_string(b);
- /* strip double quotes from both -- they'll screw up the pattern, and the search string starting at ^ */
- strip_quotes(a);
- strip_quotes(b);
- /* compile regular expression */
- if ((eval = regcomp (&rp, b->u.s, REG_EXTENDED)) != 0) {
- regerror (eval, &rp, errbuf, sizeof(errbuf));
- ast_log(LOG_WARNING,"regcomp() error : %s",errbuf);
- free_value(a);
- free_value(b);
- return make_str("");
- }
- /* compare string against pattern */
- /* remember that patterns are anchored to the beginning of the line */
- if (regexec(&rp, a->u.s, (size_t)2, rm, 0) == 0 ) {
- if (rm[1].rm_so >= 0) {
- *(a->u.s + rm[1].rm_eo) = '\0';
- v = make_str (a->u.s + rm[1].rm_so);
- } else {
- v = make_integer ((quad_t)(rm[0].rm_eo - rm[0].rm_so));
- }
- } else {
- if (rp.re_nsub == 0) {
- v = make_integer ((quad_t)0);
- } else {
- v = make_str ("");
- }
- }
- /* free arguments and pattern buffer */
- free_value (a);
- free_value (b);
- regfree (&rp);
- return v;
- }
|