| OLD | NEW |
| 1 // Copyright 2010 the V8 project authors. All rights reserved. | 1 // Copyright 2010 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 21 matching lines...) Expand all Loading... |
| 32 #include "bootstrapper.h" | 32 #include "bootstrapper.h" |
| 33 #include "codegen.h" | 33 #include "codegen.h" |
| 34 #include "compiler.h" | 34 #include "compiler.h" |
| 35 #include "func-name-inferrer.h" | 35 #include "func-name-inferrer.h" |
| 36 #include "messages.h" | 36 #include "messages.h" |
| 37 #include "parser.h" | 37 #include "parser.h" |
| 38 #include "platform.h" | 38 #include "platform.h" |
| 39 #include "preparser.h" | 39 #include "preparser.h" |
| 40 #include "runtime.h" | 40 #include "runtime.h" |
| 41 #include "scopeinfo.h" | 41 #include "scopeinfo.h" |
| 42 #include "scopes.h" | |
| 43 #include "string-stream.h" | 42 #include "string-stream.h" |
| 44 | 43 |
| 45 #include "ast-inl.h" | 44 #include "ast-inl.h" |
| 46 #include "jump-target-inl.h" | 45 #include "jump-target-inl.h" |
| 47 | 46 |
| 48 namespace v8 { | 47 namespace v8 { |
| 49 namespace internal { | 48 namespace internal { |
| 50 | 49 |
| 51 // PositionStack is used for on-stack allocation of token positions for | 50 // PositionStack is used for on-stack allocation of token positions for |
| 52 // new expressions. Please look at ParseNewExpression. | 51 // new expressions. Please look at ParseNewExpression. |
| (...skipping 264 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 317 parent_(*variable) { | 316 parent_(*variable) { |
| 318 *variable = this; | 317 *variable = this; |
| 319 } | 318 } |
| 320 | 319 |
| 321 | 320 |
| 322 TemporaryScope::~TemporaryScope() { | 321 TemporaryScope::~TemporaryScope() { |
| 323 *variable_ = parent_; | 322 *variable_ = parent_; |
| 324 } | 323 } |
| 325 | 324 |
| 326 | 325 |
| 327 // A zone list wrapper lets code either access a access a zone list | 326 Handle<String> Parser::LookupSymbol(int symbol_id, |
| 328 // or appear to do so while actually ignoring all operations. | 327 Vector<const char> string) { |
| 329 template <typename T> | 328 // Length of symbol cache is the number of identified symbols. |
| 330 class ZoneListWrapper { | 329 // If we are larger than that, or negative, it's not a cached symbol. |
| 331 public: | 330 // This might also happen if there is no preparser symbol data, even |
| 332 ZoneListWrapper() : list_(NULL) { } | 331 // if there is some preparser data. |
| 333 explicit ZoneListWrapper(int size) : list_(new ZoneList<T*>(size)) { } | 332 if (static_cast<unsigned>(symbol_id) |
| 334 void Add(T* that) { if (list_) list_->Add(that); } | 333 >= static_cast<unsigned>(symbol_cache_.length())) { |
| 335 int length() { return list_->length(); } | 334 return Factory::LookupSymbol(string); |
| 336 ZoneList<T*>* elements() { return list_; } | 335 } |
| 337 T* at(int index) { return list_->at(index); } | 336 return LookupCachedSymbol(symbol_id, string); |
| 338 private: | 337 } |
| 339 ZoneList<T*>* list_; | |
| 340 }; | |
| 341 | 338 |
| 342 | 339 |
| 343 // Allocation macro that should be used to allocate objects that must | 340 Handle<String> Parser::LookupCachedSymbol(int symbol_id, |
| 344 // only be allocated in real parsing mode. Note that in preparse mode | 341 Vector<const char> string) { |
| 345 // not only is the syntax tree not created but the constructor | 342 // Make sure the cache is large enough to hold the symbol identifier. |
| 346 // arguments are not evaluated. | 343 if (symbol_cache_.length() <= symbol_id) { |
| 347 #define NEW(expr) (is_pre_parsing_ ? NULL : new expr) | 344 // Increase length to index + 1. |
| 348 | 345 symbol_cache_.AddBlock(Handle<String>::null(), |
| 349 | 346 symbol_id + 1 - symbol_cache_.length()); |
| 350 class ParserFactory BASE_EMBEDDED { | |
| 351 public: | |
| 352 explicit ParserFactory(bool is_pre_parsing) : | |
| 353 is_pre_parsing_(is_pre_parsing) { } | |
| 354 | |
| 355 virtual ~ParserFactory() { } | |
| 356 | |
| 357 virtual Scope* NewScope(Scope* parent, Scope::Type type, bool inside_with); | |
| 358 | |
| 359 virtual Handle<String> LookupSymbol(int index, Vector<const char> string) { | |
| 360 return Handle<String>(); | |
| 361 } | 347 } |
| 362 | 348 Handle<String> result = symbol_cache_.at(symbol_id); |
| 363 virtual Handle<String> EmptySymbol() { | 349 if (result.is_null()) { |
| 364 return Handle<String>(); | 350 result = Factory::LookupSymbol(string); |
| 365 } | 351 symbol_cache_.at(symbol_id) = result; |
| 366 | |
| 367 virtual Expression* NewProperty(Expression* obj, Expression* key, int pos) { | |
| 368 if (obj == VariableProxySentinel::this_proxy()) { | |
| 369 return Property::this_property(); | |
| 370 } else { | |
| 371 return ValidLeftHandSideSentinel::instance(); | |
| 372 } | |
| 373 } | |
| 374 | |
| 375 virtual Expression* NewCall(Expression* expression, | |
| 376 ZoneList<Expression*>* arguments, | |
| 377 int pos) { | |
| 378 return Call::sentinel(); | |
| 379 } | |
| 380 | |
| 381 virtual Statement* EmptyStatement() { | |
| 382 return NULL; | |
| 383 } | |
| 384 | |
| 385 template <typename T> ZoneListWrapper<T> NewList(int size) { | |
| 386 return is_pre_parsing_ ? ZoneListWrapper<T>() : ZoneListWrapper<T>(size); | |
| 387 } | |
| 388 | |
| 389 private: | |
| 390 bool is_pre_parsing_; | |
| 391 }; | |
| 392 | |
| 393 | |
| 394 class ConditionalLogPauseScope { | |
| 395 public: | |
| 396 ConditionalLogPauseScope(bool pause, ParserLog* log) | |
| 397 : log_(log), pause_(pause) { | |
| 398 if (pause) log->PauseRecording(); | |
| 399 } | |
| 400 ~ConditionalLogPauseScope() { | |
| 401 if (pause_) log_->ResumeRecording(); | |
| 402 } | |
| 403 private: | |
| 404 ParserLog* log_; | |
| 405 bool pause_; | |
| 406 }; | |
| 407 | |
| 408 | |
| 409 class AstBuildingParserFactory : public ParserFactory { | |
| 410 public: | |
| 411 explicit AstBuildingParserFactory(int expected_symbols) | |
| 412 : ParserFactory(false), symbol_cache_(expected_symbols) { } | |
| 413 | |
| 414 virtual Scope* NewScope(Scope* parent, Scope::Type type, bool inside_with); | |
| 415 | |
| 416 virtual Handle<String> LookupSymbol(int symbol_id, | |
| 417 Vector<const char> string) { | |
| 418 // Length of symbol cache is the number of identified symbols. | |
| 419 // If we are larger than that, or negative, it's not a cached symbol. | |
| 420 // This might also happen if there is no preparser symbol data, even | |
| 421 // if there is some preparser data. | |
| 422 if (static_cast<unsigned>(symbol_id) | |
| 423 >= static_cast<unsigned>(symbol_cache_.length())) { | |
| 424 return Factory::LookupSymbol(string); | |
| 425 } | |
| 426 return LookupCachedSymbol(symbol_id, string); | |
| 427 } | |
| 428 | |
| 429 Handle<String> LookupCachedSymbol(int symbol_id, | |
| 430 Vector<const char> string) { | |
| 431 // Make sure the cache is large enough to hold the symbol identifier. | |
| 432 if (symbol_cache_.length() <= symbol_id) { | |
| 433 // Increase length to index + 1. | |
| 434 symbol_cache_.AddBlock(Handle<String>::null(), | |
| 435 symbol_id + 1 - symbol_cache_.length()); | |
| 436 } | |
| 437 Handle<String> result = symbol_cache_.at(symbol_id); | |
| 438 if (result.is_null()) { | |
| 439 result = Factory::LookupSymbol(string); | |
| 440 symbol_cache_.at(symbol_id) = result; | |
| 441 return result; | |
| 442 } | |
| 443 Counters::total_preparse_symbols_skipped.Increment(); | |
| 444 return result; | 352 return result; |
| 445 } | 353 } |
| 446 | 354 Counters::total_preparse_symbols_skipped.Increment(); |
| 447 virtual Handle<String> EmptySymbol() { | 355 return result; |
| 448 return Factory::empty_symbol(); | 356 } |
| 449 } | |
| 450 | |
| 451 virtual Expression* NewProperty(Expression* obj, Expression* key, int pos) { | |
| 452 return new Property(obj, key, pos); | |
| 453 } | |
| 454 | |
| 455 virtual Expression* NewCall(Expression* expression, | |
| 456 ZoneList<Expression*>* arguments, | |
| 457 int pos) { | |
| 458 return new Call(expression, arguments, pos); | |
| 459 } | |
| 460 | |
| 461 virtual Statement* EmptyStatement(); | |
| 462 private: | |
| 463 List<Handle<String> > symbol_cache_; | |
| 464 }; | |
| 465 | 357 |
| 466 | 358 |
| 467 Vector<unsigned> PartialParserRecorder::ExtractData() { | 359 Vector<unsigned> PartialParserRecorder::ExtractData() { |
| 468 int function_size = function_store_.size(); | 360 int function_size = function_store_.size(); |
| 469 int total_size = ScriptDataImpl::kHeaderSize + function_size; | 361 int total_size = ScriptDataImpl::kHeaderSize + function_size; |
| 470 Vector<unsigned> data = Vector<unsigned>::New(total_size); | 362 Vector<unsigned> data = Vector<unsigned>::New(total_size); |
| 471 preamble_[ScriptDataImpl::kFunctionsSizeOffset] = function_size; | 363 preamble_[ScriptDataImpl::kFunctionsSizeOffset] = function_size; |
| 472 preamble_[ScriptDataImpl::kSymbolCountOffset] = 0; | 364 preamble_[ScriptDataImpl::kSymbolCountOffset] = 0; |
| 473 memcpy(data.start(), preamble_, sizeof(preamble_)); | 365 memcpy(data.start(), preamble_, sizeof(preamble_)); |
| 474 int symbol_start = ScriptDataImpl::kHeaderSize + function_size; | 366 int symbol_start = ScriptDataImpl::kHeaderSize + function_size; |
| (...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 516 symbol_start)); | 408 symbol_start)); |
| 517 } | 409 } |
| 518 if (!has_error()) { | 410 if (!has_error()) { |
| 519 symbol_store_.WriteTo( | 411 symbol_store_.WriteTo( |
| 520 Vector<byte>::cast(data.SubVector(symbol_start, total_size))); | 412 Vector<byte>::cast(data.SubVector(symbol_start, total_size))); |
| 521 } | 413 } |
| 522 return data; | 414 return data; |
| 523 } | 415 } |
| 524 | 416 |
| 525 | 417 |
| 526 | |
| 527 | |
| 528 FunctionEntry ScriptDataImpl::GetFunctionEntry(int start) { | 418 FunctionEntry ScriptDataImpl::GetFunctionEntry(int start) { |
| 529 // The current pre-data entry must be a FunctionEntry with the given | 419 // The current pre-data entry must be a FunctionEntry with the given |
| 530 // start position. | 420 // start position. |
| 531 if ((function_index_ + FunctionEntry::kSize <= store_.length()) | 421 if ((function_index_ + FunctionEntry::kSize <= store_.length()) |
| 532 && (static_cast<int>(store_[function_index_]) == start)) { | 422 && (static_cast<int>(store_[function_index_]) == start)) { |
| 533 int index = function_index_; | 423 int index = function_index_; |
| 534 function_index_ += FunctionEntry::kSize; | 424 function_index_ += FunctionEntry::kSize; |
| 535 return FunctionEntry(store_.SubVector(index, | 425 return FunctionEntry(store_.SubVector(index, |
| 536 index + FunctionEntry::kSize)); | 426 index + FunctionEntry::kSize)); |
| 537 } | 427 } |
| (...skipping 159 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 697 unsigned ScriptDataImpl::Read(int position) { | 587 unsigned ScriptDataImpl::Read(int position) { |
| 698 return store_[ScriptDataImpl::kHeaderSize + position]; | 588 return store_[ScriptDataImpl::kHeaderSize + position]; |
| 699 } | 589 } |
| 700 | 590 |
| 701 | 591 |
| 702 unsigned* ScriptDataImpl::ReadAddress(int position) { | 592 unsigned* ScriptDataImpl::ReadAddress(int position) { |
| 703 return &store_[ScriptDataImpl::kHeaderSize + position]; | 593 return &store_[ScriptDataImpl::kHeaderSize + position]; |
| 704 } | 594 } |
| 705 | 595 |
| 706 | 596 |
| 707 class AstBuildingParser : public Parser { | 597 Scope* Parser::NewScope(Scope* parent, Scope::Type type, bool inside_with) { |
| 708 public: | |
| 709 AstBuildingParser(Handle<Script> script, bool allow_natives_syntax, | |
| 710 v8::Extension* extension, ScriptDataImpl* pre_data) | |
| 711 : Parser(script, | |
| 712 allow_natives_syntax, | |
| 713 extension, | |
| 714 PARSE, | |
| 715 factory(), | |
| 716 log(), | |
| 717 pre_data), | |
| 718 factory_(pre_data ? pre_data->symbol_count() : 0) { } | |
| 719 virtual void ReportMessageAt(Scanner::Location loc, const char* message, | |
| 720 Vector<const char*> args); | |
| 721 virtual VariableProxy* Declare(Handle<String> name, Variable::Mode mode, | |
| 722 FunctionLiteral* fun, bool resolve, bool* ok); | |
| 723 AstBuildingParserFactory* factory() { return &factory_; } | |
| 724 ParserLog* log() { return &log_; } | |
| 725 | |
| 726 private: | |
| 727 ParserLog log_; | |
| 728 AstBuildingParserFactory factory_; | |
| 729 }; | |
| 730 | |
| 731 | |
| 732 class PreParser : public Parser { | |
| 733 public: | |
| 734 PreParser(Handle<Script> script, bool allow_natives_syntax, | |
| 735 v8::Extension* extension, ParserLog* recorder) | |
| 736 : Parser(script, allow_natives_syntax, extension, PREPARSE, | |
| 737 factory(), recorder, NULL), | |
| 738 factory_(true) { } | |
| 739 virtual void ReportMessageAt(Scanner::Location loc, const char* message, | |
| 740 Vector<const char*> args); | |
| 741 virtual VariableProxy* Declare(Handle<String> name, Variable::Mode mode, | |
| 742 FunctionLiteral* fun, bool resolve, bool* ok); | |
| 743 ParserFactory* factory() { return &factory_; } | |
| 744 virtual PartialParserRecorder* recorder() = 0; | |
| 745 | |
| 746 private: | |
| 747 ParserFactory factory_; | |
| 748 }; | |
| 749 | |
| 750 | |
| 751 class CompletePreParser : public PreParser { | |
| 752 public: | |
| 753 CompletePreParser(Handle<Script> script, bool allow_natives_syntax, | |
| 754 v8::Extension* extension) | |
| 755 : PreParser(script, allow_natives_syntax, extension, &recorder_), | |
| 756 recorder_() { } | |
| 757 virtual PartialParserRecorder* recorder() { return &recorder_; } | |
| 758 private: | |
| 759 CompleteParserRecorder recorder_; | |
| 760 }; | |
| 761 | |
| 762 | |
| 763 class PartialPreParser : public PreParser { | |
| 764 public: | |
| 765 PartialPreParser(Handle<Script> script, bool allow_natives_syntax, | |
| 766 v8::Extension* extension) | |
| 767 : PreParser(script, allow_natives_syntax, extension, &recorder_), | |
| 768 recorder_() { } | |
| 769 virtual PartialParserRecorder* recorder() { return &recorder_; } | |
| 770 private: | |
| 771 PartialParserRecorder recorder_; | |
| 772 }; | |
| 773 | |
| 774 | |
| 775 Scope* AstBuildingParserFactory::NewScope(Scope* parent, Scope::Type type, | |
| 776 bool inside_with) { | |
| 777 Scope* result = new Scope(parent, type); | 598 Scope* result = new Scope(parent, type); |
| 778 result->Initialize(inside_with); | 599 result->Initialize(inside_with); |
| 779 return result; | 600 return result; |
| 780 } | 601 } |
| 781 | 602 |
| 782 | |
| 783 Statement* AstBuildingParserFactory::EmptyStatement() { | |
| 784 // Use a statically allocated empty statement singleton to avoid | |
| 785 // allocating lots and lots of empty statements. | |
| 786 static v8::internal::EmptyStatement empty; | |
| 787 return ∅ | |
| 788 } | |
| 789 | |
| 790 | |
| 791 Scope* ParserFactory::NewScope(Scope* parent, Scope::Type type, | |
| 792 bool inside_with) { | |
| 793 ASSERT(parent != NULL); | |
| 794 parent->type_ = type; | |
| 795 // Initialize function is hijacked by DummyScope to increment scope depth. | |
| 796 parent->Initialize(inside_with); | |
| 797 return parent; | |
| 798 } | |
| 799 | |
| 800 | |
| 801 VariableProxy* PreParser::Declare(Handle<String> name, Variable::Mode mode, | |
| 802 FunctionLiteral* fun, bool resolve, | |
| 803 bool* ok) { | |
| 804 return NULL; | |
| 805 } | |
| 806 | |
| 807 | |
| 808 | |
| 809 // ---------------------------------------------------------------------------- | 603 // ---------------------------------------------------------------------------- |
| 810 // Target is a support class to facilitate manipulation of the | 604 // Target is a support class to facilitate manipulation of the |
| 811 // Parser's target_stack_ (the stack of potential 'break' and | 605 // Parser's target_stack_ (the stack of potential 'break' and |
| 812 // 'continue' statement targets). Upon construction, a new target is | 606 // 'continue' statement targets). Upon construction, a new target is |
| 813 // added; it is removed upon destruction. | 607 // added; it is removed upon destruction. |
| 814 | 608 |
| 815 class Target BASE_EMBEDDED { | 609 class Target BASE_EMBEDDED { |
| 816 public: | 610 public: |
| 817 Target(Target** variable, AstNode* node) | 611 Target(Target** variable, AstNode* node) |
| 818 : variable_(variable), node_(node), previous_(*variable) { | 612 : variable_(variable), node_(node), previous_(*variable) { |
| (...skipping 82 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 901 ((void)0 | 695 ((void)0 |
| 902 #define DUMMY ) // to make indentation work | 696 #define DUMMY ) // to make indentation work |
| 903 #undef DUMMY | 697 #undef DUMMY |
| 904 | 698 |
| 905 // ---------------------------------------------------------------------------- | 699 // ---------------------------------------------------------------------------- |
| 906 // Implementation of Parser | 700 // Implementation of Parser |
| 907 | 701 |
| 908 Parser::Parser(Handle<Script> script, | 702 Parser::Parser(Handle<Script> script, |
| 909 bool allow_natives_syntax, | 703 bool allow_natives_syntax, |
| 910 v8::Extension* extension, | 704 v8::Extension* extension, |
| 911 ParserMode is_pre_parsing, | |
| 912 ParserFactory* factory, | |
| 913 ParserLog* log, | |
| 914 ScriptDataImpl* pre_data) | 705 ScriptDataImpl* pre_data) |
| 915 : script_(script), | 706 : symbol_cache_(pre_data ? pre_data->symbol_count() : 0), |
| 707 script_(script), |
| 916 scanner_(), | 708 scanner_(), |
| 917 top_scope_(NULL), | 709 top_scope_(NULL), |
| 918 with_nesting_level_(0), | 710 with_nesting_level_(0), |
| 919 temp_scope_(NULL), | 711 temp_scope_(NULL), |
| 920 target_stack_(NULL), | 712 target_stack_(NULL), |
| 921 allow_natives_syntax_(allow_natives_syntax), | 713 allow_natives_syntax_(allow_natives_syntax), |
| 922 extension_(extension), | 714 extension_(extension), |
| 923 factory_(factory), | |
| 924 log_(log), | |
| 925 is_pre_parsing_(is_pre_parsing == PREPARSE), | |
| 926 pre_data_(pre_data), | 715 pre_data_(pre_data), |
| 927 fni_(NULL) { | 716 fni_(NULL) { |
| 928 } | 717 } |
| 929 | 718 |
| 930 | 719 |
| 931 FunctionLiteral* Parser::ParseProgram(Handle<String> source, | 720 FunctionLiteral* Parser::ParseProgram(Handle<String> source, |
| 932 bool in_global_context) { | 721 bool in_global_context) { |
| 933 CompilationZoneScope zone_scope(DONT_DELETE_ON_EXIT); | 722 CompilationZoneScope zone_scope(DONT_DELETE_ON_EXIT); |
| 934 | 723 |
| 935 HistogramTimerScope timer(&Counters::parse); | 724 HistogramTimerScope timer(&Counters::parse); |
| 936 Counters::total_parse_size.Increment(source->length()); | 725 Counters::total_parse_size.Increment(source->length()); |
| 937 fni_ = new FuncNameInferrer(); | 726 fni_ = new FuncNameInferrer(); |
| 938 | 727 |
| 939 // Initialize parser state. | 728 // Initialize parser state. |
| 940 source->TryFlatten(); | 729 source->TryFlatten(); |
| 941 scanner_.Initialize(source, JAVASCRIPT); | 730 scanner_.Initialize(source, JAVASCRIPT); |
| 942 ASSERT(target_stack_ == NULL); | 731 ASSERT(target_stack_ == NULL); |
| 943 if (pre_data_ != NULL) pre_data_->Initialize(); | 732 if (pre_data_ != NULL) pre_data_->Initialize(); |
| 944 | 733 |
| 945 // Compute the parsing mode. | 734 // Compute the parsing mode. |
| 946 mode_ = FLAG_lazy ? PARSE_LAZILY : PARSE_EAGERLY; | 735 mode_ = FLAG_lazy ? PARSE_LAZILY : PARSE_EAGERLY; |
| 947 if (allow_natives_syntax_ || extension_ != NULL) mode_ = PARSE_EAGERLY; | 736 if (allow_natives_syntax_ || extension_ != NULL) mode_ = PARSE_EAGERLY; |
| 948 | 737 |
| 949 Scope::Type type = | 738 Scope::Type type = |
| 950 in_global_context | 739 in_global_context |
| 951 ? Scope::GLOBAL_SCOPE | 740 ? Scope::GLOBAL_SCOPE |
| 952 : Scope::EVAL_SCOPE; | 741 : Scope::EVAL_SCOPE; |
| 953 Handle<String> no_name = factory()->EmptySymbol(); | 742 Handle<String> no_name = Factory::empty_symbol(); |
| 954 | 743 |
| 955 FunctionLiteral* result = NULL; | 744 FunctionLiteral* result = NULL; |
| 956 { Scope* scope = factory()->NewScope(top_scope_, type, inside_with()); | 745 { Scope* scope = NewScope(top_scope_, type, inside_with()); |
| 957 LexicalScope lexical_scope(&this->top_scope_, &this->with_nesting_level_, | 746 LexicalScope lexical_scope(&this->top_scope_, &this->with_nesting_level_, |
| 958 scope); | 747 scope); |
| 959 TemporaryScope temp_scope(&this->temp_scope_); | 748 TemporaryScope temp_scope(&this->temp_scope_); |
| 960 ZoneListWrapper<Statement> body(16); | 749 ZoneList<Statement*>* body = new ZoneList<Statement*>(16); |
| 961 bool ok = true; | 750 bool ok = true; |
| 962 ParseSourceElements(&body, Token::EOS, &ok); | 751 ParseSourceElements(body, Token::EOS, &ok); |
| 963 if (ok) { | 752 if (ok) { |
| 964 result = NEW(FunctionLiteral( | 753 result = new FunctionLiteral( |
| 965 no_name, | 754 no_name, |
| 966 top_scope_, | 755 top_scope_, |
| 967 body.elements(), | 756 body, |
| 968 temp_scope.materialized_literal_count(), | 757 temp_scope.materialized_literal_count(), |
| 969 temp_scope.expected_property_count(), | 758 temp_scope.expected_property_count(), |
| 970 temp_scope.only_simple_this_property_assignments(), | 759 temp_scope.only_simple_this_property_assignments(), |
| 971 temp_scope.this_property_assignments(), | 760 temp_scope.this_property_assignments(), |
| 972 0, | 761 0, |
| 973 0, | 762 0, |
| 974 source->length(), | 763 source->length(), |
| 975 false, | 764 false, |
| 976 temp_scope.ContainsLoops())); | 765 temp_scope.ContainsLoops()); |
| 977 } else if (scanner().stack_overflow()) { | 766 } else if (scanner().stack_overflow()) { |
| 978 Top::StackOverflow(); | 767 Top::StackOverflow(); |
| 979 } | 768 } |
| 980 } | 769 } |
| 981 | 770 |
| 982 // Make sure the target stack is empty. | 771 // Make sure the target stack is empty. |
| 983 ASSERT(target_stack_ == NULL); | 772 ASSERT(target_stack_ == NULL); |
| 984 | 773 |
| 985 // If there was a syntax error we have to get rid of the AST | 774 // If there was a syntax error we have to get rid of the AST |
| 986 // and it is not safe to do so before the scope has been deleted. | 775 // and it is not safe to do so before the scope has been deleted. |
| (...skipping 17 matching lines...) Expand all Loading... |
| 1004 scanner_.Initialize(source, info->start_position(), info->end_position(), | 793 scanner_.Initialize(source, info->start_position(), info->end_position(), |
| 1005 JAVASCRIPT); | 794 JAVASCRIPT); |
| 1006 ASSERT(target_stack_ == NULL); | 795 ASSERT(target_stack_ == NULL); |
| 1007 mode_ = PARSE_EAGERLY; | 796 mode_ = PARSE_EAGERLY; |
| 1008 | 797 |
| 1009 // Place holder for the result. | 798 // Place holder for the result. |
| 1010 FunctionLiteral* result = NULL; | 799 FunctionLiteral* result = NULL; |
| 1011 | 800 |
| 1012 { | 801 { |
| 1013 // Parse the function literal. | 802 // Parse the function literal. |
| 1014 Handle<String> no_name = factory()->EmptySymbol(); | 803 Handle<String> no_name = Factory::empty_symbol(); |
| 1015 Scope* scope = | 804 Scope* scope = |
| 1016 factory()->NewScope(top_scope_, Scope::GLOBAL_SCOPE, inside_with()); | 805 NewScope(top_scope_, Scope::GLOBAL_SCOPE, inside_with()); |
| 1017 LexicalScope lexical_scope(&this->top_scope_, &this->with_nesting_level_, | 806 LexicalScope lexical_scope(&this->top_scope_, &this->with_nesting_level_, |
| 1018 scope); | 807 scope); |
| 1019 TemporaryScope temp_scope(&this->temp_scope_); | 808 TemporaryScope temp_scope(&this->temp_scope_); |
| 1020 | 809 |
| 1021 FunctionLiteralType type = | 810 FunctionLiteralType type = |
| 1022 info->is_expression() ? EXPRESSION : DECLARATION; | 811 info->is_expression() ? EXPRESSION : DECLARATION; |
| 1023 bool ok = true; | 812 bool ok = true; |
| 1024 result = ParseFunctionLiteral(name, RelocInfo::kNoPosition, type, &ok); | 813 result = ParseFunctionLiteral(name, RelocInfo::kNoPosition, type, &ok); |
| 1025 // Make sure the results agree. | 814 // Make sure the results agree. |
| 1026 ASSERT(ok == (result != NULL)); | 815 ASSERT(ok == (result != NULL)); |
| 1027 // The only errors should be stack overflows. | 816 // The only errors should be stack overflows. |
| 1028 ASSERT(ok || scanner_.stack_overflow()); | 817 ASSERT(ok || scanner_.stack_overflow()); |
| 1029 } | 818 } |
| 1030 | 819 |
| 1031 // Make sure the target stack is empty. | 820 // Make sure the target stack is empty. |
| 1032 ASSERT(target_stack_ == NULL); | 821 ASSERT(target_stack_ == NULL); |
| 1033 | 822 |
| 1034 // If there was a stack overflow we have to get rid of AST and it is | 823 // If there was a stack overflow we have to get rid of AST and it is |
| 1035 // not safe to do before scope has been deleted. | 824 // not safe to do before scope has been deleted. |
| 1036 if (result == NULL) { | 825 if (result == NULL) { |
| 1037 Top::StackOverflow(); | 826 Top::StackOverflow(); |
| 1038 zone_scope.DeleteOnExit(); | 827 zone_scope.DeleteOnExit(); |
| 1039 } | 828 } |
| 1040 return result; | 829 return result; |
| 1041 } | 830 } |
| 1042 | 831 |
| 1043 | 832 |
| 833 Handle<String> Parser::GetSymbol(bool* ok) { |
| 834 int symbol_id = -1; |
| 835 if (pre_data() != NULL) { |
| 836 symbol_id = pre_data()->GetSymbolIdentifier(); |
| 837 } |
| 838 return LookupSymbol(symbol_id, scanner_.literal()); |
| 839 } |
| 840 |
| 841 |
| 1044 void Parser::ReportMessage(const char* type, Vector<const char*> args) { | 842 void Parser::ReportMessage(const char* type, Vector<const char*> args) { |
| 1045 Scanner::Location source_location = scanner_.location(); | 843 Scanner::Location source_location = scanner_.location(); |
| 1046 ReportMessageAt(source_location, type, args); | 844 ReportMessageAt(source_location, type, args); |
| 1047 } | 845 } |
| 1048 | 846 |
| 1049 | 847 |
| 1050 Handle<String> Parser::GetSymbol(bool* ok) { | 848 void Parser::ReportMessageAt(Scanner::Location source_location, |
| 1051 if (is_pre_parsing_) { | 849 const char* type, |
| 1052 log()->LogSymbol(scanner_.location().beg_pos, scanner_.literal()); | 850 Vector<const char*> args) { |
| 1053 return Handle<String>::null(); | |
| 1054 } | |
| 1055 int symbol_id = -1; | |
| 1056 if (pre_data() != NULL) { | |
| 1057 symbol_id = pre_data()->GetSymbolIdentifier(); | |
| 1058 } | |
| 1059 return factory()->LookupSymbol(symbol_id, scanner_.literal()); | |
| 1060 } | |
| 1061 | |
| 1062 | |
| 1063 void AstBuildingParser::ReportMessageAt(Scanner::Location source_location, | |
| 1064 const char* type, | |
| 1065 Vector<const char*> args) { | |
| 1066 MessageLocation location(script_, | 851 MessageLocation location(script_, |
| 1067 source_location.beg_pos, source_location.end_pos); | 852 source_location.beg_pos, source_location.end_pos); |
| 1068 Handle<JSArray> array = Factory::NewJSArray(args.length()); | 853 Handle<JSArray> array = Factory::NewJSArray(args.length()); |
| 1069 for (int i = 0; i < args.length(); i++) { | 854 for (int i = 0; i < args.length(); i++) { |
| 1070 SetElement(array, i, Factory::NewStringFromUtf8(CStrVector(args[i]))); | 855 SetElement(array, i, Factory::NewStringFromUtf8(CStrVector(args[i]))); |
| 1071 } | 856 } |
| 1072 Handle<Object> result = Factory::NewSyntaxError(type, array); | 857 Handle<Object> result = Factory::NewSyntaxError(type, array); |
| 1073 Top::Throw(*result, &location); | 858 Top::Throw(*result, &location); |
| 1074 } | 859 } |
| 1075 | 860 |
| 1076 | 861 |
| 1077 void PreParser::ReportMessageAt(Scanner::Location source_location, | |
| 1078 const char* type, | |
| 1079 Vector<const char*> args) { | |
| 1080 recorder()->LogMessage(source_location, type, args); | |
| 1081 } | |
| 1082 | |
| 1083 | |
| 1084 // Base class containing common code for the different finder classes used by | 862 // Base class containing common code for the different finder classes used by |
| 1085 // the parser. | 863 // the parser. |
| 1086 class ParserFinder { | 864 class ParserFinder { |
| 1087 protected: | 865 protected: |
| 1088 ParserFinder() {} | 866 ParserFinder() {} |
| 1089 static Assignment* AsAssignment(Statement* stat) { | 867 static Assignment* AsAssignment(Statement* stat) { |
| 1090 if (stat == NULL) return NULL; | 868 if (stat == NULL) return NULL; |
| 1091 ExpressionStatement* exp_stat = stat->AsExpressionStatement(); | 869 ExpressionStatement* exp_stat = stat->AsExpressionStatement(); |
| 1092 if (exp_stat == NULL) return NULL; | 870 if (exp_stat == NULL) return NULL; |
| 1093 return exp_stat->expression()->AsAssignment(); | 871 return exp_stat->expression()->AsAssignment(); |
| (...skipping 21 matching lines...) Expand all Loading... |
| 1115 EndBlock(); | 893 EndBlock(); |
| 1116 } | 894 } |
| 1117 } | 895 } |
| 1118 if (!InBlock() && (assignment != NULL) && | 896 if (!InBlock() && (assignment != NULL) && |
| 1119 (assignment->op() == Token::ASSIGN)) { | 897 (assignment->op() == Token::ASSIGN)) { |
| 1120 StartBlock(assignment); | 898 StartBlock(assignment); |
| 1121 } | 899 } |
| 1122 } | 900 } |
| 1123 | 901 |
| 1124 private: | 902 private: |
| 903 // The minimum number of contiguous assignment that will |
| 904 // be treated as an initialization block. Benchmarks show that |
| 905 // the overhead exceeds the savings below this limit. |
| 906 static const int kMinInitializationBlock = 3; |
| 907 |
| 1125 // Returns true if the expressions appear to denote the same object. | 908 // Returns true if the expressions appear to denote the same object. |
| 1126 // In the context of initialization blocks, we only consider expressions | 909 // In the context of initialization blocks, we only consider expressions |
| 1127 // of the form 'expr.x' or expr["x"]. | 910 // of the form 'expr.x' or expr["x"]. |
| 1128 static bool SameObject(Expression* e1, Expression* e2) { | 911 static bool SameObject(Expression* e1, Expression* e2) { |
| 1129 VariableProxy* v1 = e1->AsVariableProxy(); | 912 VariableProxy* v1 = e1->AsVariableProxy(); |
| 1130 VariableProxy* v2 = e2->AsVariableProxy(); | 913 VariableProxy* v2 = e2->AsVariableProxy(); |
| 1131 if (v1 != NULL && v2 != NULL) { | 914 if (v1 != NULL && v2 != NULL) { |
| 1132 return v1->name()->Equals(*v2->name()); | 915 return v1->name()->Equals(*v2->name()); |
| 1133 } | 916 } |
| 1134 Property* p1 = e1->AsProperty(); | 917 Property* p1 = e1->AsProperty(); |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1167 last_in_block_ = assignment; | 950 last_in_block_ = assignment; |
| 1168 block_size_ = 1; | 951 block_size_ = 1; |
| 1169 } | 952 } |
| 1170 | 953 |
| 1171 void UpdateBlock(Assignment* assignment) { | 954 void UpdateBlock(Assignment* assignment) { |
| 1172 last_in_block_ = assignment; | 955 last_in_block_ = assignment; |
| 1173 ++block_size_; | 956 ++block_size_; |
| 1174 } | 957 } |
| 1175 | 958 |
| 1176 void EndBlock() { | 959 void EndBlock() { |
| 1177 if (block_size_ >= Parser::kMinInitializationBlock) { | 960 if (block_size_ >= kMinInitializationBlock) { |
| 1178 first_in_block_->mark_block_start(); | 961 first_in_block_->mark_block_start(); |
| 1179 last_in_block_->mark_block_end(); | 962 last_in_block_->mark_block_end(); |
| 1180 } | 963 } |
| 1181 last_in_block_ = first_in_block_ = NULL; | 964 last_in_block_ = first_in_block_ = NULL; |
| 1182 block_size_ = 0; | 965 block_size_ = 0; |
| 1183 } | 966 } |
| 1184 | 967 |
| 1185 bool InBlock() { return first_in_block_ != NULL; } | 968 bool InBlock() { return first_in_block_ != NULL; } |
| 1186 | 969 |
| 1187 Assignment* first_in_block_; | 970 Assignment* first_in_block_; |
| (...skipping 137 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1325 } | 1108 } |
| 1326 } | 1109 } |
| 1327 | 1110 |
| 1328 bool only_simple_this_property_assignments_; | 1111 bool only_simple_this_property_assignments_; |
| 1329 ZoneStringList* names_; | 1112 ZoneStringList* names_; |
| 1330 ZoneList<int>* assigned_arguments_; | 1113 ZoneList<int>* assigned_arguments_; |
| 1331 ZoneObjectList* assigned_constants_; | 1114 ZoneObjectList* assigned_constants_; |
| 1332 }; | 1115 }; |
| 1333 | 1116 |
| 1334 | 1117 |
| 1335 void* Parser::ParseSourceElements(ZoneListWrapper<Statement>* processor, | 1118 void* Parser::ParseSourceElements(ZoneList<Statement*>* processor, |
| 1336 int end_token, | 1119 int end_token, |
| 1337 bool* ok) { | 1120 bool* ok) { |
| 1338 // SourceElements :: | 1121 // SourceElements :: |
| 1339 // (Statement)* <end_token> | 1122 // (Statement)* <end_token> |
| 1340 | 1123 |
| 1341 // Allocate a target stack to use for this set of source | 1124 // Allocate a target stack to use for this set of source |
| 1342 // elements. This way, all scripts and functions get their own | 1125 // elements. This way, all scripts and functions get their own |
| 1343 // target stack thus avoiding illegal breaks and continues across | 1126 // target stack thus avoiding illegal breaks and continues across |
| 1344 // functions. | 1127 // functions. |
| 1345 TargetScope scope(&this->target_stack_); | 1128 TargetScope scope(&this->target_stack_); |
| (...skipping 11 matching lines...) Expand all Loading... |
| 1357 block_finder.Update(stat); | 1140 block_finder.Update(stat); |
| 1358 } | 1141 } |
| 1359 // Find and mark all assignments to named properties in this (this.x =) | 1142 // Find and mark all assignments to named properties in this (this.x =) |
| 1360 if (top_scope_->is_function_scope()) { | 1143 if (top_scope_->is_function_scope()) { |
| 1361 this_property_assignment_finder.Update(top_scope_, stat); | 1144 this_property_assignment_finder.Update(top_scope_, stat); |
| 1362 } | 1145 } |
| 1363 processor->Add(stat); | 1146 processor->Add(stat); |
| 1364 } | 1147 } |
| 1365 | 1148 |
| 1366 // Propagate the collected information on this property assignments. | 1149 // Propagate the collected information on this property assignments. |
| 1367 if (!is_pre_parsing_ && top_scope_->is_function_scope()) { | 1150 if (top_scope_->is_function_scope()) { |
| 1368 bool only_simple_this_property_assignments = | 1151 bool only_simple_this_property_assignments = |
| 1369 this_property_assignment_finder.only_simple_this_property_assignments() | 1152 this_property_assignment_finder.only_simple_this_property_assignments() |
| 1370 && top_scope_->declarations()->length() == 0; | 1153 && top_scope_->declarations()->length() == 0; |
| 1371 if (only_simple_this_property_assignments) { | 1154 if (only_simple_this_property_assignments) { |
| 1372 temp_scope_->SetThisPropertyAssignmentInfo( | 1155 temp_scope_->SetThisPropertyAssignmentInfo( |
| 1373 only_simple_this_property_assignments, | 1156 only_simple_this_property_assignments, |
| 1374 this_property_assignment_finder.GetThisPropertyAssignments()); | 1157 this_property_assignment_finder.GetThisPropertyAssignments()); |
| 1375 } | 1158 } |
| 1376 } | 1159 } |
| 1377 return 0; | 1160 return 0; |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1410 case Token::LBRACE: | 1193 case Token::LBRACE: |
| 1411 return ParseBlock(labels, ok); | 1194 return ParseBlock(labels, ok); |
| 1412 | 1195 |
| 1413 case Token::CONST: // fall through | 1196 case Token::CONST: // fall through |
| 1414 case Token::VAR: | 1197 case Token::VAR: |
| 1415 stmt = ParseVariableStatement(ok); | 1198 stmt = ParseVariableStatement(ok); |
| 1416 break; | 1199 break; |
| 1417 | 1200 |
| 1418 case Token::SEMICOLON: | 1201 case Token::SEMICOLON: |
| 1419 Next(); | 1202 Next(); |
| 1420 return factory()->EmptyStatement(); | 1203 return EmptyStatement(); |
| 1421 | 1204 |
| 1422 case Token::IF: | 1205 case Token::IF: |
| 1423 stmt = ParseIfStatement(labels, ok); | 1206 stmt = ParseIfStatement(labels, ok); |
| 1424 break; | 1207 break; |
| 1425 | 1208 |
| 1426 case Token::DO: | 1209 case Token::DO: |
| 1427 stmt = ParseDoWhileStatement(labels, ok); | 1210 stmt = ParseDoWhileStatement(labels, ok); |
| 1428 break; | 1211 break; |
| 1429 | 1212 |
| 1430 case Token::WHILE: | 1213 case Token::WHILE: |
| (...skipping 27 matching lines...) Expand all Loading... |
| 1458 case Token::THROW: | 1241 case Token::THROW: |
| 1459 stmt = ParseThrowStatement(ok); | 1242 stmt = ParseThrowStatement(ok); |
| 1460 break; | 1243 break; |
| 1461 | 1244 |
| 1462 case Token::TRY: { | 1245 case Token::TRY: { |
| 1463 // NOTE: It is somewhat complicated to have labels on | 1246 // NOTE: It is somewhat complicated to have labels on |
| 1464 // try-statements. When breaking out of a try-finally statement, | 1247 // try-statements. When breaking out of a try-finally statement, |
| 1465 // one must take great care not to treat it as a | 1248 // one must take great care not to treat it as a |
| 1466 // fall-through. It is much easier just to wrap the entire | 1249 // fall-through. It is much easier just to wrap the entire |
| 1467 // try-statement in a statement block and put the labels there | 1250 // try-statement in a statement block and put the labels there |
| 1468 Block* result = NEW(Block(labels, 1, false)); | 1251 Block* result = new Block(labels, 1, false); |
| 1469 Target target(&this->target_stack_, result); | 1252 Target target(&this->target_stack_, result); |
| 1470 TryStatement* statement = ParseTryStatement(CHECK_OK); | 1253 TryStatement* statement = ParseTryStatement(CHECK_OK); |
| 1471 if (statement) { | 1254 if (statement) { |
| 1472 statement->set_statement_pos(statement_pos); | 1255 statement->set_statement_pos(statement_pos); |
| 1473 } | 1256 } |
| 1474 if (result) result->AddStatement(statement); | 1257 if (result) result->AddStatement(statement); |
| 1475 return result; | 1258 return result; |
| 1476 } | 1259 } |
| 1477 | 1260 |
| 1478 case Token::FUNCTION: | 1261 case Token::FUNCTION: |
| 1479 return ParseFunctionDeclaration(ok); | 1262 return ParseFunctionDeclaration(ok); |
| 1480 | 1263 |
| 1481 case Token::NATIVE: | 1264 case Token::NATIVE: |
| 1482 return ParseNativeDeclaration(ok); | 1265 return ParseNativeDeclaration(ok); |
| 1483 | 1266 |
| 1484 case Token::DEBUGGER: | 1267 case Token::DEBUGGER: |
| 1485 stmt = ParseDebuggerStatement(ok); | 1268 stmt = ParseDebuggerStatement(ok); |
| 1486 break; | 1269 break; |
| 1487 | 1270 |
| 1488 default: | 1271 default: |
| 1489 stmt = ParseExpressionOrLabelledStatement(labels, ok); | 1272 stmt = ParseExpressionOrLabelledStatement(labels, ok); |
| 1490 } | 1273 } |
| 1491 | 1274 |
| 1492 // Store the source position of the statement | 1275 // Store the source position of the statement |
| 1493 if (stmt != NULL) stmt->set_statement_pos(statement_pos); | 1276 if (stmt != NULL) stmt->set_statement_pos(statement_pos); |
| 1494 return stmt; | 1277 return stmt; |
| 1495 } | 1278 } |
| 1496 | 1279 |
| 1497 | 1280 |
| 1498 VariableProxy* AstBuildingParser::Declare(Handle<String> name, | 1281 VariableProxy* Parser::Declare(Handle<String> name, |
| 1499 Variable::Mode mode, | 1282 Variable::Mode mode, |
| 1500 FunctionLiteral* fun, | 1283 FunctionLiteral* fun, |
| 1501 bool resolve, | 1284 bool resolve, |
| 1502 bool* ok) { | 1285 bool* ok) { |
| 1503 Variable* var = NULL; | 1286 Variable* var = NULL; |
| 1504 // If we are inside a function, a declaration of a variable | 1287 // If we are inside a function, a declaration of a variable |
| 1505 // is a truly local variable, and the scope of the variable | 1288 // is a truly local variable, and the scope of the variable |
| 1506 // is always the function scope. | 1289 // is always the function scope. |
| 1507 | 1290 |
| 1508 // If a function scope exists, then we can statically declare this | 1291 // If a function scope exists, then we can statically declare this |
| 1509 // variable and also set its mode. In any case, a Declaration node | 1292 // variable and also set its mode. In any case, a Declaration node |
| 1510 // will be added to the scope so that the declaration can be added | 1293 // will be added to the scope so that the declaration can be added |
| 1511 // to the corresponding activation frame at runtime if necessary. | 1294 // to the corresponding activation frame at runtime if necessary. |
| 1512 // For instance declarations inside an eval scope need to be added | 1295 // For instance declarations inside an eval scope need to be added |
| (...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1547 // parameters) if the proxy is needed or not. The proxy will be | 1330 // parameters) if the proxy is needed or not. The proxy will be |
| 1548 // bound during variable resolution time unless it was pre-bound | 1331 // bound during variable resolution time unless it was pre-bound |
| 1549 // below. | 1332 // below. |
| 1550 // | 1333 // |
| 1551 // WARNING: This will lead to multiple declaration nodes for the | 1334 // WARNING: This will lead to multiple declaration nodes for the |
| 1552 // same variable if it is declared several times. This is not a | 1335 // same variable if it is declared several times. This is not a |
| 1553 // semantic issue as long as we keep the source order, but it may be | 1336 // semantic issue as long as we keep the source order, but it may be |
| 1554 // a performance issue since it may lead to repeated | 1337 // a performance issue since it may lead to repeated |
| 1555 // Runtime::DeclareContextSlot() calls. | 1338 // Runtime::DeclareContextSlot() calls. |
| 1556 VariableProxy* proxy = top_scope_->NewUnresolved(name, inside_with()); | 1339 VariableProxy* proxy = top_scope_->NewUnresolved(name, inside_with()); |
| 1557 top_scope_->AddDeclaration(NEW(Declaration(proxy, mode, fun))); | 1340 top_scope_->AddDeclaration(new Declaration(proxy, mode, fun)); |
| 1558 | 1341 |
| 1559 // For global const variables we bind the proxy to a variable. | 1342 // For global const variables we bind the proxy to a variable. |
| 1560 if (mode == Variable::CONST && top_scope_->is_global_scope()) { | 1343 if (mode == Variable::CONST && top_scope_->is_global_scope()) { |
| 1561 ASSERT(resolve); // should be set by all callers | 1344 ASSERT(resolve); // should be set by all callers |
| 1562 Variable::Kind kind = Variable::NORMAL; | 1345 Variable::Kind kind = Variable::NORMAL; |
| 1563 var = NEW(Variable(top_scope_, name, Variable::CONST, true, kind)); | 1346 var = new Variable(top_scope_, name, Variable::CONST, true, kind); |
| 1564 } | 1347 } |
| 1565 | 1348 |
| 1566 // If requested and we have a local variable, bind the proxy to the variable | 1349 // If requested and we have a local variable, bind the proxy to the variable |
| 1567 // at parse-time. This is used for functions (and consts) declared inside | 1350 // at parse-time. This is used for functions (and consts) declared inside |
| 1568 // statements: the corresponding function (or const) variable must be in the | 1351 // statements: the corresponding function (or const) variable must be in the |
| 1569 // function scope and not a statement-local scope, e.g. as provided with a | 1352 // function scope and not a statement-local scope, e.g. as provided with a |
| 1570 // 'with' statement: | 1353 // 'with' statement: |
| 1571 // | 1354 // |
| 1572 // with (obj) { | 1355 // with (obj) { |
| 1573 // function f() {} | 1356 // function f() {} |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1612 while (!done) { | 1395 while (!done) { |
| 1613 ParseIdentifier(CHECK_OK); | 1396 ParseIdentifier(CHECK_OK); |
| 1614 done = (peek() == Token::RPAREN); | 1397 done = (peek() == Token::RPAREN); |
| 1615 if (!done) { | 1398 if (!done) { |
| 1616 Expect(Token::COMMA, CHECK_OK); | 1399 Expect(Token::COMMA, CHECK_OK); |
| 1617 } | 1400 } |
| 1618 } | 1401 } |
| 1619 Expect(Token::RPAREN, CHECK_OK); | 1402 Expect(Token::RPAREN, CHECK_OK); |
| 1620 Expect(Token::SEMICOLON, CHECK_OK); | 1403 Expect(Token::SEMICOLON, CHECK_OK); |
| 1621 | 1404 |
| 1622 if (is_pre_parsing_) return NULL; | |
| 1623 | |
| 1624 // Make sure that the function containing the native declaration | 1405 // Make sure that the function containing the native declaration |
| 1625 // isn't lazily compiled. The extension structures are only | 1406 // isn't lazily compiled. The extension structures are only |
| 1626 // accessible while parsing the first time not when reparsing | 1407 // accessible while parsing the first time not when reparsing |
| 1627 // because of lazy compilation. | 1408 // because of lazy compilation. |
| 1628 top_scope_->ForceEagerCompilation(); | 1409 top_scope_->ForceEagerCompilation(); |
| 1629 | 1410 |
| 1630 // Compute the function template for the native function. | 1411 // Compute the function template for the native function. |
| 1631 v8::Handle<v8::FunctionTemplate> fun_template = | 1412 v8::Handle<v8::FunctionTemplate> fun_template = |
| 1632 extension_->GetNativeFunction(v8::Utils::ToLocal(name)); | 1413 extension_->GetNativeFunction(v8::Utils::ToLocal(name)); |
| 1633 ASSERT(!fun_template.IsEmpty()); | 1414 ASSERT(!fun_template.IsEmpty()); |
| 1634 | 1415 |
| 1635 // Instantiate the function and create a shared function info from it. | 1416 // Instantiate the function and create a shared function info from it. |
| 1636 Handle<JSFunction> fun = Utils::OpenHandle(*fun_template->GetFunction()); | 1417 Handle<JSFunction> fun = Utils::OpenHandle(*fun_template->GetFunction()); |
| 1637 const int literals = fun->NumberOfLiterals(); | 1418 const int literals = fun->NumberOfLiterals(); |
| 1638 Handle<Code> code = Handle<Code>(fun->shared()->code()); | 1419 Handle<Code> code = Handle<Code>(fun->shared()->code()); |
| 1639 Handle<Code> construct_stub = Handle<Code>(fun->shared()->construct_stub()); | 1420 Handle<Code> construct_stub = Handle<Code>(fun->shared()->construct_stub()); |
| 1640 Handle<SharedFunctionInfo> shared = | 1421 Handle<SharedFunctionInfo> shared = |
| 1641 Factory::NewSharedFunctionInfo(name, literals, code, | 1422 Factory::NewSharedFunctionInfo(name, literals, code, |
| 1642 Handle<SerializedScopeInfo>(fun->shared()->scope_info())); | 1423 Handle<SerializedScopeInfo>(fun->shared()->scope_info())); |
| 1643 shared->set_construct_stub(*construct_stub); | 1424 shared->set_construct_stub(*construct_stub); |
| 1644 | 1425 |
| 1645 // Copy the function data to the shared function info. | 1426 // Copy the function data to the shared function info. |
| 1646 shared->set_function_data(fun->shared()->function_data()); | 1427 shared->set_function_data(fun->shared()->function_data()); |
| 1647 int parameters = fun->shared()->formal_parameter_count(); | 1428 int parameters = fun->shared()->formal_parameter_count(); |
| 1648 shared->set_formal_parameter_count(parameters); | 1429 shared->set_formal_parameter_count(parameters); |
| 1649 | 1430 |
| 1650 // TODO(1240846): It's weird that native function declarations are | 1431 // TODO(1240846): It's weird that native function declarations are |
| 1651 // introduced dynamically when we meet their declarations, whereas | 1432 // introduced dynamically when we meet their declarations, whereas |
| 1652 // other functions are setup when entering the surrounding scope. | 1433 // other functions are setup when entering the surrounding scope. |
| 1653 SharedFunctionInfoLiteral* lit = NEW(SharedFunctionInfoLiteral(shared)); | 1434 SharedFunctionInfoLiteral* lit = new SharedFunctionInfoLiteral(shared); |
| 1654 VariableProxy* var = Declare(name, Variable::VAR, NULL, true, CHECK_OK); | 1435 VariableProxy* var = Declare(name, Variable::VAR, NULL, true, CHECK_OK); |
| 1655 return NEW(ExpressionStatement( | 1436 return new ExpressionStatement( |
| 1656 new Assignment(Token::INIT_VAR, var, lit, RelocInfo::kNoPosition))); | 1437 new Assignment(Token::INIT_VAR, var, lit, RelocInfo::kNoPosition)); |
| 1657 } | 1438 } |
| 1658 | 1439 |
| 1659 | 1440 |
| 1660 Statement* Parser::ParseFunctionDeclaration(bool* ok) { | 1441 Statement* Parser::ParseFunctionDeclaration(bool* ok) { |
| 1661 // FunctionDeclaration :: | 1442 // FunctionDeclaration :: |
| 1662 // 'function' Identifier '(' FormalParameterListopt ')' '{' FunctionBody '}' | 1443 // 'function' Identifier '(' FormalParameterListopt ')' '{' FunctionBody '}' |
| 1663 Expect(Token::FUNCTION, CHECK_OK); | 1444 Expect(Token::FUNCTION, CHECK_OK); |
| 1664 int function_token_position = scanner().location().beg_pos; | 1445 int function_token_position = scanner().location().beg_pos; |
| 1665 Handle<String> name = ParseIdentifier(CHECK_OK); | 1446 Handle<String> name = ParseIdentifier(CHECK_OK); |
| 1666 FunctionLiteral* fun = ParseFunctionLiteral(name, | 1447 FunctionLiteral* fun = ParseFunctionLiteral(name, |
| 1667 function_token_position, | 1448 function_token_position, |
| 1668 DECLARATION, | 1449 DECLARATION, |
| 1669 CHECK_OK); | 1450 CHECK_OK); |
| 1670 // Even if we're not at the top-level of the global or a function | 1451 // Even if we're not at the top-level of the global or a function |
| 1671 // scope, we treat is as such and introduce the function with it's | 1452 // scope, we treat is as such and introduce the function with it's |
| 1672 // initial value upon entering the corresponding scope. | 1453 // initial value upon entering the corresponding scope. |
| 1673 Declare(name, Variable::VAR, fun, true, CHECK_OK); | 1454 Declare(name, Variable::VAR, fun, true, CHECK_OK); |
| 1674 return factory()->EmptyStatement(); | 1455 return EmptyStatement(); |
| 1675 } | 1456 } |
| 1676 | 1457 |
| 1677 | 1458 |
| 1678 Block* Parser::ParseBlock(ZoneStringList* labels, bool* ok) { | 1459 Block* Parser::ParseBlock(ZoneStringList* labels, bool* ok) { |
| 1679 // Block :: | 1460 // Block :: |
| 1680 // '{' Statement* '}' | 1461 // '{' Statement* '}' |
| 1681 | 1462 |
| 1682 // Note that a Block does not introduce a new execution scope! | 1463 // Note that a Block does not introduce a new execution scope! |
| 1683 // (ECMA-262, 3rd, 12.2) | 1464 // (ECMA-262, 3rd, 12.2) |
| 1684 // | 1465 // |
| 1685 // Construct block expecting 16 statements. | 1466 // Construct block expecting 16 statements. |
| 1686 Block* result = NEW(Block(labels, 16, false)); | 1467 Block* result = new Block(labels, 16, false); |
| 1687 Target target(&this->target_stack_, result); | 1468 Target target(&this->target_stack_, result); |
| 1688 Expect(Token::LBRACE, CHECK_OK); | 1469 Expect(Token::LBRACE, CHECK_OK); |
| 1689 while (peek() != Token::RBRACE) { | 1470 while (peek() != Token::RBRACE) { |
| 1690 Statement* stat = ParseStatement(NULL, CHECK_OK); | 1471 Statement* stat = ParseStatement(NULL, CHECK_OK); |
| 1691 if (stat && !stat->IsEmpty()) result->AddStatement(stat); | 1472 if (stat && !stat->IsEmpty()) result->AddStatement(stat); |
| 1692 } | 1473 } |
| 1693 Expect(Token::RBRACE, CHECK_OK); | 1474 Expect(Token::RBRACE, CHECK_OK); |
| 1694 return result; | 1475 return result; |
| 1695 } | 1476 } |
| 1696 | 1477 |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1735 // Scope declaration, and rewrite the source-level initialization into an | 1516 // Scope declaration, and rewrite the source-level initialization into an |
| 1736 // assignment statement. We use a block to collect multiple assignments. | 1517 // assignment statement. We use a block to collect multiple assignments. |
| 1737 // | 1518 // |
| 1738 // We mark the block as initializer block because we don't want the | 1519 // We mark the block as initializer block because we don't want the |
| 1739 // rewriter to add a '.result' assignment to such a block (to get compliant | 1520 // rewriter to add a '.result' assignment to such a block (to get compliant |
| 1740 // behavior for code such as print(eval('var x = 7')), and for cosmetic | 1521 // behavior for code such as print(eval('var x = 7')), and for cosmetic |
| 1741 // reasons when pretty-printing. Also, unless an assignment (initialization) | 1522 // reasons when pretty-printing. Also, unless an assignment (initialization) |
| 1742 // is inside an initializer block, it is ignored. | 1523 // is inside an initializer block, it is ignored. |
| 1743 // | 1524 // |
| 1744 // Create new block with one expected declaration. | 1525 // Create new block with one expected declaration. |
| 1745 Block* block = NEW(Block(NULL, 1, true)); | 1526 Block* block = new Block(NULL, 1, true); |
| 1746 VariableProxy* last_var = NULL; // the last variable declared | 1527 VariableProxy* last_var = NULL; // the last variable declared |
| 1747 int nvars = 0; // the number of variables declared | 1528 int nvars = 0; // the number of variables declared |
| 1748 do { | 1529 do { |
| 1749 if (fni_ != NULL) fni_->Enter(); | 1530 if (fni_ != NULL) fni_->Enter(); |
| 1750 | 1531 |
| 1751 // Parse variable name. | 1532 // Parse variable name. |
| 1752 if (nvars > 0) Consume(Token::COMMA); | 1533 if (nvars > 0) Consume(Token::COMMA); |
| 1753 Handle<String> name = ParseIdentifier(CHECK_OK); | 1534 Handle<String> name = ParseIdentifier(CHECK_OK); |
| 1754 if (fni_ != NULL) fni_->PushVariableName(name); | 1535 if (fni_ != NULL) fni_->PushVariableName(name); |
| 1755 | 1536 |
| (...skipping 70 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1826 // | 1607 // |
| 1827 // Executing the variable declaration statement will always | 1608 // Executing the variable declaration statement will always |
| 1828 // guarantee to give the global object a "local" variable; a | 1609 // guarantee to give the global object a "local" variable; a |
| 1829 // variable defined in the global object and not in any | 1610 // variable defined in the global object and not in any |
| 1830 // prototype. This way, global variable declarations can shadow | 1611 // prototype. This way, global variable declarations can shadow |
| 1831 // properties in the prototype chain, but only after the variable | 1612 // properties in the prototype chain, but only after the variable |
| 1832 // declaration statement has been executed. This is important in | 1613 // declaration statement has been executed. This is important in |
| 1833 // browsers where the global object (window) has lots of | 1614 // browsers where the global object (window) has lots of |
| 1834 // properties defined in prototype objects. | 1615 // properties defined in prototype objects. |
| 1835 | 1616 |
| 1836 if (!is_pre_parsing_ && top_scope_->is_global_scope()) { | 1617 if (top_scope_->is_global_scope()) { |
| 1837 // Compute the arguments for the runtime call. | 1618 // Compute the arguments for the runtime call. |
| 1838 ZoneList<Expression*>* arguments = new ZoneList<Expression*>(2); | 1619 ZoneList<Expression*>* arguments = new ZoneList<Expression*>(2); |
| 1839 // Be careful not to assign a value to the global variable if | 1620 // Be careful not to assign a value to the global variable if |
| 1840 // we're in a with. The initialization value should not | 1621 // we're in a with. The initialization value should not |
| 1841 // necessarily be stored in the global object in that case, | 1622 // necessarily be stored in the global object in that case, |
| 1842 // which is why we need to generate a separate assignment node. | 1623 // which is why we need to generate a separate assignment node. |
| 1843 arguments->Add(NEW(Literal(name))); // we have at least 1 parameter | 1624 arguments->Add(new Literal(name)); // we have at least 1 parameter |
| 1844 if (is_const || (value != NULL && !inside_with())) { | 1625 if (is_const || (value != NULL && !inside_with())) { |
| 1845 arguments->Add(value); | 1626 arguments->Add(value); |
| 1846 value = NULL; // zap the value to avoid the unnecessary assignment | 1627 value = NULL; // zap the value to avoid the unnecessary assignment |
| 1847 } | 1628 } |
| 1848 // Construct the call to Runtime::DeclareGlobal{Variable,Const}Locally | 1629 // Construct the call to Runtime::DeclareGlobal{Variable,Const}Locally |
| 1849 // and add it to the initialization statement block. Note that | 1630 // and add it to the initialization statement block. Note that |
| 1850 // this function does different things depending on if we have | 1631 // this function does different things depending on if we have |
| 1851 // 1 or 2 parameters. | 1632 // 1 or 2 parameters. |
| 1852 CallRuntime* initialize; | 1633 CallRuntime* initialize; |
| 1853 if (is_const) { | 1634 if (is_const) { |
| 1854 initialize = | 1635 initialize = |
| 1855 NEW(CallRuntime( | 1636 new CallRuntime( |
| 1856 Factory::InitializeConstGlobal_symbol(), | 1637 Factory::InitializeConstGlobal_symbol(), |
| 1857 Runtime::FunctionForId(Runtime::kInitializeConstGlobal), | 1638 Runtime::FunctionForId(Runtime::kInitializeConstGlobal), |
| 1858 arguments)); | 1639 arguments); |
| 1859 } else { | 1640 } else { |
| 1860 initialize = | 1641 initialize = |
| 1861 NEW(CallRuntime( | 1642 new CallRuntime( |
| 1862 Factory::InitializeVarGlobal_symbol(), | 1643 Factory::InitializeVarGlobal_symbol(), |
| 1863 Runtime::FunctionForId(Runtime::kInitializeVarGlobal), | 1644 Runtime::FunctionForId(Runtime::kInitializeVarGlobal), |
| 1864 arguments)); | 1645 arguments); |
| 1865 } | 1646 } |
| 1866 block->AddStatement(NEW(ExpressionStatement(initialize))); | 1647 block->AddStatement(new ExpressionStatement(initialize)); |
| 1867 } | 1648 } |
| 1868 | 1649 |
| 1869 // Add an assignment node to the initialization statement block if | 1650 // Add an assignment node to the initialization statement block if |
| 1870 // we still have a pending initialization value. We must distinguish | 1651 // we still have a pending initialization value. We must distinguish |
| 1871 // between variables and constants: Variable initializations are simply | 1652 // between variables and constants: Variable initializations are simply |
| 1872 // assignments (with all the consequences if they are inside a 'with' | 1653 // assignments (with all the consequences if they are inside a 'with' |
| 1873 // statement - they may change a 'with' object property). Constant | 1654 // statement - they may change a 'with' object property). Constant |
| 1874 // initializations always assign to the declared constant which is | 1655 // initializations always assign to the declared constant which is |
| 1875 // always at the function scope level. This is only relevant for | 1656 // always at the function scope level. This is only relevant for |
| 1876 // dynamically looked-up variables and constants (the start context | 1657 // dynamically looked-up variables and constants (the start context |
| 1877 // for constant lookups is always the function context, while it is | 1658 // for constant lookups is always the function context, while it is |
| 1878 // the top context for variables). Sigh... | 1659 // the top context for variables). Sigh... |
| 1879 if (value != NULL) { | 1660 if (value != NULL) { |
| 1880 Token::Value op = (is_const ? Token::INIT_CONST : Token::INIT_VAR); | 1661 Token::Value op = (is_const ? Token::INIT_CONST : Token::INIT_VAR); |
| 1881 Assignment* assignment = NEW(Assignment(op, last_var, value, position)); | 1662 Assignment* assignment = new Assignment(op, last_var, value, position); |
| 1882 if (block) block->AddStatement(NEW(ExpressionStatement(assignment))); | 1663 if (block) block->AddStatement(new ExpressionStatement(assignment)); |
| 1883 } | 1664 } |
| 1884 | 1665 |
| 1885 if (fni_ != NULL) fni_->Leave(); | 1666 if (fni_ != NULL) fni_->Leave(); |
| 1886 } while (peek() == Token::COMMA); | 1667 } while (peek() == Token::COMMA); |
| 1887 | 1668 |
| 1888 if (!is_const && nvars == 1) { | 1669 if (!is_const && nvars == 1) { |
| 1889 // We have a single, non-const variable. | 1670 // We have a single, non-const variable. |
| 1890 if (is_pre_parsing_) { | 1671 ASSERT(last_var != NULL); |
| 1891 // If we're preparsing then we need to set the var to something | 1672 *var = last_var; |
| 1892 // in order for for-in loops to parse correctly. | |
| 1893 *var = ValidLeftHandSideSentinel::instance(); | |
| 1894 } else { | |
| 1895 ASSERT(last_var != NULL); | |
| 1896 *var = last_var; | |
| 1897 } | |
| 1898 } | 1673 } |
| 1899 | 1674 |
| 1900 return block; | 1675 return block; |
| 1901 } | 1676 } |
| 1902 | 1677 |
| 1903 | 1678 |
| 1904 static bool ContainsLabel(ZoneStringList* labels, Handle<String> label) { | 1679 static bool ContainsLabel(ZoneStringList* labels, Handle<String> label) { |
| 1905 ASSERT(!label.is_null()); | 1680 ASSERT(!label.is_null()); |
| 1906 if (labels != NULL) | 1681 if (labels != NULL) |
| 1907 for (int i = labels->length(); i-- > 0; ) | 1682 for (int i = labels->length(); i-- > 0; ) |
| (...skipping 14 matching lines...) Expand all Loading... |
| 1922 if (peek() == Token::COLON && expr && | 1697 if (peek() == Token::COLON && expr && |
| 1923 expr->AsVariableProxy() != NULL && | 1698 expr->AsVariableProxy() != NULL && |
| 1924 !expr->AsVariableProxy()->is_this()) { | 1699 !expr->AsVariableProxy()->is_this()) { |
| 1925 VariableProxy* var = expr->AsVariableProxy(); | 1700 VariableProxy* var = expr->AsVariableProxy(); |
| 1926 Handle<String> label = var->name(); | 1701 Handle<String> label = var->name(); |
| 1927 // TODO(1240780): We don't check for redeclaration of labels | 1702 // TODO(1240780): We don't check for redeclaration of labels |
| 1928 // during preparsing since keeping track of the set of active | 1703 // during preparsing since keeping track of the set of active |
| 1929 // labels requires nontrivial changes to the way scopes are | 1704 // labels requires nontrivial changes to the way scopes are |
| 1930 // structured. However, these are probably changes we want to | 1705 // structured. However, these are probably changes we want to |
| 1931 // make later anyway so we should go back and fix this then. | 1706 // make later anyway so we should go back and fix this then. |
| 1932 if (!is_pre_parsing_) { | 1707 if (ContainsLabel(labels, label) || TargetStackContainsLabel(label)) { |
| 1933 if (ContainsLabel(labels, label) || TargetStackContainsLabel(label)) { | 1708 SmartPointer<char> c_string = label->ToCString(DISALLOW_NULLS); |
| 1934 SmartPointer<char> c_string = label->ToCString(DISALLOW_NULLS); | 1709 const char* elms[2] = { "Label", *c_string }; |
| 1935 const char* elms[2] = { "Label", *c_string }; | 1710 Vector<const char*> args(elms, 2); |
| 1936 Vector<const char*> args(elms, 2); | 1711 ReportMessage("redeclaration", args); |
| 1937 ReportMessage("redeclaration", args); | 1712 *ok = false; |
| 1938 *ok = false; | 1713 return NULL; |
| 1939 return NULL; | |
| 1940 } | |
| 1941 if (labels == NULL) labels = new ZoneStringList(4); | |
| 1942 labels->Add(label); | |
| 1943 // Remove the "ghost" variable that turned out to be a label | |
| 1944 // from the top scope. This way, we don't try to resolve it | |
| 1945 // during the scope processing. | |
| 1946 top_scope_->RemoveUnresolved(var); | |
| 1947 } | 1714 } |
| 1715 if (labels == NULL) labels = new ZoneStringList(4); |
| 1716 labels->Add(label); |
| 1717 // Remove the "ghost" variable that turned out to be a label |
| 1718 // from the top scope. This way, we don't try to resolve it |
| 1719 // during the scope processing. |
| 1720 top_scope_->RemoveUnresolved(var); |
| 1948 Expect(Token::COLON, CHECK_OK); | 1721 Expect(Token::COLON, CHECK_OK); |
| 1949 return ParseStatement(labels, ok); | 1722 return ParseStatement(labels, ok); |
| 1950 } | 1723 } |
| 1951 | 1724 |
| 1952 // Parsed expression statement. | 1725 // Parsed expression statement. |
| 1953 ExpectSemicolon(CHECK_OK); | 1726 ExpectSemicolon(CHECK_OK); |
| 1954 return NEW(ExpressionStatement(expr)); | 1727 return new ExpressionStatement(expr); |
| 1955 } | 1728 } |
| 1956 | 1729 |
| 1957 | 1730 |
| 1958 IfStatement* Parser::ParseIfStatement(ZoneStringList* labels, bool* ok) { | 1731 IfStatement* Parser::ParseIfStatement(ZoneStringList* labels, bool* ok) { |
| 1959 // IfStatement :: | 1732 // IfStatement :: |
| 1960 // 'if' '(' Expression ')' Statement ('else' Statement)? | 1733 // 'if' '(' Expression ')' Statement ('else' Statement)? |
| 1961 | 1734 |
| 1962 Expect(Token::IF, CHECK_OK); | 1735 Expect(Token::IF, CHECK_OK); |
| 1963 Expect(Token::LPAREN, CHECK_OK); | 1736 Expect(Token::LPAREN, CHECK_OK); |
| 1964 Expression* condition = ParseExpression(true, CHECK_OK); | 1737 Expression* condition = ParseExpression(true, CHECK_OK); |
| 1965 Expect(Token::RPAREN, CHECK_OK); | 1738 Expect(Token::RPAREN, CHECK_OK); |
| 1966 Statement* then_statement = ParseStatement(labels, CHECK_OK); | 1739 Statement* then_statement = ParseStatement(labels, CHECK_OK); |
| 1967 Statement* else_statement = NULL; | 1740 Statement* else_statement = NULL; |
| 1968 if (peek() == Token::ELSE) { | 1741 if (peek() == Token::ELSE) { |
| 1969 Next(); | 1742 Next(); |
| 1970 else_statement = ParseStatement(labels, CHECK_OK); | 1743 else_statement = ParseStatement(labels, CHECK_OK); |
| 1971 } else if (!is_pre_parsing_) { | 1744 } else { |
| 1972 else_statement = factory()->EmptyStatement(); | 1745 else_statement = EmptyStatement(); |
| 1973 } | 1746 } |
| 1974 return NEW(IfStatement(condition, then_statement, else_statement)); | 1747 return new IfStatement(condition, then_statement, else_statement); |
| 1975 } | 1748 } |
| 1976 | 1749 |
| 1977 | 1750 |
| 1978 Statement* Parser::ParseContinueStatement(bool* ok) { | 1751 Statement* Parser::ParseContinueStatement(bool* ok) { |
| 1979 // ContinueStatement :: | 1752 // ContinueStatement :: |
| 1980 // 'continue' Identifier? ';' | 1753 // 'continue' Identifier? ';' |
| 1981 | 1754 |
| 1982 Expect(Token::CONTINUE, CHECK_OK); | 1755 Expect(Token::CONTINUE, CHECK_OK); |
| 1983 Handle<String> label = Handle<String>::null(); | 1756 Handle<String> label = Handle<String>::null(); |
| 1984 Token::Value tok = peek(); | 1757 Token::Value tok = peek(); |
| 1985 if (!scanner_.has_line_terminator_before_next() && | 1758 if (!scanner_.has_line_terminator_before_next() && |
| 1986 tok != Token::SEMICOLON && tok != Token::RBRACE && tok != Token::EOS) { | 1759 tok != Token::SEMICOLON && tok != Token::RBRACE && tok != Token::EOS) { |
| 1987 label = ParseIdentifier(CHECK_OK); | 1760 label = ParseIdentifier(CHECK_OK); |
| 1988 } | 1761 } |
| 1989 IterationStatement* target = NULL; | 1762 IterationStatement* target = NULL; |
| 1990 if (!is_pre_parsing_) { | 1763 target = LookupContinueTarget(label, CHECK_OK); |
| 1991 target = LookupContinueTarget(label, CHECK_OK); | 1764 if (target == NULL) { |
| 1992 if (target == NULL) { | 1765 // Illegal continue statement. To be consistent with KJS we delay |
| 1993 // Illegal continue statement. To be consistent with KJS we delay | 1766 // reporting of the syntax error until runtime. |
| 1994 // reporting of the syntax error until runtime. | 1767 Handle<String> error_type = Factory::illegal_continue_symbol(); |
| 1995 Handle<String> error_type = Factory::illegal_continue_symbol(); | 1768 if (!label.is_null()) error_type = Factory::unknown_label_symbol(); |
| 1996 if (!label.is_null()) error_type = Factory::unknown_label_symbol(); | 1769 Expression* throw_error = NewThrowSyntaxError(error_type, label); |
| 1997 Expression* throw_error = NewThrowSyntaxError(error_type, label); | 1770 return new ExpressionStatement(throw_error); |
| 1998 return NEW(ExpressionStatement(throw_error)); | |
| 1999 } | |
| 2000 } | 1771 } |
| 2001 ExpectSemicolon(CHECK_OK); | 1772 ExpectSemicolon(CHECK_OK); |
| 2002 return NEW(ContinueStatement(target)); | 1773 return new ContinueStatement(target); |
| 2003 } | 1774 } |
| 2004 | 1775 |
| 2005 | 1776 |
| 2006 Statement* Parser::ParseBreakStatement(ZoneStringList* labels, bool* ok) { | 1777 Statement* Parser::ParseBreakStatement(ZoneStringList* labels, bool* ok) { |
| 2007 // BreakStatement :: | 1778 // BreakStatement :: |
| 2008 // 'break' Identifier? ';' | 1779 // 'break' Identifier? ';' |
| 2009 | 1780 |
| 2010 Expect(Token::BREAK, CHECK_OK); | 1781 Expect(Token::BREAK, CHECK_OK); |
| 2011 Handle<String> label; | 1782 Handle<String> label; |
| 2012 Token::Value tok = peek(); | 1783 Token::Value tok = peek(); |
| 2013 if (!scanner_.has_line_terminator_before_next() && | 1784 if (!scanner_.has_line_terminator_before_next() && |
| 2014 tok != Token::SEMICOLON && tok != Token::RBRACE && tok != Token::EOS) { | 1785 tok != Token::SEMICOLON && tok != Token::RBRACE && tok != Token::EOS) { |
| 2015 label = ParseIdentifier(CHECK_OK); | 1786 label = ParseIdentifier(CHECK_OK); |
| 2016 } | 1787 } |
| 2017 // Parse labeled break statements that target themselves into | 1788 // Parse labeled break statements that target themselves into |
| 2018 // empty statements, e.g. 'l1: l2: l3: break l2;' | 1789 // empty statements, e.g. 'l1: l2: l3: break l2;' |
| 2019 if (!label.is_null() && ContainsLabel(labels, label)) { | 1790 if (!label.is_null() && ContainsLabel(labels, label)) { |
| 2020 return factory()->EmptyStatement(); | 1791 return EmptyStatement(); |
| 2021 } | 1792 } |
| 2022 BreakableStatement* target = NULL; | 1793 BreakableStatement* target = NULL; |
| 2023 if (!is_pre_parsing_) { | 1794 target = LookupBreakTarget(label, CHECK_OK); |
| 2024 target = LookupBreakTarget(label, CHECK_OK); | 1795 if (target == NULL) { |
| 2025 if (target == NULL) { | 1796 // Illegal break statement. To be consistent with KJS we delay |
| 2026 // Illegal break statement. To be consistent with KJS we delay | 1797 // reporting of the syntax error until runtime. |
| 2027 // reporting of the syntax error until runtime. | 1798 Handle<String> error_type = Factory::illegal_break_symbol(); |
| 2028 Handle<String> error_type = Factory::illegal_break_symbol(); | 1799 if (!label.is_null()) error_type = Factory::unknown_label_symbol(); |
| 2029 if (!label.is_null()) error_type = Factory::unknown_label_symbol(); | 1800 Expression* throw_error = NewThrowSyntaxError(error_type, label); |
| 2030 Expression* throw_error = NewThrowSyntaxError(error_type, label); | 1801 return new ExpressionStatement(throw_error); |
| 2031 return NEW(ExpressionStatement(throw_error)); | |
| 2032 } | |
| 2033 } | 1802 } |
| 2034 ExpectSemicolon(CHECK_OK); | 1803 ExpectSemicolon(CHECK_OK); |
| 2035 return NEW(BreakStatement(target)); | 1804 return new BreakStatement(target); |
| 2036 } | 1805 } |
| 2037 | 1806 |
| 2038 | 1807 |
| 2039 Statement* Parser::ParseReturnStatement(bool* ok) { | 1808 Statement* Parser::ParseReturnStatement(bool* ok) { |
| 2040 // ReturnStatement :: | 1809 // ReturnStatement :: |
| 2041 // 'return' Expression? ';' | 1810 // 'return' Expression? ';' |
| 2042 | 1811 |
| 2043 // Consume the return token. It is necessary to do the before | 1812 // Consume the return token. It is necessary to do the before |
| 2044 // reporting any errors on it, because of the way errors are | 1813 // reporting any errors on it, because of the way errors are |
| 2045 // reported (underlining). | 1814 // reported (underlining). |
| 2046 Expect(Token::RETURN, CHECK_OK); | 1815 Expect(Token::RETURN, CHECK_OK); |
| 2047 | 1816 |
| 2048 // An ECMAScript program is considered syntactically incorrect if it | 1817 // An ECMAScript program is considered syntactically incorrect if it |
| 2049 // contains a return statement that is not within the body of a | 1818 // contains a return statement that is not within the body of a |
| 2050 // function. See ECMA-262, section 12.9, page 67. | 1819 // function. See ECMA-262, section 12.9, page 67. |
| 2051 // | 1820 // |
| 2052 // To be consistent with KJS we report the syntax error at runtime. | 1821 // To be consistent with KJS we report the syntax error at runtime. |
| 2053 if (!is_pre_parsing_ && !top_scope_->is_function_scope()) { | 1822 if (!top_scope_->is_function_scope()) { |
| 2054 Handle<String> type = Factory::illegal_return_symbol(); | 1823 Handle<String> type = Factory::illegal_return_symbol(); |
| 2055 Expression* throw_error = NewThrowSyntaxError(type, Handle<Object>::null()); | 1824 Expression* throw_error = NewThrowSyntaxError(type, Handle<Object>::null()); |
| 2056 return NEW(ExpressionStatement(throw_error)); | 1825 return new ExpressionStatement(throw_error); |
| 2057 } | 1826 } |
| 2058 | 1827 |
| 2059 Token::Value tok = peek(); | 1828 Token::Value tok = peek(); |
| 2060 if (scanner_.has_line_terminator_before_next() || | 1829 if (scanner_.has_line_terminator_before_next() || |
| 2061 tok == Token::SEMICOLON || | 1830 tok == Token::SEMICOLON || |
| 2062 tok == Token::RBRACE || | 1831 tok == Token::RBRACE || |
| 2063 tok == Token::EOS) { | 1832 tok == Token::EOS) { |
| 2064 ExpectSemicolon(CHECK_OK); | 1833 ExpectSemicolon(CHECK_OK); |
| 2065 return NEW(ReturnStatement(GetLiteralUndefined())); | 1834 return new ReturnStatement(GetLiteralUndefined()); |
| 2066 } | 1835 } |
| 2067 | 1836 |
| 2068 Expression* expr = ParseExpression(true, CHECK_OK); | 1837 Expression* expr = ParseExpression(true, CHECK_OK); |
| 2069 ExpectSemicolon(CHECK_OK); | 1838 ExpectSemicolon(CHECK_OK); |
| 2070 return NEW(ReturnStatement(expr)); | 1839 return new ReturnStatement(expr); |
| 2071 } | 1840 } |
| 2072 | 1841 |
| 2073 | 1842 |
| 2074 Block* Parser::WithHelper(Expression* obj, | 1843 Block* Parser::WithHelper(Expression* obj, |
| 2075 ZoneStringList* labels, | 1844 ZoneStringList* labels, |
| 2076 bool is_catch_block, | 1845 bool is_catch_block, |
| 2077 bool* ok) { | 1846 bool* ok) { |
| 2078 // Parse the statement and collect escaping labels. | 1847 // Parse the statement and collect escaping labels. |
| 2079 ZoneList<BreakTarget*>* target_list = NEW(ZoneList<BreakTarget*>(0)); | 1848 ZoneList<BreakTarget*>* target_list = new ZoneList<BreakTarget*>(0); |
| 2080 TargetCollector collector(target_list); | 1849 TargetCollector collector(target_list); |
| 2081 Statement* stat; | 1850 Statement* stat; |
| 2082 { Target target(&this->target_stack_, &collector); | 1851 { Target target(&this->target_stack_, &collector); |
| 2083 with_nesting_level_++; | 1852 with_nesting_level_++; |
| 2084 top_scope_->RecordWithStatement(); | 1853 top_scope_->RecordWithStatement(); |
| 2085 stat = ParseStatement(labels, CHECK_OK); | 1854 stat = ParseStatement(labels, CHECK_OK); |
| 2086 with_nesting_level_--; | 1855 with_nesting_level_--; |
| 2087 } | 1856 } |
| 2088 // Create resulting block with two statements. | 1857 // Create resulting block with two statements. |
| 2089 // 1: Evaluate the with expression. | 1858 // 1: Evaluate the with expression. |
| 2090 // 2: The try-finally block evaluating the body. | 1859 // 2: The try-finally block evaluating the body. |
| 2091 Block* result = NEW(Block(NULL, 2, false)); | 1860 Block* result = new Block(NULL, 2, false); |
| 2092 | 1861 |
| 2093 if (result != NULL) { | 1862 if (result != NULL) { |
| 2094 result->AddStatement(NEW(WithEnterStatement(obj, is_catch_block))); | 1863 result->AddStatement(new WithEnterStatement(obj, is_catch_block)); |
| 2095 | 1864 |
| 2096 // Create body block. | 1865 // Create body block. |
| 2097 Block* body = NEW(Block(NULL, 1, false)); | 1866 Block* body = new Block(NULL, 1, false); |
| 2098 body->AddStatement(stat); | 1867 body->AddStatement(stat); |
| 2099 | 1868 |
| 2100 // Create exit block. | 1869 // Create exit block. |
| 2101 Block* exit = NEW(Block(NULL, 1, false)); | 1870 Block* exit = new Block(NULL, 1, false); |
| 2102 exit->AddStatement(NEW(WithExitStatement())); | 1871 exit->AddStatement(new WithExitStatement()); |
| 2103 | 1872 |
| 2104 // Return a try-finally statement. | 1873 // Return a try-finally statement. |
| 2105 TryFinallyStatement* wrapper = NEW(TryFinallyStatement(body, exit)); | 1874 TryFinallyStatement* wrapper = new TryFinallyStatement(body, exit); |
| 2106 wrapper->set_escaping_targets(collector.targets()); | 1875 wrapper->set_escaping_targets(collector.targets()); |
| 2107 result->AddStatement(wrapper); | 1876 result->AddStatement(wrapper); |
| 2108 } | 1877 } |
| 2109 return result; | 1878 return result; |
| 2110 } | 1879 } |
| 2111 | 1880 |
| 2112 | 1881 |
| 2113 Statement* Parser::ParseWithStatement(ZoneStringList* labels, bool* ok) { | 1882 Statement* Parser::ParseWithStatement(ZoneStringList* labels, bool* ok) { |
| 2114 // WithStatement :: | 1883 // WithStatement :: |
| 2115 // 'with' '(' Expression ')' Statement | 1884 // 'with' '(' Expression ')' Statement |
| (...skipping 21 matching lines...) Expand all Loading... |
| 2137 if (*default_seen_ptr) { | 1906 if (*default_seen_ptr) { |
| 2138 ReportMessage("multiple_defaults_in_switch", | 1907 ReportMessage("multiple_defaults_in_switch", |
| 2139 Vector<const char*>::empty()); | 1908 Vector<const char*>::empty()); |
| 2140 *ok = false; | 1909 *ok = false; |
| 2141 return NULL; | 1910 return NULL; |
| 2142 } | 1911 } |
| 2143 *default_seen_ptr = true; | 1912 *default_seen_ptr = true; |
| 2144 } | 1913 } |
| 2145 Expect(Token::COLON, CHECK_OK); | 1914 Expect(Token::COLON, CHECK_OK); |
| 2146 | 1915 |
| 2147 ZoneListWrapper<Statement> statements = factory()->NewList<Statement>(5); | 1916 ZoneList<Statement*>* statements = new ZoneList<Statement*>(5); |
| 2148 while (peek() != Token::CASE && | 1917 while (peek() != Token::CASE && |
| 2149 peek() != Token::DEFAULT && | 1918 peek() != Token::DEFAULT && |
| 2150 peek() != Token::RBRACE) { | 1919 peek() != Token::RBRACE) { |
| 2151 Statement* stat = ParseStatement(NULL, CHECK_OK); | 1920 Statement* stat = ParseStatement(NULL, CHECK_OK); |
| 2152 statements.Add(stat); | 1921 statements->Add(stat); |
| 2153 } | 1922 } |
| 2154 | 1923 |
| 2155 return NEW(CaseClause(label, statements.elements())); | 1924 return new CaseClause(label, statements); |
| 2156 } | 1925 } |
| 2157 | 1926 |
| 2158 | 1927 |
| 2159 SwitchStatement* Parser::ParseSwitchStatement(ZoneStringList* labels, | 1928 SwitchStatement* Parser::ParseSwitchStatement(ZoneStringList* labels, |
| 2160 bool* ok) { | 1929 bool* ok) { |
| 2161 // SwitchStatement :: | 1930 // SwitchStatement :: |
| 2162 // 'switch' '(' Expression ')' '{' CaseClause* '}' | 1931 // 'switch' '(' Expression ')' '{' CaseClause* '}' |
| 2163 | 1932 |
| 2164 SwitchStatement* statement = NEW(SwitchStatement(labels)); | 1933 SwitchStatement* statement = new SwitchStatement(labels); |
| 2165 Target target(&this->target_stack_, statement); | 1934 Target target(&this->target_stack_, statement); |
| 2166 | 1935 |
| 2167 Expect(Token::SWITCH, CHECK_OK); | 1936 Expect(Token::SWITCH, CHECK_OK); |
| 2168 Expect(Token::LPAREN, CHECK_OK); | 1937 Expect(Token::LPAREN, CHECK_OK); |
| 2169 Expression* tag = ParseExpression(true, CHECK_OK); | 1938 Expression* tag = ParseExpression(true, CHECK_OK); |
| 2170 Expect(Token::RPAREN, CHECK_OK); | 1939 Expect(Token::RPAREN, CHECK_OK); |
| 2171 | 1940 |
| 2172 bool default_seen = false; | 1941 bool default_seen = false; |
| 2173 ZoneListWrapper<CaseClause> cases = factory()->NewList<CaseClause>(4); | 1942 ZoneList<CaseClause*>* cases = new ZoneList<CaseClause*>(4); |
| 2174 Expect(Token::LBRACE, CHECK_OK); | 1943 Expect(Token::LBRACE, CHECK_OK); |
| 2175 while (peek() != Token::RBRACE) { | 1944 while (peek() != Token::RBRACE) { |
| 2176 CaseClause* clause = ParseCaseClause(&default_seen, CHECK_OK); | 1945 CaseClause* clause = ParseCaseClause(&default_seen, CHECK_OK); |
| 2177 cases.Add(clause); | 1946 cases->Add(clause); |
| 2178 } | 1947 } |
| 2179 Expect(Token::RBRACE, CHECK_OK); | 1948 Expect(Token::RBRACE, CHECK_OK); |
| 2180 | 1949 |
| 2181 if (statement) statement->Initialize(tag, cases.elements()); | 1950 if (statement) statement->Initialize(tag, cases); |
| 2182 return statement; | 1951 return statement; |
| 2183 } | 1952 } |
| 2184 | 1953 |
| 2185 | 1954 |
| 2186 Statement* Parser::ParseThrowStatement(bool* ok) { | 1955 Statement* Parser::ParseThrowStatement(bool* ok) { |
| 2187 // ThrowStatement :: | 1956 // ThrowStatement :: |
| 2188 // 'throw' Expression ';' | 1957 // 'throw' Expression ';' |
| 2189 | 1958 |
| 2190 Expect(Token::THROW, CHECK_OK); | 1959 Expect(Token::THROW, CHECK_OK); |
| 2191 int pos = scanner().location().beg_pos; | 1960 int pos = scanner().location().beg_pos; |
| 2192 if (scanner_.has_line_terminator_before_next()) { | 1961 if (scanner_.has_line_terminator_before_next()) { |
| 2193 ReportMessage("newline_after_throw", Vector<const char*>::empty()); | 1962 ReportMessage("newline_after_throw", Vector<const char*>::empty()); |
| 2194 *ok = false; | 1963 *ok = false; |
| 2195 return NULL; | 1964 return NULL; |
| 2196 } | 1965 } |
| 2197 Expression* exception = ParseExpression(true, CHECK_OK); | 1966 Expression* exception = ParseExpression(true, CHECK_OK); |
| 2198 ExpectSemicolon(CHECK_OK); | 1967 ExpectSemicolon(CHECK_OK); |
| 2199 | 1968 |
| 2200 return NEW(ExpressionStatement(new Throw(exception, pos))); | 1969 return new ExpressionStatement(new Throw(exception, pos)); |
| 2201 } | 1970 } |
| 2202 | 1971 |
| 2203 | 1972 |
| 2204 TryStatement* Parser::ParseTryStatement(bool* ok) { | 1973 TryStatement* Parser::ParseTryStatement(bool* ok) { |
| 2205 // TryStatement :: | 1974 // TryStatement :: |
| 2206 // 'try' Block Catch | 1975 // 'try' Block Catch |
| 2207 // 'try' Block Finally | 1976 // 'try' Block Finally |
| 2208 // 'try' Block Catch Finally | 1977 // 'try' Block Catch Finally |
| 2209 // | 1978 // |
| 2210 // Catch :: | 1979 // Catch :: |
| 2211 // 'catch' '(' Identifier ')' Block | 1980 // 'catch' '(' Identifier ')' Block |
| 2212 // | 1981 // |
| 2213 // Finally :: | 1982 // Finally :: |
| 2214 // 'finally' Block | 1983 // 'finally' Block |
| 2215 | 1984 |
| 2216 Expect(Token::TRY, CHECK_OK); | 1985 Expect(Token::TRY, CHECK_OK); |
| 2217 | 1986 |
| 2218 ZoneList<BreakTarget*>* target_list = NEW(ZoneList<BreakTarget*>(0)); | 1987 ZoneList<BreakTarget*>* target_list = new ZoneList<BreakTarget*>(0); |
| 2219 TargetCollector collector(target_list); | 1988 TargetCollector collector(target_list); |
| 2220 Block* try_block; | 1989 Block* try_block; |
| 2221 | 1990 |
| 2222 { Target target(&this->target_stack_, &collector); | 1991 { Target target(&this->target_stack_, &collector); |
| 2223 try_block = ParseBlock(NULL, CHECK_OK); | 1992 try_block = ParseBlock(NULL, CHECK_OK); |
| 2224 } | 1993 } |
| 2225 | 1994 |
| 2226 Block* catch_block = NULL; | 1995 Block* catch_block = NULL; |
| 2227 VariableProxy* catch_var = NULL; | 1996 VariableProxy* catch_var = NULL; |
| 2228 Block* finally_block = NULL; | 1997 Block* finally_block = NULL; |
| 2229 | 1998 |
| 2230 Token::Value tok = peek(); | 1999 Token::Value tok = peek(); |
| 2231 if (tok != Token::CATCH && tok != Token::FINALLY) { | 2000 if (tok != Token::CATCH && tok != Token::FINALLY) { |
| 2232 ReportMessage("no_catch_or_finally", Vector<const char*>::empty()); | 2001 ReportMessage("no_catch_or_finally", Vector<const char*>::empty()); |
| 2233 *ok = false; | 2002 *ok = false; |
| 2234 return NULL; | 2003 return NULL; |
| 2235 } | 2004 } |
| 2236 | 2005 |
| 2237 // If we can break out from the catch block and there is a finally block, | 2006 // If we can break out from the catch block and there is a finally block, |
| 2238 // then we will need to collect jump targets from the catch block. Since | 2007 // then we will need to collect jump targets from the catch block. Since |
| 2239 // we don't know yet if there will be a finally block, we always collect | 2008 // we don't know yet if there will be a finally block, we always collect |
| 2240 // the jump targets. | 2009 // the jump targets. |
| 2241 ZoneList<BreakTarget*>* catch_target_list = NEW(ZoneList<BreakTarget*>(0)); | 2010 ZoneList<BreakTarget*>* catch_target_list = new ZoneList<BreakTarget*>(0); |
| 2242 TargetCollector catch_collector(catch_target_list); | 2011 TargetCollector catch_collector(catch_target_list); |
| 2243 bool has_catch = false; | 2012 bool has_catch = false; |
| 2244 if (tok == Token::CATCH) { | 2013 if (tok == Token::CATCH) { |
| 2245 has_catch = true; | 2014 has_catch = true; |
| 2246 Consume(Token::CATCH); | 2015 Consume(Token::CATCH); |
| 2247 | 2016 |
| 2248 Expect(Token::LPAREN, CHECK_OK); | 2017 Expect(Token::LPAREN, CHECK_OK); |
| 2249 Handle<String> name = ParseIdentifier(CHECK_OK); | 2018 Handle<String> name = ParseIdentifier(CHECK_OK); |
| 2250 Expect(Token::RPAREN, CHECK_OK); | 2019 Expect(Token::RPAREN, CHECK_OK); |
| 2251 | 2020 |
| 2252 if (peek() == Token::LBRACE) { | 2021 if (peek() == Token::LBRACE) { |
| 2253 // Allocate a temporary for holding the finally state while | 2022 // Allocate a temporary for holding the finally state while |
| 2254 // executing the finally block. | 2023 // executing the finally block. |
| 2255 catch_var = top_scope_->NewTemporary(Factory::catch_var_symbol()); | 2024 catch_var = top_scope_->NewTemporary(Factory::catch_var_symbol()); |
| 2256 Literal* name_literal = NEW(Literal(name)); | 2025 Literal* name_literal = new Literal(name); |
| 2257 Expression* obj = NEW(CatchExtensionObject(name_literal, catch_var)); | 2026 Expression* obj = new CatchExtensionObject(name_literal, catch_var); |
| 2258 { Target target(&this->target_stack_, &catch_collector); | 2027 { Target target(&this->target_stack_, &catch_collector); |
| 2259 catch_block = WithHelper(obj, NULL, true, CHECK_OK); | 2028 catch_block = WithHelper(obj, NULL, true, CHECK_OK); |
| 2260 } | 2029 } |
| 2261 } else { | 2030 } else { |
| 2262 Expect(Token::LBRACE, CHECK_OK); | 2031 Expect(Token::LBRACE, CHECK_OK); |
| 2263 } | 2032 } |
| 2264 | 2033 |
| 2265 tok = peek(); | 2034 tok = peek(); |
| 2266 } | 2035 } |
| 2267 | 2036 |
| 2268 if (tok == Token::FINALLY || !has_catch) { | 2037 if (tok == Token::FINALLY || !has_catch) { |
| 2269 Consume(Token::FINALLY); | 2038 Consume(Token::FINALLY); |
| 2270 // Declare a variable for holding the finally state while | 2039 // Declare a variable for holding the finally state while |
| 2271 // executing the finally block. | 2040 // executing the finally block. |
| 2272 finally_block = ParseBlock(NULL, CHECK_OK); | 2041 finally_block = ParseBlock(NULL, CHECK_OK); |
| 2273 } | 2042 } |
| 2274 | 2043 |
| 2275 // Simplify the AST nodes by converting: | 2044 // Simplify the AST nodes by converting: |
| 2276 // 'try { } catch { } finally { }' | 2045 // 'try { } catch { } finally { }' |
| 2277 // to: | 2046 // to: |
| 2278 // 'try { try { } catch { } } finally { }' | 2047 // 'try { try { } catch { } } finally { }' |
| 2279 | 2048 |
| 2280 if (!is_pre_parsing_ && catch_block != NULL && finally_block != NULL) { | 2049 if (catch_block != NULL && finally_block != NULL) { |
| 2281 TryCatchStatement* statement = | 2050 TryCatchStatement* statement = |
| 2282 NEW(TryCatchStatement(try_block, catch_var, catch_block)); | 2051 new TryCatchStatement(try_block, catch_var, catch_block); |
| 2283 statement->set_escaping_targets(collector.targets()); | 2052 statement->set_escaping_targets(collector.targets()); |
| 2284 try_block = NEW(Block(NULL, 1, false)); | 2053 try_block = new Block(NULL, 1, false); |
| 2285 try_block->AddStatement(statement); | 2054 try_block->AddStatement(statement); |
| 2286 catch_block = NULL; | 2055 catch_block = NULL; |
| 2287 } | 2056 } |
| 2288 | 2057 |
| 2289 TryStatement* result = NULL; | 2058 TryStatement* result = NULL; |
| 2290 if (!is_pre_parsing_) { | 2059 if (catch_block != NULL) { |
| 2291 if (catch_block != NULL) { | 2060 ASSERT(finally_block == NULL); |
| 2292 ASSERT(finally_block == NULL); | 2061 result = new TryCatchStatement(try_block, catch_var, catch_block); |
| 2293 result = NEW(TryCatchStatement(try_block, catch_var, catch_block)); | 2062 result->set_escaping_targets(collector.targets()); |
| 2294 result->set_escaping_targets(collector.targets()); | 2063 } else { |
| 2295 } else { | 2064 ASSERT(finally_block != NULL); |
| 2296 ASSERT(finally_block != NULL); | 2065 result = new TryFinallyStatement(try_block, finally_block); |
| 2297 result = NEW(TryFinallyStatement(try_block, finally_block)); | 2066 // Add the jump targets of the try block and the catch block. |
| 2298 // Add the jump targets of the try block and the catch block. | 2067 for (int i = 0; i < collector.targets()->length(); i++) { |
| 2299 for (int i = 0; i < collector.targets()->length(); i++) { | 2068 catch_collector.AddTarget(collector.targets()->at(i)); |
| 2300 catch_collector.AddTarget(collector.targets()->at(i)); | |
| 2301 } | |
| 2302 result->set_escaping_targets(catch_collector.targets()); | |
| 2303 } | 2069 } |
| 2070 result->set_escaping_targets(catch_collector.targets()); |
| 2304 } | 2071 } |
| 2305 | 2072 |
| 2306 return result; | 2073 return result; |
| 2307 } | 2074 } |
| 2308 | 2075 |
| 2309 | 2076 |
| 2310 DoWhileStatement* Parser::ParseDoWhileStatement(ZoneStringList* labels, | 2077 DoWhileStatement* Parser::ParseDoWhileStatement(ZoneStringList* labels, |
| 2311 bool* ok) { | 2078 bool* ok) { |
| 2312 // DoStatement :: | 2079 // DoStatement :: |
| 2313 // 'do' Statement 'while' '(' Expression ')' ';' | 2080 // 'do' Statement 'while' '(' Expression ')' ';' |
| 2314 | 2081 |
| 2315 temp_scope_->AddLoop(); | 2082 temp_scope_->AddLoop(); |
| 2316 DoWhileStatement* loop = NEW(DoWhileStatement(labels)); | 2083 DoWhileStatement* loop = new DoWhileStatement(labels); |
| 2317 Target target(&this->target_stack_, loop); | 2084 Target target(&this->target_stack_, loop); |
| 2318 | 2085 |
| 2319 Expect(Token::DO, CHECK_OK); | 2086 Expect(Token::DO, CHECK_OK); |
| 2320 Statement* body = ParseStatement(NULL, CHECK_OK); | 2087 Statement* body = ParseStatement(NULL, CHECK_OK); |
| 2321 Expect(Token::WHILE, CHECK_OK); | 2088 Expect(Token::WHILE, CHECK_OK); |
| 2322 Expect(Token::LPAREN, CHECK_OK); | 2089 Expect(Token::LPAREN, CHECK_OK); |
| 2323 | 2090 |
| 2324 if (loop != NULL) { | 2091 if (loop != NULL) { |
| 2325 int position = scanner().location().beg_pos; | 2092 int position = scanner().location().beg_pos; |
| 2326 loop->set_condition_position(position); | 2093 loop->set_condition_position(position); |
| (...skipping 12 matching lines...) Expand all Loading... |
| 2339 if (loop != NULL) loop->Initialize(cond, body); | 2106 if (loop != NULL) loop->Initialize(cond, body); |
| 2340 return loop; | 2107 return loop; |
| 2341 } | 2108 } |
| 2342 | 2109 |
| 2343 | 2110 |
| 2344 WhileStatement* Parser::ParseWhileStatement(ZoneStringList* labels, bool* ok) { | 2111 WhileStatement* Parser::ParseWhileStatement(ZoneStringList* labels, bool* ok) { |
| 2345 // WhileStatement :: | 2112 // WhileStatement :: |
| 2346 // 'while' '(' Expression ')' Statement | 2113 // 'while' '(' Expression ')' Statement |
| 2347 | 2114 |
| 2348 temp_scope_->AddLoop(); | 2115 temp_scope_->AddLoop(); |
| 2349 WhileStatement* loop = NEW(WhileStatement(labels)); | 2116 WhileStatement* loop = new WhileStatement(labels); |
| 2350 Target target(&this->target_stack_, loop); | 2117 Target target(&this->target_stack_, loop); |
| 2351 | 2118 |
| 2352 Expect(Token::WHILE, CHECK_OK); | 2119 Expect(Token::WHILE, CHECK_OK); |
| 2353 Expect(Token::LPAREN, CHECK_OK); | 2120 Expect(Token::LPAREN, CHECK_OK); |
| 2354 Expression* cond = ParseExpression(true, CHECK_OK); | 2121 Expression* cond = ParseExpression(true, CHECK_OK); |
| 2355 if (cond != NULL) cond->set_is_loop_condition(true); | 2122 if (cond != NULL) cond->set_is_loop_condition(true); |
| 2356 Expect(Token::RPAREN, CHECK_OK); | 2123 Expect(Token::RPAREN, CHECK_OK); |
| 2357 Statement* body = ParseStatement(NULL, CHECK_OK); | 2124 Statement* body = ParseStatement(NULL, CHECK_OK); |
| 2358 | 2125 |
| 2359 if (loop != NULL) loop->Initialize(cond, body); | 2126 if (loop != NULL) loop->Initialize(cond, body); |
| 2360 return loop; | 2127 return loop; |
| 2361 } | 2128 } |
| 2362 | 2129 |
| 2363 | 2130 |
| 2364 Statement* Parser::ParseForStatement(ZoneStringList* labels, bool* ok) { | 2131 Statement* Parser::ParseForStatement(ZoneStringList* labels, bool* ok) { |
| 2365 // ForStatement :: | 2132 // ForStatement :: |
| 2366 // 'for' '(' Expression? ';' Expression? ';' Expression? ')' Statement | 2133 // 'for' '(' Expression? ';' Expression? ';' Expression? ')' Statement |
| 2367 | 2134 |
| 2368 temp_scope_->AddLoop(); | 2135 temp_scope_->AddLoop(); |
| 2369 Statement* init = NULL; | 2136 Statement* init = NULL; |
| 2370 | 2137 |
| 2371 Expect(Token::FOR, CHECK_OK); | 2138 Expect(Token::FOR, CHECK_OK); |
| 2372 Expect(Token::LPAREN, CHECK_OK); | 2139 Expect(Token::LPAREN, CHECK_OK); |
| 2373 if (peek() != Token::SEMICOLON) { | 2140 if (peek() != Token::SEMICOLON) { |
| 2374 if (peek() == Token::VAR || peek() == Token::CONST) { | 2141 if (peek() == Token::VAR || peek() == Token::CONST) { |
| 2375 Expression* each = NULL; | 2142 Expression* each = NULL; |
| 2376 Block* variable_statement = | 2143 Block* variable_statement = |
| 2377 ParseVariableDeclarations(false, &each, CHECK_OK); | 2144 ParseVariableDeclarations(false, &each, CHECK_OK); |
| 2378 if (peek() == Token::IN && each != NULL) { | 2145 if (peek() == Token::IN && each != NULL) { |
| 2379 ForInStatement* loop = NEW(ForInStatement(labels)); | 2146 ForInStatement* loop = new ForInStatement(labels); |
| 2380 Target target(&this->target_stack_, loop); | 2147 Target target(&this->target_stack_, loop); |
| 2381 | 2148 |
| 2382 Expect(Token::IN, CHECK_OK); | 2149 Expect(Token::IN, CHECK_OK); |
| 2383 Expression* enumerable = ParseExpression(true, CHECK_OK); | 2150 Expression* enumerable = ParseExpression(true, CHECK_OK); |
| 2384 Expect(Token::RPAREN, CHECK_OK); | 2151 Expect(Token::RPAREN, CHECK_OK); |
| 2385 | 2152 |
| 2386 Statement* body = ParseStatement(NULL, CHECK_OK); | 2153 Statement* body = ParseStatement(NULL, CHECK_OK); |
| 2387 if (is_pre_parsing_) { | 2154 loop->Initialize(each, enumerable, body); |
| 2388 return NULL; | 2155 Block* result = new Block(NULL, 2, false); |
| 2389 } else { | 2156 result->AddStatement(variable_statement); |
| 2390 loop->Initialize(each, enumerable, body); | 2157 result->AddStatement(loop); |
| 2391 Block* result = NEW(Block(NULL, 2, false)); | 2158 // Parsed for-in loop w/ variable/const declaration. |
| 2392 result->AddStatement(variable_statement); | 2159 return result; |
| 2393 result->AddStatement(loop); | |
| 2394 // Parsed for-in loop w/ variable/const declaration. | |
| 2395 return result; | |
| 2396 } | |
| 2397 | |
| 2398 } else { | 2160 } else { |
| 2399 init = variable_statement; | 2161 init = variable_statement; |
| 2400 } | 2162 } |
| 2401 | 2163 |
| 2402 } else { | 2164 } else { |
| 2403 Expression* expression = ParseExpression(false, CHECK_OK); | 2165 Expression* expression = ParseExpression(false, CHECK_OK); |
| 2404 if (peek() == Token::IN) { | 2166 if (peek() == Token::IN) { |
| 2405 // Signal a reference error if the expression is an invalid | 2167 // Signal a reference error if the expression is an invalid |
| 2406 // left-hand side expression. We could report this as a syntax | 2168 // left-hand side expression. We could report this as a syntax |
| 2407 // error here but for compatibility with JSC we choose to report | 2169 // error here but for compatibility with JSC we choose to report |
| 2408 // the error at runtime. | 2170 // the error at runtime. |
| 2409 if (expression == NULL || !expression->IsValidLeftHandSide()) { | 2171 if (expression == NULL || !expression->IsValidLeftHandSide()) { |
| 2410 Handle<String> type = Factory::invalid_lhs_in_for_in_symbol(); | 2172 Handle<String> type = Factory::invalid_lhs_in_for_in_symbol(); |
| 2411 expression = NewThrowReferenceError(type); | 2173 expression = NewThrowReferenceError(type); |
| 2412 } | 2174 } |
| 2413 ForInStatement* loop = NEW(ForInStatement(labels)); | 2175 ForInStatement* loop = new ForInStatement(labels); |
| 2414 Target target(&this->target_stack_, loop); | 2176 Target target(&this->target_stack_, loop); |
| 2415 | 2177 |
| 2416 Expect(Token::IN, CHECK_OK); | 2178 Expect(Token::IN, CHECK_OK); |
| 2417 Expression* enumerable = ParseExpression(true, CHECK_OK); | 2179 Expression* enumerable = ParseExpression(true, CHECK_OK); |
| 2418 Expect(Token::RPAREN, CHECK_OK); | 2180 Expect(Token::RPAREN, CHECK_OK); |
| 2419 | 2181 |
| 2420 Statement* body = ParseStatement(NULL, CHECK_OK); | 2182 Statement* body = ParseStatement(NULL, CHECK_OK); |
| 2421 if (loop) loop->Initialize(expression, enumerable, body); | 2183 if (loop) loop->Initialize(expression, enumerable, body); |
| 2422 // Parsed for-in loop. | 2184 // Parsed for-in loop. |
| 2423 return loop; | 2185 return loop; |
| 2424 | 2186 |
| 2425 } else { | 2187 } else { |
| 2426 init = NEW(ExpressionStatement(expression)); | 2188 init = new ExpressionStatement(expression); |
| 2427 } | 2189 } |
| 2428 } | 2190 } |
| 2429 } | 2191 } |
| 2430 | 2192 |
| 2431 // Standard 'for' loop | 2193 // Standard 'for' loop |
| 2432 ForStatement* loop = NEW(ForStatement(labels)); | 2194 ForStatement* loop = new ForStatement(labels); |
| 2433 Target target(&this->target_stack_, loop); | 2195 Target target(&this->target_stack_, loop); |
| 2434 | 2196 |
| 2435 // Parsed initializer at this point. | 2197 // Parsed initializer at this point. |
| 2436 Expect(Token::SEMICOLON, CHECK_OK); | 2198 Expect(Token::SEMICOLON, CHECK_OK); |
| 2437 | 2199 |
| 2438 Expression* cond = NULL; | 2200 Expression* cond = NULL; |
| 2439 if (peek() != Token::SEMICOLON) { | 2201 if (peek() != Token::SEMICOLON) { |
| 2440 cond = ParseExpression(true, CHECK_OK); | 2202 cond = ParseExpression(true, CHECK_OK); |
| 2441 if (cond != NULL) cond->set_is_loop_condition(true); | 2203 if (cond != NULL) cond->set_is_loop_condition(true); |
| 2442 } | 2204 } |
| 2443 Expect(Token::SEMICOLON, CHECK_OK); | 2205 Expect(Token::SEMICOLON, CHECK_OK); |
| 2444 | 2206 |
| 2445 Statement* next = NULL; | 2207 Statement* next = NULL; |
| 2446 if (peek() != Token::RPAREN) { | 2208 if (peek() != Token::RPAREN) { |
| 2447 Expression* exp = ParseExpression(true, CHECK_OK); | 2209 Expression* exp = ParseExpression(true, CHECK_OK); |
| 2448 next = NEW(ExpressionStatement(exp)); | 2210 next = new ExpressionStatement(exp); |
| 2449 } | 2211 } |
| 2450 Expect(Token::RPAREN, CHECK_OK); | 2212 Expect(Token::RPAREN, CHECK_OK); |
| 2451 | 2213 |
| 2452 Statement* body = ParseStatement(NULL, CHECK_OK); | 2214 Statement* body = ParseStatement(NULL, CHECK_OK); |
| 2453 if (loop) loop->Initialize(init, cond, next, body); | 2215 if (loop) loop->Initialize(init, cond, next, body); |
| 2454 return loop; | 2216 return loop; |
| 2455 } | 2217 } |
| 2456 | 2218 |
| 2457 | 2219 |
| 2458 // Precedence = 1 | 2220 // Precedence = 1 |
| 2459 Expression* Parser::ParseExpression(bool accept_IN, bool* ok) { | 2221 Expression* Parser::ParseExpression(bool accept_IN, bool* ok) { |
| 2460 // Expression :: | 2222 // Expression :: |
| 2461 // AssignmentExpression | 2223 // AssignmentExpression |
| 2462 // Expression ',' AssignmentExpression | 2224 // Expression ',' AssignmentExpression |
| 2463 | 2225 |
| 2464 Expression* result = ParseAssignmentExpression(accept_IN, CHECK_OK); | 2226 Expression* result = ParseAssignmentExpression(accept_IN, CHECK_OK); |
| 2465 while (peek() == Token::COMMA) { | 2227 while (peek() == Token::COMMA) { |
| 2466 Expect(Token::COMMA, CHECK_OK); | 2228 Expect(Token::COMMA, CHECK_OK); |
| 2467 int position = scanner().location().beg_pos; | 2229 int position = scanner().location().beg_pos; |
| 2468 Expression* right = ParseAssignmentExpression(accept_IN, CHECK_OK); | 2230 Expression* right = ParseAssignmentExpression(accept_IN, CHECK_OK); |
| 2469 result = NEW(BinaryOperation(Token::COMMA, result, right, position)); | 2231 result = new BinaryOperation(Token::COMMA, result, right, position); |
| 2470 } | 2232 } |
| 2471 return result; | 2233 return result; |
| 2472 } | 2234 } |
| 2473 | 2235 |
| 2474 | 2236 |
| 2475 // Precedence = 2 | 2237 // Precedence = 2 |
| 2476 Expression* Parser::ParseAssignmentExpression(bool accept_IN, bool* ok) { | 2238 Expression* Parser::ParseAssignmentExpression(bool accept_IN, bool* ok) { |
| 2477 // AssignmentExpression :: | 2239 // AssignmentExpression :: |
| 2478 // ConditionalExpression | 2240 // ConditionalExpression |
| 2479 // LeftHandSideExpression AssignmentOperator AssignmentExpression | 2241 // LeftHandSideExpression AssignmentOperator AssignmentExpression |
| (...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2519 // expression. | 2281 // expression. |
| 2520 if ((op == Token::INIT_VAR | 2282 if ((op == Token::INIT_VAR |
| 2521 || op == Token::INIT_CONST | 2283 || op == Token::INIT_CONST |
| 2522 || op == Token::ASSIGN) | 2284 || op == Token::ASSIGN) |
| 2523 && (right->AsCall() == NULL)) { | 2285 && (right->AsCall() == NULL)) { |
| 2524 fni_->Infer(); | 2286 fni_->Infer(); |
| 2525 } | 2287 } |
| 2526 fni_->Leave(); | 2288 fni_->Leave(); |
| 2527 } | 2289 } |
| 2528 | 2290 |
| 2529 return NEW(Assignment(op, expression, right, pos)); | 2291 return new Assignment(op, expression, right, pos); |
| 2530 } | 2292 } |
| 2531 | 2293 |
| 2532 | 2294 |
| 2533 // Precedence = 3 | 2295 // Precedence = 3 |
| 2534 Expression* Parser::ParseConditionalExpression(bool accept_IN, bool* ok) { | 2296 Expression* Parser::ParseConditionalExpression(bool accept_IN, bool* ok) { |
| 2535 // ConditionalExpression :: | 2297 // ConditionalExpression :: |
| 2536 // LogicalOrExpression | 2298 // LogicalOrExpression |
| 2537 // LogicalOrExpression '?' AssignmentExpression ':' AssignmentExpression | 2299 // LogicalOrExpression '?' AssignmentExpression ':' AssignmentExpression |
| 2538 | 2300 |
| 2539 // We start using the binary expression parser for prec >= 4 only! | 2301 // We start using the binary expression parser for prec >= 4 only! |
| 2540 Expression* expression = ParseBinaryExpression(4, accept_IN, CHECK_OK); | 2302 Expression* expression = ParseBinaryExpression(4, accept_IN, CHECK_OK); |
| 2541 if (peek() != Token::CONDITIONAL) return expression; | 2303 if (peek() != Token::CONDITIONAL) return expression; |
| 2542 Consume(Token::CONDITIONAL); | 2304 Consume(Token::CONDITIONAL); |
| 2543 // In parsing the first assignment expression in conditional | 2305 // In parsing the first assignment expression in conditional |
| 2544 // expressions we always accept the 'in' keyword; see ECMA-262, | 2306 // expressions we always accept the 'in' keyword; see ECMA-262, |
| 2545 // section 11.12, page 58. | 2307 // section 11.12, page 58. |
| 2546 int left_position = scanner().peek_location().beg_pos; | 2308 int left_position = scanner().peek_location().beg_pos; |
| 2547 Expression* left = ParseAssignmentExpression(true, CHECK_OK); | 2309 Expression* left = ParseAssignmentExpression(true, CHECK_OK); |
| 2548 Expect(Token::COLON, CHECK_OK); | 2310 Expect(Token::COLON, CHECK_OK); |
| 2549 int right_position = scanner().peek_location().beg_pos; | 2311 int right_position = scanner().peek_location().beg_pos; |
| 2550 Expression* right = ParseAssignmentExpression(accept_IN, CHECK_OK); | 2312 Expression* right = ParseAssignmentExpression(accept_IN, CHECK_OK); |
| 2551 return NEW(Conditional(expression, left, right, | 2313 return new Conditional(expression, left, right, |
| 2552 left_position, right_position)); | 2314 left_position, right_position); |
| 2553 } | 2315 } |
| 2554 | 2316 |
| 2555 | 2317 |
| 2556 static int Precedence(Token::Value tok, bool accept_IN) { | 2318 static int Precedence(Token::Value tok, bool accept_IN) { |
| 2557 if (tok == Token::IN && !accept_IN) | 2319 if (tok == Token::IN && !accept_IN) |
| 2558 return 0; // 0 precedence will terminate binary expression parsing | 2320 return 0; // 0 precedence will terminate binary expression parsing |
| 2559 | 2321 |
| 2560 return Token::Precedence(tok); | 2322 return Token::Precedence(tok); |
| 2561 } | 2323 } |
| 2562 | 2324 |
| (...skipping 86 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2649 // We have a comparison. | 2411 // We have a comparison. |
| 2650 Token::Value cmp = op; | 2412 Token::Value cmp = op; |
| 2651 switch (op) { | 2413 switch (op) { |
| 2652 case Token::NE: cmp = Token::EQ; break; | 2414 case Token::NE: cmp = Token::EQ; break; |
| 2653 case Token::NE_STRICT: cmp = Token::EQ_STRICT; break; | 2415 case Token::NE_STRICT: cmp = Token::EQ_STRICT; break; |
| 2654 default: break; | 2416 default: break; |
| 2655 } | 2417 } |
| 2656 x = NewCompareNode(cmp, x, y, position); | 2418 x = NewCompareNode(cmp, x, y, position); |
| 2657 if (cmp != op) { | 2419 if (cmp != op) { |
| 2658 // The comparison was negated - add a NOT. | 2420 // The comparison was negated - add a NOT. |
| 2659 x = NEW(UnaryOperation(Token::NOT, x)); | 2421 x = new UnaryOperation(Token::NOT, x); |
| 2660 } | 2422 } |
| 2661 | 2423 |
| 2662 } else { | 2424 } else { |
| 2663 // We have a "normal" binary operation. | 2425 // We have a "normal" binary operation. |
| 2664 x = NEW(BinaryOperation(op, x, y, position)); | 2426 x = new BinaryOperation(op, x, y, position); |
| 2665 } | 2427 } |
| 2666 } | 2428 } |
| 2667 } | 2429 } |
| 2668 return x; | 2430 return x; |
| 2669 } | 2431 } |
| 2670 | 2432 |
| 2671 | 2433 |
| 2672 Expression* Parser::NewCompareNode(Token::Value op, | 2434 Expression* Parser::NewCompareNode(Token::Value op, |
| 2673 Expression* x, | 2435 Expression* x, |
| 2674 Expression* y, | 2436 Expression* y, |
| 2675 int position) { | 2437 int position) { |
| 2676 ASSERT(op != Token::NE && op != Token::NE_STRICT); | 2438 ASSERT(op != Token::NE && op != Token::NE_STRICT); |
| 2677 if (!is_pre_parsing_ && (op == Token::EQ || op == Token::EQ_STRICT)) { | 2439 if (op == Token::EQ || op == Token::EQ_STRICT) { |
| 2678 bool is_strict = (op == Token::EQ_STRICT); | 2440 bool is_strict = (op == Token::EQ_STRICT); |
| 2679 Literal* x_literal = x->AsLiteral(); | 2441 Literal* x_literal = x->AsLiteral(); |
| 2680 if (x_literal != NULL && x_literal->IsNull()) { | 2442 if (x_literal != NULL && x_literal->IsNull()) { |
| 2681 return NEW(CompareToNull(is_strict, y)); | 2443 return new CompareToNull(is_strict, y); |
| 2682 } | 2444 } |
| 2683 | 2445 |
| 2684 Literal* y_literal = y->AsLiteral(); | 2446 Literal* y_literal = y->AsLiteral(); |
| 2685 if (y_literal != NULL && y_literal->IsNull()) { | 2447 if (y_literal != NULL && y_literal->IsNull()) { |
| 2686 return NEW(CompareToNull(is_strict, x)); | 2448 return new CompareToNull(is_strict, x); |
| 2687 } | 2449 } |
| 2688 } | 2450 } |
| 2689 return NEW(CompareOperation(op, x, y, position)); | 2451 return new CompareOperation(op, x, y, position); |
| 2690 } | 2452 } |
| 2691 | 2453 |
| 2692 | 2454 |
| 2693 Expression* Parser::ParseUnaryExpression(bool* ok) { | 2455 Expression* Parser::ParseUnaryExpression(bool* ok) { |
| 2694 // UnaryExpression :: | 2456 // UnaryExpression :: |
| 2695 // PostfixExpression | 2457 // PostfixExpression |
| 2696 // 'delete' UnaryExpression | 2458 // 'delete' UnaryExpression |
| 2697 // 'void' UnaryExpression | 2459 // 'void' UnaryExpression |
| 2698 // 'typeof' UnaryExpression | 2460 // 'typeof' UnaryExpression |
| 2699 // '++' UnaryExpression | 2461 // '++' UnaryExpression |
| (...skipping 16 matching lines...) Expand all Loading... |
| 2716 case Token::ADD: | 2478 case Token::ADD: |
| 2717 return expression; | 2479 return expression; |
| 2718 case Token::SUB: | 2480 case Token::SUB: |
| 2719 return NewNumberLiteral(-value); | 2481 return NewNumberLiteral(-value); |
| 2720 case Token::BIT_NOT: | 2482 case Token::BIT_NOT: |
| 2721 return NewNumberLiteral(~DoubleToInt32(value)); | 2483 return NewNumberLiteral(~DoubleToInt32(value)); |
| 2722 default: break; | 2484 default: break; |
| 2723 } | 2485 } |
| 2724 } | 2486 } |
| 2725 | 2487 |
| 2726 return NEW(UnaryOperation(op, expression)); | 2488 return new UnaryOperation(op, expression); |
| 2727 | 2489 |
| 2728 } else if (Token::IsCountOp(op)) { | 2490 } else if (Token::IsCountOp(op)) { |
| 2729 op = Next(); | 2491 op = Next(); |
| 2730 Expression* expression = ParseUnaryExpression(CHECK_OK); | 2492 Expression* expression = ParseUnaryExpression(CHECK_OK); |
| 2731 // Signal a reference error if the expression is an invalid | 2493 // Signal a reference error if the expression is an invalid |
| 2732 // left-hand side expression. We could report this as a syntax | 2494 // left-hand side expression. We could report this as a syntax |
| 2733 // error here but for compatibility with JSC we choose to report the | 2495 // error here but for compatibility with JSC we choose to report the |
| 2734 // error at runtime. | 2496 // error at runtime. |
| 2735 if (expression == NULL || !expression->IsValidLeftHandSide()) { | 2497 if (expression == NULL || !expression->IsValidLeftHandSide()) { |
| 2736 Handle<String> type = Factory::invalid_lhs_in_prefix_op_symbol(); | 2498 Handle<String> type = Factory::invalid_lhs_in_prefix_op_symbol(); |
| 2737 expression = NewThrowReferenceError(type); | 2499 expression = NewThrowReferenceError(type); |
| 2738 } | 2500 } |
| 2739 int position = scanner().location().beg_pos; | 2501 int position = scanner().location().beg_pos; |
| 2740 IncrementOperation* increment = NEW(IncrementOperation(op, expression)); | 2502 IncrementOperation* increment = new IncrementOperation(op, expression); |
| 2741 return NEW(CountOperation(true /* prefix */, increment, position)); | 2503 return new CountOperation(true /* prefix */, increment, position); |
| 2742 | 2504 |
| 2743 } else { | 2505 } else { |
| 2744 return ParsePostfixExpression(ok); | 2506 return ParsePostfixExpression(ok); |
| 2745 } | 2507 } |
| 2746 } | 2508 } |
| 2747 | 2509 |
| 2748 | 2510 |
| 2749 Expression* Parser::ParsePostfixExpression(bool* ok) { | 2511 Expression* Parser::ParsePostfixExpression(bool* ok) { |
| 2750 // PostfixExpression :: | 2512 // PostfixExpression :: |
| 2751 // LeftHandSideExpression ('++' | '--')? | 2513 // LeftHandSideExpression ('++' | '--')? |
| 2752 | 2514 |
| 2753 Expression* expression = ParseLeftHandSideExpression(CHECK_OK); | 2515 Expression* expression = ParseLeftHandSideExpression(CHECK_OK); |
| 2754 if (!scanner_.has_line_terminator_before_next() && Token::IsCountOp(peek())) { | 2516 if (!scanner_.has_line_terminator_before_next() && Token::IsCountOp(peek())) { |
| 2755 // Signal a reference error if the expression is an invalid | 2517 // Signal a reference error if the expression is an invalid |
| 2756 // left-hand side expression. We could report this as a syntax | 2518 // left-hand side expression. We could report this as a syntax |
| 2757 // error here but for compatibility with JSC we choose to report the | 2519 // error here but for compatibility with JSC we choose to report the |
| 2758 // error at runtime. | 2520 // error at runtime. |
| 2759 if (expression == NULL || !expression->IsValidLeftHandSide()) { | 2521 if (expression == NULL || !expression->IsValidLeftHandSide()) { |
| 2760 Handle<String> type = Factory::invalid_lhs_in_postfix_op_symbol(); | 2522 Handle<String> type = Factory::invalid_lhs_in_postfix_op_symbol(); |
| 2761 expression = NewThrowReferenceError(type); | 2523 expression = NewThrowReferenceError(type); |
| 2762 } | 2524 } |
| 2763 Token::Value next = Next(); | 2525 Token::Value next = Next(); |
| 2764 int position = scanner().location().beg_pos; | 2526 int position = scanner().location().beg_pos; |
| 2765 IncrementOperation* increment = NEW(IncrementOperation(next, expression)); | 2527 IncrementOperation* increment = new IncrementOperation(next, expression); |
| 2766 expression = NEW(CountOperation(false /* postfix */, increment, position)); | 2528 expression = new CountOperation(false /* postfix */, increment, position); |
| 2767 } | 2529 } |
| 2768 return expression; | 2530 return expression; |
| 2769 } | 2531 } |
| 2770 | 2532 |
| 2771 | 2533 |
| 2772 Expression* Parser::ParseLeftHandSideExpression(bool* ok) { | 2534 Expression* Parser::ParseLeftHandSideExpression(bool* ok) { |
| 2773 // LeftHandSideExpression :: | 2535 // LeftHandSideExpression :: |
| 2774 // (NewExpression | MemberExpression) ... | 2536 // (NewExpression | MemberExpression) ... |
| 2775 | 2537 |
| 2776 Expression* result; | 2538 Expression* result; |
| 2777 if (peek() == Token::NEW) { | 2539 if (peek() == Token::NEW) { |
| 2778 result = ParseNewExpression(CHECK_OK); | 2540 result = ParseNewExpression(CHECK_OK); |
| 2779 } else { | 2541 } else { |
| 2780 result = ParseMemberExpression(CHECK_OK); | 2542 result = ParseMemberExpression(CHECK_OK); |
| 2781 } | 2543 } |
| 2782 | 2544 |
| 2783 while (true) { | 2545 while (true) { |
| 2784 switch (peek()) { | 2546 switch (peek()) { |
| 2785 case Token::LBRACK: { | 2547 case Token::LBRACK: { |
| 2786 Consume(Token::LBRACK); | 2548 Consume(Token::LBRACK); |
| 2787 int pos = scanner().location().beg_pos; | 2549 int pos = scanner().location().beg_pos; |
| 2788 Expression* index = ParseExpression(true, CHECK_OK); | 2550 Expression* index = ParseExpression(true, CHECK_OK); |
| 2789 result = factory()->NewProperty(result, index, pos); | 2551 result = new Property(result, index, pos); |
| 2790 Expect(Token::RBRACK, CHECK_OK); | 2552 Expect(Token::RBRACK, CHECK_OK); |
| 2791 break; | 2553 break; |
| 2792 } | 2554 } |
| 2793 | 2555 |
| 2794 case Token::LPAREN: { | 2556 case Token::LPAREN: { |
| 2795 int pos = scanner().location().beg_pos; | 2557 int pos = scanner().location().beg_pos; |
| 2796 ZoneList<Expression*>* args = ParseArguments(CHECK_OK); | 2558 ZoneList<Expression*>* args = ParseArguments(CHECK_OK); |
| 2797 | 2559 |
| 2798 // Keep track of eval() calls since they disable all local variable | 2560 // Keep track of eval() calls since they disable all local variable |
| 2799 // optimizations. | 2561 // optimizations. |
| 2800 // The calls that need special treatment are the | 2562 // The calls that need special treatment are the |
| 2801 // direct (i.e. not aliased) eval calls. These calls are all of the | 2563 // direct (i.e. not aliased) eval calls. These calls are all of the |
| 2802 // form eval(...) with no explicit receiver object where eval is not | 2564 // form eval(...) with no explicit receiver object where eval is not |
| 2803 // declared in the current scope chain. These calls are marked as | 2565 // declared in the current scope chain. These calls are marked as |
| 2804 // potentially direct eval calls. Whether they are actually direct calls | 2566 // potentially direct eval calls. Whether they are actually direct calls |
| 2805 // to eval is determined at run time. | 2567 // to eval is determined at run time. |
| 2806 if (!is_pre_parsing_) { | 2568 VariableProxy* callee = result->AsVariableProxy(); |
| 2807 VariableProxy* callee = result->AsVariableProxy(); | 2569 if (callee != NULL && callee->IsVariable(Factory::eval_symbol())) { |
| 2808 if (callee != NULL && callee->IsVariable(Factory::eval_symbol())) { | 2570 Handle<String> name = callee->name(); |
| 2809 Handle<String> name = callee->name(); | 2571 Variable* var = top_scope_->Lookup(name); |
| 2810 Variable* var = top_scope_->Lookup(name); | 2572 if (var == NULL) { |
| 2811 if (var == NULL) { | 2573 top_scope_->RecordEvalCall(); |
| 2812 top_scope_->RecordEvalCall(); | |
| 2813 } | |
| 2814 } | 2574 } |
| 2815 } | 2575 } |
| 2816 result = factory()->NewCall(result, args, pos); | 2576 result = NewCall(result, args, pos); |
| 2817 break; | 2577 break; |
| 2818 } | 2578 } |
| 2819 | 2579 |
| 2820 case Token::PERIOD: { | 2580 case Token::PERIOD: { |
| 2821 Consume(Token::PERIOD); | 2581 Consume(Token::PERIOD); |
| 2822 int pos = scanner().location().beg_pos; | 2582 int pos = scanner().location().beg_pos; |
| 2823 Handle<String> name = ParseIdentifierName(CHECK_OK); | 2583 Handle<String> name = ParseIdentifierName(CHECK_OK); |
| 2824 result = factory()->NewProperty(result, NEW(Literal(name)), pos); | 2584 result = new Property(result, new Literal(name), pos); |
| 2825 if (fni_ != NULL) fni_->PushLiteralName(name); | 2585 if (fni_ != NULL) fni_->PushLiteralName(name); |
| 2826 break; | 2586 break; |
| 2827 } | 2587 } |
| 2828 | 2588 |
| 2829 default: | 2589 default: |
| 2830 return result; | 2590 return result; |
| 2831 } | 2591 } |
| 2832 } | 2592 } |
| 2833 } | 2593 } |
| 2834 | 2594 |
| 2835 | 2595 |
| 2836 | |
| 2837 Expression* Parser::ParseNewPrefix(PositionStack* stack, bool* ok) { | 2596 Expression* Parser::ParseNewPrefix(PositionStack* stack, bool* ok) { |
| 2838 // NewExpression :: | 2597 // NewExpression :: |
| 2839 // ('new')+ MemberExpression | 2598 // ('new')+ MemberExpression |
| 2840 | 2599 |
| 2841 // The grammar for new expressions is pretty warped. The keyword | 2600 // The grammar for new expressions is pretty warped. The keyword |
| 2842 // 'new' can either be a part of the new expression (where it isn't | 2601 // 'new' can either be a part of the new expression (where it isn't |
| 2843 // followed by an argument list) or a part of the member expression, | 2602 // followed by an argument list) or a part of the member expression, |
| 2844 // where it must be followed by an argument list. To accommodate | 2603 // where it must be followed by an argument list. To accommodate |
| 2845 // this, we parse the 'new' keywords greedily and keep track of how | 2604 // this, we parse the 'new' keywords greedily and keep track of how |
| 2846 // many we have parsed. This information is then passed on to the | 2605 // many we have parsed. This information is then passed on to the |
| 2847 // member expression parser, which is only allowed to match argument | 2606 // member expression parser, which is only allowed to match argument |
| 2848 // lists as long as it has 'new' prefixes left | 2607 // lists as long as it has 'new' prefixes left |
| 2849 Expect(Token::NEW, CHECK_OK); | 2608 Expect(Token::NEW, CHECK_OK); |
| 2850 PositionStack::Element pos(stack, scanner().location().beg_pos); | 2609 PositionStack::Element pos(stack, scanner().location().beg_pos); |
| 2851 | 2610 |
| 2852 Expression* result; | 2611 Expression* result; |
| 2853 if (peek() == Token::NEW) { | 2612 if (peek() == Token::NEW) { |
| 2854 result = ParseNewPrefix(stack, CHECK_OK); | 2613 result = ParseNewPrefix(stack, CHECK_OK); |
| 2855 } else { | 2614 } else { |
| 2856 result = ParseMemberWithNewPrefixesExpression(stack, CHECK_OK); | 2615 result = ParseMemberWithNewPrefixesExpression(stack, CHECK_OK); |
| 2857 } | 2616 } |
| 2858 | 2617 |
| 2859 if (!stack->is_empty()) { | 2618 if (!stack->is_empty()) { |
| 2860 int last = stack->pop(); | 2619 int last = stack->pop(); |
| 2861 result = NEW(CallNew(result, new ZoneList<Expression*>(0), last)); | 2620 result = new CallNew(result, new ZoneList<Expression*>(0), last); |
| 2862 } | 2621 } |
| 2863 return result; | 2622 return result; |
| 2864 } | 2623 } |
| 2865 | 2624 |
| 2866 | 2625 |
| 2867 Expression* Parser::ParseNewExpression(bool* ok) { | 2626 Expression* Parser::ParseNewExpression(bool* ok) { |
| 2868 PositionStack stack(ok); | 2627 PositionStack stack(ok); |
| 2869 return ParseNewPrefix(&stack, ok); | 2628 return ParseNewPrefix(&stack, ok); |
| 2870 } | 2629 } |
| 2871 | 2630 |
| (...skipping 21 matching lines...) Expand all Loading... |
| 2893 } else { | 2652 } else { |
| 2894 result = ParsePrimaryExpression(CHECK_OK); | 2653 result = ParsePrimaryExpression(CHECK_OK); |
| 2895 } | 2654 } |
| 2896 | 2655 |
| 2897 while (true) { | 2656 while (true) { |
| 2898 switch (peek()) { | 2657 switch (peek()) { |
| 2899 case Token::LBRACK: { | 2658 case Token::LBRACK: { |
| 2900 Consume(Token::LBRACK); | 2659 Consume(Token::LBRACK); |
| 2901 int pos = scanner().location().beg_pos; | 2660 int pos = scanner().location().beg_pos; |
| 2902 Expression* index = ParseExpression(true, CHECK_OK); | 2661 Expression* index = ParseExpression(true, CHECK_OK); |
| 2903 result = factory()->NewProperty(result, index, pos); | 2662 result = new Property(result, index, pos); |
| 2904 Expect(Token::RBRACK, CHECK_OK); | 2663 Expect(Token::RBRACK, CHECK_OK); |
| 2905 break; | 2664 break; |
| 2906 } | 2665 } |
| 2907 case Token::PERIOD: { | 2666 case Token::PERIOD: { |
| 2908 Consume(Token::PERIOD); | 2667 Consume(Token::PERIOD); |
| 2909 int pos = scanner().location().beg_pos; | 2668 int pos = scanner().location().beg_pos; |
| 2910 Handle<String> name = ParseIdentifierName(CHECK_OK); | 2669 Handle<String> name = ParseIdentifierName(CHECK_OK); |
| 2911 result = factory()->NewProperty(result, NEW(Literal(name)), pos); | 2670 result = new Property(result, new Literal(name), pos); |
| 2912 if (fni_ != NULL) fni_->PushLiteralName(name); | 2671 if (fni_ != NULL) fni_->PushLiteralName(name); |
| 2913 break; | 2672 break; |
| 2914 } | 2673 } |
| 2915 case Token::LPAREN: { | 2674 case Token::LPAREN: { |
| 2916 if ((stack == NULL) || stack->is_empty()) return result; | 2675 if ((stack == NULL) || stack->is_empty()) return result; |
| 2917 // Consume one of the new prefixes (already parsed). | 2676 // Consume one of the new prefixes (already parsed). |
| 2918 ZoneList<Expression*>* args = ParseArguments(CHECK_OK); | 2677 ZoneList<Expression*>* args = ParseArguments(CHECK_OK); |
| 2919 int last = stack->pop(); | 2678 int last = stack->pop(); |
| 2920 result = NEW(CallNew(result, args, last)); | 2679 result = new CallNew(result, args, last); |
| 2921 break; | 2680 break; |
| 2922 } | 2681 } |
| 2923 default: | 2682 default: |
| 2924 return result; | 2683 return result; |
| 2925 } | 2684 } |
| 2926 } | 2685 } |
| 2927 } | 2686 } |
| 2928 | 2687 |
| 2929 | 2688 |
| 2930 DebuggerStatement* Parser::ParseDebuggerStatement(bool* ok) { | 2689 DebuggerStatement* Parser::ParseDebuggerStatement(bool* ok) { |
| 2931 // In ECMA-262 'debugger' is defined as a reserved keyword. In some browser | 2690 // In ECMA-262 'debugger' is defined as a reserved keyword. In some browser |
| 2932 // contexts this is used as a statement which invokes the debugger as i a | 2691 // contexts this is used as a statement which invokes the debugger as i a |
| 2933 // break point is present. | 2692 // break point is present. |
| 2934 // DebuggerStatement :: | 2693 // DebuggerStatement :: |
| 2935 // 'debugger' ';' | 2694 // 'debugger' ';' |
| 2936 | 2695 |
| 2937 Expect(Token::DEBUGGER, CHECK_OK); | 2696 Expect(Token::DEBUGGER, CHECK_OK); |
| 2938 ExpectSemicolon(CHECK_OK); | 2697 ExpectSemicolon(CHECK_OK); |
| 2939 return NEW(DebuggerStatement()); | 2698 return new DebuggerStatement(); |
| 2940 } | 2699 } |
| 2941 | 2700 |
| 2942 | 2701 |
| 2943 void Parser::ReportUnexpectedToken(Token::Value token) { | 2702 void Parser::ReportUnexpectedToken(Token::Value token) { |
| 2944 // We don't report stack overflows here, to avoid increasing the | 2703 // We don't report stack overflows here, to avoid increasing the |
| 2945 // stack depth even further. Instead we report it after parsing is | 2704 // stack depth even further. Instead we report it after parsing is |
| 2946 // over, in ParseProgram/ParseJson. | 2705 // over, in ParseProgram/ParseJson. |
| 2947 if (token == Token::ILLEGAL && scanner().stack_overflow()) | 2706 if (token == Token::ILLEGAL && scanner().stack_overflow()) |
| 2948 return; | 2707 return; |
| 2949 // Four of the tokens are treated specially | 2708 // Four of the tokens are treated specially |
| (...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2987 // String | 2746 // String |
| 2988 // ArrayLiteral | 2747 // ArrayLiteral |
| 2989 // ObjectLiteral | 2748 // ObjectLiteral |
| 2990 // RegExpLiteral | 2749 // RegExpLiteral |
| 2991 // '(' Expression ')' | 2750 // '(' Expression ')' |
| 2992 | 2751 |
| 2993 Expression* result = NULL; | 2752 Expression* result = NULL; |
| 2994 switch (peek()) { | 2753 switch (peek()) { |
| 2995 case Token::THIS: { | 2754 case Token::THIS: { |
| 2996 Consume(Token::THIS); | 2755 Consume(Token::THIS); |
| 2997 if (is_pre_parsing_) { | 2756 VariableProxy* recv = top_scope_->receiver(); |
| 2998 result = VariableProxySentinel::this_proxy(); | 2757 result = recv; |
| 2999 } else { | |
| 3000 VariableProxy* recv = top_scope_->receiver(); | |
| 3001 result = recv; | |
| 3002 } | |
| 3003 break; | 2758 break; |
| 3004 } | 2759 } |
| 3005 | 2760 |
| 3006 case Token::NULL_LITERAL: | 2761 case Token::NULL_LITERAL: |
| 3007 Consume(Token::NULL_LITERAL); | 2762 Consume(Token::NULL_LITERAL); |
| 3008 result = NEW(Literal(Factory::null_value())); | 2763 result = new Literal(Factory::null_value()); |
| 3009 break; | 2764 break; |
| 3010 | 2765 |
| 3011 case Token::TRUE_LITERAL: | 2766 case Token::TRUE_LITERAL: |
| 3012 Consume(Token::TRUE_LITERAL); | 2767 Consume(Token::TRUE_LITERAL); |
| 3013 result = NEW(Literal(Factory::true_value())); | 2768 result = new Literal(Factory::true_value()); |
| 3014 break; | 2769 break; |
| 3015 | 2770 |
| 3016 case Token::FALSE_LITERAL: | 2771 case Token::FALSE_LITERAL: |
| 3017 Consume(Token::FALSE_LITERAL); | 2772 Consume(Token::FALSE_LITERAL); |
| 3018 result = NEW(Literal(Factory::false_value())); | 2773 result = new Literal(Factory::false_value()); |
| 3019 break; | 2774 break; |
| 3020 | 2775 |
| 3021 case Token::IDENTIFIER: { | 2776 case Token::IDENTIFIER: { |
| 3022 Handle<String> name = ParseIdentifier(CHECK_OK); | 2777 Handle<String> name = ParseIdentifier(CHECK_OK); |
| 3023 if (fni_ != NULL) fni_->PushVariableName(name); | 2778 if (fni_ != NULL) fni_->PushVariableName(name); |
| 3024 if (is_pre_parsing_) { | 2779 result = top_scope_->NewUnresolved(name, inside_with()); |
| 3025 result = VariableProxySentinel::identifier_proxy(); | |
| 3026 } else { | |
| 3027 result = top_scope_->NewUnresolved(name, inside_with()); | |
| 3028 } | |
| 3029 break; | 2780 break; |
| 3030 } | 2781 } |
| 3031 | 2782 |
| 3032 case Token::NUMBER: { | 2783 case Token::NUMBER: { |
| 3033 Consume(Token::NUMBER); | 2784 Consume(Token::NUMBER); |
| 3034 double value = | 2785 double value = |
| 3035 StringToDouble(scanner_.literal(), ALLOW_HEX | ALLOW_OCTALS); | 2786 StringToDouble(scanner_.literal(), ALLOW_HEX | ALLOW_OCTALS); |
| 3036 result = NewNumberLiteral(value); | 2787 result = NewNumberLiteral(value); |
| 3037 break; | 2788 break; |
| 3038 } | 2789 } |
| 3039 | 2790 |
| 3040 case Token::STRING: { | 2791 case Token::STRING: { |
| 3041 Consume(Token::STRING); | 2792 Consume(Token::STRING); |
| 3042 Handle<String> symbol = GetSymbol(CHECK_OK); | 2793 Handle<String> symbol = GetSymbol(CHECK_OK); |
| 3043 result = NEW(Literal(symbol)); | 2794 result = new Literal(symbol); |
| 3044 if (fni_ != NULL) fni_->PushLiteralName(symbol); | 2795 if (fni_ != NULL) fni_->PushLiteralName(symbol); |
| 3045 break; | 2796 break; |
| 3046 } | 2797 } |
| 3047 | 2798 |
| 3048 case Token::ASSIGN_DIV: | 2799 case Token::ASSIGN_DIV: |
| 3049 result = ParseRegExpLiteral(true, CHECK_OK); | 2800 result = ParseRegExpLiteral(true, CHECK_OK); |
| 3050 break; | 2801 break; |
| 3051 | 2802 |
| 3052 case Token::DIV: | 2803 case Token::DIV: |
| 3053 result = ParseRegExpLiteral(false, CHECK_OK); | 2804 result = ParseRegExpLiteral(false, CHECK_OK); |
| (...skipping 57 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3111 | 2862 |
| 3112 *is_simple = is_simple_acc; | 2863 *is_simple = is_simple_acc; |
| 3113 *depth = depth_acc; | 2864 *depth = depth_acc; |
| 3114 } | 2865 } |
| 3115 | 2866 |
| 3116 | 2867 |
| 3117 Expression* Parser::ParseArrayLiteral(bool* ok) { | 2868 Expression* Parser::ParseArrayLiteral(bool* ok) { |
| 3118 // ArrayLiteral :: | 2869 // ArrayLiteral :: |
| 3119 // '[' Expression? (',' Expression?)* ']' | 2870 // '[' Expression? (',' Expression?)* ']' |
| 3120 | 2871 |
| 3121 ZoneListWrapper<Expression> values = factory()->NewList<Expression>(4); | 2872 ZoneList<Expression*>* values = new ZoneList<Expression*>(4); |
| 3122 Expect(Token::LBRACK, CHECK_OK); | 2873 Expect(Token::LBRACK, CHECK_OK); |
| 3123 while (peek() != Token::RBRACK) { | 2874 while (peek() != Token::RBRACK) { |
| 3124 Expression* elem; | 2875 Expression* elem; |
| 3125 if (peek() == Token::COMMA) { | 2876 if (peek() == Token::COMMA) { |
| 3126 elem = GetLiteralTheHole(); | 2877 elem = GetLiteralTheHole(); |
| 3127 } else { | 2878 } else { |
| 3128 elem = ParseAssignmentExpression(true, CHECK_OK); | 2879 elem = ParseAssignmentExpression(true, CHECK_OK); |
| 3129 } | 2880 } |
| 3130 values.Add(elem); | 2881 values->Add(elem); |
| 3131 if (peek() != Token::RBRACK) { | 2882 if (peek() != Token::RBRACK) { |
| 3132 Expect(Token::COMMA, CHECK_OK); | 2883 Expect(Token::COMMA, CHECK_OK); |
| 3133 } | 2884 } |
| 3134 } | 2885 } |
| 3135 Expect(Token::RBRACK, CHECK_OK); | 2886 Expect(Token::RBRACK, CHECK_OK); |
| 3136 | 2887 |
| 3137 // Update the scope information before the pre-parsing bailout. | 2888 // Update the scope information before the pre-parsing bailout. |
| 3138 int literal_index = temp_scope_->NextMaterializedLiteralIndex(); | 2889 int literal_index = temp_scope_->NextMaterializedLiteralIndex(); |
| 3139 | 2890 |
| 3140 if (is_pre_parsing_) return NULL; | |
| 3141 | |
| 3142 // Allocate a fixed array with all the literals. | 2891 // Allocate a fixed array with all the literals. |
| 3143 Handle<FixedArray> literals = | 2892 Handle<FixedArray> literals = |
| 3144 Factory::NewFixedArray(values.length(), TENURED); | 2893 Factory::NewFixedArray(values->length(), TENURED); |
| 3145 | 2894 |
| 3146 // Fill in the literals. | 2895 // Fill in the literals. |
| 3147 bool is_simple = true; | 2896 bool is_simple = true; |
| 3148 int depth = 1; | 2897 int depth = 1; |
| 3149 for (int i = 0; i < values.length(); i++) { | 2898 for (int i = 0, n = values->length(); i < n; i++) { |
| 3150 MaterializedLiteral* m_literal = values.at(i)->AsMaterializedLiteral(); | 2899 MaterializedLiteral* m_literal = values->at(i)->AsMaterializedLiteral(); |
| 3151 if (m_literal != NULL && m_literal->depth() + 1 > depth) { | 2900 if (m_literal != NULL && m_literal->depth() + 1 > depth) { |
| 3152 depth = m_literal->depth() + 1; | 2901 depth = m_literal->depth() + 1; |
| 3153 } | 2902 } |
| 3154 Handle<Object> boilerplate_value = GetBoilerplateValue(values.at(i)); | 2903 Handle<Object> boilerplate_value = GetBoilerplateValue(values->at(i)); |
| 3155 if (boilerplate_value->IsUndefined()) { | 2904 if (boilerplate_value->IsUndefined()) { |
| 3156 literals->set_the_hole(i); | 2905 literals->set_the_hole(i); |
| 3157 is_simple = false; | 2906 is_simple = false; |
| 3158 } else { | 2907 } else { |
| 3159 literals->set(i, *boilerplate_value); | 2908 literals->set(i, *boilerplate_value); |
| 3160 } | 2909 } |
| 3161 } | 2910 } |
| 3162 | 2911 |
| 3163 // Simple and shallow arrays can be lazily copied, we transform the | 2912 // Simple and shallow arrays can be lazily copied, we transform the |
| 3164 // elements array to a copy-on-write array. | 2913 // elements array to a copy-on-write array. |
| 3165 if (is_simple && depth == 1 && values.length() > 0) { | 2914 if (is_simple && depth == 1 && values->length() > 0) { |
| 3166 literals->set_map(Heap::fixed_cow_array_map()); | 2915 literals->set_map(Heap::fixed_cow_array_map()); |
| 3167 } | 2916 } |
| 3168 | 2917 |
| 3169 return NEW(ArrayLiteral(literals, values.elements(), | 2918 return new ArrayLiteral(literals, values, |
| 3170 literal_index, is_simple, depth)); | 2919 literal_index, is_simple, depth); |
| 3171 } | 2920 } |
| 3172 | 2921 |
| 3173 | 2922 |
| 3174 bool Parser::IsBoilerplateProperty(ObjectLiteral::Property* property) { | 2923 bool Parser::IsBoilerplateProperty(ObjectLiteral::Property* property) { |
| 3175 return property != NULL && | 2924 return property != NULL && |
| 3176 property->kind() != ObjectLiteral::Property::PROTOTYPE; | 2925 property->kind() != ObjectLiteral::Property::PROTOTYPE; |
| 3177 } | 2926 } |
| 3178 | 2927 |
| 3179 | 2928 |
| 3180 bool CompileTimeValue::IsCompileTimeValue(Expression* expression) { | 2929 bool CompileTimeValue::IsCompileTimeValue(Expression* expression) { |
| (...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3307 Token::Value next = Next(); | 3056 Token::Value next = Next(); |
| 3308 // TODO(820): Allow NUMBER and STRING as well (and handle array indices). | 3057 // TODO(820): Allow NUMBER and STRING as well (and handle array indices). |
| 3309 if (next == Token::IDENTIFIER || Token::IsKeyword(next)) { | 3058 if (next == Token::IDENTIFIER || Token::IsKeyword(next)) { |
| 3310 Handle<String> name = GetSymbol(CHECK_OK); | 3059 Handle<String> name = GetSymbol(CHECK_OK); |
| 3311 FunctionLiteral* value = | 3060 FunctionLiteral* value = |
| 3312 ParseFunctionLiteral(name, | 3061 ParseFunctionLiteral(name, |
| 3313 RelocInfo::kNoPosition, | 3062 RelocInfo::kNoPosition, |
| 3314 DECLARATION, | 3063 DECLARATION, |
| 3315 CHECK_OK); | 3064 CHECK_OK); |
| 3316 ObjectLiteral::Property* property = | 3065 ObjectLiteral::Property* property = |
| 3317 NEW(ObjectLiteral::Property(is_getter, value)); | 3066 new ObjectLiteral::Property(is_getter, value); |
| 3318 return property; | 3067 return property; |
| 3319 } else { | 3068 } else { |
| 3320 ReportUnexpectedToken(next); | 3069 ReportUnexpectedToken(next); |
| 3321 *ok = false; | 3070 *ok = false; |
| 3322 return NULL; | 3071 return NULL; |
| 3323 } | 3072 } |
| 3324 } | 3073 } |
| 3325 | 3074 |
| 3326 | 3075 |
| 3327 Expression* Parser::ParseObjectLiteral(bool* ok) { | 3076 Expression* Parser::ParseObjectLiteral(bool* ok) { |
| 3328 // ObjectLiteral :: | 3077 // ObjectLiteral :: |
| 3329 // '{' ( | 3078 // '{' ( |
| 3330 // ((IdentifierName | String | Number) ':' AssignmentExpression) | 3079 // ((IdentifierName | String | Number) ':' AssignmentExpression) |
| 3331 // | (('get' | 'set') (IdentifierName | String | Number) FunctionLiteral) | 3080 // | (('get' | 'set') (IdentifierName | String | Number) FunctionLiteral) |
| 3332 // )*[','] '}' | 3081 // )*[','] '}' |
| 3333 | 3082 |
| 3334 ZoneListWrapper<ObjectLiteral::Property> properties = | 3083 ZoneList<ObjectLiteral::Property*>* properties = |
| 3335 factory()->NewList<ObjectLiteral::Property>(4); | 3084 new ZoneList<ObjectLiteral::Property*>(4); |
| 3336 int number_of_boilerplate_properties = 0; | 3085 int number_of_boilerplate_properties = 0; |
| 3337 | 3086 |
| 3338 Expect(Token::LBRACE, CHECK_OK); | 3087 Expect(Token::LBRACE, CHECK_OK); |
| 3339 while (peek() != Token::RBRACE) { | 3088 while (peek() != Token::RBRACE) { |
| 3340 if (fni_ != NULL) fni_->Enter(); | 3089 if (fni_ != NULL) fni_->Enter(); |
| 3341 | 3090 |
| 3342 Literal* key = NULL; | 3091 Literal* key = NULL; |
| 3343 Token::Value next = peek(); | 3092 Token::Value next = peek(); |
| 3344 switch (next) { | 3093 switch (next) { |
| 3345 case Token::IDENTIFIER: { | 3094 case Token::IDENTIFIER: { |
| 3346 bool is_getter = false; | 3095 bool is_getter = false; |
| 3347 bool is_setter = false; | 3096 bool is_setter = false; |
| 3348 Handle<String> id = | 3097 Handle<String> id = |
| 3349 ParseIdentifierOrGetOrSet(&is_getter, &is_setter, CHECK_OK); | 3098 ParseIdentifierOrGetOrSet(&is_getter, &is_setter, CHECK_OK); |
| 3350 if (fni_ != NULL) fni_->PushLiteralName(id); | 3099 if (fni_ != NULL) fni_->PushLiteralName(id); |
| 3351 | 3100 |
| 3352 if ((is_getter || is_setter) && peek() != Token::COLON) { | 3101 if ((is_getter || is_setter) && peek() != Token::COLON) { |
| 3353 ObjectLiteral::Property* property = | 3102 ObjectLiteral::Property* property = |
| 3354 ParseObjectLiteralGetSet(is_getter, CHECK_OK); | 3103 ParseObjectLiteralGetSet(is_getter, CHECK_OK); |
| 3355 if (IsBoilerplateProperty(property)) { | 3104 if (IsBoilerplateProperty(property)) { |
| 3356 number_of_boilerplate_properties++; | 3105 number_of_boilerplate_properties++; |
| 3357 } | 3106 } |
| 3358 properties.Add(property); | 3107 properties->Add(property); |
| 3359 if (peek() != Token::RBRACE) Expect(Token::COMMA, CHECK_OK); | 3108 if (peek() != Token::RBRACE) Expect(Token::COMMA, CHECK_OK); |
| 3360 | 3109 |
| 3361 if (fni_ != NULL) { | 3110 if (fni_ != NULL) { |
| 3362 fni_->Infer(); | 3111 fni_->Infer(); |
| 3363 fni_->Leave(); | 3112 fni_->Leave(); |
| 3364 } | 3113 } |
| 3365 continue; // restart the while | 3114 continue; // restart the while |
| 3366 } | 3115 } |
| 3367 // Failed to parse as get/set property, so it's just a property | 3116 // Failed to parse as get/set property, so it's just a property |
| 3368 // called "get" or "set". | 3117 // called "get" or "set". |
| 3369 key = NEW(Literal(id)); | 3118 key = new Literal(id); |
| 3370 break; | 3119 break; |
| 3371 } | 3120 } |
| 3372 case Token::STRING: { | 3121 case Token::STRING: { |
| 3373 Consume(Token::STRING); | 3122 Consume(Token::STRING); |
| 3374 Handle<String> string = GetSymbol(CHECK_OK); | 3123 Handle<String> string = GetSymbol(CHECK_OK); |
| 3375 if (fni_ != NULL) fni_->PushLiteralName(string); | 3124 if (fni_ != NULL) fni_->PushLiteralName(string); |
| 3376 uint32_t index; | 3125 uint32_t index; |
| 3377 if (!string.is_null() && string->AsArrayIndex(&index)) { | 3126 if (!string.is_null() && string->AsArrayIndex(&index)) { |
| 3378 key = NewNumberLiteral(index); | 3127 key = NewNumberLiteral(index); |
| 3379 break; | 3128 break; |
| 3380 } | 3129 } |
| 3381 key = NEW(Literal(string)); | 3130 key = new Literal(string); |
| 3382 break; | 3131 break; |
| 3383 } | 3132 } |
| 3384 case Token::NUMBER: { | 3133 case Token::NUMBER: { |
| 3385 Consume(Token::NUMBER); | 3134 Consume(Token::NUMBER); |
| 3386 double value = | 3135 double value = |
| 3387 StringToDouble(scanner_.literal(), ALLOW_HEX | ALLOW_OCTALS); | 3136 StringToDouble(scanner_.literal(), ALLOW_HEX | ALLOW_OCTALS); |
| 3388 key = NewNumberLiteral(value); | 3137 key = NewNumberLiteral(value); |
| 3389 break; | 3138 break; |
| 3390 } | 3139 } |
| 3391 default: | 3140 default: |
| 3392 if (Token::IsKeyword(next)) { | 3141 if (Token::IsKeyword(next)) { |
| 3393 Consume(next); | 3142 Consume(next); |
| 3394 Handle<String> string = GetSymbol(CHECK_OK); | 3143 Handle<String> string = GetSymbol(CHECK_OK); |
| 3395 key = NEW(Literal(string)); | 3144 key = new Literal(string); |
| 3396 } else { | 3145 } else { |
| 3397 // Unexpected token. | 3146 // Unexpected token. |
| 3398 Token::Value next = Next(); | 3147 Token::Value next = Next(); |
| 3399 ReportUnexpectedToken(next); | 3148 ReportUnexpectedToken(next); |
| 3400 *ok = false; | 3149 *ok = false; |
| 3401 return NULL; | 3150 return NULL; |
| 3402 } | 3151 } |
| 3403 } | 3152 } |
| 3404 | 3153 |
| 3405 Expect(Token::COLON, CHECK_OK); | 3154 Expect(Token::COLON, CHECK_OK); |
| 3406 Expression* value = ParseAssignmentExpression(true, CHECK_OK); | 3155 Expression* value = ParseAssignmentExpression(true, CHECK_OK); |
| 3407 | 3156 |
| 3408 ObjectLiteral::Property* property = | 3157 ObjectLiteral::Property* property = |
| 3409 NEW(ObjectLiteral::Property(key, value)); | 3158 new ObjectLiteral::Property(key, value); |
| 3410 | 3159 |
| 3411 // Count CONSTANT or COMPUTED properties to maintain the enumeration order. | 3160 // Count CONSTANT or COMPUTED properties to maintain the enumeration order. |
| 3412 if (IsBoilerplateProperty(property)) number_of_boilerplate_properties++; | 3161 if (IsBoilerplateProperty(property)) number_of_boilerplate_properties++; |
| 3413 properties.Add(property); | 3162 properties->Add(property); |
| 3414 | 3163 |
| 3415 // TODO(1240767): Consider allowing trailing comma. | 3164 // TODO(1240767): Consider allowing trailing comma. |
| 3416 if (peek() != Token::RBRACE) Expect(Token::COMMA, CHECK_OK); | 3165 if (peek() != Token::RBRACE) Expect(Token::COMMA, CHECK_OK); |
| 3417 | 3166 |
| 3418 if (fni_ != NULL) { | 3167 if (fni_ != NULL) { |
| 3419 fni_->Infer(); | 3168 fni_->Infer(); |
| 3420 fni_->Leave(); | 3169 fni_->Leave(); |
| 3421 } | 3170 } |
| 3422 } | 3171 } |
| 3423 Expect(Token::RBRACE, CHECK_OK); | 3172 Expect(Token::RBRACE, CHECK_OK); |
| 3424 // Computation of literal_index must happen before pre parse bailout. | 3173 // Computation of literal_index must happen before pre parse bailout. |
| 3425 int literal_index = temp_scope_->NextMaterializedLiteralIndex(); | 3174 int literal_index = temp_scope_->NextMaterializedLiteralIndex(); |
| 3426 if (is_pre_parsing_) return NULL; | |
| 3427 | 3175 |
| 3428 Handle<FixedArray> constant_properties = | 3176 Handle<FixedArray> constant_properties = |
| 3429 Factory::NewFixedArray(number_of_boilerplate_properties * 2, TENURED); | 3177 Factory::NewFixedArray(number_of_boilerplate_properties * 2, TENURED); |
| 3430 | 3178 |
| 3431 bool is_simple = true; | 3179 bool is_simple = true; |
| 3432 bool fast_elements = true; | 3180 bool fast_elements = true; |
| 3433 int depth = 1; | 3181 int depth = 1; |
| 3434 BuildObjectLiteralConstantProperties(properties.elements(), | 3182 BuildObjectLiteralConstantProperties(properties, |
| 3435 constant_properties, | 3183 constant_properties, |
| 3436 &is_simple, | 3184 &is_simple, |
| 3437 &fast_elements, | 3185 &fast_elements, |
| 3438 &depth); | 3186 &depth); |
| 3439 return new ObjectLiteral(constant_properties, | 3187 return new ObjectLiteral(constant_properties, |
| 3440 properties.elements(), | 3188 properties, |
| 3441 literal_index, | 3189 literal_index, |
| 3442 is_simple, | 3190 is_simple, |
| 3443 fast_elements, | 3191 fast_elements, |
| 3444 depth); | 3192 depth); |
| 3445 } | 3193 } |
| 3446 | 3194 |
| 3447 | 3195 |
| 3448 Expression* Parser::ParseRegExpLiteral(bool seen_equal, bool* ok) { | 3196 Expression* Parser::ParseRegExpLiteral(bool seen_equal, bool* ok) { |
| 3449 if (!scanner_.ScanRegExpPattern(seen_equal)) { | 3197 if (!scanner_.ScanRegExpPattern(seen_equal)) { |
| 3450 Next(); | 3198 Next(); |
| 3451 ReportMessage("unterminated_regexp", Vector<const char*>::empty()); | 3199 ReportMessage("unterminated_regexp", Vector<const char*>::empty()); |
| 3452 *ok = false; | 3200 *ok = false; |
| 3453 return NULL; | 3201 return NULL; |
| 3454 } | 3202 } |
| 3455 | 3203 |
| 3456 int literal_index = temp_scope_->NextMaterializedLiteralIndex(); | 3204 int literal_index = temp_scope_->NextMaterializedLiteralIndex(); |
| 3457 | 3205 |
| 3458 if (is_pre_parsing_) { | |
| 3459 // If we're preparsing we just do all the parsing stuff without | |
| 3460 // building anything. | |
| 3461 if (!scanner_.ScanRegExpFlags()) { | |
| 3462 Next(); | |
| 3463 ReportMessage("invalid_regexp_flags", Vector<const char*>::empty()); | |
| 3464 *ok = false; | |
| 3465 return NULL; | |
| 3466 } | |
| 3467 Next(); | |
| 3468 return NULL; | |
| 3469 } | |
| 3470 | |
| 3471 Handle<String> js_pattern = | 3206 Handle<String> js_pattern = |
| 3472 Factory::NewStringFromUtf8(scanner_.next_literal(), TENURED); | 3207 Factory::NewStringFromUtf8(scanner_.next_literal(), TENURED); |
| 3473 scanner_.ScanRegExpFlags(); | 3208 scanner_.ScanRegExpFlags(); |
| 3474 Handle<String> js_flags = | 3209 Handle<String> js_flags = |
| 3475 Factory::NewStringFromUtf8(scanner_.next_literal(), TENURED); | 3210 Factory::NewStringFromUtf8(scanner_.next_literal(), TENURED); |
| 3476 Next(); | 3211 Next(); |
| 3477 | 3212 |
| 3478 return new RegExpLiteral(js_pattern, js_flags, literal_index); | 3213 return new RegExpLiteral(js_pattern, js_flags, literal_index); |
| 3479 } | 3214 } |
| 3480 | 3215 |
| 3481 | 3216 |
| 3482 ZoneList<Expression*>* Parser::ParseArguments(bool* ok) { | 3217 ZoneList<Expression*>* Parser::ParseArguments(bool* ok) { |
| 3483 // Arguments :: | 3218 // Arguments :: |
| 3484 // '(' (AssignmentExpression)*[','] ')' | 3219 // '(' (AssignmentExpression)*[','] ')' |
| 3485 | 3220 |
| 3486 ZoneListWrapper<Expression> result = factory()->NewList<Expression>(4); | 3221 ZoneList<Expression*>* result = new ZoneList<Expression*>(4); |
| 3487 Expect(Token::LPAREN, CHECK_OK); | 3222 Expect(Token::LPAREN, CHECK_OK); |
| 3488 bool done = (peek() == Token::RPAREN); | 3223 bool done = (peek() == Token::RPAREN); |
| 3489 while (!done) { | 3224 while (!done) { |
| 3490 Expression* argument = ParseAssignmentExpression(true, CHECK_OK); | 3225 Expression* argument = ParseAssignmentExpression(true, CHECK_OK); |
| 3491 result.Add(argument); | 3226 result->Add(argument); |
| 3492 done = (peek() == Token::RPAREN); | 3227 done = (peek() == Token::RPAREN); |
| 3493 if (!done) Expect(Token::COMMA, CHECK_OK); | 3228 if (!done) Expect(Token::COMMA, CHECK_OK); |
| 3494 } | 3229 } |
| 3495 Expect(Token::RPAREN, CHECK_OK); | 3230 Expect(Token::RPAREN, CHECK_OK); |
| 3496 return result.elements(); | 3231 return result; |
| 3497 } | 3232 } |
| 3498 | 3233 |
| 3499 | 3234 |
| 3500 FunctionLiteral* Parser::ParseFunctionLiteral(Handle<String> var_name, | 3235 FunctionLiteral* Parser::ParseFunctionLiteral(Handle<String> var_name, |
| 3501 int function_token_position, | 3236 int function_token_position, |
| 3502 FunctionLiteralType type, | 3237 FunctionLiteralType type, |
| 3503 bool* ok) { | 3238 bool* ok) { |
| 3504 // Function :: | 3239 // Function :: |
| 3505 // '(' FormalParameterList? ')' '{' FunctionBody '}' | 3240 // '(' FormalParameterList? ')' '{' FunctionBody '}' |
| 3506 bool is_named = !var_name.is_null(); | 3241 bool is_named = !var_name.is_null(); |
| 3507 | 3242 |
| 3508 // The name associated with this function. If it's a function expression, | 3243 // The name associated with this function. If it's a function expression, |
| 3509 // this is the actual function name, otherwise this is the name of the | 3244 // this is the actual function name, otherwise this is the name of the |
| 3510 // variable declared and initialized with the function (expression). In | 3245 // variable declared and initialized with the function (expression). In |
| 3511 // that case, we don't have a function name (it's empty). | 3246 // that case, we don't have a function name (it's empty). |
| 3512 Handle<String> name = is_named ? var_name : factory()->EmptySymbol(); | 3247 Handle<String> name = is_named ? var_name : Factory::empty_symbol(); |
| 3513 // The function name, if any. | 3248 // The function name, if any. |
| 3514 Handle<String> function_name = factory()->EmptySymbol(); | 3249 Handle<String> function_name = Factory::empty_symbol(); |
| 3515 if (is_named && (type == EXPRESSION || type == NESTED)) { | 3250 if (is_named && (type == EXPRESSION || type == NESTED)) { |
| 3516 function_name = name; | 3251 function_name = name; |
| 3517 } | 3252 } |
| 3518 | 3253 |
| 3519 int num_parameters = 0; | 3254 int num_parameters = 0; |
| 3520 // Parse function body. | 3255 // Parse function body. |
| 3521 { Scope* scope = | 3256 { Scope* scope = |
| 3522 factory()->NewScope(top_scope_, Scope::FUNCTION_SCOPE, inside_with()); | 3257 NewScope(top_scope_, Scope::FUNCTION_SCOPE, inside_with()); |
| 3523 LexicalScope lexical_scope(&this->top_scope_, &this->with_nesting_level_, | 3258 LexicalScope lexical_scope(&this->top_scope_, &this->with_nesting_level_, |
| 3524 scope); | 3259 scope); |
| 3525 TemporaryScope temp_scope(&this->temp_scope_); | 3260 TemporaryScope temp_scope(&this->temp_scope_); |
| 3526 top_scope_->SetScopeName(name); | 3261 top_scope_->SetScopeName(name); |
| 3527 | 3262 |
| 3528 // FormalParameterList :: | 3263 // FormalParameterList :: |
| 3529 // '(' (Identifier)*[','] ')' | 3264 // '(' (Identifier)*[','] ')' |
| 3530 Expect(Token::LPAREN, CHECK_OK); | 3265 Expect(Token::LPAREN, CHECK_OK); |
| 3531 int start_pos = scanner_.location().beg_pos; | 3266 int start_pos = scanner_.location().beg_pos; |
| 3532 bool done = (peek() == Token::RPAREN); | 3267 bool done = (peek() == Token::RPAREN); |
| 3533 while (!done) { | 3268 while (!done) { |
| 3534 Handle<String> param_name = ParseIdentifier(CHECK_OK); | 3269 Handle<String> param_name = ParseIdentifier(CHECK_OK); |
| 3535 if (!is_pre_parsing_) { | 3270 top_scope_->AddParameter(top_scope_->DeclareLocal(param_name, |
| 3536 top_scope_->AddParameter(top_scope_->DeclareLocal(param_name, | 3271 Variable::VAR)); |
| 3537 Variable::VAR)); | 3272 num_parameters++; |
| 3538 num_parameters++; | |
| 3539 } | |
| 3540 done = (peek() == Token::RPAREN); | 3273 done = (peek() == Token::RPAREN); |
| 3541 if (!done) Expect(Token::COMMA, CHECK_OK); | 3274 if (!done) Expect(Token::COMMA, CHECK_OK); |
| 3542 } | 3275 } |
| 3543 Expect(Token::RPAREN, CHECK_OK); | 3276 Expect(Token::RPAREN, CHECK_OK); |
| 3544 | 3277 |
| 3545 Expect(Token::LBRACE, CHECK_OK); | 3278 Expect(Token::LBRACE, CHECK_OK); |
| 3546 ZoneListWrapper<Statement> body = factory()->NewList<Statement>(8); | 3279 ZoneList<Statement*>* body = new ZoneList<Statement*>(8); |
| 3547 | 3280 |
| 3548 // If we have a named function expression, we add a local variable | 3281 // If we have a named function expression, we add a local variable |
| 3549 // declaration to the body of the function with the name of the | 3282 // declaration to the body of the function with the name of the |
| 3550 // function and let it refer to the function itself (closure). | 3283 // function and let it refer to the function itself (closure). |
| 3551 // NOTE: We create a proxy and resolve it here so that in the | 3284 // NOTE: We create a proxy and resolve it here so that in the |
| 3552 // future we can change the AST to only refer to VariableProxies | 3285 // future we can change the AST to only refer to VariableProxies |
| 3553 // instead of Variables and Proxis as is the case now. | 3286 // instead of Variables and Proxis as is the case now. |
| 3554 if (!is_pre_parsing_ | 3287 if (!function_name.is_null() && function_name->length() > 0) { |
| 3555 && !function_name.is_null() | |
| 3556 && function_name->length() > 0) { | |
| 3557 Variable* fvar = top_scope_->DeclareFunctionVar(function_name); | 3288 Variable* fvar = top_scope_->DeclareFunctionVar(function_name); |
| 3558 VariableProxy* fproxy = | 3289 VariableProxy* fproxy = |
| 3559 top_scope_->NewUnresolved(function_name, inside_with()); | 3290 top_scope_->NewUnresolved(function_name, inside_with()); |
| 3560 fproxy->BindTo(fvar); | 3291 fproxy->BindTo(fvar); |
| 3561 body.Add(new ExpressionStatement( | 3292 body->Add(new ExpressionStatement( |
| 3562 new Assignment(Token::INIT_CONST, fproxy, | 3293 new Assignment(Token::INIT_CONST, fproxy, |
| 3563 NEW(ThisFunction()), | 3294 new ThisFunction(), |
| 3564 RelocInfo::kNoPosition))); | 3295 RelocInfo::kNoPosition))); |
| 3565 } | 3296 } |
| 3566 | 3297 |
| 3567 // Determine if the function will be lazily compiled. The mode can | 3298 // Determine if the function will be lazily compiled. The mode can |
| 3568 // only be PARSE_LAZILY if the --lazy flag is true. | 3299 // only be PARSE_LAZILY if the --lazy flag is true. |
| 3569 bool is_lazily_compiled = | 3300 bool is_lazily_compiled = |
| 3570 mode() == PARSE_LAZILY && top_scope_->HasTrivialOuterContext(); | 3301 mode() == PARSE_LAZILY && top_scope_->HasTrivialOuterContext(); |
| 3571 | 3302 |
| 3572 int function_block_pos = scanner_.location().beg_pos; | 3303 int function_block_pos = scanner_.location().beg_pos; |
| 3573 int materialized_literal_count; | 3304 int materialized_literal_count; |
| 3574 int expected_property_count; | 3305 int expected_property_count; |
| (...skipping 11 matching lines...) Expand all Loading... |
| 3586 ReportInvalidPreparseData(name, CHECK_OK); | 3317 ReportInvalidPreparseData(name, CHECK_OK); |
| 3587 } | 3318 } |
| 3588 Counters::total_preparse_skipped.Increment(end_pos - function_block_pos); | 3319 Counters::total_preparse_skipped.Increment(end_pos - function_block_pos); |
| 3589 scanner_.SeekForward(end_pos); | 3320 scanner_.SeekForward(end_pos); |
| 3590 materialized_literal_count = entry.literal_count(); | 3321 materialized_literal_count = entry.literal_count(); |
| 3591 expected_property_count = entry.property_count(); | 3322 expected_property_count = entry.property_count(); |
| 3592 only_simple_this_property_assignments = false; | 3323 only_simple_this_property_assignments = false; |
| 3593 this_property_assignments = Factory::empty_fixed_array(); | 3324 this_property_assignments = Factory::empty_fixed_array(); |
| 3594 Expect(Token::RBRACE, CHECK_OK); | 3325 Expect(Token::RBRACE, CHECK_OK); |
| 3595 } else { | 3326 } else { |
| 3596 FunctionEntry entry; | 3327 ParseSourceElements(body, Token::RBRACE, CHECK_OK); |
| 3597 { | 3328 |
| 3598 ConditionalLogPauseScope pause_if(is_lazily_compiled, log()); | |
| 3599 ParseSourceElements(&body, Token::RBRACE, CHECK_OK); | |
| 3600 } | |
| 3601 materialized_literal_count = temp_scope.materialized_literal_count(); | 3329 materialized_literal_count = temp_scope.materialized_literal_count(); |
| 3602 expected_property_count = temp_scope.expected_property_count(); | 3330 expected_property_count = temp_scope.expected_property_count(); |
| 3603 only_simple_this_property_assignments = | 3331 only_simple_this_property_assignments = |
| 3604 temp_scope.only_simple_this_property_assignments(); | 3332 temp_scope.only_simple_this_property_assignments(); |
| 3605 this_property_assignments = temp_scope.this_property_assignments(); | 3333 this_property_assignments = temp_scope.this_property_assignments(); |
| 3606 | 3334 |
| 3607 Expect(Token::RBRACE, CHECK_OK); | 3335 Expect(Token::RBRACE, CHECK_OK); |
| 3608 end_pos = scanner_.location().end_pos; | 3336 end_pos = scanner_.location().end_pos; |
| 3609 if (is_pre_parsing_ && is_lazily_compiled) { | |
| 3610 ASSERT(is_pre_parsing_); | |
| 3611 log()->LogFunction(function_block_pos, end_pos, | |
| 3612 materialized_literal_count, | |
| 3613 expected_property_count); | |
| 3614 } | |
| 3615 } | 3337 } |
| 3616 | 3338 |
| 3617 FunctionLiteral* function_literal = | 3339 FunctionLiteral* function_literal = |
| 3618 NEW(FunctionLiteral(name, | 3340 new FunctionLiteral(name, |
| 3619 top_scope_, | 3341 top_scope_, |
| 3620 body.elements(), | 3342 body, |
| 3621 materialized_literal_count, | 3343 materialized_literal_count, |
| 3622 expected_property_count, | 3344 expected_property_count, |
| 3623 only_simple_this_property_assignments, | 3345 only_simple_this_property_assignments, |
| 3624 this_property_assignments, | 3346 this_property_assignments, |
| 3625 num_parameters, | 3347 num_parameters, |
| 3626 start_pos, | 3348 start_pos, |
| 3627 end_pos, | 3349 end_pos, |
| 3628 function_name->length() > 0, | 3350 function_name->length() > 0, |
| 3629 temp_scope.ContainsLoops())); | 3351 temp_scope.ContainsLoops()); |
| 3630 if (!is_pre_parsing_) { | 3352 function_literal->set_function_token_position(function_token_position); |
| 3631 function_literal->set_function_token_position(function_token_position); | |
| 3632 } | |
| 3633 | 3353 |
| 3634 if (fni_ != NULL && !is_named) fni_->AddFunction(function_literal); | 3354 if (fni_ != NULL && !is_named) fni_->AddFunction(function_literal); |
| 3635 return function_literal; | 3355 return function_literal; |
| 3636 } | 3356 } |
| 3637 } | 3357 } |
| 3638 | 3358 |
| 3639 | 3359 |
| 3640 Expression* Parser::ParseV8Intrinsic(bool* ok) { | 3360 Expression* Parser::ParseV8Intrinsic(bool* ok) { |
| 3641 // CallRuntime :: | 3361 // CallRuntime :: |
| 3642 // '%' Identifier Arguments | 3362 // '%' Identifier Arguments |
| 3643 | 3363 |
| 3644 Expect(Token::MOD, CHECK_OK); | 3364 Expect(Token::MOD, CHECK_OK); |
| 3645 Handle<String> name = ParseIdentifier(CHECK_OK); | 3365 Handle<String> name = ParseIdentifier(CHECK_OK); |
| 3646 ZoneList<Expression*>* args = ParseArguments(CHECK_OK); | 3366 ZoneList<Expression*>* args = ParseArguments(CHECK_OK); |
| 3647 if (is_pre_parsing_) return NULL; | |
| 3648 | 3367 |
| 3649 if (extension_ != NULL) { | 3368 if (extension_ != NULL) { |
| 3650 // The extension structures are only accessible while parsing the | 3369 // The extension structures are only accessible while parsing the |
| 3651 // very first time not when reparsing because of lazy compilation. | 3370 // very first time not when reparsing because of lazy compilation. |
| 3652 top_scope_->ForceEagerCompilation(); | 3371 top_scope_->ForceEagerCompilation(); |
| 3653 } | 3372 } |
| 3654 | 3373 |
| 3655 Runtime::Function* function = Runtime::FunctionForSymbol(name); | 3374 Runtime::Function* function = Runtime::FunctionForSymbol(name); |
| 3656 | 3375 |
| 3657 // Check for built-in IS_VAR macro. | 3376 // Check for built-in IS_VAR macro. |
| (...skipping 15 matching lines...) Expand all Loading... |
| 3673 // Check that the expected number of arguments are being passed. | 3392 // Check that the expected number of arguments are being passed. |
| 3674 if (function != NULL && | 3393 if (function != NULL && |
| 3675 function->nargs != -1 && | 3394 function->nargs != -1 && |
| 3676 function->nargs != args->length()) { | 3395 function->nargs != args->length()) { |
| 3677 ReportMessage("illegal_access", Vector<const char*>::empty()); | 3396 ReportMessage("illegal_access", Vector<const char*>::empty()); |
| 3678 *ok = false; | 3397 *ok = false; |
| 3679 return NULL; | 3398 return NULL; |
| 3680 } | 3399 } |
| 3681 | 3400 |
| 3682 // We have a valid intrinsics call or a call to a builtin. | 3401 // We have a valid intrinsics call or a call to a builtin. |
| 3683 return NEW(CallRuntime(name, function, args)); | 3402 return new CallRuntime(name, function, args); |
| 3684 } | 3403 } |
| 3685 | 3404 |
| 3686 | 3405 |
| 3687 void Parser::Consume(Token::Value token) { | 3406 void Parser::Consume(Token::Value token) { |
| 3688 Token::Value next = Next(); | 3407 Token::Value next = Next(); |
| 3689 USE(next); | 3408 USE(next); |
| 3690 USE(token); | 3409 USE(token); |
| 3691 ASSERT(next == token); | 3410 ASSERT(next == token); |
| 3692 } | 3411 } |
| 3693 | 3412 |
| (...skipping 27 matching lines...) Expand all Loading... |
| 3721 if (scanner_.has_line_terminator_before_next() || | 3440 if (scanner_.has_line_terminator_before_next() || |
| 3722 tok == Token::RBRACE || | 3441 tok == Token::RBRACE || |
| 3723 tok == Token::EOS) { | 3442 tok == Token::EOS) { |
| 3724 return; | 3443 return; |
| 3725 } | 3444 } |
| 3726 Expect(Token::SEMICOLON, ok); | 3445 Expect(Token::SEMICOLON, ok); |
| 3727 } | 3446 } |
| 3728 | 3447 |
| 3729 | 3448 |
| 3730 Literal* Parser::GetLiteralUndefined() { | 3449 Literal* Parser::GetLiteralUndefined() { |
| 3731 return NEW(Literal(Factory::undefined_value())); | 3450 return new Literal(Factory::undefined_value()); |
| 3732 } | 3451 } |
| 3733 | 3452 |
| 3734 | 3453 |
| 3735 Literal* Parser::GetLiteralTheHole() { | 3454 Literal* Parser::GetLiteralTheHole() { |
| 3736 return NEW(Literal(Factory::the_hole_value())); | 3455 return new Literal(Factory::the_hole_value()); |
| 3737 } | 3456 } |
| 3738 | 3457 |
| 3739 | 3458 |
| 3740 Literal* Parser::GetLiteralNumber(double value) { | 3459 Literal* Parser::GetLiteralNumber(double value) { |
| 3741 return NewNumberLiteral(value); | 3460 return NewNumberLiteral(value); |
| 3742 } | 3461 } |
| 3743 | 3462 |
| 3744 | 3463 |
| 3745 Handle<String> Parser::ParseIdentifier(bool* ok) { | 3464 Handle<String> Parser::ParseIdentifier(bool* ok) { |
| 3746 Expect(Token::IDENTIFIER, ok); | 3465 Expect(Token::IDENTIFIER, ok); |
| (...skipping 82 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3829 // target stack has been used from the top of the target stack. Add | 3548 // target stack has been used from the top of the target stack. Add |
| 3830 // the break target to any TargetCollectors passed on the stack. | 3549 // the break target to any TargetCollectors passed on the stack. |
| 3831 for (Target* t = target_stack_; t != stop; t = t->previous()) { | 3550 for (Target* t = target_stack_; t != stop; t = t->previous()) { |
| 3832 TargetCollector* collector = t->node()->AsTargetCollector(); | 3551 TargetCollector* collector = t->node()->AsTargetCollector(); |
| 3833 if (collector != NULL) collector->AddTarget(target); | 3552 if (collector != NULL) collector->AddTarget(target); |
| 3834 } | 3553 } |
| 3835 } | 3554 } |
| 3836 | 3555 |
| 3837 | 3556 |
| 3838 Literal* Parser::NewNumberLiteral(double number) { | 3557 Literal* Parser::NewNumberLiteral(double number) { |
| 3839 return NEW(Literal(Factory::NewNumber(number, TENURED))); | 3558 return new Literal(Factory::NewNumber(number, TENURED)); |
| 3840 } | 3559 } |
| 3841 | 3560 |
| 3842 | 3561 |
| 3843 Expression* Parser::NewThrowReferenceError(Handle<String> type) { | 3562 Expression* Parser::NewThrowReferenceError(Handle<String> type) { |
| 3844 return NewThrowError(Factory::MakeReferenceError_symbol(), | 3563 return NewThrowError(Factory::MakeReferenceError_symbol(), |
| 3845 type, HandleVector<Object>(NULL, 0)); | 3564 type, HandleVector<Object>(NULL, 0)); |
| 3846 } | 3565 } |
| 3847 | 3566 |
| 3848 | 3567 |
| 3849 Expression* Parser::NewThrowSyntaxError(Handle<String> type, | 3568 Expression* Parser::NewThrowSyntaxError(Handle<String> type, |
| (...skipping 11 matching lines...) Expand all Loading... |
| 3861 Handle<Object> elements[] = { first, second }; | 3580 Handle<Object> elements[] = { first, second }; |
| 3862 Vector< Handle<Object> > arguments = | 3581 Vector< Handle<Object> > arguments = |
| 3863 HandleVector<Object>(elements, ARRAY_SIZE(elements)); | 3582 HandleVector<Object>(elements, ARRAY_SIZE(elements)); |
| 3864 return NewThrowError(Factory::MakeTypeError_symbol(), type, arguments); | 3583 return NewThrowError(Factory::MakeTypeError_symbol(), type, arguments); |
| 3865 } | 3584 } |
| 3866 | 3585 |
| 3867 | 3586 |
| 3868 Expression* Parser::NewThrowError(Handle<String> constructor, | 3587 Expression* Parser::NewThrowError(Handle<String> constructor, |
| 3869 Handle<String> type, | 3588 Handle<String> type, |
| 3870 Vector< Handle<Object> > arguments) { | 3589 Vector< Handle<Object> > arguments) { |
| 3871 if (is_pre_parsing_) return NULL; | |
| 3872 | |
| 3873 int argc = arguments.length(); | 3590 int argc = arguments.length(); |
| 3874 Handle<JSArray> array = Factory::NewJSArray(argc, TENURED); | 3591 Handle<JSArray> array = Factory::NewJSArray(argc, TENURED); |
| 3875 ASSERT(array->IsJSArray() && array->HasFastElements()); | 3592 ASSERT(array->IsJSArray() && array->HasFastElements()); |
| 3876 for (int i = 0; i < argc; i++) { | 3593 for (int i = 0; i < argc; i++) { |
| 3877 Handle<Object> element = arguments[i]; | 3594 Handle<Object> element = arguments[i]; |
| 3878 if (!element.is_null()) { | 3595 if (!element.is_null()) { |
| 3879 // We know this doesn't cause a GC here because we allocated the JSArray | 3596 // We know this doesn't cause a GC here because we allocated the JSArray |
| 3880 // large enough. | 3597 // large enough. |
| 3881 array->SetFastElement(i, *element)->ToObjectUnchecked(); | 3598 array->SetFastElement(i, *element)->ToObjectUnchecked(); |
| 3882 } | 3599 } |
| (...skipping 167 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4050 return Factory::NewJSArrayWithElements(fast_elements); | 3767 return Factory::NewJSArrayWithElements(fast_elements); |
| 4051 } | 3768 } |
| 4052 | 3769 |
| 4053 // ---------------------------------------------------------------------------- | 3770 // ---------------------------------------------------------------------------- |
| 4054 // Regular expressions | 3771 // Regular expressions |
| 4055 | 3772 |
| 4056 | 3773 |
| 4057 RegExpParser::RegExpParser(FlatStringReader* in, | 3774 RegExpParser::RegExpParser(FlatStringReader* in, |
| 4058 Handle<String>* error, | 3775 Handle<String>* error, |
| 4059 bool multiline) | 3776 bool multiline) |
| 4060 : current_(kEndMarker), | 3777 : error_(error), |
| 3778 captures_(NULL), |
| 3779 in_(in), |
| 3780 current_(kEndMarker), |
| 3781 next_pos_(0), |
| 3782 capture_count_(0), |
| 4061 has_more_(true), | 3783 has_more_(true), |
| 4062 multiline_(multiline), | 3784 multiline_(multiline), |
| 4063 next_pos_(0), | |
| 4064 in_(in), | |
| 4065 error_(error), | |
| 4066 simple_(false), | 3785 simple_(false), |
| 4067 contains_anchor_(false), | 3786 contains_anchor_(false), |
| 4068 captures_(NULL), | |
| 4069 is_scanned_for_captures_(false), | 3787 is_scanned_for_captures_(false), |
| 4070 capture_count_(0), | |
| 4071 failed_(false) { | 3788 failed_(false) { |
| 4072 Advance(1); | 3789 Advance(1); |
| 4073 } | 3790 } |
| 4074 | 3791 |
| 4075 | 3792 |
| 4076 uc32 RegExpParser::Next() { | 3793 uc32 RegExpParser::Next() { |
| 4077 if (has_next()) { | 3794 if (has_next()) { |
| 4078 return in()->Get(next_pos_); | 3795 return in()->Get(next_pos_); |
| 4079 } else { | 3796 } else { |
| 4080 return kEndMarker; | 3797 return kEndMarker; |
| (...skipping 836 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4917 return result; | 4634 return result; |
| 4918 } | 4635 } |
| 4919 | 4636 |
| 4920 | 4637 |
| 4921 // Preparse, but only collect data that is immediately useful, | 4638 // Preparse, but only collect data that is immediately useful, |
| 4922 // even if the preparser data is only used once. | 4639 // even if the preparser data is only used once. |
| 4923 ScriptDataImpl* ParserApi::PartialPreParse(Handle<String> source, | 4640 ScriptDataImpl* ParserApi::PartialPreParse(Handle<String> source, |
| 4924 unibrow::CharacterStream* stream, | 4641 unibrow::CharacterStream* stream, |
| 4925 v8::Extension* extension) { | 4642 v8::Extension* extension) { |
| 4926 Handle<Script> no_script; | 4643 Handle<Script> no_script; |
| 4644 bool allow_lazy = FLAG_lazy && (extension == NULL); |
| 4645 if (!allow_lazy) { |
| 4646 // Partial preparsing is only about lazily compiled functions. |
| 4647 // If we don't allow lazy compilation, the log data will be empty. |
| 4648 return NULL; |
| 4649 } |
| 4927 preparser::PreParser<Scanner, PartialParserRecorder> parser; | 4650 preparser::PreParser<Scanner, PartialParserRecorder> parser; |
| 4928 Scanner scanner; | 4651 Scanner scanner; |
| 4929 scanner.Initialize(source, stream, JAVASCRIPT); | 4652 scanner.Initialize(source, stream, JAVASCRIPT); |
| 4930 bool allow_lazy = FLAG_lazy && (extension == NULL); | |
| 4931 PartialParserRecorder recorder; | 4653 PartialParserRecorder recorder; |
| 4932 if (!parser.PreParseProgram(&scanner, &recorder, allow_lazy)) { | 4654 if (!parser.PreParseProgram(&scanner, &recorder, allow_lazy)) { |
| 4933 Top::StackOverflow(); | 4655 Top::StackOverflow(); |
| 4934 return NULL; | 4656 return NULL; |
| 4935 } | 4657 } |
| 4936 | 4658 |
| 4937 // Extract the accumulated data from the recorder as a single | 4659 // Extract the accumulated data from the recorder as a single |
| 4938 // contiguous vector that we are responsible for disposing. | 4660 // contiguous vector that we are responsible for disposing. |
| 4939 Vector<unsigned> store = recorder.ExtractData(); | 4661 Vector<unsigned> store = recorder.ExtractData(); |
| 4940 return new ScriptDataImpl(store); | 4662 return new ScriptDataImpl(store); |
| (...skipping 40 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4981 } | 4703 } |
| 4982 return !parser.failed(); | 4704 return !parser.failed(); |
| 4983 } | 4705 } |
| 4984 | 4706 |
| 4985 | 4707 |
| 4986 bool ParserApi::Parse(CompilationInfo* info) { | 4708 bool ParserApi::Parse(CompilationInfo* info) { |
| 4987 ASSERT(info->function() == NULL); | 4709 ASSERT(info->function() == NULL); |
| 4988 FunctionLiteral* result = NULL; | 4710 FunctionLiteral* result = NULL; |
| 4989 Handle<Script> script = info->script(); | 4711 Handle<Script> script = info->script(); |
| 4990 if (info->is_lazy()) { | 4712 if (info->is_lazy()) { |
| 4991 AstBuildingParser parser(script, true, NULL, NULL); | 4713 Parser parser(script, true, NULL, NULL); |
| 4992 result = parser.ParseLazy(info->shared_info()); | 4714 result = parser.ParseLazy(info->shared_info()); |
| 4993 } else { | 4715 } else { |
| 4994 bool allow_natives_syntax = | 4716 bool allow_natives_syntax = |
| 4995 FLAG_allow_natives_syntax || Bootstrapper::IsActive(); | 4717 FLAG_allow_natives_syntax || Bootstrapper::IsActive(); |
| 4996 ScriptDataImpl* pre_data = info->pre_parse_data(); | 4718 ScriptDataImpl* pre_data = info->pre_parse_data(); |
| 4997 AstBuildingParser parser(script, allow_natives_syntax, info->extension(), | 4719 Parser parser(script, allow_natives_syntax, info->extension(), pre_data); |
| 4998 pre_data); | |
| 4999 if (pre_data != NULL && pre_data->has_error()) { | 4720 if (pre_data != NULL && pre_data->has_error()) { |
| 5000 Scanner::Location loc = pre_data->MessageLocation(); | 4721 Scanner::Location loc = pre_data->MessageLocation(); |
| 5001 const char* message = pre_data->BuildMessage(); | 4722 const char* message = pre_data->BuildMessage(); |
| 5002 Vector<const char*> args = pre_data->BuildArgs(); | 4723 Vector<const char*> args = pre_data->BuildArgs(); |
| 5003 parser.ReportMessageAt(loc, message, args); | 4724 parser.ReportMessageAt(loc, message, args); |
| 5004 DeleteArray(message); | 4725 DeleteArray(message); |
| 5005 for (int i = 0; i < args.length(); i++) { | 4726 for (int i = 0; i < args.length(); i++) { |
| 5006 DeleteArray(args[i]); | 4727 DeleteArray(args[i]); |
| 5007 } | 4728 } |
| 5008 DeleteArray(args.start()); | 4729 DeleteArray(args.start()); |
| 5009 ASSERT(Top::has_pending_exception()); | 4730 ASSERT(Top::has_pending_exception()); |
| 5010 } else { | 4731 } else { |
| 5011 Handle<String> source = Handle<String>(String::cast(script->source())); | 4732 Handle<String> source = Handle<String>(String::cast(script->source())); |
| 5012 result = parser.ParseProgram(source, info->is_global()); | 4733 result = parser.ParseProgram(source, info->is_global()); |
| 5013 } | 4734 } |
| 5014 } | 4735 } |
| 5015 | 4736 |
| 5016 info->SetFunction(result); | 4737 info->SetFunction(result); |
| 5017 return (result != NULL); | 4738 return (result != NULL); |
| 5018 } | 4739 } |
| 5019 | 4740 |
| 5020 #undef NEW | |
| 5021 | |
| 5022 } } // namespace v8::internal | 4741 } } // namespace v8::internal |
| OLD | NEW |