public class HeaderCardCountingArrayDataInput
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
HeaderCardCountingArrayDataInput(ArrayDataInput input) |
Modifier and Type | Method and Description |
---|---|
void |
cardRead()
report a readed card.
|
protected int |
getPhysicalCardsRead() |
protected ArrayDataInput |
in() |
void |
mark()
mark the current position in the stream.
|
void |
reset()
reset the stream th the last marked prosition.
|
protected HeaderCardCountingArrayDataInput(ArrayDataInput input)
protected int getPhysicalCardsRead()
protected ArrayDataInput in()
public void cardRead()
public void mark() throws java.io.IOException
java.io.IOException
- if the underlaying stream does not allow the mark.public void reset() throws java.io.IOException
java.io.IOException
- if the underlaying stream does not allow the mark.