public SynchronizationPointLocation(IDocument document, ISynchronizationPoint synchronizationPoint) { Contract.Requires(document != null); Contract.Requires(synchronizationPoint != null); this.document = document; this.synchronizationPoint = synchronizationPoint; }