Class PtidesReceiver.Event

  • Enclosing class:
    PtidesReceiver

    public static class PtidesReceiver.Event
    extends java.lang.Object
    An Event is an aggregation consisting of a Token, a time stamp and destination Receiver. Both the token and destination receiver are allowed to have null values. This is particularly useful in situations where the specification of the destination receiver may be considered redundant.
    • Constructor Summary

      Constructors 
      Constructor Description
      Event​(Token token, Tag tag)
      Construct an Event with a token and time stamp.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      Tag getTag()
      Return the tag of this event.
      Token getToken()
      Return the token of this event.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Event

        public Event​(Token token,
                     Tag tag)
        Construct an Event with a token and time stamp.
        Parameters:
        token - Token for the event.
        tag - Tag tag of the event.
    • Method Detail

      • getTag

        public Tag getTag()
        Return the tag of this event.
        Returns:
        The tag of the event.
      • getToken

        public Token getToken()
        Return the token of this event.
        Returns:
        The token of the event.