Operation RefereeMessage (long timeStamp, String playMode), in Class RefereeMessage

Documentation
* Constructs a new RefereeMessage object
* from the provided information.
* @param timeStamp the time stamp of the message
* @param playMode the new play mode of

Protocol		Qualification
Exceptions		Size
Time		Concurrency	Sequential
Export Control	PublicAccess

Preconditions

Postconditions

Semantics

Property Settings

Java

Abstract	False	Static	False
Final	False	Native	False
Synchronized	False

Data Modeler

dmItem	False	DMName
IsConstraint	False	ConstraintType
IsIndex	False	IsTrigger	False
IsCluster	False	TableSpace
FillFactor	0	KeyList
CheckPredicate		IsUnique	False
DeferalMode		InitialCheckTime
TriggerType		TriggerReferencePart
IsInsertEvent	False	IsUpdateEvent	False
IsDeleteEvent	False