SH::DiskListEOS Node1 SH::DiskListEOS - m_dir - m_prefix - m_list - m_file - m_isDir - m_isRead + testInvariant() + DiskListEOS() + DiskListEOS() # getNext() # getPath() # doOpenDir() # getDirname() Node2 SH::DiskList - m_state + testInvariant() + ~DiskList() + next() + path() + fileName() + openDir() + dirname() # DiskList() # getNext() # getPath() # doOpenDir() # getDirname() Node2->Node1