public TextStreamReadErrorState(IKSoftStream textStream)
        {
            Contract.Requires <ArgumentNullException>(textStream != null);

            mStream              = textStream;
            mReadLineInfo        = null;
            GetLineInfoException = GetLineInfoExceptionInternal;
        }
 string GetFileLocationStringWithColumn(Text.ITextLineInfo lineInfo, bool verboseString)
 {
     return(string.Format(Util.InvariantCultureInfo,
                          "{0} ({1})",
                          FileName, Text.TextLineInfo.ToString(lineInfo, verboseString)));
 }