/** Utility method: throw a ClosedException if this graph has been closed. */ protected void checkOpen() { if (closed) throw new ClosedException( "already closed", this ); }
/** Utility method: throw a ClosedException if this graph has been closed. */ protected void checkOpen() { if (closed) throw new ClosedException( "already closed", this ); }