From d652155ae013f36a1ee17653a8e458baad2d9c2c Mon Sep 17 00:00:00 2001 From: Checkmate50 Date: Mon, 6 Jun 2016 23:14:18 -0600 Subject: Merging complete. Everything looks good *crosses fingers* --- Util/Code Snippets/contractensuresvalret.snippet | 60 ++++++++++++------------ 1 file changed, 30 insertions(+), 30 deletions(-) (limited to 'Util/Code Snippets/contractensuresvalret.snippet') diff --git a/Util/Code Snippets/contractensuresvalret.snippet b/Util/Code Snippets/contractensuresvalret.snippet index b46be4fc..0be87286 100644 --- a/Util/Code Snippets/contractensuresvalret.snippet +++ b/Util/Code Snippets/contractensuresvalret.snippet @@ -1,31 +1,31 @@ - - - -
- - Expansion - - Contract.Ensures(Contract.ValueAtReturn(...)!=null) - cern - Emits a 'Contract.Ensures' non-null out or ref parameter clause - tabarbe -
- - - - System.Diagnostics.Contracts - - - - - value - Value that must not be null - arg - - - - - - -
+ + + +
+ + Expansion + + Contract.Ensures(Contract.ValueAtReturn(...)!=null) + cern + Emits a 'Contract.Ensures' non-null out or ref parameter clause + tabarbe +
+ + + + System.Diagnostics.Contracts + + + + + value + Value that must not be null + arg + + + + + + +
\ No newline at end of file -- cgit v1.2.3