public virtual Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node) { Contract.Requires(node != null); Contract.Ensures(Contract.Result<Cmd>() != null); node.Ensures = this.VisitEnsures(node.Ensures); node.Expr = this.VisitExpr(node.Expr); return node; }
public override Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result<Cmd>() != null); return base.VisitAssertEnsuresCmd((AssertEnsuresCmd)node.Clone()); }
public override Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node) { Contract.Ensures(Contract.Result<Cmd>() == node); this.VisitEnsures(node.Ensures); this.VisitExpr(node.Expr); return node; }
public override Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node) { AddHoudiniConstant(node); return base.VisitAssertEnsuresCmd(node); }