/// <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); }