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

infer nullity: skip () and type casts correctly (IDEA-64419)

Browse Source
This commit is contained in:
anna
2011-01-20 18:51:34 +01:00
parent f00ece4ba3
commit b4f660521a
3 changed files with 27 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/codeInsight/nullityinferrer/afterParameterDereferenced.java
+8
View File
@@ -12,4 +12,12 @@ class Test {
if (str.substring(0) == null) {
}
}
/**
* @param str
*/
void bar(@NotNull String str) {
if ((str).substring(0) == null) {
}
}
}
java/java-tests/testData/codeInsight/nullityinferrer/beforeParameterDereferenced.java
+8
View File
@@ -12,4 +12,12 @@ class Test {
if (str.substring(0) == null) {
}
}
/**
* @param str
*/
void bar(String str) {
if ((str).substring(0) == null) {
}
}
}