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