Ejemplos de Microsoft.Boogie GotoCmd.Clone en C# (CSharp)

Ejemplo n.º 1

Archivo: Duplicator.cs Proyecto: qunyanm/boogie

 public override GotoCmd VisitGotoCmd(GotoCmd node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<GotoCmd>() != null);
   // NOTE: This doesn't duplicate the labelTarget basic blocks
   // or resolve them to the new blocks
   // VisitImplementation() and VisitBlock() handle this
   return base.VisitGotoCmd( (GotoCmd)node.Clone());
 }

Ejemplo n.º 2

Archivo: Duplicator.cs Proyecto: Chenguang-Zhu/ICE-C5

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