mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 02:32:34 +07:00
To make error messages consistent #IDEA-374747 Fixed (cherry picked from commit 328c5b355fcf56a7d1c165aab32220d37bdfcbc1) IJ-MR-170004 GitOrigin-RevId: f00fb74ddbff84b18839c60648d664774d566966
13 lines
495 B
Java
13 lines
495 B
Java
import org.jetbrains.annotations.Contract;
|
|
import org.jetbrains.annotations.NotNull;
|
|
import org.jetbrains.annotations.Nullable;
|
|
|
|
class Foo {
|
|
@Contract("<warning descr="Parameter 'f' is annotated as non-null, so '!null' is always satisfied">!null</warning>,true->!null")
|
|
String delegationToInstance(@NotNull Foo f, boolean createIfNeeded) { return f.getString(createIfNeeded); }
|
|
|
|
@Contract("true->!null")
|
|
String getString(boolean createIfNeeded) { return createIfNeeded ? "" : null; }
|
|
|
|
}
|