Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
docs
/
examples
/
errorprone
/
src
/
main
/
java
/
Demo.java
blob: 00f825d383ea8d69ad2e0ef27513f2c86d6e8fee [
file
] [
log
] [
blame
]
import
java
.
util
.
Set
;
public
class
Demo
{
void
demo
(
Set
<
Short
>
s
,
short
i
)
{
s
.
remove
(
i
-
1
);
// Error Prone error
s
.
add
(
null
);
// Nullness Checker error
}
}