microsoft\win32\win32native.cs (28)
762[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
776[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
782[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
805[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
810[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
825[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
868[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
873[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
878[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
883[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
889[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
895[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
921[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
930[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1027[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1032[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1137[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1427[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1521[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
2033[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
2072[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
2181[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
2195[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
2503[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
2536[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
2621[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
2627[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
2632[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\array.cs (53)
49[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
269[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
291[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
302[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
313[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
319[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
328[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
348[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
605[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
611[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
631[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
653[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
663[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
668[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
674[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
840[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
864[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
884[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
910[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
981[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
986[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
995[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1004[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1010[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1079[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1281[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1297[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1314[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1413[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1421[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1436[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1453[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1569[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1578[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1593[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1635[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1642[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1656[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1668[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1679[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1690[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1706[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1720[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1734[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1774[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1778[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1786[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1794[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1799[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1804[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1812[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1821[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
1854[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
system\diagnostics\contracts\contracts.cs (26)
301[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
322[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
343[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
360[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
384[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
404[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
424[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
446[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
469[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
489[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
510[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
532[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
552[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
568[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
584[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
606[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
626[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
651[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)] // Assumes predicate obeys CER rules.
682[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)] // Assumes predicate & collection enumerator obey CER rules.
713[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)] // Assumes predicate obeys CER rules.
743[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)] // Assumes predicate & collection enumerator obey CER rules.
877[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
938[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
950[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
977[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
992[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\intptr.cs (17)
39[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
46[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
58[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
71[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
118[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
130[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
162[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
169[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
177[CLSCompliant(false), ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
216[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
224[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
231[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
238[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
249[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
255[ReliabilityContract(Consistency.MayCorruptInstance, Cer.MayFail)]
268[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
283[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\math.cs (23)
186[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
343[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
349[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
355[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
362[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
368[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
375[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
381[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
388[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
394[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
405[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
416[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
425[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
431[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
437[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
444[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
450[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
457[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
463[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
470[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
476[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
487[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
498[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\runtime\interopservices\criticalhandle.cs (12)
159[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
179[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
186[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
211[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
214[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
222[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
231[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
236[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
242[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
249[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
259[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
274[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\runtime\interopservices\marshal.cs (20)
83[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
239[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
258[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
265[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
488[DllImport(Win32Native.SHIM, EntryPoint="ND_RI4"), ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
495[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
527[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
534[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
545[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
556[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
566[DllImport(Win32Native.SHIM, EntryPoint="ND_RI8"), ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
608[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
826[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
835[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
843[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
940[MethodImplAttribute(MethodImplOptions.InternalCall), ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1176[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1201[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1208[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
2182[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\runtime\interopservices\safebuffer.cs (14)
179[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
198[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
216[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
244[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
291[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
316[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
360[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
372[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
381[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
387[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
396[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
405[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
408[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
416[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\runtime\interopservices\safehandle.cs (14)
163[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
203[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
207[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
226[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
234[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
239[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
244[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
250[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
256[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
266[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
276[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
288[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
306[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
321[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\runtimehandles.cs (10)
114[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
124[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
277[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
281[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1098[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1120[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1646[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1658[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1867[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1878[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\security\securitycontext.cs (8)
77[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
101[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
182[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
229[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
262[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
435[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
718[MethodImplAttribute(MethodImplOptions.InternalCall), ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
723[MethodImplAttribute(MethodImplOptions.InternalCall), ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\stubhelpers.cs (29)
22[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
58[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
129[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
189[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
240[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
363[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
429[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
481[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
512[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
542[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
609[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
624[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
638[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
650[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
671[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
732[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
759[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
781[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
959[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
978[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1338[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1403[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1493[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1532[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1639[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1651[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1663[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1722[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1786[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\threading\compressedstack.cs (11)
72[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
97[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
195[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
201[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
377[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
386[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
399[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
494[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
509[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
521[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
533[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\threading\executioncontext.cs (10)
302[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
326[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
582[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
587[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
829[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
834[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
844[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
849[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
874[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
879[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\threading\interlocked.cs (18)
31[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
38[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
51[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
75[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
96[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
102[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
106[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
121[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
137[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
158[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
164[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
192[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
204[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
211[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
223[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
230[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
236[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
258[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
system\threading\mutex.cs (10)
49[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
58[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
87[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
116[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
256[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
263[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
271[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
281[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
410[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
433[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
system\threading\thread.cs (21)
277[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
362[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
385[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
399[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
421[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
429[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
453[MethodImplAttribute(MethodImplOptions.InternalCall), ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
458[MethodImplAttribute(MethodImplOptions.InternalCall), ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
791ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success),
797ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
808ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
813ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
821[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
829[MethodImplAttribute(MethodImplOptions.InternalCall), ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
885[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
894[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
901[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1545[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1555[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
1564[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
1573[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
system\threading\volatile.cs (28)
32[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
44[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
57[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
69[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
81[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
94[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
106[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
119[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
132[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
151[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
163[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
176[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
188[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
201[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
217[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
228[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
240[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
251[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
262[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
274[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
285[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
297[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
310[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
335[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
346[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
358[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
369[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]
382[ReliabilityContract(Consistency.WillNotCorruptState, Cer.Success)]