Esempi in C# (CSharp) per IExprBuilder.Old

Esempio n. 1

File: DecoratorExprBuilder.cs Progetto: ccadar/symbooglix

 public virtual Expr Old(Expr operand)
 {
     return(UB.Old(operand));
 }

Esempio n. 2

File: BuilderDuplicator.cs Progetto: ccadar/symbooglix

        public override Expr VisitOldExpr(OldExpr node)
        {
            var newArg = (Expr)this.Visit(node.Expr);

            return(Builder.Old(newArg));
        }