blob: 0faca003c26d04c32f1625b6d08137e02b1c8bf0 [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
typedef B = self::A;
class A extends core::Object {
constructor •(core::int x, core::int y, {required core::int z}) self::A
: super core::Object::•()
;
static factory foo(core::int x, core::int y, {required core::int z}) self::A
return new self::A::•(x, y, z: z);
get property() (core::int, core::int, {required z: core::int}) void
return throw 42;
method bar(core::int x, core::int y, {required core::int z}) void {}
}
class Test extends self::A {
constructor •() self::Test
: super self::A::•(1, 2, z: 3)
;
method test() dynamic {
super.{self::A::bar}(1, 2, z: 3);
let final core::int #t1 = 1 in let final core::int #t2 = 2 in super.{self::A::bar}(#t1, 3, z: #t2);
let final core::int #t3 = 1 in super.{self::A::bar}(2, 3, z: #t3);
}
}
extension E on self::A {
method method1 = self::E|method1;
method tearoff method1 = self::E|get#method1;
method method2 = self::E|method2;
method tearoff method2 = self::E|get#method2;
static method staticMethod2 = self::E|staticMethod2;
}
static method foo(core::int x, core::int y, {required core::int z}) dynamic {}
static extension-member method E|method1(lowered final self::A #this) → dynamic {
let final self::A #t4 = #this in let final core::int #t5 = 1 in self::E|method2(#t4, 2, foo: #t5);
let final core::int #t6 = 1 in self::E|staticMethod2(2, foo: #t6);
}
static extension-member method E|get#method1(lowered final self::A #this) → () → dynamic
return () dynamic => self::E|method1(#this);
static extension-member method E|method2(lowered final self::A #this, core::int bar, {core::int? foo = #C1}) → dynamic {}
static extension-member method E|get#method2(lowered final self::A #this) → (core::int, {foo: core::int?}) → dynamic
return (core::int bar, {core::int? foo = #C1}) → dynamic => self::E|method2(#this, bar, foo: foo);
static extension-member method E|staticMethod2(core::int bar, {core::int? foo = #C1}) → dynamic {}
static method test(dynamic d, core::Function f, self::A a) dynamic {
function local(core::int x, core::int y, {required core::int z}) void {}
self::foo(1, 2, z: 3);
let final core::int #t7 = 1 in let final core::int #t8 = 2 in self::foo(#t7, 3, z: #t8);
let final core::int #t9 = 1 in self::foo(2, 3, z: #t9);
self::A::foo(1, 2, z: 3);
let final core::int #t10 = 1 in let final core::int #t11 = 2 in self::A::foo(#t10, 3, z: #t11);
let final core::int #t12 = 1 in self::A::foo(2, 3, z: #t12);
self::A::foo(1, 2, z: 3);
let final core::int #t13 = 1 in let final core::int #t14 = 2 in self::A::foo(#t13, 3, z: #t14);
let final core::int #t15 = 1 in self::A::foo(2, 3, z: #t15);
new self::A::•(1, 2, z: 3);
let final core::int #t16 = 1 in let final core::int #t17 = 2 in new self::A::•(#t16, 3, z: #t17);
let final core::int #t18 = 1 in new self::A::•(2, 3, z: #t18);
new self::A::•(1, 2, z: 3);
let final core::int #t19 = 1 in let final core::int #t20 = 2 in new self::A::•(#t19, 3, z: #t20);
let final core::int #t21 = 1 in new self::A::•(2, 3, z: #t21);
d{dynamic}(1, 2, z: 3);
let final core::int #t22 = 1 in let final core::int #t23 = 2 in d{dynamic}(#t22, 3, z: #t23);
let final core::int #t24 = 1 in d{dynamic}(2, 3, z: #t24);
f(1, 2, z: 3);
let final core::int #t25 = 1 in let final core::int #t26 = 2 in f(#t25, 3, z: #t26);
let final core::int #t27 = 1 in f(2, 3, z: #t27);
let final self::A #t28 = a in let final core::int #t29 = 1 in let final core::int #t30 = 2 in let final core::int #t31 = 3 in #t28.{self::A::property}{(core::int, core::int, {required z: core::int}) → void}(#t29, #t30, z: #t31){(core::int, core::int, {required z: core::int}) → void};
let final self::A #t32 = a in let final core::int #t33 = 1 in let final core::int #t34 = 2 in let final core::int #t35 = 3 in #t32.{self::A::property}{(core::int, core::int, {required z: core::int}) → void}(#t33, #t35, z: #t34){(core::int, core::int, {required z: core::int}) → void};
let final self::A #t36 = a in let final core::int #t37 = 1 in let final core::int #t38 = 2 in let final core::int #t39 = 3 in #t36.{self::A::property}{(core::int, core::int, {required z: core::int}) → void}(#t38, #t39, z: #t37){(core::int, core::int, {required z: core::int}) → void};
a.{self::A::bar}(1, 2, z: 3){(core::int, core::int, {required z: core::int}) void};
let final self::A #t40 = a in let final core::int #t41 = 1 in let final core::int #t42 = 2 in #t40.{self::A::bar}(#t41, 3, z: #t42){(core::int, core::int, {required z: core::int}) → void};
let final self::A #t43 = a in let final core::int #t44 = 1 in #t43.{self::A::bar}(2, 3, z: #t44){(core::int, core::int, {required z: core::int}) → void};
local(1, 2, z: 3){(core::int, core::int, {required z: core::int}) void};
let final core::int #t45 = 1 in let final core::int #t46 = 2 in local(#t45, 3, z: #t46){(core::int, core::int, {required z: core::int}) → void};
let final core::int #t47 = 1 in local(2, 3, z: #t47){(core::int, core::int, {required z: core::int}) → void};
self::E|method2(a, 2, foo: 1);
self::E|method2(a, 2, foo: 1);
let final core::int #t48 = 1 in self::E|staticMethod2(2, foo: #t48);
}
static method main() dynamic {}
constants {
#C1 = null
}
Extra constant evaluation status:
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:93:15 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:93:21 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:94:18 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:21:18 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:22:24 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:34:7 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:34:13 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:35:10 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:39:13 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:39:19 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:40:16 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:42:13 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:42:19 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:43:16 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:47:9 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:47:15 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:48:12 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:50:9 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:50:15 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:51:12 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:55:5 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:55:11 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:56:8 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:60:5 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:60:11 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:61:8 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:64:14 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:64:17 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:64:23 -> IntConstant(3)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:65:14 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:65:23 -> IntConstant(3)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:65:20 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:66:20 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:66:23 -> IntConstant(3)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:66:17 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:70:9 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:70:15 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:71:12 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:75:9 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:75:15 -> IntConstant(2)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:76:12 -> IntConstant(1)
Evaluated: VariableGet @ org-dartlang-testcase:///all_kinds.dart:85:24 -> IntConstant(1)
Extra constant evaluation: evaluated: 165, effectively constant: 42