C# (CSharp) Microsoft.Boogie AssertRequiresCmd.Clone示例

示例#1

文件： Duplicator.cs 项目： qunyanm/boogie

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