1
2
3
4
5
6
7
8
9
10
11
12
13
|
import org.checkerframework.common.value.qual.StringVal;
class StringPolyValue {
void stringValArrayLen(@StringVal({"a", "b", "c"}) String abc) {
@StringVal({"a", "b", "c"}) String ns = new String(abc);
@StringVal({"a", "b", "c"}) String ts = abc.toString();
@StringVal({"a", "b", "c"}) String i = abc.intern();
@StringVal({"a", "b", "c"}) String nstca = new String(abc.toCharArray());
@StringVal({"a", "b", "c"}) String votca = String.valueOf(abc.toCharArray());
@StringVal({"a", "b", "c"}) String cvotca = String.copyValueOf(abc.toCharArray());
}
}
|
