74 lines
2.6 KiB
Java
74 lines
2.6 KiB
Java
|
/*
|
||
|
|
* Copyright (c) 2020, Oracle and/or its affiliates. All rights reserved.
|
||
|
|
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
||
|
|
*
|
||
|
|
* This code is free software; you can redistribute it and/or modify it
|
||
|
|
* under the terms of the GNU General Public License version 2 only, as
|
||
|
|
* published by the Free Software Foundation.
|
||
|
|
*
|
||
|
|
* This code is distributed in the hope that it will be useful, but WITHOUT
|
||
|
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||
|
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||
|
|
* version 2 for more details (a copy is included in the LICENSE file that
|
||
|
|
* accompanied this code).
|
||
|
|
*
|
||
|
|
* You should have received a copy of the GNU General Public License version
|
||
|
|
* 2 along with this work; if not, write to the Free Software Foundation,
|
||
|
|
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
||
|
|
*
|
||
|
|
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
|
||
|
|
* or visit www.oracle.com if you need additional information or have any
|
||
|
|
* questions.
|
||
|
|
*/
|
||
|
|
|
||
|
|
/*
|
||
|
|
* @test
|
||
|
|
* @bug 8225056
|
||
|
|
* @compile --enable-preview -source ${jdk.version} OverrideSealedTest.java
|
||
|
|
* @run main/othervm --enable-preview OverrideSealedTest
|
||
|
|
*/
|
||
|
|
|
||
|
|
// Test that a method in a sealed class or interface can be overridden.
|
||
|
|
public class OverrideSealedTest {
|
||
|
|
|
||
|
|
sealed class Rectangle permits Square {
|
||
|
|
public String draw() { return "rectangle"; }
|
||
|
|
}
|
||
|
|
|
||
|
|
final class Square extends Rectangle {
|
||
|
|
public String draw() { return "square"; }
|
||
|
|
}
|
||
|
|
|
||
|
|
Rectangle r = new Rectangle();
|
||
|
|
Rectangle rs = new Square();
|
||
|
|
Square s = new Square();
|
||
|
|
|
||
|
|
|
||
|
|
public sealed interface Shape permits Circle {
|
||
|
|
default String name() { return "shape"; }
|
||
|
|
}
|
||
|
|
|
||
|
|
final class Circle implements Shape {
|
||
|
|
public String name() { return "circle"; }
|
||
|
|
}
|
||
|
|
|
||
|
|
Shape sc = new Circle();
|
||
|
|
Circle c = new Circle();
|
||
|
|
|
||
|
|
|
||
|
|
public static void main(String... args) {
|
||
|
|
OverrideSealedTest ost = new OverrideSealedTest();
|
||
|
|
if (ost.r.draw() != "rectangle")
|
||
|
|
throw new RuntimeException("Bad value returned by draw(): " + ost.r.draw());
|
||
|
|
if (ost.rs.draw() != "square")
|
||
|
|
throw new RuntimeException("Bad value returned by draw(): " + ost.rs.draw());
|
||
|
|
if (ost.s.draw() != "square")
|
||
|
|
throw new RuntimeException("Bad value returned by draw(): " + ost.s.draw());
|
||
|
|
|
||
|
|
if (ost.sc.name() != "circle")
|
||
|
|
throw new RuntimeException("Bad value returned by name(): " + ost.sc.name());
|
||
|
|
if (ost.c.name() != "circle")
|
||
|
|
throw new RuntimeException("Bad value returned by name(): " + ost.c.name());
|
||
|
|
}
|
||
|
|
}
|