languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-16 01:59:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add support for prefixed nullable type

Browse source 
This adds support for nullable types of the form

<identifier> '.' <identifier> '?'

and

<identifier> '.' <identifier> '?' 'Function' '(' ...

This is an increment CL in the ongoing effort to add nullable type support
as outlined in https://github.com/dart-lang/language/issues/110

Change-Id: I526aecbe64bacbd442cea0b4c52d36ff23b0443b
Reviewed-on: https://dart-review.googlesource.com/c/87083
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Dan Rubel <danrubel@google.com>
This commit is contained in:
danrubel 2018-12-13 23:24:04 +00:00 committed by commit-bot@chromium.org
parent b9463d0719
commit 7720689931
4 changed files with 92 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
pkg/analyzer/test/generated/parser_test.dart
View file

@ -1987,6 +1987,35 @@ mixin ComplexParserTestMixin implements AbstractParserTestCase {
BinaryExpression, expression.condition);
}
void test_conditionalExpression_prefixedValue() {
ExpressionStatement statement = parseStatement('a.b ? y : z;');
ConditionalExpression expression = statement.expression;
EngineTestCase.assertInstanceOf((obj) => obj is PrefixedIdentifier,
PrefixedIdentifier, expression.condition);
}
void test_conditionalExpression_prefixedValue2() {
ExpressionStatement statement = parseStatement('a.b ? x.y : z;');
ConditionalExpression expression = statement.expression;
EngineTestCase.assertInstanceOf((obj) => obj is PrefixedIdentifier,
PrefixedIdentifier, expression.condition);
EngineTestCase.assertInstanceOf((obj) => obj is PrefixedIdentifier,
PrefixedIdentifier, expression.thenExpression);
}
void test_conditionalExpression_precedence_prefixedNullableType_as() {
Expression expression = parseExpression('x as p.A ? (x + y) : z');
expect(expression, isNotNull);
expect(expression, new TypeMatcher<ConditionalExpression>());
ConditionalExpression conditional = expression;
Expression condition = conditional.condition;
expect(condition, new TypeMatcher<AsExpression>());
Expression thenExpression = conditional.thenExpression;
expect(thenExpression, new TypeMatcher<ParenthesizedExpression>());
Expression elseExpression = conditional.elseExpression;
expect(elseExpression, new TypeMatcher<SimpleIdentifier>());
}
void test_conditionalExpression_precedence_nullableType_as() {
Expression expression = parseExpression('x as String ? (x + y) : z');
expect(expression, isNotNull);

32
pkg/front_end/lib/src/fasta/parser/type_info.dart
View file

@ -12,7 +12,7 @@ import 'parser.dart' show Parser;
import 'type_info_impl.dart';
import 'util.dart' show isOneOf, isOneOfOrEof, optional;
import 'util.dart' show isOneOf, optional;
/// [TypeInfo] provides information collected by [computeType]
/// about a particular type reference.
@ -231,14 +231,23 @@ TypeInfo computeType(final Token token, bool required,
// We've seen identifier `.` identifier
typeParamOrArg = computeTypeParamOrArg(next, inDeclaration);
next = next.next;
if (typeParamOrArg == noTypeParamOrArg &&
!isGeneralizedFunctionType(next)) {
if (required || looksLikeName(next)) {
// identifier `.` identifier identifier
return prefixedType;
} else {
// identifier `.` identifier non-identifier
return noType;
if (typeParamOrArg == noTypeParamOrArg) {
if (optional('?', next)) {
next = next.next;
// identifier `.` identifier `?`
if (!required &&
!looksLikeVarName(next) &&
!isGeneralizedFunctionType(next)) {
return noType;
}
} else if (!isGeneralizedFunctionType(next)) {
if (required || looksLikeName(next)) {
// identifier `.` identifier identifier
return prefixedType;
} else {
// identifier `.` identifier non-identifier
return noType;
}
}
}
// identifier `.` identifier
@ -267,10 +276,7 @@ TypeInfo computeType(final Token token, bool required,
// identifier `?` Function `(`
return new ComplexTypeInfo(token, noTypeParamOrArg)
.computeIdentifierQuestionGFT(required);
} else if (required ||
(looksLikeName(next) &&
isOneOfOrEof(
next.next, const [';', ',', '=', '>', '>=', '>>', '>>>']))) {
} else if (required || looksLikeVarName(next)) {
// identifier `?`
return simpleNullableType;
}

11
pkg/front_end/lib/src/fasta/parser/type_info_impl.dart
View file

@ -26,6 +26,7 @@ import 'type_info.dart';
import 'util.dart'
show
isOneOfOrEof,
optional,
skipMetadata,
splitGtEq,
@ -367,6 +368,16 @@ bool looksLikeTypeParamOrArg(bool inDeclaration, Token token) {
return false;
}
bool looksLikeVarName(Token token) {
return (looksLikeName(token) &&
isOneOfOrEof(token.next, const [
';', ',',
// TODO(danrubel): Consider refactoring this into TokenType.isAssignment
'=', '&&=', '&=', '||=', '|=', '^=', '>>=', '<<=', '-=', '%=', '+=',
'??=', '/=', '*=', '~/=',
]));
}
/// Instances of [ComplexTypeInfo] are returned by [computeType] to represent
/// type references that cannot be represented by the constants above.
class ComplexTypeInfo implements TypeInfo {

33
pkg/front_end/test/fasta/parser/type_info_test.dart
View file

@ -1013,6 +1013,39 @@ class TypeInfoTest {
required: true);
}
void test_computeType_prefixedGFT_questionMark() {
expectComplexInfo('C.a? Function(', // Scanner inserts synthetic ')'.
required: true,
expectedCalls: [
'handleNoTypeVariables (',
'beginFunctionType C',
'handleIdentifier C prefixedTypeReference',
'handleIdentifier a typeReferenceContinuation',
'handleQualified .',
'handleNoTypeArguments ?',
'handleType C ?',
'beginFormalParameters ( MemberKind.GeneralizedFunctionType',
'endFormalParameters 0 ( ) MemberKind.GeneralizedFunctionType',
'endFunctionType Function null',
]);
expectComplexInfo('C.a? Function<T>(int x) Function<T>(int x)',
required: false, expectedAfter: 'Function');
expectComplexInfo('C.a? Function<T>(int x) Function<T>(int x)',
required: true);
}
void test_computeType_prefixedQuestionMark() {
expectComplexInfo('C.a? Function',
expectedAfter: 'Function',
expectedCalls: [
'handleIdentifier C prefixedTypeReference',
'handleIdentifier a typeReferenceContinuation',
'handleQualified .',
'handleNoTypeArguments ?',
'handleType C ?',
]);
}
void test_computeType_prefixedTypeArg() {
expectComplexInfo('C.a<T>', required: true, expectedCalls: [
'handleIdentifier C prefixedTypeReference',