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

dfa: expand contract test

Browse Source
This commit is contained in:
peter
2013-09-19 18:32:08 +02:00
parent 1cddfb488a
commit 709af867c6
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/inspection/dataFlow/fixture/ContractAnnotation.java
+9 -1
View File
@@ -6,14 +6,22 @@ import java.lang.AssertionError;
import java.lang.IllegalArgumentException;
public class AssertIsNotNull {
void bar(String s) {
void bar(String s, String s1) {
if (<warning descr="Condition 's == null && trimIfNotNull(s) != null' is always 'false'">s == null && <warning descr="Condition 'trimIfNotNull(s) != null' is always 'false' when reached">trimIfNotNull(s) != null</warning></warning>) {
throw new AssertionError();
}
final Object o = call();
assertIsNotNull(o);
System.out.println(o.toString());
if(<warning descr="Condition 'o == null' is always 'false'">o == null</warning>) {}
if (trimIfNotNull(s1) != null) {
System.out.println(s1.charAt(0));
if (<warning descr="Condition 's1 == null' is always 'false'">s1 == null</warning>) {
}
}
}
@Contract("null -> fail")