| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/class_modifiers/final/outside_library/main.dart:7:39: Error: The class 'A' can't be extended outside of its library because it's a final class. |
| // final class ExtendsFinalClass extends A {} /* Error */ |
| // ^ |
| // |
| // pkg/front_end/testcases/class_modifiers/final/outside_library/main.dart:9:45: Error: The class 'A' can't be implemented outside of its library because it's a final class. |
| // final class ImplementsFinalClass implements A {} /* Error */ |
| // ^ |
| // |
| // pkg/front_end/testcases/class_modifiers/final/outside_library/main.dart:11:42: Error: The class 'A' can't be implemented outside of its library because it's a final class. |
| // enum EnumImplementsFinalMixin implements A { x } /* Error */ |
| // ^ |
| // |
| // pkg/front_end/testcases/class_modifiers/final/outside_library/main.dart:13:24: Error: The class 'A' can't be used as a mixin superclass constraint outside of its library because it's a final class. |
| // base mixin MixinOnA on A {} /* Error */ |
| // ^ |
| // |
| // pkg/front_end/testcases/class_modifiers/final/outside_library/main.dart:15:25: Error: The class 'A' can't be used as a mixin superclass constraint outside of its library because it's a final class. |
| // base mixin MixinOnAB on A, B {} /* Error */ |
| // ^ |
| // |
| // pkg/front_end/testcases/class_modifiers/final/outside_library/main.dart:15:28: Error: The class 'B' can't be used as a mixin superclass constraint outside of its library because it's a final class. |
| // base mixin MixinOnAB on A, B {} /* Error */ |
| // ^ |
| // |
| import self as self; |
| import "main_lib.dart" as mai; |
| import "dart:core" as core; |
| |
| import "org-dartlang-testcase:///main_lib.dart"; |
| |
| final class ExtendsFinalClass extends mai::A { |
| synthetic constructor •() → self::ExtendsFinalClass |
| : super mai::A::•() |
| ; |
| } |
| final class ImplementsFinalClass extends core::Object implements mai::A { |
| synthetic constructor •() → self::ImplementsFinalClass |
| : super core::Object::•() |
| ; |
| } |
| class EnumImplementsFinalMixin extends core::_Enum implements mai::A /*isEnum*/ { |
| enum-element static const field self::EnumImplementsFinalMixin x = #C3; |
| static const field core::List<self::EnumImplementsFinalMixin> values = #C4; |
| const synthetic constructor •(core::int #index, core::String #name) → self::EnumImplementsFinalMixin |
| : super core::_Enum::•(#index, #name) |
| ; |
| method core::_enumToString() → core::String |
| return "EnumImplementsFinalMixin.${this.{core::_Enum::_name}{core::String}}"; |
| } |
| abstract base class MixinOnA extends mai::A /*isMixinDeclaration*/ { |
| } |
| abstract base class MixinOnAB extends self::_MixinOnAB&A&B /*isMixinDeclaration*/ { |
| } |
| abstract class _MixinOnAB&A&B extends core::Object implements mai::A, mai::B /*isAnonymousMixin*/ { |
| synthetic constructor •() → self::_MixinOnAB&A&B |
| : super core::Object::•() |
| ; |
| } |
| |
| library; |
| import self as mai; |
| import "dart:core" as core; |
| |
| final class A extends core::Object { |
| synthetic constructor •() → mai::A |
| : super core::Object::•() |
| ; |
| } |
| final class B extends core::Object { |
| synthetic constructor •() → mai::B |
| : super core::Object::•() |
| ; |
| } |
| |
| constants { |
| #C1 = 0 |
| #C2 = "x" |
| #C3 = self::EnumImplementsFinalMixin {index:#C1, _name:#C2} |
| #C4 = <self::EnumImplementsFinalMixin>[#C3] |
| } |
| |
| |
| Constructor coverage from constants: |
| org-dartlang-testcase:///main.dart: |
| - EnumImplementsFinalMixin. (from org-dartlang-testcase:///main.dart:11:6) |
| - _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart) |
| - Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart) |