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