C# (CSharp) Microsoft.Boogie AssertRequiresCmd.Clone Exemples

Exemple #1

Fichier : Duplicator.cs Projet : qunyanm/boogie

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