Esempi in C# (CSharp) per Microsoft.Boogie AtomicRE

Esempio n. 1

File: StandardVisitor.cs Progetto: qunyanm/boogie

 public virtual AtomicRE VisitAtomicRE(AtomicRE node) {
   Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<AtomicRE>() != null);
   node.b = this.VisitBlock(node.b);
   return node;
 }

Esempio n. 2

File: Duplicator.cs Progetto: qunyanm/boogie

 public override AtomicRE VisitAtomicRE(AtomicRE node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<AtomicRE>() != null);
   return base.VisitAtomicRE((AtomicRE)node.Clone());
 }

Esempio n. 3

File: StandardVisitor.cs Progetto: qunyanm/boogie

 public override AtomicRE VisitAtomicRE(AtomicRE node)
 {
     Contract.Ensures(Contract.Result<AtomicRE>() == node);
     this.VisitBlock(node.b);
     return node;
 }