123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490 |
- /*##############################################################################
- HPCC SYSTEMS software Copyright (C) 2012 HPCC Systems®.
- Licensed under the Apache License, Version 2.0 (the "License");
- you may not use this file except in compliance with the License.
- You may obtain a copy of the License at
- http://www.apache.org/licenses/LICENSE-2.0
- Unless required by applicable law or agreed to in writing, software
- distributed under the License is distributed on an "AS IS" BASIS,
- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- See the License for the specific language governing permissions and
- limitations under the License.
- ############################################################################## */
- #include "hqlgram.hpp"
- #include "hqlfold.hpp"
- #include "jiter.ipp"
- #include "jptree.hpp"
- #include "hqlerrors.hpp"
- #include "hqlthql.hpp"
- #include "hqlexpr.hpp"
- #include "jdebug.hpp"
- #include "hqlexpr.ipp"
- #include "hqlgram.h"
- #define YY_NO_UNISTD_H
- #include "hqllex.hpp"
- #include "eclrtl.hpp"
- //#define TIMING_DEBUG
- #define MAX_LOOP_TIMES 250000
- // =========================== local helper functions ===================================
- static bool isInModule(HqlLookupContext & ctx, const char* module_name, const char* attr_name);
- static StringBuffer& mangle(IErrorReceiver* errReceiver,const char* src, StringBuffer& mangled,bool demangle);
- static const char * skipws(const char * str)
- {
- while (isspace(*str))
- str++;
- return str;
- }
- // =========================== CDummyScopeIterator ======================================
- class CDummyScopeIterator : public IIterator, public CInterface
- {
- Linked<IXmlScope> parent;
- public:
- IMPLEMENT_IINTERFACE;
- CDummyScopeIterator(IXmlScope *_parent) : parent(_parent)
- {
- }
- ~CDummyScopeIterator ()
- {
- }
- virtual bool first()
- {
- return true;
- };
- virtual bool next()
- {
- return true;
- }
- virtual bool isValid()
- {
- return true;
- }
- virtual IInterface & query()
- {
- return *parent;
- }
- virtual IInterface & get()
- {
- IInterface &ret = query(); ret.Link(); return ret;
- }
- };
- // =========================== CTemplateContext =========================================
- class CTemplateContext : implements ITemplateContext, public CInterface
- {
- HqlLex * lexer;
- IXmlScope* m_xmlScope;
- int m_startLine,m_startCol;
- HqlLookupContext & m_lookupContext;
- public:
- IMPLEMENT_IINTERFACE;
- CTemplateContext(HqlLex * _lexer, HqlLookupContext & lookupContext, IXmlScope* xmlScope, int startLine,int startCol)
- : lexer(_lexer), m_xmlScope(xmlScope), m_lookupContext(lookupContext),
- m_startLine(startLine), m_startCol(startCol) {}
- virtual IXmlScope* queryXmlScope() { return m_xmlScope; }
- virtual IEclRepository* queryDataServer() { return m_lookupContext.queryRepository(); }
- // convenient functions
- virtual bool isInModule(const char* moduleName, const char* attrName) { return ::isInModule(m_lookupContext, moduleName,attrName); }
- virtual StringBuffer& getDataType(const char* field, StringBuffer& tgt) { return lexer->doGetDataType(tgt, field, m_startLine, m_startCol); }
- virtual StringBuffer& mangle(const char* src, StringBuffer& mangled) { return ::mangle(m_lookupContext.errs,src,mangled,false); }
- virtual StringBuffer& demangle(const char* mangled, StringBuffer& demangled) { return ::mangle(m_lookupContext.errs,mangled,demangled,true); }
- virtual void reportError(int errNo,const char* format,...) __attribute__((format(printf,3,4)));
- virtual void reportWarning(int warnNo,const char* format,...) __attribute__((format(printf,3,4)));;
- };
- void CTemplateContext::reportError(int errNo,const char* format,...)
- {
- if (m_lookupContext.errs)
- {
- va_list args;
- va_start(args, format);
- StringBuffer msg;
- msg.valist_appendf(format,args);
- m_lookupContext.errs->reportError(errNo,msg.str(),NULL,m_startLine,m_startCol,0);
- va_end(args);
- }
- }
- void CTemplateContext::reportWarning(int warnNo,const char* format,...)
- {
- if (m_lookupContext.errs)
- {
- va_list args;
- va_start(args, format);
- StringBuffer msg;
- msg.valist_appendf(format,args);
- WarnErrorCategory category = CategoryUnusual; // a reasonable default
- m_lookupContext.errs->reportWarning(category, warnNo,msg.str(),NULL,m_startLine,m_startCol,0);
- va_end(args);
- }
- }
- // ===================================== HqlLex ============================================
- class CHqlParserPseduoScope : public CHqlScope
- {
- protected:
- HqlGram * parser;
- public:
- CHqlParserPseduoScope(HqlGram * _parser) : CHqlScope(no_privatescope) { parser = _parser; }
- virtual IHqlExpression *lookupSymbol(IIdAtom * name, unsigned lookupFlags, HqlLookupContext & ctx)
- {
- attribute errpos;
- errpos.clearPosition();
- return parser->lookupSymbol(name, errpos);
- }
- virtual IHqlScope * queryConcreteScope() { return this; }
- virtual bool allBasesFullyBound() const { return true; }
- };
- // ===================================== HqlLex ============================================
- HqlLex::HqlLex(HqlGram *parser, IFileContents * contents, IXmlScope *_xmlScope, IHqlExpression *_macroExpr)
- : yyParser(parser), xmlScope(LINK(_xmlScope)), macroExpr(_macroExpr), sourcePath(contents->querySourcePath())
- {
- assertex(parser);
- init(contents);
- }
- void HqlLex::init(IFileContents * _text)
- {
- text.set(_text);
- inmacro = NULL;
- parentLex = NULL;
- inComment = false;
- inSignature = false;
- inCpp = false;
- inMultiString = false;
- hasHashbreak = false;
- encrypted = false;
- loopTimes = 0;
- skipNesting = 0;
- macroGathering = 0;
- forLoop = NULL;
- size32_t len = _text->length();
- yyBuffer = new char[len+2]; // Include room for \0 and another \0 that we write beyond the end null while parsing
- memcpy(yyBuffer, text->getText(), len);
- yyBuffer[len] = '\0';
- yyBuffer[len+1] = '\0';
- yyLineNo = 1;
- yyPosition = 0;
- yyColumn = 1;
- yyStartPos = 0;
- lastToken = 0;
- eclyylex_init(&scanner);
- eclyy_scan_buffer(yyBuffer, len+2, scanner);
- }
- ///////////////////////////////////////////////////
- // public destructor
- //
- HqlLex::~HqlLex()
- {
- eclyylex_destroy(scanner);
- scanner = NULL;
- delete[] yyBuffer;
- ::Release(xmlScope);
- ::Release(macroExpr);
- if (inmacro) delete inmacro;
- ::Release(forLoop);
- }
- char* HqlLex::get_yyText(void)
- {
- if (inmacro)
- return inmacro->get_yyText();
- return eclyyget_text(scanner);
- }
- IFileContents* HqlLex::query_FileContents(void)
- {
- if (inmacro)
- return inmacro->query_FileContents();
- return text;
- }
- bool HqlLex::isMacroActive(IHqlExpression *expr)
- {
- if (expr==macroExpr)
- return true;
- else if (parentLex)
- return parentLex->isMacroActive(expr);
- else
- return false;
- }
- bool HqlLex::assertNext(attribute & returnToken, int expected, unsigned code, const char * msg)
- {
- if (yyLex(returnToken, false,0) != expected)
- {
- reportError(returnToken, code, "%s", msg);
- returnToken.release();
- return false;
- }
- return true;
- }
- bool HqlLex::assertNextOpenBra()
- {
- attribute tempToken;
- return assertNext(tempToken, '(', ERR_EXPECTED_LEFTCURLY, "( expected");
- }
- bool HqlLex::assertNextComma()
- {
- attribute tempToken;
- return assertNext(tempToken, ',', ERR_EXPECTED_COMMA, ", expected");
- }
- StringBuffer &HqlLex::getTokenText(StringBuffer &ret)
- {
- if (inmacro)
- return inmacro->getTokenText(ret);
- return ret.append(yyPosition - yyStartPos, yyBuffer+yyStartPos);
- }
- IHqlExpression *HqlLex::lookupSymbol(IIdAtom * name, const attribute& errpos)
- {
- return yyParser->lookupSymbol(name, errpos);
- }
- unsigned HqlLex::hex2digit(char c)
- {
- if (c >= 'a')
- return (c - 'a' + 10);
- else if (c >= 'A')
- return (c - 'A' + 10);
- return (c - '0');
- }
- __uint64 HqlLex::str2uint64(unsigned len, const char * digits, unsigned base)
- {
- __uint64 value = 0;
- while (len--)
- {
- char c = *digits++;
- value = value * base + hex2digit(c);
- }
- return value;
- }
- void HqlLex::hex2str(char * target, const char * digits, unsigned len)
- {
- while (len)
- {
- *target++ = (hex2digit(digits[0]) << 4) | hex2digit(digits[1]);
- len -= 2;
- digits += 2;
- }
- }
- IHqlExpression * HqlLex::createIntegerConstant(__int64 value, bool isSigned)
- {
- return createConstant(createIntValue(value, makeIntType(8, isSigned)));
- }
- void HqlLex::pushText(IFileContents * text, int startLineNo, int startColumn)
- {
- #ifdef TIMING_DEBUG
- MTIME_SECTION(timer, "HqlLex::pushText");
- #endif
- bool useLegacyImport = hasLegacyImportSemantics();
- bool useLegacyWhen = hasLegacyWhenSemantics();
- inmacro = new HqlLex(yyParser, text, NULL, NULL);
- inmacro->setLegacyImport(useLegacyImport);
- inmacro->setLegacyWhen(useLegacyWhen);
- inmacro->set_yyLineNo(startLineNo);
- inmacro->set_yyColumn(startColumn);
- }
- void HqlLex::pushText(const char *s, int startLineNo, int startColumn)
- {
- Owned<IFileContents> macroContents = createFileContentsFromText(s, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0);
- pushText(macroContents, startLineNo, startColumn);
- }
- void HqlLex::pushText(const char *s)
- {
- #ifdef TIMING_DEBUG
- MTIME_SECTION(timer, "HqlLex::pushText");
- #endif
- Owned<IFileContents> macroContents = createFileContentsFromText(s, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0);
- bool useLegacyImport = hasLegacyImportSemantics();
- bool useLegacyWhen = hasLegacyWhenSemantics();
- inmacro = new HqlLex(yyParser, macroContents, NULL, NULL);
- inmacro->setLegacyImport(useLegacyImport);
- inmacro->setLegacyWhen(useLegacyWhen);
- inmacro->set_yyLineNo(yyLineNo);
- inmacro->set_yyColumn(yyColumn);
- #if defined (TRACE_MACRO)
- DBGLOG("MACRO>> inmacro %p created for \"%s\" for macro parameters.\n",inmacro,s);
- #endif
- }
- bool HqlLex::hasLegacyImportSemantics() const
- {
- if (inmacro)
- return inmacro->hasLegacyImportSemantics();
- return legacyImportMode;
- }
- bool HqlLex::hasLegacyWhenSemantics() const
- {
- if (inmacro)
- return inmacro->hasLegacyWhenSemantics();
- return legacyWhenMode;
- }
- void HqlLex::setMacroParam(const attribute & errpos, IHqlExpression* funcdef, StringBuffer& curParam, IIdAtom * argumentId, unsigned& parmno,IProperties *macroParms)
- {
- IHqlExpression * formals = queryFunctionParameters(funcdef);
- IHqlExpression * defaults = queryFunctionDefaults(funcdef);
- unsigned numFormals = formals->numChildren();
- unsigned thisParam = (unsigned)-1;
- if (argumentId)
- {
- IAtom * argumentName = lower(argumentId);
- unsigned argNum = 0;
- for (unsigned i=0; i < numFormals; i++)
- {
- if (formals->queryChild(i)->queryName() == argumentName)
- {
- argNum = i+1;
- break;
- }
- }
- if (argNum == 0)
- reportError(errpos, ERR_NAMED_PARAM_NOT_FOUND, "Named parameter '%s' not found in macro", str(argumentId));
- else
- thisParam = argNum;
- }
- else
- thisParam = ++parmno;
- if (thisParam <= numFormals)
- {
- IHqlExpression* formal = formals->queryChild(thisParam-1);
- if (curParam.length()==0)
- {
- IHqlExpression* def = queryDefaultValue(defaults, thisParam-1);
- if (!def)
- {
- StringBuffer msg("Omitted parameter ");
- msg.append(parmno).append(" has no default value");
- reportError(errpos, ERR_PARAM_NODEFVALUE, "%s", msg.str());
- }
- else
- {
- if (!getFoldedConstantText(curParam, def))
- {
- StringBuffer msg("Default value for parameter ");
- msg.append(parmno).append(" should be a constant");
- reportError(errpos, ERR_PARAM_NODEFVALUE, "%s", msg.str());
- }
- }
- }
- macroParms->setProp(str(formal->queryName()), curParam.str());
- }
- curParam.clear();
- }
- /* This is pushing a macro definition. */
- void HqlLex::pushMacro(IHqlExpression *expr)
- {
- /* expr points to namedSymbol(no_funcdef):
- child(0)-> no_macro = macro body
- child(1) = parameters
- child(2) = defaults for parameters
- */
- attribute nextToken;
- int tok = yyLex(nextToken, false, 0);
- if (tok != '(')
- {
- //throw MakeStringException(2, "( expected");
- reportError(nextToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- if (tok==EOF)
- return;
- // assume we've got an '(', we can continue parsing.
- }
- unsigned parenDepth = 1;
- StringBuffer curParam;
- Owned<IProperties> macroParms = createProperties();
- IHqlExpression * formals = expr->queryChild(1);
- IHqlExpression * defaults = expr->queryChild(2);
- unsigned formalParmCt = formals->numChildren();
- unsigned parmno = 0;
- IIdAtom * possibleName = NULL;
- IIdAtom * argumentName = NULL;
- while (parenDepth)
- {
- tok = yyLex(nextToken, false, 0);
- switch(tok)
- {
- case '[':
- case '(':
- parenDepth++;
- curParam.append((char)tok);
- break;
- case ']':
- if (parenDepth > 1)
- parenDepth--;
- curParam.append((char)tok);
- break;
- case ')':
- parenDepth--;
- if (parenDepth)
- curParam.append(')');
- else if (formalParmCt>0 || curParam.length()>0) // handle last parameter
- setMacroParam(nextToken, expr, curParam, argumentName, parmno, macroParms);
- break;
- case ',':
- if (parenDepth==1)
- setMacroParam(nextToken, expr, curParam, argumentName, parmno, macroParms);
- else
- curParam.append(',');
- possibleName = NULL;
- argumentName = NULL;
- break;
- case ASSIGN:
- {
- bool done = false;
- if (parenDepth == 1 && possibleName)
- {
- //Horrible. Allow NAMED <id> := or <id> :=
- const char * text = curParam.str();
- while (isspace((byte)*text)) text++;
- if (memicmp(text, "NAMED", 5) == 0)
- text += 5;
- while (isspace((byte)*text)) text++;
- if (strlen(str(possibleName)) == strlen(text))
- {
- argumentName = possibleName;
- possibleName = NULL;
- curParam.clear();
- done = true;
- }
- }
- if (!done)
- getTokenText(curParam.append(' '));
- break;
- }
- case EOF:
- reportError(nextToken, ERR_MACRO_EOFINPARAM,"EOF encountered while gathering macro parameters");
- // no attempt to recover at the end of the file, but cleanup is needed.
- return;
- case UNKNOWN_ID:
- possibleName = nextToken.getId();
- curParam.append(' ').append(str(possibleName));
- break;
- default:
- curParam.append(' ');
- getTokenText(curParam);
- break;
- }
- nextToken.release();
- }
- if (parmno > formalParmCt)
- {
- StringBuffer msg("Too many actual parameters supplied to macro");
- if (expr->queryName())
- msg.append(' ').append(expr->queryName());
- msg.appendf(": expected %d, given %d", formalParmCt, parmno);
- reportError(nextToken, ERR_PARAM_TOOMANY, "%s", msg.str());
- }
- else if (parmno < formalParmCt)
- {
- for (unsigned idx = parmno; idx < formalParmCt; idx++)
- {
- IHqlExpression* formal = formals->queryChild(idx);
- if (!macroParms->queryProp(str(formal->queryName())))
- {
- IHqlExpression* def = queryDefaultValue(defaults, idx);
- if (def)
- {
- if (!getFoldedConstantText(curParam, def))
- {
- StringBuffer msg("Omitted parameter ");
- msg.append(idx+1);
- if (expr->queryName())
- msg.append(" to macro ").append(expr->queryName());
- msg.append(" should be a constant value");
- reportError(nextToken, ERR_PARAM_NODEFVALUE, "%s", msg.str());
- }
- macroParms->setProp(str(formal->queryName()), curParam.str());
- //DBGLOG("Set macro parm: %s", curParam.str());
- curParam.clear();
- }
- else
- {
- StringBuffer msg("Omitted parameter ");
- msg.append(idx+1);
- if (expr->queryName())
- msg.append(" to macro ").append(expr->queryName());
- msg.append(" has no default value");
- reportError(nextToken, ERR_PARAM_NODEFVALUE, "%s", msg.str());
- }
- }
- }
- }
- IHqlExpression *macroBodyExpr = expr->queryChild(0);
- IFileContents * macroContents = static_cast<IFileContents *>(macroBodyExpr->queryUnknownExtra());
- if (isMacroActive(expr))
- {
- StringBuffer msg;
- msg.append("recursive macro call: ").append(getMacroName());
- reportError(nextToken, ERR_MACRO_RECURSIVE, "%s", msg.str());
- // error recovery
- if (expr->isAction())
- pushText("0;");
- else if (expr->isDataset())
- pushText("{}");
- else
- pushText("0 ENDMACRO");
- }
- else
- {
- bool useLegacyImport = hasLegacyImportSemantics();
- bool useLegacyWhen = hasLegacyWhenSemantics();
- inmacro = new HqlLex(yyParser, macroContents, NULL, LINK(expr));
- inmacro->setLegacyImport(useLegacyImport);
- inmacro->setLegacyWhen(useLegacyWhen);
- #if defined(TRACE_MACRO)
- DBGLOG("MACRO>> inmacro %p created for \"%s\" at %d:%d\n",inmacro, s.str(),macroBodyExpr->getStartLine(),macroBodyExpr->getStartColumn());
- // DBGLOG("MACRO>> macro called at %d:%d\n", expr->getStartLine(),expr->getStartColumn());
- #endif
- /* set the lineno and column in the original source as the starting point */
- inmacro->yyLineNo = macroBodyExpr->getStartLine();
- inmacro->yyColumn = macroBodyExpr->getStartColumn();
- inmacro->setParentLex(this);
- inmacro->macroParms.setown(macroParms.getClear());
- }
- }
- void HqlLex::checkSignature(const attribute & dummyToken)
- {
- if (yyParser->lookupCtx.queryParseContext().ignoreSignatures)
- return;
- try
- {
- yyParser->gpgSignature.setown(::checkSignature(text->length(), text->getText()));
- yyParser->inSignedModule = true;
- }
- catch (IException *e)
- {
- StringBuffer msg;
- e->errorMessage(msg);
- reportWarning(CategorySecurity, dummyToken, WRN_SECURITY_SIGNERROR, "%s", msg.str());
- e->Release();
- }
- }
- /* Read encrypted syntax, and push the decrypted text as a macro. */
- void HqlLex::processEncrypted()
- {
- attribute nextToken;
- if (yyLex(nextToken, false,0) != '(')
- {
- reportError(nextToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- nextToken.release();
- return;
- }
- StringBuffer encoded64;
- for (;;)
- {
- if (yyLex(nextToken, false,0) != STRING_CONST)
- {
- reportError(nextToken, ERR_EXPECTED, "String expected");
- nextToken.release();
- return;
- }
- OwnedHqlExpr str = nextToken.getExpr();
- getStringValue(encoded64, str);
- int next = yyLex(nextToken, false,0);
- if (next == ')')
- break;
- if (next != ',')
- {
- reportError(nextToken, ERR_EXPECTED_COMMA, ", expected");
- nextToken.release();
- return;
- }
- }
- if (yyLex(nextToken, false,0) != ';')
- {
- reportError(nextToken, ERR_EXPECTED, "; expected");
- nextToken.release();
- return;
- }
- MemoryBuffer decrypted;
- decryptEclAttribute(decrypted, encoded64.str());
- decrypted.append(0); // add a null terminator to the string...
- Owned<ISourcePath> sourcePath = createSourcePath("<encrypted>");
- Owned<IFileContents> decryptedContents = createFileContentsFromText((const char *)decrypted.toByteArray(), sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, text->getTimeStamp());
- bool useLegacyImport = hasLegacyImportSemantics();
- bool useLegacyWhen = hasLegacyWhenSemantics();
- inmacro = new HqlLex(yyParser, decryptedContents, NULL, NULL);
- inmacro->setLegacyImport(useLegacyImport);
- inmacro->setLegacyWhen(useLegacyWhen);
- inmacro->setParentLex(this);
- inmacro->encrypted = true;
- }
- /* Return: true if more parameter(s) left. */
- bool HqlLex::getParameter(StringBuffer &curParam, const char* for_what, int* startLine, int* startCol)
- {
- unsigned parenDepth = 1;
- if (startLine) *startLine = -1;
- attribute nextToken;
- for (;;)
- {
- int tok = yyLex(nextToken, false, 0);
- if (startLine && *startLine == -1)
- {
- *startLine = nextToken.pos.lineno;
- *startCol = nextToken.pos.column;
- }
- switch(tok)
- {
- case '(':
- case '[':
- parenDepth++;
- curParam.append((char) tok);
- break;
- case ')':
- if (parenDepth==1)
- return false;
- // fall into
- case ']':
- parenDepth--;
- curParam.append((char) tok);
- break;
- case ',':
- if (parenDepth==1)
- return true;
- curParam.append(',');
- break;
- case EOF:
- {
- StringBuffer msg("EOF encountered while gathering parameters for ");
- msg.append(for_what);
- reportError(nextToken, ERR_TMPLT_EOFINPARAM, "%s", msg.str());
- }
- return false;
- default:
- curParam.append(' ');
- getTokenText(curParam);
- break;
- }
- nextToken.release();
- }
- }
- void HqlLex::doSkipUntilEnd(attribute & returnToken, const char * forwhat)
- {
- while (skipNesting)
- {
- int tok = yyLex(returnToken, false,0);
- returnToken.release();
- if (tok == EOF)
- {
- StringBuffer msg;
- msg.appendf("Unexpected EOF in %s: #END expected",forwhat);
- reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "%s", msg.str());
- clearNestedHash(); // prevent unnecessary more error messages
- break;
- }
- }
- }
- void HqlLex::doIf(attribute & returnToken, bool isElseIf)
- {
- StringBuffer forwhat;
- int line = returnToken.pos.lineno, col = returnToken.pos.column;
- forwhat.appendf("#IF(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- int tok = yyLex(returnToken, false, 0);
- if (tok != '(')
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected"); // MORE - make it fatal!
- StringBuffer curParam("(");
- if (getParameter(curParam, forwhat.str()))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
- StringBuffer dummy;
- while (getParameter(dummy,forwhat.str()))
- ;
- }
- curParam.append(')');
- Owned<IValue> value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),line,col);
- if (value && !value->getBoolValue())
- {
- setHashEndFlags(0);
- skipNesting = 1;
- if (!isElseIf)
- doSkipUntilEnd(returnToken, forwhat);
- }
- else
- setHashEndFlags(HEFhadtrue);
- }
- int HqlLex::doElse(attribute & returnToken, bool lookup, const short * activeState, bool isElseIf)
- {
- StringBuffer forwhat;
- forwhat.appendf("#%s(%d,%d)",isElseIf ? "ELSEIF" : "ELSE", returnToken.pos.lineno,returnToken.pos.column);
- if ((hashendKinds.ordinality() == 0) || (hashendKinds.tos() != HashStmtIf))
- {
- reportError(returnToken, ERR_TMPLT_EXTRAELSE,"#ELSE does not match a #IF");
- return SKIPPED;
- }
- unsigned flags = hashendFlags.tos();
- if (!isElseIf)
- {
- if (flags & HEFhadelse)
- reportError(returnToken, ERR_TMPLT_EXTRAELSE,"Multiple #ELSE for the same #IF");
- setHashEndFlags(flags|HEFhadelse);
- }
- switch (skipNesting)
- {
- case 0:
- skipNesting = 1;
- doSkipUntilEnd(returnToken, forwhat);
- return yyLex(returnToken, lookup, activeState);
- case 1:
- if (flags & HEFhadtrue)
- {
- //Don't need to do anything
- }
- else
- {
- skipNesting = 0;
- if (isElseIf)
- doIf(returnToken, true);
- else
- setHashEndFlags(HEFhadtrue|HEFhadelse);
- }
- return SKIPPED; // looks wrong, but called within a doIf() loop, and first return is ignored
- default:
- return SKIPPED;
- }
- }
- int HqlLex::doEnd(attribute & returnToken, bool lookup, const short * activeState)
- {
- if (hashendKinds.ordinality() != 0)
- {
- endNestedHash();
- if (skipNesting)
- {
- skipNesting -= 1;
- return(HASHEND);
- }
- }
- else
- reportError(returnToken, ERR_TMPLT_EXTRAEND,"#END doesn't match a # command");
- return yyLex(returnToken, lookup, activeState);
- }
- void HqlLex::doDeclare(attribute & returnToken)
- {
- StringBuffer forwhat;
- forwhat.appendf("#DECLARE(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- IIdAtom * name = NULL;
- if (yyLex(returnToken, false,0) != '(')
- {
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- returnToken.release();
- return;
- }
- for (;;)
- {
- int tok = yyLex(returnToken, false,0);
- if (tok == EOF)
- {
- StringBuffer msg;
- msg.append("Unexpected EOF in ").append(forwhat.str()).append(": ')' expected");
- reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "%s", msg.str());
- clearNestedHash(); // prevent unnecessary more error messages
- return;
- }
- if (tok != UNKNOWN_ID)
- {
- reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
- returnToken.release();
- continue;
- }
- name = returnToken.getId();
- declareXmlSymbol(returnToken, str(name));
- tok = yyLex(returnToken, false,0);
- if (tok == ')')
- break;
- else if (tok == ',')
- continue;
- else if (tok == EOF)
- {
- StringBuffer msg;
- msg.append("Unexpected EOF in ").append(forwhat.str()).append(": ) expected");
- reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "%s", msg.str());
- clearNestedHash(); // prevent unnecessary more error messages
- }
- else
- {
- reportError(returnToken, ERR_EXPECTED, "',' or ')' expected");
- returnToken.release();
- }
- }
- }
- void HqlLex::doExpand(attribute & returnToken)
- {
- StringBuffer forwhat;
- forwhat.appendf("#DECLARE(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- if (yyLex(returnToken, false,0) != '(')
- {
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- returnToken.release();
- return;
- }
- StringBuffer curParam("(");
- int startLine, startCol;
- if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
- StringBuffer dummy;
- while (getParameter(dummy,forwhat.str()))
- ;
- }
- curParam.append(')');
- Owned<IValue> value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
- if (value)
- {
- StringBuffer buf;
- value->getUTF8Value(buf);
- if (buf.length())
- pushText(buf.str());
- }
- }
- void HqlLex::doSet(attribute & returnToken, bool append)
- {
- StringBuffer forwhat;
- forwhat.appendf("%s(%d,%d)",append?"#APPEND":"#SET",returnToken.pos.lineno,returnToken.pos.column);
- IIdAtom * name = NULL;
- if (yyLex(returnToken, false,0) != '(')
- {
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- returnToken.release();
- return;
- }
- if (yyLex(returnToken, false,0) != UNKNOWN_ID)
- {
- reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
- returnToken.release();
- return;
- }
- name = returnToken.getId();
- if (yyLex(returnToken, false,0) != ',')
- {
- reportError(returnToken, ERR_EXPECTED_COMMA, ", expected");
- return;
- }
- StringBuffer curParam("(");
- int startLine, startCol;
- if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
- StringBuffer dummy;
- while (getParameter(dummy,forwhat.str()))
- ;
- }
- curParam.append(')');
- IValue *value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
- if (value)
- {
- StringBuffer buf;
- value->getStringValue(buf);
- setXmlSymbol(returnToken, str(name), buf.str(), append);
- value->Release();
- }
- }
- void HqlLex::doLine(attribute & returnToken)
- {
- StringBuffer forwhat;
- int line = returnToken.pos.lineno, col = returnToken.pos.column;
- forwhat.appendf("LINE(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- IIdAtom * name = NULL;
- if (yyLex(returnToken, false,0) != '(')
- {
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- returnToken.release();
- return;
- }
- StringBuffer curParam("(");
- bool moreParams = getParameter(curParam, forwhat.str(), &line, &col);
- curParam.append(')');
- IValue *value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),line,col);
- if (value && value->getTypeCode()==type_int)
- {
- returnToken.pos.lineno = yyLineNo = (int)value->getIntValue();
- }
- else
- reportError(returnToken, ERR_EXPECTED_CONST, "Constant integer expression expected");
- ::Release(value);
- if (moreParams)
- {
- int startLine, startCol;
- if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
- StringBuffer dummy;
- while (getParameter(dummy,forwhat.str()))
- ;
- }
- curParam.append(')');
- IValue *value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
- if (value && value->getTypeCode()==type_string)
- {
- StringBuffer buf;
- value->getStringValue(buf);
- // MORE - set filename here
- value->Release();
- }
- else
- reportError(returnToken, ERR_EXPECTED_CONST, "Constant string expression expected");
- }
- }
- bool HqlLex::readCheckNextToken(attribute & returnToken, int expected, unsigned errCode, const char * msg)
- {
- if (yyLex(returnToken, false, 0) == expected)
- return true;
- reportError(returnToken, errCode, "%s", msg);
- returnToken.release();
- return false;
- }
- void HqlLex::doSlashSlashHash(attribute const & returnToken, const char * command)
- {
- if (inmacro)
- {
- inmacro->doSlashSlashHash(returnToken, command);
- return;
- }
- if (macroGathering)
- return;
- if (hasPrefix(command, "import", false))
- {
- const char * next = skipws(command + 6);
- if (*next == '(')
- {
- next = skipws(next + 1);
- const char * bra = strchr(next, ')');
- if (bra)
- {
- StringBuffer option(bra - next, next);
- option.clip();
- if (strieq(option, "legacy"))
- setLegacyImport(true);
- else if (strieq(option, "modern"))
- setLegacyImport(false);
- else
- reportError(returnToken, ERR_EXPECTED_ID, "Unknown #import option '%s' - expected legacy or modern", option.str());
- }
- else
- reportError(returnToken, ERR_EXPECTED_RIGHTCURLY, "Expected closing )");
- }
- else
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "Expected (");
- }
- else if (hasPrefix(command, "when", false))
- {
- const char * next = skipws(command + 4);
- if (*next == '(')
- {
- next = skipws(next + 1);
- const char * bra = strchr(next, ')');
- if (bra)
- {
- StringBuffer option(bra - next, next);
- option.clip();
- if (strieq(option, "legacy"))
- setLegacyWhen(true);
- else if (strieq(option, "modern"))
- setLegacyWhen(false);
- else
- reportError(returnToken, ERR_EXPECTED_ID, "Unknown #import option '%s' - expected legacy or modern", option.str());
- }
- else
- reportError(returnToken, ERR_EXPECTED_RIGHTCURLY, "Expected closing )");
- }
- else
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "Expected (");
- }
- //Ignore any unrecognised commands
- }
- void HqlLex::doError(attribute & returnToken, bool isError)
- {
- StringBuffer forwhat;
- forwhat.appendf("%s(%d,%d)",isError?"#ERROR":"#WARNING",returnToken.pos.lineno,returnToken.pos.column);
- IIdAtom * name = NULL;
- if (yyLex(returnToken, false,0) != '(')
- {
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- returnToken.release();
- return;
- }
- StringBuffer curParam("(");
- int startLine, startCol;
- if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
- StringBuffer dummy;
- while (getParameter(dummy,forwhat.str()))
- ;
- }
- curParam.append(')');
- StringBuffer buf;
- OwnedIValue value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
- if (value)
- {
- value->getStringValue(buf);
- }
- else
- buf.append(curParam.length()-2, curParam.str()+1);
- if (isError)
- reportError(returnToken, ERR_HASHERROR, "#ERROR: %s", buf.str());
- else
- reportWarning(CategoryUnusual, returnToken, WRN_HASHWARNING, "#WARNING: %s", buf.str());
- }
- void HqlLex::doExport(attribute & returnToken, bool toXml)
- {
- StringBuffer forwhat;
- forwhat.appendf("#EXPORT(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- IIdAtom * exportname = NULL;
- if (yyLex(returnToken, false,0) != '(')
- {
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- returnToken.release();
- return;
- }
- if (yyLex(returnToken, false,0) != UNKNOWN_ID)
- {
- reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
- returnToken.release();
- return;
- }
- exportname = returnToken.getId();
- if (yyLex(returnToken, false,0) != ',')
- {
- reportError(returnToken, ERR_EXPECTED_COMMA, ", expected");
- return;
- }
- IPropertyTree *data = createPTree("Data", ipt_caseInsensitive);
- for (;;)
- {
- StringBuffer curParam("SIZEOF(");
- bool more = getParameter(curParam,"#EXPORT");
- curParam.append(",MAX)");
- OwnedHqlExpr expr;
- Owned<IHqlScope> scope = new CHqlParserPseduoScope(yyParser);
- try
- {
- HqlLookupContext ctx(yyParser->lookupCtx);
- Owned<IFileContents> exportContents = createFileContentsFromText(curParam.str(), sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0);
- expr.setown(parseQuery(scope, exportContents, ctx, xmlScope, NULL, true, false));
- if (expr && (expr->getOperator() == no_sizeof))
- {
- IHqlExpression * child = expr->queryChild(0);
- node_operator op = child->getOperator();
- if(op==no_table || op==no_usertable || op==no_newusertable || op == no_record || op == no_select || op == no_field)
- exportData(data, child, true);
- else if (child->queryRecord())
- exportData(data, child->queryRecord(), true);
- else
- reportError(returnToken, ERR_EXPECTED_COMMA, "DATASET or TABLE expression expected");
- }
- else
- reportError(returnToken, ERR_EXPECTED_COMMA, "Could not parse the argument passed to #EXPORT");
- }
- catch (...)
- {
- setXmlSymbol(returnToken, str(exportname), "", false);
- IERRLOG("Unexpected exception in doExport()");
- }
- if (!more)
- break;
- }
- StringBuffer buf;
- toXML(data, buf, 0);
- if (toXml)
- ensureTopXmlScope()->loadXML(buf.str(), str(exportname));
- else
- setXmlSymbol(returnToken, str(exportname), buf.str(), false);
- data->Release();
- }
- void HqlLex::doTrace(attribute & returnToken)
- {
- StringBuffer forwhat;
- forwhat.appendf("#TRACE(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- IIdAtom * name = NULL;
- if (yyLex(returnToken, false,0) != '(')
- {
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- returnToken.release();
- return;
- }
- StringBuffer curParam("(");
- int startLine, startCol;
- if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
- StringBuffer dummy;
- while (getParameter(dummy,forwhat.str()))
- ;
- }
- curParam.append(')');
- Owned<IValue> value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
- if (value)
- {
- StringBuffer buf;
- value->getStringValue(buf);
- FILE *trace = fopen("hql.log", "at");
- if (trace)
- {
- fwrite(buf.str(),buf.length(),1,trace);
- fclose(trace);
- }
- }
- }
- void HqlLex::doFor(attribute & returnToken, bool doAll)
- {
- //MTIME_SECTION(timer, "HqlLex::doFor")
- int startLine = -1, startCol = 0;
- StringBuffer forwhat;
- forwhat.appendf("#FOR(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- IIdAtom * name = NULL;
- if (yyLex(returnToken, false,0) != '(')
- {
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- returnToken.release();
- return;
- }
- if (yyLex(returnToken, false,0) != UNKNOWN_ID)
- {
- reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
- returnToken.release();
- return;
- }
- name = returnToken.getId();
- StringBuffer forFilterText;
- // Note - we gather the for filter and body in skip mode (deferring evaluation of #if etc) since the context will be different each time...
- skipNesting = 1;
- int tok = yyLex(returnToken, false,0);
- if (tok == '(')
- {
- forFilterText.append('(');
- while (getParameter(forFilterText, forwhat.str()))
- forFilterText.append(") AND (");
- forFilterText.append(')');
- tok = yyLex(returnToken, false,0);
- }
- if (tok != ')')
- {
- reportError(returnToken, ERR_EXPECTED_RIGHTCURLY, ") expected");
- // recovery: assume a ')' is here. And push back the token.
- pushText(get_yyText());
- returnToken.release();
- }
- // Now gather the tokens we are going to repeat...
- StringBuffer forBodyText;
- for (;;)
- {
- int tok = yyLex(returnToken, false,0);
- if (startLine == -1)
- {
- startLine = returnToken.pos.lineno - 1;
- startCol = returnToken.pos.column;
- }
- if (tok == EOF)
- {
- reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "EOF encountered inside %s: #END expected", forwhat.str());
- clearNestedHash(); // prevent unnecessary more error messages
- return;
- }
- if (tok == HASHEND && !skipNesting)
- break;
- forBodyText.append(' ');
- getTokenText(forBodyText);
- returnToken.release();
- }
- ::Release(forLoop);
- forLoop = getSubScopes(returnToken, str(name), doAll);
- if (forFilterText.length())
- forFilter.setown(createFileContentsFromText(forFilterText, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0));
- forBody.setown(createFileContentsFromText(forBodyText, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0));
- loopTimes = 0;
- if (forLoop && forLoop->first()) // more - check filter
- checkNextLoop(returnToken, true, startLine, startCol);
- }
- void HqlLex::doLoop(attribute & returnToken)
- {
- int startLine = -1, startCol = 0;
- StringBuffer forwhat;
- forwhat.appendf("#LOOP(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- // Now gather the tokens we are going to repeat...
- StringBuffer forBodyText;
- // Note - we gather the for filter and body in skip mode (deferring evaluation of #if etc) since the context will be different each time...
- skipNesting = 1;
- hasHashbreak = false;
- for (;;)
- {
- int tok = yyLex(returnToken, false,0);
- if (startLine == -1)
- {
- startLine = returnToken.pos.lineno-1;
- startCol = returnToken.pos.column;
- }
- if (tok == EOF)
- {
- reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "EOF encountered inside %s: #END expected",forwhat.str());
- clearNestedHash(); // prevent unnecessary more error messages
- return;
- }
- if (tok == HASHEND && !skipNesting)
- break;
- forBodyText.append(' ');
- getTokenText(forBodyText);
- returnToken.release();
- }
- if (!hasHashbreak)
- {
- reportError(returnToken, ERR_TMPLT_NOBREAKINLOOP,"No #BREAK inside %s: infinite loop will occur", forwhat.str());
- return;
- }
- ::Release(forLoop);
- forLoop = new CDummyScopeIterator(ensureTopXmlScope());
- forFilter.clear();
- forBody.setown(createFileContentsFromText(forBodyText, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0));
- loopTimes = 0;
- if (forLoop->first()) // more - check filter
- checkNextLoop(returnToken, true,startLine,startCol);
- }
- void HqlLex::doGetDataType(attribute & returnToken)
- {
- int tok = yyLex(returnToken, false,0);
- if (tok != '(')
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected"); // MORE - make it fatal!
- StringBuffer curParam("(");
- if (getParameter(curParam, "#GETDATATYPE"))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
- StringBuffer dummy;
- while (getParameter(dummy,"#GETDATATYPE"))
- ;
- }
- curParam.append(')');
- StringBuffer type;
- doGetDataType(type, curParam.str(), returnToken.pos.lineno, returnToken.pos.column);
- pushText(type.str());
- }
- StringBuffer& HqlLex::doGetDataType(StringBuffer & type, const char * text, int lineno, int column)
- {
- OwnedHqlExpr expr = parseECL(text, queryTopXmlScope(), lineno, column);
- if(expr)
- {
- type.append('\'');
- if (expr->queryType())
- expr->queryType()->getECLType(type);
- type.append('\'');
- }
- else
- type.append("'unknown_type'");
- return type;
- }
- int HqlLex::doHashText(attribute & returnToken)
- {
- StringBuffer forwhat;
- forwhat.appendf("#TEXT(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- if (yyLex(returnToken, false,0) != '(')
- {
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- returnToken.release();
- returnToken.setExpr(createBlankString());
- return STRING_CONST;
- }
- StringBuffer parameterText;
- bool moreParams = getParameter(parameterText, forwhat.str());
- if (!moreParams)
- {
- while (parameterText.length() && parameterText.charAt(0)==' ')
- parameterText.remove(0, 1);
- }
- else
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
- StringBuffer dummy;
- while (getParameter(dummy,forwhat.str()))
- ;
- }
- returnToken.setExpr(createConstant(parameterText));
- return (STRING_CONST);
- }
- void HqlLex::doInModule(attribute & returnToken)
- {
- #ifdef TIMING_DEBUG
- MTIME_SECTION(timer, "HqlLex::doInModule");
- #endif
- int tok = yyLex(returnToken, false,0);
- if (tok != '(')
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- StringBuffer moduleName, attrName;
- if (getParameter(moduleName,"#INMODULE"))
- {
- if (getParameter(attrName,"#INMODULE"))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
- /* skip the rest */
- StringBuffer dummy;
- while (getParameter(dummy,"#INMODULE"))
- ;
- }
- }
- else
- {
- reportError(returnToken, ERR_PARAM_TOOFEW,"Too few parameters: #INMODULE needs 2");
- /* recovery */
- pushText("true");
- return;
- }
- if (isInModule(yyParser->lookupCtx, moduleName.str(),attrName.str()))
- pushText("true");
- else
- pushText("false");
- }
- static bool isInModule(HqlLookupContext & ctx, const char* moduleName, const char* attrName)
- {
- if (!ctx.queryRepository())
- return false;
- try
- {
- //hack: get rid of the extra leading spaces
- const char* pModule = moduleName;
- while(*pModule==' ') pModule++;
- const char* pAttr = attrName;
- while(*pAttr==' ') pAttr++;
- OwnedHqlExpr match = ctx.queryRepository()->queryRootScope()->lookupSymbol(createIdAtom(pModule), LSFpublic, ctx);
- IHqlScope * scope = match ? match->queryScope() : NULL;
- if (scope)
- {
- OwnedHqlExpr expr = scope->lookupSymbol(createIdAtom(pAttr), LSFpublic, ctx);
- if (expr)
- return true;
- }
- }
- catch (...)
- {
- IERRLOG("Unexpected exception in doInModule()");
- }
- return false;
- }
- void HqlLex::doUniqueName(attribute & returnToken)
- {
- int tok = yyLex(returnToken, false,0);
- if (tok != '(')
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- else
- tok = yyLex(returnToken, false,0);
- if (tok != UNKNOWN_ID)
- {
- reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
- returnToken.release();
- }
- else
- {
- IIdAtom * name = returnToken.getId();
- StringAttr pattern("__#__$__");
- tok = yyLex(returnToken, false,0);
- if (tok == ',')
- {
- tok = yyLex(returnToken, false,0);
- if (tok == STRING_CONST)
- {
- StringBuffer text;
- OwnedHqlExpr str = returnToken.getExpr();
- getStringValue(text, str);
- pattern.set(text.str());
- tok = yyLex(returnToken, false,0);
- }
- else
- reportError(returnToken, ERR_EXPECTED, "string expected");
- }
- declareUniqueName(str(name), pattern);
- }
- if (tok != ')')
- reportError(returnToken, ERR_EXPECTED_RIGHTCURLY, ") expected");
- }
- static int gUniqueId = 0;
- void resetLexerUniqueNames() { gUniqueId = 0; }
- void HqlLex::declareUniqueName(const char *name, const char * pattern)
- {
- IXmlScope *top = ensureTopXmlScope();
- StringBuffer value;
- if (!top->getValue(name,value))
- top->declareValue(name);
- StringBuffer uniqueName;
- bool added = false;
- for (const char * cur = pattern; *cur; cur++)
- {
- char next = *cur;
- switch (next)
- {
- case '#':
- uniqueName.append(name);
- break;
- case '$':
- uniqueName.append(++gUniqueId);
- added = true;
- break;
- default:
- uniqueName.append(next);
- break;
- }
- }
- if (!added)
- uniqueName.append(++gUniqueId);
- //DBGLOG("Declaring unique name: %s",uniqueName.str());
- top->setValue(name,uniqueName.str());
- }
- void HqlLex::doIsValid(attribute & returnToken)
- {
- int tok = yyLex(returnToken, false,0);
- if (tok != '(')
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
- StringBuffer curParam("(");
- if (getParameter(curParam,"#ISVALID"))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
- StringBuffer dummy;
- while (getParameter(dummy,"#ISVALID"))
- ;
- }
- curParam.append(')');
- IHqlExpression * expr = NULL;
- IHqlScope *scope = createScope();
- try
- {
- HqlLookupContext ctx(yyParser->lookupCtx);
- ctx.errs.clear(); //Deliberately ignore any errors
- Owned<IFileContents> contents = createFileContentsFromText(curParam.str(), sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0);
- expr = parseQuery(scope, contents, ctx, xmlScope, NULL, true, false);
- if(expr)
- {
- pushText("true");
- }
- else
- {
- pushText("false");
- }
- }
- catch (...)
- {
- pushText("false");
- IERRLOG("Unexpected exception in doIsValid()");
- }
- ::Release(expr);
- ::Release(closeScope(scope));
- }
- void HqlLex::checkNextLoop(const attribute & errpos, bool first, int startLine, int startCol)
- {
- if (yyParser->checkAborting())
- return;
- if (loopTimes++ > MAX_LOOP_TIMES)
- {
- reportError(errpos, ERR_TMPLT_LOOPEXCESSMAX,"The loop exceeded the limit: infinite loop is suspected");
- return;
- }
- //printf("%d\r",loopTimes);
- //assertex(forLoop);
- while (first || forLoop->next())
- {
- bool filtered;
- IXmlScope *subscope = (IXmlScope *) &forLoop->query();
- if (forFilter)
- {
- #ifdef TIMING_DEBUG
- MTIME_SECTION(timer, "HqlLex::checkNextLoopcond");
- #endif
- Owned<IValue> value = parseConstExpression(errpos, forFilter, subscope,startLine,startCol);
- filtered = !value || !value->getBoolValue();
- }
- else
- filtered = false;
- if (!filtered)
- {
- pushText(forBody,startLine,startCol);
- inmacro->xmlScope = LINK(subscope);
- return;
- }
- first = false;
- }
- forLoop->Release();
- forLoop = NULL;
- }
- void HqlLex::doPreprocessorLookup(const attribute & errpos, bool stringify, int extra)
- {
- StringBuffer out;
- char *text = get_yyText() + 1;
- unsigned len = (size32_t)strlen(text) - 1;
- text += extra;
- len -= (extra+extra);
- StringBuffer in;
- in.append(len, text);
- bool matched = lookupXmlSymbol(errpos, in.str(), out);
- if (stringify)
- {
- char *expanded = (char *) malloc(out.length()*2 + 3); // maximum it could be (might be a bit big for alloca)
- char *s = expanded;
- *s++='\'';
- const char *finger = out.str();
- for (;;)
- {
- char c = *finger++;
- if (!c)
- break;
- switch(c)
- {
- case '\r':
- *s++='\\'; *s++ ='r';
- break;
- case '\n':
- *s++='\\'; *s++ ='n';
- break;
- case '\\':
- case '\'':
- *s++='\\';
- // fall into
- default:
- *s++=c;
- }
- }
- *s++ = '\'';
- *s = '\0';
- pushText(expanded);
- free(expanded);
- }
- else
- {
- // a space is needed sometimes, e.g, #IF(true or %x%=2)
- out.trim();
- if (out.length())
- {
- out.insert(0," ");
- pushText(out.str());
- }
- else
- {
- //Don't report errors accessing attributes, but do complain about missing symbols
- if (!matched && (*text != '@'))
- reportError(errpos, WRN_UNRESOLVED_SYMBOL, "Symbol %%%s not resolved", text);
- pushText(" 0");
- }
- }
- }
- //Read the text of a parameter, but also have a good guess at whether it is defined.
- bool HqlLex::getDefinedParameter(StringBuffer &curParam, attribute & returnToken, const char* for_what, SharedHqlExpr & resolved)
- {
- enum { StateStart, StateDot, StateSelectId, StateFailed } state = StateStart;
- unsigned parenDepth = 1;
- OwnedHqlExpr expr;
- for (;;)
- {
- int tok = yyLex(returnToken, false, 0);
- switch(tok)
- {
- case '(':
- case '[':
- parenDepth++;
- break;
- case ')':
- if (parenDepth-- == 1)
- {
- if (state == StateDot)
- resolved.setown(expr.getClear());
- return false;
- }
- break;
- case ']':
- parenDepth--;
- break;
- case ',':
- if (parenDepth==1)
- {
- if (state == StateDot)
- resolved.setown(expr.getClear());
- return true;
- }
- break;
- case EOF:
- {
- StringBuffer msg("EOF encountered while gathering parameters for ");
- msg.append(for_what);
- reportError(returnToken, ERR_TMPLT_EOFINPARAM, "%s", msg.str());
- }
- return false;
- case UNKNOWN_ID:
- if (parenDepth == 1)
- {
- switch (state)
- {
- case StateStart:
- {
- expr.setown(lookupSymbol(returnToken.getId(), returnToken));
- state = expr ? StateDot : StateFailed;
- break;
- }
- case StateDot:
- {
- state = StateFailed;
- break;
- }
- case StateSelectId:
- {
- state = StateFailed;
- if (expr->getOperator() == no_funcdef)
- expr.set(expr->queryChild(0));
- IHqlScope * scope = expr->queryScope();
- if (scope)
- {
- expr.setown(yyParser->lookupSymbol(scope, returnToken.getId()));
- if (expr)
- state = StateDot;
- }
- break;
- }
- }
- }
- curParam.append(' ');
- break;
- case '.':
- if (parenDepth == 1)
- {
- if (state == StateDot)
- state = StateSelectId;
- else
- state = StateFailed;
- }
- break;
- default:
- curParam.append(' ');
- break;
- }
- getTokenText(curParam);
- returnToken.release();
- }
- }
- bool HqlLex::doIsDefined(attribute & returnToken)
- {
- StringBuffer forwhat;
- forwhat.appendf("#ISDEFINED(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- if (!assertNextOpenBra())
- return false;
- OwnedHqlExpr resolved;
- StringBuffer paramText;
- bool hasMore = getDefinedParameter(paramText, returnToken, forwhat.str(), resolved);
- if (hasMore)
- reportError(returnToken, ERR_EXPECTED, "Expected ')'");
- return resolved != NULL;
- }
- void HqlLex::doDefined(attribute & returnToken)
- {
- StringBuffer forwhat;
- forwhat.appendf("#DEFINED(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
- if (!assertNextOpenBra())
- return;
- OwnedHqlExpr resolved;
- StringBuffer param1Text;
- StringBuffer param2Text;
- bool hasMore = getDefinedParameter(param1Text, returnToken, forwhat.str(), resolved);
- if (hasMore)
- hasMore = getParameter(param2Text, forwhat.str());
- if (hasMore)
- reportError(returnToken, ERR_EXPECTED, "Expected ')'");
- if (resolved)
- pushText(param1Text);
- else if (param2Text.length())
- pushText(param2Text);
- }
- IHqlExpression *HqlLex::parseECL(IFileContents * contents, IXmlScope *xmlScope, int startLine, int startCol)
- {
- #ifdef TIMING_DEBUG
- MTIME_SECTION(timer, "HqlLex::parseConstExpression");
- #endif
- Owned<IHqlScope> scope = createScope();
- HqlGramCtx parentContext(yyParser->lookupCtx, yyParser->inSignedModule);
- yyParser->saveContext(parentContext, false);
- HqlGram parser(parentContext, scope, contents, xmlScope, true);
- parser.getLexer()->set_yyLineNo(startLine);
- parser.getLexer()->set_yyColumn(startCol);
- return parser.yyParse(false, false);
- }
- IHqlExpression *HqlLex::parseECL(const char * text, IXmlScope *xmlScope, int startLine, int startCol)
- {
- Owned<IFileContents> contents = createFileContentsFromText(text, querySourcePath(), yyParser->inSignedModule, yyParser->gpgSignature, 0);
- return parseECL(contents, xmlScope, startLine, startCol);
- }
- IValue *HqlLex::foldConstExpression(const attribute & errpos, IHqlExpression * expr, IXmlScope *xmlScope, int startLine, int startCol)
- {
- OwnedIValue value;
- if (expr)
- {
- try
- {
- CTemplateContext context(this, yyParser->lookupCtx, xmlScope, startLine, startCol);
- OwnedHqlExpr folded = foldHqlExpression(*yyParser, expr, &context, HFOthrowerror|HFOfoldimpure|HFOforcefold);
- if (folded)
- {
- if (folded->queryValue())
- value.set(folded->queryValue());
- }
- }
- catch (IException* except)
- {
- StringBuffer s;
- reportError(errpos, except->errorCode(), "%s", except->errorMessage(s).str());
- except->Release();
- }
- }
- if (!value.get())
- {
- if (yyParser->lookupCtx.syntaxChecking() && yyParser->lookupCtx.hasCacheLocation())
- {
- reportError(errpos, ERR_EXPECTED_CONST, "Unable to expand constant expression when using cache. Try disabling cache."); // errpos could be better
- }
- else
- {
- reportError(errpos, ERR_EXPECTED_CONST, "Constant expression expected"); // errpos could be better
- }
- }
- return value.getClear();
- }
- IValue *HqlLex::parseConstExpression(const attribute & errpos, StringBuffer &curParam, IXmlScope *xmlScope, int startLine, int startCol)
- {
- #ifdef TIMING_DEBUG
- MTIME_SECTION(timer, "HqlLex::parseConstExpression");
- #endif
- OwnedHqlExpr expr = parseECL(curParam, xmlScope, startLine, startCol);
- return foldConstExpression(errpos, expr, xmlScope, startLine, startCol);
- }
- IValue *HqlLex::parseConstExpression(const attribute & errpos, IFileContents * text, IXmlScope *xmlScope, int startLine, int startCol)
- {
- #ifdef TIMING_DEBUG
- MTIME_SECTION(timer, "HqlLex::parseConstExpression");
- #endif
- OwnedHqlExpr expr = parseECL(text, xmlScope, startLine, startCol);
- return foldConstExpression(errpos, expr, xmlScope, startLine, startCol);
- }
- int hexchar(char c)
- {
- if (c >= 'A' && c <= 'F')
- return c - 'A' + 10;
- else if (c >= 'a' && c <= 'f')
- return c - 'a' + 10;
- else
- return c - '0';
- }
- void HqlLex::doApply(attribute & returnToken)
- {
- int tok = yyLex(returnToken, false,0);
- int line = returnToken.pos.lineno, col = returnToken.pos.column;
- if (tok != '(')
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected"); // MORE - make it fatal!
- StringBuffer curParam("(");
- if (getParameter(curParam, "#APPLY"))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
- StringBuffer dummy;
- while (getParameter(dummy, "#APPLY"))
- ;
- }
- curParam.append(')');
- OwnedHqlExpr actions = parseECL(curParam, queryTopXmlScope(), line, col);
- if (actions)
- {
- CTemplateContext context(this, yyParser->lookupCtx, xmlScope,line,col);
- OwnedHqlExpr folded = foldHqlExpression(*yyParser, actions, &context, HFOthrowerror|HFOfoldimpure|HFOforcefold);
- }
- else
- reportError(returnToken, ERR_EXPECTED_CONST, "Constant expression expected");
- }
- void HqlLex::doMangle(attribute & returnToken, bool de)
- {
- int tok = yyLex(returnToken, false,0);
- int line = returnToken.pos.lineno, col = returnToken.pos.column;
- if (tok != '(')
- reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected"); // MORE - make it fatal!
- StringBuffer curParam("(");
- if (getParameter(curParam, de?"#DEMANGLE":"#MANGLE"))
- {
- reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
- StringBuffer dummy;
- while (getParameter(dummy, de?"#DEMANGLE":"MANGLE"))
- ;
- }
- curParam.append(')');
- IValue *value = parseConstExpression(returnToken, curParam, queryTopXmlScope(), line, col);
- if (value)
- {
- const char *str = value->getStringValue(curParam.clear());
- value->Release();
- StringBuffer mangled;
- mangle(yyParser->errorHandler,str,mangled,de);
- pushText(mangled.str());
- }
- else
- reportError(returnToken, ERR_EXPECTED_CONST, "Constant expression expected");
- }
- static StringBuffer& mangle(IErrorReceiver* errReceiver,const char* src, StringBuffer& mangled,bool de)
- {
- mangled.append("'");
- for (const char *finger = src; *finger!=0; finger++)
- {
- unsigned char c = *finger;
- if (isalnum(c))
- {
- if (finger == src && isdigit(c)) // a leading digit
- {
- if (de)
- {
- //errReceiver->reportError(returnToken, ERR_EXPECTED_CONST, "Bad parameter to #DEMANGLE", "CppTemplate");
- IERRLOG("Bad parameter to #DEMANGLE");
- break;
- }
- else
- mangled.appendf("_%02x",(int)c);
- }
- else
- mangled.append(c);
- }
- else if (de)
- {
- if (c != '_')
- {
- //errReceiver->reportError(returnToken, ERR_EXPECTED_CONST, "Bad parameter to #DEMANGLE");
- IERRLOG("Bad parameter to #DEMANGLE");
- break;
- }
- c = hexchar(finger[1])*16 + hexchar(finger[2]);
- finger += 2;
- if (c=='\'')
- mangled.append('\\');
- mangled.append(c);
- }
- else
- mangled.appendf("_%02x", (int) c);
- }
- mangled.append('\'');
- return mangled;
- }
- int HqlLex::processStringLiteral(attribute & returnToken, char *CUR_TOKEN_TEXT, unsigned CUR_TOKEN_LENGTH, int oldColumn, int oldPosition)
- {
- MemoryAttr tempBuff;
- char *b = (char *)tempBuff.allocate(CUR_TOKEN_LENGTH); // Escape sequence can only make is shorter...
- char *bf = b;
- const char *finger = CUR_TOKEN_TEXT;
- type_t tc = type_string;
- if (*finger != '\'')
- {
- if ((*finger == 'd') || (*finger == 'D'))
- tc = type_data;
- else if((*finger == 'q') || (*finger == 'Q'))
- tc = type_qstring;
- else if((*finger == 'v') || (*finger == 'V'))
- tc = type_varstring;
- finger++;
- }
- bool isMultiline = false;
- if (finger[1]=='\'' && finger[2]=='\'')
- {
- isMultiline = true;
- CUR_TOKEN_TEXT[CUR_TOKEN_LENGTH-2] = '\0';
- finger += 2;
- }
- for (finger++; finger[1]; finger++)
- {
- unsigned char next = *finger;
- size32_t delta = (size32_t)(finger-CUR_TOKEN_TEXT);
- if (next == '\\')
- {
- next = finger[1];
- if (finger[2]==0) // finger[1] must be '.
- {
- returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
- StringBuffer msg("Can not terminate a string with escape char '\\': ");
- msg.append(CUR_TOKEN_TEXT);
- reportError(returnToken, RRR_ESCAPE_ENDWITHSLASH, "%s", msg.str());
- if (checkAborting())
- return EOF;
- }
- else if (next == '\'' || next == '\\' || next == '?' || next == '"')
- {
- finger++;
- }
- else if (next == '\n')
- {
- finger++;
- continue; // A \ at end of line in a multiline constant means remove the end-of-line
- }
- else if (next == 'a')
- {
- next = '\a';
- finger++;
- }
- else if (next == 'b')
- {
- next = '\b';
- finger++;
- }
- else if (next == 'f')
- {
- next = '\f';
- finger++;
- }
- else if (next == 'n')
- {
- next = '\n';
- finger++;
- }
- else if (next == 'r')
- {
- next = '\r';
- finger++;
- }
- else if (next == 't')
- {
- next = '\t';
- finger++;
- }
- else if (next == 'v')
- {
- next = '\v';
- finger++;
- }
- else if (isdigit(next) && next < '8')
- {
- //Allow octal constants for ^Z etc.
- unsigned value = 0;
- unsigned count;
- for (count=0; count < 3; count++)
- {
- next = finger[count+1];
- if (!isdigit(next) || next >= '8')
- break;
- value = value * 8 + (next - '0');
- }
- if(count != 3)
- {
- returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
- StringBuffer msg;
- msg.append("3-digit numeric escape sequence contained non-octal digit: ").append(next);
- reportError(returnToken, ERR_ESCAPE_UNKNOWN, "%s", msg.str());
- if (checkAborting())
- return EOF;
- }
- *bf++ = value;
- if(!(isValidAsciiLikeCharacter(value) || (tc == type_data)))
- {
- returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
- reportWarning(CategoryCast, returnToken, ERR_STRING_NON_ASCII, "Character in string literal is not defined in encoding " ASCII_LIKE_CODEPAGE);
- if (checkAborting())
- return EOF;
- }
- finger += count;
- continue;
- }
- else
- {
- StringBuffer msg;
- msg.append("Unrecognized escape sequence: ");
- msg.append("\\").append(finger[1]);
- returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
- reportError(returnToken, ERR_ESCAPE_UNKNOWN, "%s", msg.str());
- if (checkAborting())
- return EOF;
- }
- *bf++ = next;
- }
- else if (next == '\'' && !isMultiline)
- {
- returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
- reportError(returnToken, ERR_STRING_NEEDESCAPE,"' needs to be escaped by \\ inside string");
- if (checkAborting())
- return EOF;
- }
- else if (next >= 128)
- {
- const byte * temp = (byte *)finger;
- unsigned lenLeft = CUR_TOKEN_LENGTH - (size32_t)(finger - CUR_TOKEN_TEXT);
- int extraCharsRead = rtlSingleUtf8ToCodepage(bf, lenLeft, finger, ASCII_LIKE_CODEPAGE);
- if (extraCharsRead == -1)
- {
- //This really has to be an error, otherwise it will work most of the time, but will then sometimes fail
- //because two characters > 128 are next to each other.
- returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
- reportError(returnToken, ERR_STRING_NON_ASCII, "Character in string literal is not legal UTF-8");
- if (checkAborting())
- return EOF;
- *bf = next;
- }
- else
- {
- if (*bf == ASCII_LIKE_SUBS_CHAR)
- {
- returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
- reportWarning(CategoryCast, returnToken, ERR_STRING_NON_ASCII, "Character in string literal is not defined in encoding " ASCII_LIKE_CODEPAGE ", try using a unicode constant");
- }
- finger += extraCharsRead;
- }
- bf++;
- }
- else
- {
- *bf++ = next;
- if(!(isValidAsciiLikeCharacter(next) || (tc == type_data)))
- {
- returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
- reportError(returnToken, ERR_STRING_NON_ASCII, "Character in string literal is not defined in encoding " ASCII_LIKE_CODEPAGE);
- if (checkAborting())
- return EOF;
- }
- }
- }
- returnToken.setPosition(yyLineNo, oldColumn, oldPosition, querySourcePath());
- switch (tc)
- {
- case type_qstring:
- {
- Owned<ITypeInfo> qStrType = makeQStringType(UNKNOWN_LENGTH);
- returnToken.setExpr(createConstant(qStrType->castFrom((size32_t)(bf-b), b)));
- return (DATA_CONST);
- }
- case type_data:
- {
- returnToken.setExpr(createConstant(createDataValue(b, (size32_t)(bf-b))));
- return (DATA_CONST);
- }
- case type_varstring:
- {
- returnToken.setExpr(createConstant(createVarStringValue((size32_t)(bf-b), b, makeVarStringType(UNKNOWN_LENGTH))));
- return (DATA_CONST);
- }
- case type_string:
- returnToken.setExpr(createConstant(createStringValue(b, (size32_t)(bf-b))));
- return (STRING_CONST);
- }
- throwUnexpected();
- }
- //====================================== Error Reporting ======================================
- bool HqlLex::checkAborting()
- {
- return yyParser->checkAborting();
- }
- void HqlLex::reportError(const attribute & returnToken, int errNo, const char *format, ...)
- {
- if (yyParser)
- {
- va_list args;
- va_start(args, format);
- yyParser->reportErrorVa(errNo, returnToken.pos, format, args);
- va_end(args);
- }
- }
- void HqlLex::reportWarning(WarnErrorCategory category, const attribute & returnToken, int warnNo, const char *format, ...)
- {
- if (yyParser)
- {
- va_list args;
- va_start(args, format);
- yyParser->reportWarningVa(category, warnNo, returnToken, format, args);
- va_end(args);
- }
- }
- //====================================== XML DB =============================================
- IXmlScope *HqlLex::queryTopXmlScope()
- {
- IXmlScope *top = NULL;
- HqlLex *inlex = this;
- while (inlex->inmacro)
- inlex = inlex->inmacro;
- while (inlex && !top)
- {
- top = inlex->xmlScope;
- inlex = inlex->parentLex;
- }
- return top;
- }
- IXmlScope *HqlLex::ensureTopXmlScope()
- {
- IXmlScope *top = queryTopXmlScope();
- if (!top)
- top = xmlScope = createXMLScope();
- return top;
- }
- bool HqlLex::lookupXmlSymbol(const attribute & errpos, const char *name, StringBuffer &ret)
- {
- if (*name==0)
- name=NULL;
- IXmlScope *top = ensureTopXmlScope();
- bool idFound = top->getValue(name, ret);
- if (idFound)
- return true;
- HqlLex * lexer = parentLex;
- while (lexer && !idFound)
- {
- if (lexer->xmlScope)
- idFound = lexer->xmlScope->getValue(name, ret);
- lexer = lexer->parentLex;
- }
- return idFound;
- }
- void HqlLex::setXmlSymbol(const attribute & errpos, const char *name, const char *value, bool append)
- {
- IXmlScope *top = ensureTopXmlScope();
- bool ok;
- if (append)
- ok = top->appendValue(name, value);
- else
- ok = top->setValue(name, value);
- if (!ok)
- {
- StringBuffer msg("Symbol has not been declared: ");
- msg.append(name);
- reportError(errpos, ERR_TMPLT_SYMBOLNOTDECLARED, "%s", msg.str());
- }
- }
- void HqlLex::declareXmlSymbol(const attribute & errpos, const char *name)
- {
- IXmlScope *top = ensureTopXmlScope();
- if (!top->declareValue(name))
- {
- StringBuffer msg("Symbol has already been declared: ");
- msg.append(name);
- reportError(errpos, ERR_TMPLT_SYMBOLREDECLARE, "%s", msg.str());
- }
- }
- IIterator *HqlLex::getSubScopes(const attribute & errpos, const char *name, bool doAll)
- {
- IXmlScope *top = ensureTopXmlScope();
- return top->getScopes(name, doAll);
- }
- void HqlLex::loadXML(const attribute & errpos, const char *name, const char * child)
- {
- if (xmlScope && child)
- {
- xmlScope->loadXML(name, child);
- return;
- }
- if (false && inmacro)
- {
- inmacro->loadXML(errpos, name);
- return;
- }
- // MORE - give an error if an XML scope is active...
- ::Release(xmlScope);
- try
- {
- xmlScope = ::loadXML(name);
- }
- catch (IException* e)
- {
- e->Release();
- xmlScope = NULL;
- }
- catch (...)
- {
- xmlScope = NULL;
- }
- if (!xmlScope)
- {
- if (name && strlen(name))
- {
- StringBuffer msg;
- msg.appendf("Load XML(\'%s\') failed",name);
- reportError(errpos, ERR_TMPLT_LOADXMLFAILED, "%s", msg.str());
- }
- // recovery: create a default XML scope
- xmlScope = createXMLScope();
- }
- }
- IPropertyTree * HqlLex::getClearJavadoc()
- {
- if (javaDocComment.length() == 0)
- return NULL;
- IPropertyTree * tree = createPTree("javadoc");
- tree->addProp("content", javaDocComment.str());
- javaDocComment.clear();
- return tree;
- }
- unsigned HqlLex::getTypeSize(unsigned lengthTypeName)
- {
- const char * tok = get_yyText();
- if (strlen(tok)> lengthTypeName)
- return atoi(tok + lengthTypeName);
- return UNKNOWN_LENGTH;
- }
- void HqlLex::enterEmbeddedMode()
- {
- if (inmacro)
- inmacro->enterEmbeddedMode();
- else
- {
- doEnterEmbeddedMode(scanner);
- inCpp = true;
- }
- }
- int HqlLex::yyLex(attribute & returnToken, bool lookup, const short * activeState)
- {
- for (;;)
- {
- while (inmacro)
- {
- int ret = inmacro->yyLex(returnToken, lookup, activeState);
- if (ret > 0 && ret != HASHBREAK)
- {
- lastToken = ret;
- return ret;
- }
- #if defined(TRACE_MACRO)
- DBGLOG("MACRO>> inmacro %p deleted\n", inmacro);
- #endif
- delete inmacro;
- inmacro = NULL;
- if (ret == HASHBREAK)
- {
- if (forLoop)
- {
- forLoop->Release();
- forLoop = NULL;
- }
- else
- {
- lastToken = ret;
- return ret;
- }
- }
- if (forLoop)
- checkNextLoop(returnToken, false,0,0);
- }
- returnToken.clear();
- yyStartPos = yyPosition;
- int ret = doyyFlex(returnToken, scanner, this, lookup, activeState);
- if (ret == 0) ret = EOF;
- if (ret == INTERNAL_READ_NEXT_TOKEN)
- continue;
- if (ret == EOF)
- {
- setTokenPosition(returnToken);
- if (inComment)
- reportError(returnToken, ERR_COMMENT_UNENDED,"Comment is not terminated");
- else if (inSignature)
- reportError(returnToken, ERR_COMMENT_UNENDED,"Signature is not terminated");
- else if (inCpp)
- reportError(returnToken, ERR_COMMENT_UNENDED,"BEGINC++ or EMBED is not terminated");
- else if (inMultiString)
- reportError(returnToken, ERR_COMMENT_UNENDED,"Multiline string constant is not terminated");
- if (hashendKinds.ordinality())
- {
- StringBuffer msg("Unexpected EOF: ");
- msg.append(hashendKinds.ordinality()).append(" more #END needed");
- reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "%s", msg.str());
- clearNestedHash();
- }
- }
- lastToken = ret;
- return ret;
- }
- }
|