Contract.Ensures(Not IsNullOrEmpty(Contract.Result()))

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

System.Diagnostics.Contracts