예제 #1
0
 public override Absy StdDispatch(StandardVisitor visitor)
 {
     return(visitor.VisitQKeyValue(this));
 }
예제 #2
0
 public override Absy StdDispatch(StandardVisitor visitor)
 {
     //Contract.Requires(visitor != null);
     Contract.Ensures(Contract.Result <Absy>() != null);
     return(visitor.VisitLambdaExpr(this));
 }
예제 #3
0
파일: AbsyQuant.cs 프로젝트: qunyanm/boogie 
 public override Absy StdDispatch(StandardVisitor visitor) {
   return visitor.VisitQKeyValue(this);
 }
예제 #4
0
파일: AbsyQuant.cs 프로젝트: qunyanm/boogie 
 public override Absy StdDispatch(StandardVisitor visitor) {
   //Contract.Requires(visitor != null);
   Contract.Ensures(Contract.Result<Absy>() != null);
   return visitor.VisitLambdaExpr(this);
 }
예제 #5
0
 public override Absy StdDispatch(StandardVisitor visitor)
 {
     return(visitor.VisitLetExpr(this));
 }
예제 #6
0
 public override Absy StdDispatch(StandardVisitor visitor)
 {
     Contract.Ensures(Contract.Result<Absy>() != null);
       return visitor.VisitBlock(this);
 }
예제 #7
0
 public override Absy StdDispatch(StandardVisitor visitor)
 {
     return visitor.VisitAssignCmd(this);
 }
예제 #8
0
 public override Absy StdDispatch(StandardVisitor visitor)
 {
     return visitor.VisitSimpleAssignLhs(this);
 }
예제 #9
0
 public virtual Absy StdDispatch(StandardVisitor visitor) {
   Contract.Requires(visitor != null);
   Contract.Ensures(Contract.Result<Absy>() != null);
   System.Diagnostics.Debug.Fail("Unknown Absy node type: " + this.GetType());
   throw new System.NotImplementedException();
 }