Streamable
public static final class CAUSAL.CausalNewViewHeader extends Header implements Streamable
Modifier and Type | Field | Description |
---|---|---|
static java.lang.String |
NAME |
HDR_OVERHEAD
Constructor | Description |
---|---|
CausalNewViewHeader() |
Used for externalization.
|
CausalNewViewHeader(ViewId newViewId,
int localTime,
boolean complete) |
Modifier and Type | Method | Description |
---|---|---|
int |
getLocalTime() |
|
ViewId |
getNewViewId() |
|
boolean |
isComplete() |
|
void |
readExternal(java.io.ObjectInput in) |
Manual deserialization
|
void |
readFrom(java.io.DataInputStream in) |
Read the state of the current object (including superclasses) from instream
Note that the input stream must not be closed
|
int |
size() |
Size of this vector timestamp estimation, used in fragmentation.
|
java.lang.String |
toString() |
|
void |
writeExternal(java.io.ObjectOutput out) |
Manual serialization
|
void |
writeTo(java.io.DataOutputStream out) |
Write the entire state of the current object (including superclasses) to outstream.
|
public static final java.lang.String NAME
public CausalNewViewHeader(ViewId newViewId, int localTime, boolean complete)
public CausalNewViewHeader()
public ViewId getNewViewId()
public int getLocalTime()
public boolean isComplete()
public int size()
public void writeExternal(java.io.ObjectOutput out) throws java.io.IOException
java.io.IOException
public void readExternal(java.io.ObjectInput in) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
public void writeTo(java.io.DataOutputStream out) throws java.io.IOException
Streamable
writeTo
in interface Streamable
java.io.IOException
public void readFrom(java.io.DataInputStream in) throws java.io.IOException, java.lang.IllegalAccessException, java.lang.InstantiationException
Streamable
readFrom
in interface Streamable
java.io.IOException
java.lang.IllegalAccessException
java.lang.InstantiationException
Copyright ? 1998-2008 Bela Ban. All Rights Reserved.