SH::DiskWriter Node1 SH::DiskWriter + testInvariant() + DiskWriter() + ~DiskWriter() + path() + file() + close() - getPath() - getFile() - doClose()