public override void getPosition(PositionRecorder recorder) { if (codec == null) { recorder.addPosition(uncompressedBytes); } else { recorder.addPosition(compressedBytes); recorder.addPosition(uncompressedBytes); } }
public void getPosition(PositionRecorder recorder) { output.getPosition(recorder); recorder.addPosition(8 - bitsLeft); }
public void getPosition(PositionRecorder recorder) { output.getPosition(recorder); recorder.addPosition(numLiterals); }