Operation PlayerInfo (String team, int uniformNumber, int timeStamp), in Class PlayerInfo

Documentation
* Constructs a new PlayerInfo object with
* the given data. Called by the SelfInfo
* constructor.
* @param team the name of the player's team
* @param uniformNumber the player's uniformNumber
* @param timeStamp the current time step

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