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_PARSING_PARSER_H_ | 5 #ifndef V8_PARSING_PARSER_H_ |
6 #define V8_PARSING_PARSER_H_ | 6 #define V8_PARSING_PARSER_H_ |
7 | 7 |
8 #include "src/ast/ast.h" | 8 #include "src/ast/ast.h" |
9 #include "src/ast/scopes.h" | 9 #include "src/ast/scopes.h" |
10 #include "src/parsing/parser-base.h" | 10 #include "src/parsing/parser-base.h" |
(...skipping 141 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
152 typedef Yield* YieldExpression; | 152 typedef Yield* YieldExpression; |
153 typedef v8::internal::FunctionLiteral* FunctionLiteral; | 153 typedef v8::internal::FunctionLiteral* FunctionLiteral; |
154 typedef v8::internal::ClassLiteral* ClassLiteral; | 154 typedef v8::internal::ClassLiteral* ClassLiteral; |
155 typedef v8::internal::Literal* Literal; | 155 typedef v8::internal::Literal* Literal; |
156 typedef ObjectLiteral::Property* ObjectLiteralProperty; | 156 typedef ObjectLiteral::Property* ObjectLiteralProperty; |
157 typedef ZoneList<v8::internal::Expression*>* ExpressionList; | 157 typedef ZoneList<v8::internal::Expression*>* ExpressionList; |
158 typedef ZoneList<ObjectLiteral::Property*>* PropertyList; | 158 typedef ZoneList<ObjectLiteral::Property*>* PropertyList; |
159 typedef ParserFormalParameters::Parameter FormalParameter; | 159 typedef ParserFormalParameters::Parameter FormalParameter; |
160 typedef ParserFormalParameters FormalParameters; | 160 typedef ParserFormalParameters FormalParameters; |
161 typedef ZoneList<v8::internal::Statement*>* StatementList; | 161 typedef ZoneList<v8::internal::Statement*>* StatementList; |
| 162 typedef v8::internal::Block* Block; |
162 | 163 |
163 // For constructing objects returned by the traversing functions. | 164 // For constructing objects returned by the traversing functions. |
164 typedef AstNodeFactory Factory; | 165 typedef AstNodeFactory Factory; |
165 }; | 166 }; |
166 | 167 |
167 class Parser : public ParserBase<Parser> { | 168 class Parser : public ParserBase<Parser> { |
168 public: | 169 public: |
169 explicit Parser(ParseInfo* info); | 170 explicit Parser(ParseInfo* info); |
170 ~Parser() { | 171 ~Parser() { |
171 delete reusable_preparser_; | 172 delete reusable_preparser_; |
(...skipping 116 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
288 Statement* ParseAsyncFunctionDeclaration(ZoneList<const AstRawString*>* names, | 289 Statement* ParseAsyncFunctionDeclaration(ZoneList<const AstRawString*>* names, |
289 bool default_export, bool* ok); | 290 bool default_export, bool* ok); |
290 Expression* ParseAsyncFunctionExpression(bool* ok); | 291 Expression* ParseAsyncFunctionExpression(bool* ok); |
291 Statement* ParseClassDeclaration(ZoneList<const AstRawString*>* names, | 292 Statement* ParseClassDeclaration(ZoneList<const AstRawString*>* names, |
292 bool default_export, bool* ok); | 293 bool default_export, bool* ok); |
293 Statement* ParseNativeDeclaration(bool* ok); | 294 Statement* ParseNativeDeclaration(bool* ok); |
294 Block* ParseBlock(ZoneList<const AstRawString*>* labels, bool* ok); | 295 Block* ParseBlock(ZoneList<const AstRawString*>* labels, bool* ok); |
295 Block* BuildInitializationBlock(DeclarationParsingResult* parsing_result, | 296 Block* BuildInitializationBlock(DeclarationParsingResult* parsing_result, |
296 ZoneList<const AstRawString*>* names, | 297 ZoneList<const AstRawString*>* names, |
297 bool* ok); | 298 bool* ok); |
| 299 void DeclareAndInitializeVariables( |
| 300 Block* block, const DeclarationDescriptor* declaration_descriptor, |
| 301 const DeclarationParsingResult::Declaration* declaration, |
| 302 ZoneList<const AstRawString*>* names, bool* ok); |
298 | 303 |
299 Block* ParseVariableStatement(VariableDeclarationContext var_context, | 304 Block* ParseVariableStatement(VariableDeclarationContext var_context, |
300 ZoneList<const AstRawString*>* names, | 305 ZoneList<const AstRawString*>* names, |
301 bool* ok); | 306 bool* ok); |
302 DoExpression* ParseDoExpression(bool* ok); | 307 DoExpression* ParseDoExpression(bool* ok); |
303 Expression* ParseYieldStarExpression(bool* ok); | 308 Expression* ParseYieldStarExpression(bool* ok); |
304 | 309 |
305 class PatternRewriter final : public AstVisitor<PatternRewriter> { | 310 class PatternRewriter final : public AstVisitor<PatternRewriter> { |
306 public: | 311 public: |
307 static void DeclareAndInitializeVariables( | 312 static void DeclareAndInitializeVariables( |
(...skipping 68 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
376 Block* block_; | 381 Block* block_; |
377 const DeclarationDescriptor* descriptor_; | 382 const DeclarationDescriptor* descriptor_; |
378 ZoneList<const AstRawString*>* names_; | 383 ZoneList<const AstRawString*>* names_; |
379 Expression* current_value_; | 384 Expression* current_value_; |
380 int recursion_level_; | 385 int recursion_level_; |
381 bool* ok_; | 386 bool* ok_; |
382 | 387 |
383 DEFINE_AST_VISITOR_MEMBERS_WITHOUT_STACKOVERFLOW() | 388 DEFINE_AST_VISITOR_MEMBERS_WITHOUT_STACKOVERFLOW() |
384 }; | 389 }; |
385 | 390 |
386 Block* ParseVariableDeclarations(VariableDeclarationContext var_context, | |
387 DeclarationParsingResult* parsing_result, | |
388 ZoneList<const AstRawString*>* names, | |
389 bool* ok); | |
390 Statement* ParseExpressionOrLabelledStatement( | 391 Statement* ParseExpressionOrLabelledStatement( |
391 ZoneList<const AstRawString*>* labels, | 392 ZoneList<const AstRawString*>* labels, |
392 AllowLabelledFunctionStatement allow_function, bool* ok); | 393 AllowLabelledFunctionStatement allow_function, bool* ok); |
393 IfStatement* ParseIfStatement(ZoneList<const AstRawString*>* labels, | 394 IfStatement* ParseIfStatement(ZoneList<const AstRawString*>* labels, |
394 bool* ok); | 395 bool* ok); |
395 Statement* ParseContinueStatement(bool* ok); | 396 Statement* ParseContinueStatement(bool* ok); |
396 Statement* ParseBreakStatement(ZoneList<const AstRawString*>* labels, | 397 Statement* ParseBreakStatement(ZoneList<const AstRawString*>* labels, |
397 bool* ok); | 398 bool* ok); |
398 Statement* ParseReturnStatement(bool* ok); | 399 Statement* ParseReturnStatement(bool* ok); |
399 Statement* ParseWithStatement(ZoneList<const AstRawString*>* labels, | 400 Statement* ParseWithStatement(ZoneList<const AstRawString*>* labels, |
(...skipping 312 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
712 return property->value(); | 713 return property->value(); |
713 } | 714 } |
714 | 715 |
715 // Functions for encapsulating the differences between parsing and preparsing; | 716 // Functions for encapsulating the differences between parsing and preparsing; |
716 // operations interleaved with the recursive descent. | 717 // operations interleaved with the recursive descent. |
717 V8_INLINE static void PushLiteralName(FuncNameInferrer* fni, | 718 V8_INLINE static void PushLiteralName(FuncNameInferrer* fni, |
718 const AstRawString* id) { | 719 const AstRawString* id) { |
719 fni->PushLiteralName(id); | 720 fni->PushLiteralName(id); |
720 } | 721 } |
721 | 722 |
| 723 V8_INLINE static void PushVariableName(FuncNameInferrer* fni, |
| 724 const AstRawString* id) { |
| 725 fni->PushVariableName(id); |
| 726 } |
| 727 |
722 V8_INLINE void PushPropertyName(FuncNameInferrer* fni, | 728 V8_INLINE void PushPropertyName(FuncNameInferrer* fni, |
723 Expression* expression) { | 729 Expression* expression) { |
724 if (expression->IsPropertyName()) { | 730 if (expression->IsPropertyName()) { |
725 fni->PushLiteralName(expression->AsLiteral()->AsRawPropertyName()); | 731 fni->PushLiteralName(expression->AsLiteral()->AsRawPropertyName()); |
726 } else { | 732 } else { |
727 fni->PushLiteralName(ast_value_factory()->anonymous_function_string()); | 733 fni->PushLiteralName(ast_value_factory()->anonymous_function_string()); |
728 } | 734 } |
729 } | 735 } |
730 | 736 |
731 V8_INLINE static void InferFunctionName(FuncNameInferrer* fni, | 737 V8_INLINE static void InferFunctionName(FuncNameInferrer* fni, |
(...skipping 99 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
831 } | 837 } |
832 | 838 |
833 // "null" return type creators. | 839 // "null" return type creators. |
834 V8_INLINE static const AstRawString* EmptyIdentifier() { return nullptr; } | 840 V8_INLINE static const AstRawString* EmptyIdentifier() { return nullptr; } |
835 V8_INLINE static Expression* EmptyExpression() { return nullptr; } | 841 V8_INLINE static Expression* EmptyExpression() { return nullptr; } |
836 V8_INLINE static Literal* EmptyLiteral() { return nullptr; } | 842 V8_INLINE static Literal* EmptyLiteral() { return nullptr; } |
837 V8_INLINE static ObjectLiteralProperty* EmptyObjectLiteralProperty() { | 843 V8_INLINE static ObjectLiteralProperty* EmptyObjectLiteralProperty() { |
838 return nullptr; | 844 return nullptr; |
839 } | 845 } |
840 V8_INLINE static FunctionLiteral* EmptyFunctionLiteral() { return nullptr; } | 846 V8_INLINE static FunctionLiteral* EmptyFunctionLiteral() { return nullptr; } |
| 847 V8_INLINE static Block* NullBlock() { return nullptr; } |
841 | 848 |
842 V8_INLINE static bool IsEmptyExpression(Expression* expr) { | 849 V8_INLINE static bool IsEmptyExpression(Expression* expr) { |
843 return expr == nullptr; | 850 return expr == nullptr; |
844 } | 851 } |
845 | 852 |
846 // Used in error return values. | 853 // Used in error return values. |
847 V8_INLINE static ZoneList<Expression*>* NullExpressionList() { | 854 V8_INLINE static ZoneList<Expression*>* NullExpressionList() { |
848 return nullptr; | 855 return nullptr; |
849 } | 856 } |
850 V8_INLINE static ZoneList<Statement*>* NullStatementList() { return nullptr; } | 857 V8_INLINE static ZoneList<Statement*>* NullStatementList() { return nullptr; } |
(...skipping 57 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
908 return new (zone()) ZoneList<Expression*>(size, zone()); | 915 return new (zone()) ZoneList<Expression*>(size, zone()); |
909 } | 916 } |
910 V8_INLINE ZoneList<ObjectLiteral::Property*>* NewPropertyList( | 917 V8_INLINE ZoneList<ObjectLiteral::Property*>* NewPropertyList( |
911 int size) const { | 918 int size) const { |
912 return new (zone()) ZoneList<ObjectLiteral::Property*>(size, zone()); | 919 return new (zone()) ZoneList<ObjectLiteral::Property*>(size, zone()); |
913 } | 920 } |
914 V8_INLINE ZoneList<Statement*>* NewStatementList(int size) const { | 921 V8_INLINE ZoneList<Statement*>* NewStatementList(int size) const { |
915 return new (zone()) ZoneList<Statement*>(size, zone()); | 922 return new (zone()) ZoneList<Statement*>(size, zone()); |
916 } | 923 } |
917 | 924 |
| 925 V8_INLINE Block* NewBlock(ZoneList<const AstRawString*>* labels, int capacity, |
| 926 bool ignore_completion_value, int pos) { |
| 927 return factory()->NewBlock(labels, capacity, ignore_completion_value, pos); |
| 928 } |
| 929 |
918 V8_INLINE void AddParameterInitializationBlock( | 930 V8_INLINE void AddParameterInitializationBlock( |
919 const ParserFormalParameters& parameters, ZoneList<Statement*>* body, | 931 const ParserFormalParameters& parameters, ZoneList<Statement*>* body, |
920 bool is_async, bool* ok) { | 932 bool is_async, bool* ok) { |
921 if (parameters.is_simple) return; | 933 if (parameters.is_simple) return; |
922 auto* init_block = BuildParameterInitializationBlock(parameters, ok); | 934 auto* init_block = BuildParameterInitializationBlock(parameters, ok); |
923 if (!*ok) return; | 935 if (!*ok) return; |
924 if (is_async) { | 936 if (is_async) { |
925 init_block = BuildRejectPromiseOnException(init_block, ok); | 937 init_block = BuildRejectPromiseOnException(init_block, ok); |
926 if (!*ok) return; | 938 if (!*ok) return; |
927 } | 939 } |
(...skipping 121 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1049 static const int kLiteralTypeSlot = 0; | 1061 static const int kLiteralTypeSlot = 0; |
1050 static const int kElementsSlot = 1; | 1062 static const int kElementsSlot = 1; |
1051 | 1063 |
1052 DISALLOW_IMPLICIT_CONSTRUCTORS(CompileTimeValue); | 1064 DISALLOW_IMPLICIT_CONSTRUCTORS(CompileTimeValue); |
1053 }; | 1065 }; |
1054 | 1066 |
1055 } // namespace internal | 1067 } // namespace internal |
1056 } // namespace v8 | 1068 } // namespace v8 |
1057 | 1069 |
1058 #endif // V8_PARSING_PARSER_H_ | 1070 #endif // V8_PARSING_PARSER_H_ |
OLD | NEW |