summaryrefslogtreecommitdiff
path: root/src/backend/optimizer/util/var.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/backend/optimizer/util/var.c')
-rw-r--r--src/backend/optimizer/util/var.c370
1 files changed, 0 insertions, 370 deletions
diff --git a/src/backend/optimizer/util/var.c b/src/backend/optimizer/util/var.c
deleted file mode 100644
index 776636ff595..00000000000
--- a/src/backend/optimizer/util/var.c
+++ /dev/null
@@ -1,370 +0,0 @@
-/*-------------------------------------------------------------------------
- *
- * var.c
- * Var node manipulation routines
- *
- * Portions Copyright (c) 1996-2002, PostgreSQL Global Development Group
- * Portions Copyright (c) 1994, Regents of the University of California
- *
- *
- * IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/util/var.c,v 1.38 2002/06/20 20:29:31 momjian Exp $
- *
- *-------------------------------------------------------------------------
- */
-#include "postgres.h"
-
-#include "nodes/plannodes.h"
-#include "optimizer/clauses.h"
-#include "optimizer/var.h"
-#include "parser/parsetree.h"
-
-
-typedef struct
-{
- List *varlist;
- int sublevels_up;
-} pull_varnos_context;
-
-typedef struct
-{
- int varno;
- int varattno;
- int sublevels_up;
-} contain_var_reference_context;
-
-typedef struct
-{
- List *varlist;
- bool includeUpperVars;
-} pull_var_clause_context;
-
-typedef struct
-{
- List *rtable;
- bool force;
-} flatten_join_alias_vars_context;
-
-static bool pull_varnos_walker(Node *node,
- pull_varnos_context *context);
-static bool contain_var_reference_walker(Node *node,
- contain_var_reference_context *context);
-static bool contain_var_clause_walker(Node *node, void *context);
-static bool pull_var_clause_walker(Node *node,
- pull_var_clause_context *context);
-static Node *flatten_join_alias_vars_mutator(Node *node,
- flatten_join_alias_vars_context *context);
-
-
-/*
- * pull_varnos
- *
- * Create a list of all the distinct varnos present in a parsetree.
- * Only varnos that reference level-zero rtable entries are considered.
- *
- * NOTE: this is used on not-yet-planned expressions. It may therefore find
- * bare SubLinks, and if so it needs to recurse into them to look for uplevel
- * references to the desired rtable level! But when we find a completed
- * SubPlan, we only need to look at the parameters passed to the subplan.
- */
-List *
-pull_varnos(Node *node)
-{
- pull_varnos_context context;
-
- context.varlist = NIL;
- context.sublevels_up = 0;
-
- /*
- * Must be prepared to start with a Query or a bare expression tree;
- * if it's a Query, go straight to query_tree_walker to make sure that
- * sublevels_up doesn't get incremented prematurely.
- */
- if (node && IsA(node, Query))
- query_tree_walker((Query *) node, pull_varnos_walker,
- (void *) &context, true);
- else
- pull_varnos_walker(node, &context);
-
- return context.varlist;
-}
-
-static bool
-pull_varnos_walker(Node *node, pull_varnos_context *context)
-{
- if (node == NULL)
- return false;
- if (IsA(node, Var))
- {
- Var *var = (Var *) node;
-
- if (var->varlevelsup == context->sublevels_up &&
- !intMember(var->varno, context->varlist))
- context->varlist = lconsi(var->varno, context->varlist);
- return false;
- }
- if (is_subplan(node))
- {
- /*
- * Already-planned subquery. Examine the args list (parameters to
- * be passed to subquery), as well as the "oper" list which is
- * executed by the outer query. But short-circuit recursion into
- * the subquery itself, which would be a waste of effort.
- */
- Expr *expr = (Expr *) node;
-
- if (pull_varnos_walker((Node *) ((SubPlan *) expr->oper)->sublink->oper,
- context))
- return true;
- if (pull_varnos_walker((Node *) expr->args,
- context))
- return true;
- return false;
- }
- if (IsA(node, Query))
- {
- /* Recurse into RTE subquery or not-yet-planned sublink subquery */
- bool result;
-
- context->sublevels_up++;
- result = query_tree_walker((Query *) node, pull_varnos_walker,
- (void *) context, true);
- context->sublevels_up--;
- return result;
- }
- return expression_tree_walker(node, pull_varnos_walker,
- (void *) context);
-}
-
-
-/*
- * contain_var_reference
- *
- * Detect whether a parsetree contains any references to a specified
- * attribute of a specified rtable entry.
- *
- * NOTE: this is used on not-yet-planned expressions. It may therefore find
- * bare SubLinks, and if so it needs to recurse into them to look for uplevel
- * references to the desired rtable entry! But when we find a completed
- * SubPlan, we only need to look at the parameters passed to the subplan.
- */
-bool
-contain_var_reference(Node *node, int varno, int varattno, int levelsup)
-{
- contain_var_reference_context context;
-
- context.varno = varno;
- context.varattno = varattno;
- context.sublevels_up = levelsup;
-
- /*
- * Must be prepared to start with a Query or a bare expression tree;
- * if it's a Query, go straight to query_tree_walker to make sure that
- * sublevels_up doesn't get incremented prematurely.
- */
- if (node && IsA(node, Query))
- return query_tree_walker((Query *) node,
- contain_var_reference_walker,
- (void *) &context, true);
- else
- return contain_var_reference_walker(node, &context);
-}
-
-static bool
-contain_var_reference_walker(Node *node,
- contain_var_reference_context *context)
-{
- if (node == NULL)
- return false;
- if (IsA(node, Var))
- {
- Var *var = (Var *) node;
-
- if (var->varno == context->varno &&
- var->varattno == context->varattno &&
- var->varlevelsup == context->sublevels_up)
- return true;
- return false;
- }
- if (is_subplan(node))
- {
- /*
- * Already-planned subquery. Examine the args list (parameters to
- * be passed to subquery), as well as the "oper" list which is
- * executed by the outer query. But short-circuit recursion into
- * the subquery itself, which would be a waste of effort.
- */
- Expr *expr = (Expr *) node;
-
- if (contain_var_reference_walker((Node *) ((SubPlan *) expr->oper)->sublink->oper,
- context))
- return true;
- if (contain_var_reference_walker((Node *) expr->args,
- context))
- return true;
- return false;
- }
- if (IsA(node, Query))
- {
- /* Recurse into RTE subquery or not-yet-planned sublink subquery */
- bool result;
-
- context->sublevels_up++;
- result = query_tree_walker((Query *) node,
- contain_var_reference_walker,
- (void *) context, true);
- context->sublevels_up--;
- return result;
- }
- return expression_tree_walker(node, contain_var_reference_walker,
- (void *) context);
-}
-
-
-/*
- * contain_whole_tuple_var
- *
- * Detect whether a parsetree contains any references to the whole
- * tuple of a given rtable entry (ie, a Var with varattno = 0).
- */
-bool
-contain_whole_tuple_var(Node *node, int varno, int levelsup)
-{
- return contain_var_reference(node, varno, InvalidAttrNumber, levelsup);
-}
-
-
-/*
- * contain_var_clause
- * Recursively scan a clause to discover whether it contains any Var nodes
- * (of the current query level).
- *
- * Returns true if any varnode found.
- *
- * Does not examine subqueries, therefore must only be used after reduction
- * of sublinks to subplans!
- */
-bool
-contain_var_clause(Node *node)
-{
- return contain_var_clause_walker(node, NULL);
-}
-
-static bool
-contain_var_clause_walker(Node *node, void *context)
-{
- if (node == NULL)
- return false;
- if (IsA(node, Var))
- {
- if (((Var *) node)->varlevelsup == 0)
- return true; /* abort the tree traversal and return
- * true */
- return false;
- }
- return expression_tree_walker(node, contain_var_clause_walker, context);
-}
-
-
-/*
- * pull_var_clause
- * Recursively pulls all var nodes from an expression clause.
- *
- * Upper-level vars (with varlevelsup > 0) are included only
- * if includeUpperVars is true. Most callers probably want
- * to ignore upper-level vars.
- *
- * Returns list of varnodes found. Note the varnodes themselves are not
- * copied, only referenced.
- *
- * Does not examine subqueries, therefore must only be used after reduction
- * of sublinks to subplans!
- */
-List *
-pull_var_clause(Node *node, bool includeUpperVars)
-{
- pull_var_clause_context context;
-
- context.varlist = NIL;
- context.includeUpperVars = includeUpperVars;
-
- pull_var_clause_walker(node, &context);
- return context.varlist;
-}
-
-static bool
-pull_var_clause_walker(Node *node, pull_var_clause_context *context)
-{
- if (node == NULL)
- return false;
- if (IsA(node, Var))
- {
- if (((Var *) node)->varlevelsup == 0 || context->includeUpperVars)
- context->varlist = lappend(context->varlist, node);
- return false;
- }
- return expression_tree_walker(node, pull_var_clause_walker,
- (void *) context);
-}
-
-
-/*
- * flatten_join_alias_vars
- * Replace Vars that reference JOIN outputs with references to the original
- * relation variables instead. This allows quals involving such vars to be
- * pushed down.
- *
- * If force is TRUE then we will reduce all JOIN alias Vars to non-alias Vars
- * or expressions thereof (there may be COALESCE and/or type conversions
- * involved). If force is FALSE we will not expand a Var to a non-Var
- * expression. This is a hack to avoid confusing mergejoin planning, which
- * currently cannot cope with non-Var join items --- we leave the join vars
- * as Vars till after planning is done, then expand them during setrefs.c.
- *
- * Upper-level vars (with varlevelsup > 0) are ignored; normally there
- * should not be any by the time this routine is called.
- *
- * Does not examine subqueries, therefore must only be used after reduction
- * of sublinks to subplans!
- */
-Node *
-flatten_join_alias_vars(Node *node, List *rtable, bool force)
-{
- flatten_join_alias_vars_context context;
-
- context.rtable = rtable;
- context.force = force;
-
- return flatten_join_alias_vars_mutator(node, &context);
-}
-
-static Node *
-flatten_join_alias_vars_mutator(Node *node,
- flatten_join_alias_vars_context *context)
-{
- if (node == NULL)
- return NULL;
- if (IsA(node, Var))
- {
- Var *var = (Var *) node;
- RangeTblEntry *rte;
- Node *newvar;
-
- if (var->varlevelsup != 0)
- return node; /* no need to copy, really */
- rte = rt_fetch(var->varno, context->rtable);
- if (rte->rtekind != RTE_JOIN)
- return node;
- Assert(var->varattno > 0);
- newvar = (Node *) nth(var->varattno - 1, rte->joinaliasvars);
- if (IsA(newvar, Var) || context->force)
- {
- /* expand it; recurse in case join input is itself a join */
- return flatten_join_alias_vars_mutator(newvar, context);
- }
- /* we don't want to force expansion of this alias Var */
- return node;
- }
- return expression_tree_mutator(node, flatten_join_alias_vars_mutator,
- (void *) context);
-}