|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object com.arjuna.ats.arjuna.state.OutputBuffer
An OuptputBuffer is used to store various Java types as a byte stream. Similar to java serialization. However, OutputBuffers are compatible with OTSArjuna states.
Field Summary | |
protected boolean |
_valid
|
protected static int |
ALIGNMENT
|
protected static int |
headerSize
|
Constructor Summary | |
OutputBuffer()
Create a new buffer. |
|
OutputBuffer(byte[] b)
Create a new buffer using the provided byte array. |
|
OutputBuffer(int buffSize)
Create a new buffer with the specified initial size. |
|
OutputBuffer(OutputBuffer copyFrom)
Create a new OutputBuffer and initialise its state with a copy of the provided buffer. |
Method Summary | |
byte[] |
buffer()
Return the byte array used to store data types. |
void |
copy(OutputBuffer b)
Copy the provided OutputBuffer and overwrite the current instance. |
int |
length()
Return the length of the byte array being used to store data types. |
void |
packBoolean(boolean b)
Pack the boolean. |
void |
packByte(byte b)
Pack a byte. |
void |
packBytes(byte[] b)
Pack the array of bytes. |
void |
packChar(char c)
Pack the character. |
void |
packDouble(double d)
Pack the double. |
void |
packFloat(float f)
Pack the float. |
void |
packInt(int i)
Pack the integer. |
void |
packInto(OutputBuffer buff)
Pack this buffer into that provided. |
void |
packLong(long l)
Pack the long. |
void |
packShort(short s)
Pack the short. |
void |
packString(java.lang.String s)
Pack the String. |
void |
print(java.io.PrintWriter strm)
Print out information about this instance. |
void |
reset()
Clear the OutputBuffer and rewind the pack pointer. |
boolean |
rewrite()
Reset the pack pointer. |
boolean |
valid()
Is the buffer valid? |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected boolean _valid
protected static final int headerSize
protected static final int ALIGNMENT
Constructor Detail |
public OutputBuffer()
public OutputBuffer(int buffSize)
public OutputBuffer(byte[] b)
public OutputBuffer(OutputBuffer copyFrom)
Method Detail |
public final boolean valid()
public final byte[] buffer()
public final int length()
public void copy(OutputBuffer b)
public final void reset() throws java.io.IOException
java.io.IOException
public final void packByte(byte b) throws java.io.IOException
java.io.IOException
public final void packBytes(byte[] b) throws java.io.IOException
java.io.IOException
public final void packBoolean(boolean b) throws java.io.IOException
java.io.IOException
public final void packChar(char c) throws java.io.IOException
java.io.IOException
public final void packShort(short s) throws java.io.IOException
java.io.IOException
public final void packInt(int i) throws java.io.IOException
java.io.IOException
public final void packLong(long l) throws java.io.IOException
java.io.IOException
public final void packFloat(float f) throws java.io.IOException
java.io.IOException
public final void packDouble(double d) throws java.io.IOException
java.io.IOException
public final void packString(java.lang.String s) throws java.io.IOException
java.io.IOException
public void packInto(OutputBuffer buff) throws java.io.IOException
java.io.IOException
public void print(java.io.PrintWriter strm)
public final boolean rewrite()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |