Appia Documentation

net.sf.appia.protocols.total.sequencer
Class InfoMessage

java.lang.Object
  extended by net.sf.appia.protocols.total.sequencer.InfoMessage

public class InfoMessage
extends java.lang.Object

Class that defines the information to be stored in the buffer.


Constructor Summary
InfoMessage(int o, int e, int s, GroupSendableEvent ev)
          Basic constructor
 
Method Summary
 GroupSendableEvent getEvent()
          returns the event.
 int getNSeq()
          Returns the individual sequence number.
 int getOrder()
          Returns the order
 int getSender()
          Returns the sender of the message.
 boolean isEqual(int e, int s)
          Verifies if the sender and sequence number of the event are equal
 boolean isValid()
          Verifies if the message is ready to be delivered to the layers above
 void setEvent(GroupSendableEvent e)
          Sets the event of the message
 void setOrder(int o)
          Sets the total order of the message
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InfoMessage

public InfoMessage(int o,
                   int e,
                   int s,
                   GroupSendableEvent ev)
Basic constructor

Parameters:
o - total order of the message
e - sender of the message
s - individual sequence number
ev - the event to be stored
Method Detail

setOrder

public void setOrder(int o)
Sets the total order of the message

Parameters:
o - total order of the message

setEvent

public void setEvent(GroupSendableEvent e)
Sets the event of the message

Parameters:
e - the event to be stored

isEqual

public boolean isEqual(int e,
                       int s)
Verifies if the sender and sequence number of the event are equal

Parameters:
e - sender
s - individual sequence number

getOrder

public int getOrder()
Returns the order

Returns:
total order

getEvent

public GroupSendableEvent getEvent()
returns the event.

Returns:
event

getNSeq

public int getNSeq()
Returns the individual sequence number.

Returns:
the individual sequence number

getSender

public int getSender()
Returns the sender of the message.

Returns:
the sender of the message

isValid

public boolean isValid()
Verifies if the message is ready to be delivered to the layers above

Returns:
true if is ready and false otherwise

Appia Documentation

COPYRIGHT 2006-2009, University of Lisbon and INESC-ID
For updates and related information please see Appia Home Page
Send questions, sugestions or remarks to the appia-users mailing list