C# (CSharp) Export.Any Exemples

Exemple #1

 public void Log(object message, Level level)
 {
     Contract.Requires(message != null);
     Contract.Ensures(Export.Any(entry => entry.Message.Equals(message) && entry.Level == level));
 }