Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
AnnotatedJDKTest.java
blob: c8008a159f1f7e1603076b66ad0ba98ef427d344 [
file
] [
log
] [
blame
]
import
java
.
io
.
PrintWriter
;
public
class
AnnotatedJDKTest
{
public
void
printWriterWrite
(
PrintWriter
writer
)
{
writer
.
write
(-
1
);
writer
.
write
(
8
);
}
}