Exemple #1
0
 public static void IsThawed <T>(IThawable <T> freezable) where T : IThawable <T>
 {
     Contract.Ensures(!freezable.IsFrozen);
 }
Exemple #2
0
 public static void ChildThawed <T>(IThawable <T> child, bool thawChildren) where T : IThawable <T>
 {
     Contract.Ensures(!thawChildren || !child.IsFrozen);
 }