SH::DiskListXRD Node1 SH::DiskListXRD - m_laxParser - 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 Node3 std::string Node3->Node1 -m_directory -m_context -m_server -m_file -m_list Node4 std::basic_string< char > Node4->Node3