void function ( TransactionServer arg0 ) { TransactionIdentifier loc0 = arg0 . getTransactionId ( ) ; s_clients . remove ( loc0 ) ; s_response . remove ( loc0 ) ; }
removes server ts . concode_field_sep Hashtable s_clients concode_elem_sep Hashtable s_response concode_elem_sep Hashtable c_server concode_field_sep void removeClient concode_elem_sep TransactionServer getServer concode_elem_sep int numOfServers concode_elem_sep int numOfClients concode_elem_sep void setFinalResponse concode_elem_sep void addClient concode_elem_sep HashSet getClients concode_elem_sep void clearClients concode_elem_sep Message getFinalResponse concode_elem_sep void addServer concode_elem_sep boolean hasServer