Esempio n. 1
0
 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()));
 }