Code Contract Snippets\CSharp\Languages\Contracts\tools - DotNetOpenAuth - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	contractassert.snippet	1015	log stats plain
-rw-r--r--	contractassume.snippet	1015	log stats plain
-rw-r--r--	contractensures.snippet	746	log stats plain
-rw-r--r--	contractensuresnonnull.snippet	1095	log stats plain
-rw-r--r--	contractensuresnotisnullorempty.snippet	922	log stats plain
-rw-r--r--	contractinterface.snippet	1221	log stats plain
-rw-r--r--	contractinvariant.snippet	1039	log stats plain
-rw-r--r--	contractinvariantmethod.snippet	1098	log stats plain
-rw-r--r--	contractinvariantnonnull.snippet	1053	log stats plain
-rw-r--r--	contractinvariantnotisnullorempty.snippet	1098	log stats plain
-rw-r--r--	contractold.snippet	922	log stats plain
-rw-r--r--	contractrequires.snippet	1032	log stats plain
-rw-r--r--	contractrequiresalways.snippet	1287	log stats plain
-rw-r--r--	contractrequiresalwaysnotisnullorempty.snippet	1132	log stats plain
-rw-r--r--	contractrequiresalwaysnotnull.snippet	1121	log stats plain
-rw-r--r--	contractrequiresnotisnullorempty.snippet	1072	log stats plain
-rw-r--r--	contractrequiresnotnull.snippet	1039	log stats plain
-rw-r--r--	contractresult.snippet	913	log stats plain