Streamablepublic 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.IOExceptionpublic void readExternal(java.io.ObjectInput in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionpublic void writeTo(java.io.DataOutputStream out)
throws java.io.IOException
StreamablewriteTo in interface Streamablejava.io.IOExceptionpublic void readFrom(java.io.DataInputStream in)
throws java.io.IOException,
java.lang.IllegalAccessException,
java.lang.InstantiationException
StreamablereadFrom in interface Streamablejava.io.IOExceptionjava.lang.IllegalAccessExceptionjava.lang.InstantiationExceptionCopyright ? 1998-2008 Bela Ban. All Rights Reserved.