diff options
| author | Tom Lane | 2024-03-25 21:45:15 +0000 |
|---|---|---|
| committer | Tom Lane | 2024-03-25 21:45:15 +0000 |
| commit | c7076ba6ad1c2dc2ed50496b7ec71daebfe5327c (patch) | |
| tree | 928dfde066d9254ff6e12ebae2895ff5c7947bf5 /src/backend/commands/trigger.c | |
| parent | bc5fcaa289a92941a1c7b191c7c9311bd742e172 (diff) | |
Refactor predicate_{implied,refuted}_by_simple_clause.
Put the node-type-dependent operations into switches on nodeTag.
This should ease addition of new proof rules for other expression
node types. There is no functional change, although some tests
are made in a different order than before.
Also, add a couple of new cross-checks in test_predtest.c.
James Coleman (part of a larger patch series)
Discussion: https://postgr.es/m/CAAaqYe8Bo4bf_i6qKj8KBsmHMYXhe3Xt6vOe3OBQnOaf3_XBWg@mail.gmail.com
Diffstat (limited to 'src/backend/commands/trigger.c')
0 files changed, 0 insertions, 0 deletions