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)
{
return(base.VisitAssertEnsuresCmd((AssertEnsuresCmd)node.Clone()));
}
public override Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node)
{
AddHoudiniConstant(node);
return(base.VisitAssertEnsuresCmd(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)
{
//ignore ensures node for now, TODO
return(VisitAssertCmd(node));
}
public override Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node)
{
node.IncarnationMap = null;
return(base.VisitAssertEnsuresCmd(node));
}