mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 06:01:00 +07:00
28 lines
1.6 KiB
Java
28 lines
1.6 KiB
Java
import org.jetbrains.annotations.Contract;
|
|
import org.jetbrains.annotations.Nullable;
|
|
|
|
class Foo {
|
|
@Contract("_ -> !null; <warning descr="Contract clause 'null -> null' is unreachable: previous contracts cover all possible cases">null -> null</warning>")
|
|
public native String nonTrivialAfterTrivial(String x);
|
|
|
|
@Contract("!null -> !null; <warning descr="Contract clause '!null -> null' is never satisfied as its conditions are covered by previous contracts">!null -> null</warning>")
|
|
public native String repeating(String x);
|
|
|
|
@Contract("true, false, _ ->\40!null; true, true,\040_\u0020-> null; <warning descr="Contract clause 'true, _, _ -> fail' is never satisfied as its conditions are covered by previous contracts">true, _, _ -> fail</warning>")
|
|
public native String booleanProblem(boolean x, boolean y, String z);
|
|
|
|
@Contract("true, false, _ -> !null; true, true, _ -> null; false, _, _ -> fail")
|
|
public native String booleanOk(boolean x, boolean y, String z);
|
|
|
|
@Contract("true, false, _ -> !null; false, _, _ -> fail; true, true, _ -> null")
|
|
public native String booleanOk2(boolean x, boolean y, String z);
|
|
|
|
static final String MY_LOVELY_CONTRACT = "null, null, !null, null, _ -> null; ";
|
|
|
|
@Contract("null, null, null, null, null -> null; "+
|
|
MY_LOVELY_CONTRACT+
|
|
"null, null, null, null, !null -> !null; "+
|
|
("<warning descr="Contract clause 'null, null, _, null, !null -> fail' is never satisfied as its conditions are covered by previous contracts">null, null, _, null, !null -> fail</warning>"))
|
|
public native String test(String a, String b, String c, String d, String e);
|
|
}
|