21 references to OwnershipState
System.Core (21)
Microsoft\Win32\SafeHandles\NCryptSafeHandles.cs (21)
67private OwnershipState m_ownershipState; 119Contract.Requires((m_ownershipState == OwnershipState.Duplicate && m_holder != null) || 120(m_ownershipState != OwnershipState.Duplicate && m_holder == null)); 121Contract.Requires(m_holder == null || m_holder.m_ownershipState == OwnershipState.Holder); 128Contract.Ensures(m_holder.m_ownershipState == OwnershipState.Holder); 129Contract.Ensures(m_ownershipState == OwnershipState.Duplicate); 134Contract.Assert(m_ownershipState != OwnershipState.Duplicate); 135Contract.Assert(value.m_ownershipState == OwnershipState.Holder); 139m_ownershipState = OwnershipState.Duplicate; 221Contract.Ensures(m_ownershipState == OwnershipState.Duplicate); 222Contract.Ensures(Contract.Result<T>().m_ownershipState == OwnershipState.Duplicate); 230Contract.Assert(m_ownershipState != OwnershipState.Holder); 233if (m_ownershipState == OwnershipState.Owner) { 249Contract.Ensures(m_ownershipState == OwnershipState.Duplicate); 251Contract.Result<T>().m_ownershipState == OwnershipState.Duplicate); 258Contract.Assert(m_ownershipState == OwnershipState.Duplicate); 285Contract.Ensures(m_ownershipState == OwnershipState.Duplicate); 287Contract.Result<T>().m_ownershipState == OwnershipState.Duplicate); 294Contract.Assert(m_ownershipState == OwnershipState.Owner); 309holder.m_ownershipState = OwnershipState.Holder; 348if (m_ownershipState == OwnershipState.Duplicate) {