stringBuf.setLength(0);
return Token.str(str);
}
public Token directive(char c) {
Token token;
if (c == 'z') {
int colons = yylength()-1; // can only be colons except the 'z'
return Token.zoneOffsetColons(colons);
} else if ((token = Token.format(c)) != null) {
return token;