internal CopiedSynchronizationPoint(ISynchronizationPoint original, Hashtable <object, object> mapFromOriginaltoCopy)
{
Contract.Requires(original != null);
Contract.Requires(mapFromOriginaltoCopy != null);
this.original = original;
this.mapFromOriginaltoCopy = mapFromOriginaltoCopy;
}
internal CopiedSynchronizationPoint(ISynchronizationPoint original, Hashtable<object, object> mapFromOriginaltoCopy) {
Contract.Requires(original != null);
Contract.Requires(mapFromOriginaltoCopy != null);
this.original = original;
this.mapFromOriginaltoCopy = mapFromOriginaltoCopy;
}
/// <summary>
///
/// </summary>
/// <param name="document"></param>
/// <param name="synchronizationPoint"></param>
public SynchronizationPointLocation(IDocument document, ISynchronizationPoint synchronizationPoint) {
Contract.Requires(document != null);
Contract.Requires(synchronizationPoint != null);
this.document = document;
this.synchronizationPoint = synchronizationPoint;
}