Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
value
/
StringValOfArrays.java
blob: 564e1895db7d30d897781e7e0d5cbe064571b3de [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
common
.
value
.
qual
.
StringVal
;
public
class
StringValOfArrays
{
void
chars
()
{
String
s
=
"$-hello@"
;
char
@StringVal
(
"$-hello@"
)
[]
chars
=
s
.
toCharArray
();
@StringVal
(
"$-hello@"
)
String
s2
=
new
String
(
chars
);
}
}