mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
f27595c831
- use `HighlightUtil.checkFeature` for PRIMITIVE_TYPES_IN_PATTERNS - simplify tests - add javadocs a bit GitOrigin-RevId: 61019896534a11e1c7e2f281054d49a32a8ab8e6
44 lines
2.8 KiB
Java
44 lines
2.8 KiB
Java
package dfa;
|
|
|
|
public class InstanceofPrimitivesNotAllowed {
|
|
public static void main(String[] args) {
|
|
testPrimitiveToPrimitive();
|
|
testPrimitiveToObject();
|
|
testObjectToPrimitive();
|
|
}
|
|
|
|
private static void testObjectToPrimitive() {
|
|
Integer i = 1;
|
|
Object l = 1;
|
|
if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'double'">i instanceof double</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'int'">i instanceof int</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'java.lang.Integer' to 'int'">i instanceof int ii</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'java.lang.Object' to 'double'">l instanceof double</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'java.lang.Object' to 'int'">l instanceof int</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'java.lang.Object' to 'int'">l instanceof int ii</error>) { } //error
|
|
}
|
|
|
|
private static void testPrimitiveToPrimitive() {
|
|
int i = 1;
|
|
long l = 1;
|
|
if (<error descr="Inconvertible types; cannot cast 'int' to 'double'">i instanceof double</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'int' to 'int'">i instanceof int</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'int' to 'int'">i instanceof int ii</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'long' to 'double'">l instanceof double</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'long' to 'int'">l instanceof int</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'long' to 'int'">l instanceof int ii</error>) { } //error
|
|
}
|
|
|
|
private static void testPrimitiveToObject() {
|
|
int i = 1;
|
|
long l = 1;
|
|
if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Double'">i instanceof Double</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Integer'">i instanceof Integer</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Object'">i instanceof Object</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'int' to 'java.lang.Integer'">i instanceof Integer ii</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Double'">l instanceof Double</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Integer'">l instanceof Integer</error>) { } //error
|
|
if (<error descr="Inconvertible types; cannot cast 'long' to 'java.lang.Object'">l instanceof Object</error>) { } //error
|
|
}
|
|
}
|