예제 #1
0
 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;
 }
예제 #2
0
 public override Cmd VisitStateCmd(StateCmd node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Cmd>() != null);
   return base.VisitStateCmd((StateCmd)node.Clone());
 }
예제 #3
0
 public override Cmd VisitStateCmd(StateCmd node)
 {
     Contract.Ensures(Contract.Result<Cmd>() == node);
     this.VisitVariableSeq(node.Locals);
     this.VisitCmdSeq(node.Cmds);
     return node;
 }