OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 403 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
414 | 414 |
415 // Types used by FunctionState and BlockState. | 415 // Types used by FunctionState and BlockState. |
416 typedef v8::internal::Scope Scope; | 416 typedef v8::internal::Scope Scope; |
417 typedef AstNodeFactory<AstConstructionVisitor> Factory; | 417 typedef AstNodeFactory<AstConstructionVisitor> Factory; |
418 typedef Variable GeneratorVariable; | 418 typedef Variable GeneratorVariable; |
419 typedef v8::internal::Zone Zone; | 419 typedef v8::internal::Zone Zone; |
420 | 420 |
421 // Return types for traversing functions. | 421 // Return types for traversing functions. |
422 typedef Handle<String> Identifier; | 422 typedef Handle<String> Identifier; |
423 typedef v8::internal::Expression* Expression; | 423 typedef v8::internal::Expression* Expression; |
| 424 typedef ZoneList<v8::internal::Expression*>* ExpressionList; |
424 }; | 425 }; |
425 | 426 |
426 explicit ParserTraits(Parser* parser) : parser_(parser) {} | 427 explicit ParserTraits(Parser* parser) : parser_(parser) {} |
427 | 428 |
428 // Custom operations executed when FunctionStates are created and destructed. | 429 // Custom operations executed when FunctionStates are created and destructed. |
429 template<typename FS> | 430 template<typename FS> |
430 static void SetUpFunctionState(FS* function_state, Zone* zone) { | 431 static void SetUpFunctionState(FS* function_state, Zone* zone) { |
431 Isolate* isolate = zone->isolate(); | 432 Isolate* isolate = zone->isolate(); |
432 function_state->isolate_ = isolate; | 433 function_state->isolate_ = isolate; |
433 function_state->saved_ast_node_id_ = isolate->ast_node_id(); | 434 function_state->saved_ast_node_id_ = isolate->ast_node_id(); |
(...skipping 21 matching lines...) Expand all Loading... |
455 Vector<Handle<String> > args); | 456 Vector<Handle<String> > args); |
456 | 457 |
457 // "null" return type creators. | 458 // "null" return type creators. |
458 static Handle<String> EmptyIdentifier() { | 459 static Handle<String> EmptyIdentifier() { |
459 return Handle<String>(); | 460 return Handle<String>(); |
460 } | 461 } |
461 static Expression* EmptyExpression() { | 462 static Expression* EmptyExpression() { |
462 return NULL; | 463 return NULL; |
463 } | 464 } |
464 | 465 |
| 466 // Odd-ball literal creators. |
| 467 Literal* GetLiteralTheHole(int position, |
| 468 AstNodeFactory<AstConstructionVisitor>* factory); |
| 469 |
465 // Producing data during the recursive descent. | 470 // Producing data during the recursive descent. |
466 Handle<String> GetSymbol(Scanner* scanner = NULL); | 471 Handle<String> GetSymbol(Scanner* scanner = NULL); |
467 Handle<String> NextLiteralString(Scanner* scanner, | 472 Handle<String> NextLiteralString(Scanner* scanner, |
468 PretenureFlag tenured); | 473 PretenureFlag tenured); |
469 Expression* ThisExpression(Scope* scope, | 474 Expression* ThisExpression(Scope* scope, |
470 AstNodeFactory<AstConstructionVisitor>* factory); | 475 AstNodeFactory<AstConstructionVisitor>* factory); |
471 Expression* ExpressionFromLiteral( | 476 Expression* ExpressionFromLiteral( |
472 Token::Value token, int pos, Scanner* scanner, | 477 Token::Value token, int pos, Scanner* scanner, |
473 AstNodeFactory<AstConstructionVisitor>* factory); | 478 AstNodeFactory<AstConstructionVisitor>* factory); |
474 Expression* ExpressionFromIdentifier( | 479 Expression* ExpressionFromIdentifier( |
475 Handle<String> name, int pos, Scope* scope, | 480 Handle<String> name, int pos, Scope* scope, |
476 AstNodeFactory<AstConstructionVisitor>* factory); | 481 AstNodeFactory<AstConstructionVisitor>* factory); |
477 Expression* ExpressionFromString( | 482 Expression* ExpressionFromString( |
478 int pos, Scanner* scanner, | 483 int pos, Scanner* scanner, |
479 AstNodeFactory<AstConstructionVisitor>* factory); | 484 AstNodeFactory<AstConstructionVisitor>* factory); |
| 485 ZoneList<v8::internal::Expression*>* NewExpressionList(int size, Zone* zone) { |
| 486 return new(zone) ZoneList<v8::internal::Expression*>(size, zone); |
| 487 } |
480 | 488 |
481 // Temporary glue; these functions will move to ParserBase. | 489 // Temporary glue; these functions will move to ParserBase. |
482 Expression* ParseArrayLiteral(bool* ok); | |
483 Expression* ParseObjectLiteral(bool* ok); | 490 Expression* ParseObjectLiteral(bool* ok); |
484 Expression* ParseExpression(bool accept_IN, bool* ok); | 491 Expression* ParseAssignmentExpression(bool accept_IN, bool* ok); |
485 Expression* ParseV8Intrinsic(bool* ok); | 492 Expression* ParseV8Intrinsic(bool* ok); |
486 | 493 |
487 private: | 494 private: |
488 Parser* parser_; | 495 Parser* parser_; |
489 }; | 496 }; |
490 | 497 |
491 | 498 |
492 class Parser : public ParserBase<ParserTraits> { | 499 class Parser : public ParserBase<ParserTraits> { |
493 public: | 500 public: |
494 explicit Parser(CompilationInfo* info); | 501 explicit Parser(CompilationInfo* info); |
(...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
547 Mode old_mode_; | 554 Mode old_mode_; |
548 }; | 555 }; |
549 | 556 |
550 // Returns NULL if parsing failed. | 557 // Returns NULL if parsing failed. |
551 FunctionLiteral* ParseProgram(); | 558 FunctionLiteral* ParseProgram(); |
552 | 559 |
553 FunctionLiteral* ParseLazy(); | 560 FunctionLiteral* ParseLazy(); |
554 FunctionLiteral* ParseLazy(Utf16CharacterStream* source); | 561 FunctionLiteral* ParseLazy(Utf16CharacterStream* source); |
555 | 562 |
556 Isolate* isolate() { return isolate_; } | 563 Isolate* isolate() { return isolate_; } |
557 Zone* zone() const { return zone_; } | |
558 CompilationInfo* info() const { return info_; } | 564 CompilationInfo* info() const { return info_; } |
559 | 565 |
560 // Called by ParseProgram after setting up the scanner. | 566 // Called by ParseProgram after setting up the scanner. |
561 FunctionLiteral* DoParseProgram(CompilationInfo* info, | 567 FunctionLiteral* DoParseProgram(CompilationInfo* info, |
562 Handle<String> source); | 568 Handle<String> source); |
563 | 569 |
564 // Report syntax error | 570 // Report syntax error |
565 void ReportInvalidPreparseData(Handle<String> name, bool* ok); | 571 void ReportInvalidPreparseData(Handle<String> name, bool* ok); |
566 | 572 |
567 void set_pre_parse_data(ScriptDataImpl *data) { | 573 void set_pre_parse_data(ScriptDataImpl *data) { |
(...skipping 55 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
623 WhileStatement* ParseWhileStatement(ZoneStringList* labels, bool* ok); | 629 WhileStatement* ParseWhileStatement(ZoneStringList* labels, bool* ok); |
624 Statement* ParseForStatement(ZoneStringList* labels, bool* ok); | 630 Statement* ParseForStatement(ZoneStringList* labels, bool* ok); |
625 Statement* ParseThrowStatement(bool* ok); | 631 Statement* ParseThrowStatement(bool* ok); |
626 Expression* MakeCatchContext(Handle<String> id, VariableProxy* value); | 632 Expression* MakeCatchContext(Handle<String> id, VariableProxy* value); |
627 TryStatement* ParseTryStatement(bool* ok); | 633 TryStatement* ParseTryStatement(bool* ok); |
628 DebuggerStatement* ParseDebuggerStatement(bool* ok); | 634 DebuggerStatement* ParseDebuggerStatement(bool* ok); |
629 | 635 |
630 // Support for hamony block scoped bindings. | 636 // Support for hamony block scoped bindings. |
631 Block* ParseScopedBlock(ZoneStringList* labels, bool* ok); | 637 Block* ParseScopedBlock(ZoneStringList* labels, bool* ok); |
632 | 638 |
633 Expression* ParseExpression(bool accept_IN, bool* ok); | |
634 Expression* ParseAssignmentExpression(bool accept_IN, bool* ok); | 639 Expression* ParseAssignmentExpression(bool accept_IN, bool* ok); |
635 Expression* ParseYieldExpression(bool* ok); | 640 Expression* ParseYieldExpression(bool* ok); |
636 Expression* ParseConditionalExpression(bool accept_IN, bool* ok); | 641 Expression* ParseConditionalExpression(bool accept_IN, bool* ok); |
637 Expression* ParseBinaryExpression(int prec, bool accept_IN, bool* ok); | 642 Expression* ParseBinaryExpression(int prec, bool accept_IN, bool* ok); |
638 Expression* ParseUnaryExpression(bool* ok); | 643 Expression* ParseUnaryExpression(bool* ok); |
639 Expression* ParsePostfixExpression(bool* ok); | 644 Expression* ParsePostfixExpression(bool* ok); |
640 Expression* ParseLeftHandSideExpression(bool* ok); | 645 Expression* ParseLeftHandSideExpression(bool* ok); |
641 Expression* ParseMemberWithNewPrefixesExpression(bool* ok); | 646 Expression* ParseMemberWithNewPrefixesExpression(bool* ok); |
642 Expression* ParseMemberExpression(bool* ok); | 647 Expression* ParseMemberExpression(bool* ok); |
643 Expression* ParseMemberExpressionContinuation(Expression* expression, | 648 Expression* ParseMemberExpressionContinuation(Expression* expression, |
644 bool* ok); | 649 bool* ok); |
645 Expression* ParseArrayLiteral(bool* ok); | |
646 Expression* ParseObjectLiteral(bool* ok); | 650 Expression* ParseObjectLiteral(bool* ok); |
647 | 651 |
648 // Initialize the components of a for-in / for-of statement. | 652 // Initialize the components of a for-in / for-of statement. |
649 void InitializeForEachStatement(ForEachStatement* stmt, | 653 void InitializeForEachStatement(ForEachStatement* stmt, |
650 Expression* each, | 654 Expression* each, |
651 Expression* subject, | 655 Expression* subject, |
652 Statement* body); | 656 Statement* body); |
653 | 657 |
654 ZoneList<Expression*>* ParseArguments(bool* ok); | 658 ZoneList<Expression*>* ParseArguments(bool* ok); |
655 FunctionLiteral* ParseFunctionLiteral( | 659 FunctionLiteral* ParseFunctionLiteral( |
(...skipping 15 matching lines...) Expand all Loading... |
671 return isolate_->factory()->NewStringFromAscii( | 675 return isolate_->factory()->NewStringFromAscii( |
672 scanner()->literal_ascii_string(), tenured); | 676 scanner()->literal_ascii_string(), tenured); |
673 } else { | 677 } else { |
674 return isolate_->factory()->NewStringFromTwoByte( | 678 return isolate_->factory()->NewStringFromTwoByte( |
675 scanner()->literal_utf16_string(), tenured); | 679 scanner()->literal_utf16_string(), tenured); |
676 } | 680 } |
677 } | 681 } |
678 | 682 |
679 // Get odd-ball literals. | 683 // Get odd-ball literals. |
680 Literal* GetLiteralUndefined(int position); | 684 Literal* GetLiteralUndefined(int position); |
681 Literal* GetLiteralTheHole(int position); | |
682 | 685 |
683 // Determine if the expression is a variable proxy and mark it as being used | 686 // Determine if the expression is a variable proxy and mark it as being used |
684 // in an assignment or with a increment/decrement operator. This is currently | 687 // in an assignment or with a increment/decrement operator. This is currently |
685 // used on for the statically checking assignments to harmony const bindings. | 688 // used on for the statically checking assignments to harmony const bindings. |
686 void MarkAsLValue(Expression* expression); | 689 void MarkAsLValue(Expression* expression); |
687 | 690 |
688 // Strict mode validation of LValue expressions | 691 // Strict mode validation of LValue expressions |
689 void CheckStrictModeLValue(Expression* expression, | 692 void CheckStrictModeLValue(Expression* expression, |
690 bool* ok); | 693 bool* ok); |
691 | 694 |
(...skipping 56 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
748 Handle<Script> script_; | 751 Handle<Script> script_; |
749 Scanner scanner_; | 752 Scanner scanner_; |
750 PreParser* reusable_preparser_; | 753 PreParser* reusable_preparser_; |
751 Scope* original_scope_; // for ES5 function declarations in sloppy eval | 754 Scope* original_scope_; // for ES5 function declarations in sloppy eval |
752 Target* target_stack_; // for break, continue statements | 755 Target* target_stack_; // for break, continue statements |
753 ScriptDataImpl* pre_parse_data_; | 756 ScriptDataImpl* pre_parse_data_; |
754 FuncNameInferrer* fni_; | 757 FuncNameInferrer* fni_; |
755 | 758 |
756 Mode mode_; | 759 Mode mode_; |
757 | 760 |
758 Zone* zone_; | |
759 CompilationInfo* info_; | 761 CompilationInfo* info_; |
760 }; | 762 }; |
761 | 763 |
762 | 764 |
763 // Support for handling complex values (array and object literals) that | 765 // Support for handling complex values (array and object literals) that |
764 // can be fully handled at compile time. | 766 // can be fully handled at compile time. |
765 class CompileTimeValue: public AllStatic { | 767 class CompileTimeValue: public AllStatic { |
766 public: | 768 public: |
767 enum LiteralType { | 769 enum LiteralType { |
768 OBJECT_LITERAL_FAST_ELEMENTS, | 770 OBJECT_LITERAL_FAST_ELEMENTS, |
(...skipping 15 matching lines...) Expand all Loading... |
784 private: | 786 private: |
785 static const int kLiteralTypeSlot = 0; | 787 static const int kLiteralTypeSlot = 0; |
786 static const int kElementsSlot = 1; | 788 static const int kElementsSlot = 1; |
787 | 789 |
788 DISALLOW_IMPLICIT_CONSTRUCTORS(CompileTimeValue); | 790 DISALLOW_IMPLICIT_CONSTRUCTORS(CompileTimeValue); |
789 }; | 791 }; |
790 | 792 |
791 } } // namespace v8::internal | 793 } } // namespace v8::internal |
792 | 794 |
793 #endif // V8_PARSER_H_ | 795 #endif // V8_PARSER_H_ |
OLD | NEW |