peter 57267fe776 Enum.values() is not-null (IDEA-161644)

2016-09-23 12:59:47 +02:00

..

AccessingSameArrayElements.java

IDEA-121276 Constant conditions: work with arrays

2014-07-18 15:34:10 +02:00

AccessorPlusMutator.java

…

AndEquals.java

dfa: don't grow stack infinitely on &= (IDEA-118522)

2013-12-22 10:39:55 +01:00

AnnotatedTypeParameters.java

…

AnnotationMethodNotNull.java

Enum.valueOf and annotations methods are not-null (IDEA-151305, IDEA-151174)

2016-02-10 12:39:19 +01:00

AnnReport.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

AnonymousFieldIndependence.java

…

AnonymousMethodIndependence.java

…

AssertFailInCatch.java

dfa: support contracts with no args (IDEA-127768)

2014-07-29 19:33:15 +02:00

AssertThat.java

IDEA-159699 Error highlighting is different when using AssertJ descriptions

2016-08-22 15:10:03 +02:00

AssertThrowsAssertionError.java

dfa: test that assert throws AssertionError (IDEA-69727)

2015-07-10 22:33:29 +02:00

AssertTrueNotComplex.java

dfa: fix too complex assertTrue (added state defensive copying)

2014-06-11 21:00:32 +02:00

AssigningClassLiteralToNullable.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

AssigningNullableToNotNull.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

AssigningUnknownToNullable.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

AssumeThat.java

Apply hard-coded contract to Assume.assumeThat

2016-07-18 18:59:38 -07:00

BigMethodNotComplex.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

BitwiseNegatedBoxed.java

dfa: flush only ++ unary operator arguments (IDEA-150271)

2016-01-19 18:15:31 +01:00

BooleanPreconditions.java

add hardcoded contracts for Guava checkArgument/checkState (IDEA-126005)

2015-04-20 17:06:34 +02:00

BoxedNaN.java

correct dfa comparison of boxed NaNs (IDEA-156202)

2016-05-18 19:44:26 +02:00

Boxing128.java

…

BoxingImpliesNotNull.java

…

BuildRegexpNotComplex.java

dfa too complex tests: ensure variables are alive all the time

2014-09-21 14:05:50 +02:00

ByteBufferGetter.java

IDEA-123948 Constant condition and exceptions: false positive on MappedByteBuffer.getInt

2014-04-18 22:37:31 +02:00

CanBeNullDoesntImplyIsNull.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

CatchRuntimeException.java

dfa: turn on contract inference from source

2014-07-14 19:07:02 +02:00

CatchThrowable.java

dfa: support contracts with no args (IDEA-127768)

2014-07-29 19:33:15 +02:00

ChainedFinalFieldAccessorsDfa.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

ChainedFinalFieldsDfa.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

CheckComplementarityWhenMerge.java

dfa: check that states to be merged are really complementary (IDEA-136917)

2015-02-25 17:27:47 +01:00

CheckEnumConstantConstructor.java

IDEA-156245 @NotNull doesn't seem to work for enums

2016-05-18 19:44:27 +02:00

CheckFieldInitializers.java

…

ClosureVariableField.java

…

CompareToEnumConstant.java

IDEA-146122 Wrong 'can produce NPE' after comparing with enum constant

2015-10-12 13:33:38 +02:00

ComparingIntToDouble.java

IDEA-82971 False inspection int == double

2015-07-10 22:33:29 +02:00

ComparingNullableToNullable.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

ComparingNullableToUnknown.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

ComparingNullToNotNull.java

dfa: handle variable comparisons to unknown not-null values

2014-06-17 19:43:42 +02:00

ComparingToNotNullShouldNotAffectNullity.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

ComparingToNullableShouldNotAffectNullity.java

dfa: comparison with other variables shouldn't affect a variable's nullability status

2014-03-05 22:19:28 +01:00

CompileTimeConstant.java

IDEA-66134 Inspection "Constant conditions & exceptions": ignore boolean named constants

2015-07-10 20:38:55 +02:00

ConstantConditionsWithAssignmentsInside.java

IDEA-143014 Wrong 'can be null' warning when assignment is done inside if condition

2015-07-31 13:28:36 +02:00

ConstantDoubleComparisons.java

IDEA-124644 Comparison of negative zero with positive zero incorrectly marked as always false

2014-05-05 18:11:00 +02:00

ContinueFlushesLoopVariable.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ContractAnnotation.java

extract contract checking to a separatate inspection

2014-06-06 21:53:58 +02:00

ContractInapplicableComparison.java

fix dfa contract believing that nullable is always null

2014-05-29 21:55:46 +02:00

ContractInferenceBewareOverriding.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

ContractInLoopNotTooComplex.java

IDEA-112222 Validate @Contract annotation is related to the code

2014-06-01 17:20:57 +02:00

ContractPreservesUnknownMethodNullability.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

ContractPreservesUnknownNullability.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ContractSeveralClauses.java

dfa: contracts validation should not exclude notnull validation

2014-05-27 19:20:38 +02:00

ContractVarargs.java

IDEA-112222 Validate @Contract annotation is related to the code

2014-06-01 17:20:57 +02:00

ContractWithManyParameters.java

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

2015-01-15 15:05:10 +01:00

ContractWithNoArgs.java

dfa: support contracts with no args (IDEA-127768)

2014-07-29 19:33:15 +02:00

ContractWithNotNull.java

dfa: contracts validation should not exclude notnull validation

2014-05-27 19:20:38 +02:00

ContractWithNullable.java

dfa: handle in a special way only getX() != null comparisons (IDEA-141823)

2015-06-24 14:29:34 +02:00

CustomDefaultInEnums.java

IDEA-160991 Returning null should result in a warning in @TypeQualifierDefault notnull method

2016-09-19 18:05:40 +02:00

CustomTypeQualifierDefault.java

don't infer ->null contracts in scope of @MethodAreNonNullByDefault (addendum to IDEA-160991)

2016-09-21 10:50:31 +02:00

DecrementAnotherObjectField.java

IDEA-151355 Wrong 'condition always false' after using decrement on object field

2016-02-10 12:39:20 +01:00

DontFlushVariablesUsedInClosures.java

dfa live var analysis should honor variables read in closures (IDEA-131719)

2014-10-22 14:06:25 +02:00

DontForgetEqInfoWhenMergingByType.java

dfa: don't merge by type states which have different eq states

2013-09-29 11:30:30 +02:00

DontForgetInstanceofInfoWhenMerging.java

dfa: don't forget variable instanceof info when merging states

2013-09-27 13:00:16 +02:00

DontLoseInequalityInformation.java

dfa: combine merge by equality and type into a generic relation-based merge

2013-12-18 10:42:48 +01:00

DontMakeNullableAfterInstanceof.java

dfa: when merging states by instanceof, don't forget null equivalence

2013-09-28 15:01:52 +02:00

DontMakeUnrelatedVariableFalseWhenMerging.java

dfa: make state merging result predictable

2013-12-18 14:42:54 +01:00

DontMakeUnrelatedVariableNotNullWhenMerging.java

dfa: combine merge by equality and type into a generic relation-based merge

2013-12-18 10:42:48 +01:00

DontSaveTypeValue.java

dfa: type values shouldn't be part of equivalence relations (IDEA-135134)

2015-01-13 17:11:50 +01:00

DontShadowFinalReassignment.java

dfa: don't shadow final variable reassignments with wide irrelevant warnings (IDEA-148984)

2016-01-19 18:15:31 +01:00

DontSimplifyAssignment.java

dfa: add a test for assignment with side effects inside method calls (IDEA-145401, IDEA-CR-5542)

2015-10-12 13:33:37 +02:00

DoubleCCEWarning.java

dfa: store CCE state in visitor, not runner: the latter is reused which can result in multiple warning

2015-09-01 21:48:59 +02:00

EffectivelyUnqualified.java

…

EmptyCallDoesNotMakeNullable.java

dfa live var analysis: flush variables when they are assigned and not when the value to be assigned it pushed onto the stack (IDEA-131659)

2014-10-21 18:52:50 +02:00

EnumConstantNotNull.java

IDEA-154811 Nullable inspection is incorrect with user-defined valueOf static method in Enum

2016-04-19 12:33:19 +02:00

EqualsConstant.java

…

EqualsEnumConstant.java

don't make var nullable if it's not equal to a constant (IDEA-114791)

2013-10-17 21:54:33 +02:00

EqualsHasNoSideEffects.java

test data fix

2014-10-16 11:59:01 +04:00

EqualsImpliesNotNull.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

EqualsNotNull.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

ExceptionFromFinally.java

fix dfa offset management when handling possible exceptions in finally

2013-09-30 14:49:48 +02:00

ExceptionFromFinallyNesting.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ExplicitlyNullableLocalVar.java

IDEA-136603 IDEA does not warn if annotated with @Nullable local variable is used for @NotNull parameter method

2015-02-17 15:55:07 +01:00

FalseGetters.java

IDEA-138441 Methods named like getters are wrongly treated as pure

2015-05-18 17:02:51 +02:00

FieldChangedBetweenSynchronizedBlocks.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

FieldInAnonymous.java

use configured @Nullable in inspection descriptions (IDEA-114884)

2013-10-22 10:59:28 +02:00

FieldInitializerInAnonymous.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

FinalFieldDuringInitialization.java

dfa: just don't assume initialized final fields are notnull, it doesn't help, but hurts and slows things down (IDEA-124323)

2014-04-24 17:56:38 +02:00

FinalFieldDuringSuperInitialization.java

IDEA-126660 Incorrect 'condition is always true' for a final field if an overridden method is called from the constructor

2014-07-18 09:14:08 +02:00

FinalFieldInCallBeforeInitialization.java

IDEA-160635 'Condition always true' inspection sometimes incorrect when inner class access final field

2016-09-07 16:25:08 +02:00

FinalFieldInConstructorAnonymous.java

dfa: support non-initialized final field escaping in constructors (IDEA-137154)

2015-03-23 18:57:36 +01:00

FinalFieldNotDuringInitialization.java

IDEA-155801 "Dereference may produce NPE" warning should handle implicit constructor calls.

2016-05-13 16:15:15 +02:00

FinalFieldsDifferentInstances.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

FinalFieldsInitializedByAnnotatedParameters.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

FinalFieldsInitializedNotNull.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

FinalGetter.java

…

FinalLoopVariableInstanceof.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

FinallyNotComplex.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

FloatComparisons.java

IDEA-127898 Invalid constant condition inspection when testing float values < 0

2014-07-29 19:12:09 +02:00

FloatEquality.java

IDEA-125248 Incorrect simplify for float

2014-05-23 17:45:57 +02:00

FlushFurtherUnusedVariables.java

dfa: flush variables immediately when they're not used anymore to reduce the number of different memory states

2014-09-25 16:34:50 +02:00

ForeachOverWildcards.java

…

GeneratedEquals.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

GenericParameterNullity.java

null-literal argument: testdata warnings fixed

2016-08-23 17:11:43 +03:00

GetterResultsNotSame.java

IDEA-128242 Static code analysis reports "always true" for conditions that are always false

2014-08-19 11:21:27 +02:00

GettersAndPureNoFlushing.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

GoogleTruth.java

Apply hard-coded contract to TestVerb.that

2016-07-18 18:59:38 -07:00

GreaterIsNotEquals.java

…

GuavaCheckNotNull.java

hardcode Guava Preconditions.checkNotNull contract

2014-07-18 09:14:04 +02:00

HonorGetterAnnotation.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

IDEA84489.java

…

IfConditionsWithAssignmentInside.java

IDEA-143014 Wrong 'can be null' warning when assignment is done inside if condition

2015-07-31 13:28:36 +02:00

IgnoreAssertions.java

…

IncrementParenthesized.java

dfa: support (i)++ (IDEA-146805)

2015-10-26 16:20:47 +01:00

InherentNumberRanges.java

don't lose precision during constant comparison in dfa (IDEA-153532)

2016-03-24 11:54:45 +01:00

LambdaParametersWithDefaultNullability.java

IDEA-151717 Ignore equals method for @ParametersAreNonnullByDefault

2016-06-07 17:44:20 +02:00

LargeIntegersAreNotEqualWhenBoxed.java

…

LastConstantConditionInAnd.java

…

LiteralIfCondition.java

IDEA-148657 "if (false)" quickfix text is meaningless

2015-11-30 16:26:38 +01:00

LocalClass.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

LongCircuitOperations.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

LongDisjunctionsNotComplex.java

dfa too complex tests: ensure variables are alive all the time

2014-09-21 14:05:50 +02:00

ManyContinuesNotComplex.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ManyDisjunctiveFieldAssignmentsInLoopNotComplex.java

dfa too complex tests: ensure variables are alive all the time

2014-09-21 14:05:50 +02:00

ManySequentialIfsNotComplex.java

dfa too complex tests: ensure variables are alive all the time

2014-09-21 14:05:50 +02:00

ManySequentialInstanceofsNotComplex.java

…

MergeByNullability.java

dfa: merge states differing in one variable nullability

2013-09-29 11:30:30 +02:00

MethodCallFlushesField.java

…

MethodParametersCanChangeNullability.java

IDEA-146131 @NotNull on parameters should only apply until reassignment

2015-11-17 17:19:43 +01:00

MethodReferenceOnNullable.java

IDEA-135846 Dfa should warn about qualifiers in method references

2015-02-02 12:42:56 +01:00

MultiCatch.java

use configured @Nullable in inspection descriptions (IDEA-114884)

2013-10-22 10:59:28 +02:00

MutableNotAnnotatedFieldsTreatment.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

MutableNullableFieldsTreatment.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

MutableVolatileNullableFieldsTreatment.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

NestedFinally.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

NestedTryInWhileNotComplex.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

NoConfusionWithAnonymousConstantInitializer.java

…

NoGenericCCE.java

…

NoParenthesesWarnings.java

dfa: don't report parenthesized condition (IDEA-27427)

2015-07-10 20:38:55 +02:00

NotEqualsDoesntImplyNotNullity.java

…

NotEqualsTypo.java

control flow: visit assignment lValue only once (EA-51083 - ESE: Stack.pop)

2013-12-18 17:25:49 +01:00

NotGreaterIsNotEquals.java

…

NotNullAfterDereference.java

dfa: a variable can't be null after dereference (IDEA-122215)

2014-03-28 19:12:00 +01:00

NotNullCatchParameter.java

…

NotNullLambdaParameter.java

IDEA-156007 'Constant conditions & exceptions' inspection should propagate @Nullable/@NotNull annotations to lambda parameters

2016-05-13 16:15:15 +02:00

NotNullOnSuperParameter.java

IDEA-159674 "Constant conditions & exceptions" false positive in GeneralCommandLine.MyTHashMap.putAll()

2016-08-22 17:44:56 +02:00

NotNullOptionalLambdaParameter.java

IDEA-160428 IDEA-CR-13384 Parenthesized expressions support

2016-08-30 10:55:06 +03:00

NotNullOverridesNullable.java

dfa: overriding @NotNull has precedence over super method @Nullable

2015-04-13 18:51:22 +03:00

NotNullPrimitive.java

…

NullableAnonymousMethod.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

NullableAnonymousParameter.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

NullableAnonymousVolatile.java

…

NullableAnonymousVolatileNotNull.java

…

NullableArray.java

dfa: don't flush array variable after element assignment (IDEA-135834)

2015-02-02 12:42:56 +01:00

NullableArrayComponent.java

honor array component type nullability in index expression dfa (IDEA-154874)

2016-04-19 14:00:31 +02:00

NullableBoolean.java

dfa: correctly handle ""== Boolean.TRUE/FALSE"

2015-04-24 19:16:44 +02:00

NullableField.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

NullableForeachVariable.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

NullableVoidLambda.java

IDEA-139301 "Constant conditions & exceptions" flaggs nullable expression when implementing a method returning void

2015-04-16 19:11:45 +03:00

NullArgumentButParameterIsReassigned.java

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

2016-08-18 12:21:51 +03:00

NullArgumentIsFailingMethodCall.java

null-literal argument: testdata warnings fixed

2016-08-23 17:11:43 +03:00

NullArgumentIsNotFailingMethodCall.java

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

2016-08-18 12:21:51 +03:00

NullCheckBeforeInstanceof.java

…

NullCheckDoesntAffectUncheckedCast.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

NumberComparisonsWhenValueIsKnown.java

issue dfa warnings when comparing non-final variables with constant values (IDEA-157871)

2016-09-20 16:41:43 +02:00

OmnipresentExceptions.java

use configured @Nullable in inspection descriptions (IDEA-114884)

2013-10-22 10:59:28 +02:00

OptionalOfNullable.java

dfa, Optional.ofNullable: suggest improvements only if in all states the arg was null or non-null (IDEA-141843)

2015-06-24 16:47:22 +02:00

OptionalThis.java

test data cleanup

2015-01-14 22:10:17 +01:00

OtherCallMayChangeFields.java

…

OverridingInferredNotNullMethod.java

ignore inferred @NotNull on overrideable methods (IDEA-132831, IDEA-131608)

2014-11-26 20:43:52 +01:00

ParametersAreNonnullByDefault.java

IDEA-151717 Ignore equals method for @ParametersAreNonnullByDefault

2016-06-07 17:44:20 +02:00

ParanoidMode.java

Enum.values() is not-null (IDEA-161644)

2016-09-23 12:59:47 +02:00

PassingNullableIntoVararg.java

…

PreserveNullableOnUncheckedCast.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

PrimitiveCastMayChangeValue.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

PrimitiveInVoidLambda.java

IDEA-146009 Good code is yellow: "Unboxing may produce NPE" inside forEach lambda

2015-10-06 15:24:36 +02:00

QualifiedThis.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

RememberLocalTransientFieldState.java

IDEA-133129 Expression is incorrectly detected as being nullable

2014-11-20 15:54:02 +01:00

ReportConstantReferences_after.java

add cast to disambiguate method calls when replacing their argument with null (IDEA-126466)

2014-07-18 09:14:06 +02:00

ReportConstantReferences_OverloadedCall_after.java

add cast to disambiguate method calls when replacing their argument with null (IDEA-126466)

2014-07-18 09:14:06 +02:00

ReportConstantReferences_OverloadedCall.java

add cast to disambiguate method calls when replacing their argument with null (IDEA-126466)

2014-07-18 09:14:06 +02:00

ReportConstantReferences.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

ReportConstantReferencesAfterFinalFieldAccess.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ReturningConstantExpression.java

dfa: don't report the same constant expression twice (IDEA-158693, IDEA-CR-12537)

2016-08-01 20:21:23 +02:00

ReturningNullConstant.java

IDEA-127352 no warning when @NotNull annotated method returns null

2014-09-13 13:02:21 +02:00

ReturningNullFromVoidMethod.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ReturnNullInLambdaExpression.java

check lambda return values during constant&conditions (IDEA-117420)

2013-12-03 15:30:19 +01:00

ReturnNullInLambdaStatement.java

check lambda return values during constant&conditions (IDEA-117420)

2013-12-03 15:30:19 +01:00

RootThrowableCause.java

IDEA-129331 False positive for possible NPE

2014-09-01 20:28:35 +02:00

SameComparisonTwice.java

dfa: treat different constants with same values as same (IDEA-121837)

2014-03-07 19:41:30 +01:00

SkipAssertions.java

…

SpringAssert.java

support org.springframework.util.Assert.notNull (IDEA-159977)

2016-09-16 15:54:58 +02:00

StringConcatAlwaysNotNull.java

…

StringTernaryAlwaysTrue.java

…

SuperCallMayChangeFields.java

…

SwitchEnumConstant.java

IDEA-134677 ConstantCondition inspection could be smarter for enums

2015-01-02 17:19:53 +01:00

SwitchOnNullable.java

IDEA-129040 Check for the string being not null in switch label.

2014-08-26 14:32:22 +02:00

SymmetricUncheckedCast.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

SynchronizingOnNullable.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

TernaryInWhileNotComplex.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

ThisFieldGetters.java

…

ThrowNull.java

IDEA-159678 Warn about possible NullPointerException on throw

2016-08-22 15:20:44 +02:00

ThrowNullable.java

IDEA-159678 Warn about possible NullPointerException on throw

2016-08-22 15:20:44 +02:00

TransientFinalField.java

…

TrueOrEqualsSomething_after.java

IDEA-122414 Boolean expression simplification changes behavior of the code

2014-03-28 19:30:28 +01:00

TrueOrEqualsSomething.java

IDEA-122414 Boolean expression simplification changes behavior of the code

2014-03-28 19:30:28 +01:00

TryCatchInForNotComplex.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

TryFinallyInsideFinally.java

IDEA-117626 good code yellow: variable modification inside 'try' clause

2014-10-01 20:09:12 +02:00

TryInAnonymous.java

IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

2014-02-18 13:55:52 +04:00

TryWithResourcesInstanceOf.java

…

TryWithResourcesNullability.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

UnboxingBoxingInLambdaReturn.java

lambda: unboxing in lambda return statement fixed (IDEA-133686; IDEA-133685)

2014-12-01 18:00:30 +01:00

UnboxingInMethodReferences.java

method reference: check NPE unboxing (IDEA-133714)

2014-12-02 14:01:10 +01:00

UnconditionalForLoop.java

…

UnknownFloatMayBeNaN.java

…

UnusedCallDoesNotMakeUnknown.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

UseInferredContracts.java

turn off contract inference for overrideable methods; hopefully, not forever (IDEA-127518)

2014-07-18 15:34:11 +02:00

VariablesDiverge.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

VisitFinallyOnce.java

…

VolatileFieldNPEFixes.java

dfa: highlight just method reference name on possible NPE warnings (IDEA-149904)

2016-01-20 16:47:53 +01:00

WhileNotComplex.java

…

Xor.java

dfa: report constant xor conditions only for the last operator in polyadic (IDEA-141853)

2015-06-24 18:37:44 +02:00