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

    private void ObjectInvariant() {
      Contract.Invariant(this.mapFromOriginaltoCopy != null);
      Contract.Invariant(this.original != null);
    }