public virtual Sequential VisitSequential(Sequential node) { Contract.Requires(node != null); Contract.Ensures(Contract.Result<Sequential>() != null); node.first = (RE)this.VisitRE(node.first); node.second = (RE)this.VisitRE(node.second); return node; }
public override Sequential VisitSequential(Sequential node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result<Sequential>() != null); return base.VisitSequential((Sequential)node.Clone()); }
public override Sequential VisitSequential(Sequential node) { Contract.Ensures(Contract.Result<Sequential>() == node); this.VisitRE(node.first); this.VisitRE(node.second); return node; }