-- The decoder of a LionCount plan's custom_private (src/lion_plan_private.c),
-- and its check of the rules between members, handed lists no planner makes:
-- each one a plan of one equality clause with one thing changed, which they
-- must refuse rather than read at the wrong offsets.  The first two are the lists a planner does make, at the plan
-- and the path stage, and so are the counts by cells beside an anti join
-- further down.
\set VERBOSITY terse
SET client_min_messages = warning;
CREATE EXTENSION IF NOT EXISTS pg_lion;
CREATE EXTENSION IF NOT EXISTS lion_hooktest;

SELECT lion_hooktest_priv_decode('plan') AS nclause;
SELECT lion_hooktest_priv_decode('path') AS nclause;

-- the shape marker, and the plan's number of members
SELECT lion_hooktest_priv_decode('magic');
SELECT lion_hooktest_priv_decode('path at plan');

-- a member's node type, and its length against the number of clauses
SELECT lion_hooktest_priv_decode('oids as ints');
SELECT lion_hooktest_priv_decode('short oids');
SELECT lion_hooktest_priv_decode('partition length');
SELECT lion_hooktest_priv_decode('or length');

-- a kind there is no such clause of
SELECT lion_hooktest_priv_decode('clause kind');

-- an expression column VCOLS does not have, and one that is no expression
SELECT lion_hooktest_priv_decode('expression column');
SELECT lion_hooktest_priv_decode('bare expression column');

-- the members that grow at plan time, still the path's
SELECT lion_hooktest_priv_decode('path join at plan');
SELECT lion_hooktest_priv_decode('path wagg at plan');
-- a target list that reads state the plan has none of
SELECT lion_hooktest_priv_decode('aggregate without aggregates');
SELECT lion_hooktest_priv_decode('distinct count without its column');
-- a dimension folded into a fact filter whose IN list is the join key's
SELECT lion_hooktest_priv_decode('join filter on its key');
-- a count by cells: one that is no decoded walk, the path's member at plan
-- time, a header that miscounts its dimensions, a value whose outcome is
-- past the dimension's, a predicate of a dimension there is none of, one
-- short of a truth for an outcome, and a cell's truth asked of a count with
-- no cells
SELECT lion_hooktest_priv_decode('cells without the decoded walk');
SELECT lion_hooktest_priv_decode('path cells at plan');
SELECT lion_hooktest_priv_decode('cells header');
SELECT lion_hooktest_priv_decode('cells value outcome');
SELECT lion_hooktest_priv_decode('cells predicate dimension');
SELECT lion_hooktest_priv_decode('cells predicate truths');
SELECT lion_hooktest_priv_decode('cell predicate without cells');
-- the anti join over a small inner side without the child it reads, with no
-- key to look up, and a column of its inner side in a plan without one
SELECT lion_hooktest_priv_decode('anti join without its child');
SELECT lion_hooktest_priv_decode('anti join of no key');
SELECT lion_hooktest_priv_decode('inner column without an anti join');
-- counts no plan has, each anti join with the child it reads: fewer join
-- clauses than scan keys, each of which is one; more join clauses, more
-- restrictions, or more of the three together, than a List holds - the
-- executor takes their sum of expressions off the end of custom_exprs; and
-- a column of its inner side past the attribute numbers there are
SELECT lion_hooktest_priv_decode('anti join of fewer join clauses than keys');
SELECT lion_hooktest_priv_decode('anti join of more join clauses than a list holds');
SELECT lion_hooktest_priv_decode('anti join of more restrictions than a list holds');
SELECT lion_hooktest_priv_decode('anti join of more expressions than a list holds');
SELECT lion_hooktest_priv_decode('inner column past the last attribute');
-- a scan key without the order its values are sorted by, and a GROUP BY
-- column's equality without the order its groups go up in past hash_mem
SELECT lion_hooktest_priv_decode('anti join of a key without its order');
SELECT lion_hooktest_priv_decode('anti join of a grouping equality without its order');
-- a count by cells beside the anti join over a small inner side, serial and
-- parallel, which a planner makes; the same with a GROUP BY column's
-- equality the cells have no use for, the anti join beside a decoded walk
-- of two columns, and a column of the table the anti join would read in a
-- count by cells without one
SELECT lion_hooktest_priv_decode('cells beside an anti join') AS nclause;
SELECT lion_hooktest_priv_decode('parallel cells beside an anti join') AS nclause;
SELECT lion_hooktest_priv_decode('cells beside an anti join with a grouping equality');
SELECT lion_hooktest_priv_decode('anti join beside the decoded walk');
SELECT lion_hooktest_priv_decode('table column of a count by cells without an anti join');