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

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

..

AccessingSameArrayElements.java

IDEA-121276 Constant conditions: work with arrays

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

AccessorPlusMutator.java

…

AndEquals.java

…

AnnotatedTypeParameters.java

…

AnnReport.java

…

AnonymousFieldIndependence.java

…

AnonymousMethodIndependence.java

…

AssertFailInCatch.java

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

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

AssertThat.java

…

AssertTrueNotComplex.java

…

AssigningClassLiteralToNullable.java

…

AssigningNullableToNotNull.java

…

AssigningUnknownToNullable.java

…

BigMethodNotComplex.java

…

BooleanPreconditions.java

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

2015-04-20 17:06:34 +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

…

CanBeNullDoesntImplyIsNull.java

…

CatchRuntimeException.java

…

CatchThrowable.java

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

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

ChainedFinalFieldAccessorsDfa.java

…

ChainedFinalFieldsDfa.java

…

CheckComplementarityWhenMerge.java

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

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

CheckFieldInitializers.java

…

ClosureVariableField.java

…

ComparingNullableToNullable.java

…

ComparingNullableToUnknown.java

…

ComparingNullToNotNull.java

…

ComparingToNotNullShouldNotAffectNullity.java

…

ComparingToNullableShouldNotAffectNullity.java

…

CompileTimeConstant.java

don't report negated compile-time constants as always true/false (IDEA-118388)

2014-12-03 17:40:04 +01:00

ConstantDoubleComparisons.java

…

ContinueFlushesLoopVariable.java

…

ContractAnnotation.java

…

ContractInapplicableComparison.java

…

ContractInferenceBewareOverriding.java

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

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

ContractInLoopNotTooComplex.java

…

ContractPreservesUnknownMethodNullability.java

dfa: mark ephemeral states even when there's no way of checking contract condition (IDEA-137604)

2015-03-17 13:03:44 +01:00

ContractPreservesUnknownNullability.java

…

ContractSeveralClauses.java

…

ContractVarargs.java

…

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

…

ContractWithNullable.java

…

CustomTypeQualifierDefault.java

dfa: annotation inference suppression is different from honoring package-level defaults, so split them

2015-01-14 15:54:34 +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

…

DontForgetInstanceofInfoWhenMerging.java

…

DontLoseInequalityInformation.java

…

DontMakeNullableAfterInstanceof.java

…

DontMakeUnrelatedVariableFalseWhenMerging.java

…

DontMakeUnrelatedVariableNotNullWhenMerging.java

…

DontSaveTypeValue.java

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

2015-01-13 17:11:50 +01: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-130111 "Constant conditions & exceptions" inspection: false positive for possible NPE

2014-09-22 12:44:45 +02:00

EqualsConstant.java

…

EqualsEnumConstant.java

…

EqualsHasNoSideEffects.java

test data fix

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

EqualsImpliesNotNull.java

…

EqualsNotNull.java

…

ExceptionFromFinally.java

…

ExceptionFromFinallyNesting.java

…

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

FieldChangedBetweenSynchronizedBlocks.java

…

FieldInAnonymous.java

…

FieldInitializerInAnonymous.java

…

FinalFieldDuringInitialization.java

…

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

FinalFieldInConstructorAnonymous.java

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

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

FinalFieldsDifferentInstances.java

…

FinalFieldsInitializedByAnnotatedParameters.java

…

FinalFieldsInitializedNotNull.java

…

FinalGetter.java

…

FinalLoopVariableInstanceof.java

…

FinallyNotComplex.java

…

FloatComparisons.java

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

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

FloatEquality.java

…

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

…

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

…

GoogleTruth.java

IDEA-139392 "Method Invocation may produce NPE" warning after call to assertThat().isNotNull from Google Truth framework

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

GreaterIsNotEquals.java

…

GuavaCheckNotNull.java

…

HonorGetterAnnotation.java

…

IDEA84489.java

…

IgnoreAssertions.java

…

InherentNumberRanges.java

…

LargeIntegersAreNotEqualWhenBoxed.java

…

LastConstantConditionInAnd.java

…

LocalClass.java

…

LongCircuitOperations.java

…

LongDisjunctionsNotComplex.java

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

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

ManyContinuesNotComplex.java

…

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

…

MethodCallFlushesField.java

…

MethodReferenceOnNullable.java

IDEA-135846 Dfa should warn about qualifiers in method references

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

MultiCatch.java

…

MutableNotAnnotatedFieldsTreatment.java

…

MutableNullableFieldsTreatment.java

…

MutableVolatileNullableFieldsTreatment.java

…

NestedFinally.java

…

NestedTryInWhileNotComplex.java

…

NoConfusionWithAnonymousConstantInitializer.java

…

NoGenericCCE.java

…

NotEqualsDoesntImplyNotNullity.java

…

NotEqualsTypo.java

…

NotGreaterIsNotEquals.java

…

NotNullAfterDereference.java

…

NotNullCatchParameter.java

…

NotNullOverridesNullable.java

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

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

NotNullPrimitive.java

…

NullableAnonymousMethod.java

…

NullableAnonymousParameter.java

…

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

IDEA-139253 TYPE_USE @Nullable-Annotations don't work correctly with arrays

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

NullableBoolean.java

…

NullableField.java

…

NullableForeachVariable.java

…

NullableVoidLambda.java

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

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

NullCheckBeforeInstanceof.java

…

NullCheckDoesntAffectUncheckedCast.java

…

NumberComparisonsWhenValueIsKnown.java

dfa: take into account known variable values when handling number comparisons (IDEA-126446)

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

OmnipresentExceptions.java

…

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

…

ParanoidMode.java

consider non-annotated method parameters also nullable in paranoid dfa mode (IDEA-129898)

2014-09-16 15:10:50 +02:00

PassingNullableIntoVararg.java

…

PreserveNullableOnUncheckedCast.java

…

PrimitiveCastMayChangeValue.java

…

QualifiedThis.java

dfa: support outer class fields access with qualified this

2015-01-14 21:20:19 +01:00

RememberLocalTransientFieldState.java

IDEA-133129 Expression is incorrectly detected as being nullable

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

ReportConstantReferences_after.java

…

ReportConstantReferences_OverloadedCall_after.java

…

ReportConstantReferences_OverloadedCall.java

…

ReportConstantReferences.java

…

ReportConstantReferencesAfterFinalFieldAccess.java

…

ReturningNullConstant.java

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

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

ReturningNullFromVoidMethod.java

…

ReturnNullInLambdaExpression.java

…

ReturnNullInLambdaStatement.java

…

RootThrowableCause.java

IDEA-129331 False positive for possible NPE

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

SameComparisonTwice.java

…

SkipAssertions.java

…

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

…

SynchronizingOnNullable.java

…

TernaryInWhileNotComplex.java

…

ThisFieldGetters.java

…

ThrowNull.java

…

TransientFinalField.java

…

TrueOrEqualsSomething_after.java

…

TrueOrEqualsSomething.java

…

TryCatchInForNotComplex.java

…

TryFinallyInsideFinally.java

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

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

TryInAnonymous.java

…

TryWithResourcesInstanceOf.java

…

TryWithResourcesNullability.java

…

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

…

UseInferredContracts.java

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

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

VariablesDiverge.java

…

VisitFinallyOnce.java

…

WhileNotComplex.java

…