public void verify() throws IOException {
String s = utf8.getString();
int i = s.length();
for (int j = 0; j < i; ) {
char c = s.charAt(j++);
switch (c) {
default:
break;
case 47: // '/'
if (j != i) break;
// fall through
case 4224:
case 7680:
case 12352:
case 13312:
case 64256:
throw new IOException("bad class name: " + s);
}
}
}
public String getName() {
if (name == null) name = utf8.getString().replace('/', '.');
return name;
}
