118119120121122123124
/** * Convenience shortcut method to parse a specific token type */ public StringUTF8Token visitStringUTF8(EditsElement e) throws IOException { return (StringUTF8Token)visit(tokenizer.read(new StringUTF8Token(e))); }
120121122123124125126
115116117118119120121