public void put_back() { if (hasPutBack) throw new HttpException ("put_back called twice!"); hasPutBack = true; position -= Value.Length; }
bool Eat(int expected_token) { if (tokenizer.get_token() != expected_token) { tokenizer.put_back(); return(false); } endLine = tokenizer.EndLine; endColumn = tokenizer.EndColumn; return(true); }