13 references to Duplicate
System.Core (13)
Microsoft\Win32\SafeHandles\NCryptSafeHandles.cs (13)
119
Contract.Requires((m_ownershipState == OwnershipState.
Duplicate
&& m_holder != null) ||
120
(m_ownershipState != OwnershipState.
Duplicate
&& m_holder == null));
129
Contract.Ensures(m_ownershipState == OwnershipState.
Duplicate
);
134
Contract.Assert(m_ownershipState != OwnershipState.
Duplicate
);
139
m_ownershipState = OwnershipState.
Duplicate
;
221
Contract.Ensures(m_ownershipState == OwnershipState.
Duplicate
);
222
Contract.Ensures(Contract.Result<T>().m_ownershipState == OwnershipState.
Duplicate
);
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
);
348
if (m_ownershipState == OwnershipState.
Duplicate
) {