Пример #1
0
 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)));
     }
 }
Пример #2
0
 object IExpr.DoVisit(ExprVisitor visitor) {
   throw new NotImplementedException();
 }
Пример #3
0
public object  DoVisit(ExprVisitor visitor)
{
  Contract.Requires(visitor != null);
 	throw new System.NotImplementedException();
}
Пример #4
0
 public object DoVisit(AI.ExprVisitor visitor)
 {
     return(visitor.Default(this));
 }
Пример #5
0
 object IExpr.DoVisit(ExprVisitor visitor)
 {
     throw new NotImplementedException();
 }
Пример #6
0
 public object  DoVisit(ExprVisitor visitor)
 {
     Contract.Requires(visitor != null);
     throw new System.NotImplementedException();
 }
Пример #7
0
 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);
 }