Microsoft.Cci.CompositeSourceDocument.ObjectInvariant C# (CSharp) Method

    private void ObjectInvariant() {
      Contract.Invariant(!this.enumeratorIsValid || this.fragmentEnumerator != null);
      Contract.Invariant(currentFragmentOffset <= this.Length);
      Contract.Invariant(!this.enumeratorIsValid || this.fragmentEnumerator != null);
    }