@Override public void consume() { if (initialStreamState) { consumeInitialHiddenTokens(); } int a = input.index(); Token t = input.LT(1); input.consume(); int b = input.index(); dbg.consumeToken(t); if (b > a + 1) { // then we consumed more than one token; must be off channel tokens for (int i = a + 1; i < b; i++) { dbg.consumeHiddenToken(input.get(i)); } } }