Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(60)

Side by Side Diff: src/preparser.cc

Issue 905003003: Rename ParseSourceElements in preparser too (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Remove kUnknownSourceElements Created 5 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/preparser.h ('k') | test/mjsunit/strict-mode.js » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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 138 matching lines...) Expand 10 before | Expand all | Expand 10 after
149 // The PreParser checks that the syntax follows the grammar for JavaScript, 149 // The PreParser checks that the syntax follows the grammar for JavaScript,
150 // and collects some information about the program along the way. 150 // and collects some information about the program along the way.
151 // The grammar check is only performed in order to understand the program 151 // The grammar check is only performed in order to understand the program
152 // sufficiently to deduce some information about it, that can be used 152 // sufficiently to deduce some information about it, that can be used
153 // to speed up later parsing. Finding errors is not the goal of pre-parsing, 153 // to speed up later parsing. Finding errors is not the goal of pre-parsing,
154 // rather it is to speed up properly written and correct programs. 154 // rather it is to speed up properly written and correct programs.
155 // That means that contextual checks (like a label being declared where 155 // That means that contextual checks (like a label being declared where
156 // it is used) are generally omitted. 156 // it is used) are generally omitted.
157 157
158 158
159 #define CHECK_OK ok); \ 159 PreParser::Statement PreParser::ParseStatementListItem(bool* ok) {
160 if (!*ok) return kUnknownSourceElements; \
161 ((void)0
162 #define DUMMY ) // to make indentation work
163 #undef DUMMY
164
165
166 PreParser::Statement PreParser::ParseSourceElement(bool* ok) {
167 // ECMA 262 6th Edition 160 // ECMA 262 6th Edition
168 // StatementListItem[Yield, Return] : 161 // StatementListItem[Yield, Return] :
169 // Statement[?Yield, ?Return] 162 // Statement[?Yield, ?Return]
170 // Declaration[?Yield] 163 // Declaration[?Yield]
171 // 164 //
172 // Declaration[Yield] : 165 // Declaration[Yield] :
173 // HoistableDeclaration[?Yield] 166 // HoistableDeclaration[?Yield]
174 // ClassDeclaration[?Yield] 167 // ClassDeclaration[?Yield]
175 // LexicalDeclaration[In, ?Yield] 168 // LexicalDeclaration[In, ?Yield]
176 // 169 //
(...skipping 16 matching lines...) Expand all
193 if (is_strict(language_mode())) { 186 if (is_strict(language_mode())) {
194 return ParseVariableStatement(kSourceElement, ok); 187 return ParseVariableStatement(kSourceElement, ok);
195 } 188 }
196 // Fall through. 189 // Fall through.
197 default: 190 default:
198 return ParseStatement(ok); 191 return ParseStatement(ok);
199 } 192 }
200 } 193 }
201 194
202 195
203 PreParser::SourceElements PreParser::ParseSourceElements(int end_token, 196 void PreParser::ParseStatementList(int end_token, bool* ok) {
204 bool* ok) {
205 // SourceElements :: 197 // SourceElements ::
206 // (Statement)* <end_token> 198 // (Statement)* <end_token>
207 199
208 bool directive_prologue = true; 200 bool directive_prologue = true;
209 while (peek() != end_token) { 201 while (peek() != end_token) {
210 if (directive_prologue && peek() != Token::STRING) { 202 if (directive_prologue && peek() != Token::STRING) {
211 directive_prologue = false; 203 directive_prologue = false;
212 } 204 }
213 Statement statement = ParseSourceElement(CHECK_OK); 205 Statement statement = ParseStatementListItem(ok);
206 if (!*ok) return;
214 if (directive_prologue) { 207 if (directive_prologue) {
215 if (statement.IsUseStrictLiteral()) { 208 if (statement.IsUseStrictLiteral()) {
216 scope_->SetLanguageMode( 209 scope_->SetLanguageMode(
217 static_cast<LanguageMode>(scope_->language_mode() | STRICT_BIT)); 210 static_cast<LanguageMode>(scope_->language_mode() | STRICT_BIT));
218 } else if (statement.IsUseStrongLiteral() && allow_strong_mode()) { 211 } else if (statement.IsUseStrongLiteral() && allow_strong_mode()) {
219 scope_->SetLanguageMode(static_cast<LanguageMode>( 212 scope_->SetLanguageMode(static_cast<LanguageMode>(
220 scope_->language_mode() | STRICT_BIT | STRONG_BIT)); 213 scope_->language_mode() | STRICT_BIT | STRONG_BIT));
221 } else if (!statement.IsStringLiteral()) { 214 } else if (!statement.IsStringLiteral()) {
222 directive_prologue = false; 215 directive_prologue = false;
223 } 216 }
224 } 217 }
225 } 218 }
226 return kUnknownSourceElements;
227 } 219 }
228 220
229 221
230 #undef CHECK_OK
231 #define CHECK_OK ok); \ 222 #define CHECK_OK ok); \
232 if (!*ok) return Statement::Default(); \ 223 if (!*ok) return Statement::Default(); \
233 ((void)0 224 ((void)0
234 #define DUMMY ) // to make indentation work 225 #define DUMMY ) // to make indentation work
235 #undef DUMMY 226 #undef DUMMY
236 227
237 228
238 PreParser::Statement PreParser::ParseStatement(bool* ok) { 229 PreParser::Statement PreParser::ParseStatement(bool* ok) {
239 // Statement :: 230 // Statement ::
240 // Block 231 // Block
(...skipping 139 matching lines...) Expand 10 before | Expand all | Expand 10 after
380 PreParser::Statement PreParser::ParseBlock(bool* ok) { 371 PreParser::Statement PreParser::ParseBlock(bool* ok) {
381 // Block :: 372 // Block ::
382 // '{' Statement* '}' 373 // '{' Statement* '}'
383 374
384 // Note that a Block does not introduce a new execution scope! 375 // Note that a Block does not introduce a new execution scope!
385 // (ECMA-262, 3rd, 12.2) 376 // (ECMA-262, 3rd, 12.2)
386 // 377 //
387 Expect(Token::LBRACE, CHECK_OK); 378 Expect(Token::LBRACE, CHECK_OK);
388 while (peek() != Token::RBRACE) { 379 while (peek() != Token::RBRACE) {
389 if (allow_harmony_scoping() && is_strict(language_mode())) { 380 if (allow_harmony_scoping() && is_strict(language_mode())) {
390 ParseSourceElement(CHECK_OK); 381 ParseStatementListItem(CHECK_OK);
391 } else { 382 } else {
392 ParseStatement(CHECK_OK); 383 ParseStatement(CHECK_OK);
393 } 384 }
394 } 385 }
395 Expect(Token::RBRACE, ok); 386 Expect(Token::RBRACE, ok);
396 return Statement::Default(); 387 return Statement::Default();
397 } 388 }
398 389
399 390
400 PreParser::Statement PreParser::ParseVariableStatement( 391 PreParser::Statement PreParser::ParseVariableStatement(
(...skipping 524 matching lines...) Expand 10 before | Expand all | Expand 10 after
925 // See Parser::ParseFunctionLiteral for more information about lazy parsing 916 // See Parser::ParseFunctionLiteral for more information about lazy parsing
926 // and lazy compilation. 917 // and lazy compilation.
927 bool is_lazily_parsed = (outer_scope_type == SCRIPT_SCOPE && allow_lazy() && 918 bool is_lazily_parsed = (outer_scope_type == SCRIPT_SCOPE && allow_lazy() &&
928 !parenthesized_function_); 919 !parenthesized_function_);
929 parenthesized_function_ = false; 920 parenthesized_function_ = false;
930 921
931 Expect(Token::LBRACE, CHECK_OK); 922 Expect(Token::LBRACE, CHECK_OK);
932 if (is_lazily_parsed) { 923 if (is_lazily_parsed) {
933 ParseLazyFunctionLiteralBody(CHECK_OK); 924 ParseLazyFunctionLiteralBody(CHECK_OK);
934 } else { 925 } else {
935 ParseSourceElements(Token::RBRACE, ok); 926 ParseStatementList(Token::RBRACE, CHECK_OK);
936 } 927 }
937 Expect(Token::RBRACE, CHECK_OK); 928 Expect(Token::RBRACE, CHECK_OK);
938 929
939 // Validate name and parameter names. We can do this only after parsing the 930 // Validate name and parameter names. We can do this only after parsing the
940 // function, since the function can declare itself strict. 931 // function, since the function can declare itself strict.
941 CheckFunctionName(language_mode(), kind, function_name, 932 CheckFunctionName(language_mode(), kind, function_name,
942 name_is_strict_reserved, function_name_location, CHECK_OK); 933 name_is_strict_reserved, function_name_location, CHECK_OK);
943 const bool use_strict_params = is_rest || IsConciseMethod(kind); 934 const bool use_strict_params = is_rest || IsConciseMethod(kind);
944 CheckFunctionParameterNames(language_mode(), use_strict_params, 935 CheckFunctionParameterNames(language_mode(), use_strict_params,
945 eval_args_error_loc, dupe_error_loc, 936 eval_args_error_loc, dupe_error_loc,
946 reserved_error_loc, CHECK_OK); 937 reserved_error_loc, CHECK_OK);
947 938
948 if (is_strict(language_mode())) { 939 if (is_strict(language_mode())) {
949 int end_position = scanner()->location().end_pos; 940 int end_position = scanner()->location().end_pos;
950 CheckStrictOctalLiteral(start_position, end_position, CHECK_OK); 941 CheckStrictOctalLiteral(start_position, end_position, CHECK_OK);
951 } 942 }
952 943
953 return Expression::Default(); 944 return Expression::Default();
954 } 945 }
955 946
956 947
957 void PreParser::ParseLazyFunctionLiteralBody(bool* ok) { 948 void PreParser::ParseLazyFunctionLiteralBody(bool* ok) {
958 int body_start = position(); 949 int body_start = position();
959 ParseSourceElements(Token::RBRACE, ok); 950 ParseStatementList(Token::RBRACE, ok);
960 if (!*ok) return; 951 if (!*ok) return;
961 952
962 // Position right after terminal '}'. 953 // Position right after terminal '}'.
963 DCHECK_EQ(Token::RBRACE, scanner()->peek()); 954 DCHECK_EQ(Token::RBRACE, scanner()->peek());
964 int body_end = scanner()->peek_location().end_pos; 955 int body_end = scanner()->peek_location().end_pos;
965 log_->LogFunction( 956 log_->LogFunction(
966 body_start, body_end, function_state_->materialized_literal_count(), 957 body_start, body_end, function_state_->materialized_literal_count(),
967 function_state_->expected_property_count(), language_mode()); 958 function_state_->expected_property_count(), language_mode());
968 } 959 }
969 960
(...skipping 56 matching lines...) Expand 10 before | Expand all | Expand 10 after
1026 ParseIdentifier(kAllowEvalOrArguments, CHECK_OK); 1017 ParseIdentifier(kAllowEvalOrArguments, CHECK_OK);
1027 ParseArguments(ok); 1018 ParseArguments(ok);
1028 1019
1029 return Expression::Default(); 1020 return Expression::Default();
1030 } 1021 }
1031 1022
1032 #undef CHECK_OK 1023 #undef CHECK_OK
1033 1024
1034 1025
1035 } } // v8::internal 1026 } } // v8::internal
OLDNEW
« no previous file with comments | « src/preparser.h ('k') | test/mjsunit/strict-mode.js » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698