blob: 378260b536e2e933166ccce0f5407e4ff8ce61fd [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
abstract class A extends core::Object {
synthetic constructor •() self::A
;
}
extension type B(self::A a) {
abstract extension-type-member representation-field get a() self::A;
get field = self::B|get#field;
set field = self::B|set#field;
method method = self::B|method;
method tearoff method = self::B|get#method;
method genericMethod = self::B|genericMethod;
method tearoff genericMethod = self::B|get#genericMethod;
get getter = self::B|get#getter;
static get staticField = get self::B|staticField;
static set staticField = set self::B|staticField;
static method staticMethod = self::B|staticMethod;
static method staticGenericMethod = self::B|staticGenericMethod;
static get staticGetter = get self::B|staticGetter;
set setter = self::B|set#setter;
static set staticSetter = set self::B|staticSetter;
constructor _ = self::B|constructor#_;
constructor tearoff _ = self::B|constructor#_#_#tearOff;
constructor = self::B|constructor#;
constructor tearoff = self::B|constructor#_#new#tearOff;
constructor named = self::B|constructor#named;
constructor tearoff named = self::B|constructor#_#named#tearOff;
}
static extension-type-member method B|constructor#_(self::A a) → self::B% /* erasure=self::A, declared=! */
;
static extension-type-member method B|constructor#_#_#tearOff(self::A a) → self::B% /* erasure=self::A, declared=! */
return self::B|constructor#_(a);
external static extension-type-member method B|constructor#(self::A a) → self::B% /* erasure=self::A, declared=! */;
static extension-type-member method B|constructor#_#new#tearOff(self::A a) → self::B% /* erasure=self::A, declared=! */
return self::B|constructor#(a);
external static extension-type-member method B|constructor#named(core::int i) → self::B% /* erasure=self::A, declared=! */;
static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B% /* erasure=self::A, declared=! */
return self::B|constructor#named(i);
external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
external static extension-type-member method B|method(lowered final self::B% /* erasure=self::A, declared=! */ #this) → self::A;
static extension-type-member method B|get#method(lowered final self::B% /* erasure=self::A, declared=! */ #this) → () → self::A
return () self::A => self::B|method(#this);
external static extension-type-member method B|genericMethod<T extends self::B% /* erasure=self::A, declared=! */>(lowered final self::B% /* erasure=self::A, declared=! */ #this, self::B|genericMethod::T% t) → self::B|genericMethod::T%;
static extension-type-member method B|get#genericMethod(lowered final self::B% /* erasure=self::A, declared=! */ #this) → <T extends self::B% /* erasure=self::A, declared=! */>(T%) → T%
return <T extends self::B% /* erasure=self::A, declared=! */>(T% t) T% => self::B|genericMethod<T%>(#this, t);
external static extension-type-member method B|get#getter(lowered final self::B% /* erasure=self::A, declared=! */ #this) → self::B% /* erasure=self::A, declared=! */;
external static extension-type-member method B|set#setter(lowered final self::B% /* erasure=self::A, declared=! */ #this, self::B% /* erasure=self::A, declared=! */ b) → void;
external static extension-type-member get B|staticField() self::A;
external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
external static extension-type-member method B|staticMethod() self::A;
external static extension-type-member method B|staticGenericMethod<T extends core::Object? = dynamic>(self::B|staticGenericMethod::T% t) self::B|staticGenericMethod::T%;
external static extension-type-member get B|staticGetter() self::B% /* erasure=self::A, declared=! */;
external static extension-type-member set B|staticSetter(self::B% /* erasure=self::A, declared=! */ b) void;
static method method(self::A a) void
;