/// Opens the file with the specified name for parsing. public void OpenStream(TextReader stream) { Reset(); m_source = new LookAheadReader(stream); PrepareToParse(); }
/// Closes the file opened with <c>OpenFile</c>. public void CloseFile() { if (m_source != null) { m_source.Close(); } m_source = null; }
/// Opens the file with the specified name for parsing. public void OpenFile(String p_filename) { Reset(); m_source = new LookAheadReader( new StreamReader(new FileStream(p_filename, FileMode.Open))); PrepareToParse(); }
/// Closes the file opened with <c>OpenFile</c>. public void CloseFile() { if (m_source != null) m_source.Close(); m_source = null; }