Microsoft.Cci.SourceDocumentWithInclusion.GetText C# (CSharp) Method

    public string GetText()
      //^ ensures result.Length == this.Length;
    {
      string result = this.WrappedDocument.GetText();
      //^ assume result.Length == this.Length; //assume that things stay the same when unwrapping
      //^ assume false;
      return result;
    }