Method Detail

• initializeInstance

  void initializeInstance(SessionType type,
                        SessionInstance instance)

  This method initializes a session instance based on the supplied session type.

  Parameters:

  type - The session type

  instance - The session instance

• sent

  boolean sent(SessionType type,
             SessionInstance instance,
             Message message,
             String toRole)

  This method checks whether the sent message is valid.

  Parameters:

  type - The session type

  instance - The session instance

  message - The message

  toRole - The optional 'to' role

  Returns:

  Whether the sent message was expected

• received

  boolean received(SessionType type,
                 SessionInstance instance,
                 Message message,
                 String fromRole)

  This method checks whether the received message is valid.

  Parameters:

  type - The session type

  instance - The session instance

  message - The message

  fromRole - The optional 'from' role

  Returns:

  Whether the received message was expected