insert instance of|cast when condition contains intersection with instanceof (IDEA-64776)

This commit is contained in:
anna
2011-08-23 12:12:04 +02:00
parent ac73782715
commit c0a11624a2
5 changed files with 66 additions and 10 deletions

View File

@@ -0,0 +1,10 @@
// "Insert '(String)o' declaration" "true"
class C {
void f(Object o, Object f) {
if (o instanceof String && f == null) {
String s = (String) o;
<caret>
}
}
}

View File

@@ -0,0 +1,8 @@
// "Insert '(String)o' declaration" "true"
class C {
void f(Object o, Object f) {
if (o instanceof String && f == null) {
<caret>
}
}
}

View File

@@ -0,0 +1,8 @@
// "Insert '(String)o' declaration" "false"
class C {
void f(Object o, Object f) {
if (o instanceof String || f == null) {
<caret>
}
}
}

View File

@@ -0,0 +1,8 @@
// "Insert '(String)o' declaration" "false"
class C {
void f(Object o, Object f) {
if (o instanceof String && f instanceof String) {
<caret>
}
}
}