Class End

java.lang.Object

edu.uky.cs.nil.tt.io.Message

edu.uky.cs.nil.tt.io.End

public class End
extends Message

The end message is sent from the {edu.uky.cs.nil.tt.Server server} to an agent to indicate that the session had ended and that they should now disconnect. If the server is logging sessions, this message contains ID of the logged session.

Author:

Stephen G. Ware

Field Summary

Fields

Modifier and Type	Field	Description
final String	session	The ID of the session, or null if the session was not logged

Constructor Summary

Constructors

Constructor	Description
End(String session)	Constructs a new end message with the given session ID.

Method Summary

Modifier and Type	Method	Description
String	toString()
void	verify()	Checks that this message is correctly configured and throws an exception if not.

Methods inherited from class Message

configure, getAgent, setAgent

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

session

public final String session

The ID of the session, or null if the session was not logged

Constructor Details

End

public End(String session)

Constructs a new end message with the given session ID.

Parameters:

session - the ID of the session that ended, or null if the session was not logged

Method Details

toString

public String toString()

Overrides:

toString in class Object

verify

public void verify()

Description copied from class: Message

Checks that this message is correctly configured and throws an exception if not. This method should be called soon after the message has been parsed. It should check that all the necessary fields are set and that their values are legal values.

Specified by:

verify in class Message