Exemplos de HavocCmd.Clone em C# (CSharp)

Exemplo n.º 1

 public override Cmd VisitHavocCmd(HavocCmd node)
 {
     return(base.VisitHavocCmd((HavocCmd)node.Clone()));
 }

Exemplo n.º 2

Arquivo: Duplicator.cs Projeto: luckysunda/hice-dt

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