Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
checker
/
tests
/
index
/
Split.java
blob: 38ec5c2392a694fa31d820110d7cb72c87b23698 [
file
] [
log
] [
blame
]
import
java
.
util
.
regex
.
Pattern
;
import
org
.
checkerframework
.
common
.
value
.
qual
.
MinLen
;
public
class
Split
{
Pattern
p
=
Pattern
.
compile
(
".*"
);
void
test
()
{
String
@MinLen
(
1
)
[]
s
=
p
.
split
(
"sdf"
);
}
}