java/java-tests/testSrc/com/intellij/codeInspection/DataFlowInspectionTest.java

   1 /*
   2  * Created by IntelliJ IDEA.
   3  * User: max
   4  * Date: Apr 11, 2002
   5  * Time: 6:50:50 PM
   6  * To change template for new class use
   7  * Code Style | Class Templates options (Tools | IDE Options).
   8  */
   9 package com.intellij.codeInspection;
  10
  11 import com.intellij.JavaTestUtil;
  12 import com.intellij.codeInspection.dataFlow.DataFlowInspection;
  13 import com.intellij.codeInspection.ex.LocalInspectionToolWrapper;
  14 import com.intellij.testFramework.InspectionTestCase;
  15 import org.jetbrains.annotations.NonNls;
  16
  17 public class DataFlowInspectionTest extends InspectionTestCase {
  18   @Override
  19   protected String getTestDataPath() {
  20     return JavaTestUtil.getJavaTestDataPath() + "/inspection";
  21   }
  22
  23   private void doTest() throws Exception {
  24     doTest("dataFlow/" + getTestName(false), new DataFlowInspection());
  25   }
  26
  27   private void doTest15() throws Exception {
  28     final LocalInspectionToolWrapper tool = new LocalInspectionToolWrapper(new DataFlowInspection());
  29     doTest("dataFlow/" + getTestName(false), tool, "java 1.5");
  30   }
  31
  32   public void testnpe1() throws Exception { doTest(); }
  33
  34   public void testcaseAndNpe() throws Exception { doTest(); }
  35
  36   public void testcce() throws Exception { doTest(); }
  37
  38   public void testexceptionCFG() throws Exception { doTest(); }
  39
  40   public void testinst() throws Exception { doTest(); }
  41
  42   public void testwrongEqualTypes() throws Exception { doTest(); }
  43
  44   public void testSCR13702() throws Exception { doTest(); }
  45
  46   public void testSCR13626() throws Exception { doTest(); }
  47
  48   public void testSCR13871() throws Exception { doTest(); }
  49
  50   public void testInstanceof() throws Exception { doTest(); }
  51
  52   public void testorBug() throws Exception { doTest(); }
  53
  54   public void testSCR14819() throws Exception { doTest(); }
  55
  56   public void testSCR14314() throws Exception { doTest(); }
  57
  58   public void testSCR15162() throws Exception { doTest(); }
  59
  60   public void testCatchParameterCantBeNull() throws Exception { doTest(); }
  61
  62   public void testxor() throws Exception { doTest(); }
  63
  64   public void testGenericInstanceof() throws Exception { doTest(); }
  65
  66   public void testthisInstanceof() throws Exception { doTest(); }
  67
  68   public void testandEq() throws Exception { doTest(); }
  69
  70   public void testnullableField() throws Exception { doTest(); }
  71
  72   public void testSCR39950() throws Exception { doTest(); }
  73
  74   public void testscrIDEA1() throws Exception { doTest(); }
  75   public void testSCR18186() throws Exception { doTest(); }
  76   //public void testSCR15406() throws Exception {
  77   //  doTest();
  78   //}
  79   public void testconstantExpr() throws Exception { doTest(); }
  80
  81   public void testNotNullable() throws Exception { doTest15(); }
  82
  83   public void testNotNullableParameter() throws Exception { doTest15(); }
  84
  85   public void testNotNullableParameter2() throws Exception { doTest15(); }
  86
  87   public void testNullable() throws Exception { doTest15(); }
  88   public void testNullableThroughCast() throws Exception { doTest15(); }
  89   public void testNullableThroughVariable() throws Exception { doTest15(); }
  90   public void testNullableThroughVariableShouldNotBeReported() throws Exception { doTest15(); }
  91   public void testNullableAssignment() throws Exception { doTest15(); }
  92
  93   public void testNullableLocalVariable() throws Exception { doTest15(); }
  94
  95   public void testNotNullLocalVariable() throws Exception { doTest15(); }
  96
  97   public void testNullableReturn() throws Exception { doTest15(); }
  98
  99   public void testNullableReturn1() throws Exception { doTest15(); }
 100
 101   public void testfinalFields() throws Exception { doTest15(); }
 102
 103   public void testNotNullArray() throws Exception { doTest15(); }
 104
 105   public void testFieldsFlashing() throws Exception { doTest15(); }
 106
 107   public void testConditionFalseAndNPE() throws Exception { doTest15(); }
 108
 109   public void testIDEADEV1575() throws Exception { doTest15(); }
 110
 111   public void testAlexBug() throws Exception { doTest15(); }
 112   public void testYoleBug() throws Exception { doTest15(); }
 113
 114   public void testForeachFlow() throws Exception { doTest15(); }
 115   public void testForEachNPE() throws Exception { doTest15(); }
 116   public void testArrayAccessNPE() throws Exception { doTest15(); }
 117   public void testArrayAccessDoesntCancelAnalysis() throws Exception { doTest15(); }
 118   public void testcompileTimeConst() throws Exception { doTest15(); }
 119   public void testautoboxing() throws Exception { doTest15(); }
 120   public void testunboxingNPE() throws Exception { doTest15(); }
 121
 122   public void testStrangeArrayIndexOutOfBounds() throws Exception { doTest15(); }
 123   public void testIDEADEV2605() throws Exception { doTest15(); }
 124   public void testConstantsDifferentTypes() throws Exception { doTest15(); }
 125   public void testBoxingNaN() throws Exception { doTest15(); }
 126   public void testjspTemplateStatement() throws Exception {
 127     @NonNls final String testDir = getTestDataPath() + "/"+ "dataFlow/" + getTestName(false);
 128     runTool(testDir, "java 1.4", new LocalInspectionToolWrapper(new DataFlowInspection()));
 129     // should not crash
 130   }
 131   public void testboxingBoolean() throws Exception { doTest15();}
 132
 133   public void testCheckedExceptionDominance() throws Exception { doTest15();}
 134   public void testIDEADEV10489() throws Exception { doTest15();}
 135   public void testPlusOnStrings() throws Exception { doTest15();}
 136
 137   public void testSwitchQualifierProducesNPE() throws Exception {doTest15();}
 138   public void testIDEADEV15583() throws Exception {doTest15();}
 139   public void testIDEADEV13153() throws Exception { doTest15(); }
 140   public void testIDEADEV13156() throws Exception { doTest15(); }
 141
 142   //public void testIDEADEV11033() throws Exception { doTest15(); }
 143 }