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);
}
