Quelle Reifiable.java Sprache: JAVA

/*
* @test /nodynamiccopyright/
* @bug 8231827
* @summary Verify behavior w.r.t. non-reifiable types and type test patterns in instanceof
* @compile/fail/ref=Reifiable.out -XDrawDiagnostics Reifiable.java
*/

public class Reifiable implements ReifiableI {
    private static boolean test(Object o, List<Reifiable> l1, List<String> l2) {
        return o instanceof ListImpl<Reifiable> li1 &&
               l1 instanceof ListImpl<Reifiable> li2 &&
               l2 instanceof ListImpl<Reifiable> li3 &&
               l2 instanceof ListImpl<String> li4 &&
               l1 instanceof Unrelated<Reifiable> li5;
    }

    public class List<T> {}
    public class ListImpl<T extends ReifiableI> extends List<T> {}
    public class Unrelated<T> {}
}

interface ReifiableI {}

quality89%

¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.