Tagir Valeev f4e3523f94 Map contracts; more Collection contracts; minor API changes

2017-04-27 09:36:17 +07:00

..

AccessingSameArrayElements.java

…

AccessorPlusMutator.java

…

AndEquals.java

…

AnnotatedTypeParameters.java

…

AnnotationMethodNotNull.java

…

AnnReport.java

…

AnonymousFieldIndependence.java

…

AnonymousMethodIndependence.java

…

AssertFailInCatch.java

…

AssertThat.java

IDEA-159699 Error highlighting is different when using AssertJ descriptions

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

AssertThrowsAssertionError.java

…

AssertTrueNotComplex.java

…

AssigningClassLiteralToNullable.java

…

AssigningNullableToNotNull.java

…

AssigningUnknownToNullable.java

…

AssumeThat.java

…

BigMethodNotComplex.java

…

BitwiseNegatedBoxed.java

…

BooleanPreconditions.java

…

BoxedNaN.java

…

Boxing128.java

support boxed number comparisons in constant expression evaluation (IDEA-171861)

2017-04-25 18:46:57 +02:00

BoxingImpliesNotNull.java

…

BreakContinueViaFinally.java

java dfa: rewrite "try "treatment to visit finally on break/continue control transfers (IDEA-55394, IDEA-156394)

2016-10-07 12:32:30 +02:00

BuildRegexpNotComplex.java

…

ByteBufferGetter.java

…

CanBeNullDoesntImplyIsNull.java

…

CapturedWildcardNotNull.java

IDEA-164159 Nullability annotations don't work with generics

2016-11-21 16:41:08 +01:00

CatchRuntimeException.java

…

CatchThrowable.java

…

ChainedFinalFieldAccessorsDfa.java

…

ChainedFinalFieldsDfa.java

…

CheckComplementarityWhenMerge.java

…

CheckEnumConstantConstructor.java

…

CheckFieldInitializers.java

…

ClosureVariableField.java

…

CompareToEnumConstant.java

…

ComparingIntToDouble.java

…

ComparingNullableToNullable.java

…

ComparingNullableToUnknown.java

…

ComparingNullToNotNull.java

…

ComparingToNotNullShouldNotAffectNullity.java

…

ComparingToNullableShouldNotAffectNullity.java

…

CompileTimeConstant.java

infer no contracts for methods always returning null/true/false

2017-01-23 12:38:06 +01:00

ConstantConditionsWithAssignmentsInside.java

…

ConstantDoubleComparisons.java

…

ContinueFlushesLoopVariable.java

…

ContractAnnotation.java

…

ContractConstructor.java

Custom relation-based contracts; hardcoded contracts for string methods (charAt, substring)

2017-04-11 10:46:44 +07:00

ContractInapplicableComparison.java

…

ContractInferenceBewareOverriding.java

…

ContractInLoopNotTooComplex.java

…

ContractPreservesUnknownMethodNullability.java

…

ContractPreservesUnknownNullability.java

…

ContractSeveralClauses.java

…

ContractVarargs.java

…

ContractWithManyParameters.java

…

ContractWithNoArgs.java

…

ContractWithNotNull.java

…

ContractWithNullable.java

…

CustomContracts.java

Custom relation-based contracts; hardcoded contracts for string methods (charAt, substring)

2017-04-11 10:46:44 +07: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

…

DivisionByZero.java

IDEA-167367 Data flow analysis doesn't process division

2017-02-01 17:53:15 +01:00

DontFlushVariablesUsedInClosures.java

…

DontForgetEqInfoWhenMergingByType.java

…

DontForgetInstanceofInfoWhenMerging.java

…

DontLoseInequalityInformation.java

…

DontMakeNullableAfterInstanceof.java

…

DontMakeUnrelatedVariableFalseWhenMerging.java

…

DontMakeUnrelatedVariableNotNullWhenMerging.java

…

DontSaveTypeValue.java

…

DontShadowFinalReassignment.java

…

DontSimplifyAssignment.java

…

DontSuggestToMakeLambdaNullable.java

IDEA-163489 Inspection "Constant conditions & exceptions" with option "Suggest @Nullable annotation for methods" warns about lambdas

2016-11-04 15:15:16 +01:00

DoubleCCEWarning.java

…

DoubleNaN.java

Custom relation-based contracts; hardcoded contracts for string methods (charAt, substring)

2017-04-11 10:46:44 +07:00

EffectivelyUnqualified.java

…

EmptyCallDoesNotMakeNullable.java

…

EnumConstantNotNull.java

…

EqualsConstant.java

…

EqualsEnumConstant.java

…

EqualsHasNoSideEffects.java

…

EqualsImpliesNotNull.java

…

EqualsNotNull.java

…

ExceptionFromFinally.java

dfa: empty stack on contract fail (IDEA-CR-14293)

2016-10-10 15:59:06 +02:00

ExceptionFromFinallyNesting.java

…

ExplicitlyNullableLocalVar.java

…

FalseGetters.java

…

FieldChangedBetweenSynchronizedBlocks.java

…

FieldInAnonymous.java

…

FieldInitializerInAnonymous.java

…

FieldUsedBeforeInitialization.java

dfa: assume fields used before initialization are null (IDEA-110297)

2017-02-08 16:10:57 +01:00

FinalFieldDuringInitialization.java

…

FinalFieldDuringSuperInitialization.java

…

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

…

FinalFieldNotDuringInitialization.java

…

FinalFieldsDifferentInstances.java

FinalFieldsDifferentInstances test: initialize myRootPath with non-constant value (IDEA-CR-19319)

2017-03-16 09:55:56 +07:00

FinalFieldsInitializedByAnnotatedParameters.java

…

FinalFieldsInitializedNotNull.java

…

FinalGetter.java

…

FinalLoopVariableInstanceof.java

…

FinallyNotComplex.java

…

FloatComparisons.java

…

FloatEquality.java

…

FlushFurtherUnusedVariables.java

…

FlushVariableOnStackToNotNullType.java

Custom relation-based contracts; hardcoded contracts for string methods (charAt, substring)

2017-04-11 10:46:44 +07:00

ForeachOverWildcards.java

…

GeneratedEquals.java

…

GenericParameterNullity.java

Custom relation-based contracts; hardcoded contracts for string methods (charAt, substring)

2017-04-11 10:46:44 +07:00

GetterResultsNotSame.java

…

GettersAndPureNoFlushing.java

…

GoogleTruth.java

…

GreaterIsNotEquals.java

…

GuavaCheckNotNull.java

…

HonorGetterAnnotation.java

…

IDEA84489.java

…

IfConditionsWithAssignmentInside.java

…

IgnoreAssertions.java

…

ImmutableClassNonGetterMethod.java

dfa: consider methods in @Immutable classes referentially transparent (IDEA-167658)

2017-02-10 09:34:49 +01:00

ImplicitlyInitializedField.java

dfa: assume fields used before initialization are null (IDEA-110297)

2017-02-08 16:10:57 +01:00

IncrementParenthesized.java

…

InherentNumberRanges.java

…

InternedStringConstants.java

fix DataFlowInspectionTest

2017-03-20 16:42:50 +01:00

Junit5Assert.java

support junit5's assertNotNull in dfa (IDEA-168552)

2017-02-23 15:59:04 +01:00

LambdaParametersWithDefaultNullability.java

…

LargeIntegersAreNotEqualWhenBoxed.java

…

LastConstantConditionInAnd.java

…

LiteralIfCondition.java

…

LocalClass.java

…

LongCircuitOperations.java

…

LongDisjunctionsNotComplex.java

…

LongRangeAnnotation.java

Range analysis: support javax.annotation.Nonnegative; do not flush string length (IDEA-CR-19176)

2017-03-15 13:57:20 +07:00

LongRangeBasics.java

Range analysis: support bitwise and (IDEA-157127)

2017-03-16 18:22:11 +07:00

LongRangeKnownMethods.java

Map contracts; more Collection contracts; minor API changes

2017-04-27 09:36:17 +07:00

LongRangeLoop.java

IDEA-168715 Dead code inspection doesn't work in loop (Conservatively handle including bound)

2017-04-11 10:29:15 +07:00

ManyContinuesNotComplex.java

…

ManyDisjunctiveFieldAssignmentsInLoopNotComplex.java

…

ManyDistinctPairsNotComplex.java

IDEA-140478 Relatively simple method is "too complex to analyze" (test-case added, actually was fixed in 97cdb4cdd5)

2017-03-16 11:47:35 +07:00

ManySequentialIfsNotComplex.java

…

ManySequentialInstanceofsNotComplex.java

…

MergeByNullability.java

…

MethodCallFlushesField.java

…

MethodParametersCanChangeNullability.java

restore dfa test data

2017-03-01 15:31:24 +01:00

MethodReferenceConstantValue.java

DFA: MethodReference handling: reportMethodReferenceProblems extracted; do not report when all contracts are trivial

2017-04-26 17:41:53 +07:00

MethodReferenceOnNullable.java

…

MultiCatch.java

…

MutableNotAnnotatedFieldsTreatment.java

…

MutableNullableFieldsTreatment.java

…

MutableVolatileNullableFieldsTreatment.java

…

NestedFinally.java

…

NestedTryInWhileNotComplex.java

…

NoConfusionWithAnonymousConstantInitializer.java

…

NoGenericCCE.java

…

NoParenthesesWarnings.java

…

NotEqualsDoesntImplyNotNullity.java

…

NotEqualsTypo.java

…

NotGreaterIsNotEquals.java

…

NotNullAfterDereference.java

…

NotNullCatchParameter.java

…

NotNullLambdaParameter.java

…

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

…

NotNullPrimitive.java

…

NullableAnonymousMethod.java

…

NullableAnonymousParameter.java

…

NullableAnonymousVolatile.java

…

NullableAnonymousVolatileNotNull.java

…

NullableArray.java

…

NullableArrayComponent.java

…

NullableBoolean.java

…

NullableField.java

…

NullableForeachVariable.java

…

NullableMethodReturningNotNull.java

highlight nullable methods that always return a non-null value (IDEA-166399)

2017-01-21 14:22:06 +01:00

NullableVoidLambda.java

…

NullArgumentButParameterIsReassigned.java

…

NullArgumentIsFailingMethodCall.java

null-literal argument: testdata warnings fixed

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

NullArgumentIsNotFailingMethodCall.java

…

NullCheckBeforeInstanceof.java

…

NullCheckDoesntAffectUncheckedCast.java

…

NullLiteralAndInferredMethodContract.java

null argument checker: accept ephemeral memory states to analysis IDEA-162184

2016-10-10 13:12:51 +03:00

NullLiteralArgumentDoesntReportedWhenMethodOnlyThrowAnException.java

null argument checker: filter out unused parameters

2016-10-17 15:22:57 +03:00

NullLiteralArgumentValueUsedAsReturnValue.java

null argument checker: initialize memory state with nullable parameter states IDEA-162816

2016-10-20 18:43:37 +03: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

…

OptionalGetWithoutIsPresent.java

Report always true/always false condition on boolean returning methods with contracts

2017-04-25 11:25:08 +07:00

OptionalIsPresent.java

Report always true/always false condition on boolean returning methods with contracts

2017-04-25 11:25:08 +07:00

OptionalOfNullable.java

IDEA-163678 "Passing non-null argument to 'Optional'" warning expected

2016-11-09 14:31:09 +01:00

OptionalOrElse.java

DFA Optional.orElse handling improved (splitting states)

2017-03-27 13:18:00 +07:00

OptionalThis.java

…

OtherCallMayChangeFields.java

…

OverridingInferredNotNullMethod.java

…

ParametersAreNonnullByDefault.java

…

ParanoidMode.java

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

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

PassingNullableIntoVararg.java

…

PreserveNullableOnUncheckedCast.java

…

PrimitiveCastMayChangeValue.java

…

PrimitiveInVoidLambda.java

…

QualifiedThis.java

…

RememberLocalTransientFieldState.java

…

ReportConstantReferences_after.java

dfa: report always zero references only in division (IDEA-167708)

2017-02-06 18:43:13 +01:00

ReportConstantReferences_OverloadedCall_after.java

…

ReportConstantReferences_OverloadedCall.java

…

ReportConstantReferences.java

dfa: report always zero references only in division (IDEA-167708)

2017-02-06 18:43:13 +01:00

ReportConstantReferencesAfterFinalFieldAccess.java

…

ReturningConstantExpression.java

…

ReturningNullConstant.java

…

ReturningNullFromVoidMethod.java

…

ReturnNullInLambdaExpression.java

…

ReturnNullInLambdaStatement.java

…

RootThrowableCause.java

…

SameComparisonTwice.java

…

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

…

SuppressStaticFlags.java

DataFlowInspection: do not report some common compile-time flag checks

2017-03-23 11:34:35 +07:00

SwitchEnumConstant.java

…

SwitchOnNullable.java

…

SymmetricUncheckedCast.java

…

SynchronizingOnNullable.java

…

TernaryInWhileNotComplex.java

…

ThisFieldGetters.java

…

ThrowNull.java

IDEA-159678 Warn about possible NullPointerException on throw

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

ThrowNullable.java

dfa: fix false positive when throwing parameter

2017-03-08 16:02:36 +01:00

TransientFinalField.java

…

TrueOrEqualsSomething_after.java

…

TrueOrEqualsSomething.java

…

TryCatchInForNotComplex.java

…

TryFinallyInsideFinally.java

…

TryInAnonymous.java

…

TryReturnCatchInWhileNotComplex.java

dfa: honor control transfer instructions when performing auxiliary analyses (IDEA-162557)

2016-10-19 19:27:57 +02:00

TryWithResourcesInstanceOf.java

…

TryWithResourcesNullability.java

…

UnboxingBoxingInLambdaReturn.java

…

UnboxingInMethodReferences.java

…

UnconditionalForLoop.java

…

UnknownFloatMayBeNaN.java

…

UnusedCallDoesNotMakeUnknown.java

…

UseInferredContracts.java

…

VarargNotNull.java

report nullable values passed into not-null varargs (IDEA-167067)

2017-01-25 14:15:53 +01:00

VariablesDiverge.java

…

VisitFinallyOnce.java

…

VolatileFieldNPEFixes.java

…

WhileNotComplex.java

…

Xor.java

…