C# (CSharp) LiteralExpr.Cloneの例

コード例 #1

 public override Expr VisitLiteralExpr(LiteralExpr node)
 {
     return(base.VisitLiteralExpr((LiteralExpr)node.Clone()));
 }

コード例 #2

ファイル: Duplicator.cs プロジェクト: qunyanm/boogie

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

コード例 #3

ファイル: Duplicator.cs プロジェクト: luckysunda/hice-dt

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