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

Fixes IDEA-121571 Feature request: A Contract Annotation that indicates that a method returns its argument
This commit is contained in:
Tagir Valeev
2018-05-08 11:53:19 +07:00
parent 50268274cd
commit a93cb6b9a5
12 changed files with 139 additions and 62 deletions
@@ -10,11 +10,11 @@ class WW {
}
{
x(<flown111111>"zzz");
x(<flown1211><flown111111>"zzz");
}
String x(String <flown11111>g) {
String d = <flown1>foo(<flown1111>g);
String x(String <flown121><flown11111>g) {
String d = <flown1>foo(<flown12><flown1111>g);
return <caret>d;
}