Operation void main (String args[]), in Class SoccerClient

Documentation
* The main entry point to the soccer program.
* Gets command line arguments and constructs a
* Player thread and WorldModel object accordingly.
* @param args the command line arguments
* @throws SocketException if there is an error connecting to the host
* @throws IOException if there is an error oppening a log file

Protocol Qualification 
ExceptionsSocketException,IOExceptionSize 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
AbstractFalseStaticTrue
FinalFalseNativeFalse
SynchronizedFalse  


Data Modeler
dmItemFalseDMName 
IsConstraintFalseConstraintType 
IsIndexFalseIsTriggerFalse
IsClusterFalseTableSpace 
FillFactor0KeyList 
CheckPredicate IsUniqueFalse
DeferalMode InitialCheckTime 
TriggerType TriggerReferencePart 
IsInsertEventFalseIsUpdateEventFalse
IsDeleteEventFalse