/// <summary>
 /// Constructs an ExclusiveOwnerResourceLockModifier over the specified ResourceLock.
 /// </summary>
 /// <param name="resLock"></param>
 public ExclusiveOwnerResourceLockModifier(ResourceLock resLock)
    : base(resLock, ResourceLockOptions.AcquiringThreadMustRelease | ResourceLockOptions.IsMutualExclusive) {
       Contract.Requires(resLock != null);
    m_exclusiveOwner = new ExclusiveOwnerResourceLockHelper(resLock);
 }
 /// <summary>
 /// Constructs an ExclusiveOwnerResourceLockModifier over the specified ResourceLock.
 /// </summary>
 /// <param name="resLock"></param>
 public ExclusiveOwnerResourceLockModifier(ResourceLock resLock)
     : base(resLock, ResourceLockOptions.AcquiringThreadMustRelease | ResourceLockOptions.IsMutualExclusive)
 {
     Contract.Requires(resLock != null);
     m_exclusiveOwner = new ExclusiveOwnerResourceLockHelper(resLock);
 }