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