an index to detect nulls passed as arguments of method parameters + DataFlowInspectio...
authorDmitry Batkovich <dmitry.batkovich@jetbrains.com>
Thu, 18 Aug 2016 09:20:54 +0000 (12:20 +0300)
committerDmitry Batkovich <dmitry.batkovich@jetbrains.com>
Thu, 18 Aug 2016 09:21:51 +0000 (12:21 +0300)
commit8a9227543c7a99b426cbf8aa24c4b910fc2c4be0
tree87fcda185ea245c6d9c5a6a4a80a31edd4812da3
parent17a7a2727457484f0e820546a551756b7e7dd1ce
an index to detect nulls passed as arguments of method parameters + DataFlowInspection and NullableStuffInspection use it to detect method call failings when one of parameters is null
23 files changed:
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ContractChecker.java
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DataFlowInspectionBase.java
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DataFlowRunner.java
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaPsiUtil.java
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/NullParameterConstraintChecker.java [new file with mode: 0644]
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/StandardDataFlowRunner.java
java/java-analysis-impl/src/com/intellij/codeInspection/nullable/NullableStuffInspectionBase.java
java/java-impl/src/com/intellij/codeInspection/dataFlow/DataFlowInspection.java
java/java-impl/src/com/intellij/codeInspection/nullable/NullableStuffInspection.java
java/java-impl/src/com/intellij/codeInspection/nullable/OptionsPanel.form
java/java-indexing-impl/src/com/intellij/psi/impl/search/JavaNullMethodArgumentIndex.java [new file with mode: 0644]
java/java-indexing-impl/src/com/intellij/psi/impl/search/JavaNullMethodArgumentUtil.java [new file with mode: 0644]
java/java-tests/testData/inspection/dataFlow/fixture/GenericParameterNullity.java
java/java-tests/testData/inspection/dataFlow/fixture/NullArgumentButParameterIsReassigned.java [new file with mode: 0644]
java/java-tests/testData/inspection/dataFlow/fixture/NullArgumentIsFailingMethodCall.java [new file with mode: 0644]
java/java-tests/testData/inspection/dataFlow/fixture/NullArgumentIsNotFailingMethodCall.java [new file with mode: 0644]
java/java-tests/testData/inspection/nullableProblems/NullPassedToNotNullConstructorParameter.java [new file with mode: 0644]
java/java-tests/testData/inspection/nullableProblems/NullPassedToNotNullParameter.java [new file with mode: 0644]
java/java-tests/testSrc/com/intellij/codeInspection/DataFlowInspection8Test.java
java/java-tests/testSrc/com/intellij/codeInspection/NullableStuffInspectionTest.java
java/java-tests/testSrc/com/intellij/psi/impl/search/JavaNullMethodArgumentIndexTest.kt [new file with mode: 0644]
platform/platform-resources-en/src/messages/InspectionsBundle.properties
resources/src/META-INF/IdeaPlugin.xml