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* --- .../contractensuresvalretNonNullElem.snippet | 60 +++++++++++----------- 1 file changed, 30 insertions(+), 30 deletions(-) (limited to 'Util/Code Snippets/contractensuresvalretNonNullElem.snippet') diff --git a/Util/Code Snippets/contractensuresvalretNonNullElem.snippet b/Util/Code Snippets/contractensuresvalretNonNullElem.snippet index c5915f44..195e9b68 100644 --- a/Util/Code Snippets/contractensuresvalretNonNullElem.snippet +++ b/Util/Code Snippets/contractensuresvalretNonNullElem.snippet @@ -1,31 +1,31 @@ - - - -
- - Expansion - - Contract.Ensures(cce.NonNullElements(Contract.ValueAtReturn(...))) - cernn - Emits a 'Contract.Ensures' cce.non-nullelements out parameter clause - tabarbe -
- - - - System.Diagnostics.Contracts - - - - - value - Value that must not be null - arg - - - - - - -
+ + + +
+ + Expansion + + Contract.Ensures(cce.NonNullElements(Contract.ValueAtReturn(...))) + cernn + Emits a 'Contract.Ensures' cce.non-nullelements out parameter clause + tabarbe +
+ + + + System.Diagnostics.Contracts + + + + + value + Value that must not be null + arg + + + + + + +
\ No newline at end of file -- cgit v1.2.3