Microsoft.Cci.SynchronizationPointLocation.ObjectInvariant C# (CSharp) Méthode

    private void ObjectInvariant() {
      Contract.Invariant(this.document != null);
      Contract.Invariant(this.synchronizationPoint != null);
    }