Ejemplos de Microsoft.Boogie StandardVisitor.VisitAtomicRE en C# (CSharp)

Ejemplo n.º 1

Archivo: Absy.cs Proyecto: Chenguang-Zhu/ICE-C5

 public override Absy StdDispatch(StandardVisitor visitor) {
   //Contract.Requires(visitor != null);
   Contract.Ensures(Contract.Result<Absy>() != null);
   return visitor.VisitAtomicRE(this);
 }