コード例 #1
0
ファイル: StandardVisitor.cs プロジェクト: qunyanm/boogie
 public virtual QKeyValue VisitQKeyValue(QKeyValue node) {
   Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<QKeyValue>() != null);
   var newParams = new List<object>();
   for (int i = 0, n = node.Params.Count; i < n; i++) {
     var e = node.Params[i] as Expr;
     newParams.Add(e != null ? this.Visit(e) : node.Params[i]);
   }
   node.ClearParams();
   node.AddParams(newParams);
   if (node.Next != null) {
     node.Next = (QKeyValue)this.Visit(node.Next);
   }
   return node;
 }