Esempi in C# (CSharp) per Microsoft.Boogie ParCallCmd.Clone

Esempio n. 1

File: Duplicator.cs Progetto: qunyanm/boogie

 public override Cmd VisitParCallCmd(ParCallCmd node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Cmd>() != null);
   ParCallCmd clone = (ParCallCmd)node.Clone();
   Contract.Assert(clone != null);
   clone.CallCmds = new List<CallCmd>(node.CallCmds);
   return base.VisitParCallCmd(clone);
 }