OLD | NEW |
1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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 #include <cmath> | 5 #include <cmath> |
6 | 6 |
7 #include "src/allocation.h" | 7 #include "src/allocation.h" |
8 #include "src/base/logging.h" | 8 #include "src/base/logging.h" |
9 #include "src/conversions-inl.h" | 9 #include "src/conversions-inl.h" |
10 #include "src/conversions.h" | 10 #include "src/conversions.h" |
(...skipping 67 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
78 if (track_unresolved_variables_) { | 78 if (track_unresolved_variables_) { |
79 const AstRawString* result = scanner()->CurrentSymbol(ast_value_factory()); | 79 const AstRawString* result = scanner()->CurrentSymbol(ast_value_factory()); |
80 DCHECK_NOT_NULL(result); | 80 DCHECK_NOT_NULL(result); |
81 symbol.string_ = result; | 81 symbol.string_ = result; |
82 } | 82 } |
83 return symbol; | 83 return symbol; |
84 } | 84 } |
85 | 85 |
86 PreParser::PreParseResult PreParser::PreParseFunction( | 86 PreParser::PreParseResult PreParser::PreParseFunction( |
87 FunctionKind kind, DeclarationScope* function_scope, bool parsing_module, | 87 FunctionKind kind, DeclarationScope* function_scope, bool parsing_module, |
88 SingletonLogger* log, bool is_inner_function, bool may_abort, | 88 bool is_inner_function, bool may_abort, int* use_counts) { |
89 int* use_counts) { | |
90 DCHECK_EQ(FUNCTION_SCOPE, function_scope->scope_type()); | 89 DCHECK_EQ(FUNCTION_SCOPE, function_scope->scope_type()); |
91 parsing_module_ = parsing_module; | 90 parsing_module_ = parsing_module; |
92 log_ = log; | |
93 use_counts_ = use_counts; | 91 use_counts_ = use_counts; |
94 DCHECK(!track_unresolved_variables_); | 92 DCHECK(!track_unresolved_variables_); |
95 track_unresolved_variables_ = is_inner_function; | 93 track_unresolved_variables_ = is_inner_function; |
96 | 94 |
97 // The caller passes the function_scope which is not yet inserted into the | 95 // The caller passes the function_scope which is not yet inserted into the |
98 // scope_state_. All scopes above the function_scope are ignored by the | 96 // scope_state_. All scopes above the function_scope are ignored by the |
99 // PreParser. | 97 // PreParser. |
100 DCHECK_NULL(scope_state_); | 98 DCHECK_NULL(scope_state_); |
101 FunctionState function_state(&function_state_, &scope_state_, function_scope); | 99 FunctionState function_state(&function_state_, &scope_state_, function_scope); |
102 // This indirection is needed so that we can use the CHECK_OK macros. | 100 // This indirection is needed so that we can use the CHECK_OK macros. |
(...skipping 26 matching lines...) Expand all Loading... |
129 LazyParsingResult result = ParseStatementListAndLogFunction( | 127 LazyParsingResult result = ParseStatementListAndLogFunction( |
130 function_scope->start_position(), &formals, has_duplicate_parameters, | 128 function_scope->start_position(), &formals, has_duplicate_parameters, |
131 may_abort, ok); | 129 may_abort, ok); |
132 use_counts_ = nullptr; | 130 use_counts_ = nullptr; |
133 track_unresolved_variables_ = false; | 131 track_unresolved_variables_ = false; |
134 if (result == kLazyParsingAborted) { | 132 if (result == kLazyParsingAborted) { |
135 return kPreParseAbort; | 133 return kPreParseAbort; |
136 } else if (stack_overflow()) { | 134 } else if (stack_overflow()) { |
137 return kPreParseStackOverflow; | 135 return kPreParseStackOverflow; |
138 } else if (!*ok) { | 136 } else if (!*ok) { |
139 DCHECK(log->has_error()); | 137 DCHECK(log_.has_error()); |
140 } else { | 138 } else { |
141 DCHECK_EQ(Token::RBRACE, scanner()->peek()); | 139 DCHECK_EQ(Token::RBRACE, scanner()->peek()); |
142 | 140 |
143 if (!IsArrowFunction(kind)) { | 141 if (!IsArrowFunction(kind)) { |
144 // Validate parameter names. We can do this only after parsing the | 142 // Validate parameter names. We can do this only after parsing the |
145 // function, since the function can declare itself strict. | 143 // function, since the function can declare itself strict. |
146 const bool allow_duplicate_parameters = | 144 const bool allow_duplicate_parameters = |
147 is_sloppy(function_scope->language_mode()) && formals.is_simple && | 145 is_sloppy(function_scope->language_mode()) && formals.is_simple && |
148 !IsConciseMethod(kind); | 146 !IsConciseMethod(kind); |
149 ValidateFormalParameters(function_scope->language_mode(), | 147 ValidateFormalParameters(function_scope->language_mode(), |
(...skipping 90 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
240 PreParserStatementList body; | 238 PreParserStatementList body; |
241 LazyParsingResult result = ParseStatementList( | 239 LazyParsingResult result = ParseStatementList( |
242 body, Token::RBRACE, may_abort, CHECK_OK_VALUE(kLazyParsingComplete)); | 240 body, Token::RBRACE, may_abort, CHECK_OK_VALUE(kLazyParsingComplete)); |
243 if (result == kLazyParsingAborted) return result; | 241 if (result == kLazyParsingAborted) return result; |
244 | 242 |
245 // Position right after terminal '}'. | 243 // Position right after terminal '}'. |
246 DCHECK_EQ(Token::RBRACE, scanner()->peek()); | 244 DCHECK_EQ(Token::RBRACE, scanner()->peek()); |
247 int body_end = scanner()->peek_location().end_pos; | 245 int body_end = scanner()->peek_location().end_pos; |
248 DeclarationScope* scope = this->scope()->AsDeclarationScope(); | 246 DeclarationScope* scope = this->scope()->AsDeclarationScope(); |
249 DCHECK(scope->is_function_scope()); | 247 DCHECK(scope->is_function_scope()); |
250 log_->LogFunction(start_position, body_end, formals->num_parameters(), | 248 log_.LogFunction(start_position, body_end, formals->num_parameters(), |
251 formals->function_length, has_duplicate_parameters, | 249 formals->function_length, has_duplicate_parameters, |
252 function_state_->materialized_literal_count(), | 250 function_state_->materialized_literal_count(), |
253 function_state_->expected_property_count(), language_mode(), | 251 function_state_->expected_property_count(), language_mode(), |
254 scope->uses_super_property(), scope->calls_eval()); | 252 scope->uses_super_property(), scope->calls_eval()); |
255 return kLazyParsingComplete; | 253 return kLazyParsingComplete; |
256 } | 254 } |
257 | 255 |
258 PreParserExpression PreParser::ExpressionFromIdentifier( | 256 PreParserExpression PreParser::ExpressionFromIdentifier( |
259 PreParserIdentifier name, int start_position, InferName infer) { | 257 PreParserIdentifier name, int start_position, InferName infer) { |
260 if (track_unresolved_variables_) { | 258 if (track_unresolved_variables_) { |
261 AstNodeFactory factory(ast_value_factory()); | 259 AstNodeFactory factory(ast_value_factory()); |
262 // Setting the Zone is necessary because zone_ might be the temp Zone, and | 260 // Setting the Zone is necessary because zone_ might be the temp Zone, and |
263 // AstValueFactory doesn't know about it. | 261 // AstValueFactory doesn't know about it. |
264 factory.set_zone(zone()); | 262 factory.set_zone(zone()); |
(...skipping 29 matching lines...) Expand all Loading... |
294 } | 292 } |
295 } | 293 } |
296 } | 294 } |
297 | 295 |
298 #undef CHECK_OK | 296 #undef CHECK_OK |
299 #undef CHECK_OK_CUSTOM | 297 #undef CHECK_OK_CUSTOM |
300 | 298 |
301 | 299 |
302 } // namespace internal | 300 } // namespace internal |
303 } // namespace v8 | 301 } // namespace v8 |
OLD | NEW |