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);
}