C# (CSharp) Microsoft.Boogie YieldCmd.Clone Examples

Example #1

File: Duplicator.cs Project: qunyanm/boogie

 public override YieldCmd VisitYieldCmd(YieldCmd node)
 {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<YieldCmd>() != null);
   return base.VisitYieldCmd((YieldCmd)node.Clone());
 }