SH::DiskListXRD Node1 SH::DiskListXRD - m_server - m_directory - m_laxParser - m_context - m_list - m_file - m_isDir - m_isRead + testInvariant() + DiskListXRD() # getNext() # getPath() # doOpenDir() # getDirname() Node2 SH::DiskList - m_state + testInvariant() + ~DiskList() + next() + path() + fileName() + openDir() + dirname() # DiskList() # getNext() # getPath() # doOpenDir() # getDirname() Node2->Node1