@Override public void rewind(int m) { CharStreamState state = markers.get(m); // restore stream state seek(state.p); line = state.line; charPositionInLine = state.charPositionInLine; release(m); }
@Override public void rewind(int m) { CharStreamState state = markers.get(m); // restore stream state seek(state.p); line = state.line; charPositionInLine = state.charPositionInLine; release(m); }
@Override public void rewind(int m) { CharStreamState state = markers.get(m); // restore stream state seek(state.p); line = state.line; charPositionInLine = state.charPositionInLine; release(m); }
@Override public void rewind(int m) { CharStreamState state = markers.get(m); // restore stream state seek(state.p); line = state.line; charPositionInLine = state.charPositionInLine; release(m); }
@Override public void rewind(int m) { CharStreamState state = markers.get(m); // restore stream state seek(state.p); line = state.line; charPositionInLine = state.charPositionInLine; release(m); }
public void rewind(int m) { CharStreamState state = (CharStreamState)markers.get(m); // restore stream state seek(state.p); line = state.line; charPositionInLine = state.charPositionInLine; release(m); }