public virtual Cmd VisitStateCmd(StateCmd node) {
Contract.Requires(node != null);
Contract.Ensures(Contract.Result<Cmd>() != null);
node.Locals = this.VisitVariableSeq(node.Locals);
node.Cmds = this.VisitCmdSeq(node.Cmds);
return node;
}
public override Cmd VisitStateCmd(StateCmd node) {
//Contract.Requires(node != null);
Contract.Ensures(Contract.Result<Cmd>() != null);
return base.VisitStateCmd((StateCmd)node.Clone());
}
public override Cmd VisitStateCmd(StateCmd node)
{
Contract.Ensures(Contract.Result<Cmd>() == node);
this.VisitVariableSeq(node.Locals);
this.VisitCmdSeq(node.Cmds);
return node;
}