Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
regex
/
Annotation.java
blob: db17e526cc1f747ff219e27b3120df4e21708f5f [
file
] [
log
] [
blame
]
@interface
A1
{
String
[]
value
()
default
{};
}
@interface
A2
{
String
[]
value
();
}
public
class
Annotation
{
@A1
({
"a"
,
"b"
})
void
m1
()
{}
@A1
(
value
=
{
"a"
,
"b"
})
void
m2
()
{}
@A2
({
"a"
,
"b"
})
void
m3
()
{}
@A2
(
value
=
{
"a"
,
"b"
})
void
m4
()
{}
}