| Index: pkg/analyzer/test/generated/non_error_resolver_test.dart
|
| diff --git a/pkg/analyzer/test/generated/non_error_resolver_test.dart b/pkg/analyzer/test/generated/non_error_resolver_test.dart
|
| index 58ad1c6ca8ef7b08705beecfa1943ab51e5ae8d2..1692a59a194bb1f80aa50a0ca3c0b2d48308797c 100644
|
| --- a/pkg/analyzer/test/generated/non_error_resolver_test.dart
|
| +++ b/pkg/analyzer/test/generated/non_error_resolver_test.dart
|
| @@ -18,222 +18,272 @@ import '../reflective_tests.dart';
|
|
|
| class NonErrorResolverTest extends ResolverTestCase {
|
| void fail_undefinedEnumConstant() {
|
| - Source source = addSource(EngineTestCase.createSource(["enum E { ONE }", "E e() {", " return E.ONE;", "}"]));
|
| + Source source = addSource(r'''
|
| +enum E { ONE }
|
| +E e() {
|
| + return E.ONE;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_ambiguousExport() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "export 'lib1.dart';",
|
| - "export 'lib2.dart';"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library lib1;", "class M {}"]));
|
| - addNamedSource("/lib2.dart", EngineTestCase.createSource(["library lib2;", "class N {}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +export 'lib1.dart';
|
| +export 'lib2.dart';''');
|
| + addNamedSource("/lib1.dart", r'''
|
| +library lib1;
|
| +class M {}''');
|
| + addNamedSource("/lib2.dart", r'''
|
| +library lib2;
|
| +class N {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_ambiguousExport_combinators_hide() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "export 'lib1.dart';",
|
| - "export 'lib2.dart' hide B;"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library L1;", "class A {}", "class B {}"]));
|
| - addNamedSource("/lib2.dart", EngineTestCase.createSource(["library L2;", "class B {}", "class C {}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +export 'lib1.dart';
|
| +export 'lib2.dart' hide B;''');
|
| + addNamedSource("/lib1.dart", r'''
|
| +library L1;
|
| +class A {}
|
| +class B {}''');
|
| + addNamedSource("/lib2.dart", r'''
|
| +library L2;
|
| +class B {}
|
| +class C {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_ambiguousExport_combinators_show() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "export 'lib1.dart';",
|
| - "export 'lib2.dart' show C;"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library L1;", "class A {}", "class B {}"]));
|
| - addNamedSource("/lib2.dart", EngineTestCase.createSource(["library L2;", "class B {}", "class C {}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +export 'lib1.dart';
|
| +export 'lib2.dart' show C;''');
|
| + addNamedSource("/lib1.dart", r'''
|
| +library L1;
|
| +class A {}
|
| +class B {}''');
|
| + addNamedSource("/lib2.dart", r'''
|
| +library L2;
|
| +class B {}
|
| +class C {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_ambiguousExport_sameDeclaration() {
|
| - Source source = addSource(EngineTestCase.createSource(["library L;", "export 'lib.dart';", "export 'lib.dart';"]));
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library lib;", "class N {}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +export 'lib.dart';
|
| +export 'lib.dart';''');
|
| + addNamedSource("/lib.dart", r'''
|
| +library lib;
|
| +class N {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_ambiguousImport_hideCombinator() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'lib1.dart';",
|
| - "import 'lib2.dart';",
|
| - "import 'lib3.dart' hide N;",
|
| - "main() {",
|
| - " new N1();",
|
| - " new N2();",
|
| - " new N3();",
|
| - "}"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library lib1;", "class N {}", "class N1 {}"]));
|
| - addNamedSource("/lib2.dart", EngineTestCase.createSource(["library lib2;", "class N {}", "class N2 {}"]));
|
| - addNamedSource("/lib3.dart", EngineTestCase.createSource(["library lib3;", "class N {}", "class N3 {}"]));
|
| + Source source = addSource(r'''
|
| +import 'lib1.dart';
|
| +import 'lib2.dart';
|
| +import 'lib3.dart' hide N;
|
| +main() {
|
| + new N1();
|
| + new N2();
|
| + new N3();
|
| +}''');
|
| + addNamedSource("/lib1.dart", r'''
|
| +library lib1;
|
| +class N {}
|
| +class N1 {}''');
|
| + addNamedSource("/lib2.dart", r'''
|
| +library lib2;
|
| +class N {}
|
| +class N2 {}''');
|
| + addNamedSource("/lib3.dart", r'''
|
| +library lib3;
|
| +class N {}
|
| +class N3 {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_ambiguousImport_showCombinator() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'lib1.dart';",
|
| - "import 'lib2.dart' show N, N2;",
|
| - "main() {",
|
| - " new N1();",
|
| - " new N2();",
|
| - "}"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library lib1;", "class N {}", "class N1 {}"]));
|
| - addNamedSource("/lib2.dart", EngineTestCase.createSource(["library lib2;", "class N {}", "class N2 {}"]));
|
| + Source source = addSource(r'''
|
| +import 'lib1.dart';
|
| +import 'lib2.dart' show N, N2;
|
| +main() {
|
| + new N1();
|
| + new N2();
|
| +}''');
|
| + addNamedSource("/lib1.dart", r'''
|
| +library lib1;
|
| +class N {}
|
| +class N1 {}''');
|
| + addNamedSource("/lib2.dart", r'''
|
| +library lib2;
|
| +class N {}
|
| +class N2 {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_argumentTypeNotAssignable_classWithCall_Function() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - " caller(Function callee) {",
|
| - " callee();",
|
| - " }",
|
| - "",
|
| - " class CallMeBack {",
|
| - " call() => 0;",
|
| - " }",
|
| - "",
|
| - " main() {",
|
| - " caller(new CallMeBack());",
|
| - " }"]));
|
| + Source source = addSource(r'''
|
| + caller(Function callee) {
|
| + callee();
|
| + }
|
| +
|
| + class CallMeBack {
|
| + call() => 0;
|
| + }
|
| +
|
| + main() {
|
| + caller(new CallMeBack());
|
| + }''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_argumentTypeNotAssignable_fieldFormalParameterElement_member() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class ObjectSink<T> {",
|
| - " void sink(T object) {",
|
| - " new TimestampedObject<T>(object);",
|
| - " }",
|
| - "}",
|
| - "class TimestampedObject<E> {",
|
| - " E object2;",
|
| - " TimestampedObject(this.object2);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class ObjectSink<T> {
|
| + void sink(T object) {
|
| + new TimestampedObject<T>(object);
|
| + }
|
| +}
|
| +class TimestampedObject<E> {
|
| + E object2;
|
| + TimestampedObject(this.object2);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_argumentTypeNotAssignable_invocation_functionParameter_generic() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<K> {",
|
| - " m(f(K k), K v) {",
|
| - " f(v);",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<K> {
|
| + m(f(K k), K v) {
|
| + f(v);
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_argumentTypeNotAssignable_invocation_typedef_generic() {
|
| - Source source = addSource(EngineTestCase.createSource(["typedef A<T>(T p);", "f(A<int> a) {", " a(1);", "}"]));
|
| + Source source = addSource(r'''
|
| +typedef A<T>(T p);
|
| +f(A<int> a) {
|
| + a(1);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_argumentTypeNotAssignable_Object_Function() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "main() {",
|
| - " process(() {});",
|
| - "}",
|
| - "process(Object x) {}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + process(() {});
|
| +}
|
| +process(Object x) {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_argumentTypeNotAssignable_typedef_local() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "typedef A(int p1, String p2);",
|
| - "A getA() => null;",
|
| - "f() {",
|
| - " A a = getA();",
|
| - " a(1, '2');",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +typedef A(int p1, String p2);
|
| +A getA() => null;
|
| +f() {
|
| + A a = getA();
|
| + a(1, '2');
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_argumentTypeNotAssignable_typedef_parameter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "typedef A(int p1, String p2);",
|
| - "f(A a) {",
|
| - " a(1, '2');",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +typedef A(int p1, String p2);
|
| +f(A a) {
|
| + a(1, '2');
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_assignmentToFinal_prefixNegate() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " final x = 0;", " -x;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + final x = 0;
|
| + -x;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_assignmentToFinalNoSetter_prefixedIdentifier() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " int get x => 0;",
|
| - " set x(v) {}",
|
| - "}",
|
| - "main() {",
|
| - " A a = new A();",
|
| - " a.x = 0;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + int get x => 0;
|
| + set x(v) {}
|
| +}
|
| +main() {
|
| + A a = new A();
|
| + a.x = 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_assignmentToFinalNoSetter_propertyAccess() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " int get x => 0;",
|
| - " set x(v) {}",
|
| - "}",
|
| - "class B {",
|
| - " static A a;",
|
| - "}",
|
| - "main() {",
|
| - " B.a.x = 0;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + int get x => 0;
|
| + set x(v) {}
|
| +}
|
| +class B {
|
| + static A a;
|
| +}
|
| +main() {
|
| + B.a.x = 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_assignmentToFinals_importWithPrefix() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library lib;",
|
| - "import 'lib1.dart' as foo;",
|
| - "main() {",
|
| - " foo.x = true;",
|
| - "}"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library lib1;", "bool x = false;"]));
|
| + Source source = addSource(r'''
|
| +library lib;
|
| +import 'lib1.dart' as foo;
|
| +main() {
|
| + foo.x = true;
|
| +}''');
|
| + addNamedSource("/lib1.dart", r'''
|
| +library lib1;
|
| +bool x = false;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -241,11 +291,11 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_asyncForInWrongContext_async() {
|
| resetWithAsync();
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(list) async {",
|
| - " await for (var e in list) {",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(list) async {
|
| + await for (var e in list) {
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -253,11 +303,11 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_asyncForInWrongContext_asyncStar() {
|
| resetWithAsync();
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(list) async* {",
|
| - " await for (var e in list) {",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(list) async* {
|
| + await for (var e in list) {
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -265,7 +315,10 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_awaitInWrongContext_async() {
|
| resetWithAsync();
|
| - Source source = addSource(EngineTestCase.createSource(["f(x, y) async {", " return await x + await y;", "}"]));
|
| + Source source = addSource(r'''
|
| +f(x, y) async {
|
| + return await x + await y;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -273,147 +326,157 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_awaitInWrongContext_asyncStar() {
|
| resetWithAsync();
|
| - Source source = addSource(EngineTestCase.createSource(["f(x, y) async* {", " yield await x + await y;", "}"]));
|
| + Source source = addSource(r'''
|
| +f(x, y) async* {
|
| + yield await x + await y;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_breakWithoutLabelInSwitch() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " void m(int i) {",
|
| - " switch (i) {",
|
| - " case 0:",
|
| - " break;",
|
| - " }",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + void m(int i) {
|
| + switch (i) {
|
| + case 0:
|
| + break;
|
| + }
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_builtInIdentifierAsType_dynamic() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " dynamic x;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + dynamic x;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_caseBlockNotTerminated() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(int p) {",
|
| - " for (int i = 0; i < 10; i++) {",
|
| - " switch (p) {",
|
| - " case 0:",
|
| - " break;",
|
| - " case 1:",
|
| - " continue;",
|
| - " case 2:",
|
| - " return;",
|
| - " case 3:",
|
| - " throw new Object();",
|
| - " case 4:",
|
| - " case 5:",
|
| - " return;",
|
| - " case 6:",
|
| - " default:",
|
| - " return;",
|
| - " }",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(int p) {
|
| + for (int i = 0; i < 10; i++) {
|
| + switch (p) {
|
| + case 0:
|
| + break;
|
| + case 1:
|
| + continue;
|
| + case 2:
|
| + return;
|
| + case 3:
|
| + throw new Object();
|
| + case 4:
|
| + case 5:
|
| + return;
|
| + case 6:
|
| + default:
|
| + return;
|
| + }
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_caseBlockNotTerminated_lastCase() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(int p) {",
|
| - " switch (p) {",
|
| - " case 0:",
|
| - " p = p + 1;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(int p) {
|
| + switch (p) {
|
| + case 0:
|
| + p = p + 1;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_caseExpressionTypeImplementsEquals() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "print(p) {}",
|
| - "",
|
| - "abstract class B {",
|
| - " final id;",
|
| - " const B(this.id);",
|
| - " String toString() => 'C(\$id)';",
|
| - " /** Equality is identity equality, the id isn't used. */",
|
| - " bool operator==(Object other);",
|
| - " }",
|
| - "",
|
| - "class C extends B {",
|
| - " const C(id) : super(id);",
|
| - "}",
|
| - "",
|
| - "void doSwitch(c) {",
|
| - " switch (c) {",
|
| - " case const C(0): print('Switch: 0'); break;",
|
| - " case const C(1): print('Switch: 1'); break;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +print(p) {}
|
| +
|
| +abstract class B {
|
| + final id;
|
| + const B(this.id);
|
| + String toString() => 'C($id)';
|
| + /** Equality is identity equality, the id isn't used. */
|
| + bool operator==(Object other);
|
| + }
|
| +
|
| +class C extends B {
|
| + const C(id) : super(id);
|
| +}
|
| +
|
| +void doSwitch(c) {
|
| + switch (c) {
|
| + case const C(0): print('Switch: 0'); break;
|
| + case const C(1): print('Switch: 1'); break;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_caseExpressionTypeImplementsEquals_int() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(int i) {",
|
| - " switch(i) {",
|
| - " case(1) : return 1;",
|
| - " default: return 0;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(int i) {
|
| + switch(i) {
|
| + case(1) : return 1;
|
| + default: return 0;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_caseExpressionTypeImplementsEquals_Object() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class IntWrapper {",
|
| - " final int value;",
|
| - " const IntWrapper(this.value);",
|
| - "}",
|
| - "",
|
| - "f(IntWrapper intWrapper) {",
|
| - " switch(intWrapper) {",
|
| - " case(const IntWrapper(1)) : return 1;",
|
| - " default: return 0;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class IntWrapper {
|
| + final int value;
|
| + const IntWrapper(this.value);
|
| +}
|
| +
|
| +f(IntWrapper intWrapper) {
|
| + switch(intWrapper) {
|
| + case(const IntWrapper(1)) : return 1;
|
| + default: return 0;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_caseExpressionTypeImplementsEquals_String() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(String s) {",
|
| - " switch(s) {",
|
| - " case('1') : return 1;",
|
| - " default: return 0;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(String s) {
|
| + switch(s) {
|
| + case('1') : return 1;
|
| + default: return 0;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_commentReference_beforeConstructor() {
|
| - String code = EngineTestCase.createSource(["abstract class A {", " /// [p]", " A(int p) {}", "}"]);
|
| + String code = r'''
|
| +abstract class A {
|
| + /// [p]
|
| + A(int p) {}
|
| +}''';
|
| Source source = addSource(code);
|
| resolve(source);
|
| assertNoErrors(source);
|
| @@ -426,7 +489,10 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| }
|
|
|
| void test_commentReference_beforeFunction_blockBody() {
|
| - String code = EngineTestCase.createSource(["/// [p]", "foo(int p) {", "}"]);
|
| + String code = r'''
|
| +/// [p]
|
| +foo(int p) {
|
| +}''';
|
| Source source = addSource(code);
|
| resolve(source);
|
| assertNoErrors(source);
|
| @@ -437,7 +503,9 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| }
|
|
|
| void test_commentReference_beforeFunction_expressionBody() {
|
| - String code = EngineTestCase.createSource(["/// [p]", "foo(int p) => null;"]);
|
| + String code = r'''
|
| +/// [p]
|
| +foo(int p) => null;''';
|
| Source source = addSource(code);
|
| resolve(source);
|
| assertNoErrors(source);
|
| @@ -448,13 +516,13 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| }
|
|
|
| void test_commentReference_beforeMethod() {
|
| - String code = EngineTestCase.createSource([
|
| - "abstract class A {",
|
| - " /// [p1]",
|
| - " ma(int p1) {}",
|
| - " /// [p2]",
|
| - " mb(int p2);",
|
| - "}"]);
|
| + String code = r'''
|
| +abstract class A {
|
| + /// [p1]
|
| + ma(int p1) {}
|
| + /// [p2]
|
| + mb(int p2);
|
| +}''';
|
| Source source = addSource(code);
|
| resolve(source);
|
| assertNoErrors(source);
|
| @@ -471,7 +539,11 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| }
|
|
|
| void test_commentReference_class() {
|
| - String code = EngineTestCase.createSource(["/// [foo]", "class A {", " foo() {}", "}"]);
|
| + String code = r'''
|
| +/// [foo]
|
| +class A {
|
| + foo() {}
|
| +}''';
|
| Source source = addSource(code);
|
| resolve(source);
|
| assertNoErrors(source);
|
| @@ -482,17 +554,17 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| }
|
|
|
| void test_commentReference_setter() {
|
| - String code = EngineTestCase.createSource([
|
| - "class A {",
|
| - " /// [x] in A",
|
| - " mA() {}",
|
| - " set x(value) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " /// [x] in B",
|
| - " mB() {}",
|
| - "}",
|
| - ""]);
|
| + String code = r'''
|
| +class A {
|
| + /// [x] in A
|
| + mA() {}
|
| + set x(value) {}
|
| +}
|
| +class B extends A {
|
| + /// [x] in B
|
| + mB() {}
|
| +}
|
| +''';
|
| Source source = addSource(code);
|
| resolve(source);
|
| assertNoErrors(source);
|
| @@ -509,136 +581,147 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| }
|
|
|
| void test_concreteClassWithAbstractMember() {
|
| - Source source = addSource(EngineTestCase.createSource(["abstract class A {", " m();", "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A {
|
| + m();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_concreteClassWithAbstractMember_inherited() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " m();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m() {}
|
| +}
|
| +class B extends A {
|
| + m();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_conflictingInstanceGetterAndSuperclassMember_instance() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " get v => 0;",
|
| - "}",
|
| - "class B extends A {",
|
| - " get v => 1;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + get v => 0;
|
| +}
|
| +class B extends A {
|
| + get v => 1;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_conflictingStaticGetterAndInstanceSetter_thisClass() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " static get x => 0;",
|
| - " static set x(int p) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + static get x => 0;
|
| + static set x(int p) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_conflictingStaticSetterAndInstanceMember_thisClass_method() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " static x() {}",
|
| - " static set x(int p) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + static x() {}
|
| + static set x(int p) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constConstructorWithNonConstSuper_explicit() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A();",
|
| - "}",
|
| - "class B extends A {",
|
| - " const B(): super();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A();
|
| +}
|
| +class B extends A {
|
| + const B(): super();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constConstructorWithNonConstSuper_redirectingFactory() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A();",
|
| - "}",
|
| - "class B implements C {",
|
| - " const B();",
|
| - "}",
|
| - "class C extends A {",
|
| - " const factory C() = B;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A();
|
| +}
|
| +class B implements C {
|
| + const B();
|
| +}
|
| +class C extends A {
|
| + const factory C() = B;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constConstructorWithNonConstSuper_unresolved() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A.a();",
|
| - "}",
|
| - "class B extends A {",
|
| - " const B(): super();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A.a();
|
| +}
|
| +class B extends A {
|
| + const B(): super();
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, [CompileTimeErrorCode.UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT]);
|
| verify([source]);
|
| }
|
|
|
| void test_constConstructorWithNonFinalField_finalInstanceVar() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " final int x = 0;", " const A();", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final int x = 0;
|
| + const A();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constConstructorWithNonFinalField_mixin() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " a() {}",
|
| - "}",
|
| - "class B extends Object with A {",
|
| - " const B();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + a() {}
|
| +}
|
| +class B extends Object with A {
|
| + const B();
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, [CompileTimeErrorCode.CONST_CONSTRUCTOR_WITH_MIXIN]);
|
| verify([source]);
|
| }
|
|
|
| void test_constConstructorWithNonFinalField_static() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " static int x;", " const A();", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + static int x;
|
| + const A();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constConstructorWithNonFinalField_syntheticField() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A();",
|
| - " set x(value) {}",
|
| - " get x {return 0;}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A();
|
| + set x(value) {}
|
| + get x {return 0;}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -646,235 +729,255 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_constDeferredClass_new() {
|
| resolveWithAndWithoutExperimental(<String> [
|
| - EngineTestCase.createSource(["library lib1;", "class A {", " const A.b();", "}"]),
|
| - EngineTestCase.createSource([
|
| - "library root;",
|
| - "import 'lib1.dart' deferred as a;",
|
| - "main() {",
|
| - " new a.A.b();",
|
| - "}"])], <ErrorCode> [ParserErrorCode.DEFERRED_IMPORTS_NOT_SUPPORTED], <ErrorCode> []);
|
| + r'''
|
| +library lib1;
|
| +class A {
|
| + const A.b();
|
| +}''',
|
| + r'''
|
| +library root;
|
| +import 'lib1.dart' deferred as a;
|
| +main() {
|
| + new a.A.b();
|
| +}'''], <ErrorCode> [ParserErrorCode.DEFERRED_IMPORTS_NOT_SUPPORTED], <ErrorCode> []);
|
| }
|
|
|
| void test_constEval_functionTypeLiteral() {
|
| - Source source = addSource(EngineTestCase.createSource(["typedef F();", "const C = F;"]));
|
| + Source source = addSource(r'''
|
| +typedef F();
|
| +const C = F;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constEval_propertyExtraction_fieldStatic_targetType() {
|
| - addNamedSource("/math.dart", EngineTestCase.createSource(["library math;", "const PI = 3.14;"]));
|
| - Source source = addSource(EngineTestCase.createSource(["import 'math.dart' as math;", "const C = math.PI;"]));
|
| + addNamedSource("/math.dart", r'''
|
| +library math;
|
| +const PI = 3.14;''');
|
| + Source source = addSource(r'''
|
| +import 'math.dart' as math;
|
| +const C = math.PI;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constEval_propertyExtraction_methodStatic_targetType() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A();",
|
| - " static m() {}",
|
| - "}",
|
| - "const C = A.m;"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A();
|
| + static m() {}
|
| +}
|
| +const C = A.m;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constEval_symbol() {
|
| - addNamedSource("/math.dart", EngineTestCase.createSource(["library math;", "const PI = 3.14;"]));
|
| - Source source = addSource(EngineTestCase.createSource(["const C = #foo;", "foo() {}"]));
|
| + addNamedSource("/math.dart", r'''
|
| +library math;
|
| +const PI = 3.14;''');
|
| + Source source = addSource(r'''
|
| +const C = #foo;
|
| +foo() {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constEvalTypeBoolNumString_equal() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A();",
|
| - "}",
|
| - "class B {",
|
| - " final v;",
|
| - " const B.a1(bool p) : v = p == true;",
|
| - " const B.a2(bool p) : v = p == false;",
|
| - " const B.a3(bool p) : v = p == 0;",
|
| - " const B.a4(bool p) : v = p == 0.0;",
|
| - " const B.a5(bool p) : v = p == '';",
|
| - " const B.b1(int p) : v = p == true;",
|
| - " const B.b2(int p) : v = p == false;",
|
| - " const B.b3(int p) : v = p == 0;",
|
| - " const B.b4(int p) : v = p == 0.0;",
|
| - " const B.b5(int p) : v = p == '';",
|
| - " const B.c1(String p) : v = p == true;",
|
| - " const B.c2(String p) : v = p == false;",
|
| - " const B.c3(String p) : v = p == 0;",
|
| - " const B.c4(String p) : v = p == 0.0;",
|
| - " const B.c5(String p) : v = p == '';",
|
| - " const B.n1(num p) : v = p == null;",
|
| - " const B.n2(num p) : v = null == p;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A();
|
| +}
|
| +class B {
|
| + final v;
|
| + const B.a1(bool p) : v = p == true;
|
| + const B.a2(bool p) : v = p == false;
|
| + const B.a3(bool p) : v = p == 0;
|
| + const B.a4(bool p) : v = p == 0.0;
|
| + const B.a5(bool p) : v = p == '';
|
| + const B.b1(int p) : v = p == true;
|
| + const B.b2(int p) : v = p == false;
|
| + const B.b3(int p) : v = p == 0;
|
| + const B.b4(int p) : v = p == 0.0;
|
| + const B.b5(int p) : v = p == '';
|
| + const B.c1(String p) : v = p == true;
|
| + const B.c2(String p) : v = p == false;
|
| + const B.c3(String p) : v = p == 0;
|
| + const B.c4(String p) : v = p == 0.0;
|
| + const B.c5(String p) : v = p == '';
|
| + const B.n1(num p) : v = p == null;
|
| + const B.n2(num p) : v = null == p;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_constEvalTypeBoolNumString_notEqual() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A();",
|
| - "}",
|
| - "class B {",
|
| - " final v;",
|
| - " const B.a1(bool p) : v = p != true;",
|
| - " const B.a2(bool p) : v = p != false;",
|
| - " const B.a3(bool p) : v = p != 0;",
|
| - " const B.a4(bool p) : v = p != 0.0;",
|
| - " const B.a5(bool p) : v = p != '';",
|
| - " const B.b1(int p) : v = p != true;",
|
| - " const B.b2(int p) : v = p != false;",
|
| - " const B.b3(int p) : v = p != 0;",
|
| - " const B.b4(int p) : v = p != 0.0;",
|
| - " const B.b5(int p) : v = p != '';",
|
| - " const B.c1(String p) : v = p != true;",
|
| - " const B.c2(String p) : v = p != false;",
|
| - " const B.c3(String p) : v = p != 0;",
|
| - " const B.c4(String p) : v = p != 0.0;",
|
| - " const B.c5(String p) : v = p != '';",
|
| - " const B.n1(num p) : v = p != null;",
|
| - " const B.n2(num p) : v = null != p;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A();
|
| +}
|
| +class B {
|
| + final v;
|
| + const B.a1(bool p) : v = p != true;
|
| + const B.a2(bool p) : v = p != false;
|
| + const B.a3(bool p) : v = p != 0;
|
| + const B.a4(bool p) : v = p != 0.0;
|
| + const B.a5(bool p) : v = p != '';
|
| + const B.b1(int p) : v = p != true;
|
| + const B.b2(int p) : v = p != false;
|
| + const B.b3(int p) : v = p != 0;
|
| + const B.b4(int p) : v = p != 0.0;
|
| + const B.b5(int p) : v = p != '';
|
| + const B.c1(String p) : v = p != true;
|
| + const B.c2(String p) : v = p != false;
|
| + const B.c3(String p) : v = p != 0;
|
| + const B.c4(String p) : v = p != 0.0;
|
| + const B.c5(String p) : v = p != '';
|
| + const B.n1(num p) : v = p != null;
|
| + const B.n2(num p) : v = null != p;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constMapKeyExpressionTypeImplementsEquals_abstract() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class B {",
|
| - " final id;",
|
| - " const B(this.id);",
|
| - " String toString() => 'C(\$id)';",
|
| - " /** Equality is identity equality, the id isn't used. */",
|
| - " bool operator==(Object other);",
|
| - " }",
|
| - "",
|
| - "class C extends B {",
|
| - " const C(id) : super(id);",
|
| - "}",
|
| - "",
|
| - "Map getMap() {",
|
| - " return const { const C(0): 'Map: 0' };",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class B {
|
| + final id;
|
| + const B(this.id);
|
| + String toString() => 'C($id)';
|
| + /** Equality is identity equality, the id isn't used. */
|
| + bool operator==(Object other);
|
| + }
|
| +
|
| +class C extends B {
|
| + const C(id) : super(id);
|
| +}
|
| +
|
| +Map getMap() {
|
| + return const { const C(0): 'Map: 0' };
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constNotInitialized_field() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " static const int x = 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + static const int x = 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constNotInitialized_local() {
|
| - Source source = addSource(EngineTestCase.createSource(["main() {", " const int x = 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + const int x = 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constructorDeclaration_scope_signature() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "const app = 0;",
|
| - "class A {",
|
| - " A(@app int app) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +const app = 0;
|
| +class A {
|
| + A(@app int app) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constWithNonConstantArgument_literals() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A(a, b, c, d);",
|
| - "}",
|
| - "f() { return const A(true, 0, 1.0, '2'); }"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A(a, b, c, d);
|
| +}
|
| +f() { return const A(true, 0, 1.0, '2'); }''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constWithTypeParameters_direct() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<T> {",
|
| - " static const V = const A<int>();",
|
| - " const A();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<T> {
|
| + static const V = const A<int>();
|
| + const A();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constWithUndefinedConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A.name();",
|
| - "}",
|
| - "f() {",
|
| - " return const A.name();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A.name();
|
| +}
|
| +f() {
|
| + return const A.name();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_constWithUndefinedConstructorDefault() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A();",
|
| - "}",
|
| - "f() {",
|
| - " return const A();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A();
|
| +}
|
| +f() {
|
| + return const A();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_defaultValueInFunctionTypeAlias() {
|
| - Source source = addSource(EngineTestCase.createSource(["typedef F([x]);"]));
|
| + Source source = addSource("typedef F([x]);");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_defaultValueInFunctionTypedParameter_named() {
|
| - Source source = addSource(EngineTestCase.createSource(["f(g({p})) {}"]));
|
| + Source source = addSource("f(g({p})) {}");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_defaultValueInFunctionTypedParameter_optional() {
|
| - Source source = addSource(EngineTestCase.createSource(["f(g([p])) {}"]));
|
| + Source source = addSource("f(g([p])) {}");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_deprecatedMemberUse_hide() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library lib;",
|
| - "import 'lib1.dart' hide B;",
|
| - "A a = new A();"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource([
|
| - "library lib1;",
|
| - "class A {}",
|
| - "@deprecated",
|
| - "class B {}"]));
|
| + Source source = addSource(r'''
|
| +library lib;
|
| +import 'lib1.dart' hide B;
|
| +A a = new A();''');
|
| + addNamedSource("/lib1.dart", r'''
|
| +library lib1;
|
| +class A {}
|
| +@deprecated
|
| +class B {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -883,286 +986,353 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| void test_duplicateDefinition_emptyName() {
|
| // Note: This code has two FunctionElements '() {}' with an empty name, this tests that the
|
| // empty string is not put into the scope (more than once).
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "Map _globalMap = {",
|
| - " 'a' : () {},",
|
| - " 'b' : () {}",
|
| - "};"]));
|
| + Source source = addSource(r'''
|
| +Map _globalMap = {
|
| + 'a' : () {},
|
| + 'b' : () {}
|
| +};''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_duplicateDefinition_getter() {
|
| - Source source = addSource(EngineTestCase.createSource(["bool get a => true;"]));
|
| + Source source = addSource("bool get a => true;");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_dynamicIdentifier() {
|
| - Source source = addSource(EngineTestCase.createSource(["main() {", " var v = dynamic;", "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + var v = dynamic;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_expectedOneListTypeArgument() {
|
| - Source source = addSource(EngineTestCase.createSource(["main() {", " <int> [];", "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + <int> [];
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_expectedTwoMapTypeArguments() {
|
| - Source source = addSource(EngineTestCase.createSource(["main() {", " <int, int> {};", "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + <int, int> {};
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_exportOfNonLibrary_libraryDeclared() {
|
| - Source source = addSource(EngineTestCase.createSource(["library L;", "export 'lib1.dart';"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library lib1;"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +export 'lib1.dart';''');
|
| + addNamedSource("/lib1.dart", "library lib1;");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_exportOfNonLibrary_libraryNotDeclared() {
|
| - Source source = addSource(EngineTestCase.createSource(["library L;", "export 'lib1.dart';"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource([""]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +export 'lib1.dart';''');
|
| + addNamedSource("/lib1.dart", "");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_extraPositionalArguments_function() {
|
| - Source source = addSource(EngineTestCase.createSource(["f(p1, p2) {}", "main() {", " f(1, 2);", "}"]));
|
| + Source source = addSource(r'''
|
| +f(p1, p2) {}
|
| +main() {
|
| + f(1, 2);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_extraPositionalArguments_Function() {
|
| - Source source = addSource(EngineTestCase.createSource(["f(Function a) {", " a(1, 2);", "}"]));
|
| + Source source = addSource(r'''
|
| +f(Function a) {
|
| + a(1, 2);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_extraPositionalArguments_implicitConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<E extends num> {",
|
| - " A(E x, E y);",
|
| - "}",
|
| - "class M {}",
|
| - "class B<E extends num> = A<E> with M;",
|
| - "void main() {",
|
| - " B<int> x = new B<int>(0,0);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<E extends num> {
|
| + A(E x, E y);
|
| +}
|
| +class M {}
|
| +class B<E extends num> = A<E> with M;
|
| +void main() {
|
| + B<int> x = new B<int>(0,0);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_extraPositionalArguments_typedef_local() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "typedef A(p1, p2);",
|
| - "A getA() => null;",
|
| - "f() {",
|
| - " A a = getA();",
|
| - " a(1, 2);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +typedef A(p1, p2);
|
| +A getA() => null;
|
| +f() {
|
| + A a = getA();
|
| + a(1, 2);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_extraPositionalArguments_typedef_parameter() {
|
| - Source source = addSource(EngineTestCase.createSource(["typedef A(p1, p2);", "f(A a) {", " a(1, 2);", "}"]));
|
| + Source source = addSource(r'''
|
| +typedef A(p1, p2);
|
| +f(A a) {
|
| + a(1, 2);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_fieldInitializedByMultipleInitializers() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " int x;",
|
| - " int y;",
|
| - " A() : x = 0, y = 0 {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + int x;
|
| + int y;
|
| + A() : x = 0, y = 0 {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_fieldInitializedInInitializerAndDeclaration_fieldNotFinal() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " int x = 0;", " A() : x = 1 {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + int x = 0;
|
| + A() : x = 1 {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_fieldInitializedInInitializerAndDeclaration_finalFieldNotSet() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " final int x;", " A() : x = 1 {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final int x;
|
| + A() : x = 1 {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_fieldInitializerOutsideConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " int x;", " A(this.x) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + int x;
|
| + A(this.x) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_fieldInitializerOutsideConstructor_defaultParameters() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " int x;", " A([this.x]) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + int x;
|
| + A([this.x]) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_fieldInitializerRedirectingConstructor_super() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " int x;",
|
| - " B(this.x) : super();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A() {}
|
| +}
|
| +class B extends A {
|
| + int x;
|
| + B(this.x) : super();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_finalInitializedInDeclarationAndConstructor_initializer() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " final x;", " A() : x = 1 {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final x;
|
| + A() : x = 1 {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_finalInitializedInDeclarationAndConstructor_initializingFormal() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " final x;", " A(this.x) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final x;
|
| + A(this.x) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_finalNotInitialized_atDeclaration() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " final int x = 0;", " A() {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final int x = 0;
|
| + A() {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_finalNotInitialized_fieldFormal() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " final int x = 0;", " A() {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final int x = 0;
|
| + A() {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_finalNotInitialized_functionTypedFieldFormal() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " final Function x;",
|
| - " A(int this.x(int p)) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final Function x;
|
| + A(int this.x(int p)) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_finalNotInitialized_hasNativeClause_hasConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A native 'something' {",
|
| - " final int x;",
|
| - " A() {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A native 'something' {
|
| + final int x;
|
| + A() {}
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, [ParserErrorCode.NATIVE_CLAUSE_IN_NON_SDK_CODE]);
|
| verify([source]);
|
| }
|
|
|
| void test_finalNotInitialized_hasNativeClause_noConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A native 'something' {", " final int x;", "}"]));
|
| + Source source = addSource(r'''
|
| +class A native 'something' {
|
| + final int x;
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, [ParserErrorCode.NATIVE_CLAUSE_IN_NON_SDK_CODE]);
|
| verify([source]);
|
| }
|
|
|
| void test_finalNotInitialized_initializer() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " final int x;", " A() : x = 0 {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final int x;
|
| + A() : x = 0 {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_finalNotInitialized_redirectingConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " final int x;",
|
| - " A(this.x);",
|
| - " A.named() : this (42);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final int x;
|
| + A(this.x);
|
| + A.named() : this (42);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_functionDeclaration_scope_returnType() {
|
| - Source source = addSource(EngineTestCase.createSource(["int f(int) { return 0; }"]));
|
| + Source source = addSource("int f(int) { return 0; }");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_functionDeclaration_scope_signature() {
|
| - Source source = addSource(EngineTestCase.createSource(["const app = 0;", "f(@app int app) {}"]));
|
| + Source source = addSource(r'''
|
| +const app = 0;
|
| +f(@app int app) {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_functionTypeAlias_scope_returnType() {
|
| - Source source = addSource(EngineTestCase.createSource(["typedef int f(int);"]));
|
| + Source source = addSource("typedef int f(int);");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_functionTypeAlias_scope_signature() {
|
| - Source source = addSource(EngineTestCase.createSource(["const app = 0;", "typedef int f(@app int app);"]));
|
| + Source source = addSource(r'''
|
| +const app = 0;
|
| +typedef int f(@app int app);''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_functionWithoutCall() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class A implements Function {",
|
| - "}",
|
| - "class B implements A {",
|
| - " void call() {}",
|
| - "}",
|
| - "class C extends A {",
|
| - " void call() {}",
|
| - "}",
|
| - "class D extends C {",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A implements Function {
|
| +}
|
| +class B implements A {
|
| + void call() {}
|
| +}
|
| +class C extends A {
|
| + void call() {}
|
| +}
|
| +class D extends C {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_functionWithoutCall_doesNotImplementFunction() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {}"]));
|
| + Source source = addSource("class A {}");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -1170,168 +1340,172 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_functionWithoutCall_withNoSuchMethod() {
|
| // 16078
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A implements Function {",
|
| - " noSuchMethod(inv) {",
|
| - " return 42;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A implements Function {
|
| + noSuchMethod(inv) {
|
| + return 42;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_constructorName() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A.named() {}",
|
| - "}",
|
| - "class B {",
|
| - " var v;",
|
| - " B() : v = new A.named();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A.named() {}
|
| +}
|
| +class B {
|
| + var v;
|
| + B() : v = new A.named();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_importPrefix() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'dart:async' as abstract;",
|
| - "class A {",
|
| - " var v = new abstract.Completer();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +import 'dart:async' as abstract;
|
| +class A {
|
| + var v = new abstract.Completer();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_prefixedIdentifier() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var f;",
|
| - "}",
|
| - "class B {",
|
| - " var v;",
|
| - " B(A a) : v = a.f;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var f;
|
| +}
|
| +class B {
|
| + var v;
|
| + B(A a) : v = a.f;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_qualifiedMethodInvocation() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " f() {}",
|
| - "}",
|
| - "class B {",
|
| - " var v;",
|
| - " B() : v = new A().f();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + f() {}
|
| +}
|
| +class B {
|
| + var v;
|
| + B() : v = new A().f();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_qualifiedPropertyAccess() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var f;",
|
| - "}",
|
| - "class B {",
|
| - " var v;",
|
| - " B() : v = new A().f;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var f;
|
| +}
|
| +class B {
|
| + var v;
|
| + B() : v = new A().f;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_staticField_thisClass() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var v;",
|
| - " A() : v = f;",
|
| - " static var f;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var v;
|
| + A() : v = f;
|
| + static var f;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_staticGetter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var v;",
|
| - " A() : v = f;",
|
| - " static get f => 42;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var v;
|
| + A() : v = f;
|
| + static get f => 42;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_staticMethod() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var v;",
|
| - " A() : v = f();",
|
| - " static f() => 42;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var v;
|
| + A() : v = f();
|
| + static f() => 42;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_topLevelField() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var v;",
|
| - " A() : v = f;",
|
| - "}",
|
| - "var f = 42;"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var v;
|
| + A() : v = f;
|
| +}
|
| +var f = 42;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_topLevelFunction() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var v;",
|
| - " A() : v = f();",
|
| - "}",
|
| - "f() => 42;"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var v;
|
| + A() : v = f();
|
| +}
|
| +f() => 42;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_topLevelGetter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var v;",
|
| - " A() : v = f;",
|
| - "}",
|
| - "get f => 42;"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var v;
|
| + A() : v = f;
|
| +}
|
| +get f => 42;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_implicitThisReferenceInInitializer_typeParameter() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A<T> {", " var v;", " A(p) : v = (p is T);", "}"]));
|
| + Source source = addSource(r'''
|
| +class A<T> {
|
| + var v;
|
| + A(p) : v = (p is T);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_importDuplicatedLibraryName() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library test;",
|
| - "import 'lib.dart';",
|
| - "import 'lib.dart';"]));
|
| + Source source = addSource(r'''
|
| +library test;
|
| +import 'lib.dart';
|
| +import 'lib.dart';''');
|
| addNamedSource("/lib.dart", "library lib;");
|
| resolve(source);
|
| assertErrors(source, [
|
| @@ -1342,128 +1516,140 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| }
|
|
|
| void test_importOfNonLibrary_libraryDeclared() {
|
| - Source source = addSource(EngineTestCase.createSource(["library lib;", "import 'part.dart';", "A a;"]));
|
| - addNamedSource("/part.dart", EngineTestCase.createSource(["library lib1;", "class A {}"]));
|
| + Source source = addSource(r'''
|
| +library lib;
|
| +import 'part.dart';
|
| +A a;''');
|
| + addNamedSource("/part.dart", r'''
|
| +library lib1;
|
| +class A {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_importOfNonLibrary_libraryNotDeclared() {
|
| - Source source = addSource(EngineTestCase.createSource(["library lib;", "import 'part.dart';", "A a;"]));
|
| - addNamedSource("/part.dart", EngineTestCase.createSource(["class A {}"]));
|
| + Source source = addSource(r'''
|
| +library lib;
|
| +import 'part.dart';
|
| +A a;''');
|
| + addNamedSource("/part.dart", "class A {}");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_importPrefixes_withFirstLetterDifference() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "import 'lib1.dart' as math;",
|
| - "import 'lib2.dart' as path;",
|
| - "main() {",
|
| - " math.test1();",
|
| - " path.test2();",
|
| - "}"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library lib1;", "test1() {}"]));
|
| - addNamedSource("/lib2.dart", EngineTestCase.createSource(["library lib2;", "test2() {}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +import 'lib1.dart' as math;
|
| +import 'lib2.dart' as path;
|
| +main() {
|
| + math.test1();
|
| + path.test2();
|
| +}''');
|
| + addNamedSource("/lib1.dart", r'''
|
| +library lib1;
|
| +test1() {}''');
|
| + addNamedSource("/lib2.dart", r'''
|
| +library lib2;
|
| +test2() {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_inconsistentCaseExpressionTypes() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(var p) {",
|
| - " switch (p) {",
|
| - " case 1:",
|
| - " break;",
|
| - " case 2:",
|
| - " break;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(var p) {
|
| + switch (p) {
|
| + case 1:
|
| + break;
|
| + case 2:
|
| + break;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_inconsistentMethodInheritance_accessors_typeParameter2() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class A<E> {",
|
| - " E get x {return null;}",
|
| - "}",
|
| - "class B<E> {",
|
| - " E get x {return null;}",
|
| - "}",
|
| - "class C<E> extends A<E> implements B<E> {}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A<E> {
|
| + E get x {return null;}
|
| +}
|
| +class B<E> {
|
| + E get x {return null;}
|
| +}
|
| +class C<E> extends A<E> implements B<E> {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_inconsistentMethodInheritance_accessors_typeParameters_diamond() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class F<E> extends B<E> {}",
|
| - "class D<E> extends F<E> {",
|
| - " external E get g;",
|
| - "}",
|
| - "abstract class C<E> {",
|
| - " E get g;",
|
| - "}",
|
| - "abstract class B<E> implements C<E> {",
|
| - " E get g { return null; }",
|
| - "}",
|
| - "class A<E> extends B<E> implements D<E> {",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class F<E> extends B<E> {}
|
| +class D<E> extends F<E> {
|
| + external E get g;
|
| +}
|
| +abstract class C<E> {
|
| + E get g;
|
| +}
|
| +abstract class B<E> implements C<E> {
|
| + E get g { return null; }
|
| +}
|
| +class A<E> extends B<E> implements D<E> {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_inconsistentMethodInheritance_accessors_typeParameters1() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class A<E> {",
|
| - " E get x;",
|
| - "}",
|
| - "abstract class B<E> {",
|
| - " E get x;",
|
| - "}",
|
| - "class C<E> implements A<E>, B<E> {",
|
| - " E get x => null;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A<E> {
|
| + E get x;
|
| +}
|
| +abstract class B<E> {
|
| + E get x;
|
| +}
|
| +class C<E> implements A<E>, B<E> {
|
| + E get x => null;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_inconsistentMethodInheritance_methods_typeParameter2() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<E> {",
|
| - " x(E e) {}",
|
| - "}",
|
| - "class B<E> {",
|
| - " x(E e) {}",
|
| - "}",
|
| - "class C<E> extends A<E> implements B<E> {",
|
| - " x(E e) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<E> {
|
| + x(E e) {}
|
| +}
|
| +class B<E> {
|
| + x(E e) {}
|
| +}
|
| +class C<E> extends A<E> implements B<E> {
|
| + x(E e) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_inconsistentMethodInheritance_methods_typeParameters1() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<E> {",
|
| - " x(E e) {}",
|
| - "}",
|
| - "class B<E> {",
|
| - " x(E e) {}",
|
| - "}",
|
| - "class C<E> implements A<E>, B<E> {",
|
| - " x(E e) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<E> {
|
| + x(E e) {}
|
| +}
|
| +class B<E> {
|
| + x(E e) {}
|
| +}
|
| +class C<E> implements A<E>, B<E> {
|
| + x(E e) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -1471,16 +1657,16 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_inconsistentMethodInheritance_overrideTrumpsInherits_getter() {
|
| // 16134
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class B<S> {",
|
| - " S get g => null;",
|
| - "}",
|
| - "abstract class I<U> {",
|
| - " U get g => null;",
|
| - "}",
|
| - "class C extends B<double> implements I<int> {",
|
| - " num get g => null;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class B<S> {
|
| + S get g => null;
|
| +}
|
| +abstract class I<U> {
|
| + U get g => null;
|
| +}
|
| +class C extends B<double> implements I<int> {
|
| + num get g => null;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -1488,16 +1674,16 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_inconsistentMethodInheritance_overrideTrumpsInherits_method() {
|
| // 16134
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class B<S> {",
|
| - " m(S s) => null;",
|
| - "}",
|
| - "abstract class I<U> {",
|
| - " m(U u) => null;",
|
| - "}",
|
| - "class C extends B<double> implements I<int> {",
|
| - " m(num n) => null;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class B<S> {
|
| + m(S s) => null;
|
| +}
|
| +abstract class I<U> {
|
| + m(U u) => null;
|
| +}
|
| +class C extends B<double> implements I<int> {
|
| + m(num n) => null;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -1505,188 +1691,243 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_inconsistentMethodInheritance_overrideTrumpsInherits_setter() {
|
| // 16134
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class B<S> {",
|
| - " set t(S s) {}",
|
| - "}",
|
| - "abstract class I<U> {",
|
| - " set t(U u) {}",
|
| - "}",
|
| - "class C extends B<double> implements I<int> {",
|
| - " set t(num n) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class B<S> {
|
| + set t(S s) {}
|
| +}
|
| +abstract class I<U> {
|
| + set t(U u) {}
|
| +}
|
| +class C extends B<double> implements I<int> {
|
| + set t(num n) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_inconsistentMethodInheritance_simple() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class A {",
|
| - " x();",
|
| - "}",
|
| - "abstract class B {",
|
| - " x();",
|
| - "}",
|
| - "class C implements A, B {",
|
| - " x() {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A {
|
| + x();
|
| +}
|
| +abstract class B {
|
| + x();
|
| +}
|
| +class C implements A, B {
|
| + x() {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_initializingFormalForNonExistentField() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " int x;", " A(this.x) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + int x;
|
| + A(this.x) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_instanceAccessToStaticMember_fromComment() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " static m() {}",
|
| - "}",
|
| - "/// [A.m]",
|
| - "main() {",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + static m() {}
|
| +}
|
| +/// [A.m]
|
| +main() {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_instanceAccessToStaticMember_topLevel() {
|
| - Source source = addSource(EngineTestCase.createSource(["m() {}", "main() {", " m();", "}"]));
|
| + Source source = addSource(r'''
|
| +m() {}
|
| +main() {
|
| + m();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_instanceMemberAccessFromStatic_fromComment() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m() {}",
|
| - " /// [m]",
|
| - " static foo() {",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m() {}
|
| + /// [m]
|
| + static foo() {
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_instanceMethodNameCollidesWithSuperclassStatic_field() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'lib.dart';",
|
| - "class B extends A {",
|
| - " _m() {}",
|
| - "}"]));
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library L;", "class A {", " static var _m;", "}"]));
|
| + Source source = addSource(r'''
|
| +import 'lib.dart';
|
| +class B extends A {
|
| + _m() {}
|
| +}''');
|
| + addNamedSource("/lib.dart", r'''
|
| +library L;
|
| +class A {
|
| + static var _m;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_instanceMethodNameCollidesWithSuperclassStatic_method() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'lib.dart';",
|
| - "class B extends A {",
|
| - " _m() {}",
|
| - "}"]));
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library L;", "class A {", " static _m() {}", "}"]));
|
| + Source source = addSource(r'''
|
| +import 'lib.dart';
|
| +class B extends A {
|
| + _m() {}
|
| +}''');
|
| + addNamedSource("/lib.dart", r'''
|
| +library L;
|
| +class A {
|
| + static _m() {}
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, []);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAnnotation_constantVariable_field() {
|
| - Source source = addSource(EngineTestCase.createSource(["@A.C", "class A {", " static const C = 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +@A.C
|
| +class A {
|
| + static const C = 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAnnotation_constantVariable_field_importWithPrefix() {
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library lib;", "class A {", " static const C = 0;", "}"]));
|
| - Source source = addSource(EngineTestCase.createSource(["import 'lib.dart' as p;", "@p.A.C", "main() {", "}"]));
|
| + addNamedSource("/lib.dart", r'''
|
| +library lib;
|
| +class A {
|
| + static const C = 0;
|
| +}''');
|
| + Source source = addSource(r'''
|
| +import 'lib.dart' as p;
|
| +@p.A.C
|
| +main() {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAnnotation_constantVariable_topLevel() {
|
| - Source source = addSource(EngineTestCase.createSource(["const C = 0;", "@C", "main() {", "}"]));
|
| + Source source = addSource(r'''
|
| +const C = 0;
|
| +@C
|
| +main() {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAnnotation_constantVariable_topLevel_importWithPrefix() {
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library lib;", "const C = 0;"]));
|
| - Source source = addSource(EngineTestCase.createSource(["import 'lib.dart' as p;", "@p.C", "main() {", "}"]));
|
| + addNamedSource("/lib.dart", r'''
|
| +library lib;
|
| +const C = 0;''');
|
| + Source source = addSource(r'''
|
| +import 'lib.dart' as p;
|
| +@p.C
|
| +main() {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAnnotation_constConstructor_importWithPrefix() {
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library lib;", "class A {", " const A(int p);", "}"]));
|
| - Source source = addSource(EngineTestCase.createSource(["import 'lib.dart' as p;", "@p.A(42)", "main() {", "}"]));
|
| + addNamedSource("/lib.dart", r'''
|
| +library lib;
|
| +class A {
|
| + const A(int p);
|
| +}''');
|
| + Source source = addSource(r'''
|
| +import 'lib.dart' as p;
|
| +@p.A(42)
|
| +main() {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAnnotation_constConstructor_named_importWithPrefix() {
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource([
|
| - "library lib;",
|
| - "class A {",
|
| - " const A.named(int p);",
|
| - "}"]));
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'lib.dart' as p;",
|
| - "@p.A.named(42)",
|
| - "main() {",
|
| - "}"]));
|
| + addNamedSource("/lib.dart", r'''
|
| +library lib;
|
| +class A {
|
| + const A.named(int p);
|
| +}''');
|
| + Source source = addSource(r'''
|
| +import 'lib.dart' as p;
|
| +@p.A.named(42)
|
| +main() {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAssignment() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " var x;", " var y;", " x = y;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + var x;
|
| + var y;
|
| + x = y;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAssignment_compoundAssignment() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class byte {",
|
| - " int _value;",
|
| - " byte(this._value);",
|
| - " byte operator +(int val) { return this; }",
|
| - "}",
|
| - "",
|
| - "void main() {",
|
| - " byte b = new byte(52);",
|
| - " b += 3;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class byte {
|
| + int _value;
|
| + byte(this._value);
|
| + byte operator +(int val) { return this; }
|
| +}
|
| +
|
| +void main() {
|
| + byte b = new byte(52);
|
| + b += 3;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAssignment_defaultValue_named() {
|
| - Source source = addSource(EngineTestCase.createSource(["f({String x: '0'}) {", "}"]));
|
| + Source source = addSource(r'''
|
| +f({String x: '0'}) {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAssignment_defaultValue_optional() {
|
| - Source source = addSource(EngineTestCase.createSource(["f([String x = '0']) {", "}"]));
|
| + Source source = addSource(r'''
|
| +f([String x = '0']) {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -1697,15 +1938,15 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| //
|
| // This test and 'test_invalidAssignment_implicitlyImplementFunctionViaCall_2()'
|
| // are closely related: here we see that 'I' checks as a subtype of 'IntToInt'.
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class I {",
|
| - " int call(int x) => 0;",
|
| - "}",
|
| - "class C implements I {",
|
| - " noSuchMethod(_) => null;",
|
| - "}",
|
| - "typedef int IntToInt(int x);",
|
| - "IntToInt f = new I();"]));
|
| + Source source = addSource(r'''
|
| +class I {
|
| + int call(int x) => 0;
|
| +}
|
| +class C implements I {
|
| + noSuchMethod(_) => null;
|
| +}
|
| +typedef int IntToInt(int x);
|
| +IntToInt f = new I();''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -1718,15 +1959,15 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| // check as a subtype of 'IntToInt'. Together with
|
| // 'test_invalidAssignment_implicitlyImplementFunctionViaCall_1()' we see
|
| // that subtyping is not transitive here.
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class I {",
|
| - " int call(int x) => 0;",
|
| - "}",
|
| - "class C implements I {",
|
| - " noSuchMethod(_) => null;",
|
| - "}",
|
| - "typedef int IntToInt(int x);",
|
| - "IntToInt f = new C();"]));
|
| + Source source = addSource(r'''
|
| +class I {
|
| + int call(int x) => 0;
|
| +}
|
| +class C implements I {
|
| + noSuchMethod(_) => null;
|
| +}
|
| +typedef int IntToInt(int x);
|
| +IntToInt f = new C();''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -1737,15 +1978,15 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| //
|
| // Like 'test_invalidAssignment_implicitlyImplementFunctionViaCall_2()',
|
| // but uses type 'Function' instead of more precise type 'IntToInt' for 'f'.
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class I {",
|
| - " int call(int x) => 0;",
|
| - "}",
|
| - "class C implements I {",
|
| - " noSuchMethod(_) => null;",
|
| - "}",
|
| - "typedef int IntToInt(int x);",
|
| - "Function f = new C();"]));
|
| + Source source = addSource(r'''
|
| +class I {
|
| + int call(int x) => 0;
|
| +}
|
| +class C implements I {
|
| + noSuchMethod(_) => null;
|
| +}
|
| +typedef int IntToInt(int x);
|
| +Function f = new C();''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -1761,383 +2002,413 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| // for '<:'. However, many of the :/tools/test.py tests assume this transitivity
|
| // for 'JsBuilder' objects, assigning them to '(String) -> dynamic'. The declared type of
|
| // 'JsBuilder.call' is '(String, [dynamic]) -> Expression'.
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class I {",
|
| - " int call([int x]) => 0;",
|
| - "}",
|
| - "class C implements I {",
|
| - " noSuchMethod(_) => null;",
|
| - "}",
|
| - "typedef int VoidToInt();",
|
| - "VoidToInt f = new C();"]));
|
| + Source source = addSource(r'''
|
| +class I {
|
| + int call([int x]) => 0;
|
| +}
|
| +class C implements I {
|
| + noSuchMethod(_) => null;
|
| +}
|
| +typedef int VoidToInt();
|
| +VoidToInt f = new C();''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidAssignment_toDynamic() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " var g;", " g = () => 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + var g;
|
| + g = () => 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidFactoryNameNotAClass() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " factory A() {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + factory A() {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidIdentifierInAsync() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m() {",
|
| - " int async;",
|
| - " int await;",
|
| - " int yield;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m() {
|
| + int async;
|
| + int await;
|
| + int yield;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidMethodOverrideNamedParamType() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m({int a}) {}",
|
| - "}",
|
| - "class B implements A {",
|
| - " m({int a, int b}) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m({int a}) {}
|
| +}
|
| +class B implements A {
|
| + m({int a, int b}) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideDifferentDefaultValues_named() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m({int p : 0}) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " m({int p : 0}) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m({int p : 0}) {}
|
| +}
|
| +class B extends A {
|
| + m({int p : 0}) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideDifferentDefaultValues_named_function() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "nothing() => 'nothing';",
|
| - "class A {",
|
| - " thing(String a, {orElse : nothing}) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " thing(String a, {orElse : nothing}) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +nothing() => 'nothing';
|
| +class A {
|
| + thing(String a, {orElse : nothing}) {}
|
| +}
|
| +class B extends A {
|
| + thing(String a, {orElse : nothing}) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideDifferentDefaultValues_positional() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m([int p = 0]) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " m([int p = 0]) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m([int p = 0]) {}
|
| +}
|
| +class B extends A {
|
| + m([int p = 0]) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideDifferentDefaultValues_positional_changedOrder() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m([int a = 0, String b = '0']) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " m([int b = 0, String a = '0']) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m([int a = 0, String b = '0']) {}
|
| +}
|
| +class B extends A {
|
| + m([int b = 0, String a = '0']) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideDifferentDefaultValues_positional_function() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "nothing() => 'nothing';",
|
| - "class A {",
|
| - " thing(String a, [orElse = nothing]) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " thing(String a, [orElse = nothing]) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +nothing() => 'nothing';
|
| +class A {
|
| + thing(String a, [orElse = nothing]) {}
|
| +}
|
| +class B extends A {
|
| + thing(String a, [orElse = nothing]) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideNamed_unorderedNamedParameter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m({a, b}) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " m({b, a}) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m({a, b}) {}
|
| +}
|
| +class B extends A {
|
| + m({b, a}) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideRequired_less() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m(a, b) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " m(a, [b]) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m(a, b) {}
|
| +}
|
| +class B extends A {
|
| + m(a, [b]) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideRequired_same() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m(a) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " m(a) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m(a) {}
|
| +}
|
| +class B extends A {
|
| + m(a) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideReturnType_returnType_interface() {
|
| - Source source = addNamedSource("/test.dart", EngineTestCase.createSource([
|
| - "abstract class A {",
|
| - " num m();",
|
| - "}",
|
| - "class B implements A {",
|
| - " int m() { return 1; }",
|
| - "}"]));
|
| + Source source = addNamedSource("/test.dart", r'''
|
| +abstract class A {
|
| + num m();
|
| +}
|
| +class B implements A {
|
| + int m() { return 1; }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideReturnType_returnType_interface2() {
|
| - Source source = addNamedSource("/test.dart", EngineTestCase.createSource([
|
| - "abstract class A {",
|
| - " num m();",
|
| - "}",
|
| - "abstract class B implements A {",
|
| - "}",
|
| - "class C implements B {",
|
| - " int m() { return 1; }",
|
| - "}"]));
|
| + Source source = addNamedSource("/test.dart", r'''
|
| +abstract class A {
|
| + num m();
|
| +}
|
| +abstract class B implements A {
|
| +}
|
| +class C implements B {
|
| + int m() { return 1; }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideReturnType_returnType_mixin() {
|
| - Source source = addNamedSource("/test.dart", EngineTestCase.createSource([
|
| - "class A {",
|
| - " num m() { return 0; }",
|
| - "}",
|
| - "class B extends Object with A {",
|
| - " int m() { return 1; }",
|
| - "}"]));
|
| + Source source = addNamedSource("/test.dart", r'''
|
| +class A {
|
| + num m() { return 0; }
|
| +}
|
| +class B extends Object with A {
|
| + int m() { return 1; }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideReturnType_returnType_parameterizedTypes() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class A<E> {",
|
| - " List<E> m();",
|
| - "}",
|
| - "class B extends A<dynamic> {",
|
| - " List<dynamic> m() { return new List<dynamic>(); }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A<E> {
|
| + List<E> m();
|
| +}
|
| +class B extends A<dynamic> {
|
| + List<dynamic> m() { return new List<dynamic>(); }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideReturnType_returnType_sameType() {
|
| - Source source = addNamedSource("/test.dart", EngineTestCase.createSource([
|
| - "class A {",
|
| - " int m() { return 0; }",
|
| - "}",
|
| - "class B extends A {",
|
| - " int m() { return 1; }",
|
| - "}"]));
|
| + Source source = addNamedSource("/test.dart", r'''
|
| +class A {
|
| + int m() { return 0; }
|
| +}
|
| +class B extends A {
|
| + int m() { return 1; }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideReturnType_returnType_superclass() {
|
| - Source source = addNamedSource("/test.dart", EngineTestCase.createSource([
|
| - "class A {",
|
| - " num m() { return 0; }",
|
| - "}",
|
| - "class B extends A {",
|
| - " int m() { return 1; }",
|
| - "}"]));
|
| + Source source = addNamedSource("/test.dart", r'''
|
| +class A {
|
| + num m() { return 0; }
|
| +}
|
| +class B extends A {
|
| + int m() { return 1; }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideReturnType_returnType_superclass2() {
|
| - Source source = addNamedSource("/test.dart", EngineTestCase.createSource([
|
| - "class A {",
|
| - " num m() { return 0; }",
|
| - "}",
|
| - "class B extends A {",
|
| - "}",
|
| - "class C extends B {",
|
| - " int m() { return 1; }",
|
| - "}"]));
|
| + Source source = addNamedSource("/test.dart", r'''
|
| +class A {
|
| + num m() { return 0; }
|
| +}
|
| +class B extends A {
|
| +}
|
| +class C extends B {
|
| + int m() { return 1; }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidOverrideReturnType_returnType_void() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " void m() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " int m() { return 0; }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + void m() {}
|
| +}
|
| +class B extends A {
|
| + int m() { return 0; }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidReferenceToThis_constructor() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " A() {", " var v = this;", " }", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A() {
|
| + var v = this;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidReferenceToThis_instanceMethod() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " m() {", " var v = this;", " }", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m() {
|
| + var v = this;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidTypeArgumentForKey() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m() {",
|
| - " return const <int, int>{};",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m() {
|
| + return const <int, int>{};
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidTypeArgumentInConstList() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<E> {",
|
| - " m() {",
|
| - " return <E>[];",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<E> {
|
| + m() {
|
| + return <E>[];
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invalidTypeArgumentInConstMap() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<E> {",
|
| - " m() {",
|
| - " return <String, E>{};",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<E> {
|
| + m() {
|
| + return <String, E>{};
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invocationOfNonFunction_dynamic() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var f;",
|
| - "}",
|
| - "class B extends A {",
|
| - " g() {",
|
| - " f();",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var f;
|
| +}
|
| +class B extends A {
|
| + g() {
|
| + f();
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invocationOfNonFunction_getter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var g;",
|
| - "}",
|
| - "f() {",
|
| - " A a;",
|
| - " a.g();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var g;
|
| +}
|
| +f() {
|
| + A a;
|
| + a.g();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invocationOfNonFunction_localVariable() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " var g;", " g();", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + var g;
|
| + g();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invocationOfNonFunction_localVariable_dynamic() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {}", "main() {", " var v = f;", " v();", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {}
|
| +main() {
|
| + var v = f;
|
| + v();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invocationOfNonFunction_localVariable_dynamic2() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f() {}",
|
| - "main() {",
|
| - " var v = f;",
|
| - " v = 1;",
|
| - " v();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f() {}
|
| +main() {
|
| + var v = f;
|
| + v = 1;
|
| + v();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_invocationOfNonFunction_Object() {
|
| - Source source = addSource(EngineTestCase.createSource(["main() {", " Object v = null;", " v();", "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + Object v = null;
|
| + v();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -2145,24 +2416,26 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_invocationOfNonFunction_proxyOnFunctionClass() {
|
| // 16078
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "@proxy",
|
| - "class Functor implements Function {",
|
| - " noSuchMethod(inv) {",
|
| - " return 42;",
|
| - " }",
|
| - "}",
|
| - "main() {",
|
| - " Functor f = new Functor();",
|
| - " f();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +@proxy
|
| +class Functor implements Function {
|
| + noSuchMethod(inv) {
|
| + return 42;
|
| + }
|
| +}
|
| +main() {
|
| + Functor f = new Functor();
|
| + f();
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, []);
|
| verify([source]);
|
| }
|
|
|
| void test_listElementTypeNotAssignable() {
|
| - Source source = addSource(EngineTestCase.createSource(["var v1 = <int> [42];", "var v2 = const <int> [42];"]));
|
| + Source source = addSource(r'''
|
| +var v1 = <int> [42];
|
| +var v2 = const <int> [42];''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -2170,82 +2443,101 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_loadLibraryDefined() {
|
| resolveWithAndWithoutExperimental(<String> [
|
| - EngineTestCase.createSource(["library lib1;", "foo() => 22;"]),
|
| - EngineTestCase.createSource([
|
| - "import 'lib1.dart' deferred as other;",
|
| - "main() {",
|
| - " other.loadLibrary().then((_) => other.foo());",
|
| - "}"])], <ErrorCode> [
|
| + r'''
|
| +library lib1;
|
| +foo() => 22;''',
|
| + r'''
|
| +import 'lib1.dart' deferred as other;
|
| +main() {
|
| + other.loadLibrary().then((_) => other.foo());
|
| +}'''], <ErrorCode> [
|
| ParserErrorCode.DEFERRED_IMPORTS_NOT_SUPPORTED,
|
| StaticTypeWarningCode.UNDEFINED_FUNCTION], <ErrorCode> []);
|
| }
|
|
|
| void test_mapKeyTypeNotAssignable() {
|
| - Source source = addSource(EngineTestCase.createSource(["var v = <String, int > {'a' : 1};"]));
|
| + Source source = addSource("var v = <String, int > {'a' : 1};");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_memberWithClassName_setter() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " set A(v) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + set A(v) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_methodDeclaration_scope_signature() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "const app = 0;",
|
| - "class A {",
|
| - " foo(@app int app) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +const app = 0;
|
| +class A {
|
| + foo(@app int app) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_misMatchedGetterAndSetterTypes_instance_sameTypes() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class C {",
|
| - " int get x => 0;",
|
| - " set x(int v) {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class C {
|
| + int get x => 0;
|
| + set x(int v) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_misMatchedGetterAndSetterTypes_instance_unspecifiedGetter() {
|
| - Source source = addSource(EngineTestCase.createSource(["class C {", " get x => 0;", " set x(String v) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class C {
|
| + get x => 0;
|
| + set x(String v) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_misMatchedGetterAndSetterTypes_instance_unspecifiedSetter() {
|
| - Source source = addSource(EngineTestCase.createSource(["class C {", " int get x => 0;", " set x(v) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class C {
|
| + int get x => 0;
|
| + set x(v) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_misMatchedGetterAndSetterTypes_topLevel_sameTypes() {
|
| - Source source = addSource(EngineTestCase.createSource(["int get x => 0;", "set x(int v) {}"]));
|
| + Source source = addSource(r'''
|
| +int get x => 0;
|
| +set x(int v) {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_misMatchedGetterAndSetterTypes_topLevel_unspecifiedGetter() {
|
| - Source source = addSource(EngineTestCase.createSource(["get x => 0;", "set x(String v) {}"]));
|
| + Source source = addSource(r'''
|
| +get x => 0;
|
| +set x(String v) {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_misMatchedGetterAndSetterTypes_topLevel_unspecifiedSetter() {
|
| - Source source = addSource(EngineTestCase.createSource(["int get x => 0;", "set x(v) {}"]));
|
| + Source source = addSource(r'''
|
| +int get x => 0;
|
| +set x(v) {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -2255,16 +2547,16 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| AnalysisOptionsImpl analysisOptions = new AnalysisOptionsImpl();
|
| analysisOptions.enableEnum = true;
|
| resetWithOptions(analysisOptions);
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "enum E { A, B, C }",
|
| - "",
|
| - "f(E e) {",
|
| - " switch (e) {",
|
| - " case E.A: break;",
|
| - " case E.B: break;",
|
| - " case E.C: break;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +enum E { A, B, C }
|
| +
|
| +f(E e) {
|
| + switch (e) {
|
| + case E.A: break;
|
| + case E.B: break;
|
| + case E.C: break;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -2274,217 +2566,229 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| AnalysisOptionsImpl analysisOptions = new AnalysisOptionsImpl();
|
| analysisOptions.enableEnum = true;
|
| resetWithOptions(analysisOptions);
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "enum E { A, B, C }",
|
| - "",
|
| - "f(E e) {",
|
| - " switch (e) {",
|
| - " case E.B: break;",
|
| - " default: break;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +enum E { A, B, C }
|
| +
|
| +f(E e) {
|
| + switch (e) {
|
| + case E.B: break;
|
| + default: break;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_mixedReturnTypes_differentScopes() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class C {",
|
| - " m(int x) {",
|
| - " f(int y) {",
|
| - " return;",
|
| - " }",
|
| - " f(x);",
|
| - " return 0;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class C {
|
| + m(int x) {
|
| + f(int y) {
|
| + return;
|
| + }
|
| + f(x);
|
| + return 0;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_mixedReturnTypes_ignoreImplicit() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(bool p) {",
|
| - " if (p) return 42;",
|
| - " // implicit 'return;' is ignored",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(bool p) {
|
| + if (p) return 42;
|
| + // implicit 'return;' is ignored
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_mixedReturnTypes_ignoreImplicit2() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(bool p) {",
|
| - " if (p) {",
|
| - " return 42;",
|
| - " } else {",
|
| - " return 42;",
|
| - " }",
|
| - " // implicit 'return;' is ignored",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(bool p) {
|
| + if (p) {
|
| + return 42;
|
| + } else {
|
| + return 42;
|
| + }
|
| + // implicit 'return;' is ignored
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_mixedReturnTypes_sameKind() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class C {",
|
| - " m(int x) {",
|
| - " if (x < 0) {",
|
| - " return 1;",
|
| - " }",
|
| - " return 0;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class C {
|
| + m(int x) {
|
| + if (x < 0) {
|
| + return 1;
|
| + }
|
| + return 0;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_mixinDeclaresConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m() {}",
|
| - "}",
|
| - "class B extends Object with A {}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m() {}
|
| +}
|
| +class B extends Object with A {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_mixinDeclaresConstructor_factory() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " factory A() {}",
|
| - "}",
|
| - "class B extends Object with A {}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + factory A() {}
|
| +}
|
| +class B extends Object with A {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_mixinInheritsFromNotObject_classDeclaration_mixTypeAlias() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {}",
|
| - "class B = Object with A;",
|
| - "class C extends Object with B {}"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +class B = Object with A;
|
| +class C extends Object with B {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_mixinInheritsFromNotObject_typedef_mixTypeAlias() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {}",
|
| - "class B = Object with A;",
|
| - "class C = Object with B;"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +class B = Object with A;
|
| +class C = Object with B;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_multipleSuperInitializers_no() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {}", "class B extends A {", " B() {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +class B extends A {
|
| + B() {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_multipleSuperInitializers_single() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {}",
|
| - "class B extends A {",
|
| - " B() : super() {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +class B extends A {
|
| + B() : super() {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nativeFunctionBodyInNonSDKCode_function() {
|
| - Source source = addSource(EngineTestCase.createSource(["import 'dart-ext:x';", "int m(a) native 'string';"]));
|
| + Source source = addSource(r'''
|
| +import 'dart-ext:x';
|
| +int m(a) native 'string';''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| // Cannot verify the AST because the import's URI cannot be resolved.
|
| }
|
|
|
| void test_newWithAbstractClass_factory() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class A {",
|
| - " factory A() { return new B(); }",
|
| - "}",
|
| - "class B implements A {",
|
| - " B() {}",
|
| - "}",
|
| - "A f() {",
|
| - " return new A();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A {
|
| + factory A() { return new B(); }
|
| +}
|
| +class B implements A {
|
| + B() {}
|
| +}
|
| +A f() {
|
| + return new A();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_newWithUndefinedConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A.name() {}",
|
| - "}",
|
| - "f() {",
|
| - " new A.name();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A.name() {}
|
| +}
|
| +f() {
|
| + new A.name();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_newWithUndefinedConstructorDefault() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " A() {}", "}", "f() {", " new A();", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A() {}
|
| +}
|
| +f() {
|
| + new A();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_abstractsDontOverrideConcretes_getter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " int get g => 0;",
|
| - "}",
|
| - "abstract class B extends A {",
|
| - " int get g;",
|
| - "}",
|
| - "class C extends B {}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + int get g => 0;
|
| +}
|
| +abstract class B extends A {
|
| + int get g;
|
| +}
|
| +class C extends B {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_abstractsDontOverrideConcretes_method() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m(p) {}",
|
| - "}",
|
| - "abstract class B extends A {",
|
| - " m(p);",
|
| - "}",
|
| - "class C extends B {}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m(p) {}
|
| +}
|
| +abstract class B extends A {
|
| + m(p);
|
| +}
|
| +class C extends B {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_abstractsDontOverrideConcretes_setter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " set s(v) {}",
|
| - "}",
|
| - "abstract class B extends A {",
|
| - " set s(v);",
|
| - "}",
|
| - "class C extends B {}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + set s(v) {}
|
| +}
|
| +abstract class B extends A {
|
| + set s(v);
|
| +}
|
| +class C extends B {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -2492,13 +2796,13 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_classTypeAlias_interface() {
|
| // 15979
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class M {}",
|
| - "abstract class A {}",
|
| - "abstract class I {",
|
| - " m();",
|
| - "}",
|
| - "abstract class B = A with M implements I;"]));
|
| + Source source = addSource(r'''
|
| +abstract class M {}
|
| +abstract class A {}
|
| +abstract class I {
|
| + m();
|
| +}
|
| +abstract class B = A with M implements I;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -2506,12 +2810,12 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_classTypeAlias_mixin() {
|
| // 15979
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class M {",
|
| - " m();",
|
| - "}",
|
| - "abstract class A {}",
|
| - "abstract class B = A with M;"]));
|
| + Source source = addSource(r'''
|
| +abstract class M {
|
| + m();
|
| +}
|
| +abstract class A {}
|
| +abstract class B = A with M;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -2519,12 +2823,12 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_classTypeAlias_superclass() {
|
| // 15979
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class M {}",
|
| - "abstract class A {",
|
| - " m();",
|
| - "}",
|
| - "abstract class B = A with M;"]));
|
| + Source source = addSource(r'''
|
| +class M {}
|
| +abstract class A {
|
| + m();
|
| +}
|
| +abstract class B = A with M;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -2532,451 +2836,486 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_mixin_getter() {
|
| // 17034
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var a;",
|
| - "}",
|
| - "abstract class M {",
|
| - " get a;",
|
| - "}",
|
| - "class B extends A with M {}",
|
| - "class C extends B {}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var a;
|
| +}
|
| +abstract class M {
|
| + get a;
|
| +}
|
| +class B extends A with M {}
|
| +class C extends B {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_mixin_method() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m() {}",
|
| - "}",
|
| - "abstract class M {",
|
| - " m();",
|
| - "}",
|
| - "class B extends A with M {}",
|
| - "class C extends B {}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m() {}
|
| +}
|
| +abstract class M {
|
| + m();
|
| +}
|
| +class B extends A with M {}
|
| +class C extends B {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_mixin_setter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var a;",
|
| - "}",
|
| - "abstract class M {",
|
| - " set a(dynamic v);",
|
| - "}",
|
| - "class B extends A with M {}",
|
| - "class C extends B {}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var a;
|
| +}
|
| +abstract class M {
|
| + set a(dynamic v);
|
| +}
|
| +class B extends A with M {}
|
| +class C extends B {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_noSuchMethod_accessor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class A {",
|
| - " int get g;",
|
| - "}",
|
| - "class B extends A {",
|
| - " noSuchMethod(v) => '';",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A {
|
| + int get g;
|
| +}
|
| +class B extends A {
|
| + noSuchMethod(v) => '';
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonAbstractClassInheritsAbstractMemberOne_noSuchMethod_method() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class A {",
|
| - " m(p);",
|
| - "}",
|
| - "class B extends A {",
|
| - " noSuchMethod(v) => '';",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A {
|
| + m(p);
|
| +}
|
| +class B extends A {
|
| + noSuchMethod(v) => '';
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonBoolExpression_functionType() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "bool makeAssertion() => true;",
|
| - "f() {",
|
| - " assert(makeAssertion);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +bool makeAssertion() => true;
|
| +f() {
|
| + assert(makeAssertion);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonBoolExpression_interfaceType() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " assert(true);", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + assert(true);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonBoolNegationExpression() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(bool pb, pd) {",
|
| - " !true;",
|
| - " !false;",
|
| - " !pb;",
|
| - " !pd;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(bool pb, pd) {
|
| + !true;
|
| + !false;
|
| + !pb;
|
| + !pd;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonBoolOperand_and_bool() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "bool f(bool left, bool right) {",
|
| - " return left && right;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +bool f(bool left, bool right) {
|
| + return left && right;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonBoolOperand_and_dynamic() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "bool f(left, dynamic right) {",
|
| - " return left && right;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +bool f(left, dynamic right) {
|
| + return left && right;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonBoolOperand_or_bool() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "bool f(bool left, bool right) {",
|
| - " return left || right;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +bool f(bool left, bool right) {
|
| + return left || right;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonBoolOperand_or_dynamic() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "bool f(dynamic left, right) {",
|
| - " return left || right;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +bool f(dynamic left, right) {
|
| + return left || right;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstantDefaultValue_function_named() {
|
| - Source source = addSource(EngineTestCase.createSource(["f({x : 2 + 3}) {}"]));
|
| + Source source = addSource("f({x : 2 + 3}) {}");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstantDefaultValue_function_positional() {
|
| - Source source = addSource(EngineTestCase.createSource(["f([x = 2 + 3]) {}"]));
|
| + Source source = addSource("f([x = 2 + 3]) {}");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstantDefaultValue_inConstructor_named() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " A({x : 2 + 3}) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A({x : 2 + 3}) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstantDefaultValue_inConstructor_positional() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " A([x = 2 + 3]) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A([x = 2 + 3]) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstantDefaultValue_method_named() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " m({x : 2 + 3}) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m({x : 2 + 3}) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstantDefaultValue_method_positional() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " m([x = 2 + 3]) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m([x = 2 + 3]) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstantValueInInitializer_namedArgument() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " final a;",
|
| - " const A({this.a});",
|
| - "}",
|
| - "class B extends A {",
|
| - " const B({b}) : super(a: b);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final a;
|
| + const A({this.a});
|
| +}
|
| +class B extends A {
|
| + const B({b}) : super(a: b);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstCaseExpression() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f(Type t) {",
|
| - " switch (t) {",
|
| - " case bool:",
|
| - " case int:",
|
| - " return true;",
|
| - " default:",
|
| - " return false;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f(Type t) {
|
| + switch (t) {
|
| + case bool:
|
| + case int:
|
| + return true;
|
| + default:
|
| + return false;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstMapAsExpressionStatement_const() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " const {'a' : 0, 'b' : 1};", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + const {'a' : 0, 'b' : 1};
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstMapAsExpressionStatement_notExpressionStatement() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " var m = {'a' : 0, 'b' : 1};", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + var m = {'a' : 0, 'b' : 1};
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstMapAsExpressionStatement_typeArguments() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " <String, int> {'a' : 0, 'b' : 1};", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + <String, int> {'a' : 0, 'b' : 1};
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstValueInInitializer_binary_bool() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " final v;",
|
| - " const A.a1(bool p) : v = p && true;",
|
| - " const A.a2(bool p) : v = true && p;",
|
| - " const A.b1(bool p) : v = p || true;",
|
| - " const A.b2(bool p) : v = true || p;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final v;
|
| + const A.a1(bool p) : v = p && true;
|
| + const A.a2(bool p) : v = true && p;
|
| + const A.b1(bool p) : v = p || true;
|
| + const A.b2(bool p) : v = true || p;
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, [HintCode.DEAD_CODE]);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstValueInInitializer_binary_dynamic() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " final v;",
|
| - " const A.a1(p) : v = p + 5;",
|
| - " const A.a2(p) : v = 5 + p;",
|
| - " const A.b1(p) : v = p - 5;",
|
| - " const A.b2(p) : v = 5 - p;",
|
| - " const A.c1(p) : v = p * 5;",
|
| - " const A.c2(p) : v = 5 * p;",
|
| - " const A.d1(p) : v = p / 5;",
|
| - " const A.d2(p) : v = 5 / p;",
|
| - " const A.e1(p) : v = p ~/ 5;",
|
| - " const A.e2(p) : v = 5 ~/ p;",
|
| - " const A.f1(p) : v = p > 5;",
|
| - " const A.f2(p) : v = 5 > p;",
|
| - " const A.g1(p) : v = p < 5;",
|
| - " const A.g2(p) : v = 5 < p;",
|
| - " const A.h1(p) : v = p >= 5;",
|
| - " const A.h2(p) : v = 5 >= p;",
|
| - " const A.i1(p) : v = p <= 5;",
|
| - " const A.i2(p) : v = 5 <= p;",
|
| - " const A.j1(p) : v = p % 5;",
|
| - " const A.j2(p) : v = 5 % p;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final v;
|
| + const A.a1(p) : v = p + 5;
|
| + const A.a2(p) : v = 5 + p;
|
| + const A.b1(p) : v = p - 5;
|
| + const A.b2(p) : v = 5 - p;
|
| + const A.c1(p) : v = p * 5;
|
| + const A.c2(p) : v = 5 * p;
|
| + const A.d1(p) : v = p / 5;
|
| + const A.d2(p) : v = 5 / p;
|
| + const A.e1(p) : v = p ~/ 5;
|
| + const A.e2(p) : v = 5 ~/ p;
|
| + const A.f1(p) : v = p > 5;
|
| + const A.f2(p) : v = 5 > p;
|
| + const A.g1(p) : v = p < 5;
|
| + const A.g2(p) : v = 5 < p;
|
| + const A.h1(p) : v = p >= 5;
|
| + const A.h2(p) : v = 5 >= p;
|
| + const A.i1(p) : v = p <= 5;
|
| + const A.i2(p) : v = 5 <= p;
|
| + const A.j1(p) : v = p % 5;
|
| + const A.j2(p) : v = 5 % p;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| // operations on "p" are not resolved
|
| }
|
|
|
| void test_nonConstValueInInitializer_binary_int() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " final v;",
|
| - " const A.a1(int p) : v = p ^ 5;",
|
| - " const A.a2(int p) : v = 5 ^ p;",
|
| - " const A.b1(int p) : v = p & 5;",
|
| - " const A.b2(int p) : v = 5 & p;",
|
| - " const A.c1(int p) : v = p | 5;",
|
| - " const A.c2(int p) : v = 5 | p;",
|
| - " const A.d1(int p) : v = p >> 5;",
|
| - " const A.d2(int p) : v = 5 >> p;",
|
| - " const A.e1(int p) : v = p << 5;",
|
| - " const A.e2(int p) : v = 5 << p;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final v;
|
| + const A.a1(int p) : v = p ^ 5;
|
| + const A.a2(int p) : v = 5 ^ p;
|
| + const A.b1(int p) : v = p & 5;
|
| + const A.b2(int p) : v = 5 & p;
|
| + const A.c1(int p) : v = p | 5;
|
| + const A.c2(int p) : v = 5 | p;
|
| + const A.d1(int p) : v = p >> 5;
|
| + const A.d2(int p) : v = 5 >> p;
|
| + const A.e1(int p) : v = p << 5;
|
| + const A.e2(int p) : v = 5 << p;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstValueInInitializer_binary_num() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " final v;",
|
| - " const A.a1(num p) : v = p + 5;",
|
| - " const A.a2(num p) : v = 5 + p;",
|
| - " const A.b1(num p) : v = p - 5;",
|
| - " const A.b2(num p) : v = 5 - p;",
|
| - " const A.c1(num p) : v = p * 5;",
|
| - " const A.c2(num p) : v = 5 * p;",
|
| - " const A.d1(num p) : v = p / 5;",
|
| - " const A.d2(num p) : v = 5 / p;",
|
| - " const A.e1(num p) : v = p ~/ 5;",
|
| - " const A.e2(num p) : v = 5 ~/ p;",
|
| - " const A.f1(num p) : v = p > 5;",
|
| - " const A.f2(num p) : v = 5 > p;",
|
| - " const A.g1(num p) : v = p < 5;",
|
| - " const A.g2(num p) : v = 5 < p;",
|
| - " const A.h1(num p) : v = p >= 5;",
|
| - " const A.h2(num p) : v = 5 >= p;",
|
| - " const A.i1(num p) : v = p <= 5;",
|
| - " const A.i2(num p) : v = 5 <= p;",
|
| - " const A.j1(num p) : v = p % 5;",
|
| - " const A.j2(num p) : v = 5 % p;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final v;
|
| + const A.a1(num p) : v = p + 5;
|
| + const A.a2(num p) : v = 5 + p;
|
| + const A.b1(num p) : v = p - 5;
|
| + const A.b2(num p) : v = 5 - p;
|
| + const A.c1(num p) : v = p * 5;
|
| + const A.c2(num p) : v = 5 * p;
|
| + const A.d1(num p) : v = p / 5;
|
| + const A.d2(num p) : v = 5 / p;
|
| + const A.e1(num p) : v = p ~/ 5;
|
| + const A.e2(num p) : v = 5 ~/ p;
|
| + const A.f1(num p) : v = p > 5;
|
| + const A.f2(num p) : v = 5 > p;
|
| + const A.g1(num p) : v = p < 5;
|
| + const A.g2(num p) : v = 5 < p;
|
| + const A.h1(num p) : v = p >= 5;
|
| + const A.h2(num p) : v = 5 >= p;
|
| + const A.i1(num p) : v = p <= 5;
|
| + const A.i2(num p) : v = 5 <= p;
|
| + const A.j1(num p) : v = p % 5;
|
| + const A.j2(num p) : v = 5 % p;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstValueInInitializer_field() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " final int a;",
|
| - " const A() : a = 5;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final int a;
|
| + const A() : a = 5;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstValueInInitializer_redirecting() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A.named(p);",
|
| - " const A() : this.named(42);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A.named(p);
|
| + const A() : this.named(42);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstValueInInitializer_super() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A(p);",
|
| - "}",
|
| - "class B extends A {",
|
| - " const B() : super(42);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A(p);
|
| +}
|
| +class B extends A {
|
| + const B() : super(42);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonConstValueInInitializer_unary() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " final v;",
|
| - " const A.a(bool p) : v = !p;",
|
| - " const A.b(int p) : v = ~p;",
|
| - " const A.c(num p) : v = -p;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + final v;
|
| + const A.a(bool p) : v = !p;
|
| + const A.b(int p) : v = ~p;
|
| + const A.c(num p) : v = -p;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonGenerativeConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A.named() {}",
|
| - " factory A() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " B() : super.named();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A.named() {}
|
| + factory A() {}
|
| +}
|
| +class B extends A {
|
| + B() : super.named();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonTypeInCatchClause_isClass() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "f() {",
|
| - " try {",
|
| - " } on String catch (e) {",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + try {
|
| + } on String catch (e) {
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonTypeInCatchClause_isFunctionTypeAlias() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "typedef F();",
|
| - "f() {",
|
| - " try {",
|
| - " } on F catch (e) {",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +typedef F();
|
| +f() {
|
| + try {
|
| + } on F catch (e) {
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonTypeInCatchClause_isTypeParameter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<T> {",
|
| - " f() {",
|
| - " try {",
|
| - " } on T catch (e) {",
|
| - " }",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<T> {
|
| + f() {
|
| + try {
|
| + } on T catch (e) {
|
| + }
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonTypeInCatchClause_noType() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " try {", " } catch (e) {", " }", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + try {
|
| + } catch (e) {
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonVoidReturnForOperator_no() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " operator []=(a, b) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + operator []=(a, b) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonVoidReturnForOperator_void() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " void operator []=(a, b) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + void operator []=(a, b) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -2997,354 +3336,371 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| }
|
|
|
| void test_nonVoidReturnForSetter_method_no() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " set x(v) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + set x(v) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_nonVoidReturnForSetter_method_void() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " void set x(v) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + void set x(v) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_null_callMethod() {
|
| - Source source = addSource(EngineTestCase.createSource(["main() {", " null.m();", "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + null.m();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_null_callOperator() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "main() {",
|
| - " null + 5;",
|
| - " null == 5;",
|
| - " null[0];",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + null + 5;
|
| + null == 5;
|
| + null[0];
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_optionalParameterInOperator_required() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " operator +(p) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + operator +(p) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_prefixCollidesWithTopLevelMembers() {
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library lib;", "class A {}"]));
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'lib.dart' as p;",
|
| - "typedef P();",
|
| - "p2() {}",
|
| - "var p3;",
|
| - "class p4 {}",
|
| - "p.A a;"]));
|
| + addNamedSource("/lib.dart", r'''
|
| +library lib;
|
| +class A {}''');
|
| + Source source = addSource(r'''
|
| +import 'lib.dart' as p;
|
| +typedef P();
|
| +p2() {}
|
| +var p3;
|
| +class p4 {}
|
| +p.A a;''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_propagateTypeArgs_intoBounds() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "abstract class A<E> {}",
|
| - "abstract class B<F> implements A<F>{}",
|
| - "abstract class C<G, H extends A<G>> {}",
|
| - "class D<I> extends C<I, B<I>> {}"]));
|
| + Source source = addSource(r'''
|
| +abstract class A<E> {}
|
| +abstract class B<F> implements A<F>{}
|
| +abstract class C<G, H extends A<G>> {}
|
| +class D<I> extends C<I, B<I>> {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_propagateTypeArgs_intoSupertype() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<T> {",
|
| - " A(T p);",
|
| - " A.named(T p);",
|
| - "}",
|
| - "class B<S> extends A<S> {",
|
| - " B(S p) : super(p);",
|
| - " B.named(S p) : super.named(p);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<T> {
|
| + A(T p);
|
| + A.named(T p);
|
| +}
|
| +class B<S> extends A<S> {
|
| + B(S p) : super(p);
|
| + B.named(S p) : super.named(p);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_proxy_annotation_prefixed() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "@proxy",
|
| - "class A {}",
|
| - "f(A a) {",
|
| - " a.m();",
|
| - " var x = a.g;",
|
| - " a.s = 1;",
|
| - " var y = a + a;",
|
| - " a++;",
|
| - " ++a;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +@proxy
|
| +class A {}
|
| +f(A a) {
|
| + a.m();
|
| + var x = a.g;
|
| + a.s = 1;
|
| + var y = a + a;
|
| + a++;
|
| + ++a;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_proxy_annotation_prefixed2() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "@proxy",
|
| - "class A {}",
|
| - "class B {",
|
| - " f(A a) {",
|
| - " a.m();",
|
| - " var x = a.g;",
|
| - " a.s = 1;",
|
| - " var y = a + a;",
|
| - " a++;",
|
| - " ++a;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +@proxy
|
| +class A {}
|
| +class B {
|
| + f(A a) {
|
| + a.m();
|
| + var x = a.g;
|
| + a.s = 1;
|
| + var y = a + a;
|
| + a++;
|
| + ++a;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_proxy_annotation_prefixed3() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "class B {",
|
| - " f(A a) {",
|
| - " a.m();",
|
| - " var x = a.g;",
|
| - " a.s = 1;",
|
| - " var y = a + a;",
|
| - " a++;",
|
| - " ++a;",
|
| - " }",
|
| - "}",
|
| - "@proxy",
|
| - "class A {}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +class B {
|
| + f(A a) {
|
| + a.m();
|
| + var x = a.g;
|
| + a.s = 1;
|
| + var y = a + a;
|
| + a++;
|
| + ++a;
|
| + }
|
| +}
|
| +@proxy
|
| +class A {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_proxy_annotation_proxyHasPrefixedIdentifier() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "import 'dart:core' as core;",
|
| - "@core.proxy class PrefixProxy {}",
|
| - "main() {",
|
| - " new PrefixProxy().foo;",
|
| - " new PrefixProxy().foo();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +import 'dart:core' as core;
|
| +@core.proxy class PrefixProxy {}
|
| +main() {
|
| + new PrefixProxy().foo;
|
| + new PrefixProxy().foo();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_proxy_annotation_simple() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "@proxy",
|
| - "class B {",
|
| - " m() {",
|
| - " n();",
|
| - " var x = g;",
|
| - " s = 1;",
|
| - " var y = this + this;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +@proxy
|
| +class B {
|
| + m() {
|
| + n();
|
| + var x = g;
|
| + s = 1;
|
| + var y = this + this;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_proxy_annotation_superclass() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "class B extends A {",
|
| - " m() {",
|
| - " n();",
|
| - " var x = g;",
|
| - " s = 1;",
|
| - " var y = this + this;",
|
| - " }",
|
| - "}",
|
| - "@proxy",
|
| - "class A {}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +class B extends A {
|
| + m() {
|
| + n();
|
| + var x = g;
|
| + s = 1;
|
| + var y = this + this;
|
| + }
|
| +}
|
| +@proxy
|
| +class A {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_proxy_annotation_superclass_mixin() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "class B extends Object with A {",
|
| - " m() {",
|
| - " n();",
|
| - " var x = g;",
|
| - " s = 1;",
|
| - " var y = this + this;",
|
| - " }",
|
| - "}",
|
| - "@proxy",
|
| - "class A {}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +class B extends Object with A {
|
| + m() {
|
| + n();
|
| + var x = g;
|
| + s = 1;
|
| + var y = this + this;
|
| + }
|
| +}
|
| +@proxy
|
| +class A {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_proxy_annotation_superinterface() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "class B implements A {",
|
| - " m() {",
|
| - " n();",
|
| - " var x = g;",
|
| - " s = 1;",
|
| - " var y = this + this;",
|
| - " }",
|
| - "}",
|
| - "@proxy",
|
| - "class A {}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +class B implements A {
|
| + m() {
|
| + n();
|
| + var x = g;
|
| + s = 1;
|
| + var y = this + this;
|
| + }
|
| +}
|
| +@proxy
|
| +class A {}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_proxy_annotation_superinterface_infiniteLoop() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "library L;",
|
| - "class C implements A {",
|
| - " m() {",
|
| - " n();",
|
| - " var x = g;",
|
| - " s = 1;",
|
| - " var y = this + this;",
|
| - " }",
|
| - "}",
|
| - "class B implements A{}",
|
| - "class A implements B{}"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +class C implements A {
|
| + m() {
|
| + n();
|
| + var x = g;
|
| + s = 1;
|
| + var y = this + this;
|
| + }
|
| +}
|
| +class B implements A{}
|
| +class A implements B{}''');
|
| resolve(source);
|
| // Test is that a stack overflow isn't reached in resolution (previous line), no need to assert
|
| // error set.
|
| }
|
|
|
| void test_recursiveConstructorRedirect() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A.a() : this.b();",
|
| - " A.b() : this.c();",
|
| - " A.c() {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A.a() : this.b();
|
| + A.b() : this.c();
|
| + A.c() {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_recursiveFactoryRedirect() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " factory A() = B;",
|
| - "}",
|
| - "class B implements A {",
|
| - " factory B() = C;",
|
| - "}",
|
| - "class C implements B {",
|
| - " factory C() {}",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + factory A() = B;
|
| +}
|
| +class B implements A {
|
| + factory B() = C;
|
| +}
|
| +class C implements B {
|
| + factory C() {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_redirectToInvalidFunctionType() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A implements B {",
|
| - " A(int p) {}",
|
| - "}",
|
| - "class B {",
|
| - " factory B(int p) = A;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A implements B {
|
| + A(int p) {}
|
| +}
|
| +class B {
|
| + factory B(int p) = A;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_redirectToInvalidReturnType() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " factory B() = A;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A() {}
|
| +}
|
| +class B extends A {
|
| + factory B() = A;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_redirectToNonConstConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A.a();",
|
| - " const factory A.b() = A.a;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A.a();
|
| + const factory A.b() = A.a;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_referenceToDeclaredVariableInInitializer_constructorName() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A.x() {}",
|
| - "}",
|
| - "f() {",
|
| - " var x = new A.x();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A.x() {}
|
| +}
|
| +f() {
|
| + var x = new A.x();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_referenceToDeclaredVariableInInitializer_methodName() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " x() {}",
|
| - "}",
|
| - "f(A a) {",
|
| - " var x = a.x();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + x() {}
|
| +}
|
| +f(A a) {
|
| + var x = a.x();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_referenceToDeclaredVariableInInitializer_propertyName() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var x;",
|
| - "}",
|
| - "f(A a) {",
|
| - " var x = a.x;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var x;
|
| +}
|
| +f(A a) {
|
| + var x = a.x;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_rethrowOutsideCatch() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " void m() {",
|
| - " try {} catch (e) {rethrow;}",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + void m() {
|
| + try {} catch (e) {rethrow;}
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_returnInGenerativeConstructor() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " A() { return; }", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A() { return; }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -3352,14 +3708,20 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_returnInGenerator_async() {
|
| resetWithAsync();
|
| - Source source = addSource(EngineTestCase.createSource(["f() async {", " return 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() async {
|
| + return 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_returnInGenerator_sync() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() {", " return 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() {
|
| + return 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -3369,64 +3731,64 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| AnalysisOptionsImpl options = new AnalysisOptionsImpl.con1(analysisContext2.analysisOptions);
|
| options.enableAsync = true;
|
| resetWithOptions(options);
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'dart:async';",
|
| - "class A {",
|
| - " Future<int> m() async {",
|
| - " return 0;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +import 'dart:async';
|
| +class A {
|
| + Future<int> m() async {
|
| + return 0;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_returnOfInvalidType_dynamic() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class TypeError {}",
|
| - "class A {",
|
| - " static void testLogicalOp() {",
|
| - " testOr(a, b, onTypeError) {",
|
| - " try {",
|
| - " return a || b;",
|
| - " } on TypeError catch (t) {",
|
| - " return onTypeError;",
|
| - " }",
|
| - " }",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class TypeError {}
|
| +class A {
|
| + static void testLogicalOp() {
|
| + testOr(a, b, onTypeError) {
|
| + try {
|
| + return a || b;
|
| + } on TypeError catch (t) {
|
| + return onTypeError;
|
| + }
|
| + }
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_returnOfInvalidType_dynamicAsTypeArgument() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class I<T> {",
|
| - " factory I() => new A<T>();",
|
| - "}",
|
| - "class A<T> implements I {",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class I<T> {
|
| + factory I() => new A<T>();
|
| +}
|
| +class A<T> implements I {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_returnOfInvalidType_subtype() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {}",
|
| - "class B extends A {}",
|
| - "A f(B b) { return b; }"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +class B extends A {}
|
| +A f(B b) { return b; }''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_returnOfInvalidType_supertype() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {}",
|
| - "class B extends A {}",
|
| - "B f(A a) { return a; }"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +class B extends A {}
|
| +B f(A a) { return a; }''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -3442,49 +3804,52 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| // A test cannot be added to TypeParameterTypeImplTest since the types returned out of the
|
| // TestTypeProvider don't have a mock 'dart.core' enclosing library element.
|
| // See TypeParameterTypeImpl.isMoreSpecificThan().
|
| - Source source = addSource(EngineTestCase.createSource(["class Foo<T> {", " Type get t => T;", "}"]));
|
| + Source source = addSource(r'''
|
| +class Foo<T> {
|
| + Type get t => T;
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, []);
|
| verify([source]);
|
| }
|
|
|
| void test_returnOfInvalidType_void() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "void f1() {}",
|
| - "void f2() { return; }",
|
| - "void f3() { return null; }",
|
| - "void f4() { return g1(); }",
|
| - "void f5() { return g2(); }",
|
| - "g1() {}",
|
| - "void g2() {}",
|
| - ""]));
|
| + Source source = addSource(r'''
|
| +void f1() {}
|
| +void f2() { return; }
|
| +void f3() { return null; }
|
| +void f4() { return g1(); }
|
| +void f5() { return g2(); }
|
| +g1() {}
|
| +void g2() {}
|
| +''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_returnWithoutValue_noReturnType() {
|
| - Source source = addSource(EngineTestCase.createSource(["f() { return; }"]));
|
| + Source source = addSource("f() { return; }");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_returnWithoutValue_void() {
|
| - Source source = addSource(EngineTestCase.createSource(["void f() { return; }"]));
|
| + Source source = addSource("void f() { return; }");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_reversedTypeArguments() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class Codec<S1, T1> {",
|
| - " Codec<T1, S1> get inverted => new _InvertedCodec<T1, S1>(this);",
|
| - "}",
|
| - "class _InvertedCodec<T2, S2> extends Codec<T2, S2> {",
|
| - " _InvertedCodec(Codec<S2, T2> codec);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class Codec<S1, T1> {
|
| + Codec<T1, S1> get inverted => new _InvertedCodec<T1, S1>(this);
|
| +}
|
| +class _InvertedCodec<T2, S2> extends Codec<T2, S2> {
|
| + _InvertedCodec(Codec<S2, T2> codec);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -3492,669 +3857,717 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_sharedDeferredPrefix() {
|
| resolveWithAndWithoutExperimental(<String> [
|
| - EngineTestCase.createSource(["library lib1;", "f1() {}"]),
|
| - EngineTestCase.createSource(["library lib2;", "f2() {}"]),
|
| - EngineTestCase.createSource(["library lib3;", "f3() {}"]),
|
| - EngineTestCase.createSource([
|
| - "library root;",
|
| - "import 'lib1.dart' deferred as lib1;",
|
| - "import 'lib2.dart' as lib;",
|
| - "import 'lib3.dart' as lib;",
|
| - "main() { lib1.f1(); lib.f2(); lib.f3(); }"])], <ErrorCode> [ParserErrorCode.DEFERRED_IMPORTS_NOT_SUPPORTED], <ErrorCode> []);
|
| + r'''
|
| +library lib1;
|
| +f1() {}''',
|
| + r'''
|
| +library lib2;
|
| +f2() {}''',
|
| + r'''
|
| +library lib3;
|
| +f3() {}''',
|
| + r'''
|
| +library root;
|
| +import 'lib1.dart' deferred as lib1;
|
| +import 'lib2.dart' as lib;
|
| +import 'lib3.dart' as lib;
|
| +main() { lib1.f1(); lib.f2(); lib.f3(); }'''], <ErrorCode> [ParserErrorCode.DEFERRED_IMPORTS_NOT_SUPPORTED], <ErrorCode> []);
|
| }
|
|
|
| void test_staticAccessToInstanceMember_annotation() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " const A.name();",
|
| - "}",
|
| - "@A.name()",
|
| - "main() {",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + const A.name();
|
| +}
|
| +@A.name()
|
| +main() {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_staticAccessToInstanceMember_method() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " static m() {}",
|
| - "}",
|
| - "main() {",
|
| - " A.m;",
|
| - " A.m();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + static m() {}
|
| +}
|
| +main() {
|
| + A.m;
|
| + A.m();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_staticAccessToInstanceMember_propertyAccess_field() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " static var f;",
|
| - "}",
|
| - "main() {",
|
| - " A.f;",
|
| - " A.f = 1;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + static var f;
|
| +}
|
| +main() {
|
| + A.f;
|
| + A.f = 1;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_staticAccessToInstanceMember_propertyAccess_propertyAccessor() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " static get f => 42;",
|
| - " static set f(x) {}",
|
| - "}",
|
| - "main() {",
|
| - " A.f;",
|
| - " A.f = 1;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + static get f => 42;
|
| + static set f(x) {}
|
| +}
|
| +main() {
|
| + A.f;
|
| + A.f = 1;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_superInInvalidContext() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " B() {",
|
| - " var v = super.m();",
|
| - " }",
|
| - " n() {",
|
| - " var v = super.m();",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m() {}
|
| +}
|
| +class B extends A {
|
| + B() {
|
| + var v = super.m();
|
| + }
|
| + n() {
|
| + var v = super.m();
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeAliasCannotReferenceItself_returnClass_withTypeAlias() {
|
| - Source source = addSource(EngineTestCase.createSource(["typedef B A();", "class B {", " A a;", "}"]));
|
| + Source source = addSource(r'''
|
| +typedef B A();
|
| +class B {
|
| + A a;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeArgumentNotMatchingBounds_const() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {}",
|
| - "class B extends A {}",
|
| - "class G<E extends A> {",
|
| - " const G();",
|
| - "}",
|
| - "f() { return const G<B>(); }"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +class B extends A {}
|
| +class G<E extends A> {
|
| + const G();
|
| +}
|
| +f() { return const G<B>(); }''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeArgumentNotMatchingBounds_new() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {}",
|
| - "class B extends A {}",
|
| - "class G<E extends A> {}",
|
| - "f() { return new G<B>(); }"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +class B extends A {}
|
| +class G<E extends A> {}
|
| +f() { return new G<B>(); }''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeArgumentNotMatchingBounds_typeArgumentList_0() {
|
| - Source source = addSource(EngineTestCase.createSource(["abstract class A<T extends A>{}"]));
|
| + Source source = addSource("abstract class A<T extends A>{}");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeArgumentNotMatchingBounds_typeArgumentList_1() {
|
| - Source source = addSource(EngineTestCase.createSource(["abstract class A<T extends A<A>>{}"]));
|
| + Source source = addSource("abstract class A<T extends A<A>>{}");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeArgumentNotMatchingBounds_typeArgumentList_20() {
|
| - Source source = addSource(EngineTestCase.createSource(["abstract class A<T extends A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A>>>>>>>>>>>>>>>>>>>>>{}"]));
|
| + Source source = addSource("abstract class A<T extends A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A<A>>>>>>>>>>>>>>>>>>>>>{}");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_booleanAnd_useInRight() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "main(Object p) {",
|
| - " p is String && p.length != 0;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +main(Object p) {
|
| + p is String && p.length != 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_booleanAnd_useInRight_accessedInClosureRight_noAssignment() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "callMe(f()) { f(); }",
|
| - "main(Object p) {",
|
| - " (p is String) && callMe(() { p.length; });",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +callMe(f()) { f(); }
|
| +main(Object p) {
|
| + (p is String) && callMe(() { p.length; });
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_conditional_issue14655() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {}",
|
| - "class B extends A {}",
|
| - "class C extends B {",
|
| - " mc() {}",
|
| - "}",
|
| - "print(_) {}",
|
| - "main(A p) {",
|
| - " (p is C) && (print(() => p) && (p is B)) ? p.mc() : p = null;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +class B extends A {}
|
| +class C extends B {
|
| + mc() {}
|
| +}
|
| +print(_) {}
|
| +main(A p) {
|
| + (p is C) && (print(() => p) && (p is B)) ? p.mc() : p = null;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_conditional_useInThen() {
|
| - Source source = addSource(EngineTestCase.createSource(["main(Object p) {", " p is String ? p.length : 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +main(Object p) {
|
| + p is String ? p.length : 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_conditional_useInThen_accessedInClosure_noAssignment() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "callMe(f()) { f(); }",
|
| - "main(Object p) {",
|
| - " p is String ? callMe(() { p.length; }) : 0;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +callMe(f()) { f(); }
|
| +main(Object p) {
|
| + p is String ? callMe(() { p.length; }) : 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_functionType_arg_ignoreIfNotMoreSpecific() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "typedef FuncB(B b);",
|
| - "typedef FuncA(A a);",
|
| - "class A {}",
|
| - "class B {}",
|
| - "main(FuncA f) {",
|
| - " if (f is FuncB) {",
|
| - " f(new A());",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +typedef FuncB(B b);
|
| +typedef FuncA(A a);
|
| +class A {}
|
| +class B {}
|
| +main(FuncA f) {
|
| + if (f is FuncB) {
|
| + f(new A());
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_functionType_return_ignoreIfNotMoreSpecific() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {}",
|
| - "typedef FuncAtoDyn(A a);",
|
| - "typedef FuncDynToDyn(x);",
|
| - "main(FuncAtoDyn f) {",
|
| - " if (f is FuncDynToDyn) {",
|
| - " A a = f(new A());",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {}
|
| +typedef FuncAtoDyn(A a);
|
| +typedef FuncDynToDyn(x);
|
| +main(FuncAtoDyn f) {
|
| + if (f is FuncDynToDyn) {
|
| + A a = f(new A());
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_functionType_return_voidToDynamic() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "typedef FuncDynToDyn(x);",
|
| - "typedef void FuncDynToVoid(x);",
|
| - "class A {}",
|
| - "main(FuncDynToVoid f) {",
|
| - " if (f is FuncDynToDyn) {",
|
| - " A a = f(null);",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +typedef FuncDynToDyn(x);
|
| +typedef void FuncDynToVoid(x);
|
| +class A {}
|
| +main(FuncDynToVoid f) {
|
| + if (f is FuncDynToDyn) {
|
| + A a = f(null);
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_accessedInClosure_noAssignment() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "callMe(f()) { f(); }",
|
| - "main(Object p) {",
|
| - " if (p is String) {",
|
| - " callMe(() {",
|
| - " p.length;",
|
| - " });",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +callMe(f()) { f(); }
|
| +main(Object p) {
|
| + if (p is String) {
|
| + callMe(() {
|
| + p.length;
|
| + });
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_extends_moreSpecific() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class V {}",
|
| - "class VP extends V {}",
|
| - "class A<T> {}",
|
| - "class B<S> extends A<S> {",
|
| - " var b;",
|
| - "}",
|
| - "",
|
| - "main(A<V> p) {",
|
| - " if (p is B<VP>) {",
|
| - " p.b;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class V {}
|
| +class VP extends V {}
|
| +class A<T> {}
|
| +class B<S> extends A<S> {
|
| + var b;
|
| +}
|
| +
|
| +main(A<V> p) {
|
| + if (p is B<VP>) {
|
| + p.b;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_hasAssignment_outsideAfter() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "main(Object p) {",
|
| - " if (p is String) {",
|
| - " p.length;",
|
| - " }",
|
| - " p = 0;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +main(Object p) {
|
| + if (p is String) {
|
| + p.length;
|
| + }
|
| + p = 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_hasAssignment_outsideBefore() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "main(Object p, Object p2) {",
|
| - " p = p2;",
|
| - " if (p is String) {",
|
| - " p.length;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +main(Object p, Object p2) {
|
| + p = p2;
|
| + if (p is String) {
|
| + p.length;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_implements_moreSpecific() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class V {}",
|
| - "class VP extends V {}",
|
| - "class A<T> {}",
|
| - "class B<S> implements A<S> {",
|
| - " var b;",
|
| - "}",
|
| - "",
|
| - "main(A<V> p) {",
|
| - " if (p is B<VP>) {",
|
| - " p.b;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class V {}
|
| +class VP extends V {}
|
| +class A<T> {}
|
| +class B<S> implements A<S> {
|
| + var b;
|
| +}
|
| +
|
| +main(A<V> p) {
|
| + if (p is B<VP>) {
|
| + p.b;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_inClosure_assignedAfter_inSameFunction() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "main() {",
|
| - " f(Object p) {",
|
| - " if (p is String) {",
|
| - " p.length;",
|
| - " }",
|
| - " p = 0;",
|
| - " };",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + f(Object p) {
|
| + if (p is String) {
|
| + p.length;
|
| + }
|
| + p = 0;
|
| + };
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_is_and_left() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "bool tt() => true;",
|
| - "main(Object p) {",
|
| - " if (p is String && tt()) {",
|
| - " p.length;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +bool tt() => true;
|
| +main(Object p) {
|
| + if (p is String && tt()) {
|
| + p.length;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_is_and_right() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "bool tt() => true;",
|
| - "main(Object p) {",
|
| - " if (tt() && p is String) {",
|
| - " p.length;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +bool tt() => true;
|
| +main(Object p) {
|
| + if (tt() && p is String) {
|
| + p.length;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_is_and_subThenSuper() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var a;",
|
| - "}",
|
| - "class B extends A {",
|
| - " var b;",
|
| - "}",
|
| - "main(Object p) {",
|
| - " if (p is B && p is A) {",
|
| - " p.a;",
|
| - " p.b;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var a;
|
| +}
|
| +class B extends A {
|
| + var b;
|
| +}
|
| +main(Object p) {
|
| + if (p is B && p is A) {
|
| + p.a;
|
| + p.b;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_is_parenthesized() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "main(Object p) {",
|
| - " if ((p is String)) {",
|
| - " p.length;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +main(Object p) {
|
| + if ((p is String)) {
|
| + p.length;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_if_is_single() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "main(Object p) {",
|
| - " if (p is String) {",
|
| - " p.length;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +main(Object p) {
|
| + if (p is String) {
|
| + p.length;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typePromotion_parentheses() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "main(Object p) {",
|
| - " (p is String) ? p.length : 0;",
|
| - " (p) is String ? p.length : 0;",
|
| - " ((p)) is String ? p.length : 0;",
|
| - " ((p) is String) ? p.length : 0;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +main(Object p) {
|
| + (p is String) ? p.length : 0;
|
| + (p) is String ? p.length : 0;
|
| + ((p)) is String ? p.length : 0;
|
| + ((p) is String) ? p.length : 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeType_class() {
|
| - Source source = addSource(EngineTestCase.createSource(["class C {}", "f(Type t) {}", "main() {", " f(C);", "}"]));
|
| + Source source = addSource(r'''
|
| +class C {}
|
| +f(Type t) {}
|
| +main() {
|
| + f(C);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeType_class_prefixed() {
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library lib;", "class C {}"]));
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'lib.dart' as p;",
|
| - "f(Type t) {}",
|
| - "main() {",
|
| - " f(p.C);",
|
| - "}"]));
|
| + addNamedSource("/lib.dart", r'''
|
| +library lib;
|
| +class C {}''');
|
| + Source source = addSource(r'''
|
| +import 'lib.dart' as p;
|
| +f(Type t) {}
|
| +main() {
|
| + f(p.C);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeType_functionTypeAlias() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "typedef F();",
|
| - "f(Type t) {}",
|
| - "main() {",
|
| - " f(F);",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +typedef F();
|
| +f(Type t) {}
|
| +main() {
|
| + f(F);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_typeType_functionTypeAlias_prefixed() {
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library lib;", "typedef F();"]));
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "import 'lib.dart' as p;",
|
| - "f(Type t) {}",
|
| - "main() {",
|
| - " f(p.F);",
|
| - "}"]));
|
| + addNamedSource("/lib.dart", r'''
|
| +library lib;
|
| +typedef F();''');
|
| + Source source = addSource(r'''
|
| +import 'lib.dart' as p;
|
| +f(Type t) {}
|
| +main() {
|
| + f(p.F);
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedConstructorInInitializer_explicit_named() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A.named() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " B() : super.named();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A.named() {}
|
| +}
|
| +class B extends A {
|
| + B() : super.named();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedConstructorInInitializer_explicit_unnamed() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " B() : super();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A() {}
|
| +}
|
| +class B extends A {
|
| + B() : super();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedConstructorInInitializer_hasOptionalParameters() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A([p]) {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " B();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A([p]) {}
|
| +}
|
| +class B extends A {
|
| + B();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedConstructorInInitializer_implicit() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " B();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A() {}
|
| +}
|
| +class B extends A {
|
| + B();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedConstructorInInitializer_implicit_typeAlias() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class M {}",
|
| - "class A = Object with M;",
|
| - "class B extends A {",
|
| - " B();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class M {}
|
| +class A = Object with M;
|
| +class B extends A {
|
| + B();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedConstructorInInitializer_redirecting() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class Foo {",
|
| - " Foo.ctor();",
|
| - "}",
|
| - "class Bar extends Foo {",
|
| - " Bar() : this.ctor();",
|
| - " Bar.ctor() : super.ctor();",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class Foo {
|
| + Foo.ctor();
|
| +}
|
| +class Bar extends Foo {
|
| + Bar() : this.ctor();
|
| + Bar.ctor() : super.ctor();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedGetter_typeSubstitution() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A<E> {",
|
| - " E element;",
|
| - "}",
|
| - "class B extends A<List> {",
|
| - " m() {",
|
| - " element.last;",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A<E> {
|
| + E element;
|
| +}
|
| +class B extends A<List> {
|
| + m() {
|
| + element.last;
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedIdentifier_hide() {
|
| - Source source = addSource(EngineTestCase.createSource(["library L;", "export 'lib1.dart' hide a;"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library lib1;"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +export 'lib1.dart' hide a;''');
|
| + addNamedSource("/lib1.dart", "library lib1;");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedIdentifier_show() {
|
| - Source source = addSource(EngineTestCase.createSource(["library L;", "export 'lib1.dart' show a;"]));
|
| - addNamedSource("/lib1.dart", EngineTestCase.createSource(["library lib1;"]));
|
| + Source source = addSource(r'''
|
| +library L;
|
| +export 'lib1.dart' show a;''');
|
| + addNamedSource("/lib1.dart", "library lib1;");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedIdentifier_synthetic_whenExpression() {
|
| - Source source = addSource(EngineTestCase.createSource(["print(x) {}", "main() {", " print(is String);", "}"]));
|
| + Source source = addSource(r'''
|
| +print(x) {}
|
| +main() {
|
| + print(is String);
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, [ParserErrorCode.MISSING_IDENTIFIER]);
|
| }
|
|
|
| void test_undefinedIdentifier_synthetic_whenMethodName() {
|
| - Source source = addSource(EngineTestCase.createSource(["print(x) {}", "main(int p) {", " p.();", "}"]));
|
| + Source source = addSource(r'''
|
| +print(x) {}
|
| +main(int p) {
|
| + p.();
|
| +}''');
|
| resolve(source);
|
| assertErrors(source, [ParserErrorCode.MISSING_IDENTIFIER]);
|
| }
|
|
|
| void test_undefinedMethod_functionExpression_callMethod() {
|
| - Source source = addSource(EngineTestCase.createSource(["main() {", " (() => null).call();", "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + (() => null).call();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| // A call to verify(source) fails as '.call()' isn't resolved.
|
| }
|
|
|
| void test_undefinedMethod_functionExpression_directCall() {
|
| - Source source = addSource(EngineTestCase.createSource(["main() {", " (() => null)();", "}"]));
|
| + Source source = addSource(r'''
|
| +main() {
|
| + (() => null)();
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| // A call to verify(source) fails as '(() => null)()' isn't resolved.
|
| }
|
|
|
| void test_undefinedOperator_index() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " operator [](a) {}",
|
| - " operator []=(a, b) {}",
|
| - "}",
|
| - "f(A a) {",
|
| - " a[0];",
|
| - " a[0] = 1;",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + operator [](a) {}
|
| + operator []=(a, b) {}
|
| +}
|
| +f(A a) {
|
| + a[0];
|
| + a[0] = 1;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedOperator_tilde() {
|
| - Source source = addSource(EngineTestCase.createSource(["const A = 3;", "const B = ~((1 << A) - 1);"]));
|
| + Source source = addSource(r'''
|
| +const A = 3;
|
| +const B = ~((1 << A) - 1);''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedSetter_importWithPrefix() {
|
| - addNamedSource("/lib.dart", EngineTestCase.createSource(["library lib;", "set y(int value) {}"]));
|
| - Source source = addSource(EngineTestCase.createSource(["import 'lib.dart' as x;", "main() {", " x.y = 0;", "}"]));
|
| + addNamedSource("/lib.dart", r'''
|
| +library lib;
|
| +set y(int value) {}''');
|
| + Source source = addSource(r'''
|
| +import 'lib.dart' as x;
|
| +main() {
|
| + x.y = 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedSuperMethod_field() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " var m;",
|
| - "}",
|
| - "class B extends A {",
|
| - " f() {",
|
| - " super.m();",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + var m;
|
| +}
|
| +class B extends A {
|
| + f() {
|
| + super.m();
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_undefinedSuperMethod_method() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " m() {}",
|
| - "}",
|
| - "class B extends A {",
|
| - " f() {",
|
| - " super.m();",
|
| - " }",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + m() {}
|
| +}
|
| +class B extends A {
|
| + f() {
|
| + super.m();
|
| + }
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void test_unqualifiedReferenceToNonLocalStaticMember_fromComment_new() {
|
| - Source source = addSource(EngineTestCase.createSource([
|
| - "class A {",
|
| - " A() {}",
|
| - " A.named() {}",
|
| - "}",
|
| - "/// [new A] or [new A.named]",
|
| - "main() {",
|
| - "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + A() {}
|
| + A.named() {}
|
| +}
|
| +/// [new A] or [new A.named]
|
| +main() {
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -4162,27 +4575,30 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_uriDoesNotExist_dll() {
|
| addNamedSource("/lib.dll", "");
|
| - Source source = addSource(EngineTestCase.createSource(["import 'dart-ext:lib';"]));
|
| + Source source = addSource("import 'dart-ext:lib';");
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_uriDoesNotExist_dylib() {
|
| addNamedSource("/lib.dylib", "");
|
| - Source source = addSource(EngineTestCase.createSource(["import 'dart-ext:lib';"]));
|
| + Source source = addSource("import 'dart-ext:lib';");
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_uriDoesNotExist_so() {
|
| addNamedSource("/lib.so", "");
|
| - Source source = addSource(EngineTestCase.createSource(["import 'dart-ext:lib';"]));
|
| + Source source = addSource("import 'dart-ext:lib';");
|
| resolve(source);
|
| assertNoErrors(source);
|
| }
|
|
|
| void test_wrongNumberOfParametersForOperator_index() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " operator []=(a, b) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + operator []=(a, b) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -4212,7 +4628,10 @@ class NonErrorResolverTest extends ResolverTestCase {
|
| }
|
|
|
| void test_wrongNumberOfParametersForSetter() {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " set x(a) {}", "}"]));
|
| + Source source = addSource(r'''
|
| +class A {
|
| + set x(a) {}
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -4220,7 +4639,10 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_yieldEachInNonGenerator_asyncStar() {
|
| resetWithAsync();
|
| - Source source = addSource(EngineTestCase.createSource(["f() async* {", " yield* 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() async* {
|
| + yield* 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -4228,7 +4650,10 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_yieldEachInNonGenerator_syncStar() {
|
| resetWithAsync();
|
| - Source source = addSource(EngineTestCase.createSource(["f() sync* {", " yield* 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() sync* {
|
| + yield* 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -4236,7 +4661,10 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_yieldInNonGenerator_asyncStar() {
|
| resetWithAsync();
|
| - Source source = addSource(EngineTestCase.createSource(["f() async* {", " yield 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() async* {
|
| + yield 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| @@ -4244,14 +4672,20 @@ class NonErrorResolverTest extends ResolverTestCase {
|
|
|
| void test_yieldInNonGenerator_syncStar() {
|
| resetWithAsync();
|
| - Source source = addSource(EngineTestCase.createSource(["f() sync* {", " yield 0;", "}"]));
|
| + Source source = addSource(r'''
|
| +f() sync* {
|
| + yield 0;
|
| +}''');
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
| }
|
|
|
| void _check_wrongNumberOfParametersForOperator(String name, String parameters) {
|
| - Source source = addSource(EngineTestCase.createSource(["class A {", " operator ${name}(${parameters}) {}", "}"]));
|
| + Source source = addSource("""
|
| +class A {
|
| + operator $name($parameters) {}
|
| +}""");
|
| resolve(source);
|
| assertNoErrors(source);
|
| verify([source]);
|
|
|