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.