Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
100 kB · 3540 lines
C++
at develop
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541
#define YY_INT_ALIGNED short int
/* A lexical scanner generated by flex */
#define FLEX_SCANNER#define YY_FLEX_MAJOR_VERSION 2#define YY_FLEX_MINOR_VERSION 6#define YY_FLEX_SUBMINOR_VERSION 4#if YY_FLEX_SUBMINOR_VERSION > 0#define FLEX_BETA#endif
#ifdef yy_create_buffer#define mzn_yy_create_buffer_ALREADY_DEFINED#else#define yy_create_buffer mzn_yy_create_buffer#endif
#ifdef yy_delete_buffer#define mzn_yy_delete_buffer_ALREADY_DEFINED#else#define yy_delete_buffer mzn_yy_delete_buffer#endif
#ifdef yy_scan_buffer#define mzn_yy_scan_buffer_ALREADY_DEFINED#else#define yy_scan_buffer mzn_yy_scan_buffer#endif
#ifdef yy_scan_string#define mzn_yy_scan_string_ALREADY_DEFINED#else#define yy_scan_string mzn_yy_scan_string#endif
#ifdef yy_scan_bytes#define mzn_yy_scan_bytes_ALREADY_DEFINED#else#define yy_scan_bytes mzn_yy_scan_bytes#endif
#ifdef yy_init_buffer#define mzn_yy_init_buffer_ALREADY_DEFINED#else#define yy_init_buffer mzn_yy_init_buffer#endif
#ifdef yy_flush_buffer#define mzn_yy_flush_buffer_ALREADY_DEFINED#else#define yy_flush_buffer mzn_yy_flush_buffer#endif
#ifdef yy_load_buffer_state#define mzn_yy_load_buffer_state_ALREADY_DEFINED#else#define yy_load_buffer_state mzn_yy_load_buffer_state#endif
#ifdef yy_switch_to_buffer#define mzn_yy_switch_to_buffer_ALREADY_DEFINED#else#define yy_switch_to_buffer mzn_yy_switch_to_buffer#endif
#ifdef yypush_buffer_state#define mzn_yypush_buffer_state_ALREADY_DEFINED#else#define yypush_buffer_state mzn_yypush_buffer_state#endif
#ifdef yypop_buffer_state#define mzn_yypop_buffer_state_ALREADY_DEFINED#else#define yypop_buffer_state mzn_yypop_buffer_state#endif
#ifdef yyensure_buffer_stack#define mzn_yyensure_buffer_stack_ALREADY_DEFINED#else#define yyensure_buffer_stack mzn_yyensure_buffer_stack#endif
#ifdef yylex#define mzn_yylex_ALREADY_DEFINED#else#define yylex mzn_yylex#endif
#ifdef yyrestart#define mzn_yyrestart_ALREADY_DEFINED#else#define yyrestart mzn_yyrestart#endif
#ifdef yylex_init#define mzn_yylex_init_ALREADY_DEFINED#else#define yylex_init mzn_yylex_init#endif
#ifdef yylex_init_extra#define mzn_yylex_init_extra_ALREADY_DEFINED#else#define yylex_init_extra mzn_yylex_init_extra#endif
#ifdef yylex_destroy#define mzn_yylex_destroy_ALREADY_DEFINED#else#define yylex_destroy mzn_yylex_destroy#endif
#ifdef yyget_debug#define mzn_yyget_debug_ALREADY_DEFINED#else#define yyget_debug mzn_yyget_debug#endif
#ifdef yyset_debug#define mzn_yyset_debug_ALREADY_DEFINED#else#define yyset_debug mzn_yyset_debug#endif
#ifdef yyget_extra#define mzn_yyget_extra_ALREADY_DEFINED#else#define yyget_extra mzn_yyget_extra#endif
#ifdef yyset_extra#define mzn_yyset_extra_ALREADY_DEFINED#else#define yyset_extra mzn_yyset_extra#endif
#ifdef yyget_in#define mzn_yyget_in_ALREADY_DEFINED#else#define yyget_in mzn_yyget_in#endif
#ifdef yyset_in#define mzn_yyset_in_ALREADY_DEFINED#else#define yyset_in mzn_yyset_in#endif
#ifdef yyget_out#define mzn_yyget_out_ALREADY_DEFINED#else#define yyget_out mzn_yyget_out#endif
#ifdef yyset_out#define mzn_yyset_out_ALREADY_DEFINED#else#define yyset_out mzn_yyset_out#endif
#ifdef yyget_leng#define mzn_yyget_leng_ALREADY_DEFINED#else#define yyget_leng mzn_yyget_leng#endif
#ifdef yyget_text#define mzn_yyget_text_ALREADY_DEFINED#else#define yyget_text mzn_yyget_text#endif
#ifdef yyget_lineno#define mzn_yyget_lineno_ALREADY_DEFINED#else#define yyget_lineno mzn_yyget_lineno#endif
#ifdef yyset_lineno#define mzn_yyset_lineno_ALREADY_DEFINED#else#define yyset_lineno mzn_yyset_lineno#endif
#ifdef yyget_column#define mzn_yyget_column_ALREADY_DEFINED#else#define yyget_column mzn_yyget_column#endif
#ifdef yyset_column#define mzn_yyset_column_ALREADY_DEFINED#else#define yyset_column mzn_yyset_column#endif
#ifdef yywrap#define mzn_yywrap_ALREADY_DEFINED#else#define yywrap mzn_yywrap#endif
#ifdef yyget_lval#define mzn_yyget_lval_ALREADY_DEFINED#else#define yyget_lval mzn_yyget_lval#endif
#ifdef yyset_lval#define mzn_yyset_lval_ALREADY_DEFINED#else#define yyset_lval mzn_yyset_lval#endif
#ifdef yyget_lloc#define mzn_yyget_lloc_ALREADY_DEFINED#else#define yyget_lloc mzn_yyget_lloc#endif
#ifdef yyset_lloc#define mzn_yyset_lloc_ALREADY_DEFINED#else#define yyset_lloc mzn_yyset_lloc#endif
#ifdef yyalloc#define mzn_yyalloc_ALREADY_DEFINED#else#define yyalloc mzn_yyalloc#endif
#ifdef yyrealloc#define mzn_yyrealloc_ALREADY_DEFINED#else#define yyrealloc mzn_yyrealloc#endif
#ifdef yyfree#define mzn_yyfree_ALREADY_DEFINED#else#define yyfree mzn_yyfree#endif
/* First, we deal with platform-specific or compiler-specific issues. */
/* begin standard C headers. */#include <stdio.h>#include <string.h>#include <errno.h>#include <stdlib.h>
/* end standard C headers. */
/* flex integer type definitions */
#ifndef FLEXINT_H#define FLEXINT_H
/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h, * if you want the limit (max/min) macros for int types. */#ifndef __STDC_LIMIT_MACROS#define __STDC_LIMIT_MACROS 1#endif
#include <inttypes.h>typedef int8_t flex_int8_t;typedef uint8_t flex_uint8_t;typedef int16_t flex_int16_t;typedef uint16_t flex_uint16_t;typedef int32_t flex_int32_t;typedef uint32_t flex_uint32_t;#elsetypedef signed char flex_int8_t;typedef short int flex_int16_t;typedef int flex_int32_t;typedef unsigned char flex_uint8_t; typedef unsigned short int flex_uint16_t;typedef unsigned int flex_uint32_t;
/* Limits of integral types. */#ifndef INT8_MIN#define INT8_MIN (-128)#endif#ifndef INT16_MIN#define INT16_MIN (-32767-1)#endif#ifndef INT32_MIN#define INT32_MIN (-2147483647-1)#endif#ifndef INT8_MAX#define INT8_MAX (127)#endif#ifndef INT16_MAX#define INT16_MAX (32767)#endif#ifndef INT32_MAX#define INT32_MAX (2147483647)#endif#ifndef UINT8_MAX#define UINT8_MAX (255U)#endif#ifndef UINT16_MAX#define UINT16_MAX (65535U)#endif#ifndef UINT32_MAX#define UINT32_MAX (4294967295U)#endif
#ifndef SIZE_MAX#define SIZE_MAX (~(size_t)0)#endif
#endif /* ! C99 */
#endif /* ! FLEXINT_H */
/* begin standard C++ headers. */
/* TODO: this is always defined, so inline it */#define yyconst const
#if defined(__GNUC__) && __GNUC__ >= 3#define yynoreturn __attribute__((__noreturn__))#else#define yynoreturn#endif
/* Returned upon end-of-file. */#define YY_NULL 0
/* Promotes a possibly negative, possibly signed char to an * integer in range [0..255] for use as an array index. */#define YY_SC_TO_UI(c) ((YY_CHAR) (c))
/* An opaque pointer. */#ifndef YY_TYPEDEF_YY_SCANNER_T#define YY_TYPEDEF_YY_SCANNER_Ttypedef void* yyscan_t;#endif
/* For convenience, these vars (plus the bison vars far below) are macros in the reentrant scanner. */#define yyin yyg->yyin_r#define yyout yyg->yyout_r#define yyextra yyg->yyextra_r#define yyleng yyg->yyleng_r#define yytext yyg->yytext_r#define yylineno (YY_CURRENT_BUFFER_LVALUE->yy_bs_lineno)#define yycolumn (YY_CURRENT_BUFFER_LVALUE->yy_bs_column)#define yy_flex_debug yyg->yy_flex_debug_r
/* Enter a start condition. This macro really ought to take a parameter, * but we do it the disgusting crufty way forced on us by the ()-less * definition of BEGIN. */#define BEGIN yyg->yy_start = 1 + 2 */* Translate the current start state into a value that can be later handed * to BEGIN to return to the state. The YYSTATE alias is for lex * compatibility. */#define YY_START ((yyg->yy_start - 1) / 2)#define YYSTATE YY_START/* Action number for EOF rule of a given start state. */#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)/* Special action meaning "start processing a new file". */#define YY_NEW_FILE yyrestart( yyin , yyscanner )#define YY_END_OF_BUFFER_CHAR 0
/* Size of default input buffer. */#ifndef YY_BUF_SIZE#ifdef __ia64__/* On IA-64, the buffer size is 16k, not 8k. * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case. * Ditto for the __ia64__ case accordingly. */#define YY_BUF_SIZE 32768#else#define YY_BUF_SIZE 16384#endif /* __ia64__ */#endif
/* The state buf must be large enough to hold one state per character in the main buffer. */#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
#ifndef YY_TYPEDEF_YY_BUFFER_STATE#define YY_TYPEDEF_YY_BUFFER_STATEtypedef struct yy_buffer_state *YY_BUFFER_STATE;#endif
#ifndef YY_TYPEDEF_YY_SIZE_T#define YY_TYPEDEF_YY_SIZE_Ttypedef size_t yy_size_t;#endif
#define EOB_ACT_CONTINUE_SCAN 0#define EOB_ACT_END_OF_FILE 1#define EOB_ACT_LAST_MATCH 2 #define YY_LESS_LINENO(n) #define YY_LINENO_REWIND_TO(ptr) /* Return all but the first "n" matched characters back to the input stream. */#define yyless(n) \ do \ { \ /* Undo effects of setting up yytext. */ \ int yyless_macro_arg = (n); \ YY_LESS_LINENO(yyless_macro_arg);\ *yy_cp = yyg->yy_hold_char; \ YY_RESTORE_YY_MORE_OFFSET \ yyg->yy_c_buf_p = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \ YY_DO_BEFORE_ACTION; /* set up yytext again */ \ } \ while ( 0 )#define unput(c) yyunput( c, yyg->yytext_ptr , yyscanner )
#ifndef YY_STRUCT_YY_BUFFER_STATE#define YY_STRUCT_YY_BUFFER_STATEstruct yy_buffer_state { FILE *yy_input_file;
char *yy_ch_buf; /* input buffer */ char *yy_buf_pos; /* current position in input buffer */
/* Size of input buffer in bytes, not including room for EOB * characters. */ int yy_buf_size;
/* Number of characters read into yy_ch_buf, not including EOB * characters. */ int yy_n_chars;
/* Whether we "own" the buffer - i.e., we know we created it, * and can realloc() it to grow it, and should free() it to * delete it. */ int yy_is_our_buffer;
/* Whether this is an "interactive" input source; if so, and * if we're using stdio for input, then we want to use getc() * instead of fread(), to make sure we stop fetching input after * each newline. */ int yy_is_interactive;
/* Whether we're considered to be at the beginning of a line. * If so, '^' rules will be active on the next match, otherwise * not. */ int yy_at_bol;
int yy_bs_lineno; /**< The line count. */ int yy_bs_column; /**< The column count. */
/* Whether to try to fill the input buffer when we reach the * end of it. */ int yy_fill_buffer;
int yy_buffer_status;
#define YY_BUFFER_NEW 0#define YY_BUFFER_NORMAL 1 /* When an EOF's been seen but there's still some text to process * then we mark the buffer as YY_EOF_PENDING, to indicate that we * shouldn't try reading from the input source any more. We might * still have a bunch of tokens to match, though, because of * possible backing-up. * * When we actually see the EOF, we change the status to "new" * (via yyrestart()), so that the user can continue scanning by * just pointing yyin at a new input file. */#define YY_BUFFER_EOF_PENDING 2
};#endif /* !YY_STRUCT_YY_BUFFER_STATE */
/* We provide macros for accessing buffer states in case in the * future we want to put the buffer states in a more general * "scanner state". * * Returns the top of the stack, or NULL. */#define YY_CURRENT_BUFFER ( yyg->yy_buffer_stack \ ? yyg->yy_buffer_stack[yyg->yy_buffer_stack_top] \ : NULL)/* Same as previous macro, but useful when we know that the buffer stack is not * NULL or when we need an lvalue. For internal use only. */#define YY_CURRENT_BUFFER_LVALUE yyg->yy_buffer_stack[yyg->yy_buffer_stack_top]
void yyrestart ( FILE *input_file , yyscan_t yyscanner );void yy_switch_to_buffer ( YY_BUFFER_STATE new_buffer , yyscan_t yyscanner );YY_BUFFER_STATE yy_create_buffer ( FILE *file, int size , yyscan_t yyscanner );void yy_delete_buffer ( YY_BUFFER_STATE b , yyscan_t yyscanner );void yy_flush_buffer ( YY_BUFFER_STATE b , yyscan_t yyscanner );void yypush_buffer_state ( YY_BUFFER_STATE new_buffer , yyscan_t yyscanner );void yypop_buffer_state ( yyscan_t yyscanner );
static void yyensure_buffer_stack ( yyscan_t yyscanner );static void yy_load_buffer_state ( yyscan_t yyscanner );static void yy_init_buffer ( YY_BUFFER_STATE b, FILE *file , yyscan_t yyscanner );#define YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER , yyscanner)
YY_BUFFER_STATE yy_scan_buffer ( char *base, yy_size_t size , yyscan_t yyscanner );YY_BUFFER_STATE yy_scan_string ( const char *yy_str , yyscan_t yyscanner );YY_BUFFER_STATE yy_scan_bytes ( const char *bytes, int len , yyscan_t yyscanner );
void *yyalloc ( yy_size_t , yyscan_t yyscanner );void *yyrealloc ( void *, yy_size_t , yyscan_t yyscanner );void yyfree ( void * , yyscan_t yyscanner );
#define yy_new_buffer yy_create_buffer#define yy_set_interactive(is_interactive) \ { \ if ( ! YY_CURRENT_BUFFER ){ \ yyensure_buffer_stack (yyscanner); \ YY_CURRENT_BUFFER_LVALUE = \ yy_create_buffer( yyin, YY_BUF_SIZE , yyscanner); \ } \ YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \ }#define yy_set_bol(at_bol) \ { \ if ( ! YY_CURRENT_BUFFER ){\ yyensure_buffer_stack (yyscanner); \ YY_CURRENT_BUFFER_LVALUE = \ yy_create_buffer( yyin, YY_BUF_SIZE , yyscanner); \ } \ YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \ }#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
/* Begin user sect3 */
#define mzn_yywrap(yyscanner) (/*CONSTCOND*/1)#define YY_SKIP_YYWRAPtypedef flex_uint8_t YY_CHAR;
typedef int yy_state_type;
#define yytext_ptr yytext_r
static yy_state_type yy_get_previous_state ( yyscan_t yyscanner );static yy_state_type yy_try_NUL_trans ( yy_state_type current_state , yyscan_t yyscanner);static int yy_get_next_buffer ( yyscan_t yyscanner );static void yynoreturn yy_fatal_error ( const char* msg , yyscan_t yyscanner );
/* Done after the current pattern has been matched and before the * corresponding action - sets up yytext. */#define YY_DO_BEFORE_ACTION \ yyg->yytext_ptr = yy_bp; \ yyleng = (int) (yy_cp - yy_bp); \ yyg->yy_hold_char = *yy_cp; \ *yy_cp = '\0'; \ yyg->yy_c_buf_p = yy_cp;#define YY_NUM_RULES 181#define YY_END_OF_BUFFER 182/* This struct is not used in this scanner, but its presence is necessary. */struct yy_trans_info { flex_int32_t yy_verify; flex_int32_t yy_nxt; };static const flex_int16_t yy_accept[500] = { 0, 0, 0, 168, 168, 168, 168, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 182, 180, 3, 2, 180, 167, 180, 23, 180, 164, 103, 99, 33, 101, 33, 105, 29, 29, 33, 112, 122, 116, 142, 19, 180, 21, 107, 37, 180, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 33, 180, 180, 180, 1, 168, 178, 177, 175, 177, 1, 176, 177, 16, 18, 17, 1, 6, 8, 7, 1, 11, 13, 12, 1, 165, 166, 124, 0, 163, 23, 0, 0, 143, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 109, 126, 34, 14, 134, 0, 29, 0, 0, 0, 36, 128, 114, 111, 120, 118, 142, 20, 132, 144, 144, 0, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 56, 61, 142, 142, 142, 142, 142, 142, 72, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 22, 137, 136, 139, 138, 151, 0, 0, 0, 0, 168, 172, 171, 173, 171, 169, 170, 174, 16, 15, 6,
5, 11, 10, 162, 163, 0, 104, 100, 0, 102, 0, 0, 106, 0, 113, 0, 0, 123, 0, 117, 0, 0, 108, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 30, 0, 32, 0, 27, 28, 130, 144, 144, 0, 179, 38, 40, 142, 142, 142, 142, 142, 142, 46, 142, 142, 142, 142, 142, 142, 142, 142, 63, 64, 142, 142, 142, 68, 70, 74, 142, 75, 142, 142, 142, 79, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 94, 142, 97, 152, 153, 154, 145, 146, 147, 150, 155, 156, 161, 160,
157, 158, 159, 148, 149, 162, 125, 110, 127, 35, 135, 129, 0, 115, 121, 119, 133, 0, 0, 62, 0, 0, 0, 0, 0, 0, 0, 0, 140, 9, 0, 0, 0, 0, 144, 142, 142, 42, 43, 142, 142, 48, 50, 142, 53, 142, 142, 142, 142, 142, 142, 65, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 142, 88, 89, 24, 142, 91, 142, 142, 142, 131, 0, 47, 0, 69, 71, 0, 0, 0, 0, 98, 0, 31, 0, 0, 26, 144, 142, 41, 142, 142, 142, 52, 25, 54, 142, 142, 142, 142,
142, 142, 142, 142, 142, 142, 80, 142, 142, 142, 142, 90, 92, 142, 96, 49, 0, 0, 0, 0, 0, 0, 26, 144, 142, 142, 142, 51, 142, 142, 142, 142, 142, 142, 73, 142, 77, 142, 81, 82, 142, 142, 142, 0, 0, 0, 0, 93, 144, 142, 142, 45, 142, 57, 142, 142, 142, 142, 142, 78, 142, 86, 142, 0, 83, 0, 0, 144, 142, 142, 55, 58, 142, 66, 67, 142, 84, 142, 0, 0, 87, 144, 142, 142, 59, 76, 142, 0, 85, 141, 39, 44, 142, 60, 142, 142, 142, 95, 0
} ;
static const YY_CHAR yy_ec[256] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 2, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 6, 1, 7, 8, 1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 19, 19, 19, 19, 19, 19, 20, 20, 21, 14, 22, 23, 24, 1, 1, 25, 25, 25, 25, 26, 25, 27, 27, 27, 27, 27, 27, 27, 27, 27, 28, 27, 27, 27, 27, 27, 27, 27, 29, 27, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39,
40, 41, 42, 43, 44, 45, 27, 46, 47, 48, 49, 50, 27, 51, 52, 53, 54, 55, 56, 57, 58, 59, 14, 60, 14, 61, 1, 62, 1, 1, 63, 1, 1, 64, 65, 66, 67, 68, 1, 1, 1, 1, 1, 69, 1, 70, 1, 71, 1, 1, 1, 1, 1, 1, 1, 1, 1, 72, 1, 73, 1, 1, 1, 74, 75, 1, 76, 77, 78, 79, 1, 80, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 81, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 82, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 } ;
static const YY_CHAR yy_meta[84] = { 0, 1, 1, 2, 3, 1, 4, 5, 1, 1, 1, 1, 6, 1, 1, 1, 7, 1, 8, 8, 8, 1, 1, 1, 1, 9, 9, 10, 9, 10, 1, 4, 1, 1, 11, 12, 9, 9, 9, 9, 9, 9, 10, 10, 10, 10, 10, 10, 10, 10, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3 } ;
static const flex_int16_t yy_base[521] = { 0, 0, 0, 81, 85, 89, 93, 91, 95, 97, 98, 99, 101, 850, 849, 848, 847, 857, 862, 862, 862, 833, 862, 848, 0, 180, 862, 862, 841, 862, 829, 836, 74, 99, 111, 830, 99, 827, 826, 0, 788, 830, 862, 862, 797, 0, 84, 796, 72, 94, 94, 90, 102, 101, 110, 795, 108, 116, 803, 117, 147, 794, 805, 797, 790, 806, 194, 757, 148, 862, 0, 862, 862, 862, 212, 862, 862, 220, 0, 862, 819, 0, 0, 862, 818, 0, 0, 862, 817, 0, 862, 862, 862, 0, 0, 0, 124, 138, 862, 168, 222,
214, 224, 177, 227, 216, 239, 816, 179, 235, 240, 243, 245, 247, 250, 254, 284, 862, 862, 862, 820, 862, 264, 290, 299, 306, 268, 862, 807, 862, 862, 862, 862, 0, 862, 862, 0, 793, 794, 115, 777, 778, 774, 777, 783, 124, 771, 207, 776, 772, 772, 0, 282, 766, 766, 760, 768, 776, 761, 0, 760, 759, 760, 770, 771, 755, 754, 760, 754, 227, 757, 751, 762, 747, 750, 749, 754, 746, 756, 744, 862, 862, 862, 862, 862, 862, 220, 286, 254, 269, 0, 862, 862, 862, 862, 862, 862, 862, 0, 862, 0,
862, 0, 862, 0, 0, 271, 862, 862, 328, 862, 329, 330, 862, 785, 862, 342, 341, 862, 344, 862, 345, 784, 862, 346, 347, 358, 359, 348, 360, 361, 362, 365, 780, 362, 390, 396, 399, 378, 322, 862, 0, 746, 755, 862, 740, 0, 752, 741, 746, 733, 748, 742, 0, 742, 737, 733, 727, 742, 739, 730, 731, 734, 0, 720, 728, 727, 0, 0, 0, 720, 0, 730, 719, 723, 0, 711, 721, 712, 723, 723, 708, 712, 719, 712, 717, 707, 711, 703, 0, 862, 862, 862, 862, 862, 862, 862, 862, 862, 862, 862,
862, 862, 862, 862, 862, 0, 862, 862, 862, 862, 862, 862, 390, 862, 862, 862, 862, 402, 395, 862, 411, 413, 414, 418, 421, 423, 422, 425, 862, 862, 445, 418, 419, 459, 713, 699, 693, 0, 0, 697, 695, 0, 704, 706, 0, 706, 692, 691, 689, 694, 690, 0, 663, 659, 644, 650, 635, 630, 632, 623, 630, 600, 606, 0, 0, 0, 598, 0, 586, 597, 592, 862, 450, 862, 457, 862, 862, 458, 464, 466, 471, 862, 464, 467, 481, 472, 485, 543, 544, 0, 528, 532, 536, 0, 0, 0, 532, 536, 530, 521,
528, 527, 517, 530, 528, 525, 0, 523, 511, 511, 517, 0, 0, 509, 0, 862, 497, 498, 500, 502, 503, 498, 502, 500, 497, 506, 488, 0, 483, 490, 474, 453, 417, 398, 0, 419, 0, 392, 0, 0, 408, 400, 376, 504, 505, 514, 515, 862, 359, 351, 342, 0, 336, 0, 325, 298, 281, 273, 258, 0, 251, 0, 266, 517, 862, 516, 528, 240, 226, 224, 0, 0, 216, 0, 0, 227, 0, 206, 529, 530, 862, 180, 152, 141, 0, 0, 151, 531, 862, 0, 0, 0, 145, 862, 111, 55, 51, 0, 862, 582,
594, 606, 618, 626, 636, 648, 653, 656, 658, 668, 680, 692, 704, 708, 711, 715, 719, 724, 729, 731 } ;
static const flex_int16_t yy_def[521] = { 0, 499, 1, 500, 500, 500, 500, 501, 501, 502, 502, 503, 503, 1, 1, 1, 1, 499, 499, 499, 499, 499, 499, 504, 505, 506, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 507, 499, 499, 499, 499, 508, 509, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 499, 499, 499, 499, 499, 510, 499, 499, 499, 499, 499, 499, 499, 511, 499, 499, 511, 512, 499, 499, 512, 513, 499, 499, 513, 499, 499, 499, 514, 515, 505, 506, 506, 499, 506, 506,
506, 506, 506, 506, 506, 506, 499, 506, 506, 506, 506, 506, 506, 506, 506, 506, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 507, 499, 499, 516, 516, 517, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 510, 499, 499, 499, 499, 499, 499, 499, 511, 499, 512,
499, 513, 499, 518, 515, 506, 499, 499, 506, 499, 506, 506, 499, 499, 499, 506, 506, 499, 506, 499, 506, 499, 499, 506, 506, 506, 506, 506, 506, 506, 506, 506, 499, 499, 499, 499, 499, 519, 499, 499, 516, 516, 517, 499, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499,
499, 499, 499, 499, 499, 518, 499, 499, 499, 499, 499, 499, 506, 499, 499, 499, 499, 506, 506, 499, 506, 506, 506, 506, 506, 506, 506, 506, 499, 499, 499, 520, 520, 499, 516, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 499, 506, 499, 506, 499, 499, 506, 506, 506, 506, 499, 499, 499, 499, 499, 499, 516, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507,
507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 499, 506, 506, 506, 506, 506, 499, 499, 516, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 506, 506, 506, 506, 499, 516, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 506, 499, 506, 506, 516, 507, 507, 507, 507, 507, 507, 507, 507, 507, 507, 506, 506, 499, 516, 507, 507, 507, 507, 507, 506, 499, 516, 507, 507, 507, 499, 507, 507, 507, 507, 0, 499,
499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499 } ;
static const flex_int16_t yy_nxt[946] = { 0, 18, 19, 20, 19, 21, 22, 23, 24, 25, 26, 18, 27, 28, 29, 30, 31, 32, 33, 34, 34, 35, 36, 37, 38, 39, 39, 39, 39, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 39, 39, 52, 39, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 39, 39, 65, 66, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 67, 68, 69, 71, 72, 120, 73, 71, 72, 498, 73, 71, 72, 79, 76, 71, 72, 79, 76, 83,
83, 87, 80, 87, 121, 497, 80, 142, 84, 84, 88, 74, 88, 128, 122, 74, 123, 123, 123, 77, 143, 129, 130, 77, 124, 148, 122, 125, 123, 123, 123, 139, 98, 144, 140, 149, 124, 145, 124, 146, 153, 147, 151, 150, 154, 155, 98, 126, 159, 152, 124, 162, 165, 156, 499, 125, 166, 160, 157, 496, 206, 161, 245, 75, 252, 167, 163, 75, 499, 168, 169, 75, 246, 81, 170, 75, 207, 81, 253, 85, 85, 89, 495, 89, 97, 213, 171, 223, 98, 172, 493, 99, 100, 492, 101, 102, 103, 173, 499, 491,
174, 104, 105, 106, 175, 181, 182, 214, 183, 499, 107, 186, 108, 187, 188, 189, 184, 191, 109, 490, 192, 193, 210, 110, 218, 191, 111, 112, 192, 197, 208, 113, 98, 114, 209, 215, 115, 211, 219, 212, 116, 216, 194, 98, 499, 255, 499, 220, 98, 217, 194, 98, 499, 98, 499, 98, 487, 499, 98, 195, 256, 221, 98, 278, 196, 499, 486, 195, 485, 499, 499, 484, 196, 499, 483, 499, 279, 499, 224, 307, 499, 234, 234, 234, 499, 239, 239, 225, 290, 291, 292, 226, 98, 227, 482, 232, 232, 230, 232, 478,
228, 499, 231, 477, 229, 122, 232, 123, 123, 123, 476, 235, 475, 235, 499, 124, 236, 236, 236, 260, 474, 237, 261, 238, 238, 238, 301, 302, 303, 124, 238, 238, 304, 305, 262, 473, 308, 309, 310, 239, 239, 238, 238, 238, 238, 238, 238, 293, 294, 314, 312, 295, 315, 316, 98, 320, 98, 296, 499, 499, 499, 297, 298, 299, 300, 313, 98, 98, 98, 98, 98, 499, 499, 329, 499, 499, 499, 499, 499, 234, 234, 234, 472, 471, 324, 470, 318, 331, 499, 499, 499, 499, 499, 333, 469, 499, 322, 325, 372, 321,
319, 331, 468, 374, 327, 334, 326, 236, 236, 236, 98, 323, 328, 236, 236, 236, 332, 332, 332, 98, 499, 376, 377, 332, 332, 499, 98, 334, 463, 98, 98, 98, 499, 382, 332, 332, 332, 332, 332, 332, 462, 499, 373, 499, 499, 385, 385, 461, 499, 460, 375, 499, 499, 499, 459, 499, 458, 383, 416, 383, 379, 380, 384, 384, 384, 98, 98, 385, 385, 378, 381, 386, 98, 386, 98, 457, 387, 387, 387, 98, 499, 384, 384, 384, 384, 384, 384, 499, 499, 387, 387, 387, 456, 422, 499, 422, 499, 418, 423, 423,
423, 499, 387, 387, 387, 98, 98, 417, 98, 420, 98, 448, 98, 465, 419, 423, 423, 423, 421, 423, 423, 423, 98, 98, 98, 98, 455, 499, 499, 454, 499, 453, 499, 499, 499, 499, 481, 98, 489, 494, 452, 451, 447, 464, 499, 499, 499, 499, 444, 450, 445, 446, 449, 466, 479, 467, 443, 442, 499, 499, 499, 499, 441, 440, 439, 438, 437, 436, 480, 435, 434, 433, 432, 431, 430, 429, 428, 427, 426, 425, 424, 488, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 78, 78, 78, 78, 78, 78,
78, 78, 78, 78, 78, 78, 82, 82, 82, 82, 82, 82, 82, 82, 82, 82, 82, 82, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 94, 415, 414, 413, 94, 94, 95, 412, 95, 95, 95, 95, 95, 95, 95, 95, 95, 95, 96, 411, 410, 96, 96, 96, 96, 96, 96, 96, 96, 96, 133, 133, 133, 133, 136, 136, 138, 138, 190, 409, 408, 407, 190, 190, 190, 190, 190, 190, 190, 190, 198, 406, 198, 198, 198, 405, 198, 198, 198, 198, 198, 198, 200, 404, 200, 200, 200, 403, 200, 200,
200, 200, 200, 200, 202, 402, 202, 202, 202, 401, 202, 202, 202, 202, 202, 202, 204, 204, 205, 205, 205, 205, 241, 241, 241, 241, 243, 243, 243, 243, 243, 306, 306, 306, 306, 238, 238, 238, 332, 332, 400, 399, 398, 397, 396, 395, 394, 393, 392, 391, 390, 389, 388, 371, 370, 369, 368, 367, 366, 365, 364, 363, 362, 361, 360, 359, 358, 357, 356, 355, 354, 353, 352, 351, 350, 349, 348, 347, 346, 345, 344, 343, 342, 341, 340, 339, 338, 337, 336, 244, 335, 330, 317, 311, 289, 288, 287, 286, 285, 284,
283, 282, 281, 280, 277, 276, 275, 274, 273, 272, 271, 270, 269, 268, 267, 266, 265, 264, 263, 259, 258, 257, 254, 251, 250, 249, 248, 247, 244, 242, 240, 233, 222, 203, 201, 199, 185, 180, 179, 178, 177, 176, 164, 158, 141, 137, 135, 134, 132, 131, 127, 119, 118, 117, 93, 92, 499, 91, 91, 90, 90, 17, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499,
499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499 } ;
static const flex_int16_t yy_chk[946] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 32, 3, 4, 4, 497, 4, 5, 5, 7, 5, 6, 6, 8, 6, 9,
10, 11, 7, 12, 32, 496, 8, 48, 9, 10, 11, 3, 12, 36, 33, 4, 33, 33, 33, 5, 48, 36, 36, 6, 33, 51, 34, 33, 34, 34, 34, 46, 96, 49, 46, 51, 34, 49, 33, 50, 53, 50, 52, 51, 53, 54, 97, 33, 56, 52, 34, 57, 59, 54, 96, 33, 59, 56, 54, 495, 97, 56, 139, 3, 145, 59, 57, 4, 97, 59, 59, 5, 139, 7, 59, 6, 99, 8, 145, 9, 10, 11, 493, 12, 25, 103, 60, 108, 25, 60, 487, 25, 25, 484, 25, 25, 25, 60, 99, 483,
60, 25, 25, 25, 60, 66, 66, 103, 66, 108, 25, 68, 25, 68, 68, 68, 66, 74, 25, 482, 74, 74, 101, 25, 105, 77, 25, 25, 77, 77, 100, 25, 102, 25, 100, 104, 25, 101, 105, 102, 25, 104, 74, 109, 101, 147, 105, 106, 110, 104, 77, 111, 100, 112, 102, 113, 478, 104, 114, 74, 147, 106, 115, 169, 74, 109, 476, 77, 473, 106, 110, 470, 77, 111, 469, 112, 169, 113, 109, 206, 114, 122, 122, 122, 115, 126, 126, 110, 186, 186, 186, 111, 116, 112, 468, 116, 116, 114, 116, 463,
113, 206, 115, 461, 113, 123, 116, 123, 123, 123, 459, 124, 458, 124, 116, 123, 124, 124, 124, 152, 457, 125, 152, 125, 125, 125, 188, 188, 188, 123, 125, 125, 189, 189, 152, 456, 209, 211, 212, 239, 239, 125, 125, 125, 125, 125, 125, 187, 187, 217, 216, 187, 219, 221, 224, 225, 228, 187, 209, 211, 212, 187, 187, 187, 187, 216, 226, 227, 229, 230, 231, 217, 216, 232, 219, 221, 224, 225, 228, 234, 234, 234, 455, 453, 228, 451, 224, 234, 226, 227, 229, 230, 231, 238, 450, 232, 226, 228, 313, 225,
224, 234, 449, 319, 230, 238, 229, 235, 235, 235, 318, 227, 231, 236, 236, 236, 237, 237, 237, 321, 313, 322, 323, 237, 237, 319, 324, 238, 443, 325, 327, 326, 318, 328, 237, 237, 237, 237, 237, 237, 442, 321, 318, 322, 323, 332, 333, 441, 324, 438, 321, 325, 327, 326, 436, 328, 434, 331, 373, 331, 325, 326, 331, 331, 331, 375, 378, 332, 333, 324, 327, 334, 379, 334, 380, 433, 334, 334, 334, 381, 373, 383, 383, 383, 384, 384, 384, 375, 378, 386, 386, 386, 432, 385, 379, 385, 380, 378, 385, 385,
385, 381, 387, 387, 387, 417, 418, 375, 419, 380, 420, 421, 444, 445, 379, 422, 422, 422, 381, 423, 423, 423, 446, 447, 466, 464, 431, 417, 418, 430, 419, 429, 420, 421, 444, 445, 467, 479, 480, 488, 427, 426, 420, 444, 446, 447, 466, 464, 417, 425, 418, 419, 424, 446, 464, 447, 414, 411, 467, 479, 480, 488, 410, 409, 408, 406, 405, 404, 466, 403, 402, 401, 400, 399, 398, 397, 393, 392, 391, 389, 388, 479, 500, 500, 500, 500, 500, 500, 500, 500, 500, 500, 500, 500, 501, 501, 501, 501, 501, 501,
501, 501, 501, 501, 501, 501, 502, 502, 502, 502, 502, 502, 502, 502, 502, 502, 502, 502, 503, 503, 503, 503, 503, 503, 503, 503, 503, 503, 503, 503, 504, 371, 370, 369, 504, 504, 505, 367, 505, 505, 505, 505, 505, 505, 505, 505, 505, 505, 506, 363, 362, 506, 506, 506, 506, 506, 506, 506, 506, 506, 507, 507, 507, 507, 508, 508, 509, 509, 510, 361, 360, 359, 510, 510, 510, 510, 510, 510, 510, 510, 511, 358, 511, 511, 511, 357, 511, 511, 511, 511, 511, 511, 512, 356, 512, 512, 512, 355, 512, 512,
512, 512, 512, 512, 513, 354, 513, 513, 513, 353, 513, 513, 513, 513, 513, 513, 514, 514, 515, 515, 515, 515, 516, 516, 516, 516, 517, 517, 517, 517, 517, 518, 518, 518, 518, 519, 519, 519, 520, 520, 351, 350, 349, 348, 347, 346, 344, 343, 341, 340, 337, 336, 335, 288, 287, 286, 285, 284, 283, 282, 281, 280, 279, 278, 277, 276, 274, 273, 272, 270, 266, 265, 264, 262, 261, 260, 259, 258, 257, 256, 255, 254, 252, 251, 250, 249, 248, 247, 245, 243, 242, 233, 222, 214, 179, 178, 177, 176, 175, 174,
173, 172, 171, 170, 168, 167, 166, 165, 164, 163, 162, 161, 160, 158, 157, 156, 155, 154, 153, 150, 149, 148, 146, 144, 143, 142, 141, 140, 138, 137, 128, 120, 107, 88, 84, 80, 67, 65, 64, 63, 62, 61, 58, 55, 47, 44, 41, 40, 38, 37, 35, 31, 30, 28, 23, 21, 17, 16, 15, 14, 13, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499,
499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499, 499 } ;
/* The intent behind this definition is that it'll catch * any uses of REJECT which flex missed. */#define REJECT reject_used_but_not_detected#define yymore() yymore_used_but_not_detected#define YY_MORE_ADJ 0#define YY_RESTORE_YY_MORE_OFFSET/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- *//* * Main authors: * Guido Tack <guido.tack@monash.edu> *//* This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at http://mozilla.org/MPL/2.0/. */#if defined __GNUC__#pragma GCC diagnostic ignored "-Wunused-function"#pragma GCC diagnostic ignored "-Wunused-parameter"#pragma GCC diagnostic ignored "-Wsign-compare"#pragma GCC diagnostic ignored "-Wdeprecated"#elif defined _MSC_VER#pragma warning(push, 1)#endif
namespace MiniZinc{ class ParserLocation; }#define YYLTYPE MiniZinc::ParserLocation#define YYLTYPE_IS_DECLARED 1#define YYLTYPE_IS_TRIVIAL 0
#include <minizinc/parser.hh>
int utf8len(const char* s) { int l=0; for (int i=0; s[i] != '\0'; i++) if ((s[i] & 0xc0) != 0x80) l++; return l;}
int yy_input_proc(char* buf, int size, yyscan_t yyscanner);#define YY_INPUT(buf, result, max_size) \ result = yy_input_proc(buf, max_size, yyscanner);
#define YY_USER_ACTION \ { MiniZinc::ParserState* parm = \ static_cast<MiniZinc::ParserState*>(yyget_extra(yyscanner)); \ yylloc->first_line(yylloc->last_line()); \ yylloc->first_column(yylloc->last_column()+1); \ if(parm->hadNewline) { \ parm->hadNewline=false; \ parm->lineStartPos += parm->nTokenNextStart; \ parm->nTokenNextStart=1; \ yylloc->last_line(yylloc->last_line()+1); \ yylloc->first_line(yylloc->last_line()); \ yylloc->first_column(1); \ } \ if(yytext[0] == '\n') { \ parm->hadNewline=true; \ parm->nTokenNextStart+=0; \ } else { \ parm->nTokenNextStart+=yyleng; \ } \ yylloc->last_column(yylloc->first_column()+utf8len(yytext)-1); \ }
bool hexstrtointval(const char* s, long long int& v) { std::istringstream iss(s); iss >> std::hex >> v; return !iss.fail();}
bool octstrtointval(const char* s, long long int& v) { std::istringstream iss(s); iss >> std::oct >> v; return !iss.fail();}
bool fast_strtointval(const char* s, long long int& v) { MiniZinc::IntVal x = 0; try { for (; *s != '\0'; ++s) { x = (x*10) + (*s - '0'); } } catch (MiniZinc::ArithmeticError&) { return false; } v = x.toInt(); return true;}
bool strtofloatval(const char* s, double& v) { std::istringstream iss(s); iss >> v; return !iss.fail();}
void clearBuffer(void* parm) { MiniZinc::ParserState* pp = static_cast<MiniZinc::ParserState*>(parm); pp->stringBuffer = "";}
void appendBufferString(void* parm, const char* s) { MiniZinc::ParserState* pp = static_cast<MiniZinc::ParserState*>(parm); pp->stringBuffer += s;}
void appendBufferChar(void* parm, char s) { MiniZinc::ParserState* pp = static_cast<MiniZinc::ParserState*>(parm); pp->stringBuffer += s;}
char* bufferData(void* parm) { MiniZinc::ParserState* pp = static_cast<MiniZinc::ParserState*>(parm); return strdup(pp->stringBuffer.c_str());}
#define INITIAL 0#define string 1#define string_quote 2#define multilinecomment 3#define doccomment 4#define doccomment_file 5#define bracket_exp 6#define quoted_exp 7
#ifndef YY_NO_UNISTD_H/* Special case for "unistd.h", since it is non-ANSI. We include it way * down here because we want the user's section 1 to have been scanned first. * The user has a chance to override it with an option. */#include <unistd.h>#endif
#ifndef YY_EXTRA_TYPE#define YY_EXTRA_TYPE void *#endif
/* Holds the entire state of the reentrant scanner. */struct yyguts_t {
/* User-defined. Not touched by flex. */ YY_EXTRA_TYPE yyextra_r;
/* The rest are the same as the globals declared in the non-reentrant scanner. */ FILE *yyin_r, *yyout_r; size_t yy_buffer_stack_top; /**< index of top of stack. */ size_t yy_buffer_stack_max; /**< capacity of stack. */ YY_BUFFER_STATE * yy_buffer_stack; /**< Stack as an array. */ char yy_hold_char; int yy_n_chars; int yyleng_r; char *yy_c_buf_p; int yy_init; int yy_start; int yy_did_buffer_switch_on_eof; int yy_start_stack_ptr; int yy_start_stack_depth; int *yy_start_stack; yy_state_type yy_last_accepting_state; char* yy_last_accepting_cpos;
int yylineno_r; int yy_flex_debug_r;
char *yytext_r; int yy_more_flag; int yy_more_len;
YYSTYPE * yylval_r;
YYLTYPE * yylloc_r;
}; /* end struct yyguts_t */
static int yy_init_globals ( yyscan_t yyscanner );
/* This must go here because YYSTYPE and YYLTYPE are included * from bison output in section 1.*/ # define yylval yyg->yylval_r # define yylloc yyg->yylloc_r int yylex_init (yyscan_t* scanner);
int yylex_init_extra ( YY_EXTRA_TYPE user_defined, yyscan_t* scanner);
/* Accessor methods to globals. These are made visible to non-reentrant scanners for convenience. */
int yylex_destroy ( yyscan_t yyscanner );
int yyget_debug ( yyscan_t yyscanner );
void yyset_debug ( int debug_flag , yyscan_t yyscanner );
YY_EXTRA_TYPE yyget_extra ( yyscan_t yyscanner );
void yyset_extra ( YY_EXTRA_TYPE user_defined , yyscan_t yyscanner );
FILE *yyget_in ( yyscan_t yyscanner );
void yyset_in ( FILE * _in_str , yyscan_t yyscanner );
FILE *yyget_out ( yyscan_t yyscanner );
void yyset_out ( FILE * _out_str , yyscan_t yyscanner );
int yyget_leng ( yyscan_t yyscanner );
char *yyget_text ( yyscan_t yyscanner );
int yyget_lineno ( yyscan_t yyscanner );
void yyset_lineno ( int _line_number , yyscan_t yyscanner );
int yyget_column ( yyscan_t yyscanner );
void yyset_column ( int _column_no , yyscan_t yyscanner );
YYSTYPE * yyget_lval ( yyscan_t yyscanner );
void yyset_lval ( YYSTYPE * yylval_param , yyscan_t yyscanner );
YYLTYPE *yyget_lloc ( yyscan_t yyscanner ); void yyset_lloc ( YYLTYPE * yylloc_param , yyscan_t yyscanner ); /* Macros after this point can all be overridden by user definitions in * section 1. */
#ifndef YY_SKIP_YYWRAP#ifdef __cplusplusextern "C" int yywrap ( yyscan_t yyscanner );#elseextern int yywrap ( yyscan_t yyscanner );#endif#endif
#ifndef YY_NO_UNPUT static void yyunput ( int c, char *buf_ptr , yyscan_t yyscanner); #endif
#ifndef yytext_ptrstatic void yy_flex_strncpy ( char *, const char *, int , yyscan_t yyscanner);#endif
#ifdef YY_NEED_STRLENstatic int yy_flex_strlen ( const char * , yyscan_t yyscanner);#endif
#ifndef YY_NO_INPUT#ifdef __cplusplusstatic int yyinput ( yyscan_t yyscanner );#elsestatic int input ( yyscan_t yyscanner );#endif
#endif
static void yy_push_state ( int _new_state , yyscan_t yyscanner); static void yy_pop_state ( yyscan_t yyscanner ); static int yy_top_state ( yyscan_t yyscanner ); /* Amount of stuff to slurp up with each read. */#ifndef YY_READ_BUF_SIZE#ifdef __ia64__/* On IA-64, the buffer size is 16k, not 8k */#define YY_READ_BUF_SIZE 16384#else#define YY_READ_BUF_SIZE 8192#endif /* __ia64__ */#endif
/* Copy whatever the last rule matched to the standard output. */#ifndef ECHO/* This used to be an fputs(), but since the string might contain NUL's, * we now use fwrite(). */#define ECHO do { if (fwrite( yytext, (size_t) yyleng, 1, yyout )) {} } while (0)#endif
/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL, * is returned in "result". */#ifndef YY_INPUT#define YY_INPUT(buf,result,max_size) \ if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \ { \ int c = '*'; \ int n; \ for ( n = 0; n < max_size && \ (c = getc( yyin )) != EOF && c != '\n'; ++n ) \ buf[n] = (char) c; \ if ( c == '\n' ) \ buf[n++] = (char) c; \ if ( c == EOF && ferror( yyin ) ) \ YY_FATAL_ERROR( "input in flex scanner failed" ); \ result = n; \ } \ else \ { \ errno=0; \ while ( (result = (int) fread(buf, 1, (yy_size_t) max_size, yyin)) == 0 && ferror(yyin)) \ { \ if( errno != EINTR) \ { \ YY_FATAL_ERROR( "input in flex scanner failed" ); \ break; \ } \ errno=0; \ clearerr(yyin); \ } \ }\\
#endif
/* No semi-colon after return; correct usage is to write "yyterminate();" - * we don't want an extra ';' after the "return" because that will cause * some compilers to complain about unreachable statements. */#ifndef yyterminate#define yyterminate() return YY_NULL#endif
/* Number of entries by which start-condition stack grows. */#ifndef YY_START_STACK_INCR#define YY_START_STACK_INCR 25#endif
/* Report a fatal error. */#ifndef YY_FATAL_ERROR#define YY_FATAL_ERROR(msg) yy_fatal_error( msg , yyscanner)#endif
/* end tables serialization structures and prototypes */
/* Default declaration of generated scanner - a define so the user can * easily add parameters. */#ifndef YY_DECL#define YY_DECL_IS_OURS 1
extern int yylex \ (YYSTYPE * yylval_param, YYLTYPE * yylloc_param , yyscan_t yyscanner);
#define YY_DECL int yylex \ (YYSTYPE * yylval_param, YYLTYPE * yylloc_param , yyscan_t yyscanner)#endif /* !YY_DECL */
/* Code executed at the beginning of each rule, after yytext and yyleng * have been set up. */#ifndef YY_USER_ACTION#define YY_USER_ACTION#endif
/* Code executed at the end of each rule. */#ifndef YY_BREAK#define YY_BREAK /*LINTED*/break;#endif
#define YY_RULE_SETUP \ YY_USER_ACTION
/** The main scanner function which does all the work. */YY_DECL{ yy_state_type yy_current_state; char *yy_cp, *yy_bp; int yy_act; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
yylval = yylval_param;
yylloc = yylloc_param;
if ( !yyg->yy_init ) { yyg->yy_init = 1;
#ifdef YY_USER_INIT YY_USER_INIT;#endif
if ( ! yyg->yy_start ) yyg->yy_start = 1; /* first start state */
if ( ! yyin ) yyin = stdin;
if ( ! yyout ) yyout = stdout;
if ( ! YY_CURRENT_BUFFER ) { yyensure_buffer_stack (yyscanner); YY_CURRENT_BUFFER_LVALUE = yy_create_buffer( yyin, YY_BUF_SIZE , yyscanner); }
yy_load_buffer_state( yyscanner ); }
{
while ( /*CONSTCOND*/1 ) /* loops until end-of-file is reached */ { yy_cp = yyg->yy_c_buf_p;
/* Support of yytext. */ *yy_cp = yyg->yy_hold_char;
/* yy_bp points to the position in yy_ch_buf of the start of * the current run. */ yy_bp = yy_cp;
yy_current_state = yyg->yy_start;yy_match: do { YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ; if ( yy_accept[yy_current_state] ) { yyg->yy_last_accepting_state = yy_current_state; yyg->yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; if ( yy_current_state >= 500 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; ++yy_cp; } while ( yy_base[yy_current_state] != 862 );
yy_find_action: yy_act = yy_accept[yy_current_state]; if ( yy_act == 0 ) { /* have to back up */ yy_cp = yyg->yy_last_accepting_cpos; yy_current_state = yyg->yy_last_accepting_state; yy_act = yy_accept[yy_current_state]; }
YY_DO_BEFORE_ACTION;
do_action: /* This label is used only to access EOF actions. */
switch ( yy_act ) { /* beginning of action switch */ case 0: /* must back up */ /* undo the effects of YY_DO_BEFORE_ACTION */ *yy_cp = yyg->yy_hold_char; yy_cp = yyg->yy_last_accepting_cpos; yy_current_state = yyg->yy_last_accepting_state; goto yy_find_action;
case 1:YY_RULE_SETUP{ return MZN_INVALID_NULL; } YY_BREAKcase 2:/* rule 2 can match eol */YY_RULE_SETUP{ } YY_BREAKcase 3:YY_RULE_SETUP{ /* ignore whitespace */ } YY_BREAKcase 4:YY_RULE_SETUP{ yy_push_state(doccomment,yyscanner); clearBuffer(yyget_extra(yyscanner)); } YY_BREAK
case 5:YY_RULE_SETUP{ yylval->sValue = bufferData(yyget_extra(yyscanner)); yy_pop_state(yyscanner); return MZN_DOC_COMMENT; } YY_BREAKcase 6:YY_RULE_SETUP{ appendBufferString(yyget_extra(yyscanner), yytext); } YY_BREAKcase 7:YY_RULE_SETUP{ appendBufferString(yyget_extra(yyscanner), yytext); } YY_BREAKcase 8:/* rule 8 can match eol */YY_RULE_SETUP{ appendBufferString(yyget_extra(yyscanner), yytext); } YY_BREAK
case 9:YY_RULE_SETUP{ yy_push_state(doccomment_file,yyscanner); clearBuffer(yyget_extra(yyscanner)); } YY_BREAK
case 10:YY_RULE_SETUP{ yylval->sValue = bufferData(yyget_extra(yyscanner)); yy_pop_state(yyscanner); return MZN_DOC_FILE_COMMENT; } YY_BREAKcase 11:YY_RULE_SETUP{ appendBufferString(yyget_extra(yyscanner), yytext); } YY_BREAKcase 12:YY_RULE_SETUP{ appendBufferString(yyget_extra(yyscanner), yytext); } YY_BREAKcase 13:/* rule 13 can match eol */YY_RULE_SETUP{ appendBufferString(yyget_extra(yyscanner), yytext); } YY_BREAK
case 14:YY_RULE_SETUP{ yy_push_state(multilinecomment,yyscanner); } YY_BREAK
case 15:YY_RULE_SETUP{ yy_pop_state(yyscanner); } YY_BREAKcase 16:YY_RULE_SETUP{ } YY_BREAKcase 17:YY_RULE_SETUP{ } YY_BREAKcase 18:/* rule 18 can match eol */YY_RULE_SETUP{ } YY_BREAK
case 19:YY_RULE_SETUP{ return MZN_LEFT_BRACKET; } YY_BREAKcase 20:YY_RULE_SETUP{ return MZN_LEFT_2D_BRACKET; } YY_BREAKcase 21:YY_RULE_SETUP{ return MZN_RIGHT_BRACKET; } YY_BREAKcase 22:YY_RULE_SETUP{ return MZN_RIGHT_2D_BRACKET; } YY_BREAKcase 23:YY_RULE_SETUP{ /* ignore comments */ } YY_BREAKcase 24:YY_RULE_SETUP{ yylval->iValue = 1; return MZN_BOOL_LITERAL; } YY_BREAKcase 25:YY_RULE_SETUP{ yylval->iValue = 0; return MZN_BOOL_LITERAL; } YY_BREAKcase 26:YY_RULE_SETUP{ if (strtofloatval(yytext, yylval->dValue)) return MZN_FLOAT_LITERAL; else return MZN_INVALID_FLOAT_LITERAL; } YY_BREAKcase 27:YY_RULE_SETUP{ if (hexstrtointval(yytext+2, yylval->iValue)) return MZN_INTEGER_LITERAL; else return MZN_INVALID_INTEGER_LITERAL; } YY_BREAKcase 28:YY_RULE_SETUP{ if (octstrtointval(yytext+2, yylval->iValue)) return MZN_INTEGER_LITERAL; else return MZN_INVALID_INTEGER_LITERAL; } YY_BREAKcase 29:YY_RULE_SETUP{ if (fast_strtointval(yytext, yylval->iValue)) return MZN_INTEGER_LITERAL; else return MZN_INVALID_INTEGER_LITERAL; } YY_BREAKcase 30:YY_RULE_SETUP{ if (strtofloatval(yytext, yylval->dValue)) return MZN_FLOAT_LITERAL; else return MZN_INVALID_FLOAT_LITERAL; } YY_BREAKcase 31:YY_RULE_SETUP{ if (strtofloatval(yytext, yylval->dValue)) return MZN_FLOAT_LITERAL; else return MZN_INVALID_FLOAT_LITERAL; } YY_BREAKcase 32:YY_RULE_SETUP{ if (strtofloatval(yytext, yylval->dValue)) return MZN_FLOAT_LITERAL; else return MZN_INVALID_FLOAT_LITERAL; } YY_BREAKcase 33:YY_RULE_SETUP{ return *yytext; } YY_BREAKcase 34:YY_RULE_SETUP{ return MZN_DOTDOT; } YY_BREAKcase 35:YY_RULE_SETUP{ return MZN_DOTDOT_QUOTED; } YY_BREAKcase 36:YY_RULE_SETUP{ return MZN_COLONCOLON; } YY_BREAKcase 37:YY_RULE_SETUP{ return MZN_UNDERSCORE; } YY_BREAKcase 38:YY_RULE_SETUP{ return MZN_ANN; } YY_BREAKcase 39:YY_RULE_SETUP{ return MZN_ANNOTATION; } YY_BREAKcase 40:YY_RULE_SETUP{ return MZN_ANY; } YY_BREAKcase 41:YY_RULE_SETUP{ return MZN_ARRAY; } YY_BREAKcase 42:YY_RULE_SETUP{ return MZN_BOOL; } YY_BREAKcase 43:YY_RULE_SETUP{ return MZN_CASE; } YY_BREAKcase 44:YY_RULE_SETUP{ return MZN_CONSTRAINT; } YY_BREAKcase 45:YY_RULE_SETUP{ return MZN_DEFAULT; } YY_BREAKcase 46:YY_RULE_SETUP{ return MZN_IDIV; } YY_BREAKcase 47:YY_RULE_SETUP{ return MZN_IDIV_QUOTED; } YY_BREAKcase 48:YY_RULE_SETUP{ return MZN_DIFF; } YY_BREAKcase 49:YY_RULE_SETUP{ return MZN_DIFF_QUOTED; } YY_BREAKcase 50:YY_RULE_SETUP{ return MZN_ELSE; } YY_BREAKcase 51:YY_RULE_SETUP{ return MZN_ELSEIF; } YY_BREAKcase 52:YY_RULE_SETUP{ return MZN_ENDIF; } YY_BREAKcase 53:YY_RULE_SETUP{ return MZN_ENUM; } YY_BREAKcase 54:YY_RULE_SETUP{ return MZN_FLOAT; } YY_BREAKcase 55:YY_RULE_SETUP{ return MZN_FUNCTION; } YY_BREAKcase 56:YY_RULE_SETUP{ return MZN_IF; } YY_BREAKcase 57:YY_RULE_SETUP{ return MZN_INCLUDE; } YY_BREAKcase 58:YY_RULE_SETUP{ return MZN_INFINITY; } YY_BREAKcase 59:YY_RULE_SETUP{ return MZN_INTERSECT; } YY_BREAKcase 60:YY_RULE_SETUP{ return MZN_INTERSECT_QUOTED; } YY_BREAKcase 61:YY_RULE_SETUP{ return MZN_IN; } YY_BREAKcase 62:YY_RULE_SETUP{ return MZN_IN_QUOTED; } YY_BREAKcase 63:YY_RULE_SETUP{ return MZN_INT; } YY_BREAKcase 64:YY_RULE_SETUP{ return MZN_LET; } YY_BREAKcase 65:YY_RULE_SETUP{ return MZN_LIST; } YY_BREAKcase 66:YY_RULE_SETUP{ yylval->bValue = false; return MZN_MAXIMIZE; } YY_BREAKcase 67:YY_RULE_SETUP{ yylval->bValue = true; return MZN_MINIMIZE; } YY_BREAKcase 68:YY_RULE_SETUP{ return MZN_MOD; } YY_BREAKcase 69:YY_RULE_SETUP{ return MZN_MOD_QUOTED; } YY_BREAKcase 70:YY_RULE_SETUP{ return MZN_NOT; } YY_BREAKcase 71:YY_RULE_SETUP{ return MZN_NOT_QUOTED; } YY_BREAKcase 72:YY_RULE_SETUP{ return MZN_OF; } YY_BREAKcase 73:YY_RULE_SETUP{ return MZN_OUTPUT; } YY_BREAKcase 74:YY_RULE_SETUP{ return MZN_OPT; } YY_BREAKcase 75:YY_RULE_SETUP{ return MZN_PAR; } YY_BREAKcase 76:YY_RULE_SETUP{ return MZN_PREDICATE; } YY_BREAKcase 77:YY_RULE_SETUP{ return MZN_RECORD; } YY_BREAKcase 78:YY_RULE_SETUP{ return MZN_SATISFY; } YY_BREAKcase 79:YY_RULE_SETUP{ return MZN_SET; } YY_BREAKcase 80:YY_RULE_SETUP{ return MZN_SOLVE; } YY_BREAKcase 81:YY_RULE_SETUP{ return MZN_STRING; } YY_BREAKcase 82:YY_RULE_SETUP{ return MZN_SUBSET; } YY_BREAKcase 83:YY_RULE_SETUP{ return MZN_SUBSET_QUOTED; } YY_BREAKcase 84:YY_RULE_SETUP{ return MZN_SUPERSET; } YY_BREAKcase 85:YY_RULE_SETUP{ return MZN_SUPERSET_QUOTED; } YY_BREAKcase 86:YY_RULE_SETUP{ return MZN_SYMDIFF; } YY_BREAKcase 87:YY_RULE_SETUP{ return MZN_SYMDIFF_QUOTED; } YY_BREAKcase 88:YY_RULE_SETUP{ return MZN_TEST; } YY_BREAKcase 89:YY_RULE_SETUP{ return MZN_THEN; } YY_BREAKcase 90:YY_RULE_SETUP{ return MZN_TUPLE; } YY_BREAKcase 91:YY_RULE_SETUP{ return MZN_TYPE; } YY_BREAKcase 92:YY_RULE_SETUP{ return MZN_UNION; } YY_BREAKcase 93:YY_RULE_SETUP{ return MZN_UNION_QUOTED; } YY_BREAKcase 94:YY_RULE_SETUP{ return MZN_VAR; } YY_BREAKcase 95:YY_RULE_SETUP{ return MZN_VARIANT_RECORD; } YY_BREAKcase 96:YY_RULE_SETUP{ return MZN_WHERE; } YY_BREAKcase 97:YY_RULE_SETUP{ return MZN_XOR; } YY_BREAKcase 98:YY_RULE_SETUP{ return MZN_XOR_QUOTED; } YY_BREAKcase 99:YY_RULE_SETUP{ return MZN_PLUS; } YY_BREAKcase 100:YY_RULE_SETUP{ return MZN_PLUS_QUOTED; } YY_BREAKcase 101:YY_RULE_SETUP{ return MZN_MINUS; } YY_BREAKcase 102:YY_RULE_SETUP{ return MZN_MINUS_QUOTED; } YY_BREAKcase 103:YY_RULE_SETUP{ return MZN_MULT; } YY_BREAKcase 104:YY_RULE_SETUP{ return MZN_MULT_QUOTED; } YY_BREAKcase 105:YY_RULE_SETUP{ return MZN_DIV; } YY_BREAKcase 106:YY_RULE_SETUP{ return MZN_DIV_QUOTED; } YY_BREAKcase 107:YY_RULE_SETUP{ return MZN_POW; } YY_BREAKcase 108:YY_RULE_SETUP{ return MZN_POW_QUOTED; } YY_BREAKcase 109:YY_RULE_SETUP{ return MZN_PLUSPLUS; } YY_BREAKcase 110:YY_RULE_SETUP{ return MZN_PLUSPLUS_QUOTED; } YY_BREAKcase 111:YY_RULE_SETUP{ return MZN_ABSENT; } YY_BREAKcase 112:YY_RULE_SETUP{ return MZN_LE; } YY_BREAKcase 113:YY_RULE_SETUP{ return MZN_LE_QUOTED; } YY_BREAKcase 114:YY_RULE_SETUP{ return MZN_LQ; } YY_BREAKcase 115:YY_RULE_SETUP{ return MZN_LQ_QUOTED; } YY_BREAKcase 116:YY_RULE_SETUP{ return MZN_GR; } YY_BREAKcase 117:YY_RULE_SETUP{ return MZN_GR_QUOTED; } YY_BREAKcase 118:YY_RULE_SETUP{ return MZN_GQ; } YY_BREAKcase 119:YY_RULE_SETUP{ return MZN_GQ_QUOTED; } YY_BREAKcase 120:YY_RULE_SETUP{ return MZN_EQ; } YY_BREAKcase 121:YY_RULE_SETUP{ return MZN_EQ_QUOTED; } YY_BREAKcase 122:YY_RULE_SETUP{ return MZN_EQ; } YY_BREAKcase 123:YY_RULE_SETUP{ return MZN_EQ_QUOTED; } YY_BREAKcase 124:YY_RULE_SETUP{ return MZN_NQ; } YY_BREAKcase 125:YY_RULE_SETUP{ return MZN_NQ_QUOTED; } YY_BREAKcase 126:YY_RULE_SETUP{ return MZN_IMPL; } YY_BREAKcase 127:YY_RULE_SETUP{ return MZN_IMPL_QUOTED; } YY_BREAKcase 128:YY_RULE_SETUP{ return MZN_RIMPL; } YY_BREAKcase 129:YY_RULE_SETUP{ return MZN_RIMPL_QUOTED; } YY_BREAKcase 130:YY_RULE_SETUP{ return MZN_EQUIV; } YY_BREAKcase 131:YY_RULE_SETUP{ return MZN_EQUIV_QUOTED; } YY_BREAKcase 132:YY_RULE_SETUP{ return MZN_OR; } YY_BREAKcase 133:YY_RULE_SETUP{ return MZN_OR_QUOTED; } YY_BREAKcase 134:YY_RULE_SETUP{ return MZN_AND; } YY_BREAKcase 135:YY_RULE_SETUP{ return MZN_AND_QUOTED; } YY_BREAKcase 136:YY_RULE_SETUP{ return MZN_WEAK_PLUS; } YY_BREAKcase 137:YY_RULE_SETUP{ return MZN_WEAK_MULT; } YY_BREAKcase 138:YY_RULE_SETUP{ return MZN_WEAK_EQ; } YY_BREAKcase 139:YY_RULE_SETUP{ return MZN_WEAK_MINUS; } YY_BREAKcase 140:YY_RULE_SETUP{ yylval->sValue = strdup(yytext+1); yylval->sValue[strlen(yytext)-2] = 0; return MZN_IDENTIFIER; } YY_BREAKcase 141:YY_RULE_SETUP{ yylval->sValue = strdup(yytext); return MZN_IDENTIFIER; } YY_BREAKcase 142:YY_RULE_SETUP{ yylval->sValue = strdup(yytext); return MZN_IDENTIFIER; } YY_BREAKcase 143:YY_RULE_SETUP{ yylval->sValue = strdup(yytext); return MZN_IDENTIFIER; } YY_BREAKcase 144:YY_RULE_SETUP{ MiniZinc::ParserState* parm = static_cast<MiniZinc::ParserState*>(yyget_extra(yyscanner)); if (parm->isFlatZinc) { yylval->sValue = strdup(yytext); return MZN_IDENTIFIER; } else { return FLATZINC_IDENTIFIER; } } YY_BREAKcase 145:YY_RULE_SETUP{ yylval->sValue = strdup("forall"); return MZN_IDENTIFIER; } YY_BREAKcase 146:YY_RULE_SETUP{ yylval->sValue = strdup("exists"); return MZN_IDENTIFIER; } YY_BREAKcase 147:YY_RULE_SETUP{ return MZN_IN; } YY_BREAKcase 148:YY_RULE_SETUP{ return MZN_SUBSET; } YY_BREAKcase 149:YY_RULE_SETUP{ return MZN_SUPERSET; } YY_BREAKcase 150:YY_RULE_SETUP{ return MZN_INFINITY; } YY_BREAKcase 151:YY_RULE_SETUP{ return MZN_NOT; } YY_BREAKcase 152:YY_RULE_SETUP{ return MZN_RIMPL; } YY_BREAKcase 153:YY_RULE_SETUP{ return MZN_IMPL; } YY_BREAKcase 154:YY_RULE_SETUP{ return MZN_EQUIV; } YY_BREAKcase 155:YY_RULE_SETUP{ return MZN_AND; } YY_BREAKcase 156:YY_RULE_SETUP{ return MZN_OR; } YY_BREAKcase 157:YY_RULE_SETUP{ return MZN_NQ; } YY_BREAKcase 158:YY_RULE_SETUP{ return MZN_LQ; } YY_BREAKcase 159:YY_RULE_SETUP{ return MZN_GQ; } YY_BREAKcase 160:YY_RULE_SETUP{ return MZN_UNION; } YY_BREAKcase 161:YY_RULE_SETUP{ return MZN_INTERSECT; } YY_BREAKcase 162:YY_RULE_SETUP{ yylval->sValue = strdup(yytext+1); return MZN_TI_ENUM_IDENTIFIER; } YY_BREAKcase 163:YY_RULE_SETUP{ yylval->sValue = strdup(yytext+1); return MZN_TI_IDENTIFIER; } YY_BREAKcase 164:YY_RULE_SETUP{ yy_push_state(bracket_exp,yyscanner); return *yytext; } YY_BREAKcase 165:YY_RULE_SETUP{ yy_pop_state(yyscanner); return *yytext; } YY_BREAKcase 166:YY_RULE_SETUP{ yy_pop_state(yyscanner); yy_pop_state(yyscanner); yy_push_state(string_quote,yyscanner); clearBuffer(yyget_extra(yyscanner)); } YY_BREAKcase 167:YY_RULE_SETUP{ yy_push_state(string,yyscanner); clearBuffer(yyget_extra(yyscanner)); } YY_BREAKcase 168:YY_RULE_SETUP{ appendBufferString(yyget_extra(yyscanner), yytext); } YY_BREAKcase 169:YY_RULE_SETUP{ appendBufferChar(yyget_extra(yyscanner), '\n'); } YY_BREAKcase 170:YY_RULE_SETUP{ appendBufferChar(yyget_extra(yyscanner), '\t'); } YY_BREAKcase 171:YY_RULE_SETUP{ appendBufferChar(yyget_extra(yyscanner), yytext[1]); } YY_BREAKcase 172:YY_RULE_SETUP{ appendBufferChar(yyget_extra(yyscanner), yytext[1]); } YY_BREAKcase 173:YY_RULE_SETUP{ yylval->sValue = bufferData(yyget_extra(yyscanner)); yy_push_state(quoted_exp,yyscanner); return MZN_STRING_QUOTE_START; } YY_BREAKcase 174:YY_RULE_SETUP{ yylval->sValue = bufferData(yyget_extra(yyscanner)); yy_push_state(quoted_exp,yyscanner); return MZN_STRING_QUOTE_MID; } YY_BREAKcase 175:YY_RULE_SETUP{ yylval->sValue = bufferData(yyget_extra(yyscanner)); yy_pop_state(yyscanner); return MZN_STRING_LITERAL; } YY_BREAKcase 176:YY_RULE_SETUP{ yylval->sValue = bufferData(yyget_extra(yyscanner)); yy_pop_state(yyscanner); return MZN_STRING_QUOTE_END; } YY_BREAKcase 177:YY_RULE_SETUP{ return (unsigned char)yytext[0]; } YY_BREAKcase 178:/* rule 178 can match eol */YY_RULE_SETUP{ return MZN_END_OF_LINE_IN_STRING; } YY_BREAKcase YY_STATE_EOF(string):case YY_STATE_EOF(string_quote):{ yy_pop_state(yyscanner); return MZN_UNTERMINATED_STRING; } YY_BREAKcase 179:YY_RULE_SETUP{ yylval->sValue = strdup(yytext+1); yylval->sValue[strlen(yytext)-2] = 0; return MZN_QUOTED_IDENTIFIER; } YY_BREAKcase 180:YY_RULE_SETUP{ return (unsigned char)yytext[0]; } YY_BREAKcase 181:YY_RULE_SETUPECHO; YY_BREAKcase YY_STATE_EOF(INITIAL):case YY_STATE_EOF(multilinecomment):case YY_STATE_EOF(doccomment):case YY_STATE_EOF(doccomment_file):case YY_STATE_EOF(bracket_exp):case YY_STATE_EOF(quoted_exp): yyterminate();
case YY_END_OF_BUFFER: { /* Amount of text matched not including the EOB char. */ int yy_amount_of_matched_text = (int) (yy_cp - yyg->yytext_ptr) - 1;
/* Undo the effects of YY_DO_BEFORE_ACTION. */ *yy_cp = yyg->yy_hold_char; YY_RESTORE_YY_MORE_OFFSET
if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW ) { /* We're scanning a new file or input source. It's * possible that this happened because the user * just pointed yyin at a new source and called * yylex(). If so, then we have to assure * consistency between YY_CURRENT_BUFFER and our * globals. Here is the right place to do so, because * this is the first action (other than possibly a * back-up) that will match for the new input source. */ yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_n_chars; YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin; YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL; }
/* Note that here we test for yy_c_buf_p "<=" to the position * of the first EOB in the buffer, since yy_c_buf_p will * already have been incremented past the NUL character * (since all states make transitions on EOB to the * end-of-buffer state). Contrast this with the test * in input(). */ if ( yyg->yy_c_buf_p <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] ) { /* This was really a NUL. */ yy_state_type yy_next_state;
yyg->yy_c_buf_p = yyg->yytext_ptr + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state( yyscanner );
/* Okay, we're now positioned to make the NUL * transition. We couldn't have * yy_get_previous_state() go ahead and do it * for us because it doesn't know how to deal * with the possibility of jamming (and we don't * want to build jamming into it because then it * will run more slowly). */
yy_next_state = yy_try_NUL_trans( yy_current_state , yyscanner);
yy_bp = yyg->yytext_ptr + YY_MORE_ADJ;
if ( yy_next_state ) { /* Consume the NUL. */ yy_cp = ++yyg->yy_c_buf_p; yy_current_state = yy_next_state; goto yy_match; }
else { yy_cp = yyg->yy_c_buf_p; goto yy_find_action; } }
else switch ( yy_get_next_buffer( yyscanner ) ) { case EOB_ACT_END_OF_FILE: { yyg->yy_did_buffer_switch_on_eof = 0;
if ( yywrap( yyscanner ) ) { /* Note: because we've taken care in * yy_get_next_buffer() to have set up * yytext, we can now set up * yy_c_buf_p so that if some total * hoser (like flex itself) wants to * call the scanner after we return the * YY_NULL, it'll still work - another * YY_NULL will get returned. */ yyg->yy_c_buf_p = yyg->yytext_ptr + YY_MORE_ADJ;
yy_act = YY_STATE_EOF(YY_START); goto do_action; }
else { if ( ! yyg->yy_did_buffer_switch_on_eof ) YY_NEW_FILE; } break; }
case EOB_ACT_CONTINUE_SCAN: yyg->yy_c_buf_p = yyg->yytext_ptr + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state( yyscanner );
yy_cp = yyg->yy_c_buf_p; yy_bp = yyg->yytext_ptr + YY_MORE_ADJ; goto yy_match;
case EOB_ACT_LAST_MATCH: yyg->yy_c_buf_p = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars];
yy_current_state = yy_get_previous_state( yyscanner );
yy_cp = yyg->yy_c_buf_p; yy_bp = yyg->yytext_ptr + YY_MORE_ADJ; goto yy_find_action; } break; }
default: YY_FATAL_ERROR( "fatal flex scanner internal error--no action found" ); } /* end of action switch */ } /* end of scanning one token */ } /* end of user's declarations */} /* end of yylex */
/* yy_get_next_buffer - try to read in a new buffer * * Returns a code representing an action: * EOB_ACT_LAST_MATCH - * EOB_ACT_CONTINUE_SCAN - continue scanning from current position * EOB_ACT_END_OF_FILE - end of file */static int yy_get_next_buffer (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf; char *source = yyg->yytext_ptr; int number_to_move, i; int ret_val;
if ( yyg->yy_c_buf_p > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars + 1] ) YY_FATAL_ERROR( "fatal flex scanner internal error--end of buffer missed" );
if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 ) { /* Don't try to fill the buffer, so this is an EOF. */ if ( yyg->yy_c_buf_p - yyg->yytext_ptr - YY_MORE_ADJ == 1 ) { /* We matched a single character, the EOB, so * treat this as a final EOF. */ return EOB_ACT_END_OF_FILE; }
else { /* We matched some text prior to the EOB, first * process it. */ return EOB_ACT_LAST_MATCH; } }
/* Try to read more data. */
/* First move last chars to start of buffer. */ number_to_move = (int) (yyg->yy_c_buf_p - yyg->yytext_ptr - 1);
for ( i = 0; i < number_to_move; ++i ) *(dest++) = *(source++);
if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING ) /* don't do the read, it's not guaranteed to return an EOF, * just force an EOF */ YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars = 0;
else { int num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
while ( num_to_read <= 0 ) { /* Not enough room in the buffer - grow it. */
/* just a shorter name for the current buffer */ YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;
int yy_c_buf_p_offset = (int) (yyg->yy_c_buf_p - b->yy_ch_buf);
if ( b->yy_is_our_buffer ) { int new_size = b->yy_buf_size * 2;
if ( new_size <= 0 ) b->yy_buf_size += b->yy_buf_size / 8; else b->yy_buf_size *= 2;
b->yy_ch_buf = (char *) /* Include room in for 2 EOB chars. */ yyrealloc( (void *) b->yy_ch_buf, (yy_size_t) (b->yy_buf_size + 2) , yyscanner ); } else /* Can't grow it, we don't own it. */ b->yy_ch_buf = NULL;
if ( ! b->yy_ch_buf ) YY_FATAL_ERROR( "fatal error - scanner input buffer overflow" );
yyg->yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset];
num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
}
if ( num_to_read > YY_READ_BUF_SIZE ) num_to_read = YY_READ_BUF_SIZE;
/* Read in more data. */ YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]), yyg->yy_n_chars, num_to_read );
YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars; }
if ( yyg->yy_n_chars == 0 ) { if ( number_to_move == YY_MORE_ADJ ) { ret_val = EOB_ACT_END_OF_FILE; yyrestart( yyin , yyscanner); }
else { ret_val = EOB_ACT_LAST_MATCH; YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_EOF_PENDING; } }
else ret_val = EOB_ACT_CONTINUE_SCAN;
if ((yyg->yy_n_chars + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) { /* Extend the array by 50%, plus the number we really need. */ int new_size = yyg->yy_n_chars + number_to_move + (yyg->yy_n_chars >> 1); YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc( (void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf, (yy_size_t) new_size , yyscanner ); if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" ); /* "- 2" to take care of EOB's */ YY_CURRENT_BUFFER_LVALUE->yy_buf_size = (int) (new_size - 2); }
yyg->yy_n_chars += number_to_move; YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] = YY_END_OF_BUFFER_CHAR; YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
yyg->yytext_ptr = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
return ret_val;}
/* yy_get_previous_state - get the state just before the EOB char was reached */
static yy_state_type yy_get_previous_state (yyscan_t yyscanner){ yy_state_type yy_current_state; char *yy_cp; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
yy_current_state = yyg->yy_start;
for ( yy_cp = yyg->yytext_ptr + YY_MORE_ADJ; yy_cp < yyg->yy_c_buf_p; ++yy_cp ) { YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 83); if ( yy_accept[yy_current_state] ) { yyg->yy_last_accepting_state = yy_current_state; yyg->yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; if ( yy_current_state >= 500 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; }
return yy_current_state;}
/* yy_try_NUL_trans - try to make a transition on the NUL character * * synopsis * next_state = yy_try_NUL_trans( current_state ); */ static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state , yyscan_t yyscanner){ int yy_is_jam; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* This var may be unused depending upon options. */ char *yy_cp = yyg->yy_c_buf_p;
YY_CHAR yy_c = 83; if ( yy_accept[yy_current_state] ) { yyg->yy_last_accepting_state = yy_current_state; yyg->yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; if ( yy_current_state >= 500 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; yy_is_jam = (yy_current_state == 499);
(void)yyg; return yy_is_jam ? 0 : yy_current_state;}
#ifndef YY_NO_UNPUT
static void yyunput (int c, char * yy_bp , yyscan_t yyscanner){ char *yy_cp; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
yy_cp = yyg->yy_c_buf_p;
/* undo effects of setting up yytext */ *yy_cp = yyg->yy_hold_char;
if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) { /* need to shift things up to make room */ /* +2 for EOB chars. */ int number_to_move = yyg->yy_n_chars + 2; char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[ YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2]; char *source = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) *--dest = *--source;
yy_cp += (int) (dest - source); yy_bp += (int) (dest - source); YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars = (int) YY_CURRENT_BUFFER_LVALUE->yy_buf_size;
if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) YY_FATAL_ERROR( "flex scanner push-back overflow" ); }
*--yy_cp = (char) c;
yyg->yytext_ptr = yy_bp; yyg->yy_hold_char = *yy_cp; yyg->yy_c_buf_p = yy_cp;}
#endif
#ifndef YY_NO_INPUT#ifdef __cplusplus static int yyinput (yyscan_t yyscanner)#else static int input (yyscan_t yyscanner)#endif
{ int c; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
*yyg->yy_c_buf_p = yyg->yy_hold_char;
if ( *yyg->yy_c_buf_p == YY_END_OF_BUFFER_CHAR ) { /* yy_c_buf_p now points to the character we want to return. * If this occurs *before* the EOB characters, then it's a * valid NUL; if not, then we've hit the end of the buffer. */ if ( yyg->yy_c_buf_p < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] ) /* This was really a NUL. */ *yyg->yy_c_buf_p = '\0';
else { /* need more input */ int offset = (int) (yyg->yy_c_buf_p - yyg->yytext_ptr); ++yyg->yy_c_buf_p;
switch ( yy_get_next_buffer( yyscanner ) ) { case EOB_ACT_LAST_MATCH: /* This happens because yy_g_n_b() * sees that we've accumulated a * token and flags that we need to * try matching the token before * proceeding. But for input(), * there's no matching to consider. * So convert the EOB_ACT_LAST_MATCH * to EOB_ACT_END_OF_FILE. */
/* Reset buffer status. */ yyrestart( yyin , yyscanner);
/*FALLTHROUGH*/
case EOB_ACT_END_OF_FILE: { if ( yywrap( yyscanner ) ) return 0;
if ( ! yyg->yy_did_buffer_switch_on_eof ) YY_NEW_FILE;#ifdef __cplusplus return yyinput(yyscanner);#else return input(yyscanner);#endif }
case EOB_ACT_CONTINUE_SCAN: yyg->yy_c_buf_p = yyg->yytext_ptr + offset; break; } } }
c = *(unsigned char *) yyg->yy_c_buf_p; /* cast for 8-bit char's */ *yyg->yy_c_buf_p = '\0'; /* preserve yytext */ yyg->yy_hold_char = *++yyg->yy_c_buf_p;
return c;}#endif /* ifndef YY_NO_INPUT */
/** Immediately switch to a different input stream. * @param input_file A readable stream. * @param yyscanner The scanner object. * @note This function does not reset the start condition to @c INITIAL . */ void yyrestart (FILE * input_file , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
if ( ! YY_CURRENT_BUFFER ){ yyensure_buffer_stack (yyscanner); YY_CURRENT_BUFFER_LVALUE = yy_create_buffer( yyin, YY_BUF_SIZE , yyscanner); }
yy_init_buffer( YY_CURRENT_BUFFER, input_file , yyscanner); yy_load_buffer_state( yyscanner );}
/** Switch to a different input buffer. * @param new_buffer The new input buffer. * @param yyscanner The scanner object. */ void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
/* TODO. We should be able to replace this entire function body * with * yypop_buffer_state(); * yypush_buffer_state(new_buffer); */ yyensure_buffer_stack (yyscanner); if ( YY_CURRENT_BUFFER == new_buffer ) return;
if ( YY_CURRENT_BUFFER ) { /* Flush out information for old buffer. */ *yyg->yy_c_buf_p = yyg->yy_hold_char; YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = yyg->yy_c_buf_p; YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars; }
YY_CURRENT_BUFFER_LVALUE = new_buffer; yy_load_buffer_state( yyscanner );
/* We don't actually know whether we did this switch during * EOF (yywrap()) processing, but the only time this flag * is looked at is after yywrap() is called, so it's safe * to go ahead and always set it. */ yyg->yy_did_buffer_switch_on_eof = 1;}
static void yy_load_buffer_state (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_n_chars; yyg->yytext_ptr = yyg->yy_c_buf_p = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos; yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file; yyg->yy_hold_char = *yyg->yy_c_buf_p;}
/** Allocate and initialize an input buffer state. * @param file A readable stream. * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE. * @param yyscanner The scanner object. * @return the allocated buffer state. */ YY_BUFFER_STATE yy_create_buffer (FILE * file, int size , yyscan_t yyscanner){ YY_BUFFER_STATE b; b = (YY_BUFFER_STATE) yyalloc( sizeof( struct yy_buffer_state ) , yyscanner ); if ( ! b ) YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_buf_size = size;
/* yy_ch_buf has to be 2 characters longer than the size given because * we need to put in 2 end-of-buffer characters. */ b->yy_ch_buf = (char *) yyalloc( (yy_size_t) (b->yy_buf_size + 2) , yyscanner ); if ( ! b->yy_ch_buf ) YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_is_our_buffer = 1;
yy_init_buffer( b, file , yyscanner);
return b;}
/** Destroy the buffer. * @param b a buffer created with yy_create_buffer() * @param yyscanner The scanner object. */ void yy_delete_buffer (YY_BUFFER_STATE b , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
if ( ! b ) return;
if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */ YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
if ( b->yy_is_our_buffer ) yyfree( (void *) b->yy_ch_buf , yyscanner );
yyfree( (void *) b , yyscanner );}
/* Initializes or reinitializes a buffer. * This function is sometimes called more than once on the same buffer, * such as during a yyrestart() or at EOF. */ static void yy_init_buffer (YY_BUFFER_STATE b, FILE * file , yyscan_t yyscanner)
{ int oerrno = errno; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
yy_flush_buffer( b , yyscanner);
b->yy_input_file = file; b->yy_fill_buffer = 1;
/* If b is the current buffer, then yy_init_buffer was _probably_ * called from yyrestart() or through yy_get_next_buffer. * In that case, we don't want to reset the lineno or column. */ if (b != YY_CURRENT_BUFFER){ b->yy_bs_lineno = 1; b->yy_bs_column = 0; }
b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0; errno = oerrno;}
/** Discard all buffered characters. On the next scan, YY_INPUT will be called. * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER. * @param yyscanner The scanner object. */ void yy_flush_buffer (YY_BUFFER_STATE b , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if ( ! b ) return;
b->yy_n_chars = 0;
/* We always need two end-of-buffer characters. The first causes * a transition to the end-of-buffer state. The second causes * a jam in that state. */ b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR; b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
b->yy_buf_pos = &b->yy_ch_buf[0];
b->yy_at_bol = 1; b->yy_buffer_status = YY_BUFFER_NEW;
if ( b == YY_CURRENT_BUFFER ) yy_load_buffer_state( yyscanner );}
/** Pushes the new state onto the stack. The new state becomes * the current state. This function will allocate the stack * if necessary. * @param new_buffer The new state. * @param yyscanner The scanner object. */void yypush_buffer_state (YY_BUFFER_STATE new_buffer , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if (new_buffer == NULL) return;
yyensure_buffer_stack(yyscanner);
/* This block is copied from yy_switch_to_buffer. */ if ( YY_CURRENT_BUFFER ) { /* Flush out information for old buffer. */ *yyg->yy_c_buf_p = yyg->yy_hold_char; YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = yyg->yy_c_buf_p; YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars; }
/* Only push if top exists. Otherwise, replace top. */ if (YY_CURRENT_BUFFER) yyg->yy_buffer_stack_top++; YY_CURRENT_BUFFER_LVALUE = new_buffer;
/* copied from yy_switch_to_buffer. */ yy_load_buffer_state( yyscanner ); yyg->yy_did_buffer_switch_on_eof = 1;}
/** Removes and deletes the top of the stack, if present. * The next element becomes the new top. * @param yyscanner The scanner object. */void yypop_buffer_state (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if (!YY_CURRENT_BUFFER) return;
yy_delete_buffer(YY_CURRENT_BUFFER , yyscanner); YY_CURRENT_BUFFER_LVALUE = NULL; if (yyg->yy_buffer_stack_top > 0) --yyg->yy_buffer_stack_top;
if (YY_CURRENT_BUFFER) { yy_load_buffer_state( yyscanner ); yyg->yy_did_buffer_switch_on_eof = 1; }}
/* Allocates the stack if it does not exist. * Guarantees space for at least one push. */static void yyensure_buffer_stack (yyscan_t yyscanner){ yy_size_t num_to_alloc; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
if (!yyg->yy_buffer_stack) {
/* First allocation is just for 2 elements, since we don't know if this * scanner will even need a stack. We use 2 instead of 1 to avoid an * immediate realloc on the next call. */ num_to_alloc = 1; /* After all that talk, this was set to 1 anyways... */ yyg->yy_buffer_stack = (struct yy_buffer_state**)yyalloc (num_to_alloc * sizeof(struct yy_buffer_state*) , yyscanner); if ( ! yyg->yy_buffer_stack ) YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
memset(yyg->yy_buffer_stack, 0, num_to_alloc * sizeof(struct yy_buffer_state*));
yyg->yy_buffer_stack_max = num_to_alloc; yyg->yy_buffer_stack_top = 0; return; }
if (yyg->yy_buffer_stack_top >= (yyg->yy_buffer_stack_max) - 1){
/* Increase the buffer to prepare for a possible push. */ yy_size_t grow_size = 8 /* arbitrary grow size */;
num_to_alloc = yyg->yy_buffer_stack_max + grow_size; yyg->yy_buffer_stack = (struct yy_buffer_state**)yyrealloc (yyg->yy_buffer_stack, num_to_alloc * sizeof(struct yy_buffer_state*) , yyscanner); if ( ! yyg->yy_buffer_stack ) YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
/* zero only the new slots.*/ memset(yyg->yy_buffer_stack + yyg->yy_buffer_stack_max, 0, grow_size * sizeof(struct yy_buffer_state*)); yyg->yy_buffer_stack_max = num_to_alloc; }}
/** Setup the input buffer state to scan directly from a user-specified character buffer. * @param base the character buffer * @param size the size in bytes of the character buffer * @param yyscanner The scanner object. * @return the newly allocated buffer state object. */YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size , yyscan_t yyscanner){ YY_BUFFER_STATE b; if ( size < 2 || base[size-2] != YY_END_OF_BUFFER_CHAR || base[size-1] != YY_END_OF_BUFFER_CHAR ) /* They forgot to leave room for the EOB's. */ return NULL;
b = (YY_BUFFER_STATE) yyalloc( sizeof( struct yy_buffer_state ) , yyscanner ); if ( ! b ) YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
b->yy_buf_size = (int) (size - 2); /* "- 2" to take care of EOB's */ b->yy_buf_pos = b->yy_ch_buf = base; b->yy_is_our_buffer = 0; b->yy_input_file = NULL; b->yy_n_chars = b->yy_buf_size; b->yy_is_interactive = 0; b->yy_at_bol = 1; b->yy_fill_buffer = 0; b->yy_buffer_status = YY_BUFFER_NEW;
yy_switch_to_buffer( b , yyscanner );
return b;}
/** Setup the input buffer state to scan a string. The next call to yylex() will * scan from a @e copy of @a str. * @param yystr a NUL-terminated string to scan * @param yyscanner The scanner object. * @return the newly allocated buffer state object. * @note If you want to scan bytes that may contain NUL values, then use * yy_scan_bytes() instead. */YY_BUFFER_STATE yy_scan_string (const char * yystr , yyscan_t yyscanner){ return yy_scan_bytes( yystr, (int) strlen(yystr) , yyscanner);}
/** Setup the input buffer state to scan the given bytes. The next call to yylex() will * scan from a @e copy of @a bytes. * @param yybytes the byte buffer to scan * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes. * @param yyscanner The scanner object. * @return the newly allocated buffer state object. */YY_BUFFER_STATE yy_scan_bytes (const char * yybytes, int _yybytes_len , yyscan_t yyscanner){ YY_BUFFER_STATE b; char *buf; yy_size_t n; int i; /* Get memory for full buffer, including space for trailing EOB's. */ n = (yy_size_t) (_yybytes_len + 2); buf = (char *) yyalloc( n , yyscanner ); if ( ! buf ) YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
for ( i = 0; i < _yybytes_len; ++i ) buf[i] = yybytes[i];
buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
b = yy_scan_buffer( buf, n , yyscanner); if ( ! b ) YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
/* It's okay to grow etc. this buffer, and we should throw it * away when we're done. */ b->yy_is_our_buffer = 1;
return b;}
static void yy_push_state (int _new_state , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if ( yyg->yy_start_stack_ptr >= yyg->yy_start_stack_depth ) { yy_size_t new_size;
yyg->yy_start_stack_depth += YY_START_STACK_INCR; new_size = (yy_size_t) yyg->yy_start_stack_depth * sizeof( int );
if ( ! yyg->yy_start_stack ) yyg->yy_start_stack = (int *) yyalloc( new_size , yyscanner );
else yyg->yy_start_stack = (int *) yyrealloc( (void *) yyg->yy_start_stack, new_size , yyscanner );
if ( ! yyg->yy_start_stack ) YY_FATAL_ERROR( "out of memory expanding start-condition stack" ); }
yyg->yy_start_stack[yyg->yy_start_stack_ptr++] = YY_START;
BEGIN(_new_state);}
static void yy_pop_state (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if ( --yyg->yy_start_stack_ptr < 0 ) YY_FATAL_ERROR( "start-condition stack underflow" );
BEGIN(yyg->yy_start_stack[yyg->yy_start_stack_ptr]);}
static int yy_top_state (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yyg->yy_start_stack[yyg->yy_start_stack_ptr - 1];}
#ifndef YY_EXIT_FAILURE#define YY_EXIT_FAILURE 2#endif
static void yynoreturn yy_fatal_error (const char* msg , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; (void)yyg; fprintf( stderr, "%s\n", msg ); exit( YY_EXIT_FAILURE );}
/* Redefine yyless() so it works in section 3 code. */
#undef yyless#define yyless(n) \ do \ { \ /* Undo effects of setting up yytext. */ \ int yyless_macro_arg = (n); \ YY_LESS_LINENO(yyless_macro_arg);\ yytext[yyleng] = yyg->yy_hold_char; \ yyg->yy_c_buf_p = yytext + yyless_macro_arg; \ yyg->yy_hold_char = *yyg->yy_c_buf_p; \ *yyg->yy_c_buf_p = '\0'; \ yyleng = yyless_macro_arg; \ } \ while ( 0 )
/* Accessor methods (get/set functions) to struct members. */
/** Get the user-defined data for this scanner. * @param yyscanner The scanner object. */YY_EXTRA_TYPE yyget_extra (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yyextra;}
/** Get the current line number. * @param yyscanner The scanner object. */int yyget_lineno (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
if (! YY_CURRENT_BUFFER) return 0; return yylineno;}
/** Get the current column number. * @param yyscanner The scanner object. */int yyget_column (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
if (! YY_CURRENT_BUFFER) return 0; return yycolumn;}
/** Get the input stream. * @param yyscanner The scanner object. */FILE *yyget_in (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yyin;}
/** Get the output stream. * @param yyscanner The scanner object. */FILE *yyget_out (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yyout;}
/** Get the length of the current token. * @param yyscanner The scanner object. */int yyget_leng (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yyleng;}
/** Get the current token. * @param yyscanner The scanner object. */
char *yyget_text (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yytext;}
/** Set the user-defined data. This data is never touched by the scanner. * @param user_defined The data to be associated with this scanner. * @param yyscanner The scanner object. */void yyset_extra (YY_EXTRA_TYPE user_defined , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yyextra = user_defined ;}
/** Set the current line number. * @param _line_number line number * @param yyscanner The scanner object. */void yyset_lineno (int _line_number , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
/* lineno is only valid if an input buffer exists. */ if (! YY_CURRENT_BUFFER ) YY_FATAL_ERROR( "yyset_lineno called with no buffer" ); yylineno = _line_number;}
/** Set the current column. * @param _column_no column number * @param yyscanner The scanner object. */void yyset_column (int _column_no , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
/* column is only valid if an input buffer exists. */ if (! YY_CURRENT_BUFFER ) YY_FATAL_ERROR( "yyset_column called with no buffer" ); yycolumn = _column_no;}
/** Set the input stream. This does not discard the current * input buffer. * @param _in_str A readable stream. * @param yyscanner The scanner object. * @see yy_switch_to_buffer */void yyset_in (FILE * _in_str , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yyin = _in_str ;}
void yyset_out (FILE * _out_str , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yyout = _out_str ;}
int yyget_debug (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yy_flex_debug;}
void yyset_debug (int _bdebug , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yy_flex_debug = _bdebug ;}
/* Accessor methods for yylval and yylloc */
YYSTYPE * yyget_lval (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yylval;}
void yyset_lval (YYSTYPE * yylval_param , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yylval = yylval_param;}
YYLTYPE *yyget_lloc (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yylloc;} void yyset_lloc (YYLTYPE * yylloc_param , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yylloc = yylloc_param;} /* User-visible API */
/* yylex_init is special because it creates the scanner itself, so it is * the ONLY reentrant function that doesn't take the scanner as the last argument. * That's why we explicitly handle the declaration, instead of using our macros. */int yylex_init(yyscan_t* ptr_yy_globals){ if (ptr_yy_globals == NULL){ errno = EINVAL; return 1; }
*ptr_yy_globals = (yyscan_t) yyalloc ( sizeof( struct yyguts_t ), NULL );
if (*ptr_yy_globals == NULL){ errno = ENOMEM; return 1; }
/* By setting to 0xAA, we expose bugs in yy_init_globals. Leave at 0x00 for releases. */ memset(*ptr_yy_globals,0x00,sizeof(struct yyguts_t));
return yy_init_globals ( *ptr_yy_globals );}
/* yylex_init_extra has the same functionality as yylex_init, but follows the * convention of taking the scanner as the last argument. Note however, that * this is a *pointer* to a scanner, as it will be allocated by this call (and * is the reason, too, why this function also must handle its own declaration). * The user defined value in the first argument will be available to yyalloc in * the yyextra field. */int yylex_init_extra( YY_EXTRA_TYPE yy_user_defined, yyscan_t* ptr_yy_globals ){ struct yyguts_t dummy_yyguts;
yyset_extra (yy_user_defined, &dummy_yyguts);
if (ptr_yy_globals == NULL){ errno = EINVAL; return 1; }
*ptr_yy_globals = (yyscan_t) yyalloc ( sizeof( struct yyguts_t ), &dummy_yyguts );
if (*ptr_yy_globals == NULL){ errno = ENOMEM; return 1; }
/* By setting to 0xAA, we expose bugs in yy_init_globals. Leave at 0x00 for releases. */ memset(*ptr_yy_globals,0x00,sizeof(struct yyguts_t));
yyset_extra (yy_user_defined, *ptr_yy_globals);
return yy_init_globals ( *ptr_yy_globals );}
static int yy_init_globals (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* Initialization is the same as for the non-reentrant scanner. * This function is called from yylex_destroy(), so don't allocate here. */
yyg->yy_buffer_stack = NULL; yyg->yy_buffer_stack_top = 0; yyg->yy_buffer_stack_max = 0; yyg->yy_c_buf_p = NULL; yyg->yy_init = 0; yyg->yy_start = 0;
yyg->yy_start_stack_ptr = 0; yyg->yy_start_stack_depth = 0; yyg->yy_start_stack = NULL;
/* Defined in main.c */#ifdef YY_STDINIT yyin = stdin; yyout = stdout;#else yyin = NULL; yyout = NULL;#endif
/* For future reference: Set errno on error, since we are called by * yylex_init() */ return 0;}
/* yylex_destroy is for both reentrant and non-reentrant scanners. */int yylex_destroy (yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
/* Pop the buffer stack, destroying each element. */ while(YY_CURRENT_BUFFER){ yy_delete_buffer( YY_CURRENT_BUFFER , yyscanner ); YY_CURRENT_BUFFER_LVALUE = NULL; yypop_buffer_state(yyscanner); }
/* Destroy the stack itself. */ yyfree(yyg->yy_buffer_stack , yyscanner); yyg->yy_buffer_stack = NULL;
/* Destroy the start condition stack. */ yyfree( yyg->yy_start_stack , yyscanner ); yyg->yy_start_stack = NULL;
/* Reset the globals. This is important in a non-reentrant scanner so the next time * yylex() is called, initialization will occur. */ yy_init_globals( yyscanner);
/* Destroy the main struct (reentrant only). */ yyfree ( yyscanner , yyscanner ); yyscanner = NULL; return 0;}
/* * Internal utility routines. */
#ifndef yytext_ptrstatic void yy_flex_strncpy (char* s1, const char * s2, int n , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; (void)yyg;
int i; for ( i = 0; i < n; ++i ) s1[i] = s2[i];}#endif
#ifdef YY_NEED_STRLENstatic int yy_flex_strlen (const char * s , yyscan_t yyscanner){ int n; for ( n = 0; s[n]; ++n ) ;
return n;}#endif
void *yyalloc (yy_size_t size , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; (void)yyg; return malloc(size);}
void *yyrealloc (void * ptr, yy_size_t size , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; (void)yyg;
/* The cast to (char *) in the following accommodates both * implementations that use char* generic pointers, and those * that use void* generic pointers. It works with the latter * because both ANSI C and C++ allow castless assignment from * any pointer type to void*, and deal with argument conversions * as though doing an assignment. */ return realloc(ptr, size);}
void yyfree (void * ptr , yyscan_t yyscanner){ struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; (void)yyg; free( (char *) ptr ); /* see yyrealloc() for (char *) cast */}
#define YYTABLES_NAME "yytables"
int yy_input_proc(char* buf, int size, yyscan_t yyscanner) { MiniZinc::ParserState* parm = static_cast<MiniZinc::ParserState*>(yyget_extra(yyscanner)); return parm->fillBuffer(buf, size); // work around warning that yyunput is unused yyunput (0,buf,yyscanner);}