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

Esempio n. 1

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