langtools/test/tools/javac/mixedTarget/ExtendCovariant2.java
changeset 25445 603f0c93d5c9
parent 5520 86e4b9a9da40
equal deleted inserted replaced
25444:27045478cf23 25445:603f0c93d5c9
     1 /*
     1 /*
     2  * Copyright (c) 2004, Oracle and/or its affiliates. All rights reserved.
     2  * Copyright (c) 2004, 2014, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.
     7  * published by the Free Software Foundation.
    22  */
    22  */
    23 
    23 
    24 /*
    24 /*
    25  * @test
    25  * @test
    26  * @bug 5009712
    26  * @bug 5009712
    27  * @summary 1.4 javac should not accept the Covariant Return Type
    27  * @summary Ensure Covariant Return Type allowed in minimum supported version
    28  * @author gafter
    28  * @author gafter
    29  *
    29  *
    30  * @compile/fail -source 1.4 ExtendCovariant2.java
    30  * @compile -source 1.6 ExtendCovariant2.java
    31  * @compile                  ExtendCovariant2.java
    31  * @compile                  ExtendCovariant2.java
    32  */
    32  */
    33 
    33 
    34 /**
    34 /**
    35  * java.io.PrintStream java.io.PrintStream.append(char)
    35  * java.io.PrintStream java.io.PrintStream.append(char)
    36  *
    36  *
    37  * overrides
    37  * overrides
    38  *
    38  *
    39  * java.lang.Appendable java.lang.Appendable.append(char)
    39  * java.lang.Appendable java.lang.Appendable.append(char)
    40  *
    40  *
    41  * Yet javac should allow extending PrintStream, as long as the user
    41  * With JDK 1.5, a Covariant Return is allowed so check that is the case.
    42  * doesn't directly override a covariant method in -source 1.4.
    42  *
    43  **/
    43  **/
    44 public class ExtendCovariant2 extends java.io.PrintStream {
    44 public class ExtendCovariant2 extends java.io.PrintStream {
    45     ExtendCovariant2() throws java.io.IOException {
    45     ExtendCovariant2() throws java.io.IOException {
    46         super("");
    46         super("");
    47     }
    47     }