| OLD | NEW |
| 1 // Copyright 2011 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 |
| 11 // with the distribution. | 11 // with the distribution. |
| (...skipping 416 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 428 // Forward declaration. | 428 // Forward declaration. |
| 429 class SingletonLogger; | 429 class SingletonLogger; |
| 430 | 430 |
| 431 class Parser { | 431 class Parser { |
| 432 public: | 432 public: |
| 433 Parser(Handle<Script> script, | 433 Parser(Handle<Script> script, |
| 434 int parsing_flags, // Combination of ParsingFlags | 434 int parsing_flags, // Combination of ParsingFlags |
| 435 v8::Extension* extension, | 435 v8::Extension* extension, |
| 436 ScriptDataImpl* pre_data); | 436 ScriptDataImpl* pre_data); |
| 437 virtual ~Parser() { | 437 virtual ~Parser() { |
| 438 if (reusable_preparser_ != NULL) { | 438 delete reusable_preparser_; |
| 439 delete reusable_preparser_; | 439 reusable_preparser_ = NULL; |
| 440 } | |
| 441 } | 440 } |
| 442 | 441 |
| 443 // Returns NULL if parsing failed. | 442 // Returns NULL if parsing failed. |
| 444 FunctionLiteral* ParseProgram(CompilationInfo* info); | 443 FunctionLiteral* ParseProgram(CompilationInfo* info); |
| 445 FunctionLiteral* ParseLazy(CompilationInfo* info); | 444 FunctionLiteral* ParseLazy(CompilationInfo* info); |
| 446 | 445 |
| 447 void ReportMessageAt(Scanner::Location loc, | 446 void ReportMessageAt(Scanner::Location loc, |
| 448 const char* message, | 447 const char* message, |
| 449 Vector<const char*> args); | 448 Vector<const char*> args); |
| 450 void ReportMessageAt(Scanner::Location loc, | 449 void ReportMessageAt(Scanner::Location loc, |
| (...skipping 19 matching lines...) Expand all Loading... |
| 470 kForStatement | 469 kForStatement |
| 471 }; | 470 }; |
| 472 | 471 |
| 473 // If a list of variable declarations includes any initializers. | 472 // If a list of variable declarations includes any initializers. |
| 474 enum VariableDeclarationProperties { | 473 enum VariableDeclarationProperties { |
| 475 kHasInitializers, | 474 kHasInitializers, |
| 476 kHasNoInitializers | 475 kHasNoInitializers |
| 477 }; | 476 }; |
| 478 | 477 |
| 479 class BlockState; | 478 class BlockState; |
| 480 class FunctionState; | 479 |
| 480 class FunctionState BASE_EMBEDDED { |
| 481 public: |
| 482 FunctionState(Parser* parser, |
| 483 Scope* scope, |
| 484 Isolate* isolate); |
| 485 ~FunctionState(); |
| 486 |
| 487 int NextMaterializedLiteralIndex() { |
| 488 return next_materialized_literal_index_++; |
| 489 } |
| 490 int materialized_literal_count() { |
| 491 return next_materialized_literal_index_ - JSFunction::kLiteralsPrefixSize; |
| 492 } |
| 493 |
| 494 int NextHandlerIndex() { return next_handler_index_++; } |
| 495 int handler_count() { return next_handler_index_; } |
| 496 |
| 497 void SetThisPropertyAssignmentInfo( |
| 498 bool only_simple_this_property_assignments, |
| 499 Handle<FixedArray> this_property_assignments) { |
| 500 only_simple_this_property_assignments_ = |
| 501 only_simple_this_property_assignments; |
| 502 this_property_assignments_ = this_property_assignments; |
| 503 } |
| 504 bool only_simple_this_property_assignments() { |
| 505 return only_simple_this_property_assignments_; |
| 506 } |
| 507 Handle<FixedArray> this_property_assignments() { |
| 508 return this_property_assignments_; |
| 509 } |
| 510 |
| 511 void AddProperty() { expected_property_count_++; } |
| 512 int expected_property_count() { return expected_property_count_; } |
| 513 |
| 514 AstNodeFactory<AstConstructionVisitor>* factory() { return &factory_; } |
| 515 |
| 516 private: |
| 517 // Used to assign an index to each literal that needs materialization in |
| 518 // the function. Includes regexp literals, and boilerplate for object and |
| 519 // array literals. |
| 520 int next_materialized_literal_index_; |
| 521 |
| 522 // Used to assign a per-function index to try and catch handlers. |
| 523 int next_handler_index_; |
| 524 |
| 525 // Properties count estimation. |
| 526 int expected_property_count_; |
| 527 |
| 528 // Keeps track of assignments to properties of this. Used for |
| 529 // optimizing constructors. |
| 530 bool only_simple_this_property_assignments_; |
| 531 Handle<FixedArray> this_property_assignments_; |
| 532 |
| 533 Parser* parser_; |
| 534 FunctionState* outer_function_state_; |
| 535 Scope* outer_scope_; |
| 536 int saved_ast_node_id_; |
| 537 AstNodeFactory<AstConstructionVisitor> factory_; |
| 538 }; |
| 539 |
| 540 |
| 541 |
| 481 | 542 |
| 482 FunctionLiteral* ParseLazy(CompilationInfo* info, | 543 FunctionLiteral* ParseLazy(CompilationInfo* info, |
| 483 UC16CharacterStream* source, | 544 UC16CharacterStream* source, |
| 484 ZoneScope* zone_scope); | 545 ZoneScope* zone_scope); |
| 485 | 546 |
| 486 Isolate* isolate() { return isolate_; } | 547 Isolate* isolate() { return isolate_; } |
| 487 Zone* zone() { return isolate_->zone(); } | 548 Zone* zone() { return isolate_->zone(); } |
| 488 | 549 |
| 489 // Called by ParseProgram after setting up the scanner. | 550 // Called by ParseProgram after setting up the scanner. |
| 490 FunctionLiteral* DoParseProgram(CompilationInfo* info, | 551 FunctionLiteral* DoParseProgram(CompilationInfo* info, |
| (...skipping 153 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 644 return isolate_->factory()->NewStringFromTwoByte( | 705 return isolate_->factory()->NewStringFromTwoByte( |
| 645 scanner().next_literal_uc16_string(), tenured); | 706 scanner().next_literal_uc16_string(), tenured); |
| 646 } | 707 } |
| 647 } | 708 } |
| 648 | 709 |
| 649 Handle<String> GetSymbol(bool* ok); | 710 Handle<String> GetSymbol(bool* ok); |
| 650 | 711 |
| 651 // Get odd-ball literals. | 712 // Get odd-ball literals. |
| 652 Literal* GetLiteralUndefined(); | 713 Literal* GetLiteralUndefined(); |
| 653 Literal* GetLiteralTheHole(); | 714 Literal* GetLiteralTheHole(); |
| 654 Literal* GetLiteralNumber(double value); | |
| 655 | 715 |
| 656 Handle<String> ParseIdentifier(bool* ok); | 716 Handle<String> ParseIdentifier(bool* ok); |
| 657 Handle<String> ParseIdentifierOrStrictReservedWord( | 717 Handle<String> ParseIdentifierOrStrictReservedWord( |
| 658 bool* is_strict_reserved, bool* ok); | 718 bool* is_strict_reserved, bool* ok); |
| 659 Handle<String> ParseIdentifierName(bool* ok); | 719 Handle<String> ParseIdentifierName(bool* ok); |
| 660 Handle<String> ParseIdentifierNameOrGetOrSet(bool* is_get, | 720 Handle<String> ParseIdentifierNameOrGetOrSet(bool* is_get, |
| 661 bool* is_set, | 721 bool* is_set, |
| 662 bool* ok); | 722 bool* ok); |
| 663 | 723 |
| 664 // Determine if the expression is a variable proxy and mark it as being used | 724 // Determine if the expression is a variable proxy and mark it as being used |
| (...skipping 27 matching lines...) Expand all Loading... |
| 692 bool* ok); | 752 bool* ok); |
| 693 | 753 |
| 694 bool TargetStackContainsLabel(Handle<String> label); | 754 bool TargetStackContainsLabel(Handle<String> label); |
| 695 BreakableStatement* LookupBreakTarget(Handle<String> label, bool* ok); | 755 BreakableStatement* LookupBreakTarget(Handle<String> label, bool* ok); |
| 696 IterationStatement* LookupContinueTarget(Handle<String> label, bool* ok); | 756 IterationStatement* LookupContinueTarget(Handle<String> label, bool* ok); |
| 697 | 757 |
| 698 void RegisterTargetUse(Label* target, Target* stop); | 758 void RegisterTargetUse(Label* target, Target* stop); |
| 699 | 759 |
| 700 // Factory methods. | 760 // Factory methods. |
| 701 | 761 |
| 702 Statement* EmptyStatement() { | |
| 703 static v8::internal::EmptyStatement* empty = | |
| 704 ::new v8::internal::EmptyStatement(); | |
| 705 return empty; | |
| 706 } | |
| 707 | |
| 708 Scope* NewScope(Scope* parent, ScopeType type); | 762 Scope* NewScope(Scope* parent, ScopeType type); |
| 709 | 763 |
| 710 Handle<String> LookupSymbol(int symbol_id); | 764 Handle<String> LookupSymbol(int symbol_id); |
| 711 | 765 |
| 712 Handle<String> LookupCachedSymbol(int symbol_id); | 766 Handle<String> LookupCachedSymbol(int symbol_id); |
| 713 | 767 |
| 714 Expression* NewCall(Expression* expression, | |
| 715 ZoneList<Expression*>* arguments, | |
| 716 int pos) { | |
| 717 return new(zone()) Call(isolate(), expression, arguments, pos); | |
| 718 } | |
| 719 | |
| 720 inline Literal* NewLiteral(Handle<Object> handle) { | |
| 721 return new(zone()) Literal(isolate(), handle); | |
| 722 } | |
| 723 | |
| 724 // Create a number literal. | |
| 725 Literal* NewNumberLiteral(double value); | |
| 726 | |
| 727 // Generate AST node that throw a ReferenceError with the given type. | 768 // Generate AST node that throw a ReferenceError with the given type. |
| 728 Expression* NewThrowReferenceError(Handle<String> type); | 769 Expression* NewThrowReferenceError(Handle<String> type); |
| 729 | 770 |
| 730 // Generate AST node that throw a SyntaxError with the given | 771 // Generate AST node that throw a SyntaxError with the given |
| 731 // type. The first argument may be null (in the handle sense) in | 772 // type. The first argument may be null (in the handle sense) in |
| 732 // which case no arguments are passed to the constructor. | 773 // which case no arguments are passed to the constructor. |
| 733 Expression* NewThrowSyntaxError(Handle<String> type, Handle<Object> first); | 774 Expression* NewThrowSyntaxError(Handle<String> type, Handle<Object> first); |
| 734 | 775 |
| 735 // Generate AST node that throw a TypeError with the given | 776 // Generate AST node that throw a TypeError with the given |
| 736 // type. Both arguments must be non-null (in the handle sense). | 777 // type. Both arguments must be non-null (in the handle sense). |
| 737 Expression* NewThrowTypeError(Handle<String> type, | 778 Expression* NewThrowTypeError(Handle<String> type, |
| 738 Handle<Object> first, | 779 Handle<Object> first, |
| 739 Handle<Object> second); | 780 Handle<Object> second); |
| 740 | 781 |
| 741 // Generic AST generator for throwing errors from compiled code. | 782 // Generic AST generator for throwing errors from compiled code. |
| 742 Expression* NewThrowError(Handle<String> constructor, | 783 Expression* NewThrowError(Handle<String> constructor, |
| 743 Handle<String> type, | 784 Handle<String> type, |
| 744 Vector< Handle<Object> > arguments); | 785 Vector< Handle<Object> > arguments); |
| 745 | 786 |
| 746 preparser::PreParser::PreParseResult LazyParseFunctionLiteral( | 787 preparser::PreParser::PreParseResult LazyParseFunctionLiteral( |
| 747 SingletonLogger* logger); | 788 SingletonLogger* logger); |
| 748 | 789 |
| 790 AstNodeFactory<AstConstructionVisitor>* factory() { |
| 791 return current_function_state_->factory(); |
| 792 } |
| 793 |
| 749 Isolate* isolate_; | 794 Isolate* isolate_; |
| 750 ZoneList<Handle<String> > symbol_cache_; | 795 ZoneList<Handle<String> > symbol_cache_; |
| 751 | 796 |
| 752 Handle<Script> script_; | 797 Handle<Script> script_; |
| 753 Scanner scanner_; | 798 Scanner scanner_; |
| 754 preparser::PreParser* reusable_preparser_; | 799 preparser::PreParser* reusable_preparser_; |
| 755 Scope* top_scope_; | 800 Scope* top_scope_; |
| 756 FunctionState* current_function_state_; | 801 FunctionState* current_function_state_; |
| 757 Target* target_stack_; // for break, continue statements | 802 Target* target_stack_; // for break, continue statements |
| 758 v8::Extension* extension_; | 803 v8::Extension* extension_; |
| (...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 800 private: | 845 private: |
| 801 static const int kTypeSlot = 0; | 846 static const int kTypeSlot = 0; |
| 802 static const int kElementsSlot = 1; | 847 static const int kElementsSlot = 1; |
| 803 | 848 |
| 804 DISALLOW_IMPLICIT_CONSTRUCTORS(CompileTimeValue); | 849 DISALLOW_IMPLICIT_CONSTRUCTORS(CompileTimeValue); |
| 805 }; | 850 }; |
| 806 | 851 |
| 807 } } // namespace v8::internal | 852 } } // namespace v8::internal |
| 808 | 853 |
| 809 #endif // V8_PARSER_H_ | 854 #endif // V8_PARSER_H_ |
| OLD | NEW |