Esempi in C# (CSharp) per AssertCmd.Clone

Esempio n. 1

 public override Cmd VisitAssertCmd(AssertCmd node)
 {
     return(base.VisitAssertCmd((AssertCmd)node.Clone()));
 }

Esempio n. 2

File: Duplicator.cs Progetto: luckysunda/hice-dt

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