Commit b9810ba0 authored by adamk's avatar adamk Committed by Commit bot

Revert of Refactor object/class literal property name parsing (patchset #7...

Revert of Refactor object/class literal property name parsing (patchset #7 id:120001 of https://codereview.chromium.org/2278153004/ )

Reason for revert:
Fails to reject "{*foo: 1}" as an object literal, found
by the fuzzer:

https://build.chromium.org/p/client.v8/builders/V8%20Fuzzer/builds/12315/steps/Fuzz%20on%20Ubuntu-12.04/logs/stdio

Original issue's description:
> Refactor object/class literal property name parsing
>
> This patch arranges that property names are parsed in a single pass,
> reporting the name as well as the type of the property, instead of
> parsing qualifiers like 'static' or 'get' initially as names and then
> re-parsing. This change is easier to reason about, very slightly (4%)
> faster in some cases (although slower in other, less common ones, though
> this slowdown will be fixed in an upcoming patch), and is a prerequisite
> for separating the parsing of object and class literal properties, which
> will become increasingly important as ECMAScript adds more class features.
>
> Committed: https://crrev.com/6dd26c729584024e17a05a2a76b319d4aecdc138
> Cr-Commit-Position: refs/heads/master@{#39027}

TBR=littledan@chromium.org,marja@chromium.org,bakkot@google.com
# Skipping CQ checks because original CL landed less than 1 days ago.
NOPRESUBMIT=true
NOTREECHECKS=true
NOTRY=true

Review-Url: https://codereview.chromium.org/2295743003
Cr-Commit-Position: refs/heads/master@{#39029}
parent 03f3da45
...@@ -1074,24 +1074,13 @@ class ParserBase { ...@@ -1074,24 +1074,13 @@ class ParserBase {
ExpressionT ParseExpression(bool accept_IN, ExpressionClassifier* classifier, ExpressionT ParseExpression(bool accept_IN, ExpressionClassifier* classifier,
bool* ok); bool* ok);
ExpressionT ParseArrayLiteral(ExpressionClassifier* classifier, bool* ok); ExpressionT ParseArrayLiteral(ExpressionClassifier* classifier, bool* ok);
ExpressionT ParsePropertyName(IdentifierT* name, bool* is_get, bool* is_set,
enum class PropertyKind {
kAccessorProperty,
kValueProperty,
kShorthandProperty,
kMethodProperty
};
bool SetPropertyKindFromToken(Token::Value token, PropertyKind* kind);
ExpressionT ParsePropertyName(IdentifierT* name, PropertyKind* kind,
bool in_class, bool* is_generator, bool* is_get,
bool* is_set, bool* is_async, bool* is_static,
bool* is_computed_name, bool* is_computed_name,
ExpressionClassifier* classifier, bool* ok); ExpressionClassifier* classifier, bool* ok);
ExpressionT ParseObjectLiteral(ExpressionClassifier* classifier, bool* ok); ExpressionT ParseObjectLiteral(ExpressionClassifier* classifier, bool* ok);
ObjectLiteralPropertyT ParsePropertyDefinition( ObjectLiteralPropertyT ParsePropertyDefinition(
ObjectLiteralCheckerBase* checker, bool in_class, bool has_extends, ObjectLiteralCheckerBase* checker, bool in_class, bool has_extends,
bool* is_computed_name, bool* has_seen_constructor, MethodKind kind, bool* is_computed_name, bool* has_seen_constructor,
ExpressionClassifier* classifier, IdentifierT* name, bool* ok); ExpressionClassifier* classifier, IdentifierT* name, bool* ok);
typename Types::ExpressionList ParseArguments( typename Types::ExpressionList ParseArguments(
Scanner::Location* first_spread_pos, bool maybe_arrow, Scanner::Location* first_spread_pos, bool maybe_arrow,
...@@ -1190,6 +1179,13 @@ class ParserBase { ...@@ -1190,6 +1179,13 @@ class ParserBase {
return Call::NOT_EVAL; return Call::NOT_EVAL;
} }
// Used to validate property names in object literals and class literals
enum PropertyKind {
kAccessorProperty,
kValueProperty,
kMethodProperty
};
class ObjectLiteralCheckerBase { class ObjectLiteralCheckerBase {
public: public:
explicit ObjectLiteralCheckerBase(ParserBase* parser) : parser_(parser) {} explicit ObjectLiteralCheckerBase(ParserBase* parser) : parser_(parser) {}
...@@ -1865,87 +1861,13 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParseArrayLiteral( ...@@ -1865,87 +1861,13 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParseArrayLiteral(
return result; return result;
} }
template <class Impl>
bool ParserBase<Impl>::SetPropertyKindFromToken(Token::Value token,
PropertyKind* kind) {
switch (token) {
case Token::COLON:
*kind = PropertyKind::kValueProperty;
return true;
case Token::COMMA:
case Token::RBRACE:
case Token::ASSIGN:
*kind = PropertyKind::kShorthandProperty;
return true;
case Token::LPAREN:
*kind = PropertyKind::kMethodProperty;
return true;
default:
break;
}
return false;
}
template <class Impl> template <class Impl>
typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParsePropertyName( typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParsePropertyName(
IdentifierT* name, PropertyKind* kind, bool in_class, bool* is_generator, IdentifierT* name, bool* is_get, bool* is_set, bool* is_computed_name,
bool* is_get, bool* is_set, bool* is_async, bool* is_static, ExpressionClassifier* classifier, bool* ok) {
bool* is_computed_name, ExpressionClassifier* classifier, bool* ok) {
*is_generator = Check(Token::MUL);
Token::Value token = peek(); Token::Value token = peek();
int pos = peek_position(); int pos = peek_position();
if (in_class && !*is_generator && token == Token::STATIC) {
Consume(Token::STATIC);
*kind = PropertyKind::kMethodProperty;
if (peek() == Token::LPAREN) {
*name = impl()->GetSymbol(); // TODO(bakkot) specialize on 'static'
return factory()->NewStringLiteral(*name, pos);
}
*is_generator = Check(Token::MUL);
*is_static = true;
token = peek();
pos = peek_position();
}
if (allow_harmony_async_await() && !*is_generator && token == Token::ASYNC &&
!scanner()->HasAnyLineTerminatorAfterNext()) {
Consume(Token::ASYNC);
token = peek();
if (SetPropertyKindFromToken(token, kind)) {
*name = impl()->GetSymbol(); // TODO(bakkot) specialize on 'async'
if (fni_ != nullptr) {
impl()->PushLiteralName(fni_, *name);
}
return factory()->NewStringLiteral(*name, pos);
}
*kind = PropertyKind::kMethodProperty;
*is_async = true;
pos = peek_position();
}
if (token == Token::IDENTIFIER && !*is_generator && !*is_async) {
Consume(Token::IDENTIFIER);
token = peek();
if (SetPropertyKindFromToken(token, kind)) {
*name = impl()->GetSymbol();
if (fni_ != nullptr) {
impl()->PushLiteralName(fni_, *name);
}
return factory()->NewStringLiteral(*name, pos);
}
scanner()->IsGetOrSet(is_get, is_set);
if (!*is_get && !*is_set) { // TODO(bakkot) have IsGetOrSet return a bool
Token::Value next = Next();
ReportUnexpectedToken(next);
*ok = false;
return impl()->EmptyExpression();
}
*kind = PropertyKind::kAccessorProperty;
pos = peek_position();
}
// For non computed property names we normalize the name a bit: // For non computed property names we normalize the name a bit:
// //
// "12" -> 12 // "12" -> 12
...@@ -1955,7 +1877,6 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParsePropertyName( ...@@ -1955,7 +1877,6 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParsePropertyName(
// //
// This is important because we use the property name as a key in a hash // This is important because we use the property name as a key in a hash
// table when we compute constant properties. // table when we compute constant properties.
ExpressionT expression;
switch (token) { switch (token) {
case Token::STRING: case Token::STRING:
Consume(Token::STRING); Consume(Token::STRING);
...@@ -1973,44 +1894,24 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParsePropertyName( ...@@ -1973,44 +1894,24 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParsePropertyName(
break; break;
case Token::LBRACK: { case Token::LBRACK: {
*name = impl()->EmptyIdentifier();
*is_computed_name = true; *is_computed_name = true;
Consume(Token::LBRACK); Consume(Token::LBRACK);
ExpressionClassifier computed_name_classifier(this); ExpressionClassifier computed_name_classifier(this);
expression = ExpressionT expression =
ParseAssignmentExpression(true, &computed_name_classifier, CHECK_OK); ParseAssignmentExpression(true, &computed_name_classifier, CHECK_OK);
impl()->RewriteNonPattern(&computed_name_classifier, CHECK_OK); impl()->RewriteNonPattern(&computed_name_classifier, CHECK_OK);
classifier->AccumulateFormalParameterContainmentErrors( classifier->AccumulateFormalParameterContainmentErrors(
&computed_name_classifier); &computed_name_classifier);
Expect(Token::RBRACK, CHECK_OK); Expect(Token::RBRACK, CHECK_OK);
break; return expression;
} }
default: default:
*name = ParseIdentifierName(CHECK_OK); *name = ParseIdentifierName(CHECK_OK);
scanner()->IsGetOrSet(is_get, is_set);
break; break;
} }
if (*kind == PropertyKind::kValueProperty) {
if (!SetPropertyKindFromToken(peek(), kind) ||
(*kind == PropertyKind::kShorthandProperty &&
!Token::IsIdentifier(token, language_mode(), this->is_generator(),
parsing_module_ || is_async_function()))) {
Token::Value next = Next();
ReportUnexpectedToken(next);
*ok = false;
return impl()->EmptyExpression();
}
}
if (*is_computed_name) {
return expression;
}
if (fni_ != nullptr) {
impl()->PushLiteralName(fni_, *name);
}
uint32_t index; uint32_t index;
return impl()->IsArrayIndex(*name, &index) return impl()->IsArrayIndex(*name, &index)
? factory()->NewNumberLiteral(index, pos) ? factory()->NewNumberLiteral(index, pos)
...@@ -2019,43 +1920,46 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParsePropertyName( ...@@ -2019,43 +1920,46 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParsePropertyName(
template <typename Impl> template <typename Impl>
typename ParserBase<Impl>::ObjectLiteralPropertyT typename ParserBase<Impl>::ObjectLiteralPropertyT
ParserBase<Impl>::ParsePropertyDefinition(ObjectLiteralCheckerBase* checker, ParserBase<Impl>::ParsePropertyDefinition(
bool in_class, bool has_extends, ObjectLiteralCheckerBase* checker, bool in_class, bool has_extends,
bool* is_computed_name, MethodKind method_kind, bool* is_computed_name, bool* has_seen_constructor,
bool* has_seen_constructor, ExpressionClassifier* classifier, IdentifierT* name, bool* ok) {
ExpressionClassifier* classifier, DCHECK(!in_class || IsStaticMethod(method_kind) ||
IdentifierT* name, bool* ok) { has_seen_constructor != nullptr);
DCHECK(!in_class || has_seen_constructor != nullptr);
bool is_get = false; bool is_get = false;
bool is_set = false; bool is_set = false;
bool is_generator = false; bool is_generator = Check(Token::MUL);
bool is_async = false; bool is_async = false;
bool is_static = false; const bool is_static = IsStaticMethod(method_kind);
PropertyKind kind = PropertyKind::kValueProperty;
Token::Value name_token = peek(); Token::Value name_token = peek();
if (is_generator) {
method_kind |= MethodKind::kGenerator;
} else if (allow_harmony_async_await() && name_token == Token::ASYNC &&
!scanner()->HasAnyLineTerminatorAfterNext() &&
PeekAhead() != Token::LPAREN && PeekAhead()) {
is_async = true;
}
int next_beg_pos = scanner()->peek_location().beg_pos; int next_beg_pos = scanner()->peek_location().beg_pos;
int next_end_pos = scanner()->peek_location().end_pos; int next_end_pos = scanner()->peek_location().end_pos;
ExpressionT name_expression = ExpressionT name_expression =
ParsePropertyName(name, &kind, in_class, &is_generator, &is_get, &is_set, ParsePropertyName(name, &is_get, &is_set, is_computed_name, classifier,
&is_async, &is_static, is_computed_name, classifier,
CHECK_OK_CUSTOM(EmptyObjectLiteralProperty)); CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
switch (kind) { if (fni_ != nullptr && !*is_computed_name) {
case PropertyKind::kValueProperty: { impl()->PushLiteralName(fni_, *name);
if (in_class) { }
Token::Value next = Next();
ReportUnexpectedToken(next);
*ok = false;
return impl()->EmptyObjectLiteralProperty();
}
DCHECK(!is_get && !is_set && !is_generator && !is_async && !is_static);
if (!in_class && !is_generator) {
DCHECK(!IsStaticMethod(method_kind));
if (peek() == Token::COLON) {
// PropertyDefinition
// PropertyName ':' AssignmentExpression
if (!*is_computed_name) { if (!*is_computed_name) {
checker->CheckProperty(name_token, PropertyKind::kValueProperty, checker->CheckProperty(name_token, kValueProperty, MethodKind::kNormal,
MethodKind::kNormal, classifier, classifier,
CHECK_OK_CUSTOM(EmptyObjectLiteralProperty)); CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
} }
Consume(Token::COLON); Consume(Token::COLON);
...@@ -2069,23 +1973,16 @@ ParserBase<Impl>::ParsePropertyDefinition(ObjectLiteralCheckerBase* checker, ...@@ -2069,23 +1973,16 @@ ParserBase<Impl>::ParsePropertyDefinition(ObjectLiteralCheckerBase* checker,
is_static, *is_computed_name); is_static, *is_computed_name);
} }
case PropertyKind::kShorthandProperty: { if (Token::IsIdentifier(name_token, language_mode(), this->is_generator(),
parsing_module_ || is_async_function()) &&
(peek() == Token::COMMA || peek() == Token::RBRACE ||
peek() == Token::ASSIGN)) {
// PropertyDefinition // PropertyDefinition
// IdentifierReference // IdentifierReference
// CoverInitializedName // CoverInitializedName
// //
// CoverInitializedName // CoverInitializedName
// IdentifierReference Initializer? // IdentifierReference Initializer?
if (in_class) {
Token::Value next = Next();
ReportUnexpectedToken(next);
*ok = false;
return impl()->EmptyObjectLiteralProperty();
}
DCHECK(!is_get && !is_set && !is_generator && !is_async && !is_static &&
!*is_computed_name);
if (classifier->duplicate_finder() != nullptr && if (classifier->duplicate_finder() != nullptr &&
scanner()->FindSymbol(classifier->duplicate_finder(), 1) != 0) { scanner()->FindSymbol(classifier->duplicate_finder(), 1) != 0) {
classifier->RecordDuplicateFormalParameterError(scanner()->location()); classifier->RecordDuplicateFormalParameterError(scanner()->location());
...@@ -2134,96 +2031,107 @@ ParserBase<Impl>::ParsePropertyDefinition(ObjectLiteralCheckerBase* checker, ...@@ -2134,96 +2031,107 @@ ParserBase<Impl>::ParsePropertyDefinition(ObjectLiteralCheckerBase* checker,
name_expression, value, ObjectLiteralProperty::COMPUTED, is_static, name_expression, value, ObjectLiteralProperty::COMPUTED, is_static,
false); false);
} }
}
case PropertyKind::kMethodProperty: { // Method definitions are never valid in patterns.
DCHECK(!is_get && !is_set); classifier->RecordPatternError(
Scanner::Location(next_beg_pos, scanner()->location().end_pos),
MethodKind method_kind = MethodKind::kNormal; MessageTemplate::kInvalidDestructuringTarget);
if (is_generator) {
method_kind |= MethodKind::kGenerator;
}
if (is_async) {
method_kind |= MethodKind::kAsync;
}
if (is_static) {
method_kind |= MethodKind::kStatic;
}
// MethodDefinition
// PropertyName '(' StrictFormalParameters ')' '{' FunctionBody '}'
// '*' PropertyName '(' StrictFormalParameters ')' '{' FunctionBody '}'
classifier->RecordPatternError( if (is_async && !IsSpecialMethod(method_kind)) {
Scanner::Location(next_beg_pos, scanner()->location().end_pos), DCHECK(!is_get);
MessageTemplate::kInvalidDestructuringTarget); DCHECK(!is_set);
bool dont_care;
name_expression = ParsePropertyName(
name, &dont_care, &dont_care, is_computed_name, classifier,
CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
method_kind |= MethodKind::kAsync;
}
if (!*is_computed_name) { if (is_generator || peek() == Token::LPAREN) {
checker->CheckProperty(name_token, PropertyKind::kMethodProperty, // MethodDefinition
method_kind, classifier, // PropertyName '(' StrictFormalParameters ')' '{' FunctionBody '}'
CHECK_OK_CUSTOM(EmptyObjectLiteralProperty)); // '*' PropertyName '(' StrictFormalParameters ')' '{' FunctionBody '}'
} if (!*is_computed_name) {
checker->CheckProperty(name_token, kMethodProperty, method_kind,
classifier,
CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
}
FunctionKind kind = is_generator FunctionKind kind = is_generator
? FunctionKind::kConciseGeneratorMethod ? FunctionKind::kConciseGeneratorMethod
: is_async ? FunctionKind::kAsyncConciseMethod : is_async ? FunctionKind::kAsyncConciseMethod
: FunctionKind::kConciseMethod; : FunctionKind::kConciseMethod;
if (in_class && !is_static && impl()->IsConstructor(*name)) { if (in_class && !IsStaticMethod(method_kind) &&
*has_seen_constructor = true; impl()->IsConstructor(*name)) {
kind = has_extends ? FunctionKind::kSubclassConstructor *has_seen_constructor = true;
: FunctionKind::kBaseConstructor; kind = has_extends ? FunctionKind::kSubclassConstructor
} : FunctionKind::kBaseConstructor;
}
ExpressionT value = impl()->ParseFunctionLiteral( ExpressionT value = impl()->ParseFunctionLiteral(
*name, scanner()->location(), kSkipFunctionNameCheck, kind, *name, scanner()->location(), kSkipFunctionNameCheck, kind,
kNoSourcePosition, FunctionLiteral::kAccessorOrMethod, kNoSourcePosition, FunctionLiteral::kAccessorOrMethod, language_mode(),
language_mode(), CHECK_OK_CUSTOM(EmptyObjectLiteralProperty)); CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
return factory()->NewObjectLiteralProperty( return factory()->NewObjectLiteralProperty(name_expression, value,
name_expression, value, ObjectLiteralProperty::COMPUTED, is_static, ObjectLiteralProperty::COMPUTED,
*is_computed_name); is_static, *is_computed_name);
} }
case PropertyKind::kAccessorProperty: { if (in_class && name_token == Token::STATIC && IsNormalMethod(method_kind)) {
DCHECK((is_get || is_set) && !is_generator && !is_async); // ClassElement (static)
// 'static' MethodDefinition
*name = impl()->EmptyIdentifier();
ObjectLiteralPropertyT property = ParsePropertyDefinition(
checker, true, has_extends, MethodKind::kStatic, is_computed_name,
nullptr, classifier, name, ok);
impl()->RewriteNonPattern(classifier, ok);
return property;
}
MethodKind method_kind = MethodKind::kNormal; if (is_get || is_set) {
if (is_static) { // MethodDefinition (Accessors)
DCHECK(in_class); // get PropertyName '(' ')' '{' FunctionBody '}'
method_kind |= MethodKind::kStatic; // set PropertyName '(' PropertySetParameterList ')' '{' FunctionBody '}'
} *name = impl()->EmptyIdentifier();
bool dont_care = false;
name_token = peek();
classifier->RecordPatternError( name_expression = ParsePropertyName(
Scanner::Location(next_beg_pos, scanner()->location().end_pos), name, &dont_care, &dont_care, is_computed_name, classifier,
MessageTemplate::kInvalidDestructuringTarget); CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
if (!*is_computed_name) {
checker->CheckProperty(name_token, PropertyKind::kAccessorProperty,
method_kind, classifier,
CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
}
typename Types::FunctionLiteral value = impl()->ParseFunctionLiteral( if (!*is_computed_name) {
*name, scanner()->location(), kSkipFunctionNameCheck, checker->CheckProperty(name_token, kAccessorProperty, method_kind,
is_get ? FunctionKind::kGetterFunction classifier,
: FunctionKind::kSetterFunction, CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
kNoSourcePosition, FunctionLiteral::kAccessorOrMethod, }
language_mode(), CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
// Make sure the name expression is a string since we need a Name for FunctionLiteralT value = impl()->ParseFunctionLiteral(
// Runtime_DefineAccessorPropertyUnchecked and since we can determine this *name, scanner()->location(), kSkipFunctionNameCheck,
// statically we can skip the extra runtime check. is_get ? FunctionKind::kGetterFunction : FunctionKind::kSetterFunction,
if (!*is_computed_name) { kNoSourcePosition, FunctionLiteral::kAccessorOrMethod, language_mode(),
name_expression = CHECK_OK_CUSTOM(EmptyObjectLiteralProperty));
factory()->NewStringLiteral(*name, name_expression->position());
}
return factory()->NewObjectLiteralProperty( // Make sure the name expression is a string since we need a Name for
name_expression, value, is_get ? ObjectLiteralProperty::GETTER // Runtime_DefineAccessorPropertyUnchecked and since we can determine this
: ObjectLiteralProperty::SETTER, // statically we can skip the extra runtime check.
is_static, *is_computed_name); if (!*is_computed_name) {
name_expression =
factory()->NewStringLiteral(*name, name_expression->position());
} }
return factory()->NewObjectLiteralProperty(
name_expression, value,
is_get ? ObjectLiteralProperty::GETTER : ObjectLiteralProperty::SETTER,
is_static, *is_computed_name);
} }
UNREACHABLE();
Token::Value next = Next();
ReportUnexpectedToken(next);
*ok = false;
return impl()->EmptyObjectLiteralProperty(); return impl()->EmptyObjectLiteralProperty();
} }
...@@ -2249,8 +2157,8 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParseObjectLiteral( ...@@ -2249,8 +2157,8 @@ typename ParserBase<Impl>::ExpressionT ParserBase<Impl>::ParseObjectLiteral(
bool is_computed_name = false; bool is_computed_name = false;
IdentifierT name = impl()->EmptyIdentifier(); IdentifierT name = impl()->EmptyIdentifier();
ObjectLiteralPropertyT property = ParsePropertyDefinition( ObjectLiteralPropertyT property = ParsePropertyDefinition(
&checker, in_class, has_extends, &is_computed_name, nullptr, classifier, &checker, in_class, has_extends, MethodKind::kNormal, &is_computed_name,
&name, CHECK_OK); NULL, classifier, &name, CHECK_OK);
if (is_computed_name) { if (is_computed_name) {
has_computed_names = true; has_computed_names = true;
...@@ -3740,12 +3648,11 @@ void ParserBase<Impl>::ObjectLiteralChecker::CheckProperty( ...@@ -3740,12 +3648,11 @@ void ParserBase<Impl>::ObjectLiteralChecker::CheckProperty(
Token::Value property, PropertyKind type, MethodKind method_type, Token::Value property, PropertyKind type, MethodKind method_type,
ExpressionClassifier* classifier, bool* ok) { ExpressionClassifier* classifier, bool* ok) {
DCHECK(!IsStaticMethod(method_type)); DCHECK(!IsStaticMethod(method_type));
DCHECK(!IsSpecialMethod(method_type) || DCHECK(!IsSpecialMethod(method_type) || type == kMethodProperty);
type == PropertyKind::kMethodProperty);
if (property == Token::SMI || property == Token::NUMBER) return; if (property == Token::SMI || property == Token::NUMBER) return;
if (type == PropertyKind::kValueProperty && IsProto()) { if (type == kValueProperty && IsProto()) {
if (has_seen_proto_) { if (has_seen_proto_) {
classifier->RecordExpressionError(this->scanner()->location(), classifier->RecordExpressionError(this->scanner()->location(),
MessageTemplate::kDuplicateProto); MessageTemplate::kDuplicateProto);
...@@ -3759,8 +3666,7 @@ template <typename Impl> ...@@ -3759,8 +3666,7 @@ template <typename Impl>
void ParserBase<Impl>::ClassLiteralChecker::CheckProperty( void ParserBase<Impl>::ClassLiteralChecker::CheckProperty(
Token::Value property, PropertyKind type, MethodKind method_type, Token::Value property, PropertyKind type, MethodKind method_type,
ExpressionClassifier* classifier, bool* ok) { ExpressionClassifier* classifier, bool* ok) {
DCHECK(type == PropertyKind::kMethodProperty || DCHECK(type == kMethodProperty || type == kAccessorProperty);
type == PropertyKind::kAccessorProperty);
if (property == Token::SMI || property == Token::NUMBER) return; if (property == Token::SMI || property == Token::NUMBER) return;
...@@ -3773,7 +3679,7 @@ void ParserBase<Impl>::ClassLiteralChecker::CheckProperty( ...@@ -3773,7 +3679,7 @@ void ParserBase<Impl>::ClassLiteralChecker::CheckProperty(
} else if (IsConstructor()) { } else if (IsConstructor()) {
const bool is_generator = IsGeneratorMethod(method_type); const bool is_generator = IsGeneratorMethod(method_type);
const bool is_async = IsAsyncMethod(method_type); const bool is_async = IsAsyncMethod(method_type);
if (is_generator || is_async || type == PropertyKind::kAccessorProperty) { if (is_generator || is_async || type == kAccessorProperty) {
MessageTemplate::Template msg = MessageTemplate::Template msg =
is_generator ? MessageTemplate::kConstructorIsGenerator is_generator ? MessageTemplate::kConstructorIsGenerator
: is_async ? MessageTemplate::kConstructorIsAsync : is_async ? MessageTemplate::kConstructorIsAsync
......
...@@ -4717,7 +4717,7 @@ Expression* Parser::ParseClassLiteral(ExpressionClassifier* classifier, ...@@ -4717,7 +4717,7 @@ Expression* Parser::ParseClassLiteral(ExpressionClassifier* classifier,
ExpressionClassifier property_classifier(this); ExpressionClassifier property_classifier(this);
const AstRawString* property_name = nullptr; const AstRawString* property_name = nullptr;
ObjectLiteral::Property* property = ParsePropertyDefinition( ObjectLiteral::Property* property = ParsePropertyDefinition(
&checker, in_class, has_extends, &is_computed_name, &checker, in_class, has_extends, MethodKind::kNormal, &is_computed_name,
&has_seen_constructor, &property_classifier, &property_name, CHECK_OK); &has_seen_constructor, &property_classifier, &property_name, CHECK_OK);
RewriteNonPattern(&property_classifier, CHECK_OK); RewriteNonPattern(&property_classifier, CHECK_OK);
if (classifier != nullptr) { if (classifier != nullptr) {
......
...@@ -1184,9 +1184,9 @@ PreParserExpression PreParser::ParseClassLiteral( ...@@ -1184,9 +1184,9 @@ PreParserExpression PreParser::ParseClassLiteral(
// property names here. // property names here.
Identifier name; Identifier name;
ExpressionClassifier property_classifier(this); ExpressionClassifier property_classifier(this);
ParsePropertyDefinition(&checker, in_class, has_extends, &is_computed_name, ParsePropertyDefinition(
&has_seen_constructor, &property_classifier, &name, &checker, in_class, has_extends, MethodKind::kNormal, &is_computed_name,
CHECK_OK); &has_seen_constructor, &property_classifier, &name, CHECK_OK);
ValidateExpression(&property_classifier, CHECK_OK); ValidateExpression(&property_classifier, CHECK_OK);
if (classifier != nullptr) { if (classifier != nullptr) {
classifier->AccumulateFormalParameterContainmentErrors( classifier->AccumulateFormalParameterContainmentErrors(
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment