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

dfa: when checking contracts, avoid duplicate states, and fail-fast for too complex contracts (IDEA-135259)

Browse Source
This commit is contained in:
peter
2015-01-15 15:05:10 +01:00
parent 57b482d07c
commit 3ab6152515
3 changed files with 45 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/inspection/dataFlow/fixture/ContractWithManyParameters.java
+28
View File
@@ -0,0 +1,28 @@
import java.util.Set;
class Foo {
private static void calculate(String p1, String p2, Set<String> p3,
String p4, String p5,
String p6, Integer p7, Integer p8,
Integer p9, Boolean p10, String p11,
Integer p12, Integer p13) {
validate(p1, p2, p4, p5, p6, p3.toString(), p7, p8, p9, p10, p11, p12, p13);
System.out.println(p1);
}
public static void validate(String p1, String p2, String p3, String p4, String p5, String
p6, Integer p7, Integer p8, Integer p9, Boolean p10, String p11, Integer p12, Integer p13) {
if (p1 == null && p2 == null && p3 == null && p4 == null && p5 == null && p6 == null && p7 == null &&
p8 == null && p9 == null && p10 == null && p11 == null && p12 == null && p13 == null)
throw new RuntimeException();
if (p10 != null && (p8 == null && p7 == null && p9 == null))
throw new RuntimeException();
if ((p12 != null || p13 != null) && (p12 == null || p13 == null))
throw new RuntimeException();
}
}
java/java-tests/testSrc/com/intellij/codeInspection/DataFlowInspectionTest.java
+1
View File
@@ -216,6 +216,7 @@ public class DataFlowInspectionTest extends LightCodeInsightFixtureTestCase {
public void testContractAnnotation() { doTest(); }
public void testContractInapplicableComparison() { doTest(); }
public void testContractInLoopNotTooComplex() { doTest(); }
public void testContractWithManyParameters() { doTest(); }
public void testContractWithNullable() { doTest(); }
public void testContractWithNotNull() { doTest(); }
public void testContractPreservesUnknownNullability() { doTest(); }