| OLD | NEW |
| 1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 49 // Abstracted to work | 49 // Abstracted to work |
| 50 int isfinite(double value); | 50 int isfinite(double value); |
| 51 | 51 |
| 52 } // namespace std | 52 } // namespace std |
| 53 #endif | 53 #endif |
| 54 | 54 |
| 55 namespace v8 { | 55 namespace v8 { |
| 56 namespace internal { | 56 namespace internal { |
| 57 | 57 |
| 58 PreParser::PreParseResult PreParser::PreParseLazyFunction( | 58 PreParser::PreParseResult PreParser::PreParseLazyFunction( |
| 59 i::LanguageMode mode, bool is_generator, i::ParserRecorder* log) { | 59 LanguageMode mode, bool is_generator, ParserRecorder* log) { |
| 60 log_ = log; | 60 log_ = log; |
| 61 // Lazy functions always have trivial outer scopes (no with/catch scopes). | 61 // Lazy functions always have trivial outer scopes (no with/catch scopes). |
| 62 Scope top_scope(&scope_, kTopLevelScope); | 62 Scope top_scope(&scope_, kTopLevelScope); |
| 63 set_language_mode(mode); | 63 set_language_mode(mode); |
| 64 Scope function_scope(&scope_, kFunctionScope); | 64 Scope function_scope(&scope_, kFunctionScope); |
| 65 function_scope.set_is_generator(is_generator); | 65 function_scope.set_is_generator(is_generator); |
| 66 ASSERT_EQ(i::Token::LBRACE, scanner()->current_token()); | 66 ASSERT_EQ(Token::LBRACE, scanner()->current_token()); |
| 67 bool ok = true; | 67 bool ok = true; |
| 68 int start_position = peek_position(); | 68 int start_position = peek_position(); |
| 69 ParseLazyFunctionLiteralBody(&ok); | 69 ParseLazyFunctionLiteralBody(&ok); |
| 70 if (stack_overflow()) return kPreParseStackOverflow; | 70 if (stack_overflow()) return kPreParseStackOverflow; |
| 71 if (!ok) { | 71 if (!ok) { |
| 72 ReportUnexpectedToken(scanner()->current_token()); | 72 ReportUnexpectedToken(scanner()->current_token()); |
| 73 } else { | 73 } else { |
| 74 ASSERT_EQ(i::Token::RBRACE, scanner()->peek()); | 74 ASSERT_EQ(Token::RBRACE, scanner()->peek()); |
| 75 if (!is_classic_mode()) { | 75 if (!is_classic_mode()) { |
| 76 int end_pos = scanner()->location().end_pos; | 76 int end_pos = scanner()->location().end_pos; |
| 77 CheckOctalLiteral(start_position, end_pos, &ok); | 77 CheckOctalLiteral(start_position, end_pos, &ok); |
| 78 if (ok) { | 78 if (ok) { |
| 79 CheckDelayedStrictModeViolation(start_position, end_pos, &ok); | 79 CheckDelayedStrictModeViolation(start_position, end_pos, &ok); |
| 80 } | 80 } |
| 81 } | 81 } |
| 82 } | 82 } |
| 83 return kPreParseSuccess; | 83 return kPreParseSuccess; |
| 84 } | 84 } |
| 85 | 85 |
| 86 | 86 |
| 87 // Preparsing checks a JavaScript program and emits preparse-data that helps | 87 // Preparsing checks a JavaScript program and emits preparse-data that helps |
| 88 // a later parsing to be faster. | 88 // a later parsing to be faster. |
| 89 // See preparser-data.h for the data. | 89 // See preparser-data.h for the data. |
| 90 | 90 |
| 91 // The PreParser checks that the syntax follows the grammar for JavaScript, | 91 // The PreParser checks that the syntax follows the grammar for JavaScript, |
| 92 // and collects some information about the program along the way. | 92 // and collects some information about the program along the way. |
| 93 // The grammar check is only performed in order to understand the program | 93 // The grammar check is only performed in order to understand the program |
| 94 // sufficiently to deduce some information about it, that can be used | 94 // sufficiently to deduce some information about it, that can be used |
| 95 // to speed up later parsing. Finding errors is not the goal of pre-parsing, | 95 // to speed up later parsing. Finding errors is not the goal of pre-parsing, |
| 96 // rather it is to speed up properly written and correct programs. | 96 // rather it is to speed up properly written and correct programs. |
| 97 // That means that contextual checks (like a label being declared where | 97 // That means that contextual checks (like a label being declared where |
| 98 // it is used) are generally omitted. | 98 // it is used) are generally omitted. |
| 99 | 99 |
| 100 void PreParser::ReportUnexpectedToken(i::Token::Value token) { | 100 void PreParser::ReportUnexpectedToken(Token::Value token) { |
| 101 // We don't report stack overflows here, to avoid increasing the | 101 // We don't report stack overflows here, to avoid increasing the |
| 102 // stack depth even further. Instead we report it after parsing is | 102 // stack depth even further. Instead we report it after parsing is |
| 103 // over, in ParseProgram. | 103 // over, in ParseProgram. |
| 104 if (token == i::Token::ILLEGAL && stack_overflow()) { | 104 if (token == Token::ILLEGAL && stack_overflow()) { |
| 105 return; | 105 return; |
| 106 } | 106 } |
| 107 i::Scanner::Location source_location = scanner()->location(); | 107 Scanner::Location source_location = scanner()->location(); |
| 108 | 108 |
| 109 // Four of the tokens are treated specially | 109 // Four of the tokens are treated specially |
| 110 switch (token) { | 110 switch (token) { |
| 111 case i::Token::EOS: | 111 case Token::EOS: |
| 112 return ReportMessageAt(source_location, "unexpected_eos", NULL); | 112 return ReportMessageAt(source_location, "unexpected_eos", NULL); |
| 113 case i::Token::NUMBER: | 113 case Token::NUMBER: |
| 114 return ReportMessageAt(source_location, "unexpected_token_number", NULL); | 114 return ReportMessageAt(source_location, "unexpected_token_number", NULL); |
| 115 case i::Token::STRING: | 115 case Token::STRING: |
| 116 return ReportMessageAt(source_location, "unexpected_token_string", NULL); | 116 return ReportMessageAt(source_location, "unexpected_token_string", NULL); |
| 117 case i::Token::IDENTIFIER: | 117 case Token::IDENTIFIER: |
| 118 return ReportMessageAt(source_location, | 118 return ReportMessageAt(source_location, |
| 119 "unexpected_token_identifier", NULL); | 119 "unexpected_token_identifier", NULL); |
| 120 case i::Token::FUTURE_RESERVED_WORD: | 120 case Token::FUTURE_RESERVED_WORD: |
| 121 return ReportMessageAt(source_location, "unexpected_reserved", NULL); | 121 return ReportMessageAt(source_location, "unexpected_reserved", NULL); |
| 122 case i::Token::FUTURE_STRICT_RESERVED_WORD: | 122 case Token::FUTURE_STRICT_RESERVED_WORD: |
| 123 return ReportMessageAt(source_location, | 123 return ReportMessageAt(source_location, |
| 124 "unexpected_strict_reserved", NULL); | 124 "unexpected_strict_reserved", NULL); |
| 125 default: | 125 default: |
| 126 const char* name = i::Token::String(token); | 126 const char* name = Token::String(token); |
| 127 ReportMessageAt(source_location, "unexpected_token", name); | 127 ReportMessageAt(source_location, "unexpected_token", name); |
| 128 } | 128 } |
| 129 } | 129 } |
| 130 | 130 |
| 131 | 131 |
| 132 #define CHECK_OK ok); \ | 132 #define CHECK_OK ok); \ |
| 133 if (!*ok) return kUnknownSourceElements; \ | 133 if (!*ok) return kUnknownSourceElements; \ |
| 134 ((void)0 | 134 ((void)0 |
| 135 #define DUMMY ) // to make indentation work | 135 #define DUMMY ) // to make indentation work |
| 136 #undef DUMMY | 136 #undef DUMMY |
| 137 | 137 |
| 138 | 138 |
| 139 PreParser::Statement PreParser::ParseSourceElement(bool* ok) { | 139 PreParser::Statement PreParser::ParseSourceElement(bool* ok) { |
| 140 // (Ecma 262 5th Edition, clause 14): | 140 // (Ecma 262 5th Edition, clause 14): |
| 141 // SourceElement: | 141 // SourceElement: |
| 142 // Statement | 142 // Statement |
| 143 // FunctionDeclaration | 143 // FunctionDeclaration |
| 144 // | 144 // |
| 145 // In harmony mode we allow additionally the following productions | 145 // In harmony mode we allow additionally the following productions |
| 146 // SourceElement: | 146 // SourceElement: |
| 147 // LetDeclaration | 147 // LetDeclaration |
| 148 // ConstDeclaration | 148 // ConstDeclaration |
| 149 // GeneratorDeclaration | 149 // GeneratorDeclaration |
| 150 | 150 |
| 151 switch (peek()) { | 151 switch (peek()) { |
| 152 case i::Token::FUNCTION: | 152 case Token::FUNCTION: |
| 153 return ParseFunctionDeclaration(ok); | 153 return ParseFunctionDeclaration(ok); |
| 154 case i::Token::LET: | 154 case Token::LET: |
| 155 case i::Token::CONST: | 155 case Token::CONST: |
| 156 return ParseVariableStatement(kSourceElement, ok); | 156 return ParseVariableStatement(kSourceElement, ok); |
| 157 default: | 157 default: |
| 158 return ParseStatement(ok); | 158 return ParseStatement(ok); |
| 159 } | 159 } |
| 160 } | 160 } |
| 161 | 161 |
| 162 | 162 |
| 163 PreParser::SourceElements PreParser::ParseSourceElements(int end_token, | 163 PreParser::SourceElements PreParser::ParseSourceElements(int end_token, |
| 164 bool* ok) { | 164 bool* ok) { |
| 165 // SourceElements :: | 165 // SourceElements :: |
| 166 // (Statement)* <end_token> | 166 // (Statement)* <end_token> |
| 167 | 167 |
| 168 bool allow_directive_prologue = true; | 168 bool allow_directive_prologue = true; |
| 169 while (peek() != end_token) { | 169 while (peek() != end_token) { |
| 170 Statement statement = ParseSourceElement(CHECK_OK); | 170 Statement statement = ParseSourceElement(CHECK_OK); |
| 171 if (allow_directive_prologue) { | 171 if (allow_directive_prologue) { |
| 172 if (statement.IsUseStrictLiteral()) { | 172 if (statement.IsUseStrictLiteral()) { |
| 173 set_language_mode(allow_harmony_scoping() ? | 173 set_language_mode(allow_harmony_scoping() ? |
| 174 i::EXTENDED_MODE : i::STRICT_MODE); | 174 EXTENDED_MODE : STRICT_MODE); |
| 175 } else if (!statement.IsStringLiteral()) { | 175 } else if (!statement.IsStringLiteral()) { |
| 176 allow_directive_prologue = false; | 176 allow_directive_prologue = false; |
| 177 } | 177 } |
| 178 } | 178 } |
| 179 } | 179 } |
| 180 return kUnknownSourceElements; | 180 return kUnknownSourceElements; |
| 181 } | 181 } |
| 182 | 182 |
| 183 | 183 |
| 184 #undef CHECK_OK | 184 #undef CHECK_OK |
| (...skipping 24 matching lines...) Expand all Loading... |
| 209 | 209 |
| 210 // Note: Since labels can only be used by 'break' and 'continue' | 210 // Note: Since labels can only be used by 'break' and 'continue' |
| 211 // statements, which themselves are only valid within blocks, | 211 // statements, which themselves are only valid within blocks, |
| 212 // iterations or 'switch' statements (i.e., BreakableStatements), | 212 // iterations or 'switch' statements (i.e., BreakableStatements), |
| 213 // labels can be simply ignored in all other cases; except for | 213 // labels can be simply ignored in all other cases; except for |
| 214 // trivial labeled break statements 'label: break label' which is | 214 // trivial labeled break statements 'label: break label' which is |
| 215 // parsed into an empty statement. | 215 // parsed into an empty statement. |
| 216 | 216 |
| 217 // Keep the source position of the statement | 217 // Keep the source position of the statement |
| 218 switch (peek()) { | 218 switch (peek()) { |
| 219 case i::Token::LBRACE: | 219 case Token::LBRACE: |
| 220 return ParseBlock(ok); | 220 return ParseBlock(ok); |
| 221 | 221 |
| 222 case i::Token::CONST: | 222 case Token::CONST: |
| 223 case i::Token::LET: | 223 case Token::LET: |
| 224 case i::Token::VAR: | 224 case Token::VAR: |
| 225 return ParseVariableStatement(kStatement, ok); | 225 return ParseVariableStatement(kStatement, ok); |
| 226 | 226 |
| 227 case i::Token::SEMICOLON: | 227 case Token::SEMICOLON: |
| 228 Next(); | 228 Next(); |
| 229 return Statement::Default(); | 229 return Statement::Default(); |
| 230 | 230 |
| 231 case i::Token::IF: | 231 case Token::IF: |
| 232 return ParseIfStatement(ok); | 232 return ParseIfStatement(ok); |
| 233 | 233 |
| 234 case i::Token::DO: | 234 case Token::DO: |
| 235 return ParseDoWhileStatement(ok); | 235 return ParseDoWhileStatement(ok); |
| 236 | 236 |
| 237 case i::Token::WHILE: | 237 case Token::WHILE: |
| 238 return ParseWhileStatement(ok); | 238 return ParseWhileStatement(ok); |
| 239 | 239 |
| 240 case i::Token::FOR: | 240 case Token::FOR: |
| 241 return ParseForStatement(ok); | 241 return ParseForStatement(ok); |
| 242 | 242 |
| 243 case i::Token::CONTINUE: | 243 case Token::CONTINUE: |
| 244 return ParseContinueStatement(ok); | 244 return ParseContinueStatement(ok); |
| 245 | 245 |
| 246 case i::Token::BREAK: | 246 case Token::BREAK: |
| 247 return ParseBreakStatement(ok); | 247 return ParseBreakStatement(ok); |
| 248 | 248 |
| 249 case i::Token::RETURN: | 249 case Token::RETURN: |
| 250 return ParseReturnStatement(ok); | 250 return ParseReturnStatement(ok); |
| 251 | 251 |
| 252 case i::Token::WITH: | 252 case Token::WITH: |
| 253 return ParseWithStatement(ok); | 253 return ParseWithStatement(ok); |
| 254 | 254 |
| 255 case i::Token::SWITCH: | 255 case Token::SWITCH: |
| 256 return ParseSwitchStatement(ok); | 256 return ParseSwitchStatement(ok); |
| 257 | 257 |
| 258 case i::Token::THROW: | 258 case Token::THROW: |
| 259 return ParseThrowStatement(ok); | 259 return ParseThrowStatement(ok); |
| 260 | 260 |
| 261 case i::Token::TRY: | 261 case Token::TRY: |
| 262 return ParseTryStatement(ok); | 262 return ParseTryStatement(ok); |
| 263 | 263 |
| 264 case i::Token::FUNCTION: { | 264 case Token::FUNCTION: { |
| 265 i::Scanner::Location start_location = scanner()->peek_location(); | 265 Scanner::Location start_location = scanner()->peek_location(); |
| 266 Statement statement = ParseFunctionDeclaration(CHECK_OK); | 266 Statement statement = ParseFunctionDeclaration(CHECK_OK); |
| 267 i::Scanner::Location end_location = scanner()->location(); | 267 Scanner::Location end_location = scanner()->location(); |
| 268 if (!is_classic_mode()) { | 268 if (!is_classic_mode()) { |
| 269 ReportMessageAt(start_location.beg_pos, end_location.end_pos, | 269 ReportMessageAt(start_location.beg_pos, end_location.end_pos, |
| 270 "strict_function", NULL); | 270 "strict_function", NULL); |
| 271 *ok = false; | 271 *ok = false; |
| 272 return Statement::Default(); | 272 return Statement::Default(); |
| 273 } else { | 273 } else { |
| 274 return statement; | 274 return statement; |
| 275 } | 275 } |
| 276 } | 276 } |
| 277 | 277 |
| 278 case i::Token::DEBUGGER: | 278 case Token::DEBUGGER: |
| 279 return ParseDebuggerStatement(ok); | 279 return ParseDebuggerStatement(ok); |
| 280 | 280 |
| 281 default: | 281 default: |
| 282 return ParseExpressionOrLabelledStatement(ok); | 282 return ParseExpressionOrLabelledStatement(ok); |
| 283 } | 283 } |
| 284 } | 284 } |
| 285 | 285 |
| 286 | 286 |
| 287 PreParser::Statement PreParser::ParseFunctionDeclaration(bool* ok) { | 287 PreParser::Statement PreParser::ParseFunctionDeclaration(bool* ok) { |
| 288 // FunctionDeclaration :: | 288 // FunctionDeclaration :: |
| 289 // 'function' Identifier '(' FormalParameterListopt ')' '{' FunctionBody '}' | 289 // 'function' Identifier '(' FormalParameterListopt ')' '{' FunctionBody '}' |
| 290 // GeneratorDeclaration :: | 290 // GeneratorDeclaration :: |
| 291 // 'function' '*' Identifier '(' FormalParameterListopt ')' | 291 // 'function' '*' Identifier '(' FormalParameterListopt ')' |
| 292 // '{' FunctionBody '}' | 292 // '{' FunctionBody '}' |
| 293 Expect(i::Token::FUNCTION, CHECK_OK); | 293 Expect(Token::FUNCTION, CHECK_OK); |
| 294 | 294 |
| 295 bool is_generator = allow_generators() && Check(i::Token::MUL); | 295 bool is_generator = allow_generators() && Check(Token::MUL); |
| 296 Identifier identifier = ParseIdentifier(CHECK_OK); | 296 Identifier identifier = ParseIdentifier(CHECK_OK); |
| 297 i::Scanner::Location location = scanner()->location(); | 297 Scanner::Location location = scanner()->location(); |
| 298 | 298 |
| 299 Expression function_value = ParseFunctionLiteral(is_generator, CHECK_OK); | 299 Expression function_value = ParseFunctionLiteral(is_generator, CHECK_OK); |
| 300 | 300 |
| 301 if (function_value.IsStrictFunction() && | 301 if (function_value.IsStrictFunction() && |
| 302 !identifier.IsValidStrictVariable()) { | 302 !identifier.IsValidStrictVariable()) { |
| 303 // Strict mode violation, using either reserved word or eval/arguments | 303 // Strict mode violation, using either reserved word or eval/arguments |
| 304 // as name of strict function. | 304 // as name of strict function. |
| 305 const char* type = "strict_function_name"; | 305 const char* type = "strict_function_name"; |
| 306 if (identifier.IsFutureStrictReserved() || identifier.IsYield()) { | 306 if (identifier.IsFutureStrictReserved() || identifier.IsYield()) { |
| 307 type = "strict_reserved_word"; | 307 type = "strict_reserved_word"; |
| 308 } | 308 } |
| 309 ReportMessageAt(location, type, NULL); | 309 ReportMessageAt(location, type, NULL); |
| 310 *ok = false; | 310 *ok = false; |
| 311 } | 311 } |
| 312 return Statement::FunctionDeclaration(); | 312 return Statement::FunctionDeclaration(); |
| 313 } | 313 } |
| 314 | 314 |
| 315 | 315 |
| 316 PreParser::Statement PreParser::ParseBlock(bool* ok) { | 316 PreParser::Statement PreParser::ParseBlock(bool* ok) { |
| 317 // Block :: | 317 // Block :: |
| 318 // '{' Statement* '}' | 318 // '{' Statement* '}' |
| 319 | 319 |
| 320 // Note that a Block does not introduce a new execution scope! | 320 // Note that a Block does not introduce a new execution scope! |
| 321 // (ECMA-262, 3rd, 12.2) | 321 // (ECMA-262, 3rd, 12.2) |
| 322 // | 322 // |
| 323 Expect(i::Token::LBRACE, CHECK_OK); | 323 Expect(Token::LBRACE, CHECK_OK); |
| 324 while (peek() != i::Token::RBRACE) { | 324 while (peek() != Token::RBRACE) { |
| 325 if (is_extended_mode()) { | 325 if (is_extended_mode()) { |
| 326 ParseSourceElement(CHECK_OK); | 326 ParseSourceElement(CHECK_OK); |
| 327 } else { | 327 } else { |
| 328 ParseStatement(CHECK_OK); | 328 ParseStatement(CHECK_OK); |
| 329 } | 329 } |
| 330 } | 330 } |
| 331 Expect(i::Token::RBRACE, ok); | 331 Expect(Token::RBRACE, ok); |
| 332 return Statement::Default(); | 332 return Statement::Default(); |
| 333 } | 333 } |
| 334 | 334 |
| 335 | 335 |
| 336 PreParser::Statement PreParser::ParseVariableStatement( | 336 PreParser::Statement PreParser::ParseVariableStatement( |
| 337 VariableDeclarationContext var_context, | 337 VariableDeclarationContext var_context, |
| 338 bool* ok) { | 338 bool* ok) { |
| 339 // VariableStatement :: | 339 // VariableStatement :: |
| 340 // VariableDeclarations ';' | 340 // VariableDeclarations ';' |
| 341 | 341 |
| (...skipping 23 matching lines...) Expand all Loading... |
| 365 // | 365 // |
| 366 // ConstDeclaration :: | 366 // ConstDeclaration :: |
| 367 // const ConstBinding (',' ConstBinding)* ';' | 367 // const ConstBinding (',' ConstBinding)* ';' |
| 368 // ConstBinding :: | 368 // ConstBinding :: |
| 369 // Identifier '=' AssignmentExpression | 369 // Identifier '=' AssignmentExpression |
| 370 // | 370 // |
| 371 // TODO(ES6): | 371 // TODO(ES6): |
| 372 // ConstBinding :: | 372 // ConstBinding :: |
| 373 // BindingPattern '=' AssignmentExpression | 373 // BindingPattern '=' AssignmentExpression |
| 374 bool require_initializer = false; | 374 bool require_initializer = false; |
| 375 if (peek() == i::Token::VAR) { | 375 if (peek() == Token::VAR) { |
| 376 Consume(i::Token::VAR); | 376 Consume(Token::VAR); |
| 377 } else if (peek() == i::Token::CONST) { | 377 } else if (peek() == Token::CONST) { |
| 378 // TODO(ES6): The ES6 Draft Rev4 section 12.2.2 reads: | 378 // TODO(ES6): The ES6 Draft Rev4 section 12.2.2 reads: |
| 379 // | 379 // |
| 380 // ConstDeclaration : const ConstBinding (',' ConstBinding)* ';' | 380 // ConstDeclaration : const ConstBinding (',' ConstBinding)* ';' |
| 381 // | 381 // |
| 382 // * It is a Syntax Error if the code that matches this production is not | 382 // * It is a Syntax Error if the code that matches this production is not |
| 383 // contained in extended code. | 383 // contained in extended code. |
| 384 // | 384 // |
| 385 // However disallowing const in classic mode will break compatibility with | 385 // However disallowing const in classic mode will break compatibility with |
| 386 // existing pages. Therefore we keep allowing const with the old | 386 // existing pages. Therefore we keep allowing const with the old |
| 387 // non-harmony semantics in classic mode. | 387 // non-harmony semantics in classic mode. |
| 388 Consume(i::Token::CONST); | 388 Consume(Token::CONST); |
| 389 switch (language_mode()) { | 389 switch (language_mode()) { |
| 390 case i::CLASSIC_MODE: | 390 case CLASSIC_MODE: |
| 391 break; | 391 break; |
| 392 case i::STRICT_MODE: { | 392 case STRICT_MODE: { |
| 393 i::Scanner::Location location = scanner()->peek_location(); | 393 Scanner::Location location = scanner()->peek_location(); |
| 394 ReportMessageAt(location, "strict_const", NULL); | 394 ReportMessageAt(location, "strict_const", NULL); |
| 395 *ok = false; | 395 *ok = false; |
| 396 return Statement::Default(); | 396 return Statement::Default(); |
| 397 } | 397 } |
| 398 case i::EXTENDED_MODE: | 398 case EXTENDED_MODE: |
| 399 if (var_context != kSourceElement && | 399 if (var_context != kSourceElement && |
| 400 var_context != kForStatement) { | 400 var_context != kForStatement) { |
| 401 i::Scanner::Location location = scanner()->peek_location(); | 401 Scanner::Location location = scanner()->peek_location(); |
| 402 ReportMessageAt(location.beg_pos, location.end_pos, | 402 ReportMessageAt(location.beg_pos, location.end_pos, |
| 403 "unprotected_const", NULL); | 403 "unprotected_const", NULL); |
| 404 *ok = false; | 404 *ok = false; |
| 405 return Statement::Default(); | 405 return Statement::Default(); |
| 406 } | 406 } |
| 407 require_initializer = true; | 407 require_initializer = true; |
| 408 break; | 408 break; |
| 409 } | 409 } |
| 410 } else if (peek() == i::Token::LET) { | 410 } else if (peek() == Token::LET) { |
| 411 // ES6 Draft Rev4 section 12.2.1: | 411 // ES6 Draft Rev4 section 12.2.1: |
| 412 // | 412 // |
| 413 // LetDeclaration : let LetBindingList ; | 413 // LetDeclaration : let LetBindingList ; |
| 414 // | 414 // |
| 415 // * It is a Syntax Error if the code that matches this production is not | 415 // * It is a Syntax Error if the code that matches this production is not |
| 416 // contained in extended code. | 416 // contained in extended code. |
| 417 if (!is_extended_mode()) { | 417 if (!is_extended_mode()) { |
| 418 i::Scanner::Location location = scanner()->peek_location(); | 418 Scanner::Location location = scanner()->peek_location(); |
| 419 ReportMessageAt(location.beg_pos, location.end_pos, | 419 ReportMessageAt(location.beg_pos, location.end_pos, |
| 420 "illegal_let", NULL); | 420 "illegal_let", NULL); |
| 421 *ok = false; | 421 *ok = false; |
| 422 return Statement::Default(); | 422 return Statement::Default(); |
| 423 } | 423 } |
| 424 Consume(i::Token::LET); | 424 Consume(Token::LET); |
| 425 if (var_context != kSourceElement && | 425 if (var_context != kSourceElement && |
| 426 var_context != kForStatement) { | 426 var_context != kForStatement) { |
| 427 i::Scanner::Location location = scanner()->peek_location(); | 427 Scanner::Location location = scanner()->peek_location(); |
| 428 ReportMessageAt(location.beg_pos, location.end_pos, | 428 ReportMessageAt(location.beg_pos, location.end_pos, |
| 429 "unprotected_let", NULL); | 429 "unprotected_let", NULL); |
| 430 *ok = false; | 430 *ok = false; |
| 431 return Statement::Default(); | 431 return Statement::Default(); |
| 432 } | 432 } |
| 433 } else { | 433 } else { |
| 434 *ok = false; | 434 *ok = false; |
| 435 return Statement::Default(); | 435 return Statement::Default(); |
| 436 } | 436 } |
| 437 | 437 |
| 438 // The scope of a var/const declared variable anywhere inside a function | 438 // The scope of a var/const declared variable anywhere inside a function |
| 439 // is the entire function (ECMA-262, 3rd, 10.1.3, and 12.2). The scope | 439 // is the entire function (ECMA-262, 3rd, 10.1.3, and 12.2). The scope |
| 440 // of a let declared variable is the scope of the immediately enclosing | 440 // of a let declared variable is the scope of the immediately enclosing |
| 441 // block. | 441 // block. |
| 442 int nvars = 0; // the number of variables declared | 442 int nvars = 0; // the number of variables declared |
| 443 do { | 443 do { |
| 444 // Parse variable name. | 444 // Parse variable name. |
| 445 if (nvars > 0) Consume(i::Token::COMMA); | 445 if (nvars > 0) Consume(Token::COMMA); |
| 446 Identifier identifier = ParseIdentifier(CHECK_OK); | 446 Identifier identifier = ParseIdentifier(CHECK_OK); |
| 447 if (!is_classic_mode() && !identifier.IsValidStrictVariable()) { | 447 if (!is_classic_mode() && !identifier.IsValidStrictVariable()) { |
| 448 StrictModeIdentifierViolation(scanner()->location(), | 448 StrictModeIdentifierViolation(scanner()->location(), |
| 449 "strict_var_name", | 449 "strict_var_name", |
| 450 identifier, | 450 identifier, |
| 451 ok); | 451 ok); |
| 452 return Statement::Default(); | 452 return Statement::Default(); |
| 453 } | 453 } |
| 454 nvars++; | 454 nvars++; |
| 455 if (peek() == i::Token::ASSIGN || require_initializer) { | 455 if (peek() == Token::ASSIGN || require_initializer) { |
| 456 Expect(i::Token::ASSIGN, CHECK_OK); | 456 Expect(Token::ASSIGN, CHECK_OK); |
| 457 ParseAssignmentExpression(var_context != kForStatement, CHECK_OK); | 457 ParseAssignmentExpression(var_context != kForStatement, CHECK_OK); |
| 458 if (decl_props != NULL) *decl_props = kHasInitializers; | 458 if (decl_props != NULL) *decl_props = kHasInitializers; |
| 459 } | 459 } |
| 460 } while (peek() == i::Token::COMMA); | 460 } while (peek() == Token::COMMA); |
| 461 | 461 |
| 462 if (num_decl != NULL) *num_decl = nvars; | 462 if (num_decl != NULL) *num_decl = nvars; |
| 463 return Statement::Default(); | 463 return Statement::Default(); |
| 464 } | 464 } |
| 465 | 465 |
| 466 | 466 |
| 467 PreParser::Statement PreParser::ParseExpressionOrLabelledStatement(bool* ok) { | 467 PreParser::Statement PreParser::ParseExpressionOrLabelledStatement(bool* ok) { |
| 468 // ExpressionStatement | LabelledStatement :: | 468 // ExpressionStatement | LabelledStatement :: |
| 469 // Expression ';' | 469 // Expression ';' |
| 470 // Identifier ':' Statement | 470 // Identifier ':' Statement |
| 471 | 471 |
| 472 Expression expr = ParseExpression(true, CHECK_OK); | 472 Expression expr = ParseExpression(true, CHECK_OK); |
| 473 if (expr.IsRawIdentifier()) { | 473 if (expr.IsRawIdentifier()) { |
| 474 ASSERT(!expr.AsIdentifier().IsFutureReserved()); | 474 ASSERT(!expr.AsIdentifier().IsFutureReserved()); |
| 475 ASSERT(is_classic_mode() || | 475 ASSERT(is_classic_mode() || |
| 476 (!expr.AsIdentifier().IsFutureStrictReserved() && | 476 (!expr.AsIdentifier().IsFutureStrictReserved() && |
| 477 !expr.AsIdentifier().IsYield())); | 477 !expr.AsIdentifier().IsYield())); |
| 478 if (peek() == i::Token::COLON) { | 478 if (peek() == Token::COLON) { |
| 479 Consume(i::Token::COLON); | 479 Consume(Token::COLON); |
| 480 return ParseStatement(ok); | 480 return ParseStatement(ok); |
| 481 } | 481 } |
| 482 // Preparsing is disabled for extensions (because the extension details | 482 // Preparsing is disabled for extensions (because the extension details |
| 483 // aren't passed to lazily compiled functions), so we don't | 483 // aren't passed to lazily compiled functions), so we don't |
| 484 // accept "native function" in the preparser. | 484 // accept "native function" in the preparser. |
| 485 } | 485 } |
| 486 // Parsed expression statement. | 486 // Parsed expression statement. |
| 487 ExpectSemicolon(CHECK_OK); | 487 ExpectSemicolon(CHECK_OK); |
| 488 return Statement::ExpressionStatement(expr); | 488 return Statement::ExpressionStatement(expr); |
| 489 } | 489 } |
| 490 | 490 |
| 491 | 491 |
| 492 PreParser::Statement PreParser::ParseIfStatement(bool* ok) { | 492 PreParser::Statement PreParser::ParseIfStatement(bool* ok) { |
| 493 // IfStatement :: | 493 // IfStatement :: |
| 494 // 'if' '(' Expression ')' Statement ('else' Statement)? | 494 // 'if' '(' Expression ')' Statement ('else' Statement)? |
| 495 | 495 |
| 496 Expect(i::Token::IF, CHECK_OK); | 496 Expect(Token::IF, CHECK_OK); |
| 497 Expect(i::Token::LPAREN, CHECK_OK); | 497 Expect(Token::LPAREN, CHECK_OK); |
| 498 ParseExpression(true, CHECK_OK); | 498 ParseExpression(true, CHECK_OK); |
| 499 Expect(i::Token::RPAREN, CHECK_OK); | 499 Expect(Token::RPAREN, CHECK_OK); |
| 500 ParseStatement(CHECK_OK); | 500 ParseStatement(CHECK_OK); |
| 501 if (peek() == i::Token::ELSE) { | 501 if (peek() == Token::ELSE) { |
| 502 Next(); | 502 Next(); |
| 503 ParseStatement(CHECK_OK); | 503 ParseStatement(CHECK_OK); |
| 504 } | 504 } |
| 505 return Statement::Default(); | 505 return Statement::Default(); |
| 506 } | 506 } |
| 507 | 507 |
| 508 | 508 |
| 509 PreParser::Statement PreParser::ParseContinueStatement(bool* ok) { | 509 PreParser::Statement PreParser::ParseContinueStatement(bool* ok) { |
| 510 // ContinueStatement :: | 510 // ContinueStatement :: |
| 511 // 'continue' [no line terminator] Identifier? ';' | 511 // 'continue' [no line terminator] Identifier? ';' |
| 512 | 512 |
| 513 Expect(i::Token::CONTINUE, CHECK_OK); | 513 Expect(Token::CONTINUE, CHECK_OK); |
| 514 i::Token::Value tok = peek(); | 514 Token::Value tok = peek(); |
| 515 if (!scanner()->HasAnyLineTerminatorBeforeNext() && | 515 if (!scanner()->HasAnyLineTerminatorBeforeNext() && |
| 516 tok != i::Token::SEMICOLON && | 516 tok != Token::SEMICOLON && |
| 517 tok != i::Token::RBRACE && | 517 tok != Token::RBRACE && |
| 518 tok != i::Token::EOS) { | 518 tok != Token::EOS) { |
| 519 ParseIdentifier(CHECK_OK); | 519 ParseIdentifier(CHECK_OK); |
| 520 } | 520 } |
| 521 ExpectSemicolon(CHECK_OK); | 521 ExpectSemicolon(CHECK_OK); |
| 522 return Statement::Default(); | 522 return Statement::Default(); |
| 523 } | 523 } |
| 524 | 524 |
| 525 | 525 |
| 526 PreParser::Statement PreParser::ParseBreakStatement(bool* ok) { | 526 PreParser::Statement PreParser::ParseBreakStatement(bool* ok) { |
| 527 // BreakStatement :: | 527 // BreakStatement :: |
| 528 // 'break' [no line terminator] Identifier? ';' | 528 // 'break' [no line terminator] Identifier? ';' |
| 529 | 529 |
| 530 Expect(i::Token::BREAK, CHECK_OK); | 530 Expect(Token::BREAK, CHECK_OK); |
| 531 i::Token::Value tok = peek(); | 531 Token::Value tok = peek(); |
| 532 if (!scanner()->HasAnyLineTerminatorBeforeNext() && | 532 if (!scanner()->HasAnyLineTerminatorBeforeNext() && |
| 533 tok != i::Token::SEMICOLON && | 533 tok != Token::SEMICOLON && |
| 534 tok != i::Token::RBRACE && | 534 tok != Token::RBRACE && |
| 535 tok != i::Token::EOS) { | 535 tok != Token::EOS) { |
| 536 ParseIdentifier(CHECK_OK); | 536 ParseIdentifier(CHECK_OK); |
| 537 } | 537 } |
| 538 ExpectSemicolon(CHECK_OK); | 538 ExpectSemicolon(CHECK_OK); |
| 539 return Statement::Default(); | 539 return Statement::Default(); |
| 540 } | 540 } |
| 541 | 541 |
| 542 | 542 |
| 543 PreParser::Statement PreParser::ParseReturnStatement(bool* ok) { | 543 PreParser::Statement PreParser::ParseReturnStatement(bool* ok) { |
| 544 // ReturnStatement :: | 544 // ReturnStatement :: |
| 545 // 'return' [no line terminator] Expression? ';' | 545 // 'return' [no line terminator] Expression? ';' |
| 546 | 546 |
| 547 // Consume the return token. It is necessary to do the before | 547 // Consume the return token. It is necessary to do the before |
| 548 // reporting any errors on it, because of the way errors are | 548 // reporting any errors on it, because of the way errors are |
| 549 // reported (underlining). | 549 // reported (underlining). |
| 550 Expect(i::Token::RETURN, CHECK_OK); | 550 Expect(Token::RETURN, CHECK_OK); |
| 551 | 551 |
| 552 // An ECMAScript program is considered syntactically incorrect if it | 552 // An ECMAScript program is considered syntactically incorrect if it |
| 553 // contains a return statement that is not within the body of a | 553 // contains a return statement that is not within the body of a |
| 554 // function. See ECMA-262, section 12.9, page 67. | 554 // function. See ECMA-262, section 12.9, page 67. |
| 555 // This is not handled during preparsing. | 555 // This is not handled during preparsing. |
| 556 | 556 |
| 557 i::Token::Value tok = peek(); | 557 Token::Value tok = peek(); |
| 558 if (!scanner()->HasAnyLineTerminatorBeforeNext() && | 558 if (!scanner()->HasAnyLineTerminatorBeforeNext() && |
| 559 tok != i::Token::SEMICOLON && | 559 tok != Token::SEMICOLON && |
| 560 tok != i::Token::RBRACE && | 560 tok != Token::RBRACE && |
| 561 tok != i::Token::EOS) { | 561 tok != Token::EOS) { |
| 562 ParseExpression(true, CHECK_OK); | 562 ParseExpression(true, CHECK_OK); |
| 563 } | 563 } |
| 564 ExpectSemicolon(CHECK_OK); | 564 ExpectSemicolon(CHECK_OK); |
| 565 return Statement::Default(); | 565 return Statement::Default(); |
| 566 } | 566 } |
| 567 | 567 |
| 568 | 568 |
| 569 PreParser::Statement PreParser::ParseWithStatement(bool* ok) { | 569 PreParser::Statement PreParser::ParseWithStatement(bool* ok) { |
| 570 // WithStatement :: | 570 // WithStatement :: |
| 571 // 'with' '(' Expression ')' Statement | 571 // 'with' '(' Expression ')' Statement |
| 572 Expect(i::Token::WITH, CHECK_OK); | 572 Expect(Token::WITH, CHECK_OK); |
| 573 if (!is_classic_mode()) { | 573 if (!is_classic_mode()) { |
| 574 i::Scanner::Location location = scanner()->location(); | 574 Scanner::Location location = scanner()->location(); |
| 575 ReportMessageAt(location, "strict_mode_with", NULL); | 575 ReportMessageAt(location, "strict_mode_with", NULL); |
| 576 *ok = false; | 576 *ok = false; |
| 577 return Statement::Default(); | 577 return Statement::Default(); |
| 578 } | 578 } |
| 579 Expect(i::Token::LPAREN, CHECK_OK); | 579 Expect(Token::LPAREN, CHECK_OK); |
| 580 ParseExpression(true, CHECK_OK); | 580 ParseExpression(true, CHECK_OK); |
| 581 Expect(i::Token::RPAREN, CHECK_OK); | 581 Expect(Token::RPAREN, CHECK_OK); |
| 582 | 582 |
| 583 Scope::InsideWith iw(scope_); | 583 Scope::InsideWith iw(scope_); |
| 584 ParseStatement(CHECK_OK); | 584 ParseStatement(CHECK_OK); |
| 585 return Statement::Default(); | 585 return Statement::Default(); |
| 586 } | 586 } |
| 587 | 587 |
| 588 | 588 |
| 589 PreParser::Statement PreParser::ParseSwitchStatement(bool* ok) { | 589 PreParser::Statement PreParser::ParseSwitchStatement(bool* ok) { |
| 590 // SwitchStatement :: | 590 // SwitchStatement :: |
| 591 // 'switch' '(' Expression ')' '{' CaseClause* '}' | 591 // 'switch' '(' Expression ')' '{' CaseClause* '}' |
| 592 | 592 |
| 593 Expect(i::Token::SWITCH, CHECK_OK); | 593 Expect(Token::SWITCH, CHECK_OK); |
| 594 Expect(i::Token::LPAREN, CHECK_OK); | 594 Expect(Token::LPAREN, CHECK_OK); |
| 595 ParseExpression(true, CHECK_OK); | 595 ParseExpression(true, CHECK_OK); |
| 596 Expect(i::Token::RPAREN, CHECK_OK); | 596 Expect(Token::RPAREN, CHECK_OK); |
| 597 | 597 |
| 598 Expect(i::Token::LBRACE, CHECK_OK); | 598 Expect(Token::LBRACE, CHECK_OK); |
| 599 i::Token::Value token = peek(); | 599 Token::Value token = peek(); |
| 600 while (token != i::Token::RBRACE) { | 600 while (token != Token::RBRACE) { |
| 601 if (token == i::Token::CASE) { | 601 if (token == Token::CASE) { |
| 602 Expect(i::Token::CASE, CHECK_OK); | 602 Expect(Token::CASE, CHECK_OK); |
| 603 ParseExpression(true, CHECK_OK); | 603 ParseExpression(true, CHECK_OK); |
| 604 } else { | 604 } else { |
| 605 Expect(i::Token::DEFAULT, CHECK_OK); | 605 Expect(Token::DEFAULT, CHECK_OK); |
| 606 } | 606 } |
| 607 Expect(i::Token::COLON, CHECK_OK); | 607 Expect(Token::COLON, CHECK_OK); |
| 608 token = peek(); | 608 token = peek(); |
| 609 while (token != i::Token::CASE && | 609 while (token != Token::CASE && |
| 610 token != i::Token::DEFAULT && | 610 token != Token::DEFAULT && |
| 611 token != i::Token::RBRACE) { | 611 token != Token::RBRACE) { |
| 612 ParseStatement(CHECK_OK); | 612 ParseStatement(CHECK_OK); |
| 613 token = peek(); | 613 token = peek(); |
| 614 } | 614 } |
| 615 } | 615 } |
| 616 Expect(i::Token::RBRACE, ok); | 616 Expect(Token::RBRACE, ok); |
| 617 return Statement::Default(); | 617 return Statement::Default(); |
| 618 } | 618 } |
| 619 | 619 |
| 620 | 620 |
| 621 PreParser::Statement PreParser::ParseDoWhileStatement(bool* ok) { | 621 PreParser::Statement PreParser::ParseDoWhileStatement(bool* ok) { |
| 622 // DoStatement :: | 622 // DoStatement :: |
| 623 // 'do' Statement 'while' '(' Expression ')' ';' | 623 // 'do' Statement 'while' '(' Expression ')' ';' |
| 624 | 624 |
| 625 Expect(i::Token::DO, CHECK_OK); | 625 Expect(Token::DO, CHECK_OK); |
| 626 ParseStatement(CHECK_OK); | 626 ParseStatement(CHECK_OK); |
| 627 Expect(i::Token::WHILE, CHECK_OK); | 627 Expect(Token::WHILE, CHECK_OK); |
| 628 Expect(i::Token::LPAREN, CHECK_OK); | 628 Expect(Token::LPAREN, CHECK_OK); |
| 629 ParseExpression(true, CHECK_OK); | 629 ParseExpression(true, CHECK_OK); |
| 630 Expect(i::Token::RPAREN, ok); | 630 Expect(Token::RPAREN, ok); |
| 631 if (peek() == i::Token::SEMICOLON) Consume(i::Token::SEMICOLON); | 631 if (peek() == Token::SEMICOLON) Consume(Token::SEMICOLON); |
| 632 return Statement::Default(); | 632 return Statement::Default(); |
| 633 } | 633 } |
| 634 | 634 |
| 635 | 635 |
| 636 PreParser::Statement PreParser::ParseWhileStatement(bool* ok) { | 636 PreParser::Statement PreParser::ParseWhileStatement(bool* ok) { |
| 637 // WhileStatement :: | 637 // WhileStatement :: |
| 638 // 'while' '(' Expression ')' Statement | 638 // 'while' '(' Expression ')' Statement |
| 639 | 639 |
| 640 Expect(i::Token::WHILE, CHECK_OK); | 640 Expect(Token::WHILE, CHECK_OK); |
| 641 Expect(i::Token::LPAREN, CHECK_OK); | 641 Expect(Token::LPAREN, CHECK_OK); |
| 642 ParseExpression(true, CHECK_OK); | 642 ParseExpression(true, CHECK_OK); |
| 643 Expect(i::Token::RPAREN, CHECK_OK); | 643 Expect(Token::RPAREN, CHECK_OK); |
| 644 ParseStatement(ok); | 644 ParseStatement(ok); |
| 645 return Statement::Default(); | 645 return Statement::Default(); |
| 646 } | 646 } |
| 647 | 647 |
| 648 | 648 |
| 649 bool PreParser::CheckInOrOf(bool accept_OF) { | 649 bool PreParser::CheckInOrOf(bool accept_OF) { |
| 650 if (Check(Token::IN) || | 650 if (Check(Token::IN) || |
| 651 (allow_for_of() && accept_OF && | 651 (allow_for_of() && accept_OF && |
| 652 CheckContextualKeyword(CStrVector("of")))) { | 652 CheckContextualKeyword(CStrVector("of")))) { |
| 653 return true; | 653 return true; |
| 654 } | 654 } |
| 655 return false; | 655 return false; |
| 656 } | 656 } |
| 657 | 657 |
| 658 | 658 |
| 659 PreParser::Statement PreParser::ParseForStatement(bool* ok) { | 659 PreParser::Statement PreParser::ParseForStatement(bool* ok) { |
| 660 // ForStatement :: | 660 // ForStatement :: |
| 661 // 'for' '(' Expression? ';' Expression? ';' Expression? ')' Statement | 661 // 'for' '(' Expression? ';' Expression? ';' Expression? ')' Statement |
| 662 | 662 |
| 663 Expect(i::Token::FOR, CHECK_OK); | 663 Expect(Token::FOR, CHECK_OK); |
| 664 Expect(i::Token::LPAREN, CHECK_OK); | 664 Expect(Token::LPAREN, CHECK_OK); |
| 665 if (peek() != i::Token::SEMICOLON) { | 665 if (peek() != Token::SEMICOLON) { |
| 666 if (peek() == i::Token::VAR || peek() == i::Token::CONST || | 666 if (peek() == Token::VAR || peek() == Token::CONST || |
| 667 peek() == i::Token::LET) { | 667 peek() == Token::LET) { |
| 668 bool is_let = peek() == i::Token::LET; | 668 bool is_let = peek() == Token::LET; |
| 669 int decl_count; | 669 int decl_count; |
| 670 VariableDeclarationProperties decl_props = kHasNoInitializers; | 670 VariableDeclarationProperties decl_props = kHasNoInitializers; |
| 671 ParseVariableDeclarations( | 671 ParseVariableDeclarations( |
| 672 kForStatement, &decl_props, &decl_count, CHECK_OK); | 672 kForStatement, &decl_props, &decl_count, CHECK_OK); |
| 673 bool has_initializers = decl_props == kHasInitializers; | 673 bool has_initializers = decl_props == kHasInitializers; |
| 674 bool accept_IN = decl_count == 1 && !(is_let && has_initializers); | 674 bool accept_IN = decl_count == 1 && !(is_let && has_initializers); |
| 675 bool accept_OF = !has_initializers; | 675 bool accept_OF = !has_initializers; |
| 676 if (accept_IN && CheckInOrOf(accept_OF)) { | 676 if (accept_IN && CheckInOrOf(accept_OF)) { |
| 677 ParseExpression(true, CHECK_OK); | 677 ParseExpression(true, CHECK_OK); |
| 678 Expect(i::Token::RPAREN, CHECK_OK); | 678 Expect(Token::RPAREN, CHECK_OK); |
| 679 | 679 |
| 680 ParseStatement(CHECK_OK); | 680 ParseStatement(CHECK_OK); |
| 681 return Statement::Default(); | 681 return Statement::Default(); |
| 682 } | 682 } |
| 683 } else { | 683 } else { |
| 684 Expression lhs = ParseExpression(false, CHECK_OK); | 684 Expression lhs = ParseExpression(false, CHECK_OK); |
| 685 if (CheckInOrOf(lhs.IsIdentifier())) { | 685 if (CheckInOrOf(lhs.IsIdentifier())) { |
| 686 ParseExpression(true, CHECK_OK); | 686 ParseExpression(true, CHECK_OK); |
| 687 Expect(i::Token::RPAREN, CHECK_OK); | 687 Expect(Token::RPAREN, CHECK_OK); |
| 688 | 688 |
| 689 ParseStatement(CHECK_OK); | 689 ParseStatement(CHECK_OK); |
| 690 return Statement::Default(); | 690 return Statement::Default(); |
| 691 } | 691 } |
| 692 } | 692 } |
| 693 } | 693 } |
| 694 | 694 |
| 695 // Parsed initializer at this point. | 695 // Parsed initializer at this point. |
| 696 Expect(i::Token::SEMICOLON, CHECK_OK); | 696 Expect(Token::SEMICOLON, CHECK_OK); |
| 697 | 697 |
| 698 if (peek() != i::Token::SEMICOLON) { | 698 if (peek() != Token::SEMICOLON) { |
| 699 ParseExpression(true, CHECK_OK); | 699 ParseExpression(true, CHECK_OK); |
| 700 } | 700 } |
| 701 Expect(i::Token::SEMICOLON, CHECK_OK); | 701 Expect(Token::SEMICOLON, CHECK_OK); |
| 702 | 702 |
| 703 if (peek() != i::Token::RPAREN) { | 703 if (peek() != Token::RPAREN) { |
| 704 ParseExpression(true, CHECK_OK); | 704 ParseExpression(true, CHECK_OK); |
| 705 } | 705 } |
| 706 Expect(i::Token::RPAREN, CHECK_OK); | 706 Expect(Token::RPAREN, CHECK_OK); |
| 707 | 707 |
| 708 ParseStatement(ok); | 708 ParseStatement(ok); |
| 709 return Statement::Default(); | 709 return Statement::Default(); |
| 710 } | 710 } |
| 711 | 711 |
| 712 | 712 |
| 713 PreParser::Statement PreParser::ParseThrowStatement(bool* ok) { | 713 PreParser::Statement PreParser::ParseThrowStatement(bool* ok) { |
| 714 // ThrowStatement :: | 714 // ThrowStatement :: |
| 715 // 'throw' [no line terminator] Expression ';' | 715 // 'throw' [no line terminator] Expression ';' |
| 716 | 716 |
| 717 Expect(i::Token::THROW, CHECK_OK); | 717 Expect(Token::THROW, CHECK_OK); |
| 718 if (scanner()->HasAnyLineTerminatorBeforeNext()) { | 718 if (scanner()->HasAnyLineTerminatorBeforeNext()) { |
| 719 i::Scanner::Location pos = scanner()->location(); | 719 Scanner::Location pos = scanner()->location(); |
| 720 ReportMessageAt(pos, "newline_after_throw", NULL); | 720 ReportMessageAt(pos, "newline_after_throw", NULL); |
| 721 *ok = false; | 721 *ok = false; |
| 722 return Statement::Default(); | 722 return Statement::Default(); |
| 723 } | 723 } |
| 724 ParseExpression(true, CHECK_OK); | 724 ParseExpression(true, CHECK_OK); |
| 725 ExpectSemicolon(ok); | 725 ExpectSemicolon(ok); |
| 726 return Statement::Default(); | 726 return Statement::Default(); |
| 727 } | 727 } |
| 728 | 728 |
| 729 | 729 |
| 730 PreParser::Statement PreParser::ParseTryStatement(bool* ok) { | 730 PreParser::Statement PreParser::ParseTryStatement(bool* ok) { |
| 731 // TryStatement :: | 731 // TryStatement :: |
| 732 // 'try' Block Catch | 732 // 'try' Block Catch |
| 733 // 'try' Block Finally | 733 // 'try' Block Finally |
| 734 // 'try' Block Catch Finally | 734 // 'try' Block Catch Finally |
| 735 // | 735 // |
| 736 // Catch :: | 736 // Catch :: |
| 737 // 'catch' '(' Identifier ')' Block | 737 // 'catch' '(' Identifier ')' Block |
| 738 // | 738 // |
| 739 // Finally :: | 739 // Finally :: |
| 740 // 'finally' Block | 740 // 'finally' Block |
| 741 | 741 |
| 742 // In preparsing, allow any number of catch/finally blocks, including zero | 742 // In preparsing, allow any number of catch/finally blocks, including zero |
| 743 // of both. | 743 // of both. |
| 744 | 744 |
| 745 Expect(i::Token::TRY, CHECK_OK); | 745 Expect(Token::TRY, CHECK_OK); |
| 746 | 746 |
| 747 ParseBlock(CHECK_OK); | 747 ParseBlock(CHECK_OK); |
| 748 | 748 |
| 749 bool catch_or_finally_seen = false; | 749 bool catch_or_finally_seen = false; |
| 750 if (peek() == i::Token::CATCH) { | 750 if (peek() == Token::CATCH) { |
| 751 Consume(i::Token::CATCH); | 751 Consume(Token::CATCH); |
| 752 Expect(i::Token::LPAREN, CHECK_OK); | 752 Expect(Token::LPAREN, CHECK_OK); |
| 753 Identifier id = ParseIdentifier(CHECK_OK); | 753 Identifier id = ParseIdentifier(CHECK_OK); |
| 754 if (!is_classic_mode() && !id.IsValidStrictVariable()) { | 754 if (!is_classic_mode() && !id.IsValidStrictVariable()) { |
| 755 StrictModeIdentifierViolation(scanner()->location(), | 755 StrictModeIdentifierViolation(scanner()->location(), |
| 756 "strict_catch_variable", | 756 "strict_catch_variable", |
| 757 id, | 757 id, |
| 758 ok); | 758 ok); |
| 759 return Statement::Default(); | 759 return Statement::Default(); |
| 760 } | 760 } |
| 761 Expect(i::Token::RPAREN, CHECK_OK); | 761 Expect(Token::RPAREN, CHECK_OK); |
| 762 { Scope::InsideWith iw(scope_); | 762 { Scope::InsideWith iw(scope_); |
| 763 ParseBlock(CHECK_OK); | 763 ParseBlock(CHECK_OK); |
| 764 } | 764 } |
| 765 catch_or_finally_seen = true; | 765 catch_or_finally_seen = true; |
| 766 } | 766 } |
| 767 if (peek() == i::Token::FINALLY) { | 767 if (peek() == Token::FINALLY) { |
| 768 Consume(i::Token::FINALLY); | 768 Consume(Token::FINALLY); |
| 769 ParseBlock(CHECK_OK); | 769 ParseBlock(CHECK_OK); |
| 770 catch_or_finally_seen = true; | 770 catch_or_finally_seen = true; |
| 771 } | 771 } |
| 772 if (!catch_or_finally_seen) { | 772 if (!catch_or_finally_seen) { |
| 773 *ok = false; | 773 *ok = false; |
| 774 } | 774 } |
| 775 return Statement::Default(); | 775 return Statement::Default(); |
| 776 } | 776 } |
| 777 | 777 |
| 778 | 778 |
| 779 PreParser::Statement PreParser::ParseDebuggerStatement(bool* ok) { | 779 PreParser::Statement PreParser::ParseDebuggerStatement(bool* ok) { |
| 780 // In ECMA-262 'debugger' is defined as a reserved keyword. In some browser | 780 // In ECMA-262 'debugger' is defined as a reserved keyword. In some browser |
| 781 // contexts this is used as a statement which invokes the debugger as if a | 781 // contexts this is used as a statement which invokes the debugger as if a |
| 782 // break point is present. | 782 // break point is present. |
| 783 // DebuggerStatement :: | 783 // DebuggerStatement :: |
| 784 // 'debugger' ';' | 784 // 'debugger' ';' |
| 785 | 785 |
| 786 Expect(i::Token::DEBUGGER, CHECK_OK); | 786 Expect(Token::DEBUGGER, CHECK_OK); |
| 787 ExpectSemicolon(ok); | 787 ExpectSemicolon(ok); |
| 788 return Statement::Default(); | 788 return Statement::Default(); |
| 789 } | 789 } |
| 790 | 790 |
| 791 | 791 |
| 792 #undef CHECK_OK | 792 #undef CHECK_OK |
| 793 #define CHECK_OK ok); \ | 793 #define CHECK_OK ok); \ |
| 794 if (!*ok) return Expression::Default(); \ | 794 if (!*ok) return Expression::Default(); \ |
| 795 ((void)0 | 795 ((void)0 |
| 796 #define DUMMY ) // to make indentation work | 796 #define DUMMY ) // to make indentation work |
| 797 #undef DUMMY | 797 #undef DUMMY |
| 798 | 798 |
| 799 | 799 |
| 800 // Precedence = 1 | 800 // Precedence = 1 |
| 801 PreParser::Expression PreParser::ParseExpression(bool accept_IN, bool* ok) { | 801 PreParser::Expression PreParser::ParseExpression(bool accept_IN, bool* ok) { |
| 802 // Expression :: | 802 // Expression :: |
| 803 // AssignmentExpression | 803 // AssignmentExpression |
| 804 // Expression ',' AssignmentExpression | 804 // Expression ',' AssignmentExpression |
| 805 | 805 |
| 806 Expression result = ParseAssignmentExpression(accept_IN, CHECK_OK); | 806 Expression result = ParseAssignmentExpression(accept_IN, CHECK_OK); |
| 807 while (peek() == i::Token::COMMA) { | 807 while (peek() == Token::COMMA) { |
| 808 Expect(i::Token::COMMA, CHECK_OK); | 808 Expect(Token::COMMA, CHECK_OK); |
| 809 ParseAssignmentExpression(accept_IN, CHECK_OK); | 809 ParseAssignmentExpression(accept_IN, CHECK_OK); |
| 810 result = Expression::Default(); | 810 result = Expression::Default(); |
| 811 } | 811 } |
| 812 return result; | 812 return result; |
| 813 } | 813 } |
| 814 | 814 |
| 815 | 815 |
| 816 // Precedence = 2 | 816 // Precedence = 2 |
| 817 PreParser::Expression PreParser::ParseAssignmentExpression(bool accept_IN, | 817 PreParser::Expression PreParser::ParseAssignmentExpression(bool accept_IN, |
| 818 bool* ok) { | 818 bool* ok) { |
| 819 // AssignmentExpression :: | 819 // AssignmentExpression :: |
| 820 // ConditionalExpression | 820 // ConditionalExpression |
| 821 // YieldExpression | 821 // YieldExpression |
| 822 // LeftHandSideExpression AssignmentOperator AssignmentExpression | 822 // LeftHandSideExpression AssignmentOperator AssignmentExpression |
| 823 | 823 |
| 824 if (scope_->is_generator() && peek() == i::Token::YIELD) { | 824 if (scope_->is_generator() && peek() == Token::YIELD) { |
| 825 return ParseYieldExpression(ok); | 825 return ParseYieldExpression(ok); |
| 826 } | 826 } |
| 827 | 827 |
| 828 i::Scanner::Location before = scanner()->peek_location(); | 828 Scanner::Location before = scanner()->peek_location(); |
| 829 Expression expression = ParseConditionalExpression(accept_IN, CHECK_OK); | 829 Expression expression = ParseConditionalExpression(accept_IN, CHECK_OK); |
| 830 | 830 |
| 831 if (!i::Token::IsAssignmentOp(peek())) { | 831 if (!Token::IsAssignmentOp(peek())) { |
| 832 // Parsed conditional expression only (no assignment). | 832 // Parsed conditional expression only (no assignment). |
| 833 return expression; | 833 return expression; |
| 834 } | 834 } |
| 835 | 835 |
| 836 if (!is_classic_mode() && | 836 if (!is_classic_mode() && |
| 837 expression.IsIdentifier() && | 837 expression.IsIdentifier() && |
| 838 expression.AsIdentifier().IsEvalOrArguments()) { | 838 expression.AsIdentifier().IsEvalOrArguments()) { |
| 839 i::Scanner::Location after = scanner()->location(); | 839 Scanner::Location after = scanner()->location(); |
| 840 ReportMessageAt(before.beg_pos, after.end_pos, | 840 ReportMessageAt(before.beg_pos, after.end_pos, |
| 841 "strict_lhs_assignment", NULL); | 841 "strict_lhs_assignment", NULL); |
| 842 *ok = false; | 842 *ok = false; |
| 843 return Expression::Default(); | 843 return Expression::Default(); |
| 844 } | 844 } |
| 845 | 845 |
| 846 i::Token::Value op = Next(); // Get assignment operator. | 846 Token::Value op = Next(); // Get assignment operator. |
| 847 ParseAssignmentExpression(accept_IN, CHECK_OK); | 847 ParseAssignmentExpression(accept_IN, CHECK_OK); |
| 848 | 848 |
| 849 if ((op == i::Token::ASSIGN) && expression.IsThisProperty()) { | 849 if ((op == Token::ASSIGN) && expression.IsThisProperty()) { |
| 850 scope_->AddProperty(); | 850 scope_->AddProperty(); |
| 851 } | 851 } |
| 852 | 852 |
| 853 return Expression::Default(); | 853 return Expression::Default(); |
| 854 } | 854 } |
| 855 | 855 |
| 856 | 856 |
| 857 // Precedence = 3 | 857 // Precedence = 3 |
| 858 PreParser::Expression PreParser::ParseYieldExpression(bool* ok) { | 858 PreParser::Expression PreParser::ParseYieldExpression(bool* ok) { |
| 859 // YieldExpression :: | 859 // YieldExpression :: |
| 860 // 'yield' '*'? AssignmentExpression | 860 // 'yield' '*'? AssignmentExpression |
| 861 Consume(i::Token::YIELD); | 861 Consume(Token::YIELD); |
| 862 Check(i::Token::MUL); | 862 Check(Token::MUL); |
| 863 | 863 |
| 864 ParseAssignmentExpression(false, CHECK_OK); | 864 ParseAssignmentExpression(false, CHECK_OK); |
| 865 | 865 |
| 866 return Expression::Default(); | 866 return Expression::Default(); |
| 867 } | 867 } |
| 868 | 868 |
| 869 | 869 |
| 870 // Precedence = 3 | 870 // Precedence = 3 |
| 871 PreParser::Expression PreParser::ParseConditionalExpression(bool accept_IN, | 871 PreParser::Expression PreParser::ParseConditionalExpression(bool accept_IN, |
| 872 bool* ok) { | 872 bool* ok) { |
| 873 // ConditionalExpression :: | 873 // ConditionalExpression :: |
| 874 // LogicalOrExpression | 874 // LogicalOrExpression |
| 875 // LogicalOrExpression '?' AssignmentExpression ':' AssignmentExpression | 875 // LogicalOrExpression '?' AssignmentExpression ':' AssignmentExpression |
| 876 | 876 |
| 877 // We start using the binary expression parser for prec >= 4 only! | 877 // We start using the binary expression parser for prec >= 4 only! |
| 878 Expression expression = ParseBinaryExpression(4, accept_IN, CHECK_OK); | 878 Expression expression = ParseBinaryExpression(4, accept_IN, CHECK_OK); |
| 879 if (peek() != i::Token::CONDITIONAL) return expression; | 879 if (peek() != Token::CONDITIONAL) return expression; |
| 880 Consume(i::Token::CONDITIONAL); | 880 Consume(Token::CONDITIONAL); |
| 881 // In parsing the first assignment expression in conditional | 881 // In parsing the first assignment expression in conditional |
| 882 // expressions we always accept the 'in' keyword; see ECMA-262, | 882 // expressions we always accept the 'in' keyword; see ECMA-262, |
| 883 // section 11.12, page 58. | 883 // section 11.12, page 58. |
| 884 ParseAssignmentExpression(true, CHECK_OK); | 884 ParseAssignmentExpression(true, CHECK_OK); |
| 885 Expect(i::Token::COLON, CHECK_OK); | 885 Expect(Token::COLON, CHECK_OK); |
| 886 ParseAssignmentExpression(accept_IN, CHECK_OK); | 886 ParseAssignmentExpression(accept_IN, CHECK_OK); |
| 887 return Expression::Default(); | 887 return Expression::Default(); |
| 888 } | 888 } |
| 889 | 889 |
| 890 | 890 |
| 891 // Precedence >= 4 | 891 // Precedence >= 4 |
| 892 PreParser::Expression PreParser::ParseBinaryExpression(int prec, | 892 PreParser::Expression PreParser::ParseBinaryExpression(int prec, |
| 893 bool accept_IN, | 893 bool accept_IN, |
| 894 bool* ok) { | 894 bool* ok) { |
| 895 Expression result = ParseUnaryExpression(CHECK_OK); | 895 Expression result = ParseUnaryExpression(CHECK_OK); |
| (...skipping 15 matching lines...) Expand all Loading... |
| 911 // 'delete' UnaryExpression | 911 // 'delete' UnaryExpression |
| 912 // 'void' UnaryExpression | 912 // 'void' UnaryExpression |
| 913 // 'typeof' UnaryExpression | 913 // 'typeof' UnaryExpression |
| 914 // '++' UnaryExpression | 914 // '++' UnaryExpression |
| 915 // '--' UnaryExpression | 915 // '--' UnaryExpression |
| 916 // '+' UnaryExpression | 916 // '+' UnaryExpression |
| 917 // '-' UnaryExpression | 917 // '-' UnaryExpression |
| 918 // '~' UnaryExpression | 918 // '~' UnaryExpression |
| 919 // '!' UnaryExpression | 919 // '!' UnaryExpression |
| 920 | 920 |
| 921 i::Token::Value op = peek(); | 921 Token::Value op = peek(); |
| 922 if (i::Token::IsUnaryOp(op)) { | 922 if (Token::IsUnaryOp(op)) { |
| 923 op = Next(); | 923 op = Next(); |
| 924 ParseUnaryExpression(ok); | 924 ParseUnaryExpression(ok); |
| 925 return Expression::Default(); | 925 return Expression::Default(); |
| 926 } else if (i::Token::IsCountOp(op)) { | 926 } else if (Token::IsCountOp(op)) { |
| 927 op = Next(); | 927 op = Next(); |
| 928 i::Scanner::Location before = scanner()->peek_location(); | 928 Scanner::Location before = scanner()->peek_location(); |
| 929 Expression expression = ParseUnaryExpression(CHECK_OK); | 929 Expression expression = ParseUnaryExpression(CHECK_OK); |
| 930 if (!is_classic_mode() && | 930 if (!is_classic_mode() && |
| 931 expression.IsIdentifier() && | 931 expression.IsIdentifier() && |
| 932 expression.AsIdentifier().IsEvalOrArguments()) { | 932 expression.AsIdentifier().IsEvalOrArguments()) { |
| 933 i::Scanner::Location after = scanner()->location(); | 933 Scanner::Location after = scanner()->location(); |
| 934 ReportMessageAt(before.beg_pos, after.end_pos, | 934 ReportMessageAt(before.beg_pos, after.end_pos, |
| 935 "strict_lhs_prefix", NULL); | 935 "strict_lhs_prefix", NULL); |
| 936 *ok = false; | 936 *ok = false; |
| 937 } | 937 } |
| 938 return Expression::Default(); | 938 return Expression::Default(); |
| 939 } else { | 939 } else { |
| 940 return ParsePostfixExpression(ok); | 940 return ParsePostfixExpression(ok); |
| 941 } | 941 } |
| 942 } | 942 } |
| 943 | 943 |
| 944 | 944 |
| 945 PreParser::Expression PreParser::ParsePostfixExpression(bool* ok) { | 945 PreParser::Expression PreParser::ParsePostfixExpression(bool* ok) { |
| 946 // PostfixExpression :: | 946 // PostfixExpression :: |
| 947 // LeftHandSideExpression ('++' | '--')? | 947 // LeftHandSideExpression ('++' | '--')? |
| 948 | 948 |
| 949 i::Scanner::Location before = scanner()->peek_location(); | 949 Scanner::Location before = scanner()->peek_location(); |
| 950 Expression expression = ParseLeftHandSideExpression(CHECK_OK); | 950 Expression expression = ParseLeftHandSideExpression(CHECK_OK); |
| 951 if (!scanner()->HasAnyLineTerminatorBeforeNext() && | 951 if (!scanner()->HasAnyLineTerminatorBeforeNext() && |
| 952 i::Token::IsCountOp(peek())) { | 952 Token::IsCountOp(peek())) { |
| 953 if (!is_classic_mode() && | 953 if (!is_classic_mode() && |
| 954 expression.IsIdentifier() && | 954 expression.IsIdentifier() && |
| 955 expression.AsIdentifier().IsEvalOrArguments()) { | 955 expression.AsIdentifier().IsEvalOrArguments()) { |
| 956 i::Scanner::Location after = scanner()->location(); | 956 Scanner::Location after = scanner()->location(); |
| 957 ReportMessageAt(before.beg_pos, after.end_pos, | 957 ReportMessageAt(before.beg_pos, after.end_pos, |
| 958 "strict_lhs_postfix", NULL); | 958 "strict_lhs_postfix", NULL); |
| 959 *ok = false; | 959 *ok = false; |
| 960 return Expression::Default(); | 960 return Expression::Default(); |
| 961 } | 961 } |
| 962 Next(); | 962 Next(); |
| 963 return Expression::Default(); | 963 return Expression::Default(); |
| 964 } | 964 } |
| 965 return expression; | 965 return expression; |
| 966 } | 966 } |
| 967 | 967 |
| 968 | 968 |
| 969 PreParser::Expression PreParser::ParseLeftHandSideExpression(bool* ok) { | 969 PreParser::Expression PreParser::ParseLeftHandSideExpression(bool* ok) { |
| 970 // LeftHandSideExpression :: | 970 // LeftHandSideExpression :: |
| 971 // (NewExpression | MemberExpression) ... | 971 // (NewExpression | MemberExpression) ... |
| 972 | 972 |
| 973 Expression result = Expression::Default(); | 973 Expression result = Expression::Default(); |
| 974 if (peek() == i::Token::NEW) { | 974 if (peek() == Token::NEW) { |
| 975 result = ParseNewExpression(CHECK_OK); | 975 result = ParseNewExpression(CHECK_OK); |
| 976 } else { | 976 } else { |
| 977 result = ParseMemberExpression(CHECK_OK); | 977 result = ParseMemberExpression(CHECK_OK); |
| 978 } | 978 } |
| 979 | 979 |
| 980 while (true) { | 980 while (true) { |
| 981 switch (peek()) { | 981 switch (peek()) { |
| 982 case i::Token::LBRACK: { | 982 case Token::LBRACK: { |
| 983 Consume(i::Token::LBRACK); | 983 Consume(Token::LBRACK); |
| 984 ParseExpression(true, CHECK_OK); | 984 ParseExpression(true, CHECK_OK); |
| 985 Expect(i::Token::RBRACK, CHECK_OK); | 985 Expect(Token::RBRACK, CHECK_OK); |
| 986 if (result.IsThis()) { | 986 if (result.IsThis()) { |
| 987 result = Expression::ThisProperty(); | 987 result = Expression::ThisProperty(); |
| 988 } else { | 988 } else { |
| 989 result = Expression::Default(); | 989 result = Expression::Default(); |
| 990 } | 990 } |
| 991 break; | 991 break; |
| 992 } | 992 } |
| 993 | 993 |
| 994 case i::Token::LPAREN: { | 994 case Token::LPAREN: { |
| 995 ParseArguments(CHECK_OK); | 995 ParseArguments(CHECK_OK); |
| 996 result = Expression::Default(); | 996 result = Expression::Default(); |
| 997 break; | 997 break; |
| 998 } | 998 } |
| 999 | 999 |
| 1000 case i::Token::PERIOD: { | 1000 case Token::PERIOD: { |
| 1001 Consume(i::Token::PERIOD); | 1001 Consume(Token::PERIOD); |
| 1002 ParseIdentifierName(CHECK_OK); | 1002 ParseIdentifierName(CHECK_OK); |
| 1003 if (result.IsThis()) { | 1003 if (result.IsThis()) { |
| 1004 result = Expression::ThisProperty(); | 1004 result = Expression::ThisProperty(); |
| 1005 } else { | 1005 } else { |
| 1006 result = Expression::Default(); | 1006 result = Expression::Default(); |
| 1007 } | 1007 } |
| 1008 break; | 1008 break; |
| 1009 } | 1009 } |
| 1010 | 1010 |
| 1011 default: | 1011 default: |
| (...skipping 10 matching lines...) Expand all Loading... |
| 1022 // The grammar for new expressions is pretty warped. The keyword | 1022 // The grammar for new expressions is pretty warped. The keyword |
| 1023 // 'new' can either be a part of the new expression (where it isn't | 1023 // 'new' can either be a part of the new expression (where it isn't |
| 1024 // followed by an argument list) or a part of the member expression, | 1024 // followed by an argument list) or a part of the member expression, |
| 1025 // where it must be followed by an argument list. To accommodate | 1025 // where it must be followed by an argument list. To accommodate |
| 1026 // this, we parse the 'new' keywords greedily and keep track of how | 1026 // this, we parse the 'new' keywords greedily and keep track of how |
| 1027 // many we have parsed. This information is then passed on to the | 1027 // many we have parsed. This information is then passed on to the |
| 1028 // member expression parser, which is only allowed to match argument | 1028 // member expression parser, which is only allowed to match argument |
| 1029 // lists as long as it has 'new' prefixes left | 1029 // lists as long as it has 'new' prefixes left |
| 1030 unsigned new_count = 0; | 1030 unsigned new_count = 0; |
| 1031 do { | 1031 do { |
| 1032 Consume(i::Token::NEW); | 1032 Consume(Token::NEW); |
| 1033 new_count++; | 1033 new_count++; |
| 1034 } while (peek() == i::Token::NEW); | 1034 } while (peek() == Token::NEW); |
| 1035 | 1035 |
| 1036 return ParseMemberWithNewPrefixesExpression(new_count, ok); | 1036 return ParseMemberWithNewPrefixesExpression(new_count, ok); |
| 1037 } | 1037 } |
| 1038 | 1038 |
| 1039 | 1039 |
| 1040 PreParser::Expression PreParser::ParseMemberExpression(bool* ok) { | 1040 PreParser::Expression PreParser::ParseMemberExpression(bool* ok) { |
| 1041 return ParseMemberWithNewPrefixesExpression(0, ok); | 1041 return ParseMemberWithNewPrefixesExpression(0, ok); |
| 1042 } | 1042 } |
| 1043 | 1043 |
| 1044 | 1044 |
| 1045 PreParser::Expression PreParser::ParseMemberWithNewPrefixesExpression( | 1045 PreParser::Expression PreParser::ParseMemberWithNewPrefixesExpression( |
| 1046 unsigned new_count, bool* ok) { | 1046 unsigned new_count, bool* ok) { |
| 1047 // MemberExpression :: | 1047 // MemberExpression :: |
| 1048 // (PrimaryExpression | FunctionLiteral) | 1048 // (PrimaryExpression | FunctionLiteral) |
| 1049 // ('[' Expression ']' | '.' Identifier | Arguments)* | 1049 // ('[' Expression ']' | '.' Identifier | Arguments)* |
| 1050 | 1050 |
| 1051 // Parse the initial primary or function expression. | 1051 // Parse the initial primary or function expression. |
| 1052 Expression result = Expression::Default(); | 1052 Expression result = Expression::Default(); |
| 1053 if (peek() == i::Token::FUNCTION) { | 1053 if (peek() == Token::FUNCTION) { |
| 1054 Consume(i::Token::FUNCTION); | 1054 Consume(Token::FUNCTION); |
| 1055 | 1055 |
| 1056 bool is_generator = allow_generators() && Check(i::Token::MUL); | 1056 bool is_generator = allow_generators() && Check(Token::MUL); |
| 1057 Identifier identifier = Identifier::Default(); | 1057 Identifier identifier = Identifier::Default(); |
| 1058 if (peek_any_identifier()) { | 1058 if (peek_any_identifier()) { |
| 1059 identifier = ParseIdentifier(CHECK_OK); | 1059 identifier = ParseIdentifier(CHECK_OK); |
| 1060 } | 1060 } |
| 1061 result = ParseFunctionLiteral(is_generator, CHECK_OK); | 1061 result = ParseFunctionLiteral(is_generator, CHECK_OK); |
| 1062 if (result.IsStrictFunction() && !identifier.IsValidStrictVariable()) { | 1062 if (result.IsStrictFunction() && !identifier.IsValidStrictVariable()) { |
| 1063 StrictModeIdentifierViolation(scanner()->location(), | 1063 StrictModeIdentifierViolation(scanner()->location(), |
| 1064 "strict_function_name", | 1064 "strict_function_name", |
| 1065 identifier, | 1065 identifier, |
| 1066 ok); | 1066 ok); |
| 1067 return Expression::Default(); | 1067 return Expression::Default(); |
| 1068 } | 1068 } |
| 1069 } else { | 1069 } else { |
| 1070 result = ParsePrimaryExpression(CHECK_OK); | 1070 result = ParsePrimaryExpression(CHECK_OK); |
| 1071 } | 1071 } |
| 1072 | 1072 |
| 1073 while (true) { | 1073 while (true) { |
| 1074 switch (peek()) { | 1074 switch (peek()) { |
| 1075 case i::Token::LBRACK: { | 1075 case Token::LBRACK: { |
| 1076 Consume(i::Token::LBRACK); | 1076 Consume(Token::LBRACK); |
| 1077 ParseExpression(true, CHECK_OK); | 1077 ParseExpression(true, CHECK_OK); |
| 1078 Expect(i::Token::RBRACK, CHECK_OK); | 1078 Expect(Token::RBRACK, CHECK_OK); |
| 1079 if (result.IsThis()) { | 1079 if (result.IsThis()) { |
| 1080 result = Expression::ThisProperty(); | 1080 result = Expression::ThisProperty(); |
| 1081 } else { | 1081 } else { |
| 1082 result = Expression::Default(); | 1082 result = Expression::Default(); |
| 1083 } | 1083 } |
| 1084 break; | 1084 break; |
| 1085 } | 1085 } |
| 1086 case i::Token::PERIOD: { | 1086 case Token::PERIOD: { |
| 1087 Consume(i::Token::PERIOD); | 1087 Consume(Token::PERIOD); |
| 1088 ParseIdentifierName(CHECK_OK); | 1088 ParseIdentifierName(CHECK_OK); |
| 1089 if (result.IsThis()) { | 1089 if (result.IsThis()) { |
| 1090 result = Expression::ThisProperty(); | 1090 result = Expression::ThisProperty(); |
| 1091 } else { | 1091 } else { |
| 1092 result = Expression::Default(); | 1092 result = Expression::Default(); |
| 1093 } | 1093 } |
| 1094 break; | 1094 break; |
| 1095 } | 1095 } |
| 1096 case i::Token::LPAREN: { | 1096 case Token::LPAREN: { |
| 1097 if (new_count == 0) return result; | 1097 if (new_count == 0) return result; |
| 1098 // Consume one of the new prefixes (already parsed). | 1098 // Consume one of the new prefixes (already parsed). |
| 1099 ParseArguments(CHECK_OK); | 1099 ParseArguments(CHECK_OK); |
| 1100 new_count--; | 1100 new_count--; |
| 1101 result = Expression::Default(); | 1101 result = Expression::Default(); |
| 1102 break; | 1102 break; |
| 1103 } | 1103 } |
| 1104 default: | 1104 default: |
| 1105 return result; | 1105 return result; |
| 1106 } | 1106 } |
| (...skipping 10 matching lines...) Expand all Loading... |
| 1117 // Identifier | 1117 // Identifier |
| 1118 // Number | 1118 // Number |
| 1119 // String | 1119 // String |
| 1120 // ArrayLiteral | 1120 // ArrayLiteral |
| 1121 // ObjectLiteral | 1121 // ObjectLiteral |
| 1122 // RegExpLiteral | 1122 // RegExpLiteral |
| 1123 // '(' Expression ')' | 1123 // '(' Expression ')' |
| 1124 | 1124 |
| 1125 Expression result = Expression::Default(); | 1125 Expression result = Expression::Default(); |
| 1126 switch (peek()) { | 1126 switch (peek()) { |
| 1127 case i::Token::THIS: { | 1127 case Token::THIS: { |
| 1128 Next(); | 1128 Next(); |
| 1129 result = Expression::This(); | 1129 result = Expression::This(); |
| 1130 break; | 1130 break; |
| 1131 } | 1131 } |
| 1132 | 1132 |
| 1133 case i::Token::FUTURE_RESERVED_WORD: | 1133 case Token::FUTURE_RESERVED_WORD: |
| 1134 case i::Token::FUTURE_STRICT_RESERVED_WORD: | 1134 case Token::FUTURE_STRICT_RESERVED_WORD: |
| 1135 case i::Token::YIELD: | 1135 case Token::YIELD: |
| 1136 case i::Token::IDENTIFIER: { | 1136 case Token::IDENTIFIER: { |
| 1137 Identifier id = ParseIdentifier(CHECK_OK); | 1137 Identifier id = ParseIdentifier(CHECK_OK); |
| 1138 result = Expression::FromIdentifier(id); | 1138 result = Expression::FromIdentifier(id); |
| 1139 break; | 1139 break; |
| 1140 } | 1140 } |
| 1141 | 1141 |
| 1142 case i::Token::NULL_LITERAL: | 1142 case Token::NULL_LITERAL: |
| 1143 case i::Token::TRUE_LITERAL: | 1143 case Token::TRUE_LITERAL: |
| 1144 case i::Token::FALSE_LITERAL: | 1144 case Token::FALSE_LITERAL: |
| 1145 case i::Token::NUMBER: { | 1145 case Token::NUMBER: { |
| 1146 Next(); | 1146 Next(); |
| 1147 break; | 1147 break; |
| 1148 } | 1148 } |
| 1149 case i::Token::STRING: { | 1149 case Token::STRING: { |
| 1150 Next(); | 1150 Next(); |
| 1151 result = GetStringSymbol(); | 1151 result = GetStringSymbol(); |
| 1152 break; | 1152 break; |
| 1153 } | 1153 } |
| 1154 | 1154 |
| 1155 case i::Token::ASSIGN_DIV: | 1155 case Token::ASSIGN_DIV: |
| 1156 result = ParseRegExpLiteral(true, CHECK_OK); | 1156 result = ParseRegExpLiteral(true, CHECK_OK); |
| 1157 break; | 1157 break; |
| 1158 | 1158 |
| 1159 case i::Token::DIV: | 1159 case Token::DIV: |
| 1160 result = ParseRegExpLiteral(false, CHECK_OK); | 1160 result = ParseRegExpLiteral(false, CHECK_OK); |
| 1161 break; | 1161 break; |
| 1162 | 1162 |
| 1163 case i::Token::LBRACK: | 1163 case Token::LBRACK: |
| 1164 result = ParseArrayLiteral(CHECK_OK); | 1164 result = ParseArrayLiteral(CHECK_OK); |
| 1165 break; | 1165 break; |
| 1166 | 1166 |
| 1167 case i::Token::LBRACE: | 1167 case Token::LBRACE: |
| 1168 result = ParseObjectLiteral(CHECK_OK); | 1168 result = ParseObjectLiteral(CHECK_OK); |
| 1169 break; | 1169 break; |
| 1170 | 1170 |
| 1171 case i::Token::LPAREN: | 1171 case Token::LPAREN: |
| 1172 Consume(i::Token::LPAREN); | 1172 Consume(Token::LPAREN); |
| 1173 parenthesized_function_ = (peek() == i::Token::FUNCTION); | 1173 parenthesized_function_ = (peek() == Token::FUNCTION); |
| 1174 result = ParseExpression(true, CHECK_OK); | 1174 result = ParseExpression(true, CHECK_OK); |
| 1175 Expect(i::Token::RPAREN, CHECK_OK); | 1175 Expect(Token::RPAREN, CHECK_OK); |
| 1176 result = result.Parenthesize(); | 1176 result = result.Parenthesize(); |
| 1177 break; | 1177 break; |
| 1178 | 1178 |
| 1179 case i::Token::MOD: | 1179 case Token::MOD: |
| 1180 result = ParseV8Intrinsic(CHECK_OK); | 1180 result = ParseV8Intrinsic(CHECK_OK); |
| 1181 break; | 1181 break; |
| 1182 | 1182 |
| 1183 default: { | 1183 default: { |
| 1184 Next(); | 1184 Next(); |
| 1185 *ok = false; | 1185 *ok = false; |
| 1186 return Expression::Default(); | 1186 return Expression::Default(); |
| 1187 } | 1187 } |
| 1188 } | 1188 } |
| 1189 | 1189 |
| 1190 return result; | 1190 return result; |
| 1191 } | 1191 } |
| 1192 | 1192 |
| 1193 | 1193 |
| 1194 PreParser::Expression PreParser::ParseArrayLiteral(bool* ok) { | 1194 PreParser::Expression PreParser::ParseArrayLiteral(bool* ok) { |
| 1195 // ArrayLiteral :: | 1195 // ArrayLiteral :: |
| 1196 // '[' Expression? (',' Expression?)* ']' | 1196 // '[' Expression? (',' Expression?)* ']' |
| 1197 Expect(i::Token::LBRACK, CHECK_OK); | 1197 Expect(Token::LBRACK, CHECK_OK); |
| 1198 while (peek() != i::Token::RBRACK) { | 1198 while (peek() != Token::RBRACK) { |
| 1199 if (peek() != i::Token::COMMA) { | 1199 if (peek() != Token::COMMA) { |
| 1200 ParseAssignmentExpression(true, CHECK_OK); | 1200 ParseAssignmentExpression(true, CHECK_OK); |
| 1201 } | 1201 } |
| 1202 if (peek() != i::Token::RBRACK) { | 1202 if (peek() != Token::RBRACK) { |
| 1203 Expect(i::Token::COMMA, CHECK_OK); | 1203 Expect(Token::COMMA, CHECK_OK); |
| 1204 } | 1204 } |
| 1205 } | 1205 } |
| 1206 Expect(i::Token::RBRACK, CHECK_OK); | 1206 Expect(Token::RBRACK, CHECK_OK); |
| 1207 | 1207 |
| 1208 scope_->NextMaterializedLiteralIndex(); | 1208 scope_->NextMaterializedLiteralIndex(); |
| 1209 return Expression::Default(); | 1209 return Expression::Default(); |
| 1210 } | 1210 } |
| 1211 | 1211 |
| 1212 | 1212 |
| 1213 PreParser::Expression PreParser::ParseObjectLiteral(bool* ok) { | 1213 PreParser::Expression PreParser::ParseObjectLiteral(bool* ok) { |
| 1214 // ObjectLiteral :: | 1214 // ObjectLiteral :: |
| 1215 // '{' ( | 1215 // '{' ( |
| 1216 // ((IdentifierName | String | Number) ':' AssignmentExpression) | 1216 // ((IdentifierName | String | Number) ':' AssignmentExpression) |
| 1217 // | (('get' | 'set') (IdentifierName | String | Number) FunctionLiteral) | 1217 // | (('get' | 'set') (IdentifierName | String | Number) FunctionLiteral) |
| 1218 // )*[','] '}' | 1218 // )*[','] '}' |
| 1219 | 1219 |
| 1220 ObjectLiteralChecker checker(this, language_mode()); | 1220 ObjectLiteralChecker checker(this, language_mode()); |
| 1221 | 1221 |
| 1222 Expect(i::Token::LBRACE, CHECK_OK); | 1222 Expect(Token::LBRACE, CHECK_OK); |
| 1223 while (peek() != i::Token::RBRACE) { | 1223 while (peek() != Token::RBRACE) { |
| 1224 i::Token::Value next = peek(); | 1224 Token::Value next = peek(); |
| 1225 switch (next) { | 1225 switch (next) { |
| 1226 case i::Token::IDENTIFIER: | 1226 case Token::IDENTIFIER: |
| 1227 case i::Token::FUTURE_RESERVED_WORD: | 1227 case Token::FUTURE_RESERVED_WORD: |
| 1228 case i::Token::FUTURE_STRICT_RESERVED_WORD: { | 1228 case Token::FUTURE_STRICT_RESERVED_WORD: { |
| 1229 bool is_getter = false; | 1229 bool is_getter = false; |
| 1230 bool is_setter = false; | 1230 bool is_setter = false; |
| 1231 ParseIdentifierNameOrGetOrSet(&is_getter, &is_setter, CHECK_OK); | 1231 ParseIdentifierNameOrGetOrSet(&is_getter, &is_setter, CHECK_OK); |
| 1232 if ((is_getter || is_setter) && peek() != i::Token::COLON) { | 1232 if ((is_getter || is_setter) && peek() != Token::COLON) { |
| 1233 i::Token::Value name = Next(); | 1233 Token::Value name = Next(); |
| 1234 bool is_keyword = i::Token::IsKeyword(name); | 1234 bool is_keyword = Token::IsKeyword(name); |
| 1235 if (name != i::Token::IDENTIFIER && | 1235 if (name != Token::IDENTIFIER && |
| 1236 name != i::Token::FUTURE_RESERVED_WORD && | 1236 name != Token::FUTURE_RESERVED_WORD && |
| 1237 name != i::Token::FUTURE_STRICT_RESERVED_WORD && | 1237 name != Token::FUTURE_STRICT_RESERVED_WORD && |
| 1238 name != i::Token::NUMBER && | 1238 name != Token::NUMBER && |
| 1239 name != i::Token::STRING && | 1239 name != Token::STRING && |
| 1240 !is_keyword) { | 1240 !is_keyword) { |
| 1241 *ok = false; | 1241 *ok = false; |
| 1242 return Expression::Default(); | 1242 return Expression::Default(); |
| 1243 } | 1243 } |
| 1244 if (!is_keyword) { | 1244 if (!is_keyword) { |
| 1245 LogSymbol(); | 1245 LogSymbol(); |
| 1246 } | 1246 } |
| 1247 PropertyKind type = is_getter ? kGetterProperty : kSetterProperty; | 1247 PropertyKind type = is_getter ? kGetterProperty : kSetterProperty; |
| 1248 checker.CheckProperty(name, type, CHECK_OK); | 1248 checker.CheckProperty(name, type, CHECK_OK); |
| 1249 ParseFunctionLiteral(false, CHECK_OK); | 1249 ParseFunctionLiteral(false, CHECK_OK); |
| 1250 if (peek() != i::Token::RBRACE) { | 1250 if (peek() != Token::RBRACE) { |
| 1251 Expect(i::Token::COMMA, CHECK_OK); | 1251 Expect(Token::COMMA, CHECK_OK); |
| 1252 } | 1252 } |
| 1253 continue; // restart the while | 1253 continue; // restart the while |
| 1254 } | 1254 } |
| 1255 checker.CheckProperty(next, kValueProperty, CHECK_OK); | 1255 checker.CheckProperty(next, kValueProperty, CHECK_OK); |
| 1256 break; | 1256 break; |
| 1257 } | 1257 } |
| 1258 case i::Token::STRING: | 1258 case Token::STRING: |
| 1259 Consume(next); | 1259 Consume(next); |
| 1260 checker.CheckProperty(next, kValueProperty, CHECK_OK); | 1260 checker.CheckProperty(next, kValueProperty, CHECK_OK); |
| 1261 GetStringSymbol(); | 1261 GetStringSymbol(); |
| 1262 break; | 1262 break; |
| 1263 case i::Token::NUMBER: | 1263 case Token::NUMBER: |
| 1264 Consume(next); | 1264 Consume(next); |
| 1265 checker.CheckProperty(next, kValueProperty, CHECK_OK); | 1265 checker.CheckProperty(next, kValueProperty, CHECK_OK); |
| 1266 break; | 1266 break; |
| 1267 default: | 1267 default: |
| 1268 if (i::Token::IsKeyword(next)) { | 1268 if (Token::IsKeyword(next)) { |
| 1269 Consume(next); | 1269 Consume(next); |
| 1270 checker.CheckProperty(next, kValueProperty, CHECK_OK); | 1270 checker.CheckProperty(next, kValueProperty, CHECK_OK); |
| 1271 } else { | 1271 } else { |
| 1272 // Unexpected token. | 1272 // Unexpected token. |
| 1273 *ok = false; | 1273 *ok = false; |
| 1274 return Expression::Default(); | 1274 return Expression::Default(); |
| 1275 } | 1275 } |
| 1276 } | 1276 } |
| 1277 | 1277 |
| 1278 Expect(i::Token::COLON, CHECK_OK); | 1278 Expect(Token::COLON, CHECK_OK); |
| 1279 ParseAssignmentExpression(true, CHECK_OK); | 1279 ParseAssignmentExpression(true, CHECK_OK); |
| 1280 | 1280 |
| 1281 // TODO(1240767): Consider allowing trailing comma. | 1281 // TODO(1240767): Consider allowing trailing comma. |
| 1282 if (peek() != i::Token::RBRACE) Expect(i::Token::COMMA, CHECK_OK); | 1282 if (peek() != Token::RBRACE) Expect(Token::COMMA, CHECK_OK); |
| 1283 } | 1283 } |
| 1284 Expect(i::Token::RBRACE, CHECK_OK); | 1284 Expect(Token::RBRACE, CHECK_OK); |
| 1285 | 1285 |
| 1286 scope_->NextMaterializedLiteralIndex(); | 1286 scope_->NextMaterializedLiteralIndex(); |
| 1287 return Expression::Default(); | 1287 return Expression::Default(); |
| 1288 } | 1288 } |
| 1289 | 1289 |
| 1290 | 1290 |
| 1291 PreParser::Expression PreParser::ParseRegExpLiteral(bool seen_equal, | 1291 PreParser::Expression PreParser::ParseRegExpLiteral(bool seen_equal, |
| 1292 bool* ok) { | 1292 bool* ok) { |
| 1293 if (!scanner()->ScanRegExpPattern(seen_equal)) { | 1293 if (!scanner()->ScanRegExpPattern(seen_equal)) { |
| 1294 Next(); | 1294 Next(); |
| (...skipping 12 matching lines...) Expand all Loading... |
| 1307 } | 1307 } |
| 1308 Next(); | 1308 Next(); |
| 1309 return Expression::Default(); | 1309 return Expression::Default(); |
| 1310 } | 1310 } |
| 1311 | 1311 |
| 1312 | 1312 |
| 1313 PreParser::Arguments PreParser::ParseArguments(bool* ok) { | 1313 PreParser::Arguments PreParser::ParseArguments(bool* ok) { |
| 1314 // Arguments :: | 1314 // Arguments :: |
| 1315 // '(' (AssignmentExpression)*[','] ')' | 1315 // '(' (AssignmentExpression)*[','] ')' |
| 1316 | 1316 |
| 1317 Expect(i::Token::LPAREN, ok); | 1317 Expect(Token::LPAREN, ok); |
| 1318 if (!*ok) return -1; | 1318 if (!*ok) return -1; |
| 1319 bool done = (peek() == i::Token::RPAREN); | 1319 bool done = (peek() == Token::RPAREN); |
| 1320 int argc = 0; | 1320 int argc = 0; |
| 1321 while (!done) { | 1321 while (!done) { |
| 1322 ParseAssignmentExpression(true, ok); | 1322 ParseAssignmentExpression(true, ok); |
| 1323 if (!*ok) return -1; | 1323 if (!*ok) return -1; |
| 1324 argc++; | 1324 argc++; |
| 1325 done = (peek() == i::Token::RPAREN); | 1325 done = (peek() == Token::RPAREN); |
| 1326 if (!done) { | 1326 if (!done) { |
| 1327 Expect(i::Token::COMMA, ok); | 1327 Expect(Token::COMMA, ok); |
| 1328 if (!*ok) return -1; | 1328 if (!*ok) return -1; |
| 1329 } | 1329 } |
| 1330 } | 1330 } |
| 1331 Expect(i::Token::RPAREN, ok); | 1331 Expect(Token::RPAREN, ok); |
| 1332 return argc; | 1332 return argc; |
| 1333 } | 1333 } |
| 1334 | 1334 |
| 1335 | 1335 |
| 1336 PreParser::Expression PreParser::ParseFunctionLiteral(bool is_generator, | 1336 PreParser::Expression PreParser::ParseFunctionLiteral(bool is_generator, |
| 1337 bool* ok) { | 1337 bool* ok) { |
| 1338 // Function :: | 1338 // Function :: |
| 1339 // '(' FormalParameterList? ')' '{' FunctionBody '}' | 1339 // '(' FormalParameterList? ')' '{' FunctionBody '}' |
| 1340 | 1340 |
| 1341 // Parse function body. | 1341 // Parse function body. |
| 1342 ScopeType outer_scope_type = scope_->type(); | 1342 ScopeType outer_scope_type = scope_->type(); |
| 1343 bool inside_with = scope_->IsInsideWith(); | 1343 bool inside_with = scope_->IsInsideWith(); |
| 1344 Scope function_scope(&scope_, kFunctionScope); | 1344 Scope function_scope(&scope_, kFunctionScope); |
| 1345 function_scope.set_is_generator(is_generator); | 1345 function_scope.set_is_generator(is_generator); |
| 1346 // FormalParameterList :: | 1346 // FormalParameterList :: |
| 1347 // '(' (Identifier)*[','] ')' | 1347 // '(' (Identifier)*[','] ')' |
| 1348 Expect(i::Token::LPAREN, CHECK_OK); | 1348 Expect(Token::LPAREN, CHECK_OK); |
| 1349 int start_position = position(); | 1349 int start_position = position(); |
| 1350 bool done = (peek() == i::Token::RPAREN); | 1350 bool done = (peek() == Token::RPAREN); |
| 1351 i::DuplicateFinder duplicate_finder(scanner()->unicode_cache()); | 1351 DuplicateFinder duplicate_finder(scanner()->unicode_cache()); |
| 1352 while (!done) { | 1352 while (!done) { |
| 1353 Identifier id = ParseIdentifier(CHECK_OK); | 1353 Identifier id = ParseIdentifier(CHECK_OK); |
| 1354 if (!id.IsValidStrictVariable()) { | 1354 if (!id.IsValidStrictVariable()) { |
| 1355 StrictModeIdentifierViolation(scanner()->location(), | 1355 StrictModeIdentifierViolation(scanner()->location(), |
| 1356 "strict_param_name", | 1356 "strict_param_name", |
| 1357 id, | 1357 id, |
| 1358 CHECK_OK); | 1358 CHECK_OK); |
| 1359 } | 1359 } |
| 1360 int prev_value; | 1360 int prev_value; |
| 1361 if (scanner()->is_literal_ascii()) { | 1361 if (scanner()->is_literal_ascii()) { |
| 1362 prev_value = | 1362 prev_value = |
| 1363 duplicate_finder.AddAsciiSymbol(scanner()->literal_ascii_string(), 1); | 1363 duplicate_finder.AddAsciiSymbol(scanner()->literal_ascii_string(), 1); |
| 1364 } else { | 1364 } else { |
| 1365 prev_value = | 1365 prev_value = |
| 1366 duplicate_finder.AddUtf16Symbol(scanner()->literal_utf16_string(), 1); | 1366 duplicate_finder.AddUtf16Symbol(scanner()->literal_utf16_string(), 1); |
| 1367 } | 1367 } |
| 1368 | 1368 |
| 1369 if (prev_value != 0) { | 1369 if (prev_value != 0) { |
| 1370 SetStrictModeViolation(scanner()->location(), | 1370 SetStrictModeViolation(scanner()->location(), |
| 1371 "strict_param_dupe", | 1371 "strict_param_dupe", |
| 1372 CHECK_OK); | 1372 CHECK_OK); |
| 1373 } | 1373 } |
| 1374 done = (peek() == i::Token::RPAREN); | 1374 done = (peek() == Token::RPAREN); |
| 1375 if (!done) { | 1375 if (!done) { |
| 1376 Expect(i::Token::COMMA, CHECK_OK); | 1376 Expect(Token::COMMA, CHECK_OK); |
| 1377 } | 1377 } |
| 1378 } | 1378 } |
| 1379 Expect(i::Token::RPAREN, CHECK_OK); | 1379 Expect(Token::RPAREN, CHECK_OK); |
| 1380 | 1380 |
| 1381 // Determine if the function will be lazily compiled. | 1381 // Determine if the function will be lazily compiled. |
| 1382 // Currently only happens to top-level functions. | 1382 // Currently only happens to top-level functions. |
| 1383 // Optimistically assume that all top-level functions are lazily compiled. | 1383 // Optimistically assume that all top-level functions are lazily compiled. |
| 1384 bool is_lazily_compiled = (outer_scope_type == kTopLevelScope && | 1384 bool is_lazily_compiled = (outer_scope_type == kTopLevelScope && |
| 1385 !inside_with && allow_lazy() && | 1385 !inside_with && allow_lazy() && |
| 1386 !parenthesized_function_); | 1386 !parenthesized_function_); |
| 1387 parenthesized_function_ = false; | 1387 parenthesized_function_ = false; |
| 1388 | 1388 |
| 1389 Expect(i::Token::LBRACE, CHECK_OK); | 1389 Expect(Token::LBRACE, CHECK_OK); |
| 1390 if (is_lazily_compiled) { | 1390 if (is_lazily_compiled) { |
| 1391 ParseLazyFunctionLiteralBody(CHECK_OK); | 1391 ParseLazyFunctionLiteralBody(CHECK_OK); |
| 1392 } else { | 1392 } else { |
| 1393 ParseSourceElements(i::Token::RBRACE, ok); | 1393 ParseSourceElements(Token::RBRACE, ok); |
| 1394 } | 1394 } |
| 1395 Expect(i::Token::RBRACE, CHECK_OK); | 1395 Expect(Token::RBRACE, CHECK_OK); |
| 1396 | 1396 |
| 1397 if (!is_classic_mode()) { | 1397 if (!is_classic_mode()) { |
| 1398 int end_position = scanner()->location().end_pos; | 1398 int end_position = scanner()->location().end_pos; |
| 1399 CheckOctalLiteral(start_position, end_position, CHECK_OK); | 1399 CheckOctalLiteral(start_position, end_position, CHECK_OK); |
| 1400 CheckDelayedStrictModeViolation(start_position, end_position, CHECK_OK); | 1400 CheckDelayedStrictModeViolation(start_position, end_position, CHECK_OK); |
| 1401 return Expression::StrictFunction(); | 1401 return Expression::StrictFunction(); |
| 1402 } | 1402 } |
| 1403 | 1403 |
| 1404 return Expression::Default(); | 1404 return Expression::Default(); |
| 1405 } | 1405 } |
| 1406 | 1406 |
| 1407 | 1407 |
| 1408 void PreParser::ParseLazyFunctionLiteralBody(bool* ok) { | 1408 void PreParser::ParseLazyFunctionLiteralBody(bool* ok) { |
| 1409 int body_start = position(); | 1409 int body_start = position(); |
| 1410 log_->PauseRecording(); | 1410 log_->PauseRecording(); |
| 1411 ParseSourceElements(i::Token::RBRACE, ok); | 1411 ParseSourceElements(Token::RBRACE, ok); |
| 1412 log_->ResumeRecording(); | 1412 log_->ResumeRecording(); |
| 1413 if (!*ok) return; | 1413 if (!*ok) return; |
| 1414 | 1414 |
| 1415 // Position right after terminal '}'. | 1415 // Position right after terminal '}'. |
| 1416 ASSERT_EQ(i::Token::RBRACE, scanner()->peek()); | 1416 ASSERT_EQ(Token::RBRACE, scanner()->peek()); |
| 1417 int body_end = scanner()->peek_location().end_pos; | 1417 int body_end = scanner()->peek_location().end_pos; |
| 1418 log_->LogFunction(body_start, body_end, | 1418 log_->LogFunction(body_start, body_end, |
| 1419 scope_->materialized_literal_count(), | 1419 scope_->materialized_literal_count(), |
| 1420 scope_->expected_properties(), | 1420 scope_->expected_properties(), |
| 1421 language_mode()); | 1421 language_mode()); |
| 1422 } | 1422 } |
| 1423 | 1423 |
| 1424 | 1424 |
| 1425 PreParser::Expression PreParser::ParseV8Intrinsic(bool* ok) { | 1425 PreParser::Expression PreParser::ParseV8Intrinsic(bool* ok) { |
| 1426 // CallRuntime :: | 1426 // CallRuntime :: |
| 1427 // '%' Identifier Arguments | 1427 // '%' Identifier Arguments |
| 1428 Expect(i::Token::MOD, CHECK_OK); | 1428 Expect(Token::MOD, CHECK_OK); |
| 1429 if (!allow_natives_syntax()) { | 1429 if (!allow_natives_syntax()) { |
| 1430 *ok = false; | 1430 *ok = false; |
| 1431 return Expression::Default(); | 1431 return Expression::Default(); |
| 1432 } | 1432 } |
| 1433 ParseIdentifier(CHECK_OK); | 1433 ParseIdentifier(CHECK_OK); |
| 1434 ParseArguments(ok); | 1434 ParseArguments(ok); |
| 1435 | 1435 |
| 1436 return Expression::Default(); | 1436 return Expression::Default(); |
| 1437 } | 1437 } |
| 1438 | 1438 |
| (...skipping 20 matching lines...) Expand all Loading... |
| 1459 !strncmp(scanner()->literal_ascii_string().start(), kUseStrictChars, | 1459 !strncmp(scanner()->literal_ascii_string().start(), kUseStrictChars, |
| 1460 kUseStrictLength)) { | 1460 kUseStrictLength)) { |
| 1461 return Expression::UseStrictStringLiteral(); | 1461 return Expression::UseStrictStringLiteral(); |
| 1462 } | 1462 } |
| 1463 return Expression::StringLiteral(); | 1463 return Expression::StringLiteral(); |
| 1464 } | 1464 } |
| 1465 | 1465 |
| 1466 | 1466 |
| 1467 PreParser::Identifier PreParser::GetIdentifierSymbol() { | 1467 PreParser::Identifier PreParser::GetIdentifierSymbol() { |
| 1468 LogSymbol(); | 1468 LogSymbol(); |
| 1469 if (scanner()->current_token() == i::Token::FUTURE_RESERVED_WORD) { | 1469 if (scanner()->current_token() == Token::FUTURE_RESERVED_WORD) { |
| 1470 return Identifier::FutureReserved(); | 1470 return Identifier::FutureReserved(); |
| 1471 } else if (scanner()->current_token() == | 1471 } else if (scanner()->current_token() == |
| 1472 i::Token::FUTURE_STRICT_RESERVED_WORD) { | 1472 Token::FUTURE_STRICT_RESERVED_WORD) { |
| 1473 return Identifier::FutureStrictReserved(); | 1473 return Identifier::FutureStrictReserved(); |
| 1474 } else if (scanner()->current_token() == i::Token::YIELD) { | 1474 } else if (scanner()->current_token() == Token::YIELD) { |
| 1475 return Identifier::Yield(); | 1475 return Identifier::Yield(); |
| 1476 } | 1476 } |
| 1477 if (scanner()->is_literal_ascii()) { | 1477 if (scanner()->is_literal_ascii()) { |
| 1478 // Detect strict-mode poison words. | 1478 // Detect strict-mode poison words. |
| 1479 if (scanner()->literal_length() == 4 && | 1479 if (scanner()->literal_length() == 4 && |
| 1480 !strncmp(scanner()->literal_ascii_string().start(), "eval", 4)) { | 1480 !strncmp(scanner()->literal_ascii_string().start(), "eval", 4)) { |
| 1481 return Identifier::Eval(); | 1481 return Identifier::Eval(); |
| 1482 } | 1482 } |
| 1483 if (scanner()->literal_length() == 9 && | 1483 if (scanner()->literal_length() == 9 && |
| 1484 !strncmp(scanner()->literal_ascii_string().start(), "arguments", 9)) { | 1484 !strncmp(scanner()->literal_ascii_string().start(), "arguments", 9)) { |
| 1485 return Identifier::Arguments(); | 1485 return Identifier::Arguments(); |
| 1486 } | 1486 } |
| 1487 } | 1487 } |
| 1488 return Identifier::Default(); | 1488 return Identifier::Default(); |
| 1489 } | 1489 } |
| 1490 | 1490 |
| 1491 | 1491 |
| 1492 PreParser::Identifier PreParser::ParseIdentifier(bool* ok) { | 1492 PreParser::Identifier PreParser::ParseIdentifier(bool* ok) { |
| 1493 i::Token::Value next = Next(); | 1493 Token::Value next = Next(); |
| 1494 switch (next) { | 1494 switch (next) { |
| 1495 case i::Token::FUTURE_RESERVED_WORD: { | 1495 case Token::FUTURE_RESERVED_WORD: { |
| 1496 i::Scanner::Location location = scanner()->location(); | 1496 Scanner::Location location = scanner()->location(); |
| 1497 ReportMessageAt(location.beg_pos, location.end_pos, | 1497 ReportMessageAt(location.beg_pos, location.end_pos, |
| 1498 "reserved_word", NULL); | 1498 "reserved_word", NULL); |
| 1499 *ok = false; | 1499 *ok = false; |
| 1500 return GetIdentifierSymbol(); | 1500 return GetIdentifierSymbol(); |
| 1501 } | 1501 } |
| 1502 case i::Token::YIELD: | 1502 case Token::YIELD: |
| 1503 if (scope_->is_generator()) { | 1503 if (scope_->is_generator()) { |
| 1504 // 'yield' in a generator is only valid as part of a YieldExpression. | 1504 // 'yield' in a generator is only valid as part of a YieldExpression. |
| 1505 ReportMessageAt(scanner()->location(), "unexpected_token", "yield"); | 1505 ReportMessageAt(scanner()->location(), "unexpected_token", "yield"); |
| 1506 *ok = false; | 1506 *ok = false; |
| 1507 return Identifier::Yield(); | 1507 return Identifier::Yield(); |
| 1508 } | 1508 } |
| 1509 // FALLTHROUGH | 1509 // FALLTHROUGH |
| 1510 case i::Token::FUTURE_STRICT_RESERVED_WORD: | 1510 case Token::FUTURE_STRICT_RESERVED_WORD: |
| 1511 if (!is_classic_mode()) { | 1511 if (!is_classic_mode()) { |
| 1512 i::Scanner::Location location = scanner()->location(); | 1512 Scanner::Location location = scanner()->location(); |
| 1513 ReportMessageAt(location.beg_pos, location.end_pos, | 1513 ReportMessageAt(location.beg_pos, location.end_pos, |
| 1514 "strict_reserved_word", NULL); | 1514 "strict_reserved_word", NULL); |
| 1515 *ok = false; | 1515 *ok = false; |
| 1516 } | 1516 } |
| 1517 // FALLTHROUGH | 1517 // FALLTHROUGH |
| 1518 case i::Token::IDENTIFIER: | 1518 case Token::IDENTIFIER: |
| 1519 return GetIdentifierSymbol(); | 1519 return GetIdentifierSymbol(); |
| 1520 default: | 1520 default: |
| 1521 *ok = false; | 1521 *ok = false; |
| 1522 return Identifier::Default(); | 1522 return Identifier::Default(); |
| 1523 } | 1523 } |
| 1524 } | 1524 } |
| 1525 | 1525 |
| 1526 | 1526 |
| 1527 void PreParser::SetStrictModeViolation(i::Scanner::Location location, | 1527 void PreParser::SetStrictModeViolation(Scanner::Location location, |
| 1528 const char* type, | 1528 const char* type, |
| 1529 bool* ok) { | 1529 bool* ok) { |
| 1530 if (!is_classic_mode()) { | 1530 if (!is_classic_mode()) { |
| 1531 ReportMessageAt(location, type, NULL); | 1531 ReportMessageAt(location, type, NULL); |
| 1532 *ok = false; | 1532 *ok = false; |
| 1533 return; | 1533 return; |
| 1534 } | 1534 } |
| 1535 // Delay report in case this later turns out to be strict code | 1535 // Delay report in case this later turns out to be strict code |
| 1536 // (i.e., for function names and parameters prior to a "use strict" | 1536 // (i.e., for function names and parameters prior to a "use strict" |
| 1537 // directive). | 1537 // directive). |
| 1538 // It's safe to overwrite an existing violation. | 1538 // It's safe to overwrite an existing violation. |
| 1539 // It's either from a function that turned out to be non-strict, | 1539 // It's either from a function that turned out to be non-strict, |
| 1540 // or it's in the current function (and we just need to report | 1540 // or it's in the current function (and we just need to report |
| 1541 // one error), or it's in a unclosed nesting function that wasn't | 1541 // one error), or it's in a unclosed nesting function that wasn't |
| 1542 // strict (otherwise we would already be in strict mode). | 1542 // strict (otherwise we would already be in strict mode). |
| 1543 strict_mode_violation_location_ = location; | 1543 strict_mode_violation_location_ = location; |
| 1544 strict_mode_violation_type_ = type; | 1544 strict_mode_violation_type_ = type; |
| 1545 } | 1545 } |
| 1546 | 1546 |
| 1547 | 1547 |
| 1548 void PreParser::CheckDelayedStrictModeViolation(int beg_pos, | 1548 void PreParser::CheckDelayedStrictModeViolation(int beg_pos, |
| 1549 int end_pos, | 1549 int end_pos, |
| 1550 bool* ok) { | 1550 bool* ok) { |
| 1551 i::Scanner::Location location = strict_mode_violation_location_; | 1551 Scanner::Location location = strict_mode_violation_location_; |
| 1552 if (location.IsValid() && | 1552 if (location.IsValid() && |
| 1553 location.beg_pos > beg_pos && location.end_pos < end_pos) { | 1553 location.beg_pos > beg_pos && location.end_pos < end_pos) { |
| 1554 ReportMessageAt(location, strict_mode_violation_type_, NULL); | 1554 ReportMessageAt(location, strict_mode_violation_type_, NULL); |
| 1555 *ok = false; | 1555 *ok = false; |
| 1556 } | 1556 } |
| 1557 } | 1557 } |
| 1558 | 1558 |
| 1559 | 1559 |
| 1560 void PreParser::StrictModeIdentifierViolation(i::Scanner::Location location, | 1560 void PreParser::StrictModeIdentifierViolation(Scanner::Location location, |
| 1561 const char* eval_args_type, | 1561 const char* eval_args_type, |
| 1562 Identifier identifier, | 1562 Identifier identifier, |
| 1563 bool* ok) { | 1563 bool* ok) { |
| 1564 const char* type = eval_args_type; | 1564 const char* type = eval_args_type; |
| 1565 if (identifier.IsFutureReserved()) { | 1565 if (identifier.IsFutureReserved()) { |
| 1566 type = "reserved_word"; | 1566 type = "reserved_word"; |
| 1567 } else if (identifier.IsFutureStrictReserved() || identifier.IsYield()) { | 1567 } else if (identifier.IsFutureStrictReserved() || identifier.IsYield()) { |
| 1568 type = "strict_reserved_word"; | 1568 type = "strict_reserved_word"; |
| 1569 } | 1569 } |
| 1570 if (!is_classic_mode()) { | 1570 if (!is_classic_mode()) { |
| 1571 ReportMessageAt(location, type, NULL); | 1571 ReportMessageAt(location, type, NULL); |
| 1572 *ok = false; | 1572 *ok = false; |
| 1573 return; | 1573 return; |
| 1574 } | 1574 } |
| 1575 strict_mode_violation_location_ = location; | 1575 strict_mode_violation_location_ = location; |
| 1576 strict_mode_violation_type_ = type; | 1576 strict_mode_violation_type_ = type; |
| 1577 } | 1577 } |
| 1578 | 1578 |
| 1579 | 1579 |
| 1580 PreParser::Identifier PreParser::ParseIdentifierName(bool* ok) { | 1580 PreParser::Identifier PreParser::ParseIdentifierName(bool* ok) { |
| 1581 i::Token::Value next = Next(); | 1581 Token::Value next = Next(); |
| 1582 if (i::Token::IsKeyword(next)) { | 1582 if (Token::IsKeyword(next)) { |
| 1583 int pos = position(); | 1583 int pos = position(); |
| 1584 const char* keyword = i::Token::String(next); | 1584 const char* keyword = Token::String(next); |
| 1585 log_->LogAsciiSymbol(pos, i::Vector<const char>(keyword, | 1585 log_->LogAsciiSymbol(pos, Vector<const char>(keyword, StrLength(keyword))); |
| 1586 i::StrLength(keyword))); | |
| 1587 return Identifier::Default(); | 1586 return Identifier::Default(); |
| 1588 } | 1587 } |
| 1589 if (next == i::Token::IDENTIFIER || | 1588 if (next == Token::IDENTIFIER || |
| 1590 next == i::Token::FUTURE_RESERVED_WORD || | 1589 next == Token::FUTURE_RESERVED_WORD || |
| 1591 next == i::Token::FUTURE_STRICT_RESERVED_WORD) { | 1590 next == Token::FUTURE_STRICT_RESERVED_WORD) { |
| 1592 return GetIdentifierSymbol(); | 1591 return GetIdentifierSymbol(); |
| 1593 } | 1592 } |
| 1594 *ok = false; | 1593 *ok = false; |
| 1595 return Identifier::Default(); | 1594 return Identifier::Default(); |
| 1596 } | 1595 } |
| 1597 | 1596 |
| 1598 #undef CHECK_OK | 1597 #undef CHECK_OK |
| 1599 | 1598 |
| 1600 | 1599 |
| 1601 // This function reads an identifier and determines whether or not it | 1600 // This function reads an identifier and determines whether or not it |
| (...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1641 ASSERT(IsAccessorAccessorConflict(old_type, type)); | 1640 ASSERT(IsAccessorAccessorConflict(old_type, type)); |
| 1642 // Both accessors of the same type. | 1641 // Both accessors of the same type. |
| 1643 parser()->ReportMessageAt(scanner()->location(), | 1642 parser()->ReportMessageAt(scanner()->location(), |
| 1644 "accessor_get_set"); | 1643 "accessor_get_set"); |
| 1645 } | 1644 } |
| 1646 *ok = false; | 1645 *ok = false; |
| 1647 } | 1646 } |
| 1648 } | 1647 } |
| 1649 | 1648 |
| 1650 } } // v8::internal | 1649 } } // v8::internal |
| OLD | NEW |