hqlparse.cpp 76 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490
  1. /*##############################################################################
  2. HPCC SYSTEMS software Copyright (C) 2012 HPCC Systems®.
  3. Licensed under the Apache License, Version 2.0 (the "License");
  4. you may not use this file except in compliance with the License.
  5. You may obtain a copy of the License at
  6. http://www.apache.org/licenses/LICENSE-2.0
  7. Unless required by applicable law or agreed to in writing, software
  8. distributed under the License is distributed on an "AS IS" BASIS,
  9. WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  10. See the License for the specific language governing permissions and
  11. limitations under the License.
  12. ############################################################################## */
  13. #include "hqlgram.hpp"
  14. #include "hqlfold.hpp"
  15. #include "jiter.ipp"
  16. #include "jptree.hpp"
  17. #include "hqlerrors.hpp"
  18. #include "hqlthql.hpp"
  19. #include "hqlexpr.hpp"
  20. #include "jdebug.hpp"
  21. #include "hqlexpr.ipp"
  22. #include "hqlgram.h"
  23. #define YY_NO_UNISTD_H
  24. #include "hqllex.hpp"
  25. #include "eclrtl.hpp"
  26. //#define TIMING_DEBUG
  27. #define MAX_LOOP_TIMES 250000
  28. // =========================== local helper functions ===================================
  29. static bool isInModule(HqlLookupContext & ctx, const char* module_name, const char* attr_name);
  30. static StringBuffer& mangle(IErrorReceiver* errReceiver,const char* src, StringBuffer& mangled,bool demangle);
  31. static const char * skipws(const char * str)
  32. {
  33. while (isspace(*str))
  34. str++;
  35. return str;
  36. }
  37. // =========================== CDummyScopeIterator ======================================
  38. class CDummyScopeIterator : public IIterator, public CInterface
  39. {
  40. Linked<IXmlScope> parent;
  41. public:
  42. IMPLEMENT_IINTERFACE;
  43. CDummyScopeIterator(IXmlScope *_parent) : parent(_parent)
  44. {
  45. }
  46. ~CDummyScopeIterator ()
  47. {
  48. }
  49. virtual bool first()
  50. {
  51. return true;
  52. };
  53. virtual bool next()
  54. {
  55. return true;
  56. }
  57. virtual bool isValid()
  58. {
  59. return true;
  60. }
  61. virtual IInterface & query()
  62. {
  63. return *parent;
  64. }
  65. virtual IInterface & get()
  66. {
  67. IInterface &ret = query(); ret.Link(); return ret;
  68. }
  69. };
  70. // =========================== CTemplateContext =========================================
  71. class CTemplateContext : implements ITemplateContext, public CInterface
  72. {
  73. HqlLex * lexer;
  74. IXmlScope* m_xmlScope;
  75. int m_startLine,m_startCol;
  76. HqlLookupContext & m_lookupContext;
  77. public:
  78. IMPLEMENT_IINTERFACE;
  79. CTemplateContext(HqlLex * _lexer, HqlLookupContext & lookupContext, IXmlScope* xmlScope, int startLine,int startCol)
  80. : lexer(_lexer), m_xmlScope(xmlScope), m_lookupContext(lookupContext),
  81. m_startLine(startLine), m_startCol(startCol) {}
  82. virtual IXmlScope* queryXmlScope() { return m_xmlScope; }
  83. virtual IEclRepository* queryDataServer() { return m_lookupContext.queryRepository(); }
  84. // convenient functions
  85. virtual bool isInModule(const char* moduleName, const char* attrName) { return ::isInModule(m_lookupContext, moduleName,attrName); }
  86. virtual StringBuffer& getDataType(const char* field, StringBuffer& tgt) { return lexer->doGetDataType(tgt, field, m_startLine, m_startCol); }
  87. virtual StringBuffer& mangle(const char* src, StringBuffer& mangled) { return ::mangle(m_lookupContext.errs,src,mangled,false); }
  88. virtual StringBuffer& demangle(const char* mangled, StringBuffer& demangled) { return ::mangle(m_lookupContext.errs,mangled,demangled,true); }
  89. virtual void reportError(int errNo,const char* format,...) __attribute__((format(printf,3,4)));
  90. virtual void reportWarning(int warnNo,const char* format,...) __attribute__((format(printf,3,4)));;
  91. };
  92. void CTemplateContext::reportError(int errNo,const char* format,...)
  93. {
  94. if (m_lookupContext.errs)
  95. {
  96. va_list args;
  97. va_start(args, format);
  98. StringBuffer msg;
  99. msg.valist_appendf(format,args);
  100. m_lookupContext.errs->reportError(errNo,msg.str(),NULL,m_startLine,m_startCol,0);
  101. va_end(args);
  102. }
  103. }
  104. void CTemplateContext::reportWarning(int warnNo,const char* format,...)
  105. {
  106. if (m_lookupContext.errs)
  107. {
  108. va_list args;
  109. va_start(args, format);
  110. StringBuffer msg;
  111. msg.valist_appendf(format,args);
  112. WarnErrorCategory category = CategoryUnusual; // a reasonable default
  113. m_lookupContext.errs->reportWarning(category, warnNo,msg.str(),NULL,m_startLine,m_startCol,0);
  114. va_end(args);
  115. }
  116. }
  117. // ===================================== HqlLex ============================================
  118. class CHqlParserPseduoScope : public CHqlScope
  119. {
  120. protected:
  121. HqlGram * parser;
  122. public:
  123. CHqlParserPseduoScope(HqlGram * _parser) : CHqlScope(no_privatescope) { parser = _parser; }
  124. virtual IHqlExpression *lookupSymbol(IIdAtom * name, unsigned lookupFlags, HqlLookupContext & ctx)
  125. {
  126. attribute errpos;
  127. errpos.clearPosition();
  128. return parser->lookupSymbol(name, errpos);
  129. }
  130. virtual IHqlScope * queryConcreteScope() { return this; }
  131. virtual bool allBasesFullyBound() const { return true; }
  132. };
  133. // ===================================== HqlLex ============================================
  134. HqlLex::HqlLex(HqlGram *parser, IFileContents * contents, IXmlScope *_xmlScope, IHqlExpression *_macroExpr)
  135. : yyParser(parser), xmlScope(LINK(_xmlScope)), macroExpr(_macroExpr), sourcePath(contents->querySourcePath())
  136. {
  137. assertex(parser);
  138. init(contents);
  139. }
  140. void HqlLex::init(IFileContents * _text)
  141. {
  142. text.set(_text);
  143. inmacro = NULL;
  144. parentLex = NULL;
  145. inComment = false;
  146. inSignature = false;
  147. inCpp = false;
  148. inMultiString = false;
  149. hasHashbreak = false;
  150. encrypted = false;
  151. loopTimes = 0;
  152. skipNesting = 0;
  153. macroGathering = 0;
  154. forLoop = NULL;
  155. size32_t len = _text->length();
  156. yyBuffer = new char[len+2]; // Include room for \0 and another \0 that we write beyond the end null while parsing
  157. memcpy(yyBuffer, text->getText(), len);
  158. yyBuffer[len] = '\0';
  159. yyBuffer[len+1] = '\0';
  160. yyLineNo = 1;
  161. yyPosition = 0;
  162. yyColumn = 1;
  163. yyStartPos = 0;
  164. lastToken = 0;
  165. eclyylex_init(&scanner);
  166. eclyy_scan_buffer(yyBuffer, len+2, scanner);
  167. }
  168. ///////////////////////////////////////////////////
  169. // public destructor
  170. //
  171. HqlLex::~HqlLex()
  172. {
  173. eclyylex_destroy(scanner);
  174. scanner = NULL;
  175. delete[] yyBuffer;
  176. ::Release(xmlScope);
  177. ::Release(macroExpr);
  178. if (inmacro) delete inmacro;
  179. ::Release(forLoop);
  180. }
  181. char* HqlLex::get_yyText(void)
  182. {
  183. if (inmacro)
  184. return inmacro->get_yyText();
  185. return eclyyget_text(scanner);
  186. }
  187. IFileContents* HqlLex::query_FileContents(void)
  188. {
  189. if (inmacro)
  190. return inmacro->query_FileContents();
  191. return text;
  192. }
  193. bool HqlLex::isMacroActive(IHqlExpression *expr)
  194. {
  195. if (expr==macroExpr)
  196. return true;
  197. else if (parentLex)
  198. return parentLex->isMacroActive(expr);
  199. else
  200. return false;
  201. }
  202. bool HqlLex::assertNext(attribute & returnToken, int expected, unsigned code, const char * msg)
  203. {
  204. if (yyLex(returnToken, false,0) != expected)
  205. {
  206. reportError(returnToken, code, "%s", msg);
  207. returnToken.release();
  208. return false;
  209. }
  210. return true;
  211. }
  212. bool HqlLex::assertNextOpenBra()
  213. {
  214. attribute tempToken;
  215. return assertNext(tempToken, '(', ERR_EXPECTED_LEFTCURLY, "( expected");
  216. }
  217. bool HqlLex::assertNextComma()
  218. {
  219. attribute tempToken;
  220. return assertNext(tempToken, ',', ERR_EXPECTED_COMMA, ", expected");
  221. }
  222. StringBuffer &HqlLex::getTokenText(StringBuffer &ret)
  223. {
  224. if (inmacro)
  225. return inmacro->getTokenText(ret);
  226. return ret.append(yyPosition - yyStartPos, yyBuffer+yyStartPos);
  227. }
  228. IHqlExpression *HqlLex::lookupSymbol(IIdAtom * name, const attribute& errpos)
  229. {
  230. return yyParser->lookupSymbol(name, errpos);
  231. }
  232. unsigned HqlLex::hex2digit(char c)
  233. {
  234. if (c >= 'a')
  235. return (c - 'a' + 10);
  236. else if (c >= 'A')
  237. return (c - 'A' + 10);
  238. return (c - '0');
  239. }
  240. __uint64 HqlLex::str2uint64(unsigned len, const char * digits, unsigned base)
  241. {
  242. __uint64 value = 0;
  243. while (len--)
  244. {
  245. char c = *digits++;
  246. value = value * base + hex2digit(c);
  247. }
  248. return value;
  249. }
  250. void HqlLex::hex2str(char * target, const char * digits, unsigned len)
  251. {
  252. while (len)
  253. {
  254. *target++ = (hex2digit(digits[0]) << 4) | hex2digit(digits[1]);
  255. len -= 2;
  256. digits += 2;
  257. }
  258. }
  259. IHqlExpression * HqlLex::createIntegerConstant(__int64 value, bool isSigned)
  260. {
  261. return createConstant(createIntValue(value, makeIntType(8, isSigned)));
  262. }
  263. void HqlLex::pushText(IFileContents * text, int startLineNo, int startColumn)
  264. {
  265. #ifdef TIMING_DEBUG
  266. MTIME_SECTION(timer, "HqlLex::pushText");
  267. #endif
  268. bool useLegacyImport = hasLegacyImportSemantics();
  269. bool useLegacyWhen = hasLegacyWhenSemantics();
  270. inmacro = new HqlLex(yyParser, text, NULL, NULL);
  271. inmacro->setLegacyImport(useLegacyImport);
  272. inmacro->setLegacyWhen(useLegacyWhen);
  273. inmacro->set_yyLineNo(startLineNo);
  274. inmacro->set_yyColumn(startColumn);
  275. }
  276. void HqlLex::pushText(const char *s, int startLineNo, int startColumn)
  277. {
  278. Owned<IFileContents> macroContents = createFileContentsFromText(s, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0);
  279. pushText(macroContents, startLineNo, startColumn);
  280. }
  281. void HqlLex::pushText(const char *s)
  282. {
  283. #ifdef TIMING_DEBUG
  284. MTIME_SECTION(timer, "HqlLex::pushText");
  285. #endif
  286. Owned<IFileContents> macroContents = createFileContentsFromText(s, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0);
  287. bool useLegacyImport = hasLegacyImportSemantics();
  288. bool useLegacyWhen = hasLegacyWhenSemantics();
  289. inmacro = new HqlLex(yyParser, macroContents, NULL, NULL);
  290. inmacro->setLegacyImport(useLegacyImport);
  291. inmacro->setLegacyWhen(useLegacyWhen);
  292. inmacro->set_yyLineNo(yyLineNo);
  293. inmacro->set_yyColumn(yyColumn);
  294. #if defined (TRACE_MACRO)
  295. DBGLOG("MACRO>> inmacro %p created for \"%s\" for macro parameters.\n",inmacro,s);
  296. #endif
  297. }
  298. bool HqlLex::hasLegacyImportSemantics() const
  299. {
  300. if (inmacro)
  301. return inmacro->hasLegacyImportSemantics();
  302. return legacyImportMode;
  303. }
  304. bool HqlLex::hasLegacyWhenSemantics() const
  305. {
  306. if (inmacro)
  307. return inmacro->hasLegacyWhenSemantics();
  308. return legacyWhenMode;
  309. }
  310. void HqlLex::setMacroParam(const attribute & errpos, IHqlExpression* funcdef, StringBuffer& curParam, IIdAtom * argumentId, unsigned& parmno,IProperties *macroParms)
  311. {
  312. IHqlExpression * formals = queryFunctionParameters(funcdef);
  313. IHqlExpression * defaults = queryFunctionDefaults(funcdef);
  314. unsigned numFormals = formals->numChildren();
  315. unsigned thisParam = (unsigned)-1;
  316. if (argumentId)
  317. {
  318. IAtom * argumentName = lower(argumentId);
  319. unsigned argNum = 0;
  320. for (unsigned i=0; i < numFormals; i++)
  321. {
  322. if (formals->queryChild(i)->queryName() == argumentName)
  323. {
  324. argNum = i+1;
  325. break;
  326. }
  327. }
  328. if (argNum == 0)
  329. reportError(errpos, ERR_NAMED_PARAM_NOT_FOUND, "Named parameter '%s' not found in macro", str(argumentId));
  330. else
  331. thisParam = argNum;
  332. }
  333. else
  334. thisParam = ++parmno;
  335. if (thisParam <= numFormals)
  336. {
  337. IHqlExpression* formal = formals->queryChild(thisParam-1);
  338. if (curParam.length()==0)
  339. {
  340. IHqlExpression* def = queryDefaultValue(defaults, thisParam-1);
  341. if (!def)
  342. {
  343. StringBuffer msg("Omitted parameter ");
  344. msg.append(parmno).append(" has no default value");
  345. reportError(errpos, ERR_PARAM_NODEFVALUE, "%s", msg.str());
  346. }
  347. else
  348. {
  349. if (!getFoldedConstantText(curParam, def))
  350. {
  351. StringBuffer msg("Default value for parameter ");
  352. msg.append(parmno).append(" should be a constant");
  353. reportError(errpos, ERR_PARAM_NODEFVALUE, "%s", msg.str());
  354. }
  355. }
  356. }
  357. macroParms->setProp(str(formal->queryName()), curParam.str());
  358. }
  359. curParam.clear();
  360. }
  361. /* This is pushing a macro definition. */
  362. void HqlLex::pushMacro(IHqlExpression *expr)
  363. {
  364. /* expr points to namedSymbol(no_funcdef):
  365. child(0)-> no_macro = macro body
  366. child(1) = parameters
  367. child(2) = defaults for parameters
  368. */
  369. attribute nextToken;
  370. int tok = yyLex(nextToken, false, 0);
  371. if (tok != '(')
  372. {
  373. //throw MakeStringException(2, "( expected");
  374. reportError(nextToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  375. if (tok==EOF)
  376. return;
  377. // assume we've got an '(', we can continue parsing.
  378. }
  379. unsigned parenDepth = 1;
  380. StringBuffer curParam;
  381. Owned<IProperties> macroParms = createProperties();
  382. IHqlExpression * formals = expr->queryChild(1);
  383. IHqlExpression * defaults = expr->queryChild(2);
  384. unsigned formalParmCt = formals->numChildren();
  385. unsigned parmno = 0;
  386. IIdAtom * possibleName = NULL;
  387. IIdAtom * argumentName = NULL;
  388. while (parenDepth)
  389. {
  390. tok = yyLex(nextToken, false, 0);
  391. switch(tok)
  392. {
  393. case '[':
  394. case '(':
  395. parenDepth++;
  396. curParam.append((char)tok);
  397. break;
  398. case ']':
  399. if (parenDepth > 1)
  400. parenDepth--;
  401. curParam.append((char)tok);
  402. break;
  403. case ')':
  404. parenDepth--;
  405. if (parenDepth)
  406. curParam.append(')');
  407. else if (formalParmCt>0 || curParam.length()>0) // handle last parameter
  408. setMacroParam(nextToken, expr, curParam, argumentName, parmno, macroParms);
  409. break;
  410. case ',':
  411. if (parenDepth==1)
  412. setMacroParam(nextToken, expr, curParam, argumentName, parmno, macroParms);
  413. else
  414. curParam.append(',');
  415. possibleName = NULL;
  416. argumentName = NULL;
  417. break;
  418. case ASSIGN:
  419. {
  420. bool done = false;
  421. if (parenDepth == 1 && possibleName)
  422. {
  423. //Horrible. Allow NAMED <id> := or <id> :=
  424. const char * text = curParam.str();
  425. while (isspace((byte)*text)) text++;
  426. if (memicmp(text, "NAMED", 5) == 0)
  427. text += 5;
  428. while (isspace((byte)*text)) text++;
  429. if (strlen(str(possibleName)) == strlen(text))
  430. {
  431. argumentName = possibleName;
  432. possibleName = NULL;
  433. curParam.clear();
  434. done = true;
  435. }
  436. }
  437. if (!done)
  438. getTokenText(curParam.append(' '));
  439. break;
  440. }
  441. case EOF:
  442. reportError(nextToken, ERR_MACRO_EOFINPARAM,"EOF encountered while gathering macro parameters");
  443. // no attempt to recover at the end of the file, but cleanup is needed.
  444. return;
  445. case UNKNOWN_ID:
  446. possibleName = nextToken.getId();
  447. curParam.append(' ').append(str(possibleName));
  448. break;
  449. default:
  450. curParam.append(' ');
  451. getTokenText(curParam);
  452. break;
  453. }
  454. nextToken.release();
  455. }
  456. if (parmno > formalParmCt)
  457. {
  458. StringBuffer msg("Too many actual parameters supplied to macro");
  459. if (expr->queryName())
  460. msg.append(' ').append(expr->queryName());
  461. msg.appendf(": expected %d, given %d", formalParmCt, parmno);
  462. reportError(nextToken, ERR_PARAM_TOOMANY, "%s", msg.str());
  463. }
  464. else if (parmno < formalParmCt)
  465. {
  466. for (unsigned idx = parmno; idx < formalParmCt; idx++)
  467. {
  468. IHqlExpression* formal = formals->queryChild(idx);
  469. if (!macroParms->queryProp(str(formal->queryName())))
  470. {
  471. IHqlExpression* def = queryDefaultValue(defaults, idx);
  472. if (def)
  473. {
  474. if (!getFoldedConstantText(curParam, def))
  475. {
  476. StringBuffer msg("Omitted parameter ");
  477. msg.append(idx+1);
  478. if (expr->queryName())
  479. msg.append(" to macro ").append(expr->queryName());
  480. msg.append(" should be a constant value");
  481. reportError(nextToken, ERR_PARAM_NODEFVALUE, "%s", msg.str());
  482. }
  483. macroParms->setProp(str(formal->queryName()), curParam.str());
  484. //DBGLOG("Set macro parm: %s", curParam.str());
  485. curParam.clear();
  486. }
  487. else
  488. {
  489. StringBuffer msg("Omitted parameter ");
  490. msg.append(idx+1);
  491. if (expr->queryName())
  492. msg.append(" to macro ").append(expr->queryName());
  493. msg.append(" has no default value");
  494. reportError(nextToken, ERR_PARAM_NODEFVALUE, "%s", msg.str());
  495. }
  496. }
  497. }
  498. }
  499. IHqlExpression *macroBodyExpr = expr->queryChild(0);
  500. IFileContents * macroContents = static_cast<IFileContents *>(macroBodyExpr->queryUnknownExtra());
  501. if (isMacroActive(expr))
  502. {
  503. StringBuffer msg;
  504. msg.append("recursive macro call: ").append(getMacroName());
  505. reportError(nextToken, ERR_MACRO_RECURSIVE, "%s", msg.str());
  506. // error recovery
  507. if (expr->isAction())
  508. pushText("0;");
  509. else if (expr->isDataset())
  510. pushText("{}");
  511. else
  512. pushText("0 ENDMACRO");
  513. }
  514. else
  515. {
  516. bool useLegacyImport = hasLegacyImportSemantics();
  517. bool useLegacyWhen = hasLegacyWhenSemantics();
  518. inmacro = new HqlLex(yyParser, macroContents, NULL, LINK(expr));
  519. inmacro->setLegacyImport(useLegacyImport);
  520. inmacro->setLegacyWhen(useLegacyWhen);
  521. #if defined(TRACE_MACRO)
  522. DBGLOG("MACRO>> inmacro %p created for \"%s\" at %d:%d\n",inmacro, s.str(),macroBodyExpr->getStartLine(),macroBodyExpr->getStartColumn());
  523. // DBGLOG("MACRO>> macro called at %d:%d\n", expr->getStartLine(),expr->getStartColumn());
  524. #endif
  525. /* set the lineno and column in the original source as the starting point */
  526. inmacro->yyLineNo = macroBodyExpr->getStartLine();
  527. inmacro->yyColumn = macroBodyExpr->getStartColumn();
  528. inmacro->setParentLex(this);
  529. inmacro->macroParms.setown(macroParms.getClear());
  530. }
  531. }
  532. void HqlLex::checkSignature(const attribute & dummyToken)
  533. {
  534. if (yyParser->lookupCtx.queryParseContext().ignoreSignatures)
  535. return;
  536. try
  537. {
  538. yyParser->gpgSignature.setown(::checkSignature(text->length(), text->getText()));
  539. yyParser->inSignedModule = true;
  540. }
  541. catch (IException *e)
  542. {
  543. StringBuffer msg;
  544. e->errorMessage(msg);
  545. reportWarning(CategorySecurity, dummyToken, WRN_SECURITY_SIGNERROR, "%s", msg.str());
  546. e->Release();
  547. }
  548. }
  549. /* Read encrypted syntax, and push the decrypted text as a macro. */
  550. void HqlLex::processEncrypted()
  551. {
  552. attribute nextToken;
  553. if (yyLex(nextToken, false,0) != '(')
  554. {
  555. reportError(nextToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  556. nextToken.release();
  557. return;
  558. }
  559. StringBuffer encoded64;
  560. for (;;)
  561. {
  562. if (yyLex(nextToken, false,0) != STRING_CONST)
  563. {
  564. reportError(nextToken, ERR_EXPECTED, "String expected");
  565. nextToken.release();
  566. return;
  567. }
  568. OwnedHqlExpr str = nextToken.getExpr();
  569. getStringValue(encoded64, str);
  570. int next = yyLex(nextToken, false,0);
  571. if (next == ')')
  572. break;
  573. if (next != ',')
  574. {
  575. reportError(nextToken, ERR_EXPECTED_COMMA, ", expected");
  576. nextToken.release();
  577. return;
  578. }
  579. }
  580. if (yyLex(nextToken, false,0) != ';')
  581. {
  582. reportError(nextToken, ERR_EXPECTED, "; expected");
  583. nextToken.release();
  584. return;
  585. }
  586. MemoryBuffer decrypted;
  587. decryptEclAttribute(decrypted, encoded64.str());
  588. decrypted.append(0); // add a null terminator to the string...
  589. Owned<ISourcePath> sourcePath = createSourcePath("<encrypted>");
  590. Owned<IFileContents> decryptedContents = createFileContentsFromText((const char *)decrypted.toByteArray(), sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, text->getTimeStamp());
  591. bool useLegacyImport = hasLegacyImportSemantics();
  592. bool useLegacyWhen = hasLegacyWhenSemantics();
  593. inmacro = new HqlLex(yyParser, decryptedContents, NULL, NULL);
  594. inmacro->setLegacyImport(useLegacyImport);
  595. inmacro->setLegacyWhen(useLegacyWhen);
  596. inmacro->setParentLex(this);
  597. inmacro->encrypted = true;
  598. }
  599. /* Return: true if more parameter(s) left. */
  600. bool HqlLex::getParameter(StringBuffer &curParam, const char* for_what, int* startLine, int* startCol)
  601. {
  602. unsigned parenDepth = 1;
  603. if (startLine) *startLine = -1;
  604. attribute nextToken;
  605. for (;;)
  606. {
  607. int tok = yyLex(nextToken, false, 0);
  608. if (startLine && *startLine == -1)
  609. {
  610. *startLine = nextToken.pos.lineno;
  611. *startCol = nextToken.pos.column;
  612. }
  613. switch(tok)
  614. {
  615. case '(':
  616. case '[':
  617. parenDepth++;
  618. curParam.append((char) tok);
  619. break;
  620. case ')':
  621. if (parenDepth==1)
  622. return false;
  623. // fall into
  624. case ']':
  625. parenDepth--;
  626. curParam.append((char) tok);
  627. break;
  628. case ',':
  629. if (parenDepth==1)
  630. return true;
  631. curParam.append(',');
  632. break;
  633. case EOF:
  634. {
  635. StringBuffer msg("EOF encountered while gathering parameters for ");
  636. msg.append(for_what);
  637. reportError(nextToken, ERR_TMPLT_EOFINPARAM, "%s", msg.str());
  638. }
  639. return false;
  640. default:
  641. curParam.append(' ');
  642. getTokenText(curParam);
  643. break;
  644. }
  645. nextToken.release();
  646. }
  647. }
  648. void HqlLex::doSkipUntilEnd(attribute & returnToken, const char * forwhat)
  649. {
  650. while (skipNesting)
  651. {
  652. int tok = yyLex(returnToken, false,0);
  653. returnToken.release();
  654. if (tok == EOF)
  655. {
  656. StringBuffer msg;
  657. msg.appendf("Unexpected EOF in %s: #END expected",forwhat);
  658. reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "%s", msg.str());
  659. clearNestedHash(); // prevent unnecessary more error messages
  660. break;
  661. }
  662. }
  663. }
  664. void HqlLex::doIf(attribute & returnToken, bool isElseIf)
  665. {
  666. StringBuffer forwhat;
  667. int line = returnToken.pos.lineno, col = returnToken.pos.column;
  668. forwhat.appendf("#IF(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  669. int tok = yyLex(returnToken, false, 0);
  670. if (tok != '(')
  671. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected"); // MORE - make it fatal!
  672. StringBuffer curParam("(");
  673. if (getParameter(curParam, forwhat.str()))
  674. {
  675. reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
  676. StringBuffer dummy;
  677. while (getParameter(dummy,forwhat.str()))
  678. ;
  679. }
  680. curParam.append(')');
  681. Owned<IValue> value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),line,col);
  682. if (value && !value->getBoolValue())
  683. {
  684. setHashEndFlags(0);
  685. skipNesting = 1;
  686. if (!isElseIf)
  687. doSkipUntilEnd(returnToken, forwhat);
  688. }
  689. else
  690. setHashEndFlags(HEFhadtrue);
  691. }
  692. int HqlLex::doElse(attribute & returnToken, bool lookup, const short * activeState, bool isElseIf)
  693. {
  694. StringBuffer forwhat;
  695. forwhat.appendf("#%s(%d,%d)",isElseIf ? "ELSEIF" : "ELSE", returnToken.pos.lineno,returnToken.pos.column);
  696. if ((hashendKinds.ordinality() == 0) || (hashendKinds.tos() != HashStmtIf))
  697. {
  698. reportError(returnToken, ERR_TMPLT_EXTRAELSE,"#ELSE does not match a #IF");
  699. return SKIPPED;
  700. }
  701. unsigned flags = hashendFlags.tos();
  702. if (!isElseIf)
  703. {
  704. if (flags & HEFhadelse)
  705. reportError(returnToken, ERR_TMPLT_EXTRAELSE,"Multiple #ELSE for the same #IF");
  706. setHashEndFlags(flags|HEFhadelse);
  707. }
  708. switch (skipNesting)
  709. {
  710. case 0:
  711. skipNesting = 1;
  712. doSkipUntilEnd(returnToken, forwhat);
  713. return yyLex(returnToken, lookup, activeState);
  714. case 1:
  715. if (flags & HEFhadtrue)
  716. {
  717. //Don't need to do anything
  718. }
  719. else
  720. {
  721. skipNesting = 0;
  722. if (isElseIf)
  723. doIf(returnToken, true);
  724. else
  725. setHashEndFlags(HEFhadtrue|HEFhadelse);
  726. }
  727. return SKIPPED; // looks wrong, but called within a doIf() loop, and first return is ignored
  728. default:
  729. return SKIPPED;
  730. }
  731. }
  732. int HqlLex::doEnd(attribute & returnToken, bool lookup, const short * activeState)
  733. {
  734. if (hashendKinds.ordinality() != 0)
  735. {
  736. endNestedHash();
  737. if (skipNesting)
  738. {
  739. skipNesting -= 1;
  740. return(HASHEND);
  741. }
  742. }
  743. else
  744. reportError(returnToken, ERR_TMPLT_EXTRAEND,"#END doesn't match a # command");
  745. return yyLex(returnToken, lookup, activeState);
  746. }
  747. void HqlLex::doDeclare(attribute & returnToken)
  748. {
  749. StringBuffer forwhat;
  750. forwhat.appendf("#DECLARE(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  751. IIdAtom * name = NULL;
  752. if (yyLex(returnToken, false,0) != '(')
  753. {
  754. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  755. returnToken.release();
  756. return;
  757. }
  758. for (;;)
  759. {
  760. int tok = yyLex(returnToken, false,0);
  761. if (tok == EOF)
  762. {
  763. StringBuffer msg;
  764. msg.append("Unexpected EOF in ").append(forwhat.str()).append(": ')' expected");
  765. reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "%s", msg.str());
  766. clearNestedHash(); // prevent unnecessary more error messages
  767. return;
  768. }
  769. if (tok != UNKNOWN_ID)
  770. {
  771. reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
  772. returnToken.release();
  773. continue;
  774. }
  775. name = returnToken.getId();
  776. declareXmlSymbol(returnToken, str(name));
  777. tok = yyLex(returnToken, false,0);
  778. if (tok == ')')
  779. break;
  780. else if (tok == ',')
  781. continue;
  782. else if (tok == EOF)
  783. {
  784. StringBuffer msg;
  785. msg.append("Unexpected EOF in ").append(forwhat.str()).append(": ) expected");
  786. reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "%s", msg.str());
  787. clearNestedHash(); // prevent unnecessary more error messages
  788. }
  789. else
  790. {
  791. reportError(returnToken, ERR_EXPECTED, "',' or ')' expected");
  792. returnToken.release();
  793. }
  794. }
  795. }
  796. void HqlLex::doExpand(attribute & returnToken)
  797. {
  798. StringBuffer forwhat;
  799. forwhat.appendf("#DECLARE(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  800. if (yyLex(returnToken, false,0) != '(')
  801. {
  802. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  803. returnToken.release();
  804. return;
  805. }
  806. StringBuffer curParam("(");
  807. int startLine, startCol;
  808. if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
  809. {
  810. reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
  811. StringBuffer dummy;
  812. while (getParameter(dummy,forwhat.str()))
  813. ;
  814. }
  815. curParam.append(')');
  816. Owned<IValue> value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
  817. if (value)
  818. {
  819. StringBuffer buf;
  820. value->getUTF8Value(buf);
  821. if (buf.length())
  822. pushText(buf.str());
  823. }
  824. }
  825. void HqlLex::doSet(attribute & returnToken, bool append)
  826. {
  827. StringBuffer forwhat;
  828. forwhat.appendf("%s(%d,%d)",append?"#APPEND":"#SET",returnToken.pos.lineno,returnToken.pos.column);
  829. IIdAtom * name = NULL;
  830. if (yyLex(returnToken, false,0) != '(')
  831. {
  832. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  833. returnToken.release();
  834. return;
  835. }
  836. if (yyLex(returnToken, false,0) != UNKNOWN_ID)
  837. {
  838. reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
  839. returnToken.release();
  840. return;
  841. }
  842. name = returnToken.getId();
  843. if (yyLex(returnToken, false,0) != ',')
  844. {
  845. reportError(returnToken, ERR_EXPECTED_COMMA, ", expected");
  846. return;
  847. }
  848. StringBuffer curParam("(");
  849. int startLine, startCol;
  850. if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
  851. {
  852. reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
  853. StringBuffer dummy;
  854. while (getParameter(dummy,forwhat.str()))
  855. ;
  856. }
  857. curParam.append(')');
  858. IValue *value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
  859. if (value)
  860. {
  861. StringBuffer buf;
  862. value->getStringValue(buf);
  863. setXmlSymbol(returnToken, str(name), buf.str(), append);
  864. value->Release();
  865. }
  866. }
  867. void HqlLex::doLine(attribute & returnToken)
  868. {
  869. StringBuffer forwhat;
  870. int line = returnToken.pos.lineno, col = returnToken.pos.column;
  871. forwhat.appendf("LINE(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  872. IIdAtom * name = NULL;
  873. if (yyLex(returnToken, false,0) != '(')
  874. {
  875. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  876. returnToken.release();
  877. return;
  878. }
  879. StringBuffer curParam("(");
  880. bool moreParams = getParameter(curParam, forwhat.str(), &line, &col);
  881. curParam.append(')');
  882. IValue *value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),line,col);
  883. if (value && value->getTypeCode()==type_int)
  884. {
  885. returnToken.pos.lineno = yyLineNo = (int)value->getIntValue();
  886. }
  887. else
  888. reportError(returnToken, ERR_EXPECTED_CONST, "Constant integer expression expected");
  889. ::Release(value);
  890. if (moreParams)
  891. {
  892. int startLine, startCol;
  893. if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
  894. {
  895. reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
  896. StringBuffer dummy;
  897. while (getParameter(dummy,forwhat.str()))
  898. ;
  899. }
  900. curParam.append(')');
  901. IValue *value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
  902. if (value && value->getTypeCode()==type_string)
  903. {
  904. StringBuffer buf;
  905. value->getStringValue(buf);
  906. // MORE - set filename here
  907. value->Release();
  908. }
  909. else
  910. reportError(returnToken, ERR_EXPECTED_CONST, "Constant string expression expected");
  911. }
  912. }
  913. bool HqlLex::readCheckNextToken(attribute & returnToken, int expected, unsigned errCode, const char * msg)
  914. {
  915. if (yyLex(returnToken, false, 0) == expected)
  916. return true;
  917. reportError(returnToken, errCode, "%s", msg);
  918. returnToken.release();
  919. return false;
  920. }
  921. void HqlLex::doSlashSlashHash(attribute const & returnToken, const char * command)
  922. {
  923. if (inmacro)
  924. {
  925. inmacro->doSlashSlashHash(returnToken, command);
  926. return;
  927. }
  928. if (macroGathering)
  929. return;
  930. if (hasPrefix(command, "import", false))
  931. {
  932. const char * next = skipws(command + 6);
  933. if (*next == '(')
  934. {
  935. next = skipws(next + 1);
  936. const char * bra = strchr(next, ')');
  937. if (bra)
  938. {
  939. StringBuffer option(bra - next, next);
  940. option.clip();
  941. if (strieq(option, "legacy"))
  942. setLegacyImport(true);
  943. else if (strieq(option, "modern"))
  944. setLegacyImport(false);
  945. else
  946. reportError(returnToken, ERR_EXPECTED_ID, "Unknown #import option '%s' - expected legacy or modern", option.str());
  947. }
  948. else
  949. reportError(returnToken, ERR_EXPECTED_RIGHTCURLY, "Expected closing )");
  950. }
  951. else
  952. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "Expected (");
  953. }
  954. else if (hasPrefix(command, "when", false))
  955. {
  956. const char * next = skipws(command + 4);
  957. if (*next == '(')
  958. {
  959. next = skipws(next + 1);
  960. const char * bra = strchr(next, ')');
  961. if (bra)
  962. {
  963. StringBuffer option(bra - next, next);
  964. option.clip();
  965. if (strieq(option, "legacy"))
  966. setLegacyWhen(true);
  967. else if (strieq(option, "modern"))
  968. setLegacyWhen(false);
  969. else
  970. reportError(returnToken, ERR_EXPECTED_ID, "Unknown #import option '%s' - expected legacy or modern", option.str());
  971. }
  972. else
  973. reportError(returnToken, ERR_EXPECTED_RIGHTCURLY, "Expected closing )");
  974. }
  975. else
  976. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "Expected (");
  977. }
  978. //Ignore any unrecognised commands
  979. }
  980. void HqlLex::doError(attribute & returnToken, bool isError)
  981. {
  982. StringBuffer forwhat;
  983. forwhat.appendf("%s(%d,%d)",isError?"#ERROR":"#WARNING",returnToken.pos.lineno,returnToken.pos.column);
  984. IIdAtom * name = NULL;
  985. if (yyLex(returnToken, false,0) != '(')
  986. {
  987. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  988. returnToken.release();
  989. return;
  990. }
  991. StringBuffer curParam("(");
  992. int startLine, startCol;
  993. if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
  994. {
  995. reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
  996. StringBuffer dummy;
  997. while (getParameter(dummy,forwhat.str()))
  998. ;
  999. }
  1000. curParam.append(')');
  1001. StringBuffer buf;
  1002. OwnedIValue value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
  1003. if (value)
  1004. {
  1005. value->getStringValue(buf);
  1006. }
  1007. else
  1008. buf.append(curParam.length()-2, curParam.str()+1);
  1009. if (isError)
  1010. reportError(returnToken, ERR_HASHERROR, "#ERROR: %s", buf.str());
  1011. else
  1012. reportWarning(CategoryUnusual, returnToken, WRN_HASHWARNING, "#WARNING: %s", buf.str());
  1013. }
  1014. void HqlLex::doExport(attribute & returnToken, bool toXml)
  1015. {
  1016. StringBuffer forwhat;
  1017. forwhat.appendf("#EXPORT(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  1018. IIdAtom * exportname = NULL;
  1019. if (yyLex(returnToken, false,0) != '(')
  1020. {
  1021. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  1022. returnToken.release();
  1023. return;
  1024. }
  1025. if (yyLex(returnToken, false,0) != UNKNOWN_ID)
  1026. {
  1027. reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
  1028. returnToken.release();
  1029. return;
  1030. }
  1031. exportname = returnToken.getId();
  1032. if (yyLex(returnToken, false,0) != ',')
  1033. {
  1034. reportError(returnToken, ERR_EXPECTED_COMMA, ", expected");
  1035. return;
  1036. }
  1037. IPropertyTree *data = createPTree("Data", ipt_caseInsensitive);
  1038. for (;;)
  1039. {
  1040. StringBuffer curParam("SIZEOF(");
  1041. bool more = getParameter(curParam,"#EXPORT");
  1042. curParam.append(",MAX)");
  1043. OwnedHqlExpr expr;
  1044. Owned<IHqlScope> scope = new CHqlParserPseduoScope(yyParser);
  1045. try
  1046. {
  1047. HqlLookupContext ctx(yyParser->lookupCtx);
  1048. Owned<IFileContents> exportContents = createFileContentsFromText(curParam.str(), sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0);
  1049. expr.setown(parseQuery(scope, exportContents, ctx, xmlScope, NULL, true, false));
  1050. if (expr && (expr->getOperator() == no_sizeof))
  1051. {
  1052. IHqlExpression * child = expr->queryChild(0);
  1053. node_operator op = child->getOperator();
  1054. if(op==no_table || op==no_usertable || op==no_newusertable || op == no_record || op == no_select || op == no_field)
  1055. exportData(data, child, true);
  1056. else if (child->queryRecord())
  1057. exportData(data, child->queryRecord(), true);
  1058. else
  1059. reportError(returnToken, ERR_EXPECTED_COMMA, "DATASET or TABLE expression expected");
  1060. }
  1061. else
  1062. reportError(returnToken, ERR_EXPECTED_COMMA, "Could not parse the argument passed to #EXPORT");
  1063. }
  1064. catch (...)
  1065. {
  1066. setXmlSymbol(returnToken, str(exportname), "", false);
  1067. IERRLOG("Unexpected exception in doExport()");
  1068. }
  1069. if (!more)
  1070. break;
  1071. }
  1072. StringBuffer buf;
  1073. toXML(data, buf, 0);
  1074. if (toXml)
  1075. ensureTopXmlScope()->loadXML(buf.str(), str(exportname));
  1076. else
  1077. setXmlSymbol(returnToken, str(exportname), buf.str(), false);
  1078. data->Release();
  1079. }
  1080. void HqlLex::doTrace(attribute & returnToken)
  1081. {
  1082. StringBuffer forwhat;
  1083. forwhat.appendf("#TRACE(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  1084. IIdAtom * name = NULL;
  1085. if (yyLex(returnToken, false,0) != '(')
  1086. {
  1087. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  1088. returnToken.release();
  1089. return;
  1090. }
  1091. StringBuffer curParam("(");
  1092. int startLine, startCol;
  1093. if (getParameter(curParam,forwhat.str(),&startLine,&startCol))
  1094. {
  1095. reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
  1096. StringBuffer dummy;
  1097. while (getParameter(dummy,forwhat.str()))
  1098. ;
  1099. }
  1100. curParam.append(')');
  1101. Owned<IValue> value = parseConstExpression(returnToken, curParam, queryTopXmlScope(),startLine-1,startCol);
  1102. if (value)
  1103. {
  1104. StringBuffer buf;
  1105. value->getStringValue(buf);
  1106. FILE *trace = fopen("hql.log", "at");
  1107. if (trace)
  1108. {
  1109. fwrite(buf.str(),buf.length(),1,trace);
  1110. fclose(trace);
  1111. }
  1112. }
  1113. }
  1114. void HqlLex::doFor(attribute & returnToken, bool doAll)
  1115. {
  1116. //MTIME_SECTION(timer, "HqlLex::doFor")
  1117. int startLine = -1, startCol = 0;
  1118. StringBuffer forwhat;
  1119. forwhat.appendf("#FOR(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  1120. IIdAtom * name = NULL;
  1121. if (yyLex(returnToken, false,0) != '(')
  1122. {
  1123. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  1124. returnToken.release();
  1125. return;
  1126. }
  1127. if (yyLex(returnToken, false,0) != UNKNOWN_ID)
  1128. {
  1129. reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
  1130. returnToken.release();
  1131. return;
  1132. }
  1133. name = returnToken.getId();
  1134. StringBuffer forFilterText;
  1135. // Note - we gather the for filter and body in skip mode (deferring evaluation of #if etc) since the context will be different each time...
  1136. skipNesting = 1;
  1137. int tok = yyLex(returnToken, false,0);
  1138. if (tok == '(')
  1139. {
  1140. forFilterText.append('(');
  1141. while (getParameter(forFilterText, forwhat.str()))
  1142. forFilterText.append(") AND (");
  1143. forFilterText.append(')');
  1144. tok = yyLex(returnToken, false,0);
  1145. }
  1146. if (tok != ')')
  1147. {
  1148. reportError(returnToken, ERR_EXPECTED_RIGHTCURLY, ") expected");
  1149. // recovery: assume a ')' is here. And push back the token.
  1150. pushText(get_yyText());
  1151. returnToken.release();
  1152. }
  1153. // Now gather the tokens we are going to repeat...
  1154. StringBuffer forBodyText;
  1155. for (;;)
  1156. {
  1157. int tok = yyLex(returnToken, false,0);
  1158. if (startLine == -1)
  1159. {
  1160. startLine = returnToken.pos.lineno - 1;
  1161. startCol = returnToken.pos.column;
  1162. }
  1163. if (tok == EOF)
  1164. {
  1165. reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "EOF encountered inside %s: #END expected", forwhat.str());
  1166. clearNestedHash(); // prevent unnecessary more error messages
  1167. return;
  1168. }
  1169. if (tok == HASHEND && !skipNesting)
  1170. break;
  1171. forBodyText.append(' ');
  1172. getTokenText(forBodyText);
  1173. returnToken.release();
  1174. }
  1175. ::Release(forLoop);
  1176. forLoop = getSubScopes(returnToken, str(name), doAll);
  1177. if (forFilterText.length())
  1178. forFilter.setown(createFileContentsFromText(forFilterText, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0));
  1179. forBody.setown(createFileContentsFromText(forBodyText, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0));
  1180. loopTimes = 0;
  1181. if (forLoop && forLoop->first()) // more - check filter
  1182. checkNextLoop(returnToken, true, startLine, startCol);
  1183. }
  1184. void HqlLex::doLoop(attribute & returnToken)
  1185. {
  1186. int startLine = -1, startCol = 0;
  1187. StringBuffer forwhat;
  1188. forwhat.appendf("#LOOP(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  1189. // Now gather the tokens we are going to repeat...
  1190. StringBuffer forBodyText;
  1191. // Note - we gather the for filter and body in skip mode (deferring evaluation of #if etc) since the context will be different each time...
  1192. skipNesting = 1;
  1193. hasHashbreak = false;
  1194. for (;;)
  1195. {
  1196. int tok = yyLex(returnToken, false,0);
  1197. if (startLine == -1)
  1198. {
  1199. startLine = returnToken.pos.lineno-1;
  1200. startCol = returnToken.pos.column;
  1201. }
  1202. if (tok == EOF)
  1203. {
  1204. reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "EOF encountered inside %s: #END expected",forwhat.str());
  1205. clearNestedHash(); // prevent unnecessary more error messages
  1206. return;
  1207. }
  1208. if (tok == HASHEND && !skipNesting)
  1209. break;
  1210. forBodyText.append(' ');
  1211. getTokenText(forBodyText);
  1212. returnToken.release();
  1213. }
  1214. if (!hasHashbreak)
  1215. {
  1216. reportError(returnToken, ERR_TMPLT_NOBREAKINLOOP,"No #BREAK inside %s: infinite loop will occur", forwhat.str());
  1217. return;
  1218. }
  1219. ::Release(forLoop);
  1220. forLoop = new CDummyScopeIterator(ensureTopXmlScope());
  1221. forFilter.clear();
  1222. forBody.setown(createFileContentsFromText(forBodyText, sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0));
  1223. loopTimes = 0;
  1224. if (forLoop->first()) // more - check filter
  1225. checkNextLoop(returnToken, true,startLine,startCol);
  1226. }
  1227. void HqlLex::doGetDataType(attribute & returnToken)
  1228. {
  1229. int tok = yyLex(returnToken, false,0);
  1230. if (tok != '(')
  1231. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected"); // MORE - make it fatal!
  1232. StringBuffer curParam("(");
  1233. if (getParameter(curParam, "#GETDATATYPE"))
  1234. {
  1235. reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
  1236. StringBuffer dummy;
  1237. while (getParameter(dummy,"#GETDATATYPE"))
  1238. ;
  1239. }
  1240. curParam.append(')');
  1241. StringBuffer type;
  1242. doGetDataType(type, curParam.str(), returnToken.pos.lineno, returnToken.pos.column);
  1243. pushText(type.str());
  1244. }
  1245. StringBuffer& HqlLex::doGetDataType(StringBuffer & type, const char * text, int lineno, int column)
  1246. {
  1247. OwnedHqlExpr expr = parseECL(text, queryTopXmlScope(), lineno, column);
  1248. if(expr)
  1249. {
  1250. type.append('\'');
  1251. if (expr->queryType())
  1252. expr->queryType()->getECLType(type);
  1253. type.append('\'');
  1254. }
  1255. else
  1256. type.append("'unknown_type'");
  1257. return type;
  1258. }
  1259. int HqlLex::doHashText(attribute & returnToken)
  1260. {
  1261. StringBuffer forwhat;
  1262. forwhat.appendf("#TEXT(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  1263. if (yyLex(returnToken, false,0) != '(')
  1264. {
  1265. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  1266. returnToken.release();
  1267. returnToken.setExpr(createBlankString());
  1268. return STRING_CONST;
  1269. }
  1270. StringBuffer parameterText;
  1271. bool moreParams = getParameter(parameterText, forwhat.str());
  1272. if (!moreParams)
  1273. {
  1274. while (parameterText.length() && parameterText.charAt(0)==' ')
  1275. parameterText.remove(0, 1);
  1276. }
  1277. else
  1278. {
  1279. reportError(returnToken, ERR_OPERANDS_TOOMANY, "Too many operands");
  1280. StringBuffer dummy;
  1281. while (getParameter(dummy,forwhat.str()))
  1282. ;
  1283. }
  1284. returnToken.setExpr(createConstant(parameterText));
  1285. return (STRING_CONST);
  1286. }
  1287. void HqlLex::doInModule(attribute & returnToken)
  1288. {
  1289. #ifdef TIMING_DEBUG
  1290. MTIME_SECTION(timer, "HqlLex::doInModule");
  1291. #endif
  1292. int tok = yyLex(returnToken, false,0);
  1293. if (tok != '(')
  1294. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  1295. StringBuffer moduleName, attrName;
  1296. if (getParameter(moduleName,"#INMODULE"))
  1297. {
  1298. if (getParameter(attrName,"#INMODULE"))
  1299. {
  1300. reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
  1301. /* skip the rest */
  1302. StringBuffer dummy;
  1303. while (getParameter(dummy,"#INMODULE"))
  1304. ;
  1305. }
  1306. }
  1307. else
  1308. {
  1309. reportError(returnToken, ERR_PARAM_TOOFEW,"Too few parameters: #INMODULE needs 2");
  1310. /* recovery */
  1311. pushText("true");
  1312. return;
  1313. }
  1314. if (isInModule(yyParser->lookupCtx, moduleName.str(),attrName.str()))
  1315. pushText("true");
  1316. else
  1317. pushText("false");
  1318. }
  1319. static bool isInModule(HqlLookupContext & ctx, const char* moduleName, const char* attrName)
  1320. {
  1321. if (!ctx.queryRepository())
  1322. return false;
  1323. try
  1324. {
  1325. //hack: get rid of the extra leading spaces
  1326. const char* pModule = moduleName;
  1327. while(*pModule==' ') pModule++;
  1328. const char* pAttr = attrName;
  1329. while(*pAttr==' ') pAttr++;
  1330. OwnedHqlExpr match = ctx.queryRepository()->queryRootScope()->lookupSymbol(createIdAtom(pModule), LSFpublic, ctx);
  1331. IHqlScope * scope = match ? match->queryScope() : NULL;
  1332. if (scope)
  1333. {
  1334. OwnedHqlExpr expr = scope->lookupSymbol(createIdAtom(pAttr), LSFpublic, ctx);
  1335. if (expr)
  1336. return true;
  1337. }
  1338. }
  1339. catch (...)
  1340. {
  1341. IERRLOG("Unexpected exception in doInModule()");
  1342. }
  1343. return false;
  1344. }
  1345. void HqlLex::doUniqueName(attribute & returnToken)
  1346. {
  1347. int tok = yyLex(returnToken, false,0);
  1348. if (tok != '(')
  1349. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  1350. else
  1351. tok = yyLex(returnToken, false,0);
  1352. if (tok != UNKNOWN_ID)
  1353. {
  1354. reportError(returnToken, ERR_EXPECTED_IDENTIFIER, "Identifier expected");
  1355. returnToken.release();
  1356. }
  1357. else
  1358. {
  1359. IIdAtom * name = returnToken.getId();
  1360. StringAttr pattern("__#__$__");
  1361. tok = yyLex(returnToken, false,0);
  1362. if (tok == ',')
  1363. {
  1364. tok = yyLex(returnToken, false,0);
  1365. if (tok == STRING_CONST)
  1366. {
  1367. StringBuffer text;
  1368. OwnedHqlExpr str = returnToken.getExpr();
  1369. getStringValue(text, str);
  1370. pattern.set(text.str());
  1371. tok = yyLex(returnToken, false,0);
  1372. }
  1373. else
  1374. reportError(returnToken, ERR_EXPECTED, "string expected");
  1375. }
  1376. declareUniqueName(str(name), pattern);
  1377. }
  1378. if (tok != ')')
  1379. reportError(returnToken, ERR_EXPECTED_RIGHTCURLY, ") expected");
  1380. }
  1381. static int gUniqueId = 0;
  1382. void resetLexerUniqueNames() { gUniqueId = 0; }
  1383. void HqlLex::declareUniqueName(const char *name, const char * pattern)
  1384. {
  1385. IXmlScope *top = ensureTopXmlScope();
  1386. StringBuffer value;
  1387. if (!top->getValue(name,value))
  1388. top->declareValue(name);
  1389. StringBuffer uniqueName;
  1390. bool added = false;
  1391. for (const char * cur = pattern; *cur; cur++)
  1392. {
  1393. char next = *cur;
  1394. switch (next)
  1395. {
  1396. case '#':
  1397. uniqueName.append(name);
  1398. break;
  1399. case '$':
  1400. uniqueName.append(++gUniqueId);
  1401. added = true;
  1402. break;
  1403. default:
  1404. uniqueName.append(next);
  1405. break;
  1406. }
  1407. }
  1408. if (!added)
  1409. uniqueName.append(++gUniqueId);
  1410. //DBGLOG("Declaring unique name: %s",uniqueName.str());
  1411. top->setValue(name,uniqueName.str());
  1412. }
  1413. void HqlLex::doIsValid(attribute & returnToken)
  1414. {
  1415. int tok = yyLex(returnToken, false,0);
  1416. if (tok != '(')
  1417. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected");
  1418. StringBuffer curParam("(");
  1419. if (getParameter(curParam,"#ISVALID"))
  1420. {
  1421. reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
  1422. StringBuffer dummy;
  1423. while (getParameter(dummy,"#ISVALID"))
  1424. ;
  1425. }
  1426. curParam.append(')');
  1427. IHqlExpression * expr = NULL;
  1428. IHqlScope *scope = createScope();
  1429. try
  1430. {
  1431. HqlLookupContext ctx(yyParser->lookupCtx);
  1432. ctx.errs.clear(); //Deliberately ignore any errors
  1433. Owned<IFileContents> contents = createFileContentsFromText(curParam.str(), sourcePath, yyParser->inSignedModule, yyParser->gpgSignature, 0);
  1434. expr = parseQuery(scope, contents, ctx, xmlScope, NULL, true, false);
  1435. if(expr)
  1436. {
  1437. pushText("true");
  1438. }
  1439. else
  1440. {
  1441. pushText("false");
  1442. }
  1443. }
  1444. catch (...)
  1445. {
  1446. pushText("false");
  1447. IERRLOG("Unexpected exception in doIsValid()");
  1448. }
  1449. ::Release(expr);
  1450. ::Release(closeScope(scope));
  1451. }
  1452. void HqlLex::checkNextLoop(const attribute & errpos, bool first, int startLine, int startCol)
  1453. {
  1454. if (yyParser->checkAborting())
  1455. return;
  1456. if (loopTimes++ > MAX_LOOP_TIMES)
  1457. {
  1458. reportError(errpos, ERR_TMPLT_LOOPEXCESSMAX,"The loop exceeded the limit: infinite loop is suspected");
  1459. return;
  1460. }
  1461. //printf("%d\r",loopTimes);
  1462. //assertex(forLoop);
  1463. while (first || forLoop->next())
  1464. {
  1465. bool filtered;
  1466. IXmlScope *subscope = (IXmlScope *) &forLoop->query();
  1467. if (forFilter)
  1468. {
  1469. #ifdef TIMING_DEBUG
  1470. MTIME_SECTION(timer, "HqlLex::checkNextLoopcond");
  1471. #endif
  1472. Owned<IValue> value = parseConstExpression(errpos, forFilter, subscope,startLine,startCol);
  1473. filtered = !value || !value->getBoolValue();
  1474. }
  1475. else
  1476. filtered = false;
  1477. if (!filtered)
  1478. {
  1479. pushText(forBody,startLine,startCol);
  1480. inmacro->xmlScope = LINK(subscope);
  1481. return;
  1482. }
  1483. first = false;
  1484. }
  1485. forLoop->Release();
  1486. forLoop = NULL;
  1487. }
  1488. void HqlLex::doPreprocessorLookup(const attribute & errpos, bool stringify, int extra)
  1489. {
  1490. StringBuffer out;
  1491. char *text = get_yyText() + 1;
  1492. unsigned len = (size32_t)strlen(text) - 1;
  1493. text += extra;
  1494. len -= (extra+extra);
  1495. StringBuffer in;
  1496. in.append(len, text);
  1497. bool matched = lookupXmlSymbol(errpos, in.str(), out);
  1498. if (stringify)
  1499. {
  1500. char *expanded = (char *) malloc(out.length()*2 + 3); // maximum it could be (might be a bit big for alloca)
  1501. char *s = expanded;
  1502. *s++='\'';
  1503. const char *finger = out.str();
  1504. for (;;)
  1505. {
  1506. char c = *finger++;
  1507. if (!c)
  1508. break;
  1509. switch(c)
  1510. {
  1511. case '\r':
  1512. *s++='\\'; *s++ ='r';
  1513. break;
  1514. case '\n':
  1515. *s++='\\'; *s++ ='n';
  1516. break;
  1517. case '\\':
  1518. case '\'':
  1519. *s++='\\';
  1520. // fall into
  1521. default:
  1522. *s++=c;
  1523. }
  1524. }
  1525. *s++ = '\'';
  1526. *s = '\0';
  1527. pushText(expanded);
  1528. free(expanded);
  1529. }
  1530. else
  1531. {
  1532. // a space is needed sometimes, e.g, #IF(true or %x%=2)
  1533. out.trim();
  1534. if (out.length())
  1535. {
  1536. out.insert(0," ");
  1537. pushText(out.str());
  1538. }
  1539. else
  1540. {
  1541. //Don't report errors accessing attributes, but do complain about missing symbols
  1542. if (!matched && (*text != '@'))
  1543. reportError(errpos, WRN_UNRESOLVED_SYMBOL, "Symbol %%%s not resolved", text);
  1544. pushText(" 0");
  1545. }
  1546. }
  1547. }
  1548. //Read the text of a parameter, but also have a good guess at whether it is defined.
  1549. bool HqlLex::getDefinedParameter(StringBuffer &curParam, attribute & returnToken, const char* for_what, SharedHqlExpr & resolved)
  1550. {
  1551. enum { StateStart, StateDot, StateSelectId, StateFailed } state = StateStart;
  1552. unsigned parenDepth = 1;
  1553. OwnedHqlExpr expr;
  1554. for (;;)
  1555. {
  1556. int tok = yyLex(returnToken, false, 0);
  1557. switch(tok)
  1558. {
  1559. case '(':
  1560. case '[':
  1561. parenDepth++;
  1562. break;
  1563. case ')':
  1564. if (parenDepth-- == 1)
  1565. {
  1566. if (state == StateDot)
  1567. resolved.setown(expr.getClear());
  1568. return false;
  1569. }
  1570. break;
  1571. case ']':
  1572. parenDepth--;
  1573. break;
  1574. case ',':
  1575. if (parenDepth==1)
  1576. {
  1577. if (state == StateDot)
  1578. resolved.setown(expr.getClear());
  1579. return true;
  1580. }
  1581. break;
  1582. case EOF:
  1583. {
  1584. StringBuffer msg("EOF encountered while gathering parameters for ");
  1585. msg.append(for_what);
  1586. reportError(returnToken, ERR_TMPLT_EOFINPARAM, "%s", msg.str());
  1587. }
  1588. return false;
  1589. case UNKNOWN_ID:
  1590. if (parenDepth == 1)
  1591. {
  1592. switch (state)
  1593. {
  1594. case StateStart:
  1595. {
  1596. expr.setown(lookupSymbol(returnToken.getId(), returnToken));
  1597. state = expr ? StateDot : StateFailed;
  1598. break;
  1599. }
  1600. case StateDot:
  1601. {
  1602. state = StateFailed;
  1603. break;
  1604. }
  1605. case StateSelectId:
  1606. {
  1607. state = StateFailed;
  1608. if (expr->getOperator() == no_funcdef)
  1609. expr.set(expr->queryChild(0));
  1610. IHqlScope * scope = expr->queryScope();
  1611. if (scope)
  1612. {
  1613. expr.setown(yyParser->lookupSymbol(scope, returnToken.getId()));
  1614. if (expr)
  1615. state = StateDot;
  1616. }
  1617. break;
  1618. }
  1619. }
  1620. }
  1621. curParam.append(' ');
  1622. break;
  1623. case '.':
  1624. if (parenDepth == 1)
  1625. {
  1626. if (state == StateDot)
  1627. state = StateSelectId;
  1628. else
  1629. state = StateFailed;
  1630. }
  1631. break;
  1632. default:
  1633. curParam.append(' ');
  1634. break;
  1635. }
  1636. getTokenText(curParam);
  1637. returnToken.release();
  1638. }
  1639. }
  1640. bool HqlLex::doIsDefined(attribute & returnToken)
  1641. {
  1642. StringBuffer forwhat;
  1643. forwhat.appendf("#ISDEFINED(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  1644. if (!assertNextOpenBra())
  1645. return false;
  1646. OwnedHqlExpr resolved;
  1647. StringBuffer paramText;
  1648. bool hasMore = getDefinedParameter(paramText, returnToken, forwhat.str(), resolved);
  1649. if (hasMore)
  1650. reportError(returnToken, ERR_EXPECTED, "Expected ')'");
  1651. return resolved != NULL;
  1652. }
  1653. void HqlLex::doDefined(attribute & returnToken)
  1654. {
  1655. StringBuffer forwhat;
  1656. forwhat.appendf("#DEFINED(%d,%d)",returnToken.pos.lineno,returnToken.pos.column);
  1657. if (!assertNextOpenBra())
  1658. return;
  1659. OwnedHqlExpr resolved;
  1660. StringBuffer param1Text;
  1661. StringBuffer param2Text;
  1662. bool hasMore = getDefinedParameter(param1Text, returnToken, forwhat.str(), resolved);
  1663. if (hasMore)
  1664. hasMore = getParameter(param2Text, forwhat.str());
  1665. if (hasMore)
  1666. reportError(returnToken, ERR_EXPECTED, "Expected ')'");
  1667. if (resolved)
  1668. pushText(param1Text);
  1669. else if (param2Text.length())
  1670. pushText(param2Text);
  1671. }
  1672. IHqlExpression *HqlLex::parseECL(IFileContents * contents, IXmlScope *xmlScope, int startLine, int startCol)
  1673. {
  1674. #ifdef TIMING_DEBUG
  1675. MTIME_SECTION(timer, "HqlLex::parseConstExpression");
  1676. #endif
  1677. Owned<IHqlScope> scope = createScope();
  1678. HqlGramCtx parentContext(yyParser->lookupCtx, yyParser->inSignedModule);
  1679. yyParser->saveContext(parentContext, false);
  1680. HqlGram parser(parentContext, scope, contents, xmlScope, true);
  1681. parser.getLexer()->set_yyLineNo(startLine);
  1682. parser.getLexer()->set_yyColumn(startCol);
  1683. return parser.yyParse(false, false);
  1684. }
  1685. IHqlExpression *HqlLex::parseECL(const char * text, IXmlScope *xmlScope, int startLine, int startCol)
  1686. {
  1687. Owned<IFileContents> contents = createFileContentsFromText(text, querySourcePath(), yyParser->inSignedModule, yyParser->gpgSignature, 0);
  1688. return parseECL(contents, xmlScope, startLine, startCol);
  1689. }
  1690. IValue *HqlLex::foldConstExpression(const attribute & errpos, IHqlExpression * expr, IXmlScope *xmlScope, int startLine, int startCol)
  1691. {
  1692. OwnedIValue value;
  1693. if (expr)
  1694. {
  1695. try
  1696. {
  1697. CTemplateContext context(this, yyParser->lookupCtx, xmlScope, startLine, startCol);
  1698. OwnedHqlExpr folded = foldHqlExpression(*yyParser, expr, &context, HFOthrowerror|HFOfoldimpure|HFOforcefold);
  1699. if (folded)
  1700. {
  1701. if (folded->queryValue())
  1702. value.set(folded->queryValue());
  1703. }
  1704. }
  1705. catch (IException* except)
  1706. {
  1707. StringBuffer s;
  1708. reportError(errpos, except->errorCode(), "%s", except->errorMessage(s).str());
  1709. except->Release();
  1710. }
  1711. }
  1712. if (!value.get())
  1713. {
  1714. if (yyParser->lookupCtx.syntaxChecking() && yyParser->lookupCtx.hasCacheLocation())
  1715. {
  1716. reportError(errpos, ERR_EXPECTED_CONST, "Unable to expand constant expression when using cache. Try disabling cache."); // errpos could be better
  1717. }
  1718. else
  1719. {
  1720. reportError(errpos, ERR_EXPECTED_CONST, "Constant expression expected"); // errpos could be better
  1721. }
  1722. }
  1723. return value.getClear();
  1724. }
  1725. IValue *HqlLex::parseConstExpression(const attribute & errpos, StringBuffer &curParam, IXmlScope *xmlScope, int startLine, int startCol)
  1726. {
  1727. #ifdef TIMING_DEBUG
  1728. MTIME_SECTION(timer, "HqlLex::parseConstExpression");
  1729. #endif
  1730. OwnedHqlExpr expr = parseECL(curParam, xmlScope, startLine, startCol);
  1731. return foldConstExpression(errpos, expr, xmlScope, startLine, startCol);
  1732. }
  1733. IValue *HqlLex::parseConstExpression(const attribute & errpos, IFileContents * text, IXmlScope *xmlScope, int startLine, int startCol)
  1734. {
  1735. #ifdef TIMING_DEBUG
  1736. MTIME_SECTION(timer, "HqlLex::parseConstExpression");
  1737. #endif
  1738. OwnedHqlExpr expr = parseECL(text, xmlScope, startLine, startCol);
  1739. return foldConstExpression(errpos, expr, xmlScope, startLine, startCol);
  1740. }
  1741. int hexchar(char c)
  1742. {
  1743. if (c >= 'A' && c <= 'F')
  1744. return c - 'A' + 10;
  1745. else if (c >= 'a' && c <= 'f')
  1746. return c - 'a' + 10;
  1747. else
  1748. return c - '0';
  1749. }
  1750. void HqlLex::doApply(attribute & returnToken)
  1751. {
  1752. int tok = yyLex(returnToken, false,0);
  1753. int line = returnToken.pos.lineno, col = returnToken.pos.column;
  1754. if (tok != '(')
  1755. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected"); // MORE - make it fatal!
  1756. StringBuffer curParam("(");
  1757. if (getParameter(curParam, "#APPLY"))
  1758. {
  1759. reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
  1760. StringBuffer dummy;
  1761. while (getParameter(dummy, "#APPLY"))
  1762. ;
  1763. }
  1764. curParam.append(')');
  1765. OwnedHqlExpr actions = parseECL(curParam, queryTopXmlScope(), line, col);
  1766. if (actions)
  1767. {
  1768. CTemplateContext context(this, yyParser->lookupCtx, xmlScope,line,col);
  1769. OwnedHqlExpr folded = foldHqlExpression(*yyParser, actions, &context, HFOthrowerror|HFOfoldimpure|HFOforcefold);
  1770. }
  1771. else
  1772. reportError(returnToken, ERR_EXPECTED_CONST, "Constant expression expected");
  1773. }
  1774. void HqlLex::doMangle(attribute & returnToken, bool de)
  1775. {
  1776. int tok = yyLex(returnToken, false,0);
  1777. int line = returnToken.pos.lineno, col = returnToken.pos.column;
  1778. if (tok != '(')
  1779. reportError(returnToken, ERR_EXPECTED_LEFTCURLY, "( expected"); // MORE - make it fatal!
  1780. StringBuffer curParam("(");
  1781. if (getParameter(curParam, de?"#DEMANGLE":"#MANGLE"))
  1782. {
  1783. reportError(returnToken, ERR_OPERANDS_TOOMANY, "too many operands");
  1784. StringBuffer dummy;
  1785. while (getParameter(dummy, de?"#DEMANGLE":"MANGLE"))
  1786. ;
  1787. }
  1788. curParam.append(')');
  1789. IValue *value = parseConstExpression(returnToken, curParam, queryTopXmlScope(), line, col);
  1790. if (value)
  1791. {
  1792. const char *str = value->getStringValue(curParam.clear());
  1793. value->Release();
  1794. StringBuffer mangled;
  1795. mangle(yyParser->errorHandler,str,mangled,de);
  1796. pushText(mangled.str());
  1797. }
  1798. else
  1799. reportError(returnToken, ERR_EXPECTED_CONST, "Constant expression expected");
  1800. }
  1801. static StringBuffer& mangle(IErrorReceiver* errReceiver,const char* src, StringBuffer& mangled,bool de)
  1802. {
  1803. mangled.append("'");
  1804. for (const char *finger = src; *finger!=0; finger++)
  1805. {
  1806. unsigned char c = *finger;
  1807. if (isalnum(c))
  1808. {
  1809. if (finger == src && isdigit(c)) // a leading digit
  1810. {
  1811. if (de)
  1812. {
  1813. //errReceiver->reportError(returnToken, ERR_EXPECTED_CONST, "Bad parameter to #DEMANGLE", "CppTemplate");
  1814. IERRLOG("Bad parameter to #DEMANGLE");
  1815. break;
  1816. }
  1817. else
  1818. mangled.appendf("_%02x",(int)c);
  1819. }
  1820. else
  1821. mangled.append(c);
  1822. }
  1823. else if (de)
  1824. {
  1825. if (c != '_')
  1826. {
  1827. //errReceiver->reportError(returnToken, ERR_EXPECTED_CONST, "Bad parameter to #DEMANGLE");
  1828. IERRLOG("Bad parameter to #DEMANGLE");
  1829. break;
  1830. }
  1831. c = hexchar(finger[1])*16 + hexchar(finger[2]);
  1832. finger += 2;
  1833. if (c=='\'')
  1834. mangled.append('\\');
  1835. mangled.append(c);
  1836. }
  1837. else
  1838. mangled.appendf("_%02x", (int) c);
  1839. }
  1840. mangled.append('\'');
  1841. return mangled;
  1842. }
  1843. int HqlLex::processStringLiteral(attribute & returnToken, char *CUR_TOKEN_TEXT, unsigned CUR_TOKEN_LENGTH, int oldColumn, int oldPosition)
  1844. {
  1845. MemoryAttr tempBuff;
  1846. char *b = (char *)tempBuff.allocate(CUR_TOKEN_LENGTH); // Escape sequence can only make is shorter...
  1847. char *bf = b;
  1848. const char *finger = CUR_TOKEN_TEXT;
  1849. type_t tc = type_string;
  1850. if (*finger != '\'')
  1851. {
  1852. if ((*finger == 'd') || (*finger == 'D'))
  1853. tc = type_data;
  1854. else if((*finger == 'q') || (*finger == 'Q'))
  1855. tc = type_qstring;
  1856. else if((*finger == 'v') || (*finger == 'V'))
  1857. tc = type_varstring;
  1858. finger++;
  1859. }
  1860. bool isMultiline = false;
  1861. if (finger[1]=='\'' && finger[2]=='\'')
  1862. {
  1863. isMultiline = true;
  1864. CUR_TOKEN_TEXT[CUR_TOKEN_LENGTH-2] = '\0';
  1865. finger += 2;
  1866. }
  1867. for (finger++; finger[1]; finger++)
  1868. {
  1869. unsigned char next = *finger;
  1870. size32_t delta = (size32_t)(finger-CUR_TOKEN_TEXT);
  1871. if (next == '\\')
  1872. {
  1873. next = finger[1];
  1874. if (finger[2]==0) // finger[1] must be '.
  1875. {
  1876. returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
  1877. StringBuffer msg("Can not terminate a string with escape char '\\': ");
  1878. msg.append(CUR_TOKEN_TEXT);
  1879. reportError(returnToken, RRR_ESCAPE_ENDWITHSLASH, "%s", msg.str());
  1880. if (checkAborting())
  1881. return EOF;
  1882. }
  1883. else if (next == '\'' || next == '\\' || next == '?' || next == '"')
  1884. {
  1885. finger++;
  1886. }
  1887. else if (next == '\n')
  1888. {
  1889. finger++;
  1890. continue; // A \ at end of line in a multiline constant means remove the end-of-line
  1891. }
  1892. else if (next == 'a')
  1893. {
  1894. next = '\a';
  1895. finger++;
  1896. }
  1897. else if (next == 'b')
  1898. {
  1899. next = '\b';
  1900. finger++;
  1901. }
  1902. else if (next == 'f')
  1903. {
  1904. next = '\f';
  1905. finger++;
  1906. }
  1907. else if (next == 'n')
  1908. {
  1909. next = '\n';
  1910. finger++;
  1911. }
  1912. else if (next == 'r')
  1913. {
  1914. next = '\r';
  1915. finger++;
  1916. }
  1917. else if (next == 't')
  1918. {
  1919. next = '\t';
  1920. finger++;
  1921. }
  1922. else if (next == 'v')
  1923. {
  1924. next = '\v';
  1925. finger++;
  1926. }
  1927. else if (isdigit(next) && next < '8')
  1928. {
  1929. //Allow octal constants for ^Z etc.
  1930. unsigned value = 0;
  1931. unsigned count;
  1932. for (count=0; count < 3; count++)
  1933. {
  1934. next = finger[count+1];
  1935. if (!isdigit(next) || next >= '8')
  1936. break;
  1937. value = value * 8 + (next - '0');
  1938. }
  1939. if(count != 3)
  1940. {
  1941. returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
  1942. StringBuffer msg;
  1943. msg.append("3-digit numeric escape sequence contained non-octal digit: ").append(next);
  1944. reportError(returnToken, ERR_ESCAPE_UNKNOWN, "%s", msg.str());
  1945. if (checkAborting())
  1946. return EOF;
  1947. }
  1948. *bf++ = value;
  1949. if(!(isValidAsciiLikeCharacter(value) || (tc == type_data)))
  1950. {
  1951. returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
  1952. reportWarning(CategoryCast, returnToken, ERR_STRING_NON_ASCII, "Character in string literal is not defined in encoding " ASCII_LIKE_CODEPAGE);
  1953. if (checkAborting())
  1954. return EOF;
  1955. }
  1956. finger += count;
  1957. continue;
  1958. }
  1959. else
  1960. {
  1961. StringBuffer msg;
  1962. msg.append("Unrecognized escape sequence: ");
  1963. msg.append("\\").append(finger[1]);
  1964. returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
  1965. reportError(returnToken, ERR_ESCAPE_UNKNOWN, "%s", msg.str());
  1966. if (checkAborting())
  1967. return EOF;
  1968. }
  1969. *bf++ = next;
  1970. }
  1971. else if (next == '\'' && !isMultiline)
  1972. {
  1973. returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
  1974. reportError(returnToken, ERR_STRING_NEEDESCAPE,"' needs to be escaped by \\ inside string");
  1975. if (checkAborting())
  1976. return EOF;
  1977. }
  1978. else if (next >= 128)
  1979. {
  1980. const byte * temp = (byte *)finger;
  1981. unsigned lenLeft = CUR_TOKEN_LENGTH - (size32_t)(finger - CUR_TOKEN_TEXT);
  1982. int extraCharsRead = rtlSingleUtf8ToCodepage(bf, lenLeft, finger, ASCII_LIKE_CODEPAGE);
  1983. if (extraCharsRead == -1)
  1984. {
  1985. //This really has to be an error, otherwise it will work most of the time, but will then sometimes fail
  1986. //because two characters > 128 are next to each other.
  1987. returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
  1988. reportError(returnToken, ERR_STRING_NON_ASCII, "Character in string literal is not legal UTF-8");
  1989. if (checkAborting())
  1990. return EOF;
  1991. *bf = next;
  1992. }
  1993. else
  1994. {
  1995. if (*bf == ASCII_LIKE_SUBS_CHAR)
  1996. {
  1997. returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
  1998. reportWarning(CategoryCast, returnToken, ERR_STRING_NON_ASCII, "Character in string literal is not defined in encoding " ASCII_LIKE_CODEPAGE ", try using a unicode constant");
  1999. }
  2000. finger += extraCharsRead;
  2001. }
  2002. bf++;
  2003. }
  2004. else
  2005. {
  2006. *bf++ = next;
  2007. if(!(isValidAsciiLikeCharacter(next) || (tc == type_data)))
  2008. {
  2009. returnToken.setPosition(yyLineNo, oldColumn+delta, oldPosition+delta, querySourcePath());
  2010. reportError(returnToken, ERR_STRING_NON_ASCII, "Character in string literal is not defined in encoding " ASCII_LIKE_CODEPAGE);
  2011. if (checkAborting())
  2012. return EOF;
  2013. }
  2014. }
  2015. }
  2016. returnToken.setPosition(yyLineNo, oldColumn, oldPosition, querySourcePath());
  2017. switch (tc)
  2018. {
  2019. case type_qstring:
  2020. {
  2021. Owned<ITypeInfo> qStrType = makeQStringType(UNKNOWN_LENGTH);
  2022. returnToken.setExpr(createConstant(qStrType->castFrom((size32_t)(bf-b), b)));
  2023. return (DATA_CONST);
  2024. }
  2025. case type_data:
  2026. {
  2027. returnToken.setExpr(createConstant(createDataValue(b, (size32_t)(bf-b))));
  2028. return (DATA_CONST);
  2029. }
  2030. case type_varstring:
  2031. {
  2032. returnToken.setExpr(createConstant(createVarStringValue((size32_t)(bf-b), b, makeVarStringType(UNKNOWN_LENGTH))));
  2033. return (DATA_CONST);
  2034. }
  2035. case type_string:
  2036. returnToken.setExpr(createConstant(createStringValue(b, (size32_t)(bf-b))));
  2037. return (STRING_CONST);
  2038. }
  2039. throwUnexpected();
  2040. }
  2041. //====================================== Error Reporting ======================================
  2042. bool HqlLex::checkAborting()
  2043. {
  2044. return yyParser->checkAborting();
  2045. }
  2046. void HqlLex::reportError(const attribute & returnToken, int errNo, const char *format, ...)
  2047. {
  2048. if (yyParser)
  2049. {
  2050. va_list args;
  2051. va_start(args, format);
  2052. yyParser->reportErrorVa(errNo, returnToken.pos, format, args);
  2053. va_end(args);
  2054. }
  2055. }
  2056. void HqlLex::reportWarning(WarnErrorCategory category, const attribute & returnToken, int warnNo, const char *format, ...)
  2057. {
  2058. if (yyParser)
  2059. {
  2060. va_list args;
  2061. va_start(args, format);
  2062. yyParser->reportWarningVa(category, warnNo, returnToken, format, args);
  2063. va_end(args);
  2064. }
  2065. }
  2066. //====================================== XML DB =============================================
  2067. IXmlScope *HqlLex::queryTopXmlScope()
  2068. {
  2069. IXmlScope *top = NULL;
  2070. HqlLex *inlex = this;
  2071. while (inlex->inmacro)
  2072. inlex = inlex->inmacro;
  2073. while (inlex && !top)
  2074. {
  2075. top = inlex->xmlScope;
  2076. inlex = inlex->parentLex;
  2077. }
  2078. return top;
  2079. }
  2080. IXmlScope *HqlLex::ensureTopXmlScope()
  2081. {
  2082. IXmlScope *top = queryTopXmlScope();
  2083. if (!top)
  2084. top = xmlScope = createXMLScope();
  2085. return top;
  2086. }
  2087. bool HqlLex::lookupXmlSymbol(const attribute & errpos, const char *name, StringBuffer &ret)
  2088. {
  2089. if (*name==0)
  2090. name=NULL;
  2091. IXmlScope *top = ensureTopXmlScope();
  2092. bool idFound = top->getValue(name, ret);
  2093. if (idFound)
  2094. return true;
  2095. HqlLex * lexer = parentLex;
  2096. while (lexer && !idFound)
  2097. {
  2098. if (lexer->xmlScope)
  2099. idFound = lexer->xmlScope->getValue(name, ret);
  2100. lexer = lexer->parentLex;
  2101. }
  2102. return idFound;
  2103. }
  2104. void HqlLex::setXmlSymbol(const attribute & errpos, const char *name, const char *value, bool append)
  2105. {
  2106. IXmlScope *top = ensureTopXmlScope();
  2107. bool ok;
  2108. if (append)
  2109. ok = top->appendValue(name, value);
  2110. else
  2111. ok = top->setValue(name, value);
  2112. if (!ok)
  2113. {
  2114. StringBuffer msg("Symbol has not been declared: ");
  2115. msg.append(name);
  2116. reportError(errpos, ERR_TMPLT_SYMBOLNOTDECLARED, "%s", msg.str());
  2117. }
  2118. }
  2119. void HqlLex::declareXmlSymbol(const attribute & errpos, const char *name)
  2120. {
  2121. IXmlScope *top = ensureTopXmlScope();
  2122. if (!top->declareValue(name))
  2123. {
  2124. StringBuffer msg("Symbol has already been declared: ");
  2125. msg.append(name);
  2126. reportError(errpos, ERR_TMPLT_SYMBOLREDECLARE, "%s", msg.str());
  2127. }
  2128. }
  2129. IIterator *HqlLex::getSubScopes(const attribute & errpos, const char *name, bool doAll)
  2130. {
  2131. IXmlScope *top = ensureTopXmlScope();
  2132. return top->getScopes(name, doAll);
  2133. }
  2134. void HqlLex::loadXML(const attribute & errpos, const char *name, const char * child)
  2135. {
  2136. if (xmlScope && child)
  2137. {
  2138. xmlScope->loadXML(name, child);
  2139. return;
  2140. }
  2141. if (false && inmacro)
  2142. {
  2143. inmacro->loadXML(errpos, name);
  2144. return;
  2145. }
  2146. // MORE - give an error if an XML scope is active...
  2147. ::Release(xmlScope);
  2148. try
  2149. {
  2150. xmlScope = ::loadXML(name);
  2151. }
  2152. catch (IException* e)
  2153. {
  2154. e->Release();
  2155. xmlScope = NULL;
  2156. }
  2157. catch (...)
  2158. {
  2159. xmlScope = NULL;
  2160. }
  2161. if (!xmlScope)
  2162. {
  2163. if (name && strlen(name))
  2164. {
  2165. StringBuffer msg;
  2166. msg.appendf("Load XML(\'%s\') failed",name);
  2167. reportError(errpos, ERR_TMPLT_LOADXMLFAILED, "%s", msg.str());
  2168. }
  2169. // recovery: create a default XML scope
  2170. xmlScope = createXMLScope();
  2171. }
  2172. }
  2173. IPropertyTree * HqlLex::getClearJavadoc()
  2174. {
  2175. if (javaDocComment.length() == 0)
  2176. return NULL;
  2177. IPropertyTree * tree = createPTree("javadoc");
  2178. tree->addProp("content", javaDocComment.str());
  2179. javaDocComment.clear();
  2180. return tree;
  2181. }
  2182. unsigned HqlLex::getTypeSize(unsigned lengthTypeName)
  2183. {
  2184. const char * tok = get_yyText();
  2185. if (strlen(tok)> lengthTypeName)
  2186. return atoi(tok + lengthTypeName);
  2187. return UNKNOWN_LENGTH;
  2188. }
  2189. void HqlLex::enterEmbeddedMode()
  2190. {
  2191. if (inmacro)
  2192. inmacro->enterEmbeddedMode();
  2193. else
  2194. {
  2195. doEnterEmbeddedMode(scanner);
  2196. inCpp = true;
  2197. }
  2198. }
  2199. int HqlLex::yyLex(attribute & returnToken, bool lookup, const short * activeState)
  2200. {
  2201. for (;;)
  2202. {
  2203. while (inmacro)
  2204. {
  2205. int ret = inmacro->yyLex(returnToken, lookup, activeState);
  2206. if (ret > 0 && ret != HASHBREAK)
  2207. {
  2208. lastToken = ret;
  2209. return ret;
  2210. }
  2211. #if defined(TRACE_MACRO)
  2212. DBGLOG("MACRO>> inmacro %p deleted\n", inmacro);
  2213. #endif
  2214. delete inmacro;
  2215. inmacro = NULL;
  2216. if (ret == HASHBREAK)
  2217. {
  2218. if (forLoop)
  2219. {
  2220. forLoop->Release();
  2221. forLoop = NULL;
  2222. }
  2223. else
  2224. {
  2225. lastToken = ret;
  2226. return ret;
  2227. }
  2228. }
  2229. if (forLoop)
  2230. checkNextLoop(returnToken, false,0,0);
  2231. }
  2232. returnToken.clear();
  2233. yyStartPos = yyPosition;
  2234. int ret = doyyFlex(returnToken, scanner, this, lookup, activeState);
  2235. if (ret == 0) ret = EOF;
  2236. if (ret == INTERNAL_READ_NEXT_TOKEN)
  2237. continue;
  2238. if (ret == EOF)
  2239. {
  2240. setTokenPosition(returnToken);
  2241. if (inComment)
  2242. reportError(returnToken, ERR_COMMENT_UNENDED,"Comment is not terminated");
  2243. else if (inSignature)
  2244. reportError(returnToken, ERR_COMMENT_UNENDED,"Signature is not terminated");
  2245. else if (inCpp)
  2246. reportError(returnToken, ERR_COMMENT_UNENDED,"BEGINC++ or EMBED is not terminated");
  2247. else if (inMultiString)
  2248. reportError(returnToken, ERR_COMMENT_UNENDED,"Multiline string constant is not terminated");
  2249. if (hashendKinds.ordinality())
  2250. {
  2251. StringBuffer msg("Unexpected EOF: ");
  2252. msg.append(hashendKinds.ordinality()).append(" more #END needed");
  2253. reportError(returnToken, ERR_TMPLT_HASHENDEXPECTED, "%s", msg.str());
  2254. clearNestedHash();
  2255. }
  2256. }
  2257. lastToken = ret;
  2258. return ret;
  2259. }
  2260. }