示例#1
0
 private static MoverType GetMoverType(Ensures e)
 {
     if (e.IsAtomic())
         return MoverType.Atomic;
     if (e.IsRight())
         return MoverType.Right;
     if (e.IsLeft())
         return MoverType.Left;
     if (e.IsBoth())
         return MoverType.Both;
     return MoverType.Top;
 }