|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.javagroups.Header | +--org.javagroups.protocols.CAUSAL.CausalHeader
Field Summary |
---|
Fields inherited from class org.javagroups.Header |
---|
HDR_OVERHEAD |
Constructor Summary | |
---|---|
CAUSAL.CausalHeader()
used for externalization |
|
CAUSAL.CausalHeader(org.javagroups.protocols.TransportedVectorTime timeVector)
|
Method Summary | |
---|---|
org.javagroups.protocols.TransportedVectorTime |
getVectorTime()
Returns a vector timestamp carreid by this header |
void |
readExternal(java.io.ObjectInput in)
Manual deserialization |
long |
size()
Size of this vector timestamp estimation, used in fragmetation |
java.lang.String |
toString()
|
void |
writeExternal(java.io.ObjectOutput out)
Manual serialization |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public CAUSAL.CausalHeader()
public CAUSAL.CausalHeader(org.javagroups.protocols.TransportedVectorTime timeVector)
Method Detail |
public org.javagroups.protocols.TransportedVectorTime getVectorTime()
public long size()
size
in class Header
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 java.lang.String toString()
toString
in class Header
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |