Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
docs
/
examples
/
lombok
/
src
/
main
/
java
/
lib
/
Foo.java
blob: bac1257dcff9073b009a7236285546158bb8e50d [
file
] [
log
] [
blame
]
package
lib
;
import
lombok
.
Builder
;
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.
Nullable
;
@Builder
public
class
Foo
{
private
@Nullable
Integer
x
;
private
Integer
y
;
void
demo
()
{
x
=
null
;
// ok
y
=
null
;
// error
}
}