| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:5:7: Error: The non-abstract class 'Interface' is missing implementations for these members: |
| // - Interface.declaredAbstractImplementsAbstractField |
| // - Interface.declaredAbstractImplementsAbstractField= |
| // - Interface.declaredConcreteImplementsAbstractField |
| // - Interface.declaredConcreteImplementsAbstractField= |
| // - Interface.implementedAbstractField |
| // - Interface.implementedAbstractField= |
| // Try to either |
| // - provide an implementation, |
| // - inherit an implementation from a superclass or mixin, |
| // - mark the class as abstract, or |
| // - provide a 'noSuchMethod' implementation. |
| // |
| // class Interface { |
| // ^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:16:16: Context: 'Interface.declaredAbstractImplementsAbstractField' is defined here. |
| // abstract int declaredAbstractImplementsAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:16:16: Context: 'Interface.declaredAbstractImplementsAbstractField=' is defined here. |
| // abstract int declaredAbstractImplementsAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:14:16: Context: 'Interface.declaredConcreteImplementsAbstractField' is defined here. |
| // abstract int declaredConcreteImplementsAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:14:16: Context: 'Interface.declaredConcreteImplementsAbstractField=' is defined here. |
| // abstract int declaredConcreteImplementsAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:8:16: Context: 'Interface.implementedAbstractField' is defined here. |
| // abstract int implementedAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:8:16: Context: 'Interface.implementedAbstractField=' is defined here. |
| // abstract int implementedAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:19:7: Error: The non-abstract class 'ConcreteClass' is missing implementations for these members: |
| // - ConcreteClass.declaredAbstractField |
| // - ConcreteClass.declaredAbstractField= |
| // - ConcreteClass.declaredAbstractImplementsAbstractField |
| // - ConcreteClass.declaredAbstractImplementsAbstractField= |
| // - ConcreteClass.declaredAbstractImplementsConcreteField |
| // - ConcreteClass.declaredAbstractImplementsConcreteField= |
| // - Interface.implementedAbstractField |
| // - Interface.implementedAbstractField= |
| // - Interface.implementedConcreteField |
| // Try to either |
| // - provide an implementation, |
| // - inherit an implementation from a superclass or mixin, |
| // - mark the class as abstract, or |
| // - provide a 'noSuchMethod' implementation. |
| // |
| // class ConcreteClass implements Interface { |
| // ^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:22:16: Context: 'ConcreteClass.declaredAbstractField' is defined here. |
| // abstract int declaredAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:22:16: Context: 'ConcreteClass.declaredAbstractField=' is defined here. |
| // abstract int declaredAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:30:16: Context: 'ConcreteClass.declaredAbstractImplementsAbstractField' is defined here. |
| // abstract int declaredAbstractImplementsAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:30:16: Context: 'ConcreteClass.declaredAbstractImplementsAbstractField=' is defined here. |
| // abstract int declaredAbstractImplementsAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:26:16: Context: 'ConcreteClass.declaredAbstractImplementsConcreteField' is defined here. |
| // abstract int declaredAbstractImplementsConcreteField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:26:16: Context: 'ConcreteClass.declaredAbstractImplementsConcreteField=' is defined here. |
| // abstract int declaredAbstractImplementsConcreteField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:8:16: Context: 'Interface.implementedAbstractField' is defined here. |
| // abstract int implementedAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:8:16: Context: 'Interface.implementedAbstractField=' is defined here. |
| // abstract int implementedAbstractField; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^ |
| // pkg/front_end/testcases/nnbd_mixed/hierarchy/concrete_implements_field.dart:6:7: Context: 'Interface.implementedConcreteField' is defined here. |
| // int implementedConcreteField = 0; |
| // ^^^^^^^^^^^^^^^^^^^^^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class Interface extends core::Object { |
| field core::int implementedConcreteField; |
| field core::int declaredConcreteImplementsConcreteField; |
| field core::int declaredAbstractImplementsConcreteField; |
| synthetic constructor •() → self::Interface |
| ; |
| abstract get implementedAbstractField() → core::int; |
| abstract set implementedAbstractField(core::int #externalFieldValue) → void; |
| abstract get declaredConcreteImplementsAbstractField() → core::int; |
| abstract set declaredConcreteImplementsAbstractField(core::int #externalFieldValue) → void; |
| abstract get declaredAbstractImplementsAbstractField() → core::int; |
| abstract set declaredAbstractImplementsAbstractField(core::int #externalFieldValue) → void; |
| } |
| class ConcreteClass extends core::Object implements self::Interface { |
| field core::int declaredConcreteField; |
| field core::int declaredConcreteImplementsConcreteField; |
| field core::int declaredConcreteImplementsAbstractField; |
| synthetic constructor •() → self::ConcreteClass |
| ; |
| abstract get declaredAbstractField() → core::int; |
| abstract set declaredAbstractField(core::int #externalFieldValue) → void; |
| abstract get declaredAbstractImplementsConcreteField() → core::int; |
| abstract set declaredAbstractImplementsConcreteField(core::int #externalFieldValue) → void; |
| abstract get declaredAbstractImplementsAbstractField() → core::int; |
| abstract set declaredAbstractImplementsAbstractField(core::int #externalFieldValue) → void; |
| } |
| static method main() → dynamic |
| ; |