mirror of
https://github.com/Doodle3D/Doodle3D-Slicer.git
synced 2024-08-25 06:30:44 +02:00
4157 lines
130 KiB
JavaScript
4157 lines
130 KiB
JavaScript
|
/*
|
||
|
Copyright (C) 2013 Ariya Hidayat <ariya.hidayat@gmail.com>
|
||
|
Copyright (C) 2013 Thaddee Tyl <thaddee.tyl@gmail.com>
|
||
|
Copyright (C) 2013 Mathias Bynens <mathias@qiwi.be>
|
||
|
Copyright (C) 2012 Ariya Hidayat <ariya.hidayat@gmail.com>
|
||
|
Copyright (C) 2012 Mathias Bynens <mathias@qiwi.be>
|
||
|
Copyright (C) 2012 Joost-Wim Boekesteijn <joost-wim@boekesteijn.nl>
|
||
|
Copyright (C) 2012 Kris Kowal <kris.kowal@cixar.com>
|
||
|
Copyright (C) 2012 Yusuke Suzuki <utatane.tea@gmail.com>
|
||
|
Copyright (C) 2012 Arpad Borsos <arpad.borsos@googlemail.com>
|
||
|
Copyright (C) 2011 Ariya Hidayat <ariya.hidayat@gmail.com>
|
||
|
|
||
|
Redistribution and use in source and binary forms, with or without
|
||
|
modification, are permitted provided that the following conditions are met:
|
||
|
|
||
|
* Redistributions of source code must retain the above copyright
|
||
|
notice, this list of conditions and the following disclaimer.
|
||
|
* Redistributions in binary form must reproduce the above copyright
|
||
|
notice, this list of conditions and the following disclaimer in the
|
||
|
documentation and/or other materials provided with the distribution.
|
||
|
|
||
|
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
||
|
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||
|
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||
|
ARE DISCLAIMED. IN NO EVENT SHALL <COPYRIGHT HOLDER> BE LIABLE FOR ANY
|
||
|
DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
||
|
(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
||
|
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
|
||
|
ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
||
|
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
||
|
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||
|
*/
|
||
|
|
||
|
(function (root, factory) {
|
||
|
'use strict';
|
||
|
|
||
|
// Universal Module Definition (UMD) to support AMD, CommonJS/Node.js,
|
||
|
// Rhino, and plain browser loading.
|
||
|
|
||
|
/* istanbul ignore next */
|
||
|
if (typeof define === 'function' && define.amd) {
|
||
|
define(['exports'], factory);
|
||
|
} else if (typeof exports !== 'undefined') {
|
||
|
factory(exports);
|
||
|
} else {
|
||
|
factory((root.esprima = {}));
|
||
|
}
|
||
|
}(this, function (exports) {
|
||
|
'use strict';
|
||
|
|
||
|
var Token,
|
||
|
TokenName,
|
||
|
FnExprTokens,
|
||
|
Syntax,
|
||
|
PlaceHolders,
|
||
|
PropertyKind,
|
||
|
Messages,
|
||
|
Regex,
|
||
|
source,
|
||
|
strict,
|
||
|
index,
|
||
|
lineNumber,
|
||
|
lineStart,
|
||
|
length,
|
||
|
lookahead,
|
||
|
state,
|
||
|
extra;
|
||
|
|
||
|
Token = {
|
||
|
BooleanLiteral: 1,
|
||
|
EOF: 2,
|
||
|
Identifier: 3,
|
||
|
Keyword: 4,
|
||
|
NullLiteral: 5,
|
||
|
NumericLiteral: 6,
|
||
|
Punctuator: 7,
|
||
|
StringLiteral: 8,
|
||
|
RegularExpression: 9
|
||
|
};
|
||
|
|
||
|
TokenName = {};
|
||
|
TokenName[Token.BooleanLiteral] = 'Boolean';
|
||
|
TokenName[Token.EOF] = '<end>';
|
||
|
TokenName[Token.Identifier] = 'Identifier';
|
||
|
TokenName[Token.Keyword] = 'Keyword';
|
||
|
TokenName[Token.NullLiteral] = 'Null';
|
||
|
TokenName[Token.NumericLiteral] = 'Numeric';
|
||
|
TokenName[Token.Punctuator] = 'Punctuator';
|
||
|
TokenName[Token.StringLiteral] = 'String';
|
||
|
TokenName[Token.RegularExpression] = 'RegularExpression';
|
||
|
|
||
|
// A function following one of those tokens is an expression.
|
||
|
FnExprTokens = ['(', '{', '[', 'in', 'typeof', 'instanceof', 'new',
|
||
|
'return', 'case', 'delete', 'throw', 'void',
|
||
|
// assignment operators
|
||
|
'=', '+=', '-=', '*=', '/=', '%=', '<<=', '>>=', '>>>=',
|
||
|
'&=', '|=', '^=', ',',
|
||
|
// binary/unary operators
|
||
|
'+', '-', '*', '/', '%', '++', '--', '<<', '>>', '>>>', '&',
|
||
|
'|', '^', '!', '~', '&&', '||', '?', ':', '===', '==', '>=',
|
||
|
'<=', '<', '>', '!=', '!=='];
|
||
|
|
||
|
Syntax = {
|
||
|
AssignmentExpression: 'AssignmentExpression',
|
||
|
ArrayExpression: 'ArrayExpression',
|
||
|
ArrowFunctionExpression: 'ArrowFunctionExpression',
|
||
|
BlockStatement: 'BlockStatement',
|
||
|
BinaryExpression: 'BinaryExpression',
|
||
|
BreakStatement: 'BreakStatement',
|
||
|
CallExpression: 'CallExpression',
|
||
|
CatchClause: 'CatchClause',
|
||
|
ConditionalExpression: 'ConditionalExpression',
|
||
|
ContinueStatement: 'ContinueStatement',
|
||
|
DoWhileStatement: 'DoWhileStatement',
|
||
|
DebuggerStatement: 'DebuggerStatement',
|
||
|
EmptyStatement: 'EmptyStatement',
|
||
|
ExpressionStatement: 'ExpressionStatement',
|
||
|
ForStatement: 'ForStatement',
|
||
|
ForInStatement: 'ForInStatement',
|
||
|
FunctionDeclaration: 'FunctionDeclaration',
|
||
|
FunctionExpression: 'FunctionExpression',
|
||
|
Identifier: 'Identifier',
|
||
|
IfStatement: 'IfStatement',
|
||
|
Literal: 'Literal',
|
||
|
LabeledStatement: 'LabeledStatement',
|
||
|
LogicalExpression: 'LogicalExpression',
|
||
|
MemberExpression: 'MemberExpression',
|
||
|
NewExpression: 'NewExpression',
|
||
|
ObjectExpression: 'ObjectExpression',
|
||
|
Program: 'Program',
|
||
|
Property: 'Property',
|
||
|
ReturnStatement: 'ReturnStatement',
|
||
|
SequenceExpression: 'SequenceExpression',
|
||
|
SwitchStatement: 'SwitchStatement',
|
||
|
SwitchCase: 'SwitchCase',
|
||
|
ThisExpression: 'ThisExpression',
|
||
|
ThrowStatement: 'ThrowStatement',
|
||
|
TryStatement: 'TryStatement',
|
||
|
UnaryExpression: 'UnaryExpression',
|
||
|
UpdateExpression: 'UpdateExpression',
|
||
|
VariableDeclaration: 'VariableDeclaration',
|
||
|
VariableDeclarator: 'VariableDeclarator',
|
||
|
WhileStatement: 'WhileStatement',
|
||
|
WithStatement: 'WithStatement'
|
||
|
};
|
||
|
|
||
|
PlaceHolders = {
|
||
|
ArrowParameterPlaceHolder: {
|
||
|
type: 'ArrowParameterPlaceHolder'
|
||
|
}
|
||
|
};
|
||
|
|
||
|
PropertyKind = {
|
||
|
Data: 1,
|
||
|
Get: 2,
|
||
|
Set: 4
|
||
|
};
|
||
|
|
||
|
// Error messages should be identical to V8.
|
||
|
Messages = {
|
||
|
UnexpectedToken: 'Unexpected token %0',
|
||
|
UnexpectedNumber: 'Unexpected number',
|
||
|
UnexpectedString: 'Unexpected string',
|
||
|
UnexpectedIdentifier: 'Unexpected identifier',
|
||
|
UnexpectedReserved: 'Unexpected reserved word',
|
||
|
UnexpectedEOS: 'Unexpected end of input',
|
||
|
NewlineAfterThrow: 'Illegal newline after throw',
|
||
|
InvalidRegExp: 'Invalid regular expression',
|
||
|
UnterminatedRegExp: 'Invalid regular expression: missing /',
|
||
|
InvalidLHSInAssignment: 'Invalid left-hand side in assignment',
|
||
|
InvalidLHSInForIn: 'Invalid left-hand side in for-in',
|
||
|
MultipleDefaultsInSwitch: 'More than one default clause in switch statement',
|
||
|
NoCatchOrFinally: 'Missing catch or finally after try',
|
||
|
UnknownLabel: 'Undefined label \'%0\'',
|
||
|
Redeclaration: '%0 \'%1\' has already been declared',
|
||
|
IllegalContinue: 'Illegal continue statement',
|
||
|
IllegalBreak: 'Illegal break statement',
|
||
|
IllegalReturn: 'Illegal return statement',
|
||
|
StrictModeWith: 'Strict mode code may not include a with statement',
|
||
|
StrictCatchVariable: 'Catch variable may not be eval or arguments in strict mode',
|
||
|
StrictVarName: 'Variable name may not be eval or arguments in strict mode',
|
||
|
StrictParamName: 'Parameter name eval or arguments is not allowed in strict mode',
|
||
|
StrictParamDupe: 'Strict mode function may not have duplicate parameter names',
|
||
|
StrictFunctionName: 'Function name may not be eval or arguments in strict mode',
|
||
|
StrictOctalLiteral: 'Octal literals are not allowed in strict mode.',
|
||
|
StrictDelete: 'Delete of an unqualified identifier in strict mode.',
|
||
|
StrictDuplicateProperty: 'Duplicate data property in object literal not allowed in strict mode',
|
||
|
AccessorDataProperty: 'Object literal may not have data and accessor property with the same name',
|
||
|
AccessorGetSet: 'Object literal may not have multiple get/set accessors with the same name',
|
||
|
StrictLHSAssignment: 'Assignment to eval or arguments is not allowed in strict mode',
|
||
|
StrictLHSPostfix: 'Postfix increment/decrement may not have eval or arguments operand in strict mode',
|
||
|
StrictLHSPrefix: 'Prefix increment/decrement may not have eval or arguments operand in strict mode',
|
||
|
StrictReservedWord: 'Use of future reserved word in strict mode'
|
||
|
};
|
||
|
|
||
|
// See also tools/generate-unicode-regex.py.
|
||
|
Regex = {
|
||
|
NonAsciiIdentifierStart: new RegExp('[\xAA\xB5\xBA\xC0-\xD6\xD8-\xF6\xF8-\u02C1\u02C6-\u02D1\u02E0-\u02E4\u02EC\u02EE\u0370-\u0374\u0376\u0377\u037A-\u037D\u037F\u0386\u0388-\u038A\u038C\u038E-\u03A1\u03A3-\u03F5\u03F7-\u0481\u048A-\u052F\u0531-\u0556\u0559\u0561-\u0587\u05D0-\u05EA\u05F0-\u05F2\u0620-\u064A\u066E\u066F\u0671-\u06D3\u06D5\u06E5\u06E6\u06EE\u06EF\u06FA-\u06FC\u06FF\u0710\u0712-\u072F\u074D-\u07A5\u07B1\u07CA-\u07EA\u07F4\u07F5\u07FA\u0800-\u0815\u081A\u0824\u0828\u0840-\u0858\u08A0-\u08B2\u0904-\u0939\u093D\u0950\u0958-\u0961\u0971-\u0980\u0985-\u098C\u098F\u0990\u0993-\u09A8\u09AA-\u09B0\u09B2\u09B6-\u09B9\u09BD\u09CE\u09DC\u09DD\u09DF-\u09E1\u09F0\u09F1\u0A05-\u0A0A\u0A0F\u0A10\u0A13-\u0A28\u0A2A-\u0A30\u0A32\u0A33\u0A35\u0A36\u0A38\u0A39\u0A59-\u0A5C\u0A5E\u0A72-\u0A74\u0A85-\u0A8D\u0A8F-\u0A91\u0A93-\u0AA8\u0AAA-\u0AB0\u0AB2\u0AB3\u0AB5-\u0AB9\u0ABD\u0AD0\u0AE0\u0AE1\u0B05-\u0B0C\u0B0F\u0B10\u0B13-\u0B28\u0B2A-\u0B30\u0B32\u0B33\u0B35-\u0B39\u0B3D\u0B5C\u0B5D\u0B5F-\u0B61\u0B71\u0B83\u0B85-\u0B8A\u0B8E-\u0B90\u0B92-\u0B95\u0B99\u0B9A\u0B9C\u0B9E\u0B9F\u0BA3\u0BA4\u0BA8-\u0BAA\u0BAE-\u0BB9\u0BD0\u0C05-\u0C0C\u0C0E-\u0C10\u0C12-\u0C28\u0C2A-\u0C39\u0C3D\u0C58\u0C59\u0C60\u0C61\u0C85-\u0C8C\u0C8E-\u0C90\u0C92-\u0CA8\u0CAA-\u0CB3\u0CB5-\u0CB9\u0CBD\u0CDE\u0CE0\u0CE1\u0CF1\u0CF2\u0D05-\u0D0C\u0D0E-\u0D10\u0D12-\u0D3A\u0D3D\u0D4E\u0D60\u0D61\u0D7A-\u0D7F\u0D85-\u0D96\u0D9A-\u0DB1\u0DB3-\u0DBB\u0DBD\u0DC0-\u0DC6\u0E01-\u0E30\u0E32\u0E33\u0E40-\u0E46\u0E81\u0E82\u0E84\u0E87\u0E88\u0E8A\u0E8D\u0E94-\u0E97\u0E99-\u0E9F\u0EA1-\u0EA3\u0EA5\u0EA7\u0EAA\u0EAB\u0EAD-\u0EB0\u0EB2\u0EB3\u0EBD\u0EC0-\u0EC4\u0EC6\u0EDC-\u0EDF\u0F00\u0F40-\u0F47\u0F49-\u0F6C\u0F88-\u0F8C\u1000-\u102A\u103F\u1050-\u1055\u105A-\u105D\u1061\u1065\u1066\u106E-\u1070\u1075-\u1081\u108E\u10A0-\u10C5\u10C7\u10CD\u10D0-\u10FA\u10FC-\u1248\u124A-\u124D\u1250-\u1256\u1258\u125A-\u125D\u1260-\u1288\u128A-\u128D\u1290-\u12B0\u12B2-\u12B5\u12B8-\u12BE\u12C0\u12C2-\u12C5\u12C8-\u12D6\u12D8-\u1310\u1312-\u1315\u1318-\u135A\u1380-\u138F\u13A0-\u13F4\u1401-\u166C\u166F-\u167F\u1681-\u169A\u16A0-\u16EA\u16EE-\u16F8\u1700-\u170C\u170E-\u1711\u1720-\u1731\u1740-\u1751\u1760-\u176C\u176E-\u1770\u1780-\u17B3\u17D7\u17DC\u1820-\u1877\u1880-\u18A8\u18AA\u18B0-\u18F5\u1900-\u191E\u1950-\u196D\u1970-\u1974\u1980-\u19AB\u19C1-\u19C7\u1A00-\u1A16\u1A20-\u1A54\u1AA7\u1B05-\u1B33\u1B45-\u1B4B\u1B83-\u1BA0\u1BAE\u1BAF\u1BBA-\u1BE5\u1C00-\u1C23\u1C4D-\u1C4F\u1C5A-\u1C7D\u1CE9-\u1CEC\u1CEE-\u1CF1\u1CF5\u1CF6\u1D00-\u1DBF\u1E00-\u1F15\u1F18-\u1F1D\u1F20-\u1F45\u1F48-\u1F4D\u1F50-\u1F57\u1F59\u1F5B\u1F5D\u1F5F-\u1F7D\u1F80-\u1FB4\u1FB6-\u1FBC\u1FBE\u1FC2-\u1FC4\u1FC6-\u1FCC\u1FD0-\u1FD3\u1FD6-\u1FDB\u1FE0-\u1FEC\u1FF2-\u1FF4\u1FF6-\u1FFC\u2071\u207F\u2090-\u209C\u2102\u2107\u210A-\u2113\u2115\u2119-\u211D\u2124\u2126\u2128\u212A-\u212D\u212F-\u2139\u213C-\u213F\u2145-\u2149\u214E\u2160-\u2188\u2C00-\u2C2E\u2C30-\u2C5E\u2C60-\u2CE4\u2CEB-\u2CEE\u2CF2\u2CF3\u2D00-\u2D25\u2D27\u2D2D\u2D30-\u2D67\u2D6F\u2D80-\u2D96\u2DA0-\u2DA6\u2DA8-\u2DAE\u2DB0-\u2DB6\u2DB8-\u2DBE\u2DC0-\u2DC6\u2DC8-\u2DCE\u2DD0-\u2DD6\u2DD8-\u2DDE\u2E2F\u3005-\u3007\u3021-\u3029\u3031-\u3035\u3038-\u303C\u3041-\u3096\u309D-\u309F\u30A1-\u30FA\u30FC-\u30FF\u3105-\u312D\u3131-\u318E\u31A0-\u31BA\u31F0-\u31FF\u3400-\u4DB5\u4E00-\u9FCC\uA000-\uA48C\uA4D0-\uA4FD\uA500-\uA60C\uA610-\uA61F\uA62A\uA62B\uA640-\uA66E\uA67F-\uA69D\uA6A0-\uA6EF\uA717-\uA71F\uA722-\uA788\uA78B-\uA78E\uA790-\uA7AD\uA7B0\uA7B1\uA7F7-\uA801\uA803-\uA805\uA807-\uA80A\uA80C-\uA822\uA840-\uA873\uA882-\uA8B3\uA8F2-\uA8F7\uA8FB\uA90A-\uA925\uA930-\uA946\uA960-\uA97C\uA984-\uA9B2\uA9CF\uA9E0-\uA9E4\uA9E6-\uA9EF\uA9FA-\uA9FE\uAA00-\uAA28\uAA40-\uAA42\uAA44-\uAA4B\uAA60-\uAA76\uAA7A\uAA7E-\uAAAF\uAAB1\uAAB5\uAAB6\uAAB9-\uAABD\uAAC0\uAAC2\uAADB-\uAADD\uAAE0-\uAAEA\uAAF2-\uAAF4\uAB01-\uAB06\uAB09-\uAB0E\uAB11-\uAB16\uAB20-\uAB26\uAB28-\uAB2E\uAB30-\uAB5A\uAB5C-\uAB5F\uAB64\uAB65\uABC0-\uABE2\uAC00-\uD7A3\uD7B0-\uD7C6\uD7CB-\uD7FB\uF900-\uFA6D\uFA70-\uFAD9\uFB00-\uFB06\uFB13-\uFB17\uFB1D\uFB1F-\uFB28\uFB2A-\uFB36\uFB38-\uFB3C\uFB3E\uFB40\uF
|
||
|
NonAsciiIdentifierPart: new RegExp('[\xAA\xB5\xBA\xC0-\xD6\xD8-\xF6\xF8-\u02C1\u02C6-\u02D1\u02E0-\u02E4\u02EC\u02EE\u0300-\u0374\u0376\u0377\u037A-\u037D\u037F\u0386\u0388-\u038A\u038C\u038E-\u03A1\u03A3-\u03F5\u03F7-\u0481\u0483-\u0487\u048A-\u052F\u0531-\u0556\u0559\u0561-\u0587\u0591-\u05BD\u05BF\u05C1\u05C2\u05C4\u05C5\u05C7\u05D0-\u05EA\u05F0-\u05F2\u0610-\u061A\u0620-\u0669\u066E-\u06D3\u06D5-\u06DC\u06DF-\u06E8\u06EA-\u06FC\u06FF\u0710-\u074A\u074D-\u07B1\u07C0-\u07F5\u07FA\u0800-\u082D\u0840-\u085B\u08A0-\u08B2\u08E4-\u0963\u0966-\u096F\u0971-\u0983\u0985-\u098C\u098F\u0990\u0993-\u09A8\u09AA-\u09B0\u09B2\u09B6-\u09B9\u09BC-\u09C4\u09C7\u09C8\u09CB-\u09CE\u09D7\u09DC\u09DD\u09DF-\u09E3\u09E6-\u09F1\u0A01-\u0A03\u0A05-\u0A0A\u0A0F\u0A10\u0A13-\u0A28\u0A2A-\u0A30\u0A32\u0A33\u0A35\u0A36\u0A38\u0A39\u0A3C\u0A3E-\u0A42\u0A47\u0A48\u0A4B-\u0A4D\u0A51\u0A59-\u0A5C\u0A5E\u0A66-\u0A75\u0A81-\u0A83\u0A85-\u0A8D\u0A8F-\u0A91\u0A93-\u0AA8\u0AAA-\u0AB0\u0AB2\u0AB3\u0AB5-\u0AB9\u0ABC-\u0AC5\u0AC7-\u0AC9\u0ACB-\u0ACD\u0AD0\u0AE0-\u0AE3\u0AE6-\u0AEF\u0B01-\u0B03\u0B05-\u0B0C\u0B0F\u0B10\u0B13-\u0B28\u0B2A-\u0B30\u0B32\u0B33\u0B35-\u0B39\u0B3C-\u0B44\u0B47\u0B48\u0B4B-\u0B4D\u0B56\u0B57\u0B5C\u0B5D\u0B5F-\u0B63\u0B66-\u0B6F\u0B71\u0B82\u0B83\u0B85-\u0B8A\u0B8E-\u0B90\u0B92-\u0B95\u0B99\u0B9A\u0B9C\u0B9E\u0B9F\u0BA3\u0BA4\u0BA8-\u0BAA\u0BAE-\u0BB9\u0BBE-\u0BC2\u0BC6-\u0BC8\u0BCA-\u0BCD\u0BD0\u0BD7\u0BE6-\u0BEF\u0C00-\u0C03\u0C05-\u0C0C\u0C0E-\u0C10\u0C12-\u0C28\u0C2A-\u0C39\u0C3D-\u0C44\u0C46-\u0C48\u0C4A-\u0C4D\u0C55\u0C56\u0C58\u0C59\u0C60-\u0C63\u0C66-\u0C6F\u0C81-\u0C83\u0C85-\u0C8C\u0C8E-\u0C90\u0C92-\u0CA8\u0CAA-\u0CB3\u0CB5-\u0CB9\u0CBC-\u0CC4\u0CC6-\u0CC8\u0CCA-\u0CCD\u0CD5\u0CD6\u0CDE\u0CE0-\u0CE3\u0CE6-\u0CEF\u0CF1\u0CF2\u0D01-\u0D03\u0D05-\u0D0C\u0D0E-\u0D10\u0D12-\u0D3A\u0D3D-\u0D44\u0D46-\u0D48\u0D4A-\u0D4E\u0D57\u0D60-\u0D63\u0D66-\u0D6F\u0D7A-\u0D7F\u0D82\u0D83\u0D85-\u0D96\u0D9A-\u0DB1\u0DB3-\u0DBB\u0DBD\u0DC0-\u0DC6\u0DCA\u0DCF-\u0DD4\u0DD6\u0DD8-\u0DDF\u0DE6-\u0DEF\u0DF2\u0DF3\u0E01-\u0E3A\u0E40-\u0E4E\u0E50-\u0E59\u0E81\u0E82\u0E84\u0E87\u0E88\u0E8A\u0E8D\u0E94-\u0E97\u0E99-\u0E9F\u0EA1-\u0EA3\u0EA5\u0EA7\u0EAA\u0EAB\u0EAD-\u0EB9\u0EBB-\u0EBD\u0EC0-\u0EC4\u0EC6\u0EC8-\u0ECD\u0ED0-\u0ED9\u0EDC-\u0EDF\u0F00\u0F18\u0F19\u0F20-\u0F29\u0F35\u0F37\u0F39\u0F3E-\u0F47\u0F49-\u0F6C\u0F71-\u0F84\u0F86-\u0F97\u0F99-\u0FBC\u0FC6\u1000-\u1049\u1050-\u109D\u10A0-\u10C5\u10C7\u10CD\u10D0-\u10FA\u10FC-\u1248\u124A-\u124D\u1250-\u1256\u1258\u125A-\u125D\u1260-\u1288\u128A-\u128D\u1290-\u12B0\u12B2-\u12B5\u12B8-\u12BE\u12C0\u12C2-\u12C5\u12C8-\u12D6\u12D8-\u1310\u1312-\u1315\u1318-\u135A\u135D-\u135F\u1380-\u138F\u13A0-\u13F4\u1401-\u166C\u166F-\u167F\u1681-\u169A\u16A0-\u16EA\u16EE-\u16F8\u1700-\u170C\u170E-\u1714\u1720-\u1734\u1740-\u1753\u1760-\u176C\u176E-\u1770\u1772\u1773\u1780-\u17D3\u17D7\u17DC\u17DD\u17E0-\u17E9\u180B-\u180D\u1810-\u1819\u1820-\u1877\u1880-\u18AA\u18B0-\u18F5\u1900-\u191E\u1920-\u192B\u1930-\u193B\u1946-\u196D\u1970-\u1974\u1980-\u19AB\u19B0-\u19C9\u19D0-\u19D9\u1A00-\u1A1B\u1A20-\u1A5E\u1A60-\u1A7C\u1A7F-\u1A89\u1A90-\u1A99\u1AA7\u1AB0-\u1ABD\u1B00-\u1B4B\u1B50-\u1B59\u1B6B-\u1B73\u1B80-\u1BF3\u1C00-\u1C37\u1C40-\u1C49\u1C4D-\u1C7D\u1CD0-\u1CD2\u1CD4-\u1CF6\u1CF8\u1CF9\u1D00-\u1DF5\u1DFC-\u1F15\u1F18-\u1F1D\u1F20-\u1F45\u1F48-\u1F4D\u1F50-\u1F57\u1F59\u1F5B\u1F5D\u1F5F-\u1F7D\u1F80-\u1FB4\u1FB6-\u1FBC\u1FBE\u1FC2-\u1FC4\u1FC6-\u1FCC\u1FD0-\u1FD3\u1FD6-\u1FDB\u1FE0-\u1FEC\u1FF2-\u1FF4\u1FF6-\u1FFC\u200C\u200D\u203F\u2040\u2054\u2071\u207F\u2090-\u209C\u20D0-\u20DC\u20E1\u20E5-\u20F0\u2102\u2107\u210A-\u2113\u2115\u2119-\u211D\u2124\u2126\u2128\u212A-\u212D\u212F-\u2139\u213C-\u213F\u2145-\u2149\u214E\u2160-\u2188\u2C00-\u2C2E\u2C30-\u2C5E\u2C60-\u2CE4\u2CEB-\u2CF3\u2D00-\u2D25\u2D27\u2D2D\u2D30-\u2D67\u2D6F\u2D7F-\u2D96\u2DA0-\u2DA6\u2DA8-\u2DAE\u2DB0-\u2DB6\u2DB8-\u2DBE\u2DC0-\u2DC6\u2DC8-\u2DCE\u2DD0-\u2DD6\u2DD8-\u2DDE\u2DE0-\u2DFF\u2E2F\u3005-\u3007\u3021-\u302F\u3031-\u3035\u3038-\u303C\u3041-\u3096\u3099\u309A\u309D-\u309F\u30A1-\u30FA\u30FC-\u30FF\u3105-\u312D\u3131-\u318E\u31A0-\u31BA\
|
||
|
};
|
||
|
|
||
|
// Ensure the condition is true, otherwise throw an error.
|
||
|
// This is only to have a better contract semantic, i.e. another safety net
|
||
|
// to catch a logic error. The condition shall be fulfilled in normal case.
|
||
|
// Do NOT use this to enforce a certain condition on any user input.
|
||
|
|
||
|
function assert(condition, message) {
|
||
|
/* istanbul ignore if */
|
||
|
if (!condition) {
|
||
|
throw new Error('ASSERT: ' + message);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function isDecimalDigit(ch) {
|
||
|
return (ch >= 0x30 && ch <= 0x39); // 0..9
|
||
|
}
|
||
|
|
||
|
function isHexDigit(ch) {
|
||
|
return '0123456789abcdefABCDEF'.indexOf(ch) >= 0;
|
||
|
}
|
||
|
|
||
|
function isOctalDigit(ch) {
|
||
|
return '01234567'.indexOf(ch) >= 0;
|
||
|
}
|
||
|
|
||
|
|
||
|
// 7.2 White Space
|
||
|
|
||
|
function isWhiteSpace(ch) {
|
||
|
return (ch === 0x20) || (ch === 0x09) || (ch === 0x0B) || (ch === 0x0C) || (ch === 0xA0) ||
|
||
|
(ch >= 0x1680 && [0x1680, 0x180E, 0x2000, 0x2001, 0x2002, 0x2003, 0x2004, 0x2005, 0x2006, 0x2007, 0x2008, 0x2009, 0x200A, 0x202F, 0x205F, 0x3000, 0xFEFF].indexOf(ch) >= 0);
|
||
|
}
|
||
|
|
||
|
// 7.3 Line Terminators
|
||
|
|
||
|
function isLineTerminator(ch) {
|
||
|
return (ch === 0x0A) || (ch === 0x0D) || (ch === 0x2028) || (ch === 0x2029);
|
||
|
}
|
||
|
|
||
|
// 7.6 Identifier Names and Identifiers
|
||
|
|
||
|
function isIdentifierStart(ch) {
|
||
|
return (ch === 0x24) || (ch === 0x5F) || // $ (dollar) and _ (underscore)
|
||
|
(ch >= 0x41 && ch <= 0x5A) || // A..Z
|
||
|
(ch >= 0x61 && ch <= 0x7A) || // a..z
|
||
|
(ch === 0x5C) || // \ (backslash)
|
||
|
((ch >= 0x80) && Regex.NonAsciiIdentifierStart.test(String.fromCharCode(ch)));
|
||
|
}
|
||
|
|
||
|
function isIdentifierPart(ch) {
|
||
|
return (ch === 0x24) || (ch === 0x5F) || // $ (dollar) and _ (underscore)
|
||
|
(ch >= 0x41 && ch <= 0x5A) || // A..Z
|
||
|
(ch >= 0x61 && ch <= 0x7A) || // a..z
|
||
|
(ch >= 0x30 && ch <= 0x39) || // 0..9
|
||
|
(ch === 0x5C) || // \ (backslash)
|
||
|
((ch >= 0x80) && Regex.NonAsciiIdentifierPart.test(String.fromCharCode(ch)));
|
||
|
}
|
||
|
|
||
|
// 7.6.1.2 Future Reserved Words
|
||
|
|
||
|
function isFutureReservedWord(id) {
|
||
|
switch (id) {
|
||
|
case 'class':
|
||
|
case 'enum':
|
||
|
case 'export':
|
||
|
case 'extends':
|
||
|
case 'import':
|
||
|
case 'super':
|
||
|
return true;
|
||
|
default:
|
||
|
return false;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function isStrictModeReservedWord(id) {
|
||
|
switch (id) {
|
||
|
case 'implements':
|
||
|
case 'interface':
|
||
|
case 'package':
|
||
|
case 'private':
|
||
|
case 'protected':
|
||
|
case 'public':
|
||
|
case 'static':
|
||
|
case 'yield':
|
||
|
case 'let':
|
||
|
return true;
|
||
|
default:
|
||
|
return false;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function isRestrictedWord(id) {
|
||
|
return id === 'eval' || id === 'arguments';
|
||
|
}
|
||
|
|
||
|
// 7.6.1.1 Keywords
|
||
|
|
||
|
function isKeyword(id) {
|
||
|
if (strict && isStrictModeReservedWord(id)) {
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
// 'const' is specialized as Keyword in V8.
|
||
|
// 'yield' and 'let' are for compatibility with SpiderMonkey and ES.next.
|
||
|
// Some others are from future reserved words.
|
||
|
|
||
|
switch (id.length) {
|
||
|
case 2:
|
||
|
return (id === 'if') || (id === 'in') || (id === 'do');
|
||
|
case 3:
|
||
|
return (id === 'var') || (id === 'for') || (id === 'new') ||
|
||
|
(id === 'try') || (id === 'let');
|
||
|
case 4:
|
||
|
return (id === 'this') || (id === 'else') || (id === 'case') ||
|
||
|
(id === 'void') || (id === 'with') || (id === 'enum');
|
||
|
case 5:
|
||
|
return (id === 'while') || (id === 'break') || (id === 'catch') ||
|
||
|
(id === 'throw') || (id === 'const') || (id === 'yield') ||
|
||
|
(id === 'class') || (id === 'super');
|
||
|
case 6:
|
||
|
return (id === 'return') || (id === 'typeof') || (id === 'delete') ||
|
||
|
(id === 'switch') || (id === 'export') || (id === 'import');
|
||
|
case 7:
|
||
|
return (id === 'default') || (id === 'finally') || (id === 'extends');
|
||
|
case 8:
|
||
|
return (id === 'function') || (id === 'continue') || (id === 'debugger');
|
||
|
case 10:
|
||
|
return (id === 'instanceof');
|
||
|
default:
|
||
|
return false;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// 7.4 Comments
|
||
|
|
||
|
function addComment(type, value, start, end, loc) {
|
||
|
var comment;
|
||
|
|
||
|
assert(typeof start === 'number', 'Comment must have valid position');
|
||
|
|
||
|
// Because the way the actual token is scanned, often the comments
|
||
|
// (if any) are skipped twice during the lexical analysis.
|
||
|
// Thus, we need to skip adding a comment if the comment array already
|
||
|
// handled it.
|
||
|
if (state.lastCommentStart >= start) {
|
||
|
return;
|
||
|
}
|
||
|
state.lastCommentStart = start;
|
||
|
|
||
|
comment = {
|
||
|
type: type,
|
||
|
value: value
|
||
|
};
|
||
|
if (extra.range) {
|
||
|
comment.range = [start, end];
|
||
|
}
|
||
|
if (extra.loc) {
|
||
|
comment.loc = loc;
|
||
|
}
|
||
|
extra.comments.push(comment);
|
||
|
if (extra.attachComment) {
|
||
|
extra.leadingComments.push(comment);
|
||
|
extra.trailingComments.push(comment);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function skipSingleLineComment(offset) {
|
||
|
var start, loc, ch, comment;
|
||
|
|
||
|
start = index - offset;
|
||
|
loc = {
|
||
|
start: {
|
||
|
line: lineNumber,
|
||
|
column: index - lineStart - offset
|
||
|
}
|
||
|
};
|
||
|
|
||
|
while (index < length) {
|
||
|
ch = source.charCodeAt(index);
|
||
|
++index;
|
||
|
if (isLineTerminator(ch)) {
|
||
|
if (extra.comments) {
|
||
|
comment = source.slice(start + offset, index - 1);
|
||
|
loc.end = {
|
||
|
line: lineNumber,
|
||
|
column: index - lineStart - 1
|
||
|
};
|
||
|
addComment('Line', comment, start, index - 1, loc);
|
||
|
}
|
||
|
if (ch === 13 && source.charCodeAt(index) === 10) {
|
||
|
++index;
|
||
|
}
|
||
|
++lineNumber;
|
||
|
lineStart = index;
|
||
|
return;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (extra.comments) {
|
||
|
comment = source.slice(start + offset, index);
|
||
|
loc.end = {
|
||
|
line: lineNumber,
|
||
|
column: index - lineStart
|
||
|
};
|
||
|
addComment('Line', comment, start, index, loc);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function skipMultiLineComment() {
|
||
|
var start, loc, ch, comment;
|
||
|
|
||
|
if (extra.comments) {
|
||
|
start = index - 2;
|
||
|
loc = {
|
||
|
start: {
|
||
|
line: lineNumber,
|
||
|
column: index - lineStart - 2
|
||
|
}
|
||
|
};
|
||
|
}
|
||
|
|
||
|
while (index < length) {
|
||
|
ch = source.charCodeAt(index);
|
||
|
if (isLineTerminator(ch)) {
|
||
|
if (ch === 0x0D && source.charCodeAt(index + 1) === 0x0A) {
|
||
|
++index;
|
||
|
}
|
||
|
++lineNumber;
|
||
|
++index;
|
||
|
lineStart = index;
|
||
|
if (index >= length) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
} else if (ch === 0x2A) {
|
||
|
// Block comment ends with '*/'.
|
||
|
if (source.charCodeAt(index + 1) === 0x2F) {
|
||
|
++index;
|
||
|
++index;
|
||
|
if (extra.comments) {
|
||
|
comment = source.slice(start + 2, index - 2);
|
||
|
loc.end = {
|
||
|
line: lineNumber,
|
||
|
column: index - lineStart
|
||
|
};
|
||
|
addComment('Block', comment, start, index, loc);
|
||
|
}
|
||
|
return;
|
||
|
}
|
||
|
++index;
|
||
|
} else {
|
||
|
++index;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
function skipComment() {
|
||
|
var ch, start;
|
||
|
|
||
|
start = (index === 0);
|
||
|
while (index < length) {
|
||
|
ch = source.charCodeAt(index);
|
||
|
|
||
|
if (isWhiteSpace(ch)) {
|
||
|
++index;
|
||
|
} else if (isLineTerminator(ch)) {
|
||
|
++index;
|
||
|
if (ch === 0x0D && source.charCodeAt(index) === 0x0A) {
|
||
|
++index;
|
||
|
}
|
||
|
++lineNumber;
|
||
|
lineStart = index;
|
||
|
start = true;
|
||
|
} else if (ch === 0x2F) { // U+002F is '/'
|
||
|
ch = source.charCodeAt(index + 1);
|
||
|
if (ch === 0x2F) {
|
||
|
++index;
|
||
|
++index;
|
||
|
skipSingleLineComment(2);
|
||
|
start = true;
|
||
|
} else if (ch === 0x2A) { // U+002A is '*'
|
||
|
++index;
|
||
|
++index;
|
||
|
skipMultiLineComment();
|
||
|
} else {
|
||
|
break;
|
||
|
}
|
||
|
} else if (start && ch === 0x2D) { // U+002D is '-'
|
||
|
// U+003E is '>'
|
||
|
if ((source.charCodeAt(index + 1) === 0x2D) && (source.charCodeAt(index + 2) === 0x3E)) {
|
||
|
// '-->' is a single-line comment
|
||
|
index += 3;
|
||
|
skipSingleLineComment(3);
|
||
|
} else {
|
||
|
break;
|
||
|
}
|
||
|
} else if (ch === 0x3C) { // U+003C is '<'
|
||
|
if (source.slice(index + 1, index + 4) === '!--') {
|
||
|
++index; // `<`
|
||
|
++index; // `!`
|
||
|
++index; // `-`
|
||
|
++index; // `-`
|
||
|
skipSingleLineComment(4);
|
||
|
} else {
|
||
|
break;
|
||
|
}
|
||
|
} else {
|
||
|
break;
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function scanHexEscape(prefix) {
|
||
|
var i, len, ch, code = 0;
|
||
|
|
||
|
len = (prefix === 'u') ? 4 : 2;
|
||
|
for (i = 0; i < len; ++i) {
|
||
|
if (index < length && isHexDigit(source[index])) {
|
||
|
ch = source[index++];
|
||
|
code = code * 16 + '0123456789abcdef'.indexOf(ch.toLowerCase());
|
||
|
} else {
|
||
|
return '';
|
||
|
}
|
||
|
}
|
||
|
return String.fromCharCode(code);
|
||
|
}
|
||
|
|
||
|
function scanUnicodeCodePointEscape() {
|
||
|
var ch, code, cu1, cu2;
|
||
|
|
||
|
ch = source[index];
|
||
|
code = 0;
|
||
|
|
||
|
// At least, one hex digit is required.
|
||
|
if (ch === '}') {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
while (index < length) {
|
||
|
ch = source[index++];
|
||
|
if (!isHexDigit(ch)) {
|
||
|
break;
|
||
|
}
|
||
|
code = code * 16 + '0123456789abcdef'.indexOf(ch.toLowerCase());
|
||
|
}
|
||
|
|
||
|
if (code > 0x10FFFF || ch !== '}') {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
// UTF-16 Encoding
|
||
|
if (code <= 0xFFFF) {
|
||
|
return String.fromCharCode(code);
|
||
|
}
|
||
|
cu1 = ((code - 0x10000) >> 10) + 0xD800;
|
||
|
cu2 = ((code - 0x10000) & 1023) + 0xDC00;
|
||
|
return String.fromCharCode(cu1, cu2);
|
||
|
}
|
||
|
|
||
|
function getEscapedIdentifier() {
|
||
|
var ch, id;
|
||
|
|
||
|
ch = source.charCodeAt(index++);
|
||
|
id = String.fromCharCode(ch);
|
||
|
|
||
|
// '\u' (U+005C, U+0075) denotes an escaped character.
|
||
|
if (ch === 0x5C) {
|
||
|
if (source.charCodeAt(index) !== 0x75) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
++index;
|
||
|
ch = scanHexEscape('u');
|
||
|
if (!ch || ch === '\\' || !isIdentifierStart(ch.charCodeAt(0))) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
id = ch;
|
||
|
}
|
||
|
|
||
|
while (index < length) {
|
||
|
ch = source.charCodeAt(index);
|
||
|
if (!isIdentifierPart(ch)) {
|
||
|
break;
|
||
|
}
|
||
|
++index;
|
||
|
id += String.fromCharCode(ch);
|
||
|
|
||
|
// '\u' (U+005C, U+0075) denotes an escaped character.
|
||
|
if (ch === 0x5C) {
|
||
|
id = id.substr(0, id.length - 1);
|
||
|
if (source.charCodeAt(index) !== 0x75) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
++index;
|
||
|
ch = scanHexEscape('u');
|
||
|
if (!ch || ch === '\\' || !isIdentifierPart(ch.charCodeAt(0))) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
id += ch;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return id;
|
||
|
}
|
||
|
|
||
|
function getIdentifier() {
|
||
|
var start, ch;
|
||
|
|
||
|
start = index++;
|
||
|
while (index < length) {
|
||
|
ch = source.charCodeAt(index);
|
||
|
if (ch === 0x5C) {
|
||
|
// Blackslash (U+005C) marks Unicode escape sequence.
|
||
|
index = start;
|
||
|
return getEscapedIdentifier();
|
||
|
}
|
||
|
if (isIdentifierPart(ch)) {
|
||
|
++index;
|
||
|
} else {
|
||
|
break;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return source.slice(start, index);
|
||
|
}
|
||
|
|
||
|
function scanIdentifier() {
|
||
|
var start, id, type;
|
||
|
|
||
|
start = index;
|
||
|
|
||
|
// Backslash (U+005C) starts an escaped character.
|
||
|
id = (source.charCodeAt(index) === 0x5C) ? getEscapedIdentifier() : getIdentifier();
|
||
|
|
||
|
// There is no keyword or literal with only one character.
|
||
|
// Thus, it must be an identifier.
|
||
|
if (id.length === 1) {
|
||
|
type = Token.Identifier;
|
||
|
} else if (isKeyword(id)) {
|
||
|
type = Token.Keyword;
|
||
|
} else if (id === 'null') {
|
||
|
type = Token.NullLiteral;
|
||
|
} else if (id === 'true' || id === 'false') {
|
||
|
type = Token.BooleanLiteral;
|
||
|
} else {
|
||
|
type = Token.Identifier;
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
type: type,
|
||
|
value: id,
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
|
||
|
// 7.7 Punctuators
|
||
|
|
||
|
function scanPunctuator() {
|
||
|
var start = index,
|
||
|
code = source.charCodeAt(index),
|
||
|
code2,
|
||
|
ch1 = source[index],
|
||
|
ch2,
|
||
|
ch3,
|
||
|
ch4;
|
||
|
|
||
|
switch (code) {
|
||
|
|
||
|
// Check for most common single-character punctuators.
|
||
|
case 0x2E: // . dot
|
||
|
case 0x28: // ( open bracket
|
||
|
case 0x29: // ) close bracket
|
||
|
case 0x3B: // ; semicolon
|
||
|
case 0x2C: // , comma
|
||
|
case 0x7B: // { open curly brace
|
||
|
case 0x7D: // } close curly brace
|
||
|
case 0x5B: // [
|
||
|
case 0x5D: // ]
|
||
|
case 0x3A: // :
|
||
|
case 0x3F: // ?
|
||
|
case 0x7E: // ~
|
||
|
++index;
|
||
|
if (extra.tokenize) {
|
||
|
if (code === 0x28) {
|
||
|
extra.openParenToken = extra.tokens.length;
|
||
|
} else if (code === 0x7B) {
|
||
|
extra.openCurlyToken = extra.tokens.length;
|
||
|
}
|
||
|
}
|
||
|
return {
|
||
|
type: Token.Punctuator,
|
||
|
value: String.fromCharCode(code),
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
|
||
|
default:
|
||
|
code2 = source.charCodeAt(index + 1);
|
||
|
|
||
|
// '=' (U+003D) marks an assignment or comparison operator.
|
||
|
if (code2 === 0x3D) {
|
||
|
switch (code) {
|
||
|
case 0x2B: // +
|
||
|
case 0x2D: // -
|
||
|
case 0x2F: // /
|
||
|
case 0x3C: // <
|
||
|
case 0x3E: // >
|
||
|
case 0x5E: // ^
|
||
|
case 0x7C: // |
|
||
|
case 0x25: // %
|
||
|
case 0x26: // &
|
||
|
case 0x2A: // *
|
||
|
index += 2;
|
||
|
return {
|
||
|
type: Token.Punctuator,
|
||
|
value: String.fromCharCode(code) + String.fromCharCode(code2),
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
|
||
|
case 0x21: // !
|
||
|
case 0x3D: // =
|
||
|
index += 2;
|
||
|
|
||
|
// !== and ===
|
||
|
if (source.charCodeAt(index) === 0x3D) {
|
||
|
++index;
|
||
|
}
|
||
|
return {
|
||
|
type: Token.Punctuator,
|
||
|
value: source.slice(start, index),
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// 4-character punctuator: >>>=
|
||
|
|
||
|
ch4 = source.substr(index, 4);
|
||
|
|
||
|
if (ch4 === '>>>=') {
|
||
|
index += 4;
|
||
|
return {
|
||
|
type: Token.Punctuator,
|
||
|
value: ch4,
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
// 3-character punctuators: === !== >>> <<= >>=
|
||
|
|
||
|
ch3 = ch4.substr(0, 3);
|
||
|
|
||
|
if (ch3 === '>>>' || ch3 === '<<=' || ch3 === '>>=') {
|
||
|
index += 3;
|
||
|
return {
|
||
|
type: Token.Punctuator,
|
||
|
value: ch3,
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
// Other 2-character punctuators: ++ -- << >> && ||
|
||
|
ch2 = ch3.substr(0, 2);
|
||
|
|
||
|
if ((ch1 === ch2[1] && ('+-<>&|'.indexOf(ch1) >= 0)) || ch2 === '=>') {
|
||
|
index += 2;
|
||
|
return {
|
||
|
type: Token.Punctuator,
|
||
|
value: ch2,
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
// 1-character punctuators: < > = ! + - * % & | ^ /
|
||
|
|
||
|
if ('<>=!+-*%&|^/'.indexOf(ch1) >= 0) {
|
||
|
++index;
|
||
|
return {
|
||
|
type: Token.Punctuator,
|
||
|
value: ch1,
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
// 7.8.3 Numeric Literals
|
||
|
|
||
|
function scanHexLiteral(start) {
|
||
|
var number = '';
|
||
|
|
||
|
while (index < length) {
|
||
|
if (!isHexDigit(source[index])) {
|
||
|
break;
|
||
|
}
|
||
|
number += source[index++];
|
||
|
}
|
||
|
|
||
|
if (number.length === 0) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
if (isIdentifierStart(source.charCodeAt(index))) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
type: Token.NumericLiteral,
|
||
|
value: parseInt('0x' + number, 16),
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function scanBinaryLiteral(start) {
|
||
|
var ch, number;
|
||
|
|
||
|
number = '';
|
||
|
|
||
|
while (index < length) {
|
||
|
ch = source[index];
|
||
|
if (ch !== '0' && ch !== '1') {
|
||
|
break;
|
||
|
}
|
||
|
number += source[index++];
|
||
|
}
|
||
|
|
||
|
if (number.length === 0) {
|
||
|
// only 0b or 0B
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
if (index < length) {
|
||
|
ch = source.charCodeAt(index);
|
||
|
/* istanbul ignore else */
|
||
|
if (isIdentifierStart(ch) || isDecimalDigit(ch)) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
type: Token.NumericLiteral,
|
||
|
value: parseInt(number, 2),
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function scanOctalLiteral(prefix, start) {
|
||
|
var number, octal;
|
||
|
|
||
|
if (isOctalDigit(prefix)) {
|
||
|
octal = true;
|
||
|
number = '0' + source[index++];
|
||
|
} else {
|
||
|
octal = false;
|
||
|
++index;
|
||
|
number = '';
|
||
|
}
|
||
|
|
||
|
while (index < length) {
|
||
|
if (!isOctalDigit(source[index])) {
|
||
|
break;
|
||
|
}
|
||
|
number += source[index++];
|
||
|
}
|
||
|
|
||
|
if (!octal && number.length === 0) {
|
||
|
// only 0o or 0O
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
if (isIdentifierStart(source.charCodeAt(index)) || isDecimalDigit(source.charCodeAt(index))) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
type: Token.NumericLiteral,
|
||
|
value: parseInt(number, 8),
|
||
|
octal: octal,
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function isImplicitOctalLiteral() {
|
||
|
var i, ch;
|
||
|
|
||
|
// Implicit octal, unless there is a non-octal digit.
|
||
|
// (Annex B.1.1 on Numeric Literals)
|
||
|
for (i = index + 1; i < length; ++i) {
|
||
|
ch = source[i];
|
||
|
if (ch === '8' || ch === '9') {
|
||
|
return false;
|
||
|
}
|
||
|
if (!isOctalDigit(ch)) {
|
||
|
return true;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
function scanNumericLiteral() {
|
||
|
var number, start, ch;
|
||
|
|
||
|
ch = source[index];
|
||
|
assert(isDecimalDigit(ch.charCodeAt(0)) || (ch === '.'),
|
||
|
'Numeric literal must start with a decimal digit or a decimal point');
|
||
|
|
||
|
start = index;
|
||
|
number = '';
|
||
|
if (ch !== '.') {
|
||
|
number = source[index++];
|
||
|
ch = source[index];
|
||
|
|
||
|
// Hex number starts with '0x'.
|
||
|
// Octal number starts with '0'.
|
||
|
// Octal number in ES6 starts with '0o'.
|
||
|
// Binary number in ES6 starts with '0b'.
|
||
|
if (number === '0') {
|
||
|
if (ch === 'x' || ch === 'X') {
|
||
|
++index;
|
||
|
return scanHexLiteral(start);
|
||
|
}
|
||
|
if (ch === 'b' || ch === 'B') {
|
||
|
++index;
|
||
|
return scanBinaryLiteral(start);
|
||
|
}
|
||
|
if (ch === 'o' || ch === 'O') {
|
||
|
return scanOctalLiteral(ch, start);
|
||
|
}
|
||
|
|
||
|
if (isOctalDigit(ch)) {
|
||
|
if (isImplicitOctalLiteral()) {
|
||
|
return scanOctalLiteral(ch, start);
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
while (isDecimalDigit(source.charCodeAt(index))) {
|
||
|
number += source[index++];
|
||
|
}
|
||
|
ch = source[index];
|
||
|
}
|
||
|
|
||
|
if (ch === '.') {
|
||
|
number += source[index++];
|
||
|
while (isDecimalDigit(source.charCodeAt(index))) {
|
||
|
number += source[index++];
|
||
|
}
|
||
|
ch = source[index];
|
||
|
}
|
||
|
|
||
|
if (ch === 'e' || ch === 'E') {
|
||
|
number += source[index++];
|
||
|
|
||
|
ch = source[index];
|
||
|
if (ch === '+' || ch === '-') {
|
||
|
number += source[index++];
|
||
|
}
|
||
|
if (isDecimalDigit(source.charCodeAt(index))) {
|
||
|
while (isDecimalDigit(source.charCodeAt(index))) {
|
||
|
number += source[index++];
|
||
|
}
|
||
|
} else {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (isIdentifierStart(source.charCodeAt(index))) {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
type: Token.NumericLiteral,
|
||
|
value: parseFloat(number),
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
// 7.8.4 String Literals
|
||
|
|
||
|
function scanStringLiteral() {
|
||
|
var str = '', quote, start, ch, code, unescaped, restore, octal = false, startLineNumber, startLineStart;
|
||
|
startLineNumber = lineNumber;
|
||
|
startLineStart = lineStart;
|
||
|
|
||
|
quote = source[index];
|
||
|
assert((quote === '\'' || quote === '"'),
|
||
|
'String literal must starts with a quote');
|
||
|
|
||
|
start = index;
|
||
|
++index;
|
||
|
|
||
|
while (index < length) {
|
||
|
ch = source[index++];
|
||
|
|
||
|
if (ch === quote) {
|
||
|
quote = '';
|
||
|
break;
|
||
|
} else if (ch === '\\') {
|
||
|
ch = source[index++];
|
||
|
if (!ch || !isLineTerminator(ch.charCodeAt(0))) {
|
||
|
switch (ch) {
|
||
|
case 'u':
|
||
|
case 'x':
|
||
|
if (source[index] === '{') {
|
||
|
++index;
|
||
|
str += scanUnicodeCodePointEscape();
|
||
|
} else {
|
||
|
restore = index;
|
||
|
unescaped = scanHexEscape(ch);
|
||
|
if (unescaped) {
|
||
|
str += unescaped;
|
||
|
} else {
|
||
|
index = restore;
|
||
|
str += ch;
|
||
|
}
|
||
|
}
|
||
|
break;
|
||
|
case 'n':
|
||
|
str += '\n';
|
||
|
break;
|
||
|
case 'r':
|
||
|
str += '\r';
|
||
|
break;
|
||
|
case 't':
|
||
|
str += '\t';
|
||
|
break;
|
||
|
case 'b':
|
||
|
str += '\b';
|
||
|
break;
|
||
|
case 'f':
|
||
|
str += '\f';
|
||
|
break;
|
||
|
case 'v':
|
||
|
str += '\x0B';
|
||
|
break;
|
||
|
|
||
|
default:
|
||
|
if (isOctalDigit(ch)) {
|
||
|
code = '01234567'.indexOf(ch);
|
||
|
|
||
|
// \0 is not octal escape sequence
|
||
|
if (code !== 0) {
|
||
|
octal = true;
|
||
|
}
|
||
|
|
||
|
if (index < length && isOctalDigit(source[index])) {
|
||
|
octal = true;
|
||
|
code = code * 8 + '01234567'.indexOf(source[index++]);
|
||
|
|
||
|
// 3 digits are only allowed when string starts
|
||
|
// with 0, 1, 2, 3
|
||
|
if ('0123'.indexOf(ch) >= 0 &&
|
||
|
index < length &&
|
||
|
isOctalDigit(source[index])) {
|
||
|
code = code * 8 + '01234567'.indexOf(source[index++]);
|
||
|
}
|
||
|
}
|
||
|
str += String.fromCharCode(code);
|
||
|
} else {
|
||
|
str += ch;
|
||
|
}
|
||
|
break;
|
||
|
}
|
||
|
} else {
|
||
|
++lineNumber;
|
||
|
if (ch === '\r' && source[index] === '\n') {
|
||
|
++index;
|
||
|
}
|
||
|
lineStart = index;
|
||
|
}
|
||
|
} else if (isLineTerminator(ch.charCodeAt(0))) {
|
||
|
break;
|
||
|
} else {
|
||
|
str += ch;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (quote !== '') {
|
||
|
throwUnexpectedToken();
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
type: Token.StringLiteral,
|
||
|
value: str,
|
||
|
octal: octal,
|
||
|
startLineNumber: startLineNumber,
|
||
|
startLineStart: startLineStart,
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function testRegExp(pattern, flags) {
|
||
|
var tmp = pattern,
|
||
|
value;
|
||
|
|
||
|
if (flags.indexOf('u') >= 0) {
|
||
|
// Replace each astral symbol and every Unicode code point
|
||
|
// escape sequence with a single ASCII symbol to avoid throwing on
|
||
|
// regular expressions that are only valid in combination with the
|
||
|
// `/u` flag.
|
||
|
// Note: replacing with the ASCII symbol `x` might cause false
|
||
|
// negatives in unlikely scenarios. For example, `[\u{61}-b]` is a
|
||
|
// perfectly valid pattern that is equivalent to `[a-b]`, but it
|
||
|
// would be replaced by `[x-b]` which throws an error.
|
||
|
tmp = tmp
|
||
|
.replace(/\\u\{([0-9a-fA-F]+)\}/g, function ($0, $1) {
|
||
|
if (parseInt($1, 16) <= 0x10FFFF) {
|
||
|
return 'x';
|
||
|
}
|
||
|
throwError(Messages.InvalidRegExp);
|
||
|
})
|
||
|
.replace(/[\uD800-\uDBFF][\uDC00-\uDFFF]/g, 'x');
|
||
|
}
|
||
|
|
||
|
// First, detect invalid regular expressions.
|
||
|
try {
|
||
|
value = new RegExp(tmp);
|
||
|
} catch (e) {
|
||
|
throwError(Messages.InvalidRegExp);
|
||
|
}
|
||
|
|
||
|
// Return a regular expression object for this pattern-flag pair, or
|
||
|
// `null` in case the current environment doesn't support the flags it
|
||
|
// uses.
|
||
|
try {
|
||
|
return new RegExp(pattern, flags);
|
||
|
} catch (exception) {
|
||
|
return null;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function scanRegExpBody() {
|
||
|
var ch, str, classMarker, terminated, body;
|
||
|
|
||
|
ch = source[index];
|
||
|
assert(ch === '/', 'Regular expression literal must start with a slash');
|
||
|
str = source[index++];
|
||
|
|
||
|
classMarker = false;
|
||
|
terminated = false;
|
||
|
while (index < length) {
|
||
|
ch = source[index++];
|
||
|
str += ch;
|
||
|
if (ch === '\\') {
|
||
|
ch = source[index++];
|
||
|
// ECMA-262 7.8.5
|
||
|
if (isLineTerminator(ch.charCodeAt(0))) {
|
||
|
throwError(Messages.UnterminatedRegExp);
|
||
|
}
|
||
|
str += ch;
|
||
|
} else if (isLineTerminator(ch.charCodeAt(0))) {
|
||
|
throwError(Messages.UnterminatedRegExp);
|
||
|
} else if (classMarker) {
|
||
|
if (ch === ']') {
|
||
|
classMarker = false;
|
||
|
}
|
||
|
} else {
|
||
|
if (ch === '/') {
|
||
|
terminated = true;
|
||
|
break;
|
||
|
} else if (ch === '[') {
|
||
|
classMarker = true;
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (!terminated) {
|
||
|
throwError(Messages.UnterminatedRegExp);
|
||
|
}
|
||
|
|
||
|
// Exclude leading and trailing slash.
|
||
|
body = str.substr(1, str.length - 2);
|
||
|
return {
|
||
|
value: body,
|
||
|
literal: str
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function scanRegExpFlags() {
|
||
|
var ch, str, flags, restore;
|
||
|
|
||
|
str = '';
|
||
|
flags = '';
|
||
|
while (index < length) {
|
||
|
ch = source[index];
|
||
|
if (!isIdentifierPart(ch.charCodeAt(0))) {
|
||
|
break;
|
||
|
}
|
||
|
|
||
|
++index;
|
||
|
if (ch === '\\' && index < length) {
|
||
|
ch = source[index];
|
||
|
if (ch === 'u') {
|
||
|
++index;
|
||
|
restore = index;
|
||
|
ch = scanHexEscape('u');
|
||
|
if (ch) {
|
||
|
flags += ch;
|
||
|
for (str += '\\u'; restore < index; ++restore) {
|
||
|
str += source[restore];
|
||
|
}
|
||
|
} else {
|
||
|
index = restore;
|
||
|
flags += 'u';
|
||
|
str += '\\u';
|
||
|
}
|
||
|
tolerateUnexpectedToken();
|
||
|
} else {
|
||
|
str += '\\';
|
||
|
tolerateUnexpectedToken();
|
||
|
}
|
||
|
} else {
|
||
|
flags += ch;
|
||
|
str += ch;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
value: flags,
|
||
|
literal: str
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function scanRegExp() {
|
||
|
var start, body, flags, value;
|
||
|
|
||
|
lookahead = null;
|
||
|
skipComment();
|
||
|
start = index;
|
||
|
|
||
|
body = scanRegExpBody();
|
||
|
flags = scanRegExpFlags();
|
||
|
value = testRegExp(body.value, flags.value);
|
||
|
|
||
|
if (extra.tokenize) {
|
||
|
return {
|
||
|
type: Token.RegularExpression,
|
||
|
value: value,
|
||
|
regex: {
|
||
|
pattern: body.value,
|
||
|
flags: flags.value
|
||
|
},
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
literal: body.literal + flags.literal,
|
||
|
value: value,
|
||
|
regex: {
|
||
|
pattern: body.value,
|
||
|
flags: flags.value
|
||
|
},
|
||
|
start: start,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function collectRegex() {
|
||
|
var pos, loc, regex, token;
|
||
|
|
||
|
skipComment();
|
||
|
|
||
|
pos = index;
|
||
|
loc = {
|
||
|
start: {
|
||
|
line: lineNumber,
|
||
|
column: index - lineStart
|
||
|
}
|
||
|
};
|
||
|
|
||
|
regex = scanRegExp();
|
||
|
|
||
|
loc.end = {
|
||
|
line: lineNumber,
|
||
|
column: index - lineStart
|
||
|
};
|
||
|
|
||
|
/* istanbul ignore next */
|
||
|
if (!extra.tokenize) {
|
||
|
// Pop the previous token, which is likely '/' or '/='
|
||
|
if (extra.tokens.length > 0) {
|
||
|
token = extra.tokens[extra.tokens.length - 1];
|
||
|
if (token.range[0] === pos && token.type === 'Punctuator') {
|
||
|
if (token.value === '/' || token.value === '/=') {
|
||
|
extra.tokens.pop();
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
extra.tokens.push({
|
||
|
type: 'RegularExpression',
|
||
|
value: regex.literal,
|
||
|
regex: regex.regex,
|
||
|
range: [pos, index],
|
||
|
loc: loc
|
||
|
});
|
||
|
}
|
||
|
|
||
|
return regex;
|
||
|
}
|
||
|
|
||
|
function isIdentifierName(token) {
|
||
|
return token.type === Token.Identifier ||
|
||
|
token.type === Token.Keyword ||
|
||
|
token.type === Token.BooleanLiteral ||
|
||
|
token.type === Token.NullLiteral;
|
||
|
}
|
||
|
|
||
|
function advanceSlash() {
|
||
|
var prevToken,
|
||
|
checkToken;
|
||
|
// Using the following algorithm:
|
||
|
// https://github.com/mozilla/sweet.js/wiki/design
|
||
|
prevToken = extra.tokens[extra.tokens.length - 1];
|
||
|
if (!prevToken) {
|
||
|
// Nothing before that: it cannot be a division.
|
||
|
return collectRegex();
|
||
|
}
|
||
|
if (prevToken.type === 'Punctuator') {
|
||
|
if (prevToken.value === ']') {
|
||
|
return scanPunctuator();
|
||
|
}
|
||
|
if (prevToken.value === ')') {
|
||
|
checkToken = extra.tokens[extra.openParenToken - 1];
|
||
|
if (checkToken &&
|
||
|
checkToken.type === 'Keyword' &&
|
||
|
(checkToken.value === 'if' ||
|
||
|
checkToken.value === 'while' ||
|
||
|
checkToken.value === 'for' ||
|
||
|
checkToken.value === 'with')) {
|
||
|
return collectRegex();
|
||
|
}
|
||
|
return scanPunctuator();
|
||
|
}
|
||
|
if (prevToken.value === '}') {
|
||
|
// Dividing a function by anything makes little sense,
|
||
|
// but we have to check for that.
|
||
|
if (extra.tokens[extra.openCurlyToken - 3] &&
|
||
|
extra.tokens[extra.openCurlyToken - 3].type === 'Keyword') {
|
||
|
// Anonymous function.
|
||
|
checkToken = extra.tokens[extra.openCurlyToken - 4];
|
||
|
if (!checkToken) {
|
||
|
return scanPunctuator();
|
||
|
}
|
||
|
} else if (extra.tokens[extra.openCurlyToken - 4] &&
|
||
|
extra.tokens[extra.openCurlyToken - 4].type === 'Keyword') {
|
||
|
// Named function.
|
||
|
checkToken = extra.tokens[extra.openCurlyToken - 5];
|
||
|
if (!checkToken) {
|
||
|
return collectRegex();
|
||
|
}
|
||
|
} else {
|
||
|
return scanPunctuator();
|
||
|
}
|
||
|
// checkToken determines whether the function is
|
||
|
// a declaration or an expression.
|
||
|
if (FnExprTokens.indexOf(checkToken.value) >= 0) {
|
||
|
// It is an expression.
|
||
|
return scanPunctuator();
|
||
|
}
|
||
|
// It is a declaration.
|
||
|
return collectRegex();
|
||
|
}
|
||
|
return collectRegex();
|
||
|
}
|
||
|
if (prevToken.type === 'Keyword' && prevToken.value !== 'this') {
|
||
|
return collectRegex();
|
||
|
}
|
||
|
return scanPunctuator();
|
||
|
}
|
||
|
|
||
|
function advance() {
|
||
|
var ch;
|
||
|
|
||
|
skipComment();
|
||
|
|
||
|
if (index >= length) {
|
||
|
return {
|
||
|
type: Token.EOF,
|
||
|
lineNumber: lineNumber,
|
||
|
lineStart: lineStart,
|
||
|
start: index,
|
||
|
end: index
|
||
|
};
|
||
|
}
|
||
|
|
||
|
ch = source.charCodeAt(index);
|
||
|
|
||
|
if (isIdentifierStart(ch)) {
|
||
|
return scanIdentifier();
|
||
|
}
|
||
|
|
||
|
// Very common: ( and ) and ;
|
||
|
if (ch === 0x28 || ch === 0x29 || ch === 0x3B) {
|
||
|
return scanPunctuator();
|
||
|
}
|
||
|
|
||
|
// String literal starts with single quote (U+0027) or double quote (U+0022).
|
||
|
if (ch === 0x27 || ch === 0x22) {
|
||
|
return scanStringLiteral();
|
||
|
}
|
||
|
|
||
|
|
||
|
// Dot (.) U+002E can also start a floating-point number, hence the need
|
||
|
// to check the next character.
|
||
|
if (ch === 0x2E) {
|
||
|
if (isDecimalDigit(source.charCodeAt(index + 1))) {
|
||
|
return scanNumericLiteral();
|
||
|
}
|
||
|
return scanPunctuator();
|
||
|
}
|
||
|
|
||
|
if (isDecimalDigit(ch)) {
|
||
|
return scanNumericLiteral();
|
||
|
}
|
||
|
|
||
|
// Slash (/) U+002F can also start a regex.
|
||
|
if (extra.tokenize && ch === 0x2F) {
|
||
|
return advanceSlash();
|
||
|
}
|
||
|
|
||
|
return scanPunctuator();
|
||
|
}
|
||
|
|
||
|
function collectToken() {
|
||
|
var loc, token, value, entry;
|
||
|
|
||
|
skipComment();
|
||
|
loc = {
|
||
|
start: {
|
||
|
line: lineNumber,
|
||
|
column: index - lineStart
|
||
|
}
|
||
|
};
|
||
|
|
||
|
token = advance();
|
||
|
loc.end = {
|
||
|
line: lineNumber,
|
||
|
column: index - lineStart
|
||
|
};
|
||
|
|
||
|
if (token.type !== Token.EOF) {
|
||
|
value = source.slice(token.start, token.end);
|
||
|
entry = {
|
||
|
type: TokenName[token.type],
|
||
|
value: value,
|
||
|
range: [token.start, token.end],
|
||
|
loc: loc
|
||
|
};
|
||
|
if (token.regex) {
|
||
|
entry.regex = {
|
||
|
pattern: token.regex.pattern,
|
||
|
flags: token.regex.flags
|
||
|
};
|
||
|
}
|
||
|
extra.tokens.push(entry);
|
||
|
}
|
||
|
|
||
|
return token;
|
||
|
}
|
||
|
|
||
|
function lex() {
|
||
|
var token;
|
||
|
|
||
|
token = lookahead;
|
||
|
index = token.end;
|
||
|
lineNumber = token.lineNumber;
|
||
|
lineStart = token.lineStart;
|
||
|
|
||
|
lookahead = (typeof extra.tokens !== 'undefined') ? collectToken() : advance();
|
||
|
|
||
|
index = token.end;
|
||
|
lineNumber = token.lineNumber;
|
||
|
lineStart = token.lineStart;
|
||
|
|
||
|
return token;
|
||
|
}
|
||
|
|
||
|
function peek() {
|
||
|
var pos, line, start;
|
||
|
|
||
|
pos = index;
|
||
|
line = lineNumber;
|
||
|
start = lineStart;
|
||
|
lookahead = (typeof extra.tokens !== 'undefined') ? collectToken() : advance();
|
||
|
index = pos;
|
||
|
lineNumber = line;
|
||
|
lineStart = start;
|
||
|
}
|
||
|
|
||
|
function Position() {
|
||
|
this.line = lineNumber;
|
||
|
this.column = index - lineStart;
|
||
|
}
|
||
|
|
||
|
function SourceLocation() {
|
||
|
this.start = new Position();
|
||
|
this.end = null;
|
||
|
}
|
||
|
|
||
|
function WrappingSourceLocation(startToken) {
|
||
|
if (startToken.type === Token.StringLiteral) {
|
||
|
this.start = {
|
||
|
line: startToken.startLineNumber,
|
||
|
column: startToken.start - startToken.startLineStart
|
||
|
};
|
||
|
} else {
|
||
|
this.start = {
|
||
|
line: startToken.lineNumber,
|
||
|
column: startToken.start - startToken.lineStart
|
||
|
};
|
||
|
}
|
||
|
this.end = null;
|
||
|
}
|
||
|
|
||
|
function Node() {
|
||
|
// Skip comment.
|
||
|
index = lookahead.start;
|
||
|
if (lookahead.type === Token.StringLiteral) {
|
||
|
lineNumber = lookahead.startLineNumber;
|
||
|
lineStart = lookahead.startLineStart;
|
||
|
} else {
|
||
|
lineNumber = lookahead.lineNumber;
|
||
|
lineStart = lookahead.lineStart;
|
||
|
}
|
||
|
if (extra.range) {
|
||
|
this.range = [index, 0];
|
||
|
}
|
||
|
if (extra.loc) {
|
||
|
this.loc = new SourceLocation();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function WrappingNode(startToken) {
|
||
|
if (extra.range) {
|
||
|
this.range = [startToken.start, 0];
|
||
|
}
|
||
|
if (extra.loc) {
|
||
|
this.loc = new WrappingSourceLocation(startToken);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
WrappingNode.prototype = Node.prototype = {
|
||
|
|
||
|
processComment: function () {
|
||
|
var lastChild,
|
||
|
leadingComments,
|
||
|
trailingComments,
|
||
|
bottomRight = extra.bottomRightStack,
|
||
|
i,
|
||
|
comment,
|
||
|
last = bottomRight[bottomRight.length - 1];
|
||
|
|
||
|
if (this.type === Syntax.Program) {
|
||
|
if (this.body.length > 0) {
|
||
|
return;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (extra.trailingComments.length > 0) {
|
||
|
trailingComments = [];
|
||
|
for (i = extra.trailingComments.length - 1; i >= 0; --i) {
|
||
|
comment = extra.trailingComments[i];
|
||
|
if (comment.range[0] >= this.range[1]) {
|
||
|
trailingComments.unshift(comment);
|
||
|
extra.trailingComments.splice(i, 1);
|
||
|
}
|
||
|
}
|
||
|
extra.trailingComments = [];
|
||
|
} else {
|
||
|
if (last && last.trailingComments && last.trailingComments[0].range[0] >= this.range[1]) {
|
||
|
trailingComments = last.trailingComments;
|
||
|
delete last.trailingComments;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Eating the stack.
|
||
|
if (last) {
|
||
|
while (last && last.range[0] >= this.range[0]) {
|
||
|
lastChild = last;
|
||
|
last = bottomRight.pop();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (lastChild) {
|
||
|
if (lastChild.leadingComments && lastChild.leadingComments[lastChild.leadingComments.length - 1].range[1] <= this.range[0]) {
|
||
|
this.leadingComments = lastChild.leadingComments;
|
||
|
lastChild.leadingComments = undefined;
|
||
|
}
|
||
|
} else if (extra.leadingComments.length > 0) {
|
||
|
leadingComments = [];
|
||
|
for (i = extra.leadingComments.length - 1; i >= 0; --i) {
|
||
|
comment = extra.leadingComments[i];
|
||
|
if (comment.range[1] <= this.range[0]) {
|
||
|
leadingComments.unshift(comment);
|
||
|
extra.leadingComments.splice(i, 1);
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
|
||
|
if (leadingComments && leadingComments.length > 0) {
|
||
|
this.leadingComments = leadingComments;
|
||
|
}
|
||
|
if (trailingComments && trailingComments.length > 0) {
|
||
|
this.trailingComments = trailingComments;
|
||
|
}
|
||
|
|
||
|
bottomRight.push(this);
|
||
|
},
|
||
|
|
||
|
finish: function () {
|
||
|
if (extra.range) {
|
||
|
this.range[1] = index;
|
||
|
}
|
||
|
if (extra.loc) {
|
||
|
this.loc.end = new Position();
|
||
|
if (extra.source) {
|
||
|
this.loc.source = extra.source;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (extra.attachComment) {
|
||
|
this.processComment();
|
||
|
}
|
||
|
},
|
||
|
|
||
|
finishArrayExpression: function (elements) {
|
||
|
this.type = Syntax.ArrayExpression;
|
||
|
this.elements = elements;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishArrowFunctionExpression: function (params, defaults, body, expression) {
|
||
|
this.type = Syntax.ArrowFunctionExpression;
|
||
|
this.id = null;
|
||
|
this.params = params;
|
||
|
this.defaults = defaults;
|
||
|
this.body = body;
|
||
|
this.rest = null;
|
||
|
this.generator = false;
|
||
|
this.expression = expression;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishAssignmentExpression: function (operator, left, right) {
|
||
|
this.type = Syntax.AssignmentExpression;
|
||
|
this.operator = operator;
|
||
|
this.left = left;
|
||
|
this.right = right;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishBinaryExpression: function (operator, left, right) {
|
||
|
this.type = (operator === '||' || operator === '&&') ? Syntax.LogicalExpression : Syntax.BinaryExpression;
|
||
|
this.operator = operator;
|
||
|
this.left = left;
|
||
|
this.right = right;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishBlockStatement: function (body) {
|
||
|
this.type = Syntax.BlockStatement;
|
||
|
this.body = body;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishBreakStatement: function (label) {
|
||
|
this.type = Syntax.BreakStatement;
|
||
|
this.label = label;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishCallExpression: function (callee, args) {
|
||
|
this.type = Syntax.CallExpression;
|
||
|
this.callee = callee;
|
||
|
this.arguments = args;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishCatchClause: function (param, body) {
|
||
|
this.type = Syntax.CatchClause;
|
||
|
this.param = param;
|
||
|
this.body = body;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishConditionalExpression: function (test, consequent, alternate) {
|
||
|
this.type = Syntax.ConditionalExpression;
|
||
|
this.test = test;
|
||
|
this.consequent = consequent;
|
||
|
this.alternate = alternate;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishContinueStatement: function (label) {
|
||
|
this.type = Syntax.ContinueStatement;
|
||
|
this.label = label;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishDebuggerStatement: function () {
|
||
|
this.type = Syntax.DebuggerStatement;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishDoWhileStatement: function (body, test) {
|
||
|
this.type = Syntax.DoWhileStatement;
|
||
|
this.body = body;
|
||
|
this.test = test;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishEmptyStatement: function () {
|
||
|
this.type = Syntax.EmptyStatement;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishExpressionStatement: function (expression) {
|
||
|
this.type = Syntax.ExpressionStatement;
|
||
|
this.expression = expression;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishForStatement: function (init, test, update, body) {
|
||
|
this.type = Syntax.ForStatement;
|
||
|
this.init = init;
|
||
|
this.test = test;
|
||
|
this.update = update;
|
||
|
this.body = body;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishForInStatement: function (left, right, body) {
|
||
|
this.type = Syntax.ForInStatement;
|
||
|
this.left = left;
|
||
|
this.right = right;
|
||
|
this.body = body;
|
||
|
this.each = false;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishFunctionDeclaration: function (id, params, defaults, body) {
|
||
|
this.type = Syntax.FunctionDeclaration;
|
||
|
this.id = id;
|
||
|
this.params = params;
|
||
|
this.defaults = defaults;
|
||
|
this.body = body;
|
||
|
this.rest = null;
|
||
|
this.generator = false;
|
||
|
this.expression = false;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishFunctionExpression: function (id, params, defaults, body) {
|
||
|
this.type = Syntax.FunctionExpression;
|
||
|
this.id = id;
|
||
|
this.params = params;
|
||
|
this.defaults = defaults;
|
||
|
this.body = body;
|
||
|
this.rest = null;
|
||
|
this.generator = false;
|
||
|
this.expression = false;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishIdentifier: function (name) {
|
||
|
this.type = Syntax.Identifier;
|
||
|
this.name = name;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishIfStatement: function (test, consequent, alternate) {
|
||
|
this.type = Syntax.IfStatement;
|
||
|
this.test = test;
|
||
|
this.consequent = consequent;
|
||
|
this.alternate = alternate;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishLabeledStatement: function (label, body) {
|
||
|
this.type = Syntax.LabeledStatement;
|
||
|
this.label = label;
|
||
|
this.body = body;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishLiteral: function (token) {
|
||
|
this.type = Syntax.Literal;
|
||
|
this.value = token.value;
|
||
|
this.raw = source.slice(token.start, token.end);
|
||
|
if (token.regex) {
|
||
|
this.regex = token.regex;
|
||
|
}
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishMemberExpression: function (accessor, object, property) {
|
||
|
this.type = Syntax.MemberExpression;
|
||
|
this.computed = accessor === '[';
|
||
|
this.object = object;
|
||
|
this.property = property;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishNewExpression: function (callee, args) {
|
||
|
this.type = Syntax.NewExpression;
|
||
|
this.callee = callee;
|
||
|
this.arguments = args;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishObjectExpression: function (properties) {
|
||
|
this.type = Syntax.ObjectExpression;
|
||
|
this.properties = properties;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishPostfixExpression: function (operator, argument) {
|
||
|
this.type = Syntax.UpdateExpression;
|
||
|
this.operator = operator;
|
||
|
this.argument = argument;
|
||
|
this.prefix = false;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishProgram: function (body) {
|
||
|
this.type = Syntax.Program;
|
||
|
this.body = body;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishProperty: function (kind, key, value, method, shorthand) {
|
||
|
this.type = Syntax.Property;
|
||
|
this.key = key;
|
||
|
this.value = value;
|
||
|
this.kind = kind;
|
||
|
this.method = method;
|
||
|
this.shorthand = shorthand;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishReturnStatement: function (argument) {
|
||
|
this.type = Syntax.ReturnStatement;
|
||
|
this.argument = argument;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishSequenceExpression: function (expressions) {
|
||
|
this.type = Syntax.SequenceExpression;
|
||
|
this.expressions = expressions;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishSwitchCase: function (test, consequent) {
|
||
|
this.type = Syntax.SwitchCase;
|
||
|
this.test = test;
|
||
|
this.consequent = consequent;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishSwitchStatement: function (discriminant, cases) {
|
||
|
this.type = Syntax.SwitchStatement;
|
||
|
this.discriminant = discriminant;
|
||
|
this.cases = cases;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishThisExpression: function () {
|
||
|
this.type = Syntax.ThisExpression;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishThrowStatement: function (argument) {
|
||
|
this.type = Syntax.ThrowStatement;
|
||
|
this.argument = argument;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishTryStatement: function (block, guardedHandlers, handlers, finalizer) {
|
||
|
this.type = Syntax.TryStatement;
|
||
|
this.block = block;
|
||
|
this.guardedHandlers = guardedHandlers;
|
||
|
this.handlers = handlers;
|
||
|
this.finalizer = finalizer;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishUnaryExpression: function (operator, argument) {
|
||
|
this.type = (operator === '++' || operator === '--') ? Syntax.UpdateExpression : Syntax.UnaryExpression;
|
||
|
this.operator = operator;
|
||
|
this.argument = argument;
|
||
|
this.prefix = true;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishVariableDeclaration: function (declarations, kind) {
|
||
|
this.type = Syntax.VariableDeclaration;
|
||
|
this.declarations = declarations;
|
||
|
this.kind = kind;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishVariableDeclarator: function (id, init) {
|
||
|
this.type = Syntax.VariableDeclarator;
|
||
|
this.id = id;
|
||
|
this.init = init;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishWhileStatement: function (test, body) {
|
||
|
this.type = Syntax.WhileStatement;
|
||
|
this.test = test;
|
||
|
this.body = body;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
},
|
||
|
|
||
|
finishWithStatement: function (object, body) {
|
||
|
this.type = Syntax.WithStatement;
|
||
|
this.object = object;
|
||
|
this.body = body;
|
||
|
this.finish();
|
||
|
return this;
|
||
|
}
|
||
|
};
|
||
|
|
||
|
// Return true if there is a line terminator before the next token.
|
||
|
|
||
|
function peekLineTerminator() {
|
||
|
var pos, line, start, found;
|
||
|
|
||
|
pos = index;
|
||
|
line = lineNumber;
|
||
|
start = lineStart;
|
||
|
skipComment();
|
||
|
found = lineNumber !== line;
|
||
|
index = pos;
|
||
|
lineNumber = line;
|
||
|
lineStart = start;
|
||
|
|
||
|
return found;
|
||
|
}
|
||
|
|
||
|
function createError(line, pos, description) {
|
||
|
var error = new Error('Line ' + line + ': ' + description);
|
||
|
error.index = pos;
|
||
|
error.lineNumber = line;
|
||
|
error.column = pos - lineStart + 1;
|
||
|
error.description = description;
|
||
|
return error;
|
||
|
}
|
||
|
|
||
|
// Throw an exception
|
||
|
|
||
|
function throwError(messageFormat) {
|
||
|
var args, msg;
|
||
|
|
||
|
args = Array.prototype.slice.call(arguments, 1);
|
||
|
msg = messageFormat.replace(/%(\d)/g,
|
||
|
function (whole, idx) {
|
||
|
assert(idx < args.length, 'Message reference must be in range');
|
||
|
return args[idx];
|
||
|
}
|
||
|
);
|
||
|
|
||
|
throw createError(lineNumber, index, msg);
|
||
|
}
|
||
|
|
||
|
function tolerateError(messageFormat) {
|
||
|
var args, msg, error;
|
||
|
|
||
|
args = Array.prototype.slice.call(arguments, 1);
|
||
|
/* istanbul ignore next */
|
||
|
msg = messageFormat.replace(/%(\d)/g,
|
||
|
function (whole, idx) {
|
||
|
assert(idx < args.length, 'Message reference must be in range');
|
||
|
return args[idx];
|
||
|
}
|
||
|
);
|
||
|
|
||
|
error = createError(lineNumber, index, msg);
|
||
|
if (extra.errors) {
|
||
|
extra.errors.push(error);
|
||
|
} else {
|
||
|
throw error;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Throw an exception because of the token.
|
||
|
|
||
|
function unexpectedTokenError(token, message) {
|
||
|
var msg = Messages.UnexpectedToken;
|
||
|
|
||
|
if (token) {
|
||
|
msg = message ? message :
|
||
|
(token.type === Token.EOF) ? Messages.UnexpectedEOS :
|
||
|
(token.type === Token.Identifier) ? Messages.UnexpectedIdentifier :
|
||
|
(token.type === Token.NumericLiteral) ? Messages.UnexpectedNumber :
|
||
|
(token.type === Token.StringLiteral) ? Messages.UnexpectedString :
|
||
|
Messages.UnexpectedToken;
|
||
|
|
||
|
if (token.type === Token.Keyword) {
|
||
|
if (isFutureReservedWord(token.value)) {
|
||
|
msg = Messages.UnexpectedReserved;
|
||
|
} else if (strict && isStrictModeReservedWord(token.value)) {
|
||
|
msg = Messages.StrictReservedWord;
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
msg = msg.replace('%0', token ? token.value : 'ILLEGAL');
|
||
|
|
||
|
return (token && typeof token.lineNumber === 'number') ?
|
||
|
createError(token.lineNumber, token.start, msg) :
|
||
|
createError(lineNumber, index, msg);
|
||
|
}
|
||
|
|
||
|
function throwUnexpectedToken(token, message) {
|
||
|
throw unexpectedTokenError(token, message);
|
||
|
}
|
||
|
|
||
|
function tolerateUnexpectedToken(token, message) {
|
||
|
var error = unexpectedTokenError(token, message);
|
||
|
if (extra.errors) {
|
||
|
extra.errors.push(error);
|
||
|
} else {
|
||
|
throw error;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Expect the next token to match the specified punctuator.
|
||
|
// If not, an exception will be thrown.
|
||
|
|
||
|
function expect(value) {
|
||
|
var token = lex();
|
||
|
if (token.type !== Token.Punctuator || token.value !== value) {
|
||
|
throwUnexpectedToken(token);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
/**
|
||
|
* @name expectCommaSeparator
|
||
|
* @description Quietly expect a comma when in tolerant mode, otherwise delegates
|
||
|
* to <code>expect(value)</code>
|
||
|
* @since 2.0
|
||
|
*/
|
||
|
function expectCommaSeparator() {
|
||
|
var token;
|
||
|
|
||
|
if (extra.errors) {
|
||
|
token = lookahead;
|
||
|
if (token.type === Token.Punctuator && token.value === ',') {
|
||
|
lex();
|
||
|
} else if (token.type === Token.Punctuator && token.value === ';') {
|
||
|
lex();
|
||
|
tolerateUnexpectedToken(token);
|
||
|
} else {
|
||
|
tolerateUnexpectedToken(token, Messages.UnexpectedToken);
|
||
|
}
|
||
|
} else {
|
||
|
expect(',');
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Expect the next token to match the specified keyword.
|
||
|
// If not, an exception will be thrown.
|
||
|
|
||
|
function expectKeyword(keyword) {
|
||
|
var token = lex();
|
||
|
if (token.type !== Token.Keyword || token.value !== keyword) {
|
||
|
throwUnexpectedToken(token);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Return true if the next token matches the specified punctuator.
|
||
|
|
||
|
function match(value) {
|
||
|
return lookahead.type === Token.Punctuator && lookahead.value === value;
|
||
|
}
|
||
|
|
||
|
// Return true if the next token matches the specified keyword
|
||
|
|
||
|
function matchKeyword(keyword) {
|
||
|
return lookahead.type === Token.Keyword && lookahead.value === keyword;
|
||
|
}
|
||
|
|
||
|
// Return true if the next token is an assignment operator
|
||
|
|
||
|
function matchAssign() {
|
||
|
var op;
|
||
|
|
||
|
if (lookahead.type !== Token.Punctuator) {
|
||
|
return false;
|
||
|
}
|
||
|
op = lookahead.value;
|
||
|
return op === '=' ||
|
||
|
op === '*=' ||
|
||
|
op === '/=' ||
|
||
|
op === '%=' ||
|
||
|
op === '+=' ||
|
||
|
op === '-=' ||
|
||
|
op === '<<=' ||
|
||
|
op === '>>=' ||
|
||
|
op === '>>>=' ||
|
||
|
op === '&=' ||
|
||
|
op === '^=' ||
|
||
|
op === '|=';
|
||
|
}
|
||
|
|
||
|
function consumeSemicolon() {
|
||
|
var line, oldIndex = index, oldLineNumber = lineNumber,
|
||
|
oldLineStart = lineStart, oldLookahead = lookahead;
|
||
|
|
||
|
// Catch the very common case first: immediately a semicolon (U+003B).
|
||
|
if (source.charCodeAt(index) === 0x3B || match(';')) {
|
||
|
lex();
|
||
|
return;
|
||
|
}
|
||
|
|
||
|
line = lineNumber;
|
||
|
skipComment();
|
||
|
if (lineNumber !== line) {
|
||
|
index = oldIndex;
|
||
|
lineNumber = oldLineNumber;
|
||
|
lineStart = oldLineStart;
|
||
|
lookahead = oldLookahead;
|
||
|
return;
|
||
|
}
|
||
|
|
||
|
if (lookahead.type !== Token.EOF && !match('}')) {
|
||
|
throwUnexpectedToken(lookahead);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Return true if provided expression is LeftHandSideExpression
|
||
|
|
||
|
function isLeftHandSide(expr) {
|
||
|
return expr.type === Syntax.Identifier || expr.type === Syntax.MemberExpression;
|
||
|
}
|
||
|
|
||
|
// 11.1.4 Array Initialiser
|
||
|
|
||
|
function parseArrayInitialiser() {
|
||
|
var elements = [], node = new Node();
|
||
|
|
||
|
expect('[');
|
||
|
|
||
|
while (!match(']')) {
|
||
|
if (match(',')) {
|
||
|
lex();
|
||
|
elements.push(null);
|
||
|
} else {
|
||
|
elements.push(parseAssignmentExpression());
|
||
|
|
||
|
if (!match(']')) {
|
||
|
expect(',');
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
lex();
|
||
|
|
||
|
return node.finishArrayExpression(elements);
|
||
|
}
|
||
|
|
||
|
// 11.1.5 Object Initialiser
|
||
|
|
||
|
function parsePropertyFunction(param, first) {
|
||
|
var previousStrict, body, node = new Node();
|
||
|
|
||
|
previousStrict = strict;
|
||
|
body = parseFunctionSourceElements();
|
||
|
if (first && strict && isRestrictedWord(param[0].name)) {
|
||
|
tolerateUnexpectedToken(first, Messages.StrictParamName);
|
||
|
}
|
||
|
strict = previousStrict;
|
||
|
return node.finishFunctionExpression(null, param, [], body);
|
||
|
}
|
||
|
|
||
|
function parsePropertyMethodFunction() {
|
||
|
var previousStrict, param, method;
|
||
|
|
||
|
previousStrict = strict;
|
||
|
strict = true;
|
||
|
param = parseParams();
|
||
|
method = parsePropertyFunction(param.params);
|
||
|
strict = previousStrict;
|
||
|
|
||
|
return method;
|
||
|
}
|
||
|
|
||
|
function parseObjectPropertyKey() {
|
||
|
var token, node = new Node();
|
||
|
|
||
|
token = lex();
|
||
|
|
||
|
// Note: This function is called only from parseObjectProperty(), where
|
||
|
// EOF and Punctuator tokens are already filtered out.
|
||
|
|
||
|
if (token.type === Token.StringLiteral || token.type === Token.NumericLiteral) {
|
||
|
if (strict && token.octal) {
|
||
|
tolerateUnexpectedToken(token, Messages.StrictOctalLiteral);
|
||
|
}
|
||
|
return node.finishLiteral(token);
|
||
|
}
|
||
|
|
||
|
return node.finishIdentifier(token.value);
|
||
|
}
|
||
|
|
||
|
function parseObjectProperty() {
|
||
|
var token, key, id, value, param, node = new Node();
|
||
|
|
||
|
token = lookahead;
|
||
|
|
||
|
if (token.type === Token.Identifier) {
|
||
|
|
||
|
id = parseObjectPropertyKey();
|
||
|
|
||
|
// Property Assignment: Getter and Setter.
|
||
|
|
||
|
if (token.value === 'get' && !(match(':') || match('('))) {
|
||
|
key = parseObjectPropertyKey();
|
||
|
expect('(');
|
||
|
expect(')');
|
||
|
value = parsePropertyFunction([]);
|
||
|
return node.finishProperty('get', key, value, false, false);
|
||
|
}
|
||
|
if (token.value === 'set' && !(match(':') || match('('))) {
|
||
|
key = parseObjectPropertyKey();
|
||
|
expect('(');
|
||
|
token = lookahead;
|
||
|
if (token.type !== Token.Identifier) {
|
||
|
expect(')');
|
||
|
tolerateUnexpectedToken(token);
|
||
|
value = parsePropertyFunction([]);
|
||
|
} else {
|
||
|
param = [ parseVariableIdentifier() ];
|
||
|
expect(')');
|
||
|
value = parsePropertyFunction(param, token);
|
||
|
}
|
||
|
return node.finishProperty('set', key, value, false, false);
|
||
|
}
|
||
|
if (match(':')) {
|
||
|
lex();
|
||
|
value = parseAssignmentExpression();
|
||
|
return node.finishProperty('init', id, value, false, false);
|
||
|
}
|
||
|
if (match('(')) {
|
||
|
value = parsePropertyMethodFunction();
|
||
|
return node.finishProperty('init', id, value, true, false);
|
||
|
}
|
||
|
|
||
|
value = id;
|
||
|
return node.finishProperty('init', id, value, false, true);
|
||
|
}
|
||
|
if (token.type === Token.EOF || token.type === Token.Punctuator) {
|
||
|
throwUnexpectedToken(token);
|
||
|
} else {
|
||
|
key = parseObjectPropertyKey();
|
||
|
if (match(':')) {
|
||
|
lex();
|
||
|
value = parseAssignmentExpression();
|
||
|
return node.finishProperty('init', key, value, false, false);
|
||
|
}
|
||
|
if (match('(')) {
|
||
|
value = parsePropertyMethodFunction();
|
||
|
return node.finishProperty('init', key, value, true, false);
|
||
|
}
|
||
|
throwUnexpectedToken(lex());
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function parseObjectInitialiser() {
|
||
|
var properties = [], property, name, key, kind, map = {}, toString = String, node = new Node();
|
||
|
|
||
|
expect('{');
|
||
|
|
||
|
while (!match('}')) {
|
||
|
property = parseObjectProperty();
|
||
|
|
||
|
if (property.key.type === Syntax.Identifier) {
|
||
|
name = property.key.name;
|
||
|
} else {
|
||
|
name = toString(property.key.value);
|
||
|
}
|
||
|
kind = (property.kind === 'init') ? PropertyKind.Data : (property.kind === 'get') ? PropertyKind.Get : PropertyKind.Set;
|
||
|
|
||
|
key = '$' + name;
|
||
|
if (Object.prototype.hasOwnProperty.call(map, key)) {
|
||
|
if (map[key] === PropertyKind.Data) {
|
||
|
if (strict && kind === PropertyKind.Data) {
|
||
|
tolerateError(Messages.StrictDuplicateProperty);
|
||
|
} else if (kind !== PropertyKind.Data) {
|
||
|
tolerateError(Messages.AccessorDataProperty);
|
||
|
}
|
||
|
} else {
|
||
|
if (kind === PropertyKind.Data) {
|
||
|
tolerateError(Messages.AccessorDataProperty);
|
||
|
} else if (map[key] & kind) {
|
||
|
tolerateError(Messages.AccessorGetSet);
|
||
|
}
|
||
|
}
|
||
|
map[key] |= kind;
|
||
|
} else {
|
||
|
map[key] = kind;
|
||
|
}
|
||
|
|
||
|
properties.push(property);
|
||
|
|
||
|
if (!match('}')) {
|
||
|
expectCommaSeparator();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
expect('}');
|
||
|
|
||
|
return node.finishObjectExpression(properties);
|
||
|
}
|
||
|
|
||
|
// 11.1.6 The Grouping Operator
|
||
|
|
||
|
function parseGroupExpression() {
|
||
|
var expr;
|
||
|
|
||
|
expect('(');
|
||
|
|
||
|
if (match(')')) {
|
||
|
lex();
|
||
|
return PlaceHolders.ArrowParameterPlaceHolder;
|
||
|
}
|
||
|
|
||
|
++state.parenthesisCount;
|
||
|
|
||
|
expr = parseExpression();
|
||
|
|
||
|
expect(')');
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
|
||
|
// 11.1 Primary Expressions
|
||
|
|
||
|
function parsePrimaryExpression() {
|
||
|
var type, token, expr, node;
|
||
|
|
||
|
if (match('(')) {
|
||
|
return parseGroupExpression();
|
||
|
}
|
||
|
|
||
|
if (match('[')) {
|
||
|
return parseArrayInitialiser();
|
||
|
}
|
||
|
|
||
|
if (match('{')) {
|
||
|
return parseObjectInitialiser();
|
||
|
}
|
||
|
|
||
|
type = lookahead.type;
|
||
|
node = new Node();
|
||
|
|
||
|
if (type === Token.Identifier) {
|
||
|
expr = node.finishIdentifier(lex().value);
|
||
|
} else if (type === Token.StringLiteral || type === Token.NumericLiteral) {
|
||
|
if (strict && lookahead.octal) {
|
||
|
tolerateUnexpectedToken(lookahead, Messages.StrictOctalLiteral);
|
||
|
}
|
||
|
expr = node.finishLiteral(lex());
|
||
|
} else if (type === Token.Keyword) {
|
||
|
if (matchKeyword('function')) {
|
||
|
return parseFunctionExpression();
|
||
|
}
|
||
|
if (matchKeyword('this')) {
|
||
|
lex();
|
||
|
expr = node.finishThisExpression();
|
||
|
} else {
|
||
|
throwUnexpectedToken(lex());
|
||
|
}
|
||
|
} else if (type === Token.BooleanLiteral) {
|
||
|
token = lex();
|
||
|
token.value = (token.value === 'true');
|
||
|
expr = node.finishLiteral(token);
|
||
|
} else if (type === Token.NullLiteral) {
|
||
|
token = lex();
|
||
|
token.value = null;
|
||
|
expr = node.finishLiteral(token);
|
||
|
} else if (match('/') || match('/=')) {
|
||
|
if (typeof extra.tokens !== 'undefined') {
|
||
|
expr = node.finishLiteral(collectRegex());
|
||
|
} else {
|
||
|
expr = node.finishLiteral(scanRegExp());
|
||
|
}
|
||
|
peek();
|
||
|
} else {
|
||
|
throwUnexpectedToken(lex());
|
||
|
}
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
// 11.2 Left-Hand-Side Expressions
|
||
|
|
||
|
function parseArguments() {
|
||
|
var args = [];
|
||
|
|
||
|
expect('(');
|
||
|
|
||
|
if (!match(')')) {
|
||
|
while (index < length) {
|
||
|
args.push(parseAssignmentExpression());
|
||
|
if (match(')')) {
|
||
|
break;
|
||
|
}
|
||
|
expectCommaSeparator();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
expect(')');
|
||
|
|
||
|
return args;
|
||
|
}
|
||
|
|
||
|
function parseNonComputedProperty() {
|
||
|
var token, node = new Node();
|
||
|
|
||
|
token = lex();
|
||
|
|
||
|
if (!isIdentifierName(token)) {
|
||
|
throwUnexpectedToken(token);
|
||
|
}
|
||
|
|
||
|
return node.finishIdentifier(token.value);
|
||
|
}
|
||
|
|
||
|
function parseNonComputedMember() {
|
||
|
expect('.');
|
||
|
|
||
|
return parseNonComputedProperty();
|
||
|
}
|
||
|
|
||
|
function parseComputedMember() {
|
||
|
var expr;
|
||
|
|
||
|
expect('[');
|
||
|
|
||
|
expr = parseExpression();
|
||
|
|
||
|
expect(']');
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
function parseNewExpression() {
|
||
|
var callee, args, node = new Node();
|
||
|
|
||
|
expectKeyword('new');
|
||
|
callee = parseLeftHandSideExpression();
|
||
|
args = match('(') ? parseArguments() : [];
|
||
|
|
||
|
return node.finishNewExpression(callee, args);
|
||
|
}
|
||
|
|
||
|
function parseLeftHandSideExpressionAllowCall() {
|
||
|
var expr, args, property, startToken, previousAllowIn = state.allowIn;
|
||
|
|
||
|
startToken = lookahead;
|
||
|
state.allowIn = true;
|
||
|
expr = matchKeyword('new') ? parseNewExpression() : parsePrimaryExpression();
|
||
|
|
||
|
for (;;) {
|
||
|
if (match('.')) {
|
||
|
property = parseNonComputedMember();
|
||
|
expr = new WrappingNode(startToken).finishMemberExpression('.', expr, property);
|
||
|
} else if (match('(')) {
|
||
|
args = parseArguments();
|
||
|
expr = new WrappingNode(startToken).finishCallExpression(expr, args);
|
||
|
} else if (match('[')) {
|
||
|
property = parseComputedMember();
|
||
|
expr = new WrappingNode(startToken).finishMemberExpression('[', expr, property);
|
||
|
} else {
|
||
|
break;
|
||
|
}
|
||
|
}
|
||
|
state.allowIn = previousAllowIn;
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
function parseLeftHandSideExpression() {
|
||
|
var expr, property, startToken;
|
||
|
assert(state.allowIn, 'callee of new expression always allow in keyword.');
|
||
|
|
||
|
startToken = lookahead;
|
||
|
|
||
|
expr = matchKeyword('new') ? parseNewExpression() : parsePrimaryExpression();
|
||
|
|
||
|
for (;;) {
|
||
|
if (match('[')) {
|
||
|
property = parseComputedMember();
|
||
|
expr = new WrappingNode(startToken).finishMemberExpression('[', expr, property);
|
||
|
} else if (match('.')) {
|
||
|
property = parseNonComputedMember();
|
||
|
expr = new WrappingNode(startToken).finishMemberExpression('.', expr, property);
|
||
|
} else {
|
||
|
break;
|
||
|
}
|
||
|
}
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
// 11.3 Postfix Expressions
|
||
|
|
||
|
function parsePostfixExpression() {
|
||
|
var expr, token, startToken = lookahead;
|
||
|
|
||
|
expr = parseLeftHandSideExpressionAllowCall();
|
||
|
|
||
|
if (lookahead.type === Token.Punctuator) {
|
||
|
if ((match('++') || match('--')) && !peekLineTerminator()) {
|
||
|
// 11.3.1, 11.3.2
|
||
|
if (strict && expr.type === Syntax.Identifier && isRestrictedWord(expr.name)) {
|
||
|
tolerateError(Messages.StrictLHSPostfix);
|
||
|
}
|
||
|
|
||
|
if (!isLeftHandSide(expr)) {
|
||
|
tolerateError(Messages.InvalidLHSInAssignment);
|
||
|
}
|
||
|
|
||
|
token = lex();
|
||
|
expr = new WrappingNode(startToken).finishPostfixExpression(token.value, expr);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
// 11.4 Unary Operators
|
||
|
|
||
|
function parseUnaryExpression() {
|
||
|
var token, expr, startToken;
|
||
|
|
||
|
if (lookahead.type !== Token.Punctuator && lookahead.type !== Token.Keyword) {
|
||
|
expr = parsePostfixExpression();
|
||
|
} else if (match('++') || match('--')) {
|
||
|
startToken = lookahead;
|
||
|
token = lex();
|
||
|
expr = parseUnaryExpression();
|
||
|
// 11.4.4, 11.4.5
|
||
|
if (strict && expr.type === Syntax.Identifier && isRestrictedWord(expr.name)) {
|
||
|
tolerateError(Messages.StrictLHSPrefix);
|
||
|
}
|
||
|
|
||
|
if (!isLeftHandSide(expr)) {
|
||
|
tolerateError(Messages.InvalidLHSInAssignment);
|
||
|
}
|
||
|
|
||
|
expr = new WrappingNode(startToken).finishUnaryExpression(token.value, expr);
|
||
|
} else if (match('+') || match('-') || match('~') || match('!')) {
|
||
|
startToken = lookahead;
|
||
|
token = lex();
|
||
|
expr = parseUnaryExpression();
|
||
|
expr = new WrappingNode(startToken).finishUnaryExpression(token.value, expr);
|
||
|
} else if (matchKeyword('delete') || matchKeyword('void') || matchKeyword('typeof')) {
|
||
|
startToken = lookahead;
|
||
|
token = lex();
|
||
|
expr = parseUnaryExpression();
|
||
|
expr = new WrappingNode(startToken).finishUnaryExpression(token.value, expr);
|
||
|
if (strict && expr.operator === 'delete' && expr.argument.type === Syntax.Identifier) {
|
||
|
tolerateError(Messages.StrictDelete);
|
||
|
}
|
||
|
} else {
|
||
|
expr = parsePostfixExpression();
|
||
|
}
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
function binaryPrecedence(token, allowIn) {
|
||
|
var prec = 0;
|
||
|
|
||
|
if (token.type !== Token.Punctuator && token.type !== Token.Keyword) {
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
switch (token.value) {
|
||
|
case '||':
|
||
|
prec = 1;
|
||
|
break;
|
||
|
|
||
|
case '&&':
|
||
|
prec = 2;
|
||
|
break;
|
||
|
|
||
|
case '|':
|
||
|
prec = 3;
|
||
|
break;
|
||
|
|
||
|
case '^':
|
||
|
prec = 4;
|
||
|
break;
|
||
|
|
||
|
case '&':
|
||
|
prec = 5;
|
||
|
break;
|
||
|
|
||
|
case '==':
|
||
|
case '!=':
|
||
|
case '===':
|
||
|
case '!==':
|
||
|
prec = 6;
|
||
|
break;
|
||
|
|
||
|
case '<':
|
||
|
case '>':
|
||
|
case '<=':
|
||
|
case '>=':
|
||
|
case 'instanceof':
|
||
|
prec = 7;
|
||
|
break;
|
||
|
|
||
|
case 'in':
|
||
|
prec = allowIn ? 7 : 0;
|
||
|
break;
|
||
|
|
||
|
case '<<':
|
||
|
case '>>':
|
||
|
case '>>>':
|
||
|
prec = 8;
|
||
|
break;
|
||
|
|
||
|
case '+':
|
||
|
case '-':
|
||
|
prec = 9;
|
||
|
break;
|
||
|
|
||
|
case '*':
|
||
|
case '/':
|
||
|
case '%':
|
||
|
prec = 11;
|
||
|
break;
|
||
|
|
||
|
default:
|
||
|
break;
|
||
|
}
|
||
|
|
||
|
return prec;
|
||
|
}
|
||
|
|
||
|
// 11.5 Multiplicative Operators
|
||
|
// 11.6 Additive Operators
|
||
|
// 11.7 Bitwise Shift Operators
|
||
|
// 11.8 Relational Operators
|
||
|
// 11.9 Equality Operators
|
||
|
// 11.10 Binary Bitwise Operators
|
||
|
// 11.11 Binary Logical Operators
|
||
|
|
||
|
function parseBinaryExpression() {
|
||
|
var marker, markers, expr, token, prec, stack, right, operator, left, i;
|
||
|
|
||
|
marker = lookahead;
|
||
|
left = parseUnaryExpression();
|
||
|
if (left === PlaceHolders.ArrowParameterPlaceHolder) {
|
||
|
return left;
|
||
|
}
|
||
|
|
||
|
token = lookahead;
|
||
|
prec = binaryPrecedence(token, state.allowIn);
|
||
|
if (prec === 0) {
|
||
|
return left;
|
||
|
}
|
||
|
token.prec = prec;
|
||
|
lex();
|
||
|
|
||
|
markers = [marker, lookahead];
|
||
|
right = parseUnaryExpression();
|
||
|
|
||
|
stack = [left, token, right];
|
||
|
|
||
|
while ((prec = binaryPrecedence(lookahead, state.allowIn)) > 0) {
|
||
|
|
||
|
// Reduce: make a binary expression from the three topmost entries.
|
||
|
while ((stack.length > 2) && (prec <= stack[stack.length - 2].prec)) {
|
||
|
right = stack.pop();
|
||
|
operator = stack.pop().value;
|
||
|
left = stack.pop();
|
||
|
markers.pop();
|
||
|
expr = new WrappingNode(markers[markers.length - 1]).finishBinaryExpression(operator, left, right);
|
||
|
stack.push(expr);
|
||
|
}
|
||
|
|
||
|
// Shift.
|
||
|
token = lex();
|
||
|
token.prec = prec;
|
||
|
stack.push(token);
|
||
|
markers.push(lookahead);
|
||
|
expr = parseUnaryExpression();
|
||
|
stack.push(expr);
|
||
|
}
|
||
|
|
||
|
// Final reduce to clean-up the stack.
|
||
|
i = stack.length - 1;
|
||
|
expr = stack[i];
|
||
|
markers.pop();
|
||
|
while (i > 1) {
|
||
|
expr = new WrappingNode(markers.pop()).finishBinaryExpression(stack[i - 1].value, stack[i - 2], expr);
|
||
|
i -= 2;
|
||
|
}
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
|
||
|
// 11.12 Conditional Operator
|
||
|
|
||
|
function parseConditionalExpression() {
|
||
|
var expr, previousAllowIn, consequent, alternate, startToken;
|
||
|
|
||
|
startToken = lookahead;
|
||
|
|
||
|
expr = parseBinaryExpression();
|
||
|
if (expr === PlaceHolders.ArrowParameterPlaceHolder) {
|
||
|
return expr;
|
||
|
}
|
||
|
if (match('?')) {
|
||
|
lex();
|
||
|
previousAllowIn = state.allowIn;
|
||
|
state.allowIn = true;
|
||
|
consequent = parseAssignmentExpression();
|
||
|
state.allowIn = previousAllowIn;
|
||
|
expect(':');
|
||
|
alternate = parseAssignmentExpression();
|
||
|
|
||
|
expr = new WrappingNode(startToken).finishConditionalExpression(expr, consequent, alternate);
|
||
|
}
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
// [ES6] 14.2 Arrow Function
|
||
|
|
||
|
function parseConciseBody() {
|
||
|
if (match('{')) {
|
||
|
return parseFunctionSourceElements();
|
||
|
}
|
||
|
return parseAssignmentExpression();
|
||
|
}
|
||
|
|
||
|
function reinterpretAsCoverFormalsList(expressions) {
|
||
|
var i, len, param, params, defaults, defaultCount, options, rest, token;
|
||
|
|
||
|
params = [];
|
||
|
defaults = [];
|
||
|
defaultCount = 0;
|
||
|
rest = null;
|
||
|
options = {
|
||
|
paramSet: {}
|
||
|
};
|
||
|
|
||
|
for (i = 0, len = expressions.length; i < len; i += 1) {
|
||
|
param = expressions[i];
|
||
|
if (param.type === Syntax.Identifier) {
|
||
|
params.push(param);
|
||
|
defaults.push(null);
|
||
|
validateParam(options, param, param.name);
|
||
|
} else if (param.type === Syntax.AssignmentExpression) {
|
||
|
params.push(param.left);
|
||
|
defaults.push(param.right);
|
||
|
++defaultCount;
|
||
|
validateParam(options, param.left, param.left.name);
|
||
|
} else {
|
||
|
return null;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (options.message === Messages.StrictParamDupe) {
|
||
|
token = strict ? options.stricted : options.firstRestricted;
|
||
|
throwUnexpectedToken(token, options.message);
|
||
|
}
|
||
|
|
||
|
if (defaultCount === 0) {
|
||
|
defaults = [];
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
params: params,
|
||
|
defaults: defaults,
|
||
|
rest: rest,
|
||
|
stricted: options.stricted,
|
||
|
firstRestricted: options.firstRestricted,
|
||
|
message: options.message
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function parseArrowFunctionExpression(options, node) {
|
||
|
var previousStrict, body;
|
||
|
|
||
|
expect('=>');
|
||
|
previousStrict = strict;
|
||
|
|
||
|
body = parseConciseBody();
|
||
|
|
||
|
if (strict && options.firstRestricted) {
|
||
|
throwUnexpectedToken(options.firstRestricted, options.message);
|
||
|
}
|
||
|
if (strict && options.stricted) {
|
||
|
tolerateUnexpectedToken(options.stricted, options.message);
|
||
|
}
|
||
|
|
||
|
strict = previousStrict;
|
||
|
|
||
|
return node.finishArrowFunctionExpression(options.params, options.defaults, body, body.type !== Syntax.BlockStatement);
|
||
|
}
|
||
|
|
||
|
// 11.13 Assignment Operators
|
||
|
|
||
|
function parseAssignmentExpression() {
|
||
|
var oldParenthesisCount, token, expr, right, list, startToken;
|
||
|
|
||
|
oldParenthesisCount = state.parenthesisCount;
|
||
|
|
||
|
startToken = lookahead;
|
||
|
token = lookahead;
|
||
|
|
||
|
expr = parseConditionalExpression();
|
||
|
|
||
|
if (expr === PlaceHolders.ArrowParameterPlaceHolder || match('=>')) {
|
||
|
if (state.parenthesisCount === oldParenthesisCount ||
|
||
|
state.parenthesisCount === (oldParenthesisCount + 1)) {
|
||
|
if (expr.type === Syntax.Identifier) {
|
||
|
list = reinterpretAsCoverFormalsList([ expr ]);
|
||
|
} else if (expr.type === Syntax.AssignmentExpression) {
|
||
|
list = reinterpretAsCoverFormalsList([ expr ]);
|
||
|
} else if (expr.type === Syntax.SequenceExpression) {
|
||
|
list = reinterpretAsCoverFormalsList(expr.expressions);
|
||
|
} else if (expr === PlaceHolders.ArrowParameterPlaceHolder) {
|
||
|
list = reinterpretAsCoverFormalsList([]);
|
||
|
}
|
||
|
if (list) {
|
||
|
return parseArrowFunctionExpression(list, new WrappingNode(startToken));
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (matchAssign()) {
|
||
|
// LeftHandSideExpression
|
||
|
if (!isLeftHandSide(expr)) {
|
||
|
tolerateError(Messages.InvalidLHSInAssignment);
|
||
|
}
|
||
|
|
||
|
// 11.13.1
|
||
|
if (strict && expr.type === Syntax.Identifier && isRestrictedWord(expr.name)) {
|
||
|
tolerateUnexpectedToken(token, Messages.StrictLHSAssignment);
|
||
|
}
|
||
|
|
||
|
token = lex();
|
||
|
right = parseAssignmentExpression();
|
||
|
expr = new WrappingNode(startToken).finishAssignmentExpression(token.value, expr, right);
|
||
|
}
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
// 11.14 Comma Operator
|
||
|
|
||
|
function parseExpression() {
|
||
|
var expr, startToken = lookahead, expressions;
|
||
|
|
||
|
expr = parseAssignmentExpression();
|
||
|
|
||
|
if (match(',')) {
|
||
|
expressions = [expr];
|
||
|
|
||
|
while (index < length) {
|
||
|
if (!match(',')) {
|
||
|
break;
|
||
|
}
|
||
|
lex();
|
||
|
expressions.push(parseAssignmentExpression());
|
||
|
}
|
||
|
|
||
|
expr = new WrappingNode(startToken).finishSequenceExpression(expressions);
|
||
|
}
|
||
|
|
||
|
return expr;
|
||
|
}
|
||
|
|
||
|
// 12.1 Block
|
||
|
|
||
|
function parseStatementList() {
|
||
|
var list = [],
|
||
|
statement;
|
||
|
|
||
|
while (index < length) {
|
||
|
if (match('}')) {
|
||
|
break;
|
||
|
}
|
||
|
statement = parseSourceElement();
|
||
|
if (typeof statement === 'undefined') {
|
||
|
break;
|
||
|
}
|
||
|
list.push(statement);
|
||
|
}
|
||
|
|
||
|
return list;
|
||
|
}
|
||
|
|
||
|
function parseBlock() {
|
||
|
var block, node = new Node();
|
||
|
|
||
|
expect('{');
|
||
|
|
||
|
block = parseStatementList();
|
||
|
|
||
|
expect('}');
|
||
|
|
||
|
return node.finishBlockStatement(block);
|
||
|
}
|
||
|
|
||
|
// 12.2 Variable Statement
|
||
|
|
||
|
function parseVariableIdentifier() {
|
||
|
var token, node = new Node();
|
||
|
|
||
|
token = lex();
|
||
|
|
||
|
if (token.type !== Token.Identifier) {
|
||
|
if (strict && token.type === Token.Keyword && isStrictModeReservedWord(token.value)) {
|
||
|
tolerateUnexpectedToken(token, Messages.StrictReservedWord);
|
||
|
} else {
|
||
|
throwUnexpectedToken(token);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return node.finishIdentifier(token.value);
|
||
|
}
|
||
|
|
||
|
function parseVariableDeclaration(kind) {
|
||
|
var init = null, id, node = new Node();
|
||
|
|
||
|
id = parseVariableIdentifier();
|
||
|
|
||
|
// 12.2.1
|
||
|
if (strict && isRestrictedWord(id.name)) {
|
||
|
tolerateError(Messages.StrictVarName);
|
||
|
}
|
||
|
|
||
|
if (kind === 'const') {
|
||
|
expect('=');
|
||
|
init = parseAssignmentExpression();
|
||
|
} else if (match('=')) {
|
||
|
lex();
|
||
|
init = parseAssignmentExpression();
|
||
|
}
|
||
|
|
||
|
return node.finishVariableDeclarator(id, init);
|
||
|
}
|
||
|
|
||
|
function parseVariableDeclarationList(kind) {
|
||
|
var list = [];
|
||
|
|
||
|
do {
|
||
|
list.push(parseVariableDeclaration(kind));
|
||
|
if (!match(',')) {
|
||
|
break;
|
||
|
}
|
||
|
lex();
|
||
|
} while (index < length);
|
||
|
|
||
|
return list;
|
||
|
}
|
||
|
|
||
|
function parseVariableStatement(node) {
|
||
|
var declarations;
|
||
|
|
||
|
expectKeyword('var');
|
||
|
|
||
|
declarations = parseVariableDeclarationList();
|
||
|
|
||
|
consumeSemicolon();
|
||
|
|
||
|
return node.finishVariableDeclaration(declarations, 'var');
|
||
|
}
|
||
|
|
||
|
// kind may be `const` or `let`
|
||
|
// Both are experimental and not in the specification yet.
|
||
|
// see http://wiki.ecmascript.org/doku.php?id=harmony:const
|
||
|
// and http://wiki.ecmascript.org/doku.php?id=harmony:let
|
||
|
function parseConstLetDeclaration(kind) {
|
||
|
var declarations, node = new Node();
|
||
|
|
||
|
expectKeyword(kind);
|
||
|
|
||
|
declarations = parseVariableDeclarationList(kind);
|
||
|
|
||
|
consumeSemicolon();
|
||
|
|
||
|
return node.finishVariableDeclaration(declarations, kind);
|
||
|
}
|
||
|
|
||
|
// 12.3 Empty Statement
|
||
|
|
||
|
function parseEmptyStatement() {
|
||
|
var node = new Node();
|
||
|
expect(';');
|
||
|
return node.finishEmptyStatement();
|
||
|
}
|
||
|
|
||
|
// 12.4 Expression Statement
|
||
|
|
||
|
function parseExpressionStatement(node) {
|
||
|
var expr = parseExpression();
|
||
|
consumeSemicolon();
|
||
|
return node.finishExpressionStatement(expr);
|
||
|
}
|
||
|
|
||
|
// 12.5 If statement
|
||
|
|
||
|
function parseIfStatement(node) {
|
||
|
var test, consequent, alternate;
|
||
|
|
||
|
expectKeyword('if');
|
||
|
|
||
|
expect('(');
|
||
|
|
||
|
test = parseExpression();
|
||
|
|
||
|
expect(')');
|
||
|
|
||
|
consequent = parseStatement();
|
||
|
|
||
|
if (matchKeyword('else')) {
|
||
|
lex();
|
||
|
alternate = parseStatement();
|
||
|
} else {
|
||
|
alternate = null;
|
||
|
}
|
||
|
|
||
|
return node.finishIfStatement(test, consequent, alternate);
|
||
|
}
|
||
|
|
||
|
// 12.6 Iteration Statements
|
||
|
|
||
|
function parseDoWhileStatement(node) {
|
||
|
var body, test, oldInIteration;
|
||
|
|
||
|
expectKeyword('do');
|
||
|
|
||
|
oldInIteration = state.inIteration;
|
||
|
state.inIteration = true;
|
||
|
|
||
|
body = parseStatement();
|
||
|
|
||
|
state.inIteration = oldInIteration;
|
||
|
|
||
|
expectKeyword('while');
|
||
|
|
||
|
expect('(');
|
||
|
|
||
|
test = parseExpression();
|
||
|
|
||
|
expect(')');
|
||
|
|
||
|
if (match(';')) {
|
||
|
lex();
|
||
|
}
|
||
|
|
||
|
return node.finishDoWhileStatement(body, test);
|
||
|
}
|
||
|
|
||
|
function parseWhileStatement(node) {
|
||
|
var test, body, oldInIteration;
|
||
|
|
||
|
expectKeyword('while');
|
||
|
|
||
|
expect('(');
|
||
|
|
||
|
test = parseExpression();
|
||
|
|
||
|
expect(')');
|
||
|
|
||
|
oldInIteration = state.inIteration;
|
||
|
state.inIteration = true;
|
||
|
|
||
|
body = parseStatement();
|
||
|
|
||
|
state.inIteration = oldInIteration;
|
||
|
|
||
|
return node.finishWhileStatement(test, body);
|
||
|
}
|
||
|
|
||
|
function parseForVariableDeclaration() {
|
||
|
var token, declarations, node = new Node();
|
||
|
|
||
|
token = lex();
|
||
|
declarations = parseVariableDeclarationList();
|
||
|
|
||
|
return node.finishVariableDeclaration(declarations, token.value);
|
||
|
}
|
||
|
|
||
|
function parseForStatement(node) {
|
||
|
var init, test, update, left, right, body, oldInIteration, previousAllowIn = state.allowIn;
|
||
|
|
||
|
init = test = update = null;
|
||
|
|
||
|
expectKeyword('for');
|
||
|
|
||
|
expect('(');
|
||
|
|
||
|
if (match(';')) {
|
||
|
lex();
|
||
|
} else {
|
||
|
if (matchKeyword('var') || matchKeyword('let')) {
|
||
|
state.allowIn = false;
|
||
|
init = parseForVariableDeclaration();
|
||
|
state.allowIn = previousAllowIn;
|
||
|
|
||
|
if (init.declarations.length === 1 && matchKeyword('in')) {
|
||
|
lex();
|
||
|
left = init;
|
||
|
right = parseExpression();
|
||
|
init = null;
|
||
|
}
|
||
|
} else {
|
||
|
state.allowIn = false;
|
||
|
init = parseExpression();
|
||
|
state.allowIn = previousAllowIn;
|
||
|
|
||
|
if (matchKeyword('in')) {
|
||
|
// LeftHandSideExpression
|
||
|
if (!isLeftHandSide(init)) {
|
||
|
tolerateError(Messages.InvalidLHSInForIn);
|
||
|
}
|
||
|
|
||
|
lex();
|
||
|
left = init;
|
||
|
right = parseExpression();
|
||
|
init = null;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (typeof left === 'undefined') {
|
||
|
expect(';');
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (typeof left === 'undefined') {
|
||
|
|
||
|
if (!match(';')) {
|
||
|
test = parseExpression();
|
||
|
}
|
||
|
expect(';');
|
||
|
|
||
|
if (!match(')')) {
|
||
|
update = parseExpression();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
expect(')');
|
||
|
|
||
|
oldInIteration = state.inIteration;
|
||
|
state.inIteration = true;
|
||
|
|
||
|
body = parseStatement();
|
||
|
|
||
|
state.inIteration = oldInIteration;
|
||
|
|
||
|
return (typeof left === 'undefined') ?
|
||
|
node.finishForStatement(init, test, update, body) :
|
||
|
node.finishForInStatement(left, right, body);
|
||
|
}
|
||
|
|
||
|
// 12.7 The continue statement
|
||
|
|
||
|
function parseContinueStatement(node) {
|
||
|
var label = null, key;
|
||
|
|
||
|
expectKeyword('continue');
|
||
|
|
||
|
// Optimize the most common form: 'continue;'.
|
||
|
if (source.charCodeAt(index) === 0x3B) {
|
||
|
lex();
|
||
|
|
||
|
if (!state.inIteration) {
|
||
|
throwError(Messages.IllegalContinue);
|
||
|
}
|
||
|
|
||
|
return node.finishContinueStatement(null);
|
||
|
}
|
||
|
|
||
|
if (peekLineTerminator()) {
|
||
|
if (!state.inIteration) {
|
||
|
throwError(Messages.IllegalContinue);
|
||
|
}
|
||
|
|
||
|
return node.finishContinueStatement(null);
|
||
|
}
|
||
|
|
||
|
if (lookahead.type === Token.Identifier) {
|
||
|
label = parseVariableIdentifier();
|
||
|
|
||
|
key = '$' + label.name;
|
||
|
if (!Object.prototype.hasOwnProperty.call(state.labelSet, key)) {
|
||
|
throwError(Messages.UnknownLabel, label.name);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
consumeSemicolon();
|
||
|
|
||
|
if (label === null && !state.inIteration) {
|
||
|
throwError(Messages.IllegalContinue);
|
||
|
}
|
||
|
|
||
|
return node.finishContinueStatement(label);
|
||
|
}
|
||
|
|
||
|
// 12.8 The break statement
|
||
|
|
||
|
function parseBreakStatement(node) {
|
||
|
var label = null, key;
|
||
|
|
||
|
expectKeyword('break');
|
||
|
|
||
|
// Catch the very common case first: immediately a semicolon (U+003B).
|
||
|
if (source.charCodeAt(index) === 0x3B) {
|
||
|
lex();
|
||
|
|
||
|
if (!(state.inIteration || state.inSwitch)) {
|
||
|
throwError(Messages.IllegalBreak);
|
||
|
}
|
||
|
|
||
|
return node.finishBreakStatement(null);
|
||
|
}
|
||
|
|
||
|
if (peekLineTerminator()) {
|
||
|
if (!(state.inIteration || state.inSwitch)) {
|
||
|
throwError(Messages.IllegalBreak);
|
||
|
}
|
||
|
|
||
|
return node.finishBreakStatement(null);
|
||
|
}
|
||
|
|
||
|
if (lookahead.type === Token.Identifier) {
|
||
|
label = parseVariableIdentifier();
|
||
|
|
||
|
key = '$' + label.name;
|
||
|
if (!Object.prototype.hasOwnProperty.call(state.labelSet, key)) {
|
||
|
throwError(Messages.UnknownLabel, label.name);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
consumeSemicolon();
|
||
|
|
||
|
if (label === null && !(state.inIteration || state.inSwitch)) {
|
||
|
throwError(Messages.IllegalBreak);
|
||
|
}
|
||
|
|
||
|
return node.finishBreakStatement(label);
|
||
|
}
|
||
|
|
||
|
// 12.9 The return statement
|
||
|
|
||
|
function parseReturnStatement(node) {
|
||
|
var argument = null;
|
||
|
|
||
|
expectKeyword('return');
|
||
|
|
||
|
if (!state.inFunctionBody) {
|
||
|
tolerateError(Messages.IllegalReturn);
|
||
|
}
|
||
|
|
||
|
// 'return' followed by a space and an identifier is very common.
|
||
|
if (source.charCodeAt(index) === 0x20) {
|
||
|
if (isIdentifierStart(source.charCodeAt(index + 1))) {
|
||
|
argument = parseExpression();
|
||
|
consumeSemicolon();
|
||
|
return node.finishReturnStatement(argument);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (peekLineTerminator()) {
|
||
|
return node.finishReturnStatement(null);
|
||
|
}
|
||
|
|
||
|
if (!match(';')) {
|
||
|
if (!match('}') && lookahead.type !== Token.EOF) {
|
||
|
argument = parseExpression();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
consumeSemicolon();
|
||
|
|
||
|
return node.finishReturnStatement(argument);
|
||
|
}
|
||
|
|
||
|
// 12.10 The with statement
|
||
|
|
||
|
function parseWithStatement(node) {
|
||
|
var object, body;
|
||
|
|
||
|
if (strict) {
|
||
|
// TODO(ikarienator): Should we update the test cases instead?
|
||
|
skipComment();
|
||
|
tolerateError(Messages.StrictModeWith);
|
||
|
}
|
||
|
|
||
|
expectKeyword('with');
|
||
|
|
||
|
expect('(');
|
||
|
|
||
|
object = parseExpression();
|
||
|
|
||
|
expect(')');
|
||
|
|
||
|
body = parseStatement();
|
||
|
|
||
|
return node.finishWithStatement(object, body);
|
||
|
}
|
||
|
|
||
|
// 12.10 The swith statement
|
||
|
|
||
|
function parseSwitchCase() {
|
||
|
var test, consequent = [], statement, node = new Node();
|
||
|
|
||
|
if (matchKeyword('default')) {
|
||
|
lex();
|
||
|
test = null;
|
||
|
} else {
|
||
|
expectKeyword('case');
|
||
|
test = parseExpression();
|
||
|
}
|
||
|
expect(':');
|
||
|
|
||
|
while (index < length) {
|
||
|
if (match('}') || matchKeyword('default') || matchKeyword('case')) {
|
||
|
break;
|
||
|
}
|
||
|
statement = parseStatement();
|
||
|
consequent.push(statement);
|
||
|
}
|
||
|
|
||
|
return node.finishSwitchCase(test, consequent);
|
||
|
}
|
||
|
|
||
|
function parseSwitchStatement(node) {
|
||
|
var discriminant, cases, clause, oldInSwitch, defaultFound;
|
||
|
|
||
|
expectKeyword('switch');
|
||
|
|
||
|
expect('(');
|
||
|
|
||
|
discriminant = parseExpression();
|
||
|
|
||
|
expect(')');
|
||
|
|
||
|
expect('{');
|
||
|
|
||
|
cases = [];
|
||
|
|
||
|
if (match('}')) {
|
||
|
lex();
|
||
|
return node.finishSwitchStatement(discriminant, cases);
|
||
|
}
|
||
|
|
||
|
oldInSwitch = state.inSwitch;
|
||
|
state.inSwitch = true;
|
||
|
defaultFound = false;
|
||
|
|
||
|
while (index < length) {
|
||
|
if (match('}')) {
|
||
|
break;
|
||
|
}
|
||
|
clause = parseSwitchCase();
|
||
|
if (clause.test === null) {
|
||
|
if (defaultFound) {
|
||
|
throwError(Messages.MultipleDefaultsInSwitch);
|
||
|
}
|
||
|
defaultFound = true;
|
||
|
}
|
||
|
cases.push(clause);
|
||
|
}
|
||
|
|
||
|
state.inSwitch = oldInSwitch;
|
||
|
|
||
|
expect('}');
|
||
|
|
||
|
return node.finishSwitchStatement(discriminant, cases);
|
||
|
}
|
||
|
|
||
|
// 12.13 The throw statement
|
||
|
|
||
|
function parseThrowStatement(node) {
|
||
|
var argument;
|
||
|
|
||
|
expectKeyword('throw');
|
||
|
|
||
|
if (peekLineTerminator()) {
|
||
|
throwError(Messages.NewlineAfterThrow);
|
||
|
}
|
||
|
|
||
|
argument = parseExpression();
|
||
|
|
||
|
consumeSemicolon();
|
||
|
|
||
|
return node.finishThrowStatement(argument);
|
||
|
}
|
||
|
|
||
|
// 12.14 The try statement
|
||
|
|
||
|
function parseCatchClause() {
|
||
|
var param, body, node = new Node();
|
||
|
|
||
|
expectKeyword('catch');
|
||
|
|
||
|
expect('(');
|
||
|
if (match(')')) {
|
||
|
throwUnexpectedToken(lookahead);
|
||
|
}
|
||
|
|
||
|
param = parseVariableIdentifier();
|
||
|
// 12.14.1
|
||
|
if (strict && isRestrictedWord(param.name)) {
|
||
|
tolerateError(Messages.StrictCatchVariable);
|
||
|
}
|
||
|
|
||
|
expect(')');
|
||
|
body = parseBlock();
|
||
|
return node.finishCatchClause(param, body);
|
||
|
}
|
||
|
|
||
|
function parseTryStatement(node) {
|
||
|
var block, handlers = [], finalizer = null;
|
||
|
|
||
|
expectKeyword('try');
|
||
|
|
||
|
block = parseBlock();
|
||
|
|
||
|
if (matchKeyword('catch')) {
|
||
|
handlers.push(parseCatchClause());
|
||
|
}
|
||
|
|
||
|
if (matchKeyword('finally')) {
|
||
|
lex();
|
||
|
finalizer = parseBlock();
|
||
|
}
|
||
|
|
||
|
if (handlers.length === 0 && !finalizer) {
|
||
|
throwError(Messages.NoCatchOrFinally);
|
||
|
}
|
||
|
|
||
|
return node.finishTryStatement(block, [], handlers, finalizer);
|
||
|
}
|
||
|
|
||
|
// 12.15 The debugger statement
|
||
|
|
||
|
function parseDebuggerStatement(node) {
|
||
|
expectKeyword('debugger');
|
||
|
|
||
|
consumeSemicolon();
|
||
|
|
||
|
return node.finishDebuggerStatement();
|
||
|
}
|
||
|
|
||
|
// 12 Statements
|
||
|
|
||
|
function parseStatement() {
|
||
|
var type = lookahead.type,
|
||
|
expr,
|
||
|
labeledBody,
|
||
|
key,
|
||
|
node;
|
||
|
|
||
|
if (type === Token.EOF) {
|
||
|
throwUnexpectedToken(lookahead);
|
||
|
}
|
||
|
|
||
|
if (type === Token.Punctuator && lookahead.value === '{') {
|
||
|
return parseBlock();
|
||
|
}
|
||
|
|
||
|
node = new Node();
|
||
|
|
||
|
if (type === Token.Punctuator) {
|
||
|
switch (lookahead.value) {
|
||
|
case ';':
|
||
|
return parseEmptyStatement(node);
|
||
|
case '(':
|
||
|
return parseExpressionStatement(node);
|
||
|
default:
|
||
|
break;
|
||
|
}
|
||
|
} else if (type === Token.Keyword) {
|
||
|
switch (lookahead.value) {
|
||
|
case 'break':
|
||
|
return parseBreakStatement(node);
|
||
|
case 'continue':
|
||
|
return parseContinueStatement(node);
|
||
|
case 'debugger':
|
||
|
return parseDebuggerStatement(node);
|
||
|
case 'do':
|
||
|
return parseDoWhileStatement(node);
|
||
|
case 'for':
|
||
|
return parseForStatement(node);
|
||
|
case 'function':
|
||
|
return parseFunctionDeclaration(node);
|
||
|
case 'if':
|
||
|
return parseIfStatement(node);
|
||
|
case 'return':
|
||
|
return parseReturnStatement(node);
|
||
|
case 'switch':
|
||
|
return parseSwitchStatement(node);
|
||
|
case 'throw':
|
||
|
return parseThrowStatement(node);
|
||
|
case 'try':
|
||
|
return parseTryStatement(node);
|
||
|
case 'var':
|
||
|
return parseVariableStatement(node);
|
||
|
case 'while':
|
||
|
return parseWhileStatement(node);
|
||
|
case 'with':
|
||
|
return parseWithStatement(node);
|
||
|
default:
|
||
|
break;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
expr = parseExpression();
|
||
|
|
||
|
// 12.12 Labelled Statements
|
||
|
if ((expr.type === Syntax.Identifier) && match(':')) {
|
||
|
lex();
|
||
|
|
||
|
key = '$' + expr.name;
|
||
|
if (Object.prototype.hasOwnProperty.call(state.labelSet, key)) {
|
||
|
throwError(Messages.Redeclaration, 'Label', expr.name);
|
||
|
}
|
||
|
|
||
|
state.labelSet[key] = true;
|
||
|
labeledBody = parseStatement();
|
||
|
delete state.labelSet[key];
|
||
|
return node.finishLabeledStatement(expr, labeledBody);
|
||
|
}
|
||
|
|
||
|
consumeSemicolon();
|
||
|
|
||
|
return node.finishExpressionStatement(expr);
|
||
|
}
|
||
|
|
||
|
// 13 Function Definition
|
||
|
|
||
|
function parseFunctionSourceElements() {
|
||
|
var sourceElement, sourceElements = [], token, directive, firstRestricted,
|
||
|
oldLabelSet, oldInIteration, oldInSwitch, oldInFunctionBody, oldParenthesisCount,
|
||
|
node = new Node();
|
||
|
|
||
|
expect('{');
|
||
|
|
||
|
while (index < length) {
|
||
|
if (lookahead.type !== Token.StringLiteral) {
|
||
|
break;
|
||
|
}
|
||
|
token = lookahead;
|
||
|
|
||
|
sourceElement = parseSourceElement();
|
||
|
sourceElements.push(sourceElement);
|
||
|
if (sourceElement.expression.type !== Syntax.Literal) {
|
||
|
// this is not directive
|
||
|
break;
|
||
|
}
|
||
|
directive = source.slice(token.start + 1, token.end - 1);
|
||
|
if (directive === 'use strict') {
|
||
|
strict = true;
|
||
|
if (firstRestricted) {
|
||
|
tolerateUnexpectedToken(firstRestricted, Messages.StrictOctalLiteral);
|
||
|
}
|
||
|
} else {
|
||
|
if (!firstRestricted && token.octal) {
|
||
|
firstRestricted = token;
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
oldLabelSet = state.labelSet;
|
||
|
oldInIteration = state.inIteration;
|
||
|
oldInSwitch = state.inSwitch;
|
||
|
oldInFunctionBody = state.inFunctionBody;
|
||
|
oldParenthesisCount = state.parenthesizedCount;
|
||
|
|
||
|
state.labelSet = {};
|
||
|
state.inIteration = false;
|
||
|
state.inSwitch = false;
|
||
|
state.inFunctionBody = true;
|
||
|
state.parenthesizedCount = 0;
|
||
|
|
||
|
while (index < length) {
|
||
|
if (match('}')) {
|
||
|
break;
|
||
|
}
|
||
|
sourceElement = parseSourceElement();
|
||
|
if (typeof sourceElement === 'undefined') {
|
||
|
break;
|
||
|
}
|
||
|
sourceElements.push(sourceElement);
|
||
|
}
|
||
|
|
||
|
expect('}');
|
||
|
|
||
|
state.labelSet = oldLabelSet;
|
||
|
state.inIteration = oldInIteration;
|
||
|
state.inSwitch = oldInSwitch;
|
||
|
state.inFunctionBody = oldInFunctionBody;
|
||
|
state.parenthesizedCount = oldParenthesisCount;
|
||
|
|
||
|
return node.finishBlockStatement(sourceElements);
|
||
|
}
|
||
|
|
||
|
function validateParam(options, param, name) {
|
||
|
var key = '$' + name;
|
||
|
if (strict) {
|
||
|
if (isRestrictedWord(name)) {
|
||
|
options.stricted = param;
|
||
|
options.message = Messages.StrictParamName;
|
||
|
}
|
||
|
if (Object.prototype.hasOwnProperty.call(options.paramSet, key)) {
|
||
|
options.stricted = param;
|
||
|
options.message = Messages.StrictParamDupe;
|
||
|
}
|
||
|
} else if (!options.firstRestricted) {
|
||
|
if (isRestrictedWord(name)) {
|
||
|
options.firstRestricted = param;
|
||
|
options.message = Messages.StrictParamName;
|
||
|
} else if (isStrictModeReservedWord(name)) {
|
||
|
options.firstRestricted = param;
|
||
|
options.message = Messages.StrictReservedWord;
|
||
|
} else if (Object.prototype.hasOwnProperty.call(options.paramSet, key)) {
|
||
|
options.firstRestricted = param;
|
||
|
options.message = Messages.StrictParamDupe;
|
||
|
}
|
||
|
}
|
||
|
options.paramSet[key] = true;
|
||
|
}
|
||
|
|
||
|
function parseParam(options) {
|
||
|
var token, param, def;
|
||
|
|
||
|
token = lookahead;
|
||
|
param = parseVariableIdentifier();
|
||
|
validateParam(options, token, token.value);
|
||
|
if (match('=')) {
|
||
|
lex();
|
||
|
def = parseAssignmentExpression();
|
||
|
++options.defaultCount;
|
||
|
}
|
||
|
|
||
|
options.params.push(param);
|
||
|
options.defaults.push(def);
|
||
|
|
||
|
return !match(')');
|
||
|
}
|
||
|
|
||
|
function parseParams(firstRestricted) {
|
||
|
var options;
|
||
|
|
||
|
options = {
|
||
|
params: [],
|
||
|
defaultCount: 0,
|
||
|
defaults: [],
|
||
|
firstRestricted: firstRestricted
|
||
|
};
|
||
|
|
||
|
expect('(');
|
||
|
|
||
|
if (!match(')')) {
|
||
|
options.paramSet = {};
|
||
|
while (index < length) {
|
||
|
if (!parseParam(options)) {
|
||
|
break;
|
||
|
}
|
||
|
expect(',');
|
||
|
}
|
||
|
}
|
||
|
|
||
|
expect(')');
|
||
|
|
||
|
if (options.defaultCount === 0) {
|
||
|
options.defaults = [];
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
params: options.params,
|
||
|
defaults: options.defaults,
|
||
|
stricted: options.stricted,
|
||
|
firstRestricted: options.firstRestricted,
|
||
|
message: options.message
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function parseFunctionDeclaration() {
|
||
|
var id, params = [], defaults = [], body, token, stricted, tmp, firstRestricted, message, previousStrict, node = new Node();
|
||
|
|
||
|
expectKeyword('function');
|
||
|
token = lookahead;
|
||
|
id = parseVariableIdentifier();
|
||
|
if (strict) {
|
||
|
if (isRestrictedWord(token.value)) {
|
||
|
tolerateUnexpectedToken(token, Messages.StrictFunctionName);
|
||
|
}
|
||
|
} else {
|
||
|
if (isRestrictedWord(token.value)) {
|
||
|
firstRestricted = token;
|
||
|
message = Messages.StrictFunctionName;
|
||
|
} else if (isStrictModeReservedWord(token.value)) {
|
||
|
firstRestricted = token;
|
||
|
message = Messages.StrictReservedWord;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
tmp = parseParams(firstRestricted);
|
||
|
params = tmp.params;
|
||
|
defaults = tmp.defaults;
|
||
|
stricted = tmp.stricted;
|
||
|
firstRestricted = tmp.firstRestricted;
|
||
|
if (tmp.message) {
|
||
|
message = tmp.message;
|
||
|
}
|
||
|
|
||
|
previousStrict = strict;
|
||
|
body = parseFunctionSourceElements();
|
||
|
if (strict && firstRestricted) {
|
||
|
throwUnexpectedToken(firstRestricted, message);
|
||
|
}
|
||
|
if (strict && stricted) {
|
||
|
tolerateUnexpectedToken(stricted, message);
|
||
|
}
|
||
|
strict = previousStrict;
|
||
|
|
||
|
return node.finishFunctionDeclaration(id, params, defaults, body);
|
||
|
}
|
||
|
|
||
|
function parseFunctionExpression() {
|
||
|
var token, id = null, stricted, firstRestricted, message, tmp,
|
||
|
params = [], defaults = [], body, previousStrict, node = new Node();
|
||
|
|
||
|
expectKeyword('function');
|
||
|
|
||
|
if (!match('(')) {
|
||
|
token = lookahead;
|
||
|
id = parseVariableIdentifier();
|
||
|
if (strict) {
|
||
|
if (isRestrictedWord(token.value)) {
|
||
|
tolerateUnexpectedToken(token, Messages.StrictFunctionName);
|
||
|
}
|
||
|
} else {
|
||
|
if (isRestrictedWord(token.value)) {
|
||
|
firstRestricted = token;
|
||
|
message = Messages.StrictFunctionName;
|
||
|
} else if (isStrictModeReservedWord(token.value)) {
|
||
|
firstRestricted = token;
|
||
|
message = Messages.StrictReservedWord;
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
tmp = parseParams(firstRestricted);
|
||
|
params = tmp.params;
|
||
|
defaults = tmp.defaults;
|
||
|
stricted = tmp.stricted;
|
||
|
firstRestricted = tmp.firstRestricted;
|
||
|
if (tmp.message) {
|
||
|
message = tmp.message;
|
||
|
}
|
||
|
|
||
|
previousStrict = strict;
|
||
|
body = parseFunctionSourceElements();
|
||
|
if (strict && firstRestricted) {
|
||
|
throwUnexpectedToken(firstRestricted, message);
|
||
|
}
|
||
|
if (strict && stricted) {
|
||
|
tolerateUnexpectedToken(stricted, message);
|
||
|
}
|
||
|
strict = previousStrict;
|
||
|
|
||
|
return node.finishFunctionExpression(id, params, defaults, body);
|
||
|
}
|
||
|
|
||
|
// 14 Program
|
||
|
|
||
|
function parseSourceElement() {
|
||
|
if (lookahead.type === Token.Keyword) {
|
||
|
switch (lookahead.value) {
|
||
|
case 'const':
|
||
|
case 'let':
|
||
|
return parseConstLetDeclaration(lookahead.value);
|
||
|
case 'function':
|
||
|
return parseFunctionDeclaration();
|
||
|
default:
|
||
|
return parseStatement();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (lookahead.type !== Token.EOF) {
|
||
|
return parseStatement();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function parseSourceElements() {
|
||
|
var sourceElement, sourceElements = [], token, directive, firstRestricted;
|
||
|
|
||
|
while (index < length) {
|
||
|
token = lookahead;
|
||
|
if (token.type !== Token.StringLiteral) {
|
||
|
break;
|
||
|
}
|
||
|
|
||
|
sourceElement = parseSourceElement();
|
||
|
sourceElements.push(sourceElement);
|
||
|
if (sourceElement.expression.type !== Syntax.Literal) {
|
||
|
// this is not directive
|
||
|
break;
|
||
|
}
|
||
|
directive = source.slice(token.start + 1, token.end - 1);
|
||
|
if (directive === 'use strict') {
|
||
|
strict = true;
|
||
|
if (firstRestricted) {
|
||
|
tolerateUnexpectedToken(firstRestricted, Messages.StrictOctalLiteral);
|
||
|
}
|
||
|
} else {
|
||
|
if (!firstRestricted && token.octal) {
|
||
|
firstRestricted = token;
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
while (index < length) {
|
||
|
sourceElement = parseSourceElement();
|
||
|
/* istanbul ignore if */
|
||
|
if (typeof sourceElement === 'undefined') {
|
||
|
break;
|
||
|
}
|
||
|
sourceElements.push(sourceElement);
|
||
|
}
|
||
|
return sourceElements;
|
||
|
}
|
||
|
|
||
|
function parseProgram() {
|
||
|
var body, node;
|
||
|
|
||
|
skipComment();
|
||
|
peek();
|
||
|
node = new Node();
|
||
|
strict = false;
|
||
|
|
||
|
body = parseSourceElements();
|
||
|
return node.finishProgram(body);
|
||
|
}
|
||
|
|
||
|
function filterTokenLocation() {
|
||
|
var i, entry, token, tokens = [];
|
||
|
|
||
|
for (i = 0; i < extra.tokens.length; ++i) {
|
||
|
entry = extra.tokens[i];
|
||
|
token = {
|
||
|
type: entry.type,
|
||
|
value: entry.value
|
||
|
};
|
||
|
if (entry.regex) {
|
||
|
token.regex = {
|
||
|
pattern: entry.regex.pattern,
|
||
|
flags: entry.regex.flags
|
||
|
};
|
||
|
}
|
||
|
if (extra.range) {
|
||
|
token.range = entry.range;
|
||
|
}
|
||
|
if (extra.loc) {
|
||
|
token.loc = entry.loc;
|
||
|
}
|
||
|
tokens.push(token);
|
||
|
}
|
||
|
|
||
|
extra.tokens = tokens;
|
||
|
}
|
||
|
|
||
|
function tokenize(code, options) {
|
||
|
var toString,
|
||
|
tokens;
|
||
|
|
||
|
toString = String;
|
||
|
if (typeof code !== 'string' && !(code instanceof String)) {
|
||
|
code = toString(code);
|
||
|
}
|
||
|
|
||
|
source = code;
|
||
|
index = 0;
|
||
|
lineNumber = (source.length > 0) ? 1 : 0;
|
||
|
lineStart = 0;
|
||
|
length = source.length;
|
||
|
lookahead = null;
|
||
|
state = {
|
||
|
allowIn: true,
|
||
|
labelSet: {},
|
||
|
inFunctionBody: false,
|
||
|
inIteration: false,
|
||
|
inSwitch: false,
|
||
|
lastCommentStart: -1
|
||
|
};
|
||
|
|
||
|
extra = {};
|
||
|
|
||
|
// Options matching.
|
||
|
options = options || {};
|
||
|
|
||
|
// Of course we collect tokens here.
|
||
|
options.tokens = true;
|
||
|
extra.tokens = [];
|
||
|
extra.tokenize = true;
|
||
|
// The following two fields are necessary to compute the Regex tokens.
|
||
|
extra.openParenToken = -1;
|
||
|
extra.openCurlyToken = -1;
|
||
|
|
||
|
extra.range = (typeof options.range === 'boolean') && options.range;
|
||
|
extra.loc = (typeof options.loc === 'boolean') && options.loc;
|
||
|
|
||
|
if (typeof options.comment === 'boolean' && options.comment) {
|
||
|
extra.comments = [];
|
||
|
}
|
||
|
if (typeof options.tolerant === 'boolean' && options.tolerant) {
|
||
|
extra.errors = [];
|
||
|
}
|
||
|
|
||
|
try {
|
||
|
peek();
|
||
|
if (lookahead.type === Token.EOF) {
|
||
|
return extra.tokens;
|
||
|
}
|
||
|
|
||
|
lex();
|
||
|
while (lookahead.type !== Token.EOF) {
|
||
|
try {
|
||
|
lex();
|
||
|
} catch (lexError) {
|
||
|
if (extra.errors) {
|
||
|
extra.errors.push(lexError);
|
||
|
// We have to break on the first error
|
||
|
// to avoid infinite loops.
|
||
|
break;
|
||
|
} else {
|
||
|
throw lexError;
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
filterTokenLocation();
|
||
|
tokens = extra.tokens;
|
||
|
if (typeof extra.comments !== 'undefined') {
|
||
|
tokens.comments = extra.comments;
|
||
|
}
|
||
|
if (typeof extra.errors !== 'undefined') {
|
||
|
tokens.errors = extra.errors;
|
||
|
}
|
||
|
} catch (e) {
|
||
|
throw e;
|
||
|
} finally {
|
||
|
extra = {};
|
||
|
}
|
||
|
return tokens;
|
||
|
}
|
||
|
|
||
|
function parse(code, options) {
|
||
|
var program, toString;
|
||
|
|
||
|
toString = String;
|
||
|
if (typeof code !== 'string' && !(code instanceof String)) {
|
||
|
code = toString(code);
|
||
|
}
|
||
|
|
||
|
source = code;
|
||
|
index = 0;
|
||
|
lineNumber = (source.length > 0) ? 1 : 0;
|
||
|
lineStart = 0;
|
||
|
length = source.length;
|
||
|
lookahead = null;
|
||
|
state = {
|
||
|
allowIn: true,
|
||
|
labelSet: {},
|
||
|
parenthesisCount: 0,
|
||
|
inFunctionBody: false,
|
||
|
inIteration: false,
|
||
|
inSwitch: false,
|
||
|
lastCommentStart: -1
|
||
|
};
|
||
|
|
||
|
extra = {};
|
||
|
if (typeof options !== 'undefined') {
|
||
|
extra.range = (typeof options.range === 'boolean') && options.range;
|
||
|
extra.loc = (typeof options.loc === 'boolean') && options.loc;
|
||
|
extra.attachComment = (typeof options.attachComment === 'boolean') && options.attachComment;
|
||
|
|
||
|
if (extra.loc && options.source !== null && options.source !== undefined) {
|
||
|
extra.source = toString(options.source);
|
||
|
}
|
||
|
|
||
|
if (typeof options.tokens === 'boolean' && options.tokens) {
|
||
|
extra.tokens = [];
|
||
|
}
|
||
|
if (typeof options.comment === 'boolean' && options.comment) {
|
||
|
extra.comments = [];
|
||
|
}
|
||
|
if (typeof options.tolerant === 'boolean' && options.tolerant) {
|
||
|
extra.errors = [];
|
||
|
}
|
||
|
if (extra.attachComment) {
|
||
|
extra.range = true;
|
||
|
extra.comments = [];
|
||
|
extra.bottomRightStack = [];
|
||
|
extra.trailingComments = [];
|
||
|
extra.leadingComments = [];
|
||
|
}
|
||
|
}
|
||
|
|
||
|
try {
|
||
|
program = parseProgram();
|
||
|
if (typeof extra.comments !== 'undefined') {
|
||
|
program.comments = extra.comments;
|
||
|
}
|
||
|
if (typeof extra.tokens !== 'undefined') {
|
||
|
filterTokenLocation();
|
||
|
program.tokens = extra.tokens;
|
||
|
}
|
||
|
if (typeof extra.errors !== 'undefined') {
|
||
|
program.errors = extra.errors;
|
||
|
}
|
||
|
} catch (e) {
|
||
|
throw e;
|
||
|
} finally {
|
||
|
extra = {};
|
||
|
}
|
||
|
|
||
|
return program;
|
||
|
}
|
||
|
|
||
|
// Sync with *.json manifests.
|
||
|
exports.version = '2.0.0';
|
||
|
|
||
|
exports.tokenize = tokenize;
|
||
|
|
||
|
exports.parse = parse;
|
||
|
|
||
|
// Deep copy.
|
||
|
/* istanbul ignore next */
|
||
|
exports.Syntax = (function () {
|
||
|
var name, types = {};
|
||
|
|
||
|
if (typeof Object.create === 'function') {
|
||
|
types = Object.create(null);
|
||
|
}
|
||
|
|
||
|
for (name in Syntax) {
|
||
|
if (Syntax.hasOwnProperty(name)) {
|
||
|
types[name] = Syntax[name];
|
||
|
}
|
||
|
}
|
||
|
|
||
|
if (typeof Object.freeze === 'function') {
|
||
|
Object.freeze(types);
|
||
|
}
|
||
|
|
||
|
return types;
|
||
|
}());
|
||
|
|
||
|
}));
|
||
|
/* vim: set sw=4 ts=4 et tw=80 : */
|