test/tools/javac/defaultMethods/Pos16.java

Sun, 04 Nov 2012 10:59:42 +0000

author
mcimadamore
date
Sun, 04 Nov 2012 10:59:42 +0000
changeset 1393
d7d932236fee
child 1415
01c9d4161882
permissions
-rw-r--r--

7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith

mcimadamore@1393 1 /*
mcimadamore@1393 2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
mcimadamore@1393 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@1393 4 *
mcimadamore@1393 5 * This code is free software; you can redistribute it and/or modify it
mcimadamore@1393 6 * under the terms of the GNU General Public License version 2 only, as
mcimadamore@1393 7 * published by the Free Software Foundation.
mcimadamore@1393 8 *
mcimadamore@1393 9 * This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@1393 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@1393 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@1393 12 * version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@1393 13 * accompanied this code).
mcimadamore@1393 14 *
mcimadamore@1393 15 * You should have received a copy of the GNU General Public License version
mcimadamore@1393 16 * 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@1393 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@1393 18 *
mcimadamore@1393 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
mcimadamore@1393 20 * or visit www.oracle.com if you need additional information or have any
mcimadamore@1393 21 * questions.
mcimadamore@1393 22 */
mcimadamore@1393 23
mcimadamore@1393 24 /*
mcimadamore@1393 25 * @test
mcimadamore@1393 26 * @summary 'class wins' should not short-circuit overload resolution
mcimadamore@1393 27 * @compile -XDallowDefaultMethods Pos16.java
mcimadamore@1393 28 */
mcimadamore@1393 29
mcimadamore@1393 30 class Pos16 {
mcimadamore@1393 31 interface I {
mcimadamore@1393 32 default String m(Integer i) { return ""; }
mcimadamore@1393 33 }
mcimadamore@1393 34
mcimadamore@1393 35 class C implements I {
mcimadamore@1393 36 Integer m(Object o) { return 1; }
mcimadamore@1393 37 }
mcimadamore@1393 38
mcimadamore@1393 39 void test(C c) {
mcimadamore@1393 40 c.m(1).length();
mcimadamore@1393 41 }
mcimadamore@1393 42 }

mercurial