Пример #1
0
 public override Cmd VisitCallCmd(CallCmd node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Cmd>() != null);
   CallCmd clone = (CallCmd)node.Clone();
   Contract.Assert(clone != null);
   clone.Ins = new List<Expr>(clone.Ins);
   clone.Outs = new List<IdentifierExpr>(clone.Outs);
   return base.VisitCallCmd(clone);
 }