Sign in
android
/
platform
/
tools
/
idea
/
9b5d02ac8c92b1e71523cc15cb3d168d57fbd898
/
.
/
java
/
java-tests
/
testData
/
inspection
/
dataFlow
/
contractCheck
/
NotNullStringLiteral.java
blob: a493436b1744690f47323122935c2593bde9837a [
file
] [
log
] [
blame
]
import
org
.
jetbrains
.
annotations
.
Contract
;
import
org
.
jetbrains
.
annotations
.
Nullable
;
class
Foo
{
@Nullable
@Contract
(
"_ -> null"
)
String
foo
(
String
s
)
{
return
<
warning descr
=
"Contract clause '_ -> null' is violated"
>
"42"
</
warning
>;
}
}