Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
compilermsg
/
Basic.java
blob: e7362b992421d513c001b8e3aa14e9a4d71ed2f8 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
compilermsgs
.
qual
.
CompilerMessageKey
;
public
class
Basic
{
void
required
(
@CompilerMessageKey
String
in
)
{}
void
test
()
{
required
(
"test.property"
);
}
}