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