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