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	984	log stats plain
-rw-r--r--	contractassume.snippet	984	log stats plain
-rw-r--r--	contractensures.snippet	724	log stats plain
-rw-r--r--	contractensuresnonnull.snippet	1063	log stats plain
-rw-r--r--	contractensuresnotisnullorempty.snippet	897	log stats plain
-rw-r--r--	contractinterface.snippet	1180	log stats plain
-rw-r--r--	contractinvariant.snippet	1008	log stats plain
-rw-r--r--	contractinvariantmethod.snippet	1062	log stats plain
-rw-r--r--	contractinvariantnonnull.snippet	1022	log stats plain
-rw-r--r--	contractinvariantnotisnullorempty.snippet	1067	log stats plain
-rw-r--r--	contractold.snippet	894	log stats plain
-rw-r--r--	contractrequires.snippet	1001	log stats plain
-rw-r--r--	contractrequiresalways.snippet	1249	log stats plain
-rw-r--r--	contractrequiresalwaysnotisnullorempty.snippet	1101	log stats plain
-rw-r--r--	contractrequiresalwaysnotnull.snippet	1090	log stats plain
-rw-r--r--	contractrequiresnotisnullorempty.snippet	1041	log stats plain
-rw-r--r--	contractrequiresnotnull.snippet	1008	log stats plain
-rw-r--r--	contractresult.snippet	885	log stats plain