Class REDIRECT.RedirectHeader
java.lang.Object
org.jgroups.Header
org.jgroups.protocols.raft.REDIRECT.RedirectHeader
- All Implemented Interfaces:
org.jgroups.Constructable<org.jgroups.Header>, org.jgroups.util.SizeStreamable, org.jgroups.util.Streamable
- Enclosing class:
REDIRECT
public static final class REDIRECT.RedirectHeader
extends org.jgroups.Header
- Since:
- 0.1
- Author:
- Bela Ban
-
Field Summary
Fields inherited from class org.jgroups.Header
prot_id -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.jgroups.Header
getProtId, setProtId
-
Constructor Details
-
RedirectHeader
public RedirectHeader() -
RedirectHeader
-
-
Method Details
-
getMagicId
public short getMagicId()- Specified by:
getMagicIdin classorg.jgroups.Header
-
create
-
serializedSize
public int serializedSize() -
options
-
options
-
isReadOnly
public boolean isReadOnly() -
readOnly
-
writeTo
- Throws:
IOException
-
readFrom
- Throws:
IOExceptionClassNotFoundException
-
toString
- Overrides:
toStringin classorg.jgroups.Header
-