package p;

interface SAM1 {
	X apply(X x1);
}

interface SAM2 {
	X apply(X x1);
}

interface SAM3 {
	X apply(X x1);
}

interface SAM4 {
	X apply(X x1);
}

interface SAM5 {
	X apply(X x1);
}

interface SAM6 {
	X apply(X x1);
}

interface SAM7 {
	X apply(X x1);
}

class Base {
	X method1(X x) {
		return new X("created in Base::method1");
	}

	X method2(X x) {
		return new X("created in Base::method2");
	}

	X method3(X x2) {
		return x2;
	}
}

public class Util extends Base {
	X method1(X x) {
		return new X("created in method1");
	}

	X method2(X x) {
		return new X("created in method2");
	}

	String static_method(X x1) {
		SAM1 sam1 = X::staticMethod;
		return sam1.apply(x1).m2();
	}

	String instance_method_via_type(X x2) {
		SAM2 sam2 = p.X::instanceMethod;
		return sam2.apply(x2).m2();
	}

	String constructor_ref(X x3) {
		SAM3 sam3 = X::new;
		return sam3.apply(x3).m2();
	}

	String this_method1(X x4) {
		SAM4 sam4 = this::method1;
		return sam4.apply(x4).m2();
	}

	String super_method2(X x5) {
		SAM5 sam5 = super::method2;
		return sam5.apply(x5).m2();
	}

	String instance_method2(X x6) {
		SAM6 sam6 = x6::instanceMethod2;
		return sam6.apply(x6).m2();
	}

	String instance_method2_via_field(X x7) {
		SAM7 sam7 = x7.field::instanceMethod2;
		return sam7.apply(x7).m2();
	}

	public static void check(String expected, String actual) {
		if (!expected.equals(actual)) {
			System.out.println(expected + " != " + actual);
		} else {
			System.out.println("OK: " + expected);
		}
	}

	public static void main(String[] args) {
		Util util = new Util();
		check("created in X::staticMethod", util.static_method(new X("static_method")));
		check("created in X::instanceMethod", util.instance_method_via_type(new X("instance_method_via_type")));
		check("created in X::new", util.constructor_ref(new X("constructor_ref")));
		check("created in method1", util.this_method1(new X("this_method1")));
		check("created in Base::method2", util.super_method2(new X("super_method2")));
		check("created in X::instanceMethod2", util.instance_method2(new X("instance_method2")));
		check("created in X::instanceMethod2", util.instance_method2_via_field(new X("instance_method2_via_field")));
	}
}
