handle = invalidHandleValue;
}
- [ReliabilityContract (Consistency.WillNotCorruptState, CER.Success)]
+ [ReliabilityContract (Consistency.WillNotCorruptState, Cer.Success)]
~CriticalHandle ()
{
Dispose ();
}
- [ReliabilityContract (Consistency.WillNotCorruptState, CER.Success)]
+ [ReliabilityContract (Consistency.WillNotCorruptState, Cer.Success)]
public void Close ()
{
Dispose ();
}
- [ReliabilityContract (Consistency.WillNotCorruptState, CER.Success)]
+ [ReliabilityContract (Consistency.WillNotCorruptState, Cer.Success)]
public void Dispose ()
{
if (_disposed)
}
}
- [ReliabilityContract (Consistency.WillNotCorruptState, CER.Success)]
+ [ReliabilityContract (Consistency.WillNotCorruptState, Cer.Success)]
protected abstract bool ReleaseHandle ();
- [ReliabilityContract (Consistency.WillNotCorruptState, CER.Success)]
+ [ReliabilityContract (Consistency.WillNotCorruptState, Cer.Success)]
protected void SetHandle (IntPtr handle)
{
this.handle = handle;
}
- [ReliabilityContract (Consistency.WillNotCorruptState, CER.Success)]
+ [ReliabilityContract (Consistency.WillNotCorruptState, Cer.Success)]
public void SetHandleAsInvalid()
{
_disposed = true;
}
public bool IsClosed {
- [ReliabilityContract (Consistency.WillNotCorruptState, CER.Success)]
+ [ReliabilityContract (Consistency.WillNotCorruptState, Cer.Success)]
get { return _disposed; }
}
public abstract bool IsInvalid {
- [ReliabilityContract (Consistency.WillNotCorruptState, CER.Success)]
+ [ReliabilityContract (Consistency.WillNotCorruptState, Cer.Success)]
get;
}
}
}
-#endif
\ No newline at end of file
+#endif