(int length)
| 114 | } |
| 115 | |
| 116 | void discard(int length) { |
| 117 | ((Buffer) buffer).position(buffer.position() + length); |
| 118 | if (!buffer.hasRemaining()) { |
| 119 | buffer = null; |
| 120 | } |
| 121 | } |
| 122 | |
| 123 | int consume(ByteBuffer dst) { |
| 124 | ByteBuffer slice = buffer.slice(); |