public override string toStr() { if (m_str == null) { StringBuilder s = new StringBuilder(); for (int i=0; i<m_segments.sz(); i++) { if (i > 0) s.Append('.'); s.Append(m_segments.get(i)); } m_str = s.ToString(); } return m_str; }