Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
multipleexecutions
/
Test.java
blob: 4813553b092c867e0b5ed782576ef4a0fcc53813 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
regex
.
qual
.
Regex
;
import
org
.
checkerframework
.
checker
.
regex
.
util
.
RegexUtil
;
public
class
Test
{
void
foo
(
String
simple
)
{
if
(
RegexUtil
.
isRegex
(
simple
))
{
@Regex
String
in
=
simple
;
}
}
}