pkg/front_end/testcases/general/dynamic_modules/main.dart.strong.outline.expect

library;
import self as self;
import "main_lib1.dart" as mai;
import "dart:core" as core;
import "main_lib5.dart" as mai2;

import "org-dartlang-testcase:///main_lib1.dart";
import "org-dartlang-testcase:///main_lib2.dart";
import "org-dartlang-testcase:///main_lib4.dart";
import "org-dartlang-testcase:///main_lib5.dart";

class D3 extends mai::C3 {
  synthetic constructor •() → self::D3
    ;
}
class D4 extends mai::C4 {
  synthetic constructor •() → self::D4
    ;
  method method1() → void
    ;
  method method2() → void
    ;
  get field1() → core::int?
    ;
  set field1(core::int? value) → void
    ;
  get field2() → core::int?
    ;
  set field2(core::int? value) → void
    ;
}
class E3 extends core::Object implements mai::C3 {
  synthetic constructor •() → self::E3
    ;
}
class E4 extends core::Object implements mai::C4 {
  field core::int? field1;
  field core::int? field2;
  synthetic constructor •() → self::E4
    ;
  method method1() → void
    ;
  method method2() → void
    ;
}
class F1 extends self::_F1&Object&M1 {
  synthetic constructor •() → self::F1
    ;
}
class F2 extends self::_F2&Object&M2 {
  synthetic constructor •() → self::F2
    ;
}
class Impl1 extends mai::Base implements mai::Interface {
  synthetic constructor •() → self::Impl1
    ;
}
class Impl2 extends self::_Impl2&Object&Mixin implements mai::Interface {
  synthetic constructor •() → self::Impl2
    ;
}
class C6Ext extends mai::C6 {
  constructor •({super-initializing-formal core::Object param = const mai::_ConstForC6::•(mai::_privateMethodForC6)}) → self::C6Ext
    ;
}
class C7Ext extends mai::C7 {
  constructor •({super-initializing-formal core::Object param = const mai::_ConstForC7::•(mai::_privateMethodForC7)}) → self::C7Ext
    ;
}
class Lib5WithNSM extends mai2::Lib5C1 {
  synthetic constructor •() → self::Lib5WithNSM
    ;
  @core::override
  method noSuchMethod(core::Invocation invocation) → dynamic
    ;
}
class C26WithM3 extends self::_C26WithM3&C26&M3 {
  synthetic constructor •() → self::C26WithM3
    ;
}
abstract class _F1&Object&M1 = core::Object with mai::M1 /*isAnonymousMixin,hasConstConstructor*/  {
  const synthetic constructor •() → self::_F1&Object&M1
    : super core::Object::•()
    ;
}
abstract class _F2&Object&M2 = core::Object with mai::M2 /*isAnonymousMixin,hasConstConstructor*/  {
  const synthetic constructor •() → self::_F2&Object&M2
    : super core::Object::•()
    ;
}
abstract class _Impl2&Object&Mixin = core::Object with mai::Mixin /*isAnonymousMixin,hasConstConstructor*/  {
  const synthetic constructor •() → self::_Impl2&Object&Mixin
    : super core::Object::•()
    ;
  synthetic mixin-super-stub method foo() → void
    return super.{mai::Mixin::foo}();
}
abstract class _C26WithM3&C26&M3 = mai::C26 with mai::M3 /*isAnonymousMixin*/  {
  synthetic constructor •() → self::_C26WithM3&C26&M3
    : super mai::C26::•()
    ;
  synthetic mixin-super-stub method method6() → core::int
    return super.{mai::M3::method6}();
}
static field dynamic x;
static method test() → void
  ;
static method testCanBeUsedAsType(core::Object? o) → void
  ;
static method testDynamicallyCallable() → void
  ;
static method main() → void
  ;

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

class C1 extends core::Object {
  field core::int field1;
  static field core::int field2;
  constructor •() → mai::C1
    ;
  method method1() → void
    ;
  get getter1() → core::int
    ;
  set setter1(core::int value) → void
    ;
  static method method2() → void
    ;
  static get getter2() → core::int
    ;
  static set setter2(core::int value) → void
    ;
}
class C2 extends core::Object {
  field core::int field1;
  static field core::int field2;
  constructor •() → mai::C2
    ;
  method method1() → void
    ;
  get getter1() → core::int
    ;
  set setter1(core::int value) → void
    ;
  static method method2() → void
    ;
  static get getter2() → core::int
    ;
  static set setter2(core::int value) → void
    ;
}
class C3 extends core::Object {
  synthetic constructor •() → mai::C3
    ;
}
abstract class C4 extends core::Object {
  field core::int? field1;
  field core::int? field2;
  synthetic constructor •() → mai::C4
    ;
  abstract method method1() → void;
  abstract method method2() → void;
}
abstract class M1 extends core::Object /*isMixinDeclaration*/  {
}
abstract class M2 extends core::Object /*isMixinDeclaration*/  {
}
class Base extends core::Object {
  synthetic constructor •() → mai::Base
    ;
  method foo() → void
    ;
}
abstract class Interface extends core::Object {
  synthetic constructor •() → mai::Interface
    ;
  abstract method foo() → void;
}
abstract class Mixin extends core::Object /*isMixinDeclaration*/  {
  method foo() → void
    ;
}
class _C5 extends core::Object /*hasConstConstructor*/  {
  final field core::Function func;
  const constructor •(initializing-formal core::Function func) → mai::_C5
    : mai::_C5::func = func, super core::Object::•()
    ;
}
class _ConstForC6 extends core::Object /*hasConstConstructor*/  {
  final field core::Function _f;
  const constructor •(initializing-formal core::Function _f) → mai::_ConstForC6
    : mai::_ConstForC6::_f = _f, super core::Object::•()
    ;
}
class C6 extends core::Object {
  constructor •({core::Object param = const mai::_ConstForC6::•(mai::_privateMethodForC6)}) → mai::C6
    ;
}
class _ConstForC7 extends core::Object /*hasConstConstructor*/  {
  final field core::Function _f;
  const constructor •(initializing-formal core::Function _f) → mai::_ConstForC7
    : mai::_ConstForC7::_f = _f, super core::Object::•()
    ;
}
class C7 extends core::Object {
  constructor •({core::Object param = const mai::_ConstForC7::•(mai::_privateMethodForC7)}) → mai::C7
    ;
}
class C8 extends core::Object /*hasConstConstructor*/  {
  constructor •() → mai::C8
    ;
  const constructor constConstr() → mai::C8
    : super core::Object::•()
    ;
  static factory fact1() → mai::C8 /* redirection-target: mai::C8::• */
    return new mai::C8::•();
  static factory fact2() → mai::C8 /* redirection-target: mai::C8::fact3 */
    return mai::C8::fact3();
  static factory fact3() → mai::C8
    ;
  static const factory fact4() → mai::C8 /* redirection-target: mai::C8::constConstr */
    return new mai::C8::constConstr();
}
class C9 extends core::Object /*hasConstConstructor*/  {
  constructor •() → mai::C9
    ;
  const constructor constConstr() → mai::C9
    : super core::Object::•()
    ;
  static factory fact1() → mai::C9 /* redirection-target: mai::C9::• */
    return new mai::C9::•();
  static factory fact2() → mai::C9 /* redirection-target: mai::C9::fact3 */
    return mai::C9::fact3();
  static factory fact3() → mai::C9
    ;
  static const factory fact4() → mai::C9 /* redirection-target: mai::C9::constConstr */
    return new mai::C9::constConstr();
}
class C10 extends core::Object {
  synthetic constructor •() → mai::C10
    ;
}
class C11 extends core::Object {
  synthetic constructor •() → mai::C11
    ;
}
class C12 extends core::Object {
  synthetic constructor •() → mai::C12
    ;
}
class C13 extends core::Object {
  synthetic constructor •() → mai::C13
    ;
}
class C14 extends core::Object {
  synthetic constructor •() → mai::C14
    ;
}
class C15 extends core::Object implements mai::C14 {
  synthetic constructor •() → mai::C15
    ;
}
class C16 extends core::Object implements mai::C14 {
  synthetic constructor •() → mai::C16
    ;
}
class C17 extends core::Object {
  synthetic constructor •() → mai::C17
    ;
  method dcMethod1() → void
    ;
  method dcMethod2(core::String x, core::int y) → void
    ;
  get dcGetter1() → core::int
    ;
  set dcSetter1(core::int value) → void
    ;
}
class C18 extends core::Object {
  final field core::int dcField1;
  field core::int dcField2;
  synthetic constructor •() → mai::C18
    ;
  method dcMethod3() → void
    ;
  method dcMethod4(core::String x, core::int y) → void
    ;
  get dcGetter2() → core::int
    ;
  set dcSetter2(core::int value) → void
    ;
}
class C19 extends core::Object {
  synthetic constructor •() → mai::C19
    ;
  @core::override
  method noSuchMethod(core::Invocation invocation) → dynamic
    ;
}
class C20 extends core::Object {
  synthetic constructor •() → mai::C20
    ;
  @core::override
  method noSuchMethod(core::Invocation invocation) → dynamic
    ;
}
class C21 extends mai::C20 {
  synthetic constructor •() → mai::C21
    ;
}
class C22 extends core::Object {
  synthetic constructor •() → mai::C22
    ;
}
class C23 extends mai::C22 {
  synthetic constructor •() → mai::C23
    ;
  @core::override
  method noSuchMethod(core::Invocation invocation) → dynamic
    ;
}
class C24 extends core::Object {
  synthetic constructor •() → mai::C24
    ;
}
class C25 extends core::Object implements mai::C24 {
  synthetic constructor •() → mai::C25
    ;
  @core::override
  method noSuchMethod(core::Invocation invocation) → dynamic
    ;
}
class C26 extends core::Object {
  synthetic constructor •() → mai::C26
    ;
  method _privateMethod1() → core::int
    ;
}
abstract class M3 extends mai::C26 /*isMixinDeclaration*/  {
  method method6() → core::int
    ;
}
extension Ext1 on core::int {
  get isPositive = mai::Ext1|get#isPositive;
}
extension Ext2 on core::int {
  get isNegative2 = mai::Ext2|get#isNegative2;
}
extension Ext3 on core::int {
  get isNegative3 = mai::Ext3|get#isNegative3;
}
extension Ext4 on core::int {
  get isNegative4 = mai::Ext4|get#isNegative4;
}
extension Ext5 on core::int {
  get isNegative5 = mai::Ext5|get#isNegative5;
}
extension type ExtType1(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  constructor • = mai::ExtType1|constructor#;
  constructor tearoff • = mai::ExtType1|constructor#_#new#tearOff;
}
extension type ExtType2(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  get isPositive = mai::ExtType2|get#isPositive;
  constructor • = mai::ExtType2|constructor#;
  constructor tearoff • = mai::ExtType2|constructor#_#new#tearOff;
}
extension type ExtType3(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  get isPositive = mai::ExtType3|get#isPositive;
  constructor • = mai::ExtType3|constructor#;
  constructor tearoff • = mai::ExtType3|constructor#_#new#tearOff;
}
extension type ExtType4(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  get isPositive = mai::ExtType4|get#isPositive;
  constructor • = mai::ExtType4|constructor#;
  constructor tearoff • = mai::ExtType4|constructor#_#new#tearOff;
}
extension type ExtType5(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  get isPositive = mai::ExtType5|get#isPositive;
  constructor _ = mai::ExtType5|constructor#_;
  constructor tearoff _ = mai::ExtType5|constructor#_#_#tearOff;
  constructor plus1 = mai::ExtType5|constructor#plus1;
  constructor tearoff plus1 = mai::ExtType5|constructor#_#plus1#tearOff;
}
extension type ExtType10(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  constructor • = mai::ExtType10|constructor#;
  constructor tearoff • = mai::ExtType10|constructor#_#new#tearOff;
}
extension type ExtType11(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  constructor • = mai::ExtType11|constructor#;
  constructor tearoff • = mai::ExtType11|constructor#_#new#tearOff;
}
extension type ExtType12(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  constructor • = mai::ExtType12|constructor#;
  constructor tearoff • = mai::ExtType12|constructor#_#new#tearOff;
}
extension type ExtType13(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  constructor • = mai::ExtType13|constructor#;
  constructor tearoff • = mai::ExtType13|constructor#_#new#tearOff;
}
static field core::int field1;
static field core::int field2;
static const field mai::_C5 const1 = const mai::_C5::•(mai::_privateMethod1);
static const field mai::_C5 const2 = const mai::_C5::•(mai::_privateMethod2);
static method method1() → void
  ;
static method method2() → void
  ;
static method _privateMethod1() → void
  ;
static method _privateMethod2() → void
  ;
static method _privateMethodForC6() → void
  ;
static method _privateMethodForC7() → void
  ;
static extension-type-member method ExtType1|constructor#(initializing-formal core::int raw) → mai::ExtType1% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method ExtType1|constructor#_#new#tearOff(core::int raw) → mai::ExtType1% /* erasure=core::int, declared=! */
  return mai::ExtType1|constructor#(raw);
static extension-member method Ext1|get#isPositive(lowered final core::int #this) → core::bool
  ;
static extension-member method Ext2|get#isNegative2(lowered final core::int #this) → core::bool
  ;
static extension-member method Ext3|get#isNegative3(lowered final core::int #this) → core::bool
  ;
static extension-member method Ext4|get#isNegative4(lowered final core::int #this) → core::bool
  ;
static extension-member method Ext5|get#isNegative5(lowered final core::int #this) → core::bool
  ;
static extension-type-member method ExtType2|constructor#(initializing-formal core::int raw) → mai::ExtType2% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method ExtType2|constructor#_#new#tearOff(core::int raw) → mai::ExtType2% /* erasure=core::int, declared=! */
  return mai::ExtType2|constructor#(raw);
static extension-type-member method ExtType2|get#isPositive(lowered final mai::ExtType2% /* erasure=core::int, declared=! */ #this) → core::bool
  ;
static extension-type-member method ExtType3|constructor#(initializing-formal core::int raw) → mai::ExtType3% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method ExtType3|constructor#_#new#tearOff(core::int raw) → mai::ExtType3% /* erasure=core::int, declared=! */
  return mai::ExtType3|constructor#(raw);
static extension-type-member method ExtType3|get#isPositive(lowered final mai::ExtType3% /* erasure=core::int, declared=! */ #this) → core::bool
  ;
static extension-type-member method ExtType4|constructor#(initializing-formal core::int raw) → mai::ExtType4% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method ExtType4|constructor#_#new#tearOff(core::int raw) → mai::ExtType4% /* erasure=core::int, declared=! */
  return mai::ExtType4|constructor#(raw);
static extension-type-member method ExtType4|get#isPositive(lowered final mai::ExtType4% /* erasure=core::int, declared=! */ #this) → core::bool
  ;
static extension-type-member method ExtType5|constructor#_(initializing-formal core::int raw) → mai::ExtType5% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method ExtType5|constructor#_#_#tearOff(core::int raw) → mai::ExtType5% /* erasure=core::int, declared=! */
  return mai::ExtType5|constructor#_(raw);
static extension-type-member synthetic method ExtType5|constructor#_#plus1#tearOff(core::int n) → mai::ExtType5% /* erasure=core::int, declared=! */
  return mai::ExtType5|constructor#plus1(n);
static extension-type-member method ExtType5|constructor#plus1(core::int n) → mai::ExtType5% /* erasure=core::int, declared=! */
  ;
static extension-type-member method ExtType5|get#isPositive(lowered final mai::ExtType5% /* erasure=core::int, declared=! */ #this) → core::bool
  ;
static extension-type-member method ExtType10|constructor#(initializing-formal core::int raw) → mai::ExtType10% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method ExtType10|constructor#_#new#tearOff(core::int raw) → mai::ExtType10% /* erasure=core::int, declared=! */
  return mai::ExtType10|constructor#(raw);
static extension-type-member method ExtType11|constructor#(initializing-formal core::int raw) → mai::ExtType11% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method ExtType11|constructor#_#new#tearOff(core::int raw) → mai::ExtType11% /* erasure=core::int, declared=! */
  return mai::ExtType11|constructor#(raw);
static extension-type-member method ExtType12|constructor#(initializing-formal core::int raw) → mai::ExtType12% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method ExtType12|constructor#_#new#tearOff(core::int raw) → mai::ExtType12% /* erasure=core::int, declared=! */
  return mai::ExtType12|constructor#(raw);
static extension-type-member method ExtType13|constructor#(initializing-formal core::int raw) → mai::ExtType13% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method ExtType13|constructor#_#new#tearOff(core::int raw) → mai::ExtType13% /* erasure=core::int, declared=! */
  return mai::ExtType13|constructor#(raw);

library;
import self as self2;
import "main_lib3.dart" as mai3;
additionalExports = (mai3::Lib3Class,
  mai3::lib3Method,
  mai3::lib3Field,
  mai3::lib3Field,
  mai3::Lib3ExtType,
  mai3::Lib3Ext)

export "org-dartlang-testcase:///main_lib3.dart";


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

class Lib3Class extends core::Object {
  synthetic constructor •() → mai3::Lib3Class
    ;
}
extension Lib3Ext on core::int {
  get lib3IsPositive = mai3::Lib3Ext|get#lib3IsPositive;
}
extension type Lib3ExtType(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  constructor • = mai3::Lib3ExtType|constructor#;
  constructor tearoff • = mai3::Lib3ExtType|constructor#_#new#tearOff;
}
static field core::int? lib3Field;
static method lib3Method() → void
  ;
static extension-type-member method Lib3ExtType|constructor#(initializing-formal core::int raw) → mai3::Lib3ExtType% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method Lib3ExtType|constructor#_#new#tearOff(core::int raw) → mai3::Lib3ExtType% /* erasure=core::int, declared=! */
  return mai3::Lib3ExtType|constructor#(raw);
static extension-member method Lib3Ext|get#lib3IsPositive(lowered final core::int #this) → core::bool
  ;

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

class Lib4Class extends core::Object {
  synthetic constructor •() → self3::Lib4Class
    ;
}
extension type Lib4ExtType(core::int raw) {
  abstract extension-type-member representation-field get raw() → core::int;
  constructor • = self3::Lib4ExtType|constructor#;
  constructor tearoff • = self3::Lib4ExtType|constructor#_#new#tearOff;
}
static extension-type-member method Lib4ExtType|constructor#(initializing-formal core::int raw) → self3::Lib4ExtType% /* erasure=core::int, declared=! */
  ;
static extension-type-member synthetic method Lib4ExtType|constructor#_#new#tearOff(core::int raw) → self3::Lib4ExtType% /* erasure=core::int, declared=! */
  return self3::Lib4ExtType|constructor#(raw);

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

class Lib5C1 extends core::Object {
  field core::int? dcField5;
  synthetic constructor •() → mai2::Lib5C1
    ;
  method dcMethod5() → void
    ;
}
static field core::int? g1;


Extra constant evaluation status:
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///main.dart:59:16 -> InstanceConstant(const _ConstForC6{_ConstForC6._f: _privateMethodForC6})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///main.dart:65:16 -> InstanceConstant(const _ConstForC7{_ConstForC7._f: _privateMethodForC7})
Evaluated: StaticGet @ org-dartlang-testcase:///main.dart:293:4 -> InstanceConstant(const _Override{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///main_lib1.dart:78:28 -> InstanceConstant(const _ConstForC6{_ConstForC6._f: _privateMethodForC6})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///main_lib1.dart:89:28 -> InstanceConstant(const _ConstForC7{_ConstForC7._f: _privateMethodForC7})
Evaluated: StaticGet @ org-dartlang-testcase:///main_lib1.dart:191:4 -> InstanceConstant(const _Override{})
Evaluated: StaticGet @ org-dartlang-testcase:///main_lib1.dart:196:4 -> InstanceConstant(const _Override{})
Evaluated: StaticGet @ org-dartlang-testcase:///main_lib1.dart:205:4 -> InstanceConstant(const _Override{})
Evaluated: StaticGet @ org-dartlang-testcase:///main_lib1.dart:212:4 -> InstanceConstant(const _Override{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///main_lib1.dart:67:16 -> InstanceConstant(const _C5{_C5.func: _privateMethod1})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///main_lib1.dart:68:16 -> InstanceConstant(const _C5{_C5.func: _privateMethod2})
Extra constant evaluation: evaluated: 48, effectively constant: 11