OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #ifndef V8_PARSER_H_ | 5 #ifndef V8_PARSER_H_ |
6 #define V8_PARSER_H_ | 6 #define V8_PARSER_H_ |
7 | 7 |
8 #include "src/allocation.h" | 8 #include "src/allocation.h" |
9 #include "src/ast.h" | 9 #include "src/ast.h" |
10 #include "src/compiler.h" // For CachedDataMode | 10 #include "src/compiler.h" // For CachedDataMode |
(...skipping 355 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
366 typedef Yield* YieldExpression; | 366 typedef Yield* YieldExpression; |
367 typedef v8::internal::FunctionLiteral* FunctionLiteral; | 367 typedef v8::internal::FunctionLiteral* FunctionLiteral; |
368 typedef v8::internal::ClassLiteral* ClassLiteral; | 368 typedef v8::internal::ClassLiteral* ClassLiteral; |
369 typedef v8::internal::Literal* Literal; | 369 typedef v8::internal::Literal* Literal; |
370 typedef ObjectLiteral::Property* ObjectLiteralProperty; | 370 typedef ObjectLiteral::Property* ObjectLiteralProperty; |
371 typedef ZoneList<v8::internal::Expression*>* ExpressionList; | 371 typedef ZoneList<v8::internal::Expression*>* ExpressionList; |
372 typedef ZoneList<ObjectLiteral::Property*>* PropertyList; | 372 typedef ZoneList<ObjectLiteral::Property*>* PropertyList; |
373 typedef ZoneList<v8::internal::Statement*>* StatementList; | 373 typedef ZoneList<v8::internal::Statement*>* StatementList; |
374 | 374 |
375 // For constructing objects returned by the traversing functions. | 375 // For constructing objects returned by the traversing functions. |
376 typedef AstNodeFactory<AstConstructionVisitor> Factory; | 376 typedef AstNodeFactory Factory; |
377 }; | 377 }; |
378 | 378 |
379 explicit ParserTraits(Parser* parser) : parser_(parser) {} | 379 explicit ParserTraits(Parser* parser) : parser_(parser) {} |
380 | 380 |
381 // Helper functions for recursive descent. | 381 // Helper functions for recursive descent. |
382 bool IsEvalOrArguments(const AstRawString* identifier) const; | 382 bool IsEvalOrArguments(const AstRawString* identifier) const; |
383 V8_INLINE bool IsFutureStrictReserved(const AstRawString* identifier) const; | 383 V8_INLINE bool IsFutureStrictReserved(const AstRawString* identifier) const; |
384 | 384 |
385 // Returns true if the expression is of type "this.foo". | 385 // Returns true if the expression is of type "this.foo". |
386 static bool IsThisProperty(Expression* expression); | 386 static bool IsThisProperty(Expression* expression); |
(...skipping 57 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
444 // forwards the information to scope. | 444 // forwards the information to scope. |
445 void CheckPossibleEvalCall(Expression* expression, Scope* scope); | 445 void CheckPossibleEvalCall(Expression* expression, Scope* scope); |
446 | 446 |
447 // Determine if the expression is a variable proxy and mark it as being used | 447 // Determine if the expression is a variable proxy and mark it as being used |
448 // in an assignment or with a increment/decrement operator. | 448 // in an assignment or with a increment/decrement operator. |
449 static Expression* MarkExpressionAsAssigned(Expression* expression); | 449 static Expression* MarkExpressionAsAssigned(Expression* expression); |
450 | 450 |
451 // Returns true if we have a binary expression between two numeric | 451 // Returns true if we have a binary expression between two numeric |
452 // literals. In that case, *x will be changed to an expression which is the | 452 // literals. In that case, *x will be changed to an expression which is the |
453 // computed value. | 453 // computed value. |
454 bool ShortcutNumericLiteralBinaryExpression( | 454 bool ShortcutNumericLiteralBinaryExpression(Expression** x, Expression* y, |
455 Expression** x, Expression* y, Token::Value op, int pos, | 455 Token::Value op, int pos, |
456 AstNodeFactory<AstConstructionVisitor>* factory); | 456 AstNodeFactory* factory); |
457 | 457 |
458 // Rewrites the following types of unary expressions: | 458 // Rewrites the following types of unary expressions: |
459 // not <literal> -> true / false | 459 // not <literal> -> true / false |
460 // + <numeric literal> -> <numeric literal> | 460 // + <numeric literal> -> <numeric literal> |
461 // - <numeric literal> -> <numeric literal with value negated> | 461 // - <numeric literal> -> <numeric literal with value negated> |
462 // ! <literal> -> true / false | 462 // ! <literal> -> true / false |
463 // The following rewriting rules enable the collection of type feedback | 463 // The following rewriting rules enable the collection of type feedback |
464 // without any special stub and the multiplication is removed later in | 464 // without any special stub and the multiplication is removed later in |
465 // Crankshaft's canonicalization pass. | 465 // Crankshaft's canonicalization pass. |
466 // + foo -> foo * 1 | 466 // + foo -> foo * 1 |
467 // - foo -> foo * (-1) | 467 // - foo -> foo * (-1) |
468 // ~ foo -> foo ^(~0) | 468 // ~ foo -> foo ^(~0) |
469 Expression* BuildUnaryExpression( | 469 Expression* BuildUnaryExpression(Expression* expression, Token::Value op, |
470 Expression* expression, Token::Value op, int pos, | 470 int pos, AstNodeFactory* factory); |
471 AstNodeFactory<AstConstructionVisitor>* factory); | |
472 | 471 |
473 // Generate AST node that throws a ReferenceError with the given type. | 472 // Generate AST node that throws a ReferenceError with the given type. |
474 Expression* NewThrowReferenceError(const char* type, int pos); | 473 Expression* NewThrowReferenceError(const char* type, int pos); |
475 | 474 |
476 // Generate AST node that throws a SyntaxError with the given | 475 // Generate AST node that throws a SyntaxError with the given |
477 // type. The first argument may be null (in the handle sense) in | 476 // type. The first argument may be null (in the handle sense) in |
478 // which case no arguments are passed to the constructor. | 477 // which case no arguments are passed to the constructor. |
479 Expression* NewThrowSyntaxError( | 478 Expression* NewThrowSyntaxError( |
480 const char* type, const AstRawString* arg, int pos); | 479 const char* type, const AstRawString* arg, int pos); |
481 | 480 |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
521 | 520 |
522 // Used in error return values. | 521 // Used in error return values. |
523 static ZoneList<Expression*>* NullExpressionList() { | 522 static ZoneList<Expression*>* NullExpressionList() { |
524 return NULL; | 523 return NULL; |
525 } | 524 } |
526 | 525 |
527 // Non-NULL empty string. | 526 // Non-NULL empty string. |
528 V8_INLINE const AstRawString* EmptyIdentifierString(); | 527 V8_INLINE const AstRawString* EmptyIdentifierString(); |
529 | 528 |
530 // Odd-ball literal creators. | 529 // Odd-ball literal creators. |
531 Literal* GetLiteralTheHole(int position, | 530 Literal* GetLiteralTheHole(int position, AstNodeFactory* factory); |
532 AstNodeFactory<AstConstructionVisitor>* factory); | |
533 | 531 |
534 // Producing data during the recursive descent. | 532 // Producing data during the recursive descent. |
535 const AstRawString* GetSymbol(Scanner* scanner); | 533 const AstRawString* GetSymbol(Scanner* scanner); |
536 const AstRawString* GetNextSymbol(Scanner* scanner); | 534 const AstRawString* GetNextSymbol(Scanner* scanner); |
537 const AstRawString* GetNumberAsSymbol(Scanner* scanner); | 535 const AstRawString* GetNumberAsSymbol(Scanner* scanner); |
538 | 536 |
539 Expression* ThisExpression(Scope* scope, | 537 Expression* ThisExpression(Scope* scope, AstNodeFactory* factory, |
540 AstNodeFactory<AstConstructionVisitor>* factory, | |
541 int pos = RelocInfo::kNoPosition); | 538 int pos = RelocInfo::kNoPosition); |
542 Expression* SuperReference(Scope* scope, | 539 Expression* SuperReference(Scope* scope, AstNodeFactory* factory, |
543 AstNodeFactory<AstConstructionVisitor>* factory, | |
544 int pos = RelocInfo::kNoPosition); | 540 int pos = RelocInfo::kNoPosition); |
545 Expression* ClassExpression(const AstRawString* name, Expression* extends, | 541 Expression* ClassExpression(const AstRawString* name, Expression* extends, |
546 Expression* constructor, | 542 Expression* constructor, |
547 ZoneList<ObjectLiteral::Property*>* properties, | 543 ZoneList<ObjectLiteral::Property*>* properties, |
548 int start_position, int end_position, | 544 int start_position, int end_position, |
549 AstNodeFactory<AstConstructionVisitor>* factory); | 545 AstNodeFactory* factory); |
550 | 546 |
551 Literal* ExpressionFromLiteral( | 547 Literal* ExpressionFromLiteral(Token::Value token, int pos, Scanner* scanner, |
552 Token::Value token, int pos, Scanner* scanner, | 548 AstNodeFactory* factory); |
553 AstNodeFactory<AstConstructionVisitor>* factory); | 549 Expression* ExpressionFromIdentifier(const AstRawString* name, int pos, |
554 Expression* ExpressionFromIdentifier( | 550 Scope* scope, AstNodeFactory* factory); |
555 const AstRawString* name, int pos, Scope* scope, | 551 Expression* ExpressionFromString(int pos, Scanner* scanner, |
556 AstNodeFactory<AstConstructionVisitor>* factory); | 552 AstNodeFactory* factory); |
557 Expression* ExpressionFromString( | 553 Expression* GetIterator(Expression* iterable, AstNodeFactory* factory); |
558 int pos, Scanner* scanner, | |
559 AstNodeFactory<AstConstructionVisitor>* factory); | |
560 Expression* GetIterator(Expression* iterable, | |
561 AstNodeFactory<AstConstructionVisitor>* factory); | |
562 ZoneList<v8::internal::Expression*>* NewExpressionList(int size, Zone* zone) { | 554 ZoneList<v8::internal::Expression*>* NewExpressionList(int size, Zone* zone) { |
563 return new(zone) ZoneList<v8::internal::Expression*>(size, zone); | 555 return new(zone) ZoneList<v8::internal::Expression*>(size, zone); |
564 } | 556 } |
565 ZoneList<ObjectLiteral::Property*>* NewPropertyList(int size, Zone* zone) { | 557 ZoneList<ObjectLiteral::Property*>* NewPropertyList(int size, Zone* zone) { |
566 return new(zone) ZoneList<ObjectLiteral::Property*>(size, zone); | 558 return new(zone) ZoneList<ObjectLiteral::Property*>(size, zone); |
567 } | 559 } |
568 ZoneList<v8::internal::Statement*>* NewStatementList(int size, Zone* zone) { | 560 ZoneList<v8::internal::Statement*>* NewStatementList(int size, Zone* zone) { |
569 return new(zone) ZoneList<v8::internal::Statement*>(size, zone); | 561 return new(zone) ZoneList<v8::internal::Statement*>(size, zone); |
570 } | 562 } |
571 V8_INLINE Scope* NewScope(Scope* parent_scope, ScopeType scope_type); | 563 V8_INLINE Scope* NewScope(Scope* parent_scope, ScopeType scope_type); |
(...skipping 347 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
919 private: | 911 private: |
920 static const int kLiteralTypeSlot = 0; | 912 static const int kLiteralTypeSlot = 0; |
921 static const int kElementsSlot = 1; | 913 static const int kElementsSlot = 1; |
922 | 914 |
923 DISALLOW_IMPLICIT_CONSTRUCTORS(CompileTimeValue); | 915 DISALLOW_IMPLICIT_CONSTRUCTORS(CompileTimeValue); |
924 }; | 916 }; |
925 | 917 |
926 } } // namespace v8::internal | 918 } } // namespace v8::internal |
927 | 919 |
928 #endif // V8_PARSER_H_ | 920 #endif // V8_PARSER_H_ |
OLD | NEW |