Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
74 kB · 2526 lines
C++
at develop
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527#line 1 "gecode/flatzinc/lexer.yy.cpp"
#line 3 "gecode/flatzinc/lexer.yy.cpp"
#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 yyget_lval#define yyget_lval_ALREADY_DEFINED#else#define yyget_lval yyget_lval#endif
#ifdef yyset_lval#define yyset_lval_ALREADY_DEFINED#else#define yyset_lval yyset_lval#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 /* Note: We specifically omit the test for yy_rule_can_match_eol because it requires * access to the local variable yy_act. Since yyless() is a macro, it would break * existing scanners that call yyless() from OUTSIDE yylex. * One obvious solution it to make yy_act a global. I tried that, and saw * a 5% performance hit in a non-yylineno scanner, because yy_act is * normally declared as a register variable-- so it is not worth it. */ #define YY_LESS_LINENO(n) \ do { \ int yyl;\ for ( yyl = n; yyl < yyleng; ++yyl )\ if ( yytext[yyl] == '\n' )\ --yylineno;\ }while(0) #define YY_LINENO_REWIND_TO(dst) \ do {\ const char *p;\ for ( p = yy_cp-1; p >= (dst); --p)\ if ( *p == '\n' )\ --yylineno;\ }while(0) /* 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 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 56#define YY_END_OF_BUFFER 57/* 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[221] = { 0, 0, 0, 57, 55, 2, 1, 55, 3, 12, 55, 12, 6, 6, 12, 52, 55, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 0, 54, 3, 6, 6, 13, 0, 0, 0, 0, 14, 52, 53, 0, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 28, 52, 52, 52, 52, 34, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 9, 0, 11, 8, 7, 53, 52, 16, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 30,
31, 52, 52, 52, 37, 52, 52, 52, 40, 52, 52, 52, 52, 52, 52, 52, 52, 49, 52, 0, 52, 52, 18, 19, 52, 52, 22, 52, 25, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 42, 52, 52, 45, 46, 4, 52, 48, 52, 52, 0, 10, 52, 17, 52, 52, 52, 24, 5, 26, 52, 52, 52, 52, 52, 52, 52, 52, 52, 43, 52, 47, 52, 51, 52, 52, 52, 23, 52, 52, 52, 52, 36, 52, 39, 52, 52, 44, 52, 52, 52, 21, 52, 29, 52, 52, 52, 35, 52, 52, 52,
52, 27, 32, 33, 52, 52, 52, 52, 52, 38, 41, 52, 15, 20, 52, 52, 52, 52, 50, 0 } ;
static const YY_CHAR yy_ec[256] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 4, 1, 1, 5, 1, 1, 6, 6, 1, 7, 6, 8, 9, 1, 10, 11, 11, 11, 11, 11, 11, 11, 12, 12, 13, 6, 1, 6, 1, 1, 1, 14, 14, 14, 14, 15, 14, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 6, 1, 6, 1, 17, 1, 18, 19, 20, 21,
22, 23, 24, 25, 26, 16, 16, 27, 28, 29, 30, 31, 16, 32, 33, 34, 35, 36, 37, 38, 39, 40, 6, 1, 6, 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, 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 } ;
static const YY_CHAR yy_meta[41] = { 0, 1, 1, 2, 1, 1, 1, 1, 1, 1, 3, 3, 3, 1, 4, 4, 5, 5, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5 } ;
static const flex_int16_t yy_base[227] = { 0, 0, 0, 276, 277, 277, 277, 271, 0, 277, 31, 265, 35, 18, 260, 0, 255, 20, 241, 33, 248, 26, 40, 31, 247, 43, 36, 44, 246, 52, 56, 249, 241, 261, 277, 0, 0, 0, 277, 73, 82, 69, 0, 277, 0, 0, 247, 58, 231, 232, 228, 231, 236, 225, 75, 230, 226, 226, 0, 78, 220, 215, 223, 0, 217, 218, 227, 228, 213, 212, 215, 217, 211, 209, 219, 205, 208, 207, 205, 214, 89, 95, 103, 92, 0, 0, 205, 0, 216, 206, 210, 198, 212, 207, 202, 199, 193, 207, 204, 196, 0,
0, 196, 195, 189, 0, 198, 188, 191, 0, 179, 179, 188, 179, 183, 189, 183, 187, 182, 175, 109, 172, 166, 0, 0, 170, 168, 176, 178, 0, 178, 165, 164, 162, 168, 167, 159, 167, 160, 158, 173, 167, 159, 0, 0, 0, 165, 0, 168, 163, 112, 115, 166, 0, 151, 155, 158, 0, 0, 0, 154, 158, 152, 151, 142, 155, 153, 150, 152, 0, 147, 0, 141, 0, 135, 150, 133, 0, 136, 143, 124, 123, 0, 144, 0, 122, 130, 0, 125, 132, 131, 0, 127, 0, 133, 132, 119, 0, 123, 134, 120,
120, 0, 0, 0, 126, 113, 97, 89, 75, 0, 0, 86, 0, 0, 52, 38, 34, 43, 0, 277, 127, 132, 135, 137, 140, 142 } ;
static const flex_int16_t yy_def[227] = { 0, 220, 1, 220, 220, 220, 220, 221, 222, 220, 220, 220, 220, 12, 220, 223, 224, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 221, 220, 222, 12, 13, 220, 220, 220, 220, 225, 220, 223, 226, 224, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 220, 220, 220, 220, 225, 226, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223,
223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 220, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 220, 220, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223,
223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 0, 220, 220, 220, 220, 220, 220 } ;
static const flex_int16_t yy_nxt[318] = { 0, 4, 5, 6, 7, 8, 9, 4, 10, 11, 12, 13, 13, 14, 15, 15, 15, 16, 17, 18, 19, 20, 21, 22, 15, 15, 23, 24, 25, 15, 26, 27, 28, 29, 30, 15, 31, 32, 15, 15, 15, 36, 37, 37, 39, 37, 37, 37, 220, 47, 40, 50, 48, 53, 58, 54, 220, 40, 55, 63, 59, 61, 65, 51, 219, 41, 218, 56, 217, 62, 68, 64, 216, 42, 69, 57, 66, 70, 73, 83, 83, 74, 71, 80, 80, 80, 72, 86, 75, 81, 81, 76, 82, 82, 82, 77, 94, 87, 99, 80, 80,
80, 83, 83, 120, 82, 82, 82, 215, 214, 95, 120, 100, 82, 82, 82, 150, 150, 213, 151, 151, 151, 151, 151, 151, 151, 151, 151, 33, 212, 33, 33, 33, 35, 211, 35, 35, 35, 44, 44, 44, 45, 45, 84, 84, 85, 85, 85, 210, 209, 208, 207, 206, 205, 204, 203, 202, 201, 200, 199, 198, 197, 196, 195, 194, 193, 192, 191, 190, 189, 188, 187, 186, 185, 184, 183, 182, 181, 180, 179, 178, 177, 176, 175, 174, 173, 172, 171, 170, 169, 168, 167, 166, 165, 164, 163, 162, 161, 160, 159, 158,
157, 156, 155, 154, 153, 152, 149, 148, 147, 146, 145, 144, 143, 142, 141, 140, 139, 138, 137, 136, 135, 134, 133, 132, 131, 130, 129, 128, 127, 126, 125, 124, 123, 122, 121, 119, 118, 117, 116, 115, 114, 113, 112, 111, 110, 109, 108, 107, 106, 105, 104, 103, 102, 101, 98, 97, 96, 93, 92, 91, 90, 89, 88, 46, 34, 79, 78, 67, 60, 52, 49, 46, 43, 38, 34, 220, 3, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220,
220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220 } ;
static const flex_int16_t yy_chk[318] = { 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, 10, 10, 10, 12, 12, 12, 12, 13, 17, 12, 19, 17, 21, 23, 21, 13, 12, 22, 26, 23, 25, 27, 19, 218, 12, 217, 22, 216, 25, 29, 26, 215, 12, 29, 22, 27, 29, 30, 41, 41, 30, 29, 39, 39, 39, 29, 47, 30, 40, 40, 30, 40, 40, 40, 30, 54, 47, 59, 80, 80,
80, 83, 83, 80, 81, 81, 81, 212, 209, 54, 80, 59, 82, 82, 82, 120, 120, 208, 120, 120, 120, 150, 150, 150, 151, 151, 151, 221, 207, 221, 221, 221, 222, 206, 222, 222, 222, 223, 223, 223, 224, 224, 225, 225, 226, 226, 226, 205, 201, 200, 199, 198, 196, 195, 194, 192, 190, 189, 188, 186, 185, 183, 181, 180, 179, 178, 176, 175, 174, 172, 170, 168, 167, 166, 165, 164, 163, 162, 161, 160, 156, 155, 154, 152, 149, 148, 146, 142, 141, 140, 139, 138, 137, 136, 135, 134, 133, 132, 131, 130,
128, 127, 126, 125, 122, 121, 119, 118, 117, 116, 115, 114, 113, 112, 111, 110, 108, 107, 106, 104, 103, 102, 99, 98, 97, 96, 95, 94, 93, 92, 91, 90, 89, 88, 86, 79, 78, 77, 76, 75, 74, 73, 72, 71, 70, 69, 68, 67, 66, 65, 64, 62, 61, 60, 57, 56, 55, 53, 52, 51, 50, 49, 48, 46, 33, 32, 31, 28, 24, 20, 18, 16, 14, 11, 7, 3, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220,
220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220 } ;
/* Table of booleans, true if rule could match eol. */static const flex_int32_t yy_rule_can_match_eol[57] = { 0,1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, };
/* 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#line 1 "./gecode/flatzinc/lexer.lxx"/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- *//* * Main authors: * Guido Tack <tack@gecode.org> * * Copyright: * Guido Tack, 2007 * * This file is part of Gecode, the generic constraint * development environment: * http://www.gecode.org * * Permission is hereby granted, free of charge, to any person obtaining * a copy of this software and associated documentation files (the * "Software"), to deal in the Software without restriction, including * without limitation the rights to use, copy, modify, merge, publish, * distribute, sublicense, and/or sell copies of the Software, and to * permit persons to whom the Software is furnished to do so, subject to * the following conditions: * * The above copyright notice and this permission notice shall be * included in all copies or substantial portions of the Software. * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. * */#line 40 "./gecode/flatzinc/lexer.lxx"#if defined __GNUC__#pragma GCC diagnostic ignored "-Wunused-function"#pragma GCC diagnostic ignored "-Wunused-parameter"#pragma GCC diagnostic ignored "-Wsign-compare"#elif defined _MSC_VER#pragma warning(push, 1)#endif
void yyerror(void*, const char*);#define yyerror(s) yyerror(yyextra, s)
#include <errno.h>#include <stdlib.h>
#include <gecode/flatzinc/parser.hh>
const char* stringbuf;int stringbuflen;int stringbufpos;
bool parseInt(const char* text, int& value) { long int result = strtol(text,NULL,0); if ( (result == LONG_MAX || result == LONG_MIN) && errno == ERANGE ) return false; if (result < Gecode::Int::Limits::min || result > Gecode::Int::Limits::max) return false; value = static_cast<int>(result); return true;}
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);#line 667 "gecode/flatzinc/lexer.yy.cpp"#line 668 "gecode/flatzinc/lexer.yy.cpp"
#define INITIAL 0
#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;
}; /* 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 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 );
/* 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
/* 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 , yyscan_t yyscanner);
#define YY_DECL int yylex \ (YYSTYPE * yylval_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;
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 ); }
{#line 75 "./gecode/flatzinc/lexer.lxx"
#line 945 "gecode/flatzinc/lexer.yy.cpp"
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 >= 221 ) 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] != 277 );
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;
if ( yy_act != YY_END_OF_BUFFER && yy_rule_can_match_eol[yy_act] ) { int yyl; for ( yyl = 0; yyl < yyleng; ++yyl ) if ( yytext[yyl] == '\n' ) do{ yylineno++; yycolumn=0; }while(0); }
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:/* rule 1 can match eol */YY_RULE_SETUP#line 77 "./gecode/flatzinc/lexer.lxx"{ /*yylineno++;*/ /* ignore EOL */ } YY_BREAKcase 2:YY_RULE_SETUP#line 78 "./gecode/flatzinc/lexer.lxx"{ /* ignore whitespace */ } YY_BREAKcase 3:YY_RULE_SETUP#line 79 "./gecode/flatzinc/lexer.lxx"{ /* ignore comments */ } YY_BREAKcase 4:YY_RULE_SETUP#line 81 "./gecode/flatzinc/lexer.lxx"{ yylval->iValue = 1; return FZ_BOOL_LIT; } YY_BREAKcase 5:YY_RULE_SETUP#line 82 "./gecode/flatzinc/lexer.lxx"{ yylval->iValue = 0; return FZ_BOOL_LIT; } YY_BREAKcase 6:YY_RULE_SETUP#line 83 "./gecode/flatzinc/lexer.lxx"{ if (parseInt(yytext,yylval->iValue)) return FZ_INT_LIT; else yyerror(("The literal '" + std::string(yytext) + "' of the type int is out of range (" + std::to_string(Gecode::Int::Limits::min) + ".." + std::to_string(Gecode::Int::Limits::max) + ")").c_str()); } YY_BREAKcase 7:YY_RULE_SETUP#line 92 "./gecode/flatzinc/lexer.lxx"{ if (parseInt(yytext,yylval->iValue)) return FZ_INT_LIT; else yyerror(("The literal '" + std::string(yytext) + "' of the type int is out of range (" + std::to_string(Gecode::Int::Limits::min) + ".." + std::to_string(Gecode::Int::Limits::max) + ")").c_str()); } YY_BREAKcase 8:YY_RULE_SETUP#line 101 "./gecode/flatzinc/lexer.lxx"{ if (parseInt(yytext,yylval->iValue)) return FZ_INT_LIT; else yyerror(("The literal '" + std::string(yytext) + "' of the type int is out of range (" + std::to_string(Gecode::Int::Limits::min) + ".." + std::to_string(Gecode::Int::Limits::max) + ")").c_str()); } YY_BREAKcase 9:YY_RULE_SETUP#line 110 "./gecode/flatzinc/lexer.lxx"{ yylval->dValue = strtod(yytext,NULL); return FZ_FLOAT_LIT; } YY_BREAKcase 10:YY_RULE_SETUP#line 112 "./gecode/flatzinc/lexer.lxx"{ yylval->dValue = strtod(yytext,NULL); return FZ_FLOAT_LIT; } YY_BREAKcase 11:YY_RULE_SETUP#line 114 "./gecode/flatzinc/lexer.lxx"{ yylval->dValue = strtod(yytext,NULL); return FZ_FLOAT_LIT; } YY_BREAKcase 12:YY_RULE_SETUP#line 116 "./gecode/flatzinc/lexer.lxx"{ return *yytext; } YY_BREAKcase 13:YY_RULE_SETUP#line 117 "./gecode/flatzinc/lexer.lxx"{ return FZ_DOTDOT; } YY_BREAKcase 14:YY_RULE_SETUP#line 118 "./gecode/flatzinc/lexer.lxx"{ return FZ_COLONCOLON; } YY_BREAKcase 15:YY_RULE_SETUP#line 119 "./gecode/flatzinc/lexer.lxx"{ return FZ_ANNOTATION; } YY_BREAKcase 16:YY_RULE_SETUP#line 120 "./gecode/flatzinc/lexer.lxx"{ return FZ_ANY; } YY_BREAKcase 17:YY_RULE_SETUP#line 121 "./gecode/flatzinc/lexer.lxx"{ return FZ_ARRAY; } YY_BREAKcase 18:YY_RULE_SETUP#line 122 "./gecode/flatzinc/lexer.lxx"{ return FZ_BOOL; } YY_BREAKcase 19:YY_RULE_SETUP#line 123 "./gecode/flatzinc/lexer.lxx"{ return FZ_CASE; } YY_BREAKcase 20:YY_RULE_SETUP#line 124 "./gecode/flatzinc/lexer.lxx"{ return FZ_CONSTRAINT; } YY_BREAKcase 21:YY_RULE_SETUP#line 125 "./gecode/flatzinc/lexer.lxx"{ return FZ_DEFAULT; } YY_BREAKcase 22:YY_RULE_SETUP#line 126 "./gecode/flatzinc/lexer.lxx"{ return FZ_ELSE; } YY_BREAKcase 23:YY_RULE_SETUP#line 127 "./gecode/flatzinc/lexer.lxx"{ return FZ_ELSEIF; } YY_BREAKcase 24:YY_RULE_SETUP#line 128 "./gecode/flatzinc/lexer.lxx"{ return FZ_ENDIF; } YY_BREAKcase 25:YY_RULE_SETUP#line 129 "./gecode/flatzinc/lexer.lxx"{ return FZ_ENUM; } YY_BREAKcase 26:YY_RULE_SETUP#line 130 "./gecode/flatzinc/lexer.lxx"{ return FZ_FLOAT; } YY_BREAKcase 27:YY_RULE_SETUP#line 131 "./gecode/flatzinc/lexer.lxx"{ return FZ_FUNCTION; } YY_BREAKcase 28:YY_RULE_SETUP#line 132 "./gecode/flatzinc/lexer.lxx"{ return FZ_IF; } YY_BREAKcase 29:YY_RULE_SETUP#line 133 "./gecode/flatzinc/lexer.lxx"{ return FZ_INCLUDE; } YY_BREAKcase 30:YY_RULE_SETUP#line 134 "./gecode/flatzinc/lexer.lxx"{ return FZ_INT; } YY_BREAKcase 31:YY_RULE_SETUP#line 135 "./gecode/flatzinc/lexer.lxx"{ return FZ_LET; } YY_BREAKcase 32:YY_RULE_SETUP#line 136 "./gecode/flatzinc/lexer.lxx"{ yylval->bValue = false; return FZ_MAXIMIZE; } YY_BREAKcase 33:YY_RULE_SETUP#line 137 "./gecode/flatzinc/lexer.lxx"{ yylval->bValue = true; return FZ_MINIMIZE; } YY_BREAKcase 34:YY_RULE_SETUP#line 138 "./gecode/flatzinc/lexer.lxx"{ return FZ_OF; } YY_BREAKcase 35:YY_RULE_SETUP#line 139 "./gecode/flatzinc/lexer.lxx"{ return FZ_SATISFY; } YY_BREAKcase 36:YY_RULE_SETUP#line 140 "./gecode/flatzinc/lexer.lxx"{ return FZ_OUTPUT; } YY_BREAKcase 37:YY_RULE_SETUP#line 141 "./gecode/flatzinc/lexer.lxx"{ yylval->bValue = false; return FZ_PAR; } YY_BREAKcase 38:YY_RULE_SETUP#line 142 "./gecode/flatzinc/lexer.lxx"{ return FZ_PREDICATE; } YY_BREAKcase 39:YY_RULE_SETUP#line 143 "./gecode/flatzinc/lexer.lxx"{ return FZ_RECORD; } YY_BREAKcase 40:YY_RULE_SETUP#line 144 "./gecode/flatzinc/lexer.lxx"{ return FZ_SET; } YY_BREAKcase 41:YY_RULE_SETUP#line 145 "./gecode/flatzinc/lexer.lxx"{ return FZ_SHOWCOND; } YY_BREAKcase 42:YY_RULE_SETUP#line 146 "./gecode/flatzinc/lexer.lxx"{ return FZ_SHOW; } YY_BREAKcase 43:YY_RULE_SETUP#line 147 "./gecode/flatzinc/lexer.lxx"{ return FZ_SOLVE; } YY_BREAKcase 44:YY_RULE_SETUP#line 148 "./gecode/flatzinc/lexer.lxx"{ return FZ_STRING; } YY_BREAKcase 45:YY_RULE_SETUP#line 149 "./gecode/flatzinc/lexer.lxx"{ return FZ_TEST; } YY_BREAKcase 46:YY_RULE_SETUP#line 150 "./gecode/flatzinc/lexer.lxx"{ return FZ_THEN; } YY_BREAKcase 47:YY_RULE_SETUP#line 151 "./gecode/flatzinc/lexer.lxx"{ return FZ_TUPLE; } YY_BREAKcase 48:YY_RULE_SETUP#line 152 "./gecode/flatzinc/lexer.lxx"{ return FZ_TYPE; } YY_BREAKcase 49:YY_RULE_SETUP#line 153 "./gecode/flatzinc/lexer.lxx"{ yylval->bValue = true; return FZ_VAR; } YY_BREAKcase 50:YY_RULE_SETUP#line 154 "./gecode/flatzinc/lexer.lxx"{ return FZ_VARIANT_RECORD; } YY_BREAKcase 51:YY_RULE_SETUP#line 155 "./gecode/flatzinc/lexer.lxx"{ return FZ_WHERE; } YY_BREAKcase 52:YY_RULE_SETUP#line 156 "./gecode/flatzinc/lexer.lxx"{ yylval->sValue = strdup(yytext); return FZ_ID; } YY_BREAKcase 53:YY_RULE_SETUP#line 157 "./gecode/flatzinc/lexer.lxx"{ yylval->sValue = strdup(yytext); return FZ_U_ID; } YY_BREAKcase 54:YY_RULE_SETUP#line 158 "./gecode/flatzinc/lexer.lxx"{ yylval->sValue = strdup(yytext+1); yylval->sValue[strlen(yytext)-2] = 0; return FZ_STRING_LIT; } YY_BREAKcase 55:YY_RULE_SETUP#line 162 "./gecode/flatzinc/lexer.lxx"{ yyerror("Unknown character"); } YY_BREAKcase 56:YY_RULE_SETUP#line 163 "./gecode/flatzinc/lexer.lxx"ECHO; YY_BREAK#line 1325 "gecode/flatzinc/lexer.yy.cpp"case YY_STATE_EOF(INITIAL): 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)] : 1); 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 >= 221 ) 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 = 1; 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 >= 221 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; yy_is_jam = (yy_current_state == 220);
(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;
if ( c == '\n' ){ --yylineno; }
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;
if ( c == '\n' ) do{ yylineno++; yycolumn=0; }while(0);
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;}
#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;}
/* 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"
#line 163 "./gecode/flatzinc/lexer.lxx"
int yy_input_proc(char* buf, int size, yyscan_t yyscanner) { Gecode::FlatZinc::ParserState* parm = static_cast<Gecode::FlatZinc::ParserState*>(yyget_extra(yyscanner)); return parm->fillBuffer(buf, size); // work around warning that yyunput is unused yyunput (0,buf,yyscanner);}