C# (CSharp) Microsoft.AbstractInterpretationFramework ExprVisitorの例

コード例 #1

 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

ファイル: Expr.cs プロジェクト: Chenguang-Zhu/ICE-C5

 object IExpr.DoVisit(ExprVisitor visitor) {
   throw new NotImplementedException();
 }

コード例 #3

ファイル: Expr.cs プロジェクト: Chenguang-Zhu/ICE-C5

public object  DoVisit(ExprVisitor visitor)
{
  Contract.Requires(visitor != null);
 	throw new System.NotImplementedException();
}

コード例 #4

 public object DoVisit(AI.ExprVisitor visitor)
 {
     return(visitor.Default(this));
 }

コード例 #5

ファイル: Expr.cs プロジェクト: luckysunda/hice-dt

 object IExpr.DoVisit(ExprVisitor visitor)
 {
     throw new NotImplementedException();
 }

コード例 #6

ファイル: Expr.cs プロジェクト: luckysunda/hice-dt

 public object  DoVisit(ExprVisitor visitor)
 {
     Contract.Requires(visitor != null);
     throw new System.NotImplementedException();
 }

コード例 #7

ファイル: PolyhedraAbstraction.cs プロジェクト: omaragb/tlp182

 public object DoVisit(ExprVisitor /*!*/ visitor)
 {
     //Contract.Requires(visitor != null);
     return(visitor.VisitFunApp(this));
 }

コード例 #8

ファイル: LinearConstraintSystem.cs プロジェクト: Chenguang-Zhu/ICE-C5

 public object DoVisit(ExprVisitor/*!*/ visitor) {
   //Contract.Requires(visitor != null);
   return visitor.VisitVariable(this);
 }