public override void Visit(IOldValue oldValue) { base.Visit(oldValue); TranslatedExpressions.Push(new Bpl.OldExpr(oldValue.Token(), TranslatedExpressions.Pop())); }
public override void TraverseChildren(IOldValue oldValue) { base.TraverseChildren(oldValue); TranslatedExpressions.Push(new Bpl.OldExpr(oldValue.Token(), TranslatedExpressions.Pop())); }