pkg/vm/testcases/transformations/dynamic_interface_annotator/lib1.dart.expect

library;
import self as self;
import "dart:core" as core;

@#C3
@#C5
abstract class A extends core::Object {
  @#C7
  @#C5
  field core::Object? ifield1 = null;
  field core::Object? _ifield2 = null;
  @#C5
  static field core::Object? sfield3 = null;
  static field core::Object? _sfield4 = null;
  @#C5
  constructor •() → self::A
    : super core::Object::•()
    ;
  constructor _() → self::A
    : super core::Object::•()
    ;
  @#C5
  static factory factory1() → self::A /* redirection-target: self::B::• */
    return new self::B::•();
  @#C5
  static factory factory2() → self::A
    return new self::B::•();
  static factory _factory3() → self::A
    return new self::B::•();
  @#C7
  @#C5
  method imethod1() → void {}
  @#C7
  @#C5
  abstract method imethod2() → void;
  method _imethod3() → void {}
  @#C5
  static method smethod4() → void {}
}
@#C5
class B extends self::A {
  @#C5
  field core::Object? ifield5 = null;
  field core::Object? _ifield6 = null;
  @#C5
  constructor •() → self::B
    : super self::A::•()
    ;
  @#C5
  method imethod2() → void {}
  @#C5
  method imethod5() → void {}
  method _imethod6() → void {}
  @#C5
  static method smethod7() → void {}
}
class _C extends core::Object {
  field core::Object? ifield7 = null;
  static field core::Object? _sfield8 = null;
  synthetic constructor •() → self::_C
    : super core::Object::•()
    ;
  method imethod8() → void {}
  static method smethod9() → void {}
}
@#C5
class D extends core::Object {
  @#C5
  synthetic constructor •() → self::D
    : super core::Object::•()
    ;
  @#C5
  method build() → void {}
}
@#C9
class _E1 extends core::Object /*hasConstConstructor*/  {
  @#C9
  final field core::int _x;
  const constructor •(initializing-formal core::int _x) → self::_E1
    : self::_E1::_x = _x, super core::Object::•()
    ;
}
@#C9
class _E2 extends self::_E1 /*hasConstConstructor*/  {
  @#C9
  final field core::int _y;
  const constructor •(super-initializing-formal core::int _x, initializing-formal core::int _y) → self::_E2
    : self::_E2::_y = _y, super self::_E1::•(_x)
    ;
}
class _F extends core::Object {
  constructor •() → self::_F
    : super core::Object::•()
    ;
  @#C9
  static factory _foo() → self::_F /* redirection-target: self::_G::_bar */
    return new self::_G::_bar();
}
class _G extends self::_F {
  @#C9
  constructor _bar() → self::_G
    : super self::_F::•()
    ;
}
@#C5
abstract class K extends core::Object {
  @#C5
  synthetic constructor •() → self::K
    : super core::Object::•()
    ;
  @#C5
  abstract method foo() → void;
}
class _L extends core::Object {
  synthetic constructor •() → self::_L
    : super core::Object::•()
    ;
  @#C9
  method foo() → void {}
}
class _M extends self::_L implements self::K {
  synthetic constructor •() → self::_M
    : super self::_L::•()
    ;
}
@#C11
@#C5
class N extends core::Object {
  @#C5
  synthetic constructor •() → self::N
    : super core::Object::•()
    ;
}
@#C3
@#C5
class O extends self::N {
  @#C5
  synthetic constructor •() → self::O
    : super self::N::•()
    ;
}
@#C11
@#C5
class P1 extends core::Object implements self::P2 {
  @#C5
  synthetic constructor •() → self::P1
    : super core::Object::•()
    ;
  @#C13
  @#C5
  method foo() → void {}
}
@#C11
@#C5
abstract class P2 extends core::Object {
  @#C5
  synthetic constructor •() → self::P2
    : super core::Object::•()
    ;
  @#C13
  @#C5
  abstract method foo() → void;
}
@#C3
@#C5
class Q extends core::Object implements self::P1 {
  @#C5
  synthetic constructor •() → self::Q
    : super core::Object::•()
    ;
  @#C7
  @#C5
  method foo() → void {}
}
@#C5
final class R extends core::Object {
  @#C5
  synthetic constructor •() → self::R
    : super core::Object::•()
    ;
}
@#C5
final class S extends self::R {
  @#C5
  synthetic constructor •() → self::S
    : super self::R::•()
    ;
}
@#C5
final class T extends core::Object {
  @#C5
  synthetic constructor •() → self::T
    : super core::Object::•()
    ;
}
@#C5
final class U extends core::Object {
  @#C5
  synthetic constructor •() → self::U
    : super core::Object::•()
    ;
  @#C7
  @#C5
  method foo() → void
    return core::print(3);
}
@#C3
@#C5
base class V extends core::Object {
  @#C5
  synthetic constructor •() → self::V
    : super core::Object::•()
    ;
}
@#C5
static field core::Object? sfield9;
static field core::Object? _sfield10;
@#C5
static const field core::List<core::Object> const11 = #C18;
@#C5
static method smethod10() → void {}
static method _smethod11() → void {}
constants  {
  #C1 = "dyn-module:extendable"
  #C2 = null
  #C3 = core::pragma {name:#C1, options:#C2}
  #C4 = "dyn-module:callable"
  #C5 = core::pragma {name:#C4, options:#C2}
  #C6 = "dyn-module:can-be-overridden"
  #C7 = core::pragma {name:#C6, options:#C2}
  #C8 = "dyn-module:implicitly-callable"
  #C9 = core::pragma {name:#C8, options:#C2}
  #C10 = "dyn-module:implicitly-extendable"
  #C11 = core::pragma {name:#C10, options:#C2}
  #C12 = "dyn-module:can-be-overridden-implicitly"
  #C13 = core::pragma {name:#C12, options:#C2}
  #C14 = 2
  #C15 = 1
  #C16 = self::_E2 {_y:#C14, _x:#C15}
  #C17 = redirecting-factory-tearoff self::_F::_foo
  #C18 = <core::Object>[#C16, #C17]
}