C# (CSharp) Microsoft.Boogie CommentCmd Examples

Example #1

File: StandardVisitor.cs Project: qunyanm/boogie

 public override Cmd VisitCommentCmd(CommentCmd node)
 {
     Contract.Ensures(Contract.Result<Cmd>() == node);
     return node;
 }

Example #2

File: StandardVisitor.cs Project: qunyanm/boogie

 public virtual Cmd VisitCommentCmd(CommentCmd node) {
   Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Cmd>() != null);
   return node;
 }