equal
deleted
inserted
replaced
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 |
28 * @author gafter |
28 * @author gafter |
29 * |
29 * |
30 * @compile -source 1.4 ExtendCovariant1.java |
30 * @compile ExtendCovariant1.java |
31 */ |
31 */ |
32 |
32 |
33 /** |
33 /** |
34 * java.io.PrintStream java.io.PrintStream.append(char) |
34 * java.io.PrintStream java.io.PrintStream.append(char) |
35 * |
35 * |
36 * overrides |
36 * overrides |
37 * |
37 * |
38 * java.lang.Appendable java.lang.Appendable.append(char) |
38 * java.lang.Appendable java.lang.Appendable.append(char) |
39 * |
39 * |
40 * Yet javac should allow extending PrintStream, as long as the user |
40 * With JDK 1.5, a covariant return is allowed so check that is the case. |
41 * doesn't directly override a covariant method in -source 1.4. |
|
42 **/ |
41 **/ |
43 public class ExtendCovariant1 extends java.io.PrintStream { |
42 public class ExtendCovariant1 extends java.io.PrintStream { |
44 ExtendCovariant1() throws java.io.IOException { |
43 ExtendCovariant1() throws java.io.IOException { |
45 super(""); |
44 super(""); |
46 } |
45 } |