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

Mode	Name	Size
-rw-r--r--	contractassert.snippet	1002	log stats plain
-rw-r--r--	contractassume.snippet	1002	log stats plain
-rw-r--r--	contractensures.snippet	957	log stats plain
-rw-r--r--	contractensuresnonnull.snippet	1061	log stats plain
-rw-r--r--	contractensuresnotisnullorempty.snippet	848	log stats plain
-rw-r--r--	contractinterface.snippet	1146	log stats plain
-rw-r--r--	contractinvariant.snippet	984	log stats plain
-rw-r--r--	contractinvariantmethod.snippet	1053	log stats plain
-rw-r--r--	contractinvariantnonnull.snippet	1016	log stats plain
-rw-r--r--	contractinvariantnotisnullorempty.snippet	1049	log stats plain
-rw-r--r--	contractold.snippet	919	log stats plain
-rw-r--r--	contractrequires.snippet	993	log stats plain
-rw-r--r--	contractrequiresalways.snippet	1234	log stats plain
-rw-r--r--	contractrequiresalwaysnotisnullorempty.snippet	1081	log stats plain
-rw-r--r--	contractrequiresalwaysnotnull.snippet	1104	log stats plain
-rw-r--r--	contractrequiresnotisnullorempty.snippet	1041	log stats plain
-rw-r--r--	contractrequiresnotnull.snippet	1010	log stats plain
-rw-r--r--	contractresult.snippet	883	log stats plain