/** return a copy of the current text buffer */ public String getText() { return text.toString(); }
public void match(BitSet b) throws MismatchedCharException, CharStreamException { String text = this.text.toString(); char la_1 = LA(1); try { super.match(b); parserEventSupport.fireMatch(la_1, b, text, inputState.guessing); } catch (MismatchedCharException e) { if (inputState.guessing == 0) parserEventSupport.fireMismatch(la_1, b, text, inputState.guessing); throw e; } } public void match(String s) throws MismatchedCharException, CharStreamException {
String tmp = text.toString(); char c = (char)Integer.parseInt(tmp.substring(tmp.length() - 4, tmp.length()), 16);