blob: 0e71bb2122e086169191fa7569e0ca4cecfc1af1 [file] [log] [blame]
// Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
// Tests resolution of identifiers inside of extension methods
// Test the error cases for an extension MyExt with member names
// overlapping the global and instance scopes against:
// - a class A with only its own members
// - an extension ExtraExt which has global and instance members as well as
// its own
import "package:expect/expect.dart";
/////////////////////////////////////////////////////////////////////////
// Note: These imports may be deliberately unused. They bring certain
// names into scope, in order to test that certain resolution choices are
// made even in the presence of other symbols.
/////////////////////////////////////////////////////////////////////////
// Do Not Delete.
// Bring global members into scope.
import "helpers/global_scope.dart";
// Do Not Delete.
// Bring a class A with instance members into scope.
import "helpers/class_no_shadow.dart";
// Do Not Delete.
// Bring an extension ExtraExt with members that overlap the global and instance
// names into scope.
import "helpers/extension_global_instance.dart";
const bool extensionValue = true;
void checkExtensionValue(bool x) {
Expect.equals(x, extensionValue);
}
// An extension which defines members of its own, as well members overlapping
// the instance and global names.
extension MyExt on A {
bool get fieldInGlobalScope => extensionValue;
bool get getterInGlobalScope => extensionValue;
set setterInGlobalScope(bool x) {
checkExtensionValue(x);
}
bool methodInGlobalScope() => extensionValue;
bool get fieldInInstanceScope => extensionValue;
bool get getterInInstanceScope => extensionValue;
set setterInInstanceScope(bool x) {
checkExtensionValue(x);
}
bool methodInInstanceScope() => extensionValue;
bool get fieldInExtensionScope => extensionValue;
bool get getterInExtensionScope => extensionValue;
set setterInExtensionScope(bool x) {
checkExtensionValue(x);
}
bool methodInExtensionScope() => extensionValue;
void testNakedIdentifiers() {
// Globals should resolve to local extension versions
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Un-prefixed instance members resolve to the local extension versions
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members resolve to the extension methods in this extension
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members not on this extension resolve to the extension methods
// in the other extension (unresolved identifier "id" gets turned into
// "this.id", which is then subject to extension method lookup).
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
}
void testIdentifiersOnThis() {
// Prefixed globals are ambiguous
{
bool t0 = this.fieldInGlobalScope;
// ^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The property 'fieldInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
checkExtensionValue(t0);
bool t1 = this.getterInGlobalScope;
// ^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The property 'getterInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
checkExtensionValue(t1);
this.setterInGlobalScope = extensionValue;
// ^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The property 'setterInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
bool t2 = this.methodInGlobalScope();
// ^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The method 'methodInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
checkExtensionValue(t2);
}
// Instance members resolve to the instance methods and not the members
// of either extension
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members resolve to the extension methods on this extension
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members not on this extension resolve to the extension methods
// in the other extension.
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
}
void testIdentifiersOnInstance() {
A self = this;
// Prefixed globals are ambiguous
{
bool t0 = self.fieldInGlobalScope;
// ^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The property 'fieldInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
checkExtensionValue(t0);
bool t1 = self.getterInGlobalScope;
// ^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The property 'getterInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
checkExtensionValue(t1);
self.setterInGlobalScope = extensionValue;
// ^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The property 'setterInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
bool t2 = self.methodInGlobalScope();
// ^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The method 'methodInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
checkExtensionValue(t2);
}
// Instance members resolve to the instance methods and not the members
// of the extension
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members resolve to the extension methods on this extension
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members not on this extension resolve to the extension methods
// in the other extension.
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
}
void instanceTest() {
MyExt(this).testNakedIdentifiers();
MyExt(this).testIdentifiersOnThis();
MyExt(this).testIdentifiersOnInstance();
}
}
class B extends A {
void testNakedIdentifiers() {
// Globals should resolve to the global name space, and not to the members
// of either extension
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Instance members resolve to the instance methods and not the members
// of the other extension (when present)
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members resolve to the extension methods in the local
// extension.
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members resolve to the extension methods in the other
// extension (unresolved identifier "id" gets turned into "this.id",
// which is then subject to extension method lookup).
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
}
}
void main() {
var a = new A();
a.instanceTest();
new B().testNakedIdentifiers();
// Check external resolution as well while we're here
// Global names come from both extensions and hence are ambiguous.
{
bool t0 = a.fieldInGlobalScope;
// ^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The property 'fieldInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
checkExtensionValue(t0);
bool t1 = a.getterInGlobalScope;
// ^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The property 'getterInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
checkExtensionValue(t1);
a.setterInGlobalScope = extensionValue;
//^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The property 'setterInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
bool t2 = a.methodInGlobalScope();
// ^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] The method 'methodInGlobalScope' is defined in multiple extensions for 'A' and neither is more specific.
checkExtensionValue(t2);
}
// Instance members resolve to the instance methods and not the members
// of the other extension (when present)
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members resolve to the extension methods in this
// extension.
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
// Extension members resolve to the extension methods in the other
// extension.
{
// No errors: see static_extension_internal_resolution_3_test.dart
}
}