lexer.ts 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678
  1. ///<reference path="../../../headers/common.d.ts" />
  2. import _ from 'lodash';
  3. // This is auto generated from the unicode tables.
  4. // The tables are at:
  5. // http://www.fileformat.info/info/unicode/category/Lu/list.htm
  6. // http://www.fileformat.info/info/unicode/category/Ll/list.htm
  7. // http://www.fileformat.info/info/unicode/category/Lt/list.htm
  8. // http://www.fileformat.info/info/unicode/category/Lm/list.htm
  9. // http://www.fileformat.info/info/unicode/category/Lo/list.htm
  10. // http://www.fileformat.info/info/unicode/category/Nl/list.htm
  11. var unicodeLetterTable = [
  12. 170, 170, 181, 181, 186, 186, 192, 214,
  13. 216, 246, 248, 705, 710, 721, 736, 740, 748, 748, 750, 750,
  14. 880, 884, 886, 887, 890, 893, 902, 902, 904, 906, 908, 908,
  15. 910, 929, 931, 1013, 1015, 1153, 1162, 1319, 1329, 1366,
  16. 1369, 1369, 1377, 1415, 1488, 1514, 1520, 1522, 1568, 1610,
  17. 1646, 1647, 1649, 1747, 1749, 1749, 1765, 1766, 1774, 1775,
  18. 1786, 1788, 1791, 1791, 1808, 1808, 1810, 1839, 1869, 1957,
  19. 1969, 1969, 1994, 2026, 2036, 2037, 2042, 2042, 2048, 2069,
  20. 2074, 2074, 2084, 2084, 2088, 2088, 2112, 2136, 2308, 2361,
  21. 2365, 2365, 2384, 2384, 2392, 2401, 2417, 2423, 2425, 2431,
  22. 2437, 2444, 2447, 2448, 2451, 2472, 2474, 2480, 2482, 2482,
  23. 2486, 2489, 2493, 2493, 2510, 2510, 2524, 2525, 2527, 2529,
  24. 2544, 2545, 2565, 2570, 2575, 2576, 2579, 2600, 2602, 2608,
  25. 2610, 2611, 2613, 2614, 2616, 2617, 2649, 2652, 2654, 2654,
  26. 2674, 2676, 2693, 2701, 2703, 2705, 2707, 2728, 2730, 2736,
  27. 2738, 2739, 2741, 2745, 2749, 2749, 2768, 2768, 2784, 2785,
  28. 2821, 2828, 2831, 2832, 2835, 2856, 2858, 2864, 2866, 2867,
  29. 2869, 2873, 2877, 2877, 2908, 2909, 2911, 2913, 2929, 2929,
  30. 2947, 2947, 2949, 2954, 2958, 2960, 2962, 2965, 2969, 2970,
  31. 2972, 2972, 2974, 2975, 2979, 2980, 2984, 2986, 2990, 3001,
  32. 3024, 3024, 3077, 3084, 3086, 3088, 3090, 3112, 3114, 3123,
  33. 3125, 3129, 3133, 3133, 3160, 3161, 3168, 3169, 3205, 3212,
  34. 3214, 3216, 3218, 3240, 3242, 3251, 3253, 3257, 3261, 3261,
  35. 3294, 3294, 3296, 3297, 3313, 3314, 3333, 3340, 3342, 3344,
  36. 3346, 3386, 3389, 3389, 3406, 3406, 3424, 3425, 3450, 3455,
  37. 3461, 3478, 3482, 3505, 3507, 3515, 3517, 3517, 3520, 3526,
  38. 3585, 3632, 3634, 3635, 3648, 3654, 3713, 3714, 3716, 3716,
  39. 3719, 3720, 3722, 3722, 3725, 3725, 3732, 3735, 3737, 3743,
  40. 3745, 3747, 3749, 3749, 3751, 3751, 3754, 3755, 3757, 3760,
  41. 3762, 3763, 3773, 3773, 3776, 3780, 3782, 3782, 3804, 3805,
  42. 3840, 3840, 3904, 3911, 3913, 3948, 3976, 3980, 4096, 4138,
  43. 4159, 4159, 4176, 4181, 4186, 4189, 4193, 4193, 4197, 4198,
  44. 4206, 4208, 4213, 4225, 4238, 4238, 4256, 4293, 4304, 4346,
  45. 4348, 4348, 4352, 4680, 4682, 4685, 4688, 4694, 4696, 4696,
  46. 4698, 4701, 4704, 4744, 4746, 4749, 4752, 4784, 4786, 4789,
  47. 4792, 4798, 4800, 4800, 4802, 4805, 4808, 4822, 4824, 4880,
  48. 4882, 4885, 4888, 4954, 4992, 5007, 5024, 5108, 5121, 5740,
  49. 5743, 5759, 5761, 5786, 5792, 5866, 5870, 5872, 5888, 5900,
  50. 5902, 5905, 5920, 5937, 5952, 5969, 5984, 5996, 5998, 6000,
  51. 6016, 6067, 6103, 6103, 6108, 6108, 6176, 6263, 6272, 6312,
  52. 6314, 6314, 6320, 6389, 6400, 6428, 6480, 6509, 6512, 6516,
  53. 6528, 6571, 6593, 6599, 6656, 6678, 6688, 6740, 6823, 6823,
  54. 6917, 6963, 6981, 6987, 7043, 7072, 7086, 7087, 7104, 7141,
  55. 7168, 7203, 7245, 7247, 7258, 7293, 7401, 7404, 7406, 7409,
  56. 7424, 7615, 7680, 7957, 7960, 7965, 7968, 8005, 8008, 8013,
  57. 8016, 8023, 8025, 8025, 8027, 8027, 8029, 8029, 8031, 8061,
  58. 8064, 8116, 8118, 8124, 8126, 8126, 8130, 8132, 8134, 8140,
  59. 8144, 8147, 8150, 8155, 8160, 8172, 8178, 8180, 8182, 8188,
  60. 8305, 8305, 8319, 8319, 8336, 8348, 8450, 8450, 8455, 8455,
  61. 8458, 8467, 8469, 8469, 8473, 8477, 8484, 8484, 8486, 8486,
  62. 8488, 8488, 8490, 8493, 8495, 8505, 8508, 8511, 8517, 8521,
  63. 8526, 8526, 8544, 8584, 11264, 11310, 11312, 11358,
  64. 11360, 11492, 11499, 11502, 11520, 11557, 11568, 11621,
  65. 11631, 11631, 11648, 11670, 11680, 11686, 11688, 11694,
  66. 11696, 11702, 11704, 11710, 11712, 11718, 11720, 11726,
  67. 11728, 11734, 11736, 11742, 11823, 11823, 12293, 12295,
  68. 12321, 12329, 12337, 12341, 12344, 12348, 12353, 12438,
  69. 12445, 12447, 12449, 12538, 12540, 12543, 12549, 12589,
  70. 12593, 12686, 12704, 12730, 12784, 12799, 13312, 13312,
  71. 19893, 19893, 19968, 19968, 40907, 40907, 40960, 42124,
  72. 42192, 42237, 42240, 42508, 42512, 42527, 42538, 42539,
  73. 42560, 42606, 42623, 42647, 42656, 42735, 42775, 42783,
  74. 42786, 42888, 42891, 42894, 42896, 42897, 42912, 42921,
  75. 43002, 43009, 43011, 43013, 43015, 43018, 43020, 43042,
  76. 43072, 43123, 43138, 43187, 43250, 43255, 43259, 43259,
  77. 43274, 43301, 43312, 43334, 43360, 43388, 43396, 43442,
  78. 43471, 43471, 43520, 43560, 43584, 43586, 43588, 43595,
  79. 43616, 43638, 43642, 43642, 43648, 43695, 43697, 43697,
  80. 43701, 43702, 43705, 43709, 43712, 43712, 43714, 43714,
  81. 43739, 43741, 43777, 43782, 43785, 43790, 43793, 43798,
  82. 43808, 43814, 43816, 43822, 43968, 44002, 44032, 44032,
  83. 55203, 55203, 55216, 55238, 55243, 55291, 63744, 64045,
  84. 64048, 64109, 64112, 64217, 64256, 64262, 64275, 64279,
  85. 64285, 64285, 64287, 64296, 64298, 64310, 64312, 64316,
  86. 64318, 64318, 64320, 64321, 64323, 64324, 64326, 64433,
  87. 64467, 64829, 64848, 64911, 64914, 64967, 65008, 65019,
  88. 65136, 65140, 65142, 65276, 65313, 65338, 65345, 65370,
  89. 65382, 65470, 65474, 65479, 65482, 65487, 65490, 65495,
  90. 65498, 65500, 65536, 65547, 65549, 65574, 65576, 65594,
  91. 65596, 65597, 65599, 65613, 65616, 65629, 65664, 65786,
  92. 65856, 65908, 66176, 66204, 66208, 66256, 66304, 66334,
  93. 66352, 66378, 66432, 66461, 66464, 66499, 66504, 66511,
  94. 66513, 66517, 66560, 66717, 67584, 67589, 67592, 67592,
  95. 67594, 67637, 67639, 67640, 67644, 67644, 67647, 67669,
  96. 67840, 67861, 67872, 67897, 68096, 68096, 68112, 68115,
  97. 68117, 68119, 68121, 68147, 68192, 68220, 68352, 68405,
  98. 68416, 68437, 68448, 68466, 68608, 68680, 69635, 69687,
  99. 69763, 69807, 73728, 74606, 74752, 74850, 77824, 78894,
  100. 92160, 92728, 110592, 110593, 119808, 119892, 119894, 119964,
  101. 119966, 119967, 119970, 119970, 119973, 119974, 119977, 119980,
  102. 119982, 119993, 119995, 119995, 119997, 120003, 120005, 120069,
  103. 120071, 120074, 120077, 120084, 120086, 120092, 120094, 120121,
  104. 120123, 120126, 120128, 120132, 120134, 120134, 120138, 120144,
  105. 120146, 120485, 120488, 120512, 120514, 120538, 120540, 120570,
  106. 120572, 120596, 120598, 120628, 120630, 120654, 120656, 120686,
  107. 120688, 120712, 120714, 120744, 120746, 120770, 120772, 120779,
  108. 131072, 131072, 173782, 173782, 173824, 173824, 177972, 177972,
  109. 177984, 177984, 178205, 178205, 194560, 195101
  110. ];
  111. var identifierStartTable = [];
  112. for (var i = 0; i < 128; i++) {
  113. identifierStartTable[i] =
  114. i >= 48 && i <= 57 || // 0-9
  115. i === 36 || // $
  116. i === 126 || // ~
  117. i === 124 || // |
  118. i >= 65 && i <= 90 || // A-Z
  119. i === 95 || // _
  120. i === 45 || // -
  121. i === 42 || // *
  122. i === 58 || // :
  123. i === 91 || // templateStart [
  124. i === 93 || // templateEnd ]
  125. i === 63 || // ?
  126. i === 37 || // %
  127. i === 35 || // #
  128. i === 61 || // =
  129. i >= 97 && i <= 122; // a-z
  130. }
  131. var identifierPartTable = [];
  132. for (var i2 = 0; i2 < 128; i2++) {
  133. identifierPartTable[i2] =
  134. identifierStartTable[i2] || // $, _, A-Z, a-z
  135. i2 >= 48 && i2 <= 57; // 0-9
  136. }
  137. export function Lexer(expression) {
  138. this.input = expression;
  139. this.char = 1;
  140. this.from = 1;
  141. }
  142. Lexer.prototype = {
  143. peek: function (i) {
  144. return this.input.charAt(i || 0);
  145. },
  146. skip: function (i) {
  147. i = i || 1;
  148. this.char += i;
  149. this.input = this.input.slice(i);
  150. },
  151. tokenize: function() {
  152. var list = [];
  153. var token;
  154. while (token = this.next()) {
  155. list.push(token);
  156. }
  157. return list;
  158. },
  159. next: function() {
  160. this.from = this.char;
  161. // Move to the next non-space character.
  162. var start;
  163. if (/\s/.test(this.peek())) {
  164. start = this.char;
  165. while (/\s/.test(this.peek())) {
  166. this.from += 1;
  167. this.skip();
  168. }
  169. if (this.peek() === "") { // EOL
  170. return null;
  171. }
  172. }
  173. var match = this.scanStringLiteral();
  174. if (match) {
  175. return match;
  176. }
  177. match =
  178. this.scanPunctuator() ||
  179. this.scanNumericLiteral() ||
  180. this.scanIdentifier() ||
  181. this.scanTemplateSequence();
  182. if (match) {
  183. this.skip(match.value.length);
  184. return match;
  185. }
  186. // No token could be matched, give up.
  187. return null;
  188. },
  189. scanTemplateSequence: function() {
  190. if (this.peek() === '[' && this.peek(1) === '[') {
  191. return {
  192. type: 'templateStart',
  193. value: '[[',
  194. pos: this.char
  195. };
  196. }
  197. if (this.peek() === ']' && this.peek(1) === ']') {
  198. return {
  199. type: 'templateEnd',
  200. value: '[[',
  201. pos: this.char
  202. };
  203. }
  204. return null;
  205. },
  206. /*
  207. * Extract a JavaScript identifier out of the next sequence of
  208. * characters or return 'null' if its not possible. In addition,
  209. * to Identifier this method can also produce BooleanLiteral
  210. * (true/false) and NullLiteral (null).
  211. */
  212. scanIdentifier: function() {
  213. var id = "";
  214. var index = 0;
  215. var type, char;
  216. // Detects any character in the Unicode categories "Uppercase
  217. // letter (Lu)", "Lowercase letter (Ll)", "Titlecase letter
  218. // (Lt)", "Modifier letter (Lm)", "Other letter (Lo)", or
  219. // "Letter number (Nl)".
  220. //
  221. // Both approach and unicodeLetterTable were borrowed from
  222. // Google's Traceur.
  223. function isUnicodeLetter(code) {
  224. for (var i = 0; i < unicodeLetterTable.length;) {
  225. if (code < unicodeLetterTable[i++]) {
  226. return false;
  227. }
  228. if (code <= unicodeLetterTable[i++]) {
  229. return true;
  230. }
  231. }
  232. return false;
  233. }
  234. function isHexDigit(str) {
  235. return (/^[0-9a-fA-F]$/).test(str);
  236. }
  237. var readUnicodeEscapeSequence = _.bind(function () {
  238. /*jshint validthis:true */
  239. index += 1;
  240. if (this.peek(index) !== "u") {
  241. return null;
  242. }
  243. var ch1 = this.peek(index + 1);
  244. var ch2 = this.peek(index + 2);
  245. var ch3 = this.peek(index + 3);
  246. var ch4 = this.peek(index + 4);
  247. var code;
  248. if (isHexDigit(ch1) && isHexDigit(ch2) && isHexDigit(ch3) && isHexDigit(ch4)) {
  249. code = parseInt(ch1 + ch2 + ch3 + ch4, 16);
  250. if (isUnicodeLetter(code)) {
  251. index += 5;
  252. return "\\u" + ch1 + ch2 + ch3 + ch4;
  253. }
  254. return null;
  255. }
  256. return null;
  257. }, this);
  258. var getIdentifierStart = _.bind(function () {
  259. /*jshint validthis:true */
  260. var chr = this.peek(index);
  261. var code = chr.charCodeAt(0);
  262. if (chr === '*') {
  263. index += 1;
  264. return chr;
  265. }
  266. if (code === 92) {
  267. return readUnicodeEscapeSequence();
  268. }
  269. if (code < 128) {
  270. if (identifierStartTable[code]) {
  271. index += 1;
  272. return chr;
  273. }
  274. return null;
  275. }
  276. if (isUnicodeLetter(code)) {
  277. index += 1;
  278. return chr;
  279. }
  280. return null;
  281. }, this);
  282. var getIdentifierPart = _.bind(function () {
  283. /*jshint validthis:true */
  284. var chr = this.peek(index);
  285. var code = chr.charCodeAt(0);
  286. if (code === 92) {
  287. return readUnicodeEscapeSequence();
  288. }
  289. if (code < 128) {
  290. if (identifierPartTable[code]) {
  291. index += 1;
  292. return chr;
  293. }
  294. return null;
  295. }
  296. if (isUnicodeLetter(code)) {
  297. index += 1;
  298. return chr;
  299. }
  300. return null;
  301. }, this);
  302. char = getIdentifierStart();
  303. if (char === null) {
  304. return null;
  305. }
  306. id = char;
  307. for (;;) {
  308. char = getIdentifierPart();
  309. if (char === null) {
  310. break;
  311. }
  312. id += char;
  313. }
  314. switch (id) {
  315. case 'true': {
  316. type = 'bool';
  317. break;
  318. }
  319. case 'false': {
  320. type = 'bool';
  321. break;
  322. }
  323. default:
  324. type = "identifier";
  325. }
  326. return {
  327. type: type,
  328. value: id,
  329. pos: this.char
  330. };
  331. },
  332. /*
  333. * Extract a numeric literal out of the next sequence of
  334. * characters or return 'null' if its not possible. This method
  335. * supports all numeric literals described in section 7.8.3
  336. * of the EcmaScript 5 specification.
  337. *
  338. * This method's implementation was heavily influenced by the
  339. * scanNumericLiteral function in the Esprima parser's source code.
  340. */
  341. scanNumericLiteral: function (): any {
  342. var index = 0;
  343. var value = "";
  344. var length = this.input.length;
  345. var char = this.peek(index);
  346. var bad;
  347. function isDecimalDigit(str) {
  348. return (/^[0-9]$/).test(str);
  349. }
  350. function isOctalDigit(str) {
  351. return (/^[0-7]$/).test(str);
  352. }
  353. function isHexDigit(str) {
  354. return (/^[0-9a-fA-F]$/).test(str);
  355. }
  356. function isIdentifierStart(ch) {
  357. return (ch === "$") || (ch === "_") || (ch === "\\") ||
  358. (ch >= "a" && ch <= "z") || (ch >= "A" && ch <= "Z");
  359. }
  360. // handle negative num literals
  361. if (char === '-') {
  362. value += char;
  363. index += 1;
  364. char = this.peek(index);
  365. }
  366. // Numbers must start either with a decimal digit or a point.
  367. if (char !== "." && !isDecimalDigit(char)) {
  368. return null;
  369. }
  370. if (char !== ".") {
  371. value += this.peek(index);
  372. index += 1;
  373. char = this.peek(index);
  374. if (value === "0") {
  375. // Base-16 numbers.
  376. if (char === "x" || char === "X") {
  377. index += 1;
  378. value += char;
  379. while (index < length) {
  380. char = this.peek(index);
  381. if (!isHexDigit(char)) {
  382. break;
  383. }
  384. value += char;
  385. index += 1;
  386. }
  387. if (value.length <= 2) { // 0x
  388. return {
  389. type: 'number',
  390. value: value,
  391. isMalformed: true,
  392. pos: this.char
  393. };
  394. }
  395. if (index < length) {
  396. char = this.peek(index);
  397. if (isIdentifierStart(char)) {
  398. return null;
  399. }
  400. }
  401. return {
  402. type: 'number',
  403. value: value,
  404. base: 16,
  405. isMalformed: false,
  406. pos: this.char
  407. };
  408. }
  409. // Base-8 numbers.
  410. if (isOctalDigit(char)) {
  411. index += 1;
  412. value += char;
  413. bad = false;
  414. while (index < length) {
  415. char = this.peek(index);
  416. // Numbers like '019' (note the 9) are not valid octals
  417. // but we still parse them and mark as malformed.
  418. if (isDecimalDigit(char)) {
  419. bad = true;
  420. } else if (!isOctalDigit(char)) {
  421. break;
  422. }
  423. value += char;
  424. index += 1;
  425. }
  426. if (index < length) {
  427. char = this.peek(index);
  428. if (isIdentifierStart(char)) {
  429. return null;
  430. }
  431. }
  432. return {
  433. type: 'number',
  434. value: value,
  435. base: 8,
  436. isMalformed: false
  437. };
  438. }
  439. // Decimal numbers that start with '0' such as '09' are illegal
  440. // but we still parse them and return as malformed.
  441. if (isDecimalDigit(char)) {
  442. index += 1;
  443. value += char;
  444. }
  445. }
  446. while (index < length) {
  447. char = this.peek(index);
  448. if (!isDecimalDigit(char)) {
  449. break;
  450. }
  451. value += char;
  452. index += 1;
  453. }
  454. }
  455. // Decimal digits.
  456. if (char === ".") {
  457. value += char;
  458. index += 1;
  459. while (index < length) {
  460. char = this.peek(index);
  461. if (!isDecimalDigit(char)) {
  462. break;
  463. }
  464. value += char;
  465. index += 1;
  466. }
  467. }
  468. // Exponent part.
  469. if (char === "e" || char === "E") {
  470. value += char;
  471. index += 1;
  472. char = this.peek(index);
  473. if (char === "+" || char === "-") {
  474. value += this.peek(index);
  475. index += 1;
  476. }
  477. char = this.peek(index);
  478. if (isDecimalDigit(char)) {
  479. value += char;
  480. index += 1;
  481. while (index < length) {
  482. char = this.peek(index);
  483. if (!isDecimalDigit(char)) {
  484. break;
  485. }
  486. value += char;
  487. index += 1;
  488. }
  489. } else {
  490. return null;
  491. }
  492. }
  493. if (index < length) {
  494. char = this.peek(index);
  495. if (!this.isPunctuator(char)) {
  496. return null;
  497. }
  498. }
  499. return {
  500. type: 'number',
  501. value: value,
  502. base: 10,
  503. pos: this.char,
  504. isMalformed: !isFinite(+value)
  505. };
  506. },
  507. isPunctuator: function (ch1) {
  508. switch (ch1) {
  509. case ".":
  510. case "(":
  511. case ")":
  512. case ",":
  513. case "{":
  514. case "}":
  515. return true;
  516. }
  517. return false;
  518. },
  519. scanPunctuator: function () {
  520. var ch1 = this.peek();
  521. if (this.isPunctuator(ch1)) {
  522. return {
  523. type: ch1,
  524. value: ch1,
  525. pos: this.char
  526. };
  527. }
  528. return null;
  529. },
  530. /*
  531. * Extract a string out of the next sequence of characters and/or
  532. * lines or return 'null' if its not possible. Since strings can
  533. * span across multiple lines this method has to move the char
  534. * pointer.
  535. *
  536. * This method recognizes pseudo-multiline JavaScript strings:
  537. *
  538. * var str = "hello\
  539. * world";
  540. */
  541. scanStringLiteral: function () {
  542. /*jshint loopfunc:true */
  543. var quote = this.peek();
  544. // String must start with a quote.
  545. if (quote !== "\"" && quote !== "'") {
  546. return null;
  547. }
  548. var value = "";
  549. this.skip();
  550. while (this.peek() !== quote) {
  551. if (this.peek() === "") { // End Of Line
  552. return {
  553. type: 'string',
  554. value: value,
  555. isUnclosed: true,
  556. quote: quote,
  557. pos: this.char
  558. };
  559. }
  560. var char = this.peek();
  561. var jump = 1; // A length of a jump, after we're done
  562. // parsing this character.
  563. value += char;
  564. this.skip(jump);
  565. }
  566. this.skip();
  567. return {
  568. type: 'string',
  569. value: value,
  570. isUnclosed: false,
  571. quote: quote,
  572. pos: this.char
  573. };
  574. },
  575. };