Skip to content

Commit 35e23fb

Browse files
johnniwinthercommit-bot@chromium.org
johnniwinther
authored and
[email protected]
committed
[cfe] Add tests in preparation for refactoring of class hierarchy builder
Change-Id: Ic8df1dabe3ed53c41e0660315f87c313759585e5 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/177707 Commit-Queue: Johnni Winther <[email protected]> Reviewed-by: Dmitry Stefantsov <[email protected]>
1 parent b1b0a6c commit 35e23fb

File tree

300 files changed

+18392
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

300 files changed

+18392
-0
lines changed

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_field.dart

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
// Copyright (c) 2021, the Dart project authors. Please see the AUTHORS file
2+
// for details. All rights reserved. Use of this source code is governed by a
3+
// BSD-style license that can be found in the LICENSE file.
4+
5+
abstract class AbstractSuper {
6+
int extendedConcreteField = 0;
7+
8+
abstract int extendedAbstractField;
9+
10+
int declaredConcreteExtendsConcreteField = 0;
11+
12+
int declaredAbstractExtendsConcreteField = 0;
13+
14+
abstract int declaredConcreteExtendsAbstractField;
15+
16+
abstract int declaredAbstractExtendsAbstractField;
17+
}
18+
19+
abstract class AbstractClass extends AbstractSuper {
20+
int declaredConcreteField = 0;
21+
22+
abstract int declaredAbstractField;
23+
24+
int declaredConcreteExtendsConcreteField = 0;
25+
26+
abstract int declaredAbstractExtendsConcreteField;
27+
28+
int declaredConcreteExtendsAbstractField = 0;
29+
30+
abstract int declaredAbstractExtendsAbstractField;
31+
}
32+
33+
main() {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_field.dart.textual_outline.expect

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
abstract class AbstractSuper {
2+
int extendedConcreteField = 0;
3+
abstract int extendedAbstractField;
4+
int declaredConcreteExtendsConcreteField = 0;
5+
int declaredAbstractExtendsConcreteField = 0;
6+
abstract int declaredConcreteExtendsAbstractField;
7+
abstract int declaredAbstractExtendsAbstractField;
8+
}
9+
10+
abstract class AbstractClass extends AbstractSuper {
11+
int declaredConcreteField = 0;
12+
abstract int declaredAbstractField;
13+
int declaredConcreteExtendsConcreteField = 0;
14+
abstract int declaredAbstractExtendsConcreteField;
15+
int declaredConcreteExtendsAbstractField = 0;
16+
abstract int declaredAbstractExtendsAbstractField;
17+
}
18+
19+
main() {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_field.dart.textual_outline_modelled.expect

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
abstract class AbstractClass extends AbstractSuper {
2+
abstract int declaredAbstractExtendsAbstractField;
3+
abstract int declaredAbstractExtendsConcreteField;
4+
abstract int declaredAbstractField;
5+
int declaredConcreteExtendsAbstractField = 0;
6+
int declaredConcreteExtendsConcreteField = 0;
7+
int declaredConcreteField = 0;
8+
}
9+
10+
abstract class AbstractSuper {
11+
abstract int declaredAbstractExtendsAbstractField;
12+
abstract int declaredConcreteExtendsAbstractField;
13+
abstract int extendedAbstractField;
14+
int declaredAbstractExtendsConcreteField = 0;
15+
int declaredConcreteExtendsConcreteField = 0;
16+
int extendedConcreteField = 0;
17+
}
18+
19+
main() {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_field.dart.weak.expect

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
library /*isNonNullableByDefault*/;
2+
import self as self;
3+
import "dart:core" as core;
4+
5+
abstract class AbstractSuper extends core::Object {
6+
field core::int extendedConcreteField = 0;
7+
field core::int declaredConcreteExtendsConcreteField = 0;
8+
field core::int declaredAbstractExtendsConcreteField = 0;
9+
synthetic constructor •() → self::AbstractSuper
10+
: super core::Object::•()
11+
;
12+
abstract get extendedAbstractField() → core::int;
13+
abstract set extendedAbstractField(core::int #externalFieldValue) → void;
14+
abstract get declaredConcreteExtendsAbstractField() → core::int;
15+
abstract set declaredConcreteExtendsAbstractField(core::int #externalFieldValue) → void;
16+
abstract get declaredAbstractExtendsAbstractField() → core::int;
17+
abstract set declaredAbstractExtendsAbstractField(core::int #externalFieldValue) → void;
18+
}
19+
abstract class AbstractClass extends self::AbstractSuper {
20+
field core::int declaredConcreteField = 0;
21+
field core::int declaredConcreteExtendsConcreteField = 0;
22+
field core::int declaredConcreteExtendsAbstractField = 0;
23+
synthetic constructor •() → self::AbstractClass
24+
: super self::AbstractSuper::•()
25+
;
26+
abstract get declaredAbstractField() → core::int;
27+
abstract set declaredAbstractField(core::int #externalFieldValue) → void;
28+
abstract get declaredAbstractExtendsConcreteField() → core::int;
29+
abstract set declaredAbstractExtendsConcreteField(core::int #externalFieldValue) → void;
30+
abstract get declaredAbstractExtendsAbstractField() → core::int;
31+
abstract set declaredAbstractExtendsAbstractField(core::int #externalFieldValue) → void;
32+
}
33+
static method main() → dynamic {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_field.dart.weak.transformed.expect

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
library /*isNonNullableByDefault*/;
2+
import self as self;
3+
import "dart:core" as core;
4+
5+
abstract class AbstractSuper extends core::Object {
6+
field core::int extendedConcreteField = 0;
7+
field core::int declaredConcreteExtendsConcreteField = 0;
8+
field core::int declaredAbstractExtendsConcreteField = 0;
9+
synthetic constructor •() → self::AbstractSuper
10+
: super core::Object::•()
11+
;
12+
abstract get extendedAbstractField() → core::int;
13+
abstract set extendedAbstractField(core::int #externalFieldValue) → void;
14+
abstract get declaredConcreteExtendsAbstractField() → core::int;
15+
abstract set declaredConcreteExtendsAbstractField(core::int #externalFieldValue) → void;
16+
abstract get declaredAbstractExtendsAbstractField() → core::int;
17+
abstract set declaredAbstractExtendsAbstractField(core::int #externalFieldValue) → void;
18+
}
19+
abstract class AbstractClass extends self::AbstractSuper {
20+
field core::int declaredConcreteField = 0;
21+
field core::int declaredConcreteExtendsConcreteField = 0;
22+
field core::int declaredConcreteExtendsAbstractField = 0;
23+
synthetic constructor •() → self::AbstractClass
24+
: super self::AbstractSuper::•()
25+
;
26+
abstract get declaredAbstractField() → core::int;
27+
abstract set declaredAbstractField(core::int #externalFieldValue) → void;
28+
abstract get declaredAbstractExtendsConcreteField() → core::int;
29+
abstract set declaredAbstractExtendsConcreteField(core::int #externalFieldValue) → void;
30+
abstract get declaredAbstractExtendsAbstractField() → core::int;
31+
abstract set declaredAbstractExtendsAbstractField(core::int #externalFieldValue) → void;
32+
}
33+
static method main() → dynamic {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_final_field.dart

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
// Copyright (c) 2021, the Dart project authors. Please see the AUTHORS file
2+
// for details. All rights reserved. Use of this source code is governed by a
3+
// BSD-style license that can be found in the LICENSE file.
4+
5+
abstract class AbstractSuper {
6+
final int extendedConcreteField = 0;
7+
8+
abstract final int extendedAbstractField;
9+
10+
final int declaredConcreteExtendsConcreteField = 0;
11+
12+
final int declaredAbstractExtendsConcreteField = 0;
13+
14+
abstract final int declaredConcreteExtendsAbstractField;
15+
16+
abstract final int declaredAbstractExtendsAbstractField;
17+
}
18+
19+
abstract class AbstractClass extends AbstractSuper {
20+
final int declaredConcreteField = 0;
21+
22+
abstract final int declaredAbstractField;
23+
24+
final int declaredConcreteExtendsConcreteField = 0;
25+
26+
abstract final int declaredAbstractExtendsConcreteField;
27+
28+
final int declaredConcreteExtendsAbstractField = 0;
29+
30+
abstract final int declaredAbstractExtendsAbstractField;
31+
}
32+
33+
main() {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_final_field.dart.textual_outline.expect

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
abstract class AbstractSuper {
2+
final int extendedConcreteField = 0;
3+
abstract final int extendedAbstractField;
4+
final int declaredConcreteExtendsConcreteField = 0;
5+
final int declaredAbstractExtendsConcreteField = 0;
6+
abstract final int declaredConcreteExtendsAbstractField;
7+
abstract final int declaredAbstractExtendsAbstractField;
8+
}
9+
10+
abstract class AbstractClass extends AbstractSuper {
11+
final int declaredConcreteField = 0;
12+
abstract final int declaredAbstractField;
13+
final int declaredConcreteExtendsConcreteField = 0;
14+
abstract final int declaredAbstractExtendsConcreteField;
15+
final int declaredConcreteExtendsAbstractField = 0;
16+
abstract final int declaredAbstractExtendsAbstractField;
17+
}
18+
19+
main() {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_final_field.dart.textual_outline_modelled.expect

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
abstract class AbstractClass extends AbstractSuper {
2+
abstract final int declaredAbstractExtendsAbstractField;
3+
abstract final int declaredAbstractExtendsConcreteField;
4+
abstract final int declaredAbstractField;
5+
final int declaredConcreteExtendsAbstractField = 0;
6+
final int declaredConcreteExtendsConcreteField = 0;
7+
final int declaredConcreteField = 0;
8+
}
9+
10+
abstract class AbstractSuper {
11+
abstract final int declaredAbstractExtendsAbstractField;
12+
abstract final int declaredConcreteExtendsAbstractField;
13+
abstract final int extendedAbstractField;
14+
final int declaredAbstractExtendsConcreteField = 0;
15+
final int declaredConcreteExtendsConcreteField = 0;
16+
final int extendedConcreteField = 0;
17+
}
18+
19+
main() {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_final_field.dart.weak.expect

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
library /*isNonNullableByDefault*/;
2+
import self as self;
3+
import "dart:core" as core;
4+
5+
abstract class AbstractSuper extends core::Object {
6+
final field core::int extendedConcreteField = 0;
7+
final field core::int declaredConcreteExtendsConcreteField = 0;
8+
final field core::int declaredAbstractExtendsConcreteField = 0;
9+
synthetic constructor •() → self::AbstractSuper
10+
: super core::Object::•()
11+
;
12+
abstract get extendedAbstractField() → core::int;
13+
abstract get declaredConcreteExtendsAbstractField() → core::int;
14+
abstract get declaredAbstractExtendsAbstractField() → core::int;
15+
}
16+
abstract class AbstractClass extends self::AbstractSuper {
17+
final field core::int declaredConcreteField = 0;
18+
final field core::int declaredConcreteExtendsConcreteField = 0;
19+
final field core::int declaredConcreteExtendsAbstractField = 0;
20+
synthetic constructor •() → self::AbstractClass
21+
: super self::AbstractSuper::•()
22+
;
23+
abstract get declaredAbstractField() → core::int;
24+
abstract get declaredAbstractExtendsConcreteField() → core::int;
25+
abstract get declaredAbstractExtendsAbstractField() → core::int;
26+
}
27+
static method main() → dynamic {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_final_field.dart.weak.transformed.expect

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
library /*isNonNullableByDefault*/;
2+
import self as self;
3+
import "dart:core" as core;
4+
5+
abstract class AbstractSuper extends core::Object {
6+
final field core::int extendedConcreteField = 0;
7+
final field core::int declaredConcreteExtendsConcreteField = 0;
8+
final field core::int declaredAbstractExtendsConcreteField = 0;
9+
synthetic constructor •() → self::AbstractSuper
10+
: super core::Object::•()
11+
;
12+
abstract get extendedAbstractField() → core::int;
13+
abstract get declaredConcreteExtendsAbstractField() → core::int;
14+
abstract get declaredAbstractExtendsAbstractField() → core::int;
15+
}
16+
abstract class AbstractClass extends self::AbstractSuper {
17+
final field core::int declaredConcreteField = 0;
18+
final field core::int declaredConcreteExtendsConcreteField = 0;
19+
final field core::int declaredConcreteExtendsAbstractField = 0;
20+
synthetic constructor •() → self::AbstractClass
21+
: super self::AbstractSuper::•()
22+
;
23+
abstract get declaredAbstractField() → core::int;
24+
abstract get declaredAbstractExtendsConcreteField() → core::int;
25+
abstract get declaredAbstractExtendsAbstractField() → core::int;
26+
}
27+
static method main() → dynamic {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_getter.dart

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
// Copyright (c) 2021, the Dart project authors. Please see the AUTHORS file
2+
// for details. All rights reserved. Use of this source code is governed by a
3+
// BSD-style license that can be found in the LICENSE file.
4+
5+
abstract class AbstractSuper {
6+
int get extendedConcreteGetter => 0;
7+
8+
int get extendedAbstractGetter;
9+
10+
int get declaredConcreteExtendsConcreteGetter => 0;
11+
12+
int get declaredAbstractExtendsConcreteGetter => 0;
13+
14+
int get declaredConcreteExtendsAbstractGetter;
15+
16+
int get declaredAbstractExtendsAbstractGetter;
17+
}
18+
19+
abstract class AbstractClass extends AbstractSuper {
20+
int get declaredConcreteGetter => 0;
21+
22+
int get declaredAbstractGetter;
23+
24+
int get declaredConcreteExtendsConcreteGetter => 0;
25+
26+
int get declaredAbstractExtendsConcreteGetter;
27+
28+
int get declaredConcreteExtendsAbstractGetter => 0;
29+
30+
int get declaredAbstractExtendsAbstractGetter;
31+
}
32+
33+
main() {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_getter.dart.textual_outline.expect

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
abstract class AbstractSuper {
2+
int get extendedConcreteGetter => 0;
3+
int get extendedAbstractGetter;
4+
int get declaredConcreteExtendsConcreteGetter => 0;
5+
int get declaredAbstractExtendsConcreteGetter => 0;
6+
int get declaredConcreteExtendsAbstractGetter;
7+
int get declaredAbstractExtendsAbstractGetter;
8+
}
9+
10+
abstract class AbstractClass extends AbstractSuper {
11+
int get declaredConcreteGetter => 0;
12+
int get declaredAbstractGetter;
13+
int get declaredConcreteExtendsConcreteGetter => 0;
14+
int get declaredAbstractExtendsConcreteGetter;
15+
int get declaredConcreteExtendsAbstractGetter => 0;
16+
int get declaredAbstractExtendsAbstractGetter;
17+
}
18+
19+
main() {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_getter.dart.textual_outline_modelled.expect

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
abstract class AbstractClass extends AbstractSuper {
2+
int get declaredAbstractExtendsAbstractGetter;
3+
int get declaredAbstractExtendsConcreteGetter;
4+
int get declaredAbstractGetter;
5+
int get declaredConcreteExtendsAbstractGetter => 0;
6+
int get declaredConcreteExtendsConcreteGetter => 0;
7+
int get declaredConcreteGetter => 0;
8+
}
9+
10+
abstract class AbstractSuper {
11+
int get declaredAbstractExtendsAbstractGetter;
12+
int get declaredAbstractExtendsConcreteGetter => 0;
13+
int get declaredConcreteExtendsAbstractGetter;
14+
int get declaredConcreteExtendsConcreteGetter => 0;
15+
int get extendedAbstractGetter;
16+
int get extendedConcreteGetter => 0;
17+
}
18+
19+
main() {}

‎pkg/front_end/testcases/nnbd_mixed/hierarchy/abstract_extends_getter.dart.weak.expect

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
library /*isNonNullableByDefault*/;
2+
import self as self;
3+
import "dart:core" as core;
4+
5+
abstract class AbstractSuper extends core::Object {
6+
synthetic constructor •() → self::AbstractSuper
7+
: super core::Object::•()
8+
;
9+
get extendedConcreteGetter() → core::int
10+
return 0;
11+
abstract get extendedAbstractGetter() → core::int;
12+
get declaredConcreteExtendsConcreteGetter() → core::int
13+
return 0;
14+
get declaredAbstractExtendsConcreteGetter() → core::int
15+
return 0;
16+
abstract get declaredConcreteExtendsAbstractGetter() → core::int;
17+
abstract get declaredAbstractExtendsAbstractGetter() → core::int;
18+
}
19+
abstract class AbstractClass extends self::AbstractSuper {
20+
synthetic constructor •() → self::AbstractClass
21+
: super self::AbstractSuper::•()
22+
;
23+
get declaredConcreteGetter() → core::int
24+
return 0;
25+
abstract get declaredAbstractGetter() → core::int;
26+
get declaredConcreteExtendsConcreteGetter() → core::int
27+
return 0;
28+
abstract get declaredAbstractExtendsConcreteGetter() → core::int;
29+
get declaredConcreteExtendsAbstractGetter() → core::int
30+
return 0;
31+
abstract get declaredAbstractExtendsAbstractGetter() → core::int;
32+
}
33+
static method main() → dynamic {}

0 commit comments

Comments
 (0)