Files
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

25 lines
414 B
Java

class WW {
void f(String ddd) {
if (hashCode() == 0)
ddd = "dd";
foo(ddd);
}
{
f("xxx");
}
{
x(<flown1211><flown111111>"zzz");
}
String x(String <flown121><flown11111>g) {
String d = <flown1>foo(<flown12><flown1111>g);
return <caret>d;
}
private String foo(String <flown111>i) {
return <flown11>i;
}
}