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