closing the connection with the central distributed cyclic barrier . contract pre this.cyclicbarriersignalingsocket.isconnected post this.cyclicbarriersignalingsocket.isclosed concode_field_sep BufferedReader cyclicBarrierBR concode_elem_sep String hostname concode_elem_sep String jvmURI concode_elem_sep PrintStream cyclicBarrierPS concode_elem_sep Socket cyclicBarrierSignalingSocket concode_field_sep void waitBarrier
void function ( ) { assert this . cyclicBarrierSignalingSocket . isConnected ( ) ; this . cyclicBarrierSignalingSocket . close ( ) ; assert this . cyclicBarrierSignalingSocket . isClosed ( ) ; }