//* // * Returns the latest matched string. If no string has been // * matched, an empty string will be returned. // * // * @return the latest matched string // public override string ToString() { if (m_length <= 0) { return(""); } else { try { return(input.PeekString(m_start, m_length)); } catch (IOException) { return(""); } } }