Operation  DatagramWrapper (String hostName, int port, int bufsize, PrintWriter logger), in Class DatagramWrapper

Documentation
* Opens a Datagram socket with the specified host, port, and buffer size.
* @param hostName the name of the server to connect to
* @param port the port through which to connect to the host server
* @param bufsize the size of the buffer to receive incomming communications
* @param logfile contains the name of the file to record all communications to.
* If it is null, then no file is created.
* @throws SocketException If there is an error connecting to the server.
* @throws IOException If there is an error opening the file.

Protocol Qualification 
ExceptionsSocketException,IOExceptionSize 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
AbstractFalseStaticFalse
FinalFalseNativeFalse
SynchronizedFalse  


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