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