/** * Notification that an output stream connected to this console has been closed. * * @param stream stream that closed */ void streamClosed(IOConsoleOutputStream stream) { synchronized (openStreams) { openStreams.remove(stream); checkFinished(); } }
/** * Notification that the input stream connected to this console has been closed. * * @param stream stream that closed */ void streamClosed(IOConsoleInputStream stream) { synchronized (openStreams) { openStreams.remove(stream); checkFinished(); } }
/** * Notification that an output stream connected to this console has been closed. * * @param stream stream that closed */ void streamClosed(IOConsoleOutputStream stream) { synchronized (openStreams) { openStreams.remove(stream); checkFinished(); } }
/** * Notification that the input stream connected to this console has been closed. * * @param stream stream that closed */ void streamClosed(IOConsoleInputStream stream) { synchronized (openStreams) { openStreams.remove(stream); checkFinished(); } }