Expansion Contract.Requires<ArgumentException>(!String.IsNullOrEmpty(..)) cresn Emits a 'requires with exception' not IsNullOrEmpty Jonathan de Halleux
System.Diagnostics.Contracts variable argument name arg (!String.IsNullOrEmpty($variable$));$end$]]>