C# (CSharp) OldExpr.Clone Examples

Example #1

 public override Expr VisitOldExpr(OldExpr node)
 {
     return(base.VisitOldExpr((OldExpr)node.Clone()));
 }

Example #2

File: Duplicator.cs Project: qunyanm/boogie

 public override Expr VisitOldExpr(OldExpr node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Expr>() != null);
   return base.VisitOldExpr((OldExpr)node.Clone());
 }

Example #3

File: Duplicator.cs Project: luckysunda/hice-dt

 public override Expr VisitOldExpr(OldExpr node)
 {
     //Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <Expr>() != null);
     return(base.VisitOldExpr((OldExpr)node.Clone()));
 }