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