public abstract class SMMessage extends SystemMessage implements java.io.Externalizable
Modifier and Type | Field and Description |
---|---|
boolean |
TRIGGER_SM_LOCALLY |
authenticated, sender
Modifier | Constructor and Description |
---|---|
protected |
SMMessage() |
protected |
SMMessage(int sender,
int eid,
int type,
ApplicationState state,
View view,
int regency,
int leader)
Constructs a SMMessage
|
Modifier and Type | Method and Description |
---|---|
int |
getEid()
Retrieves the execution ID up to which the sender needs to be updated
|
int |
getLeader()
Retrieves the leader that the replica had when sending the state
|
int |
getRegency()
Retrieves the regency that the replica had when sending the state
|
ApplicationState |
getState()
Retrieves the state log
|
int |
getType()
Retrieves the type of the message
|
View |
getView()
Retrieves the state log
|
void |
readExternal(java.io.ObjectInput in) |
void |
writeExternal(java.io.ObjectOutput out) |
getSender
protected SMMessage(int sender, int eid, int type, ApplicationState state, View view, int regency, int leader)
sender
- Process Id of the sendereid
- Execution ID up to which the sender needs to be updatedtype
- Message typereplica
- Replica that should send the statestate
- State logprotected SMMessage()
public ApplicationState getState()
public View getView()
public int getType()
public int getEid()
public int getRegency()
public int getLeader()
public void writeExternal(java.io.ObjectOutput out) throws java.io.IOException
writeExternal
in interface java.io.Externalizable
writeExternal
in class SystemMessage
java.io.IOException
public void readExternal(java.io.ObjectInput in) throws java.io.IOException, java.lang.ClassNotFoundException
readExternal
in interface java.io.Externalizable
readExternal
in class SystemMessage
java.io.IOException
java.lang.ClassNotFoundException