public object DoVisit(AI.ExprVisitor visitor) { if (this.decoder.IsVariable(this.exp)) { return(visitor.VisitVariable(Converter.BoxAsVariable(this.exp, this.decoder))); } else { return(visitor.VisitFunApp(Converter.Box(this.exp, this.decoder))); } }
object IExpr.DoVisit(ExprVisitor visitor) { throw new NotImplementedException(); }
public object DoVisit(ExprVisitor visitor) { Contract.Requires(visitor != null); throw new System.NotImplementedException(); }
public object DoVisit(AI.ExprVisitor visitor) { return(visitor.Default(this)); }
object IExpr.DoVisit(ExprVisitor visitor) { throw new NotImplementedException(); }
public object DoVisit(ExprVisitor visitor) { Contract.Requires(visitor != null); throw new System.NotImplementedException(); }
public object DoVisit(ExprVisitor /*!*/ visitor) { //Contract.Requires(visitor != null); return(visitor.VisitFunApp(this)); }
public object DoVisit(ExprVisitor/*!*/ visitor) { //Contract.Requires(visitor != null); return visitor.VisitVariable(this); }