MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-10 13:17:09 +07:00
Code Issues Packages Projects Releases Wiki Activity

don't flush fields for pure method and getter calls (IDEA-117449)

Browse Source
This commit is contained in:
peter
2014-03-05 22:19:28 +01:00
parent 80049dfc29
commit 6166a0e4fb
6 changed files with 59 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/inspection/dataFlow/fixture/GettersAndPureNoFlushing.java
+31
View File
@@ -0,0 +1,31 @@
import org.jetbrains.annotations.Contract;
import org.jetbrains.annotations.Nullable;
class Doo {
@Nullable
Object getMethod() {return null;}
boolean isSomething() { return false;}
@Contract(pure=true)
boolean pureSomething() { return false;}
public void main2() {
if (getMethod() == null && !isSomething()) {
return;
} else {
System.out.println(<warning descr="Method invocation 'getMethod().hashCode()' may produce 'java.lang.NullPointerException'">getMethod().hashCode()</warning>);
}
}
public void main3() {
if (getMethod() == null && !pureSomething()) {
return;
} else {
System.out.println(<warning descr="Method invocation 'getMethod().hashCode()' may produce 'java.lang.NullPointerException'">getMethod().hashCode()</warning>);
}
}
}