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

16 lines
387 B
Java

class Test {
private String <flown111>s;
private String s2;
void test(String <caret>s, String s2) {
this.s = <flown11>requireNonNull(<flown1>s);
this.s2 = requireNonNull(s2);
}
String <flown11111>foo() {
return <flown1111>s;
}
@org.jetbrains.annotations.Contract("null -> fail; !null -> param1")
public static native <T> T requireNonNull(T <flown12>obj);
}