Esempi in C# (CSharp) per Microsoft.Boogie Ensures.IsBoth

Esempio n. 1

File: CivlTypeChecker.cs Progetto: qunyanm/boogie

 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;
 }