C# (CSharp) AssertEnsuresCmd Examples

Example #1

File: StandardVisitor.cs Project: luckysunda/hice-dt

 public virtual Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node)
 {
     Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <Cmd>() != null);
     node.Ensures = this.VisitEnsures(node.Ensures);
     node.Expr    = this.VisitExpr(node.Expr);
     return(node);
 }

Example #2

 public override Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node)
 {
     return(base.VisitAssertEnsuresCmd((AssertEnsuresCmd)node.Clone()));
 }

Example #3

File: Checker.cs Project: shaobo-he/boogie

 public override Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node)
 {
     AddHoudiniConstant(node);
     return(base.VisitAssertEnsuresCmd(node));
 }

Example #4

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

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

Example #5

 public override Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node)
 {
     //ignore ensures node for now, TODO
     return(VisitAssertCmd(node));
 }

Example #6

 public override Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node)
 {
     node.IncarnationMap = null;
     return(base.VisitAssertEnsuresCmd(node));
 }