Operation  DataThread (java.net.Socket p_socket), in Class DataThread

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
GenerateFullyQualifiedThrows AbstractFalse
StaticFalseFinalFalse
NativeFalseSynchronizedFalse
StrictfpFalseGenerateFullyQualifiedArgument 
GenerateFullyQualifiedReturnFalseReplaceExistingCodeTrue