Tagir Valeev a93cb6b9a5 Java slicing: support -> this/-> paramN contracts ...

Fixes IDEA-121571 Feature request: A Contract Annotation that indicates that a method returns its argument

2018-05-08 11:53:19 +07:00

..

AnonArray.java

…

AnonClass.java

…

Append.java

Java slicing: support -> this/-> paramN contracts

2018-05-08 11:53:19 +07:00

ArrayCopyTrack.java

…

ArrayElements.java

…

Assignment.java

…

CollectionTrack.java

…

ComplexTypeErasure.java

…

Conditional2.java

…

Conditional.java

…

DoubleNulls.java

…

Duplicate.java

…

DuplicateLeaves.java

…

DupSlice.java

…

EnumConst.java

…

FinalVarAssignedBeforePassingToAnonymous.java

…

GenericBoxing.java

…

GenericImplement2.java

…

GenericImplement.java

…

GenericsSubst.java

…

GroupByLeavesWithLists.java

…

InterMethod.java

Java slicing: support -> this/-> paramN contracts

2018-05-08 11:53:19 +07:00

ListTrackToArray.java

…

LocalVar.java

…

LocalVarDeclarationAndAssignment.java

…

MapKeysTrack.java

…

MapValuesTrack.java

…

MethodCall.java

…

MethodReturn.java

…

Nulls.java

…

OverloadConstructor.java

…

Overrides.java

…

Postfix.java

…

RequireNonNull.java

Java slicing: support -> this/-> paramN contracts

2018-05-08 11:53:19 +07:00

SearchOverriddenMethodsInThisClassHierarchy.java

IDEA-169269 "Analyze dataflow to here" should process only implementations of current class when analyzing return values for a method call in instance method

2017-03-17 12:07:05 +03:00

Simple.java

…

TryCatchFinally.java

…

Tuple.java

…

TypeAware2.java

…

TypeAware.java

…

TypeErased.java

…

VarArgs.java

…

VarArgsAsAWhole.java

…

VarArgsPartial.java

…

VarUse.java

…

ViaParameterizedMethods.java

…

WeirdCaretPosition.java

…