Contract.Ensures(!String.IsNullOrEmpty(Contract.Result()))

Expansion Contract.Ensures(!String.IsNullOrEmpty(Contract.Result())) cesn Emits an 'ensures' clause specifying result not null or empty Jonathan de Halleux

System.Diagnostics.Contracts

()));
$end$]]>