public virtual EnsuresFinally VisitEnsuresFinally (EnsuresFinally e1, EnsuresFinally e2) { if (e1 == null) return null; if (e2 == null) e1.PostCondition = this.VisitExpression(e1.PostCondition, null); else e1.PostCondition = this.VisitExpression(e1.PostCondition, e2.PostCondition); return e1; }
public virtual EnsuresFinally VisitEnsuresFinally (EnsuresFinally e) { if (e == null) return null; e.PostCondition = this.VisitExpression(e.PostCondition); return e; }
public override EnsuresFinally VisitEnsuresFinally (EnsuresFinally e) { if (e == null) return null; return base.VisitEnsuresFinally((EnsuresFinally)e.Clone()); }