C# (CSharp) IdentifierExpr.Clone примеры использования

Пример #1

 public override Expr VisitIdentifierExpr(IdentifierExpr node)
 {
     return(base.VisitIdentifierExpr((IdentifierExpr)node.Clone()));
 }

Пример #2

Файл: Duplicator.cs Проект: qunyanm/boogie

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

Пример #3

Файл: Duplicator.cs Проект: luckysunda/hice-dt

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