コード例 #1
0
        public override Expr VisitLetExpr(LetExpr node)
        {
            var oldToNew = node.Dummies.ToDictionary(x => x,
                                                     x => new BoundVariable(Token.NoToken, new TypedIdent(Token.NoToken, prefix + x.Name, x.TypedIdent.Type),
                                                                            x.Attributes));

            foreach (var x in node.Dummies)
            {
                boundVarSubst.Add(x, Expr.Ident(oldToNew[x]));
            }

            var expr = (LetExpr)base.VisitLetExpr(node);

            expr.Dummies = node.Dummies.Select(x => oldToNew[x]).ToList <Variable>();

            foreach (var x in node.Dummies)
            {
                boundVarSubst.Remove(x);
            }

            return(expr);
        }
コード例 #2
0
 public override Expr VisitLetExpr(LetExpr node)
 {
     Contract.Ensures(Contract.Result <Expr>() != null);
     return(base.VisitLetExpr((LetExpr)node.Clone()));
 }