|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Area
An interface for access the contents of an area of a store. The area object maintains a pointer that can be manipulated and read from.
Method Summary | |
---|---|
int |
capacity()
Returns the capacity of the area. |
void |
copyTo(AreaWriter destination_writer,
int size)
Copies 'size' bytes from the current position of this Area to the destination AreaWriter. |
byte |
get()
|
void |
get(byte[] buf,
int off,
int len)
|
char |
getChar()
|
long |
getID()
Returns the unique identifier that represents this area. |
int |
getInt()
|
long |
getLong()
|
short |
getShort()
|
int |
position()
Returns the current position of the pointer within the area. |
void |
position(int position)
Sets the position within the area. |
Method Detail |
---|
long getID()
int position()
int capacity()
void position(int position) throws java.io.IOException
java.io.IOException
void copyTo(AreaWriter destination_writer, int size) throws java.io.IOException
java.io.IOException
byte get() throws java.io.IOException
java.io.IOException
void get(byte[] buf, int off, int len) throws java.io.IOException
java.io.IOException
short getShort() throws java.io.IOException
java.io.IOException
int getInt() throws java.io.IOException
java.io.IOException
long getLong() throws java.io.IOException
java.io.IOException
char getChar() throws java.io.IOException
java.io.IOException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |