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

..

Append.java

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

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

InterMethod.java

…

Parameters.java

…

RequireNonNull.java

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

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

Simple.java

…