1 /*-------------------------------------------------------------------------
4 * Equality functions to compare node trees.
6 * NOTE: we currently support comparing all node types found in parse
7 * trees. We do not support comparing executor state trees; there
8 * is no need for that, and no point in maintaining all the code that
9 * would be needed. We also do not support comparing Path trees, mainly
10 * because the circular linkages between RelOptInfo and Path nodes can't
11 * be handled easily in a simple depth-first traversal.
13 * Currently, in fact, equal() doesn't know how to compare Plan trees
14 * either. This might need to be fixed someday.
17 * Portions Copyright (c) 1996-2002, PostgreSQL Global Development Group
18 * Portions Copyright (c) 1994, Regents of the University of California
21 * $Header: /cvsroot/pgsql/src/backend/nodes/equalfuncs.c,v 1.178 2003/01/09 20:50:50 tgl Exp $
23 *-------------------------------------------------------------------------
28 #include "nodes/params.h"
29 #include "nodes/parsenodes.h"
30 #include "nodes/relation.h"
31 #include "utils/datum.h"
35 * Macros to simplify comparison of different kinds of fields. Use these
36 * wherever possible to reduce the chance for silly typos. Note that these
37 * hard-wire the convention that the local variables in an Equal routine are
41 /* Compare a simple scalar field (int, float, bool, enum, etc) */
42 #define COMPARE_SCALAR_FIELD(fldname) \
44 if (a->fldname != b->fldname) \
48 /* Compare a field that is a pointer to some kind of Node or Node tree */
49 #define COMPARE_NODE_FIELD(fldname) \
51 if (!equal(a->fldname, b->fldname)) \
55 /* Compare a field that is a pointer to a list of integers */
56 #define COMPARE_INTLIST_FIELD(fldname) \
58 if (!equali(a->fldname, b->fldname)) \
62 /* Compare a field that is a pointer to a C string, or perhaps NULL */
63 #define COMPARE_STRING_FIELD(fldname) \
65 if (!equalstr(a->fldname, b->fldname)) \
69 /* Macro for comparing string fields that might be NULL */
70 #define equalstr(a, b) \
71 (((a) != NULL && (b) != NULL) ? (strcmp(a, b) == 0) : (a) == (b))
73 /* Compare a field that is a pointer to a simple palloc'd object of size sz */
74 #define COMPARE_POINTER_FIELD(fldname, sz) \
76 if (memcmp(a->fldname, b->fldname, (sz)) != 0) \
82 * Stuff from primnodes.h
86 _equalResdom(Resdom *a, Resdom *b)
88 COMPARE_SCALAR_FIELD(resno);
89 COMPARE_SCALAR_FIELD(restype);
90 COMPARE_SCALAR_FIELD(restypmod);
91 COMPARE_STRING_FIELD(resname);
92 COMPARE_SCALAR_FIELD(ressortgroupref);
93 COMPARE_SCALAR_FIELD(reskey);
94 COMPARE_SCALAR_FIELD(reskeyop);
95 COMPARE_SCALAR_FIELD(resjunk);
101 _equalAlias(Alias *a, Alias *b)
103 COMPARE_STRING_FIELD(aliasname);
104 COMPARE_NODE_FIELD(colnames);
110 _equalRangeVar(RangeVar *a, RangeVar *b)
112 COMPARE_STRING_FIELD(catalogname);
113 COMPARE_STRING_FIELD(schemaname);
114 COMPARE_STRING_FIELD(relname);
115 COMPARE_SCALAR_FIELD(inhOpt);
116 COMPARE_SCALAR_FIELD(istemp);
117 COMPARE_NODE_FIELD(alias);
123 * We don't need an _equalExpr because Expr is an abstract supertype which
124 * should never actually get instantiated. Also, since it has no common
125 * fields except NodeTag, there's no need for a helper routine to factor
126 * out comparing the common fields...
130 _equalVar(Var *a, Var *b)
132 COMPARE_SCALAR_FIELD(varno);
133 COMPARE_SCALAR_FIELD(varattno);
134 COMPARE_SCALAR_FIELD(vartype);
135 COMPARE_SCALAR_FIELD(vartypmod);
136 COMPARE_SCALAR_FIELD(varlevelsup);
137 COMPARE_SCALAR_FIELD(varnoold);
138 COMPARE_SCALAR_FIELD(varoattno);
144 _equalConst(Const *a, Const *b)
146 COMPARE_SCALAR_FIELD(consttype);
147 COMPARE_SCALAR_FIELD(constlen);
148 COMPARE_SCALAR_FIELD(constisnull);
149 COMPARE_SCALAR_FIELD(constbyval);
152 * We treat all NULL constants of the same type as equal. Someday this
153 * might need to change? But datumIsEqual doesn't work on nulls,
158 return datumIsEqual(a->constvalue, b->constvalue,
159 a->constbyval, a->constlen);
163 _equalParam(Param *a, Param *b)
165 COMPARE_SCALAR_FIELD(paramkind);
166 COMPARE_SCALAR_FIELD(paramtype);
168 switch (a->paramkind)
171 COMPARE_STRING_FIELD(paramname);
175 COMPARE_SCALAR_FIELD(paramid);
178 elog(ERROR, "_equalParam: Invalid paramkind value: %d",
186 _equalAggref(Aggref *a, Aggref *b)
188 COMPARE_SCALAR_FIELD(aggfnoid);
189 COMPARE_SCALAR_FIELD(aggtype);
190 COMPARE_NODE_FIELD(target);
191 COMPARE_SCALAR_FIELD(aggstar);
192 COMPARE_SCALAR_FIELD(aggdistinct);
198 _equalArrayRef(ArrayRef *a, ArrayRef *b)
200 COMPARE_SCALAR_FIELD(refrestype);
201 COMPARE_SCALAR_FIELD(refattrlength);
202 COMPARE_SCALAR_FIELD(refelemlength);
203 COMPARE_SCALAR_FIELD(refelembyval);
204 COMPARE_SCALAR_FIELD(refelemalign);
205 COMPARE_NODE_FIELD(refupperindexpr);
206 COMPARE_NODE_FIELD(reflowerindexpr);
207 COMPARE_NODE_FIELD(refexpr);
208 COMPARE_NODE_FIELD(refassgnexpr);
214 _equalFuncExpr(FuncExpr *a, FuncExpr *b)
216 COMPARE_SCALAR_FIELD(funcid);
217 COMPARE_SCALAR_FIELD(funcresulttype);
218 COMPARE_SCALAR_FIELD(funcretset);
220 * Special-case COERCE_DONTCARE, so that pathkeys can build coercion
221 * nodes that are equal() to both explicit and implicit coercions.
223 if (a->funcformat != b->funcformat &&
224 a->funcformat != COERCE_DONTCARE &&
225 b->funcformat != COERCE_DONTCARE)
228 COMPARE_NODE_FIELD(args);
234 _equalOpExpr(OpExpr *a, OpExpr *b)
236 COMPARE_SCALAR_FIELD(opno);
238 * Special-case opfuncid: it is allowable for it to differ if one
239 * node contains zero and the other doesn't. This just means that the
240 * one node isn't as far along in the parse/plan pipeline and hasn't
241 * had the opfuncid cache filled yet.
243 if (a->opfuncid != b->opfuncid &&
248 COMPARE_SCALAR_FIELD(opresulttype);
249 COMPARE_SCALAR_FIELD(opretset);
250 COMPARE_NODE_FIELD(args);
256 _equalDistinctExpr(DistinctExpr *a, DistinctExpr *b)
258 COMPARE_SCALAR_FIELD(opno);
260 * Special-case opfuncid: it is allowable for it to differ if one
261 * node contains zero and the other doesn't. This just means that the
262 * one node isn't as far along in the parse/plan pipeline and hasn't
263 * had the opfuncid cache filled yet.
265 if (a->opfuncid != b->opfuncid &&
270 COMPARE_SCALAR_FIELD(opresulttype);
271 COMPARE_SCALAR_FIELD(opretset);
272 COMPARE_NODE_FIELD(args);
278 _equalBoolExpr(BoolExpr *a, BoolExpr *b)
280 COMPARE_SCALAR_FIELD(boolop);
281 COMPARE_NODE_FIELD(args);
287 _equalSubLink(SubLink *a, SubLink *b)
289 COMPARE_SCALAR_FIELD(subLinkType);
290 COMPARE_SCALAR_FIELD(operIsEquals);
291 COMPARE_SCALAR_FIELD(useOr);
292 COMPARE_NODE_FIELD(lefthand);
293 COMPARE_NODE_FIELD(oper);
294 COMPARE_NODE_FIELD(subselect);
300 _equalSubPlan(SubPlan *a, SubPlan *b)
302 COMPARE_SCALAR_FIELD(subLinkType);
303 COMPARE_SCALAR_FIELD(useOr);
304 COMPARE_NODE_FIELD(oper);
305 /* should compare plans, but have to settle for comparing plan IDs */
306 COMPARE_SCALAR_FIELD(plan_id);
307 COMPARE_NODE_FIELD(rtable);
308 COMPARE_INTLIST_FIELD(setParam);
309 COMPARE_INTLIST_FIELD(parParam);
310 COMPARE_NODE_FIELD(args);
316 _equalFieldSelect(FieldSelect *a, FieldSelect *b)
318 COMPARE_NODE_FIELD(arg);
319 COMPARE_SCALAR_FIELD(fieldnum);
320 COMPARE_SCALAR_FIELD(resulttype);
321 COMPARE_SCALAR_FIELD(resulttypmod);
327 _equalRelabelType(RelabelType *a, RelabelType *b)
329 COMPARE_NODE_FIELD(arg);
330 COMPARE_SCALAR_FIELD(resulttype);
331 COMPARE_SCALAR_FIELD(resulttypmod);
333 * Special-case COERCE_DONTCARE, so that pathkeys can build coercion
334 * nodes that are equal() to both explicit and implicit coercions.
336 if (a->relabelformat != b->relabelformat &&
337 a->relabelformat != COERCE_DONTCARE &&
338 b->relabelformat != COERCE_DONTCARE)
345 _equalCaseExpr(CaseExpr *a, CaseExpr *b)
347 COMPARE_SCALAR_FIELD(casetype);
348 COMPARE_NODE_FIELD(arg);
349 COMPARE_NODE_FIELD(args);
350 COMPARE_NODE_FIELD(defresult);
356 _equalCaseWhen(CaseWhen *a, CaseWhen *b)
358 COMPARE_NODE_FIELD(expr);
359 COMPARE_NODE_FIELD(result);
365 _equalNullTest(NullTest *a, NullTest *b)
367 COMPARE_NODE_FIELD(arg);
368 COMPARE_SCALAR_FIELD(nulltesttype);
374 _equalBooleanTest(BooleanTest *a, BooleanTest *b)
376 COMPARE_NODE_FIELD(arg);
377 COMPARE_SCALAR_FIELD(booltesttype);
383 _equalConstraintTest(ConstraintTest *a, ConstraintTest *b)
385 COMPARE_NODE_FIELD(arg);
386 COMPARE_SCALAR_FIELD(testtype);
387 COMPARE_STRING_FIELD(name);
388 COMPARE_STRING_FIELD(domname);
389 COMPARE_NODE_FIELD(check_expr);
395 _equalConstraintTestValue(ConstraintTestValue *a, ConstraintTestValue *b)
397 COMPARE_SCALAR_FIELD(typeId);
398 COMPARE_SCALAR_FIELD(typeMod);
404 _equalTargetEntry(TargetEntry *a, TargetEntry *b)
406 COMPARE_NODE_FIELD(resdom);
407 COMPARE_NODE_FIELD(expr);
413 _equalRangeTblRef(RangeTblRef *a, RangeTblRef *b)
415 COMPARE_SCALAR_FIELD(rtindex);
421 _equalJoinExpr(JoinExpr *a, JoinExpr *b)
423 COMPARE_SCALAR_FIELD(jointype);
424 COMPARE_SCALAR_FIELD(isNatural);
425 COMPARE_NODE_FIELD(larg);
426 COMPARE_NODE_FIELD(rarg);
427 COMPARE_NODE_FIELD(using);
428 COMPARE_NODE_FIELD(quals);
429 COMPARE_NODE_FIELD(alias);
430 COMPARE_SCALAR_FIELD(rtindex);
436 _equalFromExpr(FromExpr *a, FromExpr *b)
438 COMPARE_NODE_FIELD(fromlist);
439 COMPARE_NODE_FIELD(quals);
446 * Stuff from relation.h
450 _equalPathKeyItem(PathKeyItem *a, PathKeyItem *b)
452 COMPARE_NODE_FIELD(key);
453 COMPARE_SCALAR_FIELD(sortop);
459 _equalRestrictInfo(RestrictInfo *a, RestrictInfo *b)
461 COMPARE_NODE_FIELD(clause);
462 COMPARE_SCALAR_FIELD(ispusheddown);
464 * We ignore subclauseindices, eval_cost, this_selec, left/right_pathkey,
465 * and left/right_bucketsize, since they may not be set yet, and should be
466 * derivable from the clause anyway. Probably it's not really necessary
467 * to compare any of these remaining fields ...
469 COMPARE_SCALAR_FIELD(mergejoinoperator);
470 COMPARE_SCALAR_FIELD(left_sortop);
471 COMPARE_SCALAR_FIELD(right_sortop);
472 COMPARE_SCALAR_FIELD(hashjoinoperator);
478 _equalJoinInfo(JoinInfo *a, JoinInfo *b)
480 COMPARE_INTLIST_FIELD(unjoined_relids);
481 COMPARE_NODE_FIELD(jinfo_restrictinfo);
488 * Stuff from parsenodes.h
492 _equalQuery(Query *a, Query *b)
494 COMPARE_SCALAR_FIELD(commandType);
495 COMPARE_SCALAR_FIELD(querySource);
496 COMPARE_NODE_FIELD(utilityStmt);
497 COMPARE_SCALAR_FIELD(resultRelation);
498 COMPARE_NODE_FIELD(into);
499 COMPARE_SCALAR_FIELD(isPortal);
500 COMPARE_SCALAR_FIELD(isBinary);
501 COMPARE_SCALAR_FIELD(hasAggs);
502 COMPARE_SCALAR_FIELD(hasSubLinks);
503 COMPARE_NODE_FIELD(rtable);
504 COMPARE_NODE_FIELD(jointree);
505 COMPARE_INTLIST_FIELD(rowMarks);
506 COMPARE_NODE_FIELD(targetList);
507 COMPARE_NODE_FIELD(groupClause);
508 COMPARE_NODE_FIELD(havingQual);
509 COMPARE_NODE_FIELD(distinctClause);
510 COMPARE_NODE_FIELD(sortClause);
511 COMPARE_NODE_FIELD(limitOffset);
512 COMPARE_NODE_FIELD(limitCount);
513 COMPARE_NODE_FIELD(setOperations);
514 COMPARE_INTLIST_FIELD(resultRelations);
517 * We do not check the internal-to-the-planner fields: base_rel_list,
518 * other_rel_list, join_rel_list, equi_key_list, query_pathkeys,
519 * hasJoinRTEs. They might not be set yet, and in any case they should
520 * be derivable from the other fields.
526 _equalInsertStmt(InsertStmt *a, InsertStmt *b)
528 COMPARE_NODE_FIELD(relation);
529 COMPARE_NODE_FIELD(cols);
530 COMPARE_NODE_FIELD(targetList);
531 COMPARE_NODE_FIELD(selectStmt);
537 _equalDeleteStmt(DeleteStmt *a, DeleteStmt *b)
539 COMPARE_NODE_FIELD(relation);
540 COMPARE_NODE_FIELD(whereClause);
546 _equalUpdateStmt(UpdateStmt *a, UpdateStmt *b)
548 COMPARE_NODE_FIELD(relation);
549 COMPARE_NODE_FIELD(targetList);
550 COMPARE_NODE_FIELD(whereClause);
551 COMPARE_NODE_FIELD(fromClause);
557 _equalSelectStmt(SelectStmt *a, SelectStmt *b)
559 COMPARE_NODE_FIELD(distinctClause);
560 COMPARE_NODE_FIELD(into);
561 COMPARE_NODE_FIELD(intoColNames);
562 COMPARE_NODE_FIELD(targetList);
563 COMPARE_NODE_FIELD(fromClause);
564 COMPARE_NODE_FIELD(whereClause);
565 COMPARE_NODE_FIELD(groupClause);
566 COMPARE_NODE_FIELD(havingClause);
567 COMPARE_NODE_FIELD(sortClause);
568 COMPARE_STRING_FIELD(portalname);
569 COMPARE_SCALAR_FIELD(binary);
570 COMPARE_NODE_FIELD(limitOffset);
571 COMPARE_NODE_FIELD(limitCount);
572 COMPARE_NODE_FIELD(forUpdate);
573 COMPARE_SCALAR_FIELD(op);
574 COMPARE_SCALAR_FIELD(all);
575 COMPARE_NODE_FIELD(larg);
576 COMPARE_NODE_FIELD(rarg);
582 _equalSetOperationStmt(SetOperationStmt *a, SetOperationStmt *b)
584 COMPARE_SCALAR_FIELD(op);
585 COMPARE_SCALAR_FIELD(all);
586 COMPARE_NODE_FIELD(larg);
587 COMPARE_NODE_FIELD(rarg);
588 COMPARE_INTLIST_FIELD(colTypes);
594 _equalAlterTableStmt(AlterTableStmt *a, AlterTableStmt *b)
596 COMPARE_SCALAR_FIELD(subtype);
597 COMPARE_NODE_FIELD(relation);
598 COMPARE_STRING_FIELD(name);
599 COMPARE_NODE_FIELD(def);
600 COMPARE_SCALAR_FIELD(behavior);
606 _equalAlterDomainStmt(AlterDomainStmt *a, AlterDomainStmt *b)
608 COMPARE_SCALAR_FIELD(subtype);
609 COMPARE_NODE_FIELD(typename);
610 COMPARE_STRING_FIELD(name);
611 COMPARE_NODE_FIELD(def);
612 COMPARE_SCALAR_FIELD(behavior);
618 _equalGrantStmt(GrantStmt *a, GrantStmt *b)
620 COMPARE_SCALAR_FIELD(is_grant);
621 COMPARE_SCALAR_FIELD(objtype);
622 COMPARE_NODE_FIELD(objects);
623 COMPARE_INTLIST_FIELD(privileges);
624 COMPARE_NODE_FIELD(grantees);
630 _equalPrivGrantee(PrivGrantee *a, PrivGrantee *b)
632 COMPARE_STRING_FIELD(username);
633 COMPARE_STRING_FIELD(groupname);
639 _equalFuncWithArgs(FuncWithArgs *a, FuncWithArgs *b)
641 COMPARE_NODE_FIELD(funcname);
642 COMPARE_NODE_FIELD(funcargs);
648 _equalInsertDefault(InsertDefault *a, InsertDefault *b)
654 _equalClosePortalStmt(ClosePortalStmt *a, ClosePortalStmt *b)
656 COMPARE_STRING_FIELD(portalname);
662 _equalClusterStmt(ClusterStmt *a, ClusterStmt *b)
664 COMPARE_NODE_FIELD(relation);
665 COMPARE_STRING_FIELD(indexname);
671 _equalCopyStmt(CopyStmt *a, CopyStmt *b)
673 COMPARE_NODE_FIELD(relation);
674 COMPARE_NODE_FIELD(attlist);
675 COMPARE_SCALAR_FIELD(is_from);
676 COMPARE_STRING_FIELD(filename);
677 COMPARE_NODE_FIELD(options);
683 _equalCreateStmt(CreateStmt *a, CreateStmt *b)
685 COMPARE_NODE_FIELD(relation);
686 COMPARE_NODE_FIELD(tableElts);
687 COMPARE_NODE_FIELD(inhRelations);
688 COMPARE_NODE_FIELD(constraints);
689 COMPARE_SCALAR_FIELD(hasoids);
690 COMPARE_SCALAR_FIELD(oncommit);
696 _equalDefineStmt(DefineStmt *a, DefineStmt *b)
698 COMPARE_SCALAR_FIELD(defType);
699 COMPARE_NODE_FIELD(defnames);
700 COMPARE_NODE_FIELD(definition);
706 _equalDropStmt(DropStmt *a, DropStmt *b)
708 COMPARE_NODE_FIELD(objects);
709 COMPARE_SCALAR_FIELD(removeType);
710 COMPARE_SCALAR_FIELD(behavior);
716 _equalTruncateStmt(TruncateStmt *a, TruncateStmt *b)
718 COMPARE_NODE_FIELD(relation);
724 _equalCommentStmt(CommentStmt *a, CommentStmt *b)
726 COMPARE_SCALAR_FIELD(objtype);
727 COMPARE_NODE_FIELD(objname);
728 COMPARE_NODE_FIELD(objargs);
729 COMPARE_STRING_FIELD(comment);
735 _equalFetchStmt(FetchStmt *a, FetchStmt *b)
737 COMPARE_SCALAR_FIELD(direction);
738 COMPARE_SCALAR_FIELD(howMany);
739 COMPARE_STRING_FIELD(portalname);
740 COMPARE_SCALAR_FIELD(ismove);
746 _equalIndexStmt(IndexStmt *a, IndexStmt *b)
748 COMPARE_STRING_FIELD(idxname);
749 COMPARE_NODE_FIELD(relation);
750 COMPARE_STRING_FIELD(accessMethod);
751 COMPARE_NODE_FIELD(indexParams);
752 COMPARE_NODE_FIELD(whereClause);
753 COMPARE_NODE_FIELD(rangetable);
754 COMPARE_SCALAR_FIELD(unique);
755 COMPARE_SCALAR_FIELD(primary);
756 COMPARE_SCALAR_FIELD(isconstraint);
762 _equalCreateFunctionStmt(CreateFunctionStmt *a, CreateFunctionStmt *b)
764 COMPARE_SCALAR_FIELD(replace);
765 COMPARE_NODE_FIELD(funcname);
766 COMPARE_NODE_FIELD(argTypes);
767 COMPARE_NODE_FIELD(returnType);
768 COMPARE_NODE_FIELD(options);
769 COMPARE_NODE_FIELD(withClause);
775 _equalRemoveAggrStmt(RemoveAggrStmt *a, RemoveAggrStmt *b)
777 COMPARE_NODE_FIELD(aggname);
778 COMPARE_NODE_FIELD(aggtype);
779 COMPARE_SCALAR_FIELD(behavior);
785 _equalRemoveFuncStmt(RemoveFuncStmt *a, RemoveFuncStmt *b)
787 COMPARE_NODE_FIELD(funcname);
788 COMPARE_NODE_FIELD(args);
789 COMPARE_SCALAR_FIELD(behavior);
795 _equalRemoveOperStmt(RemoveOperStmt *a, RemoveOperStmt *b)
797 COMPARE_NODE_FIELD(opname);
798 COMPARE_NODE_FIELD(args);
799 COMPARE_SCALAR_FIELD(behavior);
805 _equalRemoveOpClassStmt(RemoveOpClassStmt *a, RemoveOpClassStmt *b)
807 COMPARE_NODE_FIELD(opclassname);
808 COMPARE_STRING_FIELD(amname);
809 COMPARE_SCALAR_FIELD(behavior);
815 _equalRenameStmt(RenameStmt *a, RenameStmt *b)
817 COMPARE_NODE_FIELD(relation);
818 COMPARE_STRING_FIELD(oldname);
819 COMPARE_STRING_FIELD(newname);
820 COMPARE_SCALAR_FIELD(renameType);
826 _equalRuleStmt(RuleStmt *a, RuleStmt *b)
828 COMPARE_NODE_FIELD(relation);
829 COMPARE_STRING_FIELD(rulename);
830 COMPARE_NODE_FIELD(whereClause);
831 COMPARE_SCALAR_FIELD(event);
832 COMPARE_SCALAR_FIELD(instead);
833 COMPARE_NODE_FIELD(actions);
834 COMPARE_SCALAR_FIELD(replace);
840 _equalNotifyStmt(NotifyStmt *a, NotifyStmt *b)
842 COMPARE_NODE_FIELD(relation);
848 _equalListenStmt(ListenStmt *a, ListenStmt *b)
850 COMPARE_NODE_FIELD(relation);
856 _equalUnlistenStmt(UnlistenStmt *a, UnlistenStmt *b)
858 COMPARE_NODE_FIELD(relation);
864 _equalTransactionStmt(TransactionStmt *a, TransactionStmt *b)
866 COMPARE_SCALAR_FIELD(command);
867 COMPARE_NODE_FIELD(options);
873 _equalCompositeTypeStmt(CompositeTypeStmt *a, CompositeTypeStmt *b)
875 COMPARE_NODE_FIELD(typevar);
876 COMPARE_NODE_FIELD(coldeflist);
882 _equalViewStmt(ViewStmt *a, ViewStmt *b)
884 COMPARE_NODE_FIELD(view);
885 COMPARE_NODE_FIELD(aliases);
886 COMPARE_NODE_FIELD(query);
887 COMPARE_SCALAR_FIELD(replace);
893 _equalLoadStmt(LoadStmt *a, LoadStmt *b)
895 COMPARE_STRING_FIELD(filename);
901 _equalCreateDomainStmt(CreateDomainStmt *a, CreateDomainStmt *b)
903 COMPARE_NODE_FIELD(domainname);
904 COMPARE_NODE_FIELD(typename);
905 COMPARE_NODE_FIELD(constraints);
911 _equalCreateOpClassStmt(CreateOpClassStmt *a, CreateOpClassStmt *b)
913 COMPARE_NODE_FIELD(opclassname);
914 COMPARE_STRING_FIELD(amname);
915 COMPARE_NODE_FIELD(datatype);
916 COMPARE_NODE_FIELD(items);
917 COMPARE_SCALAR_FIELD(isDefault);
923 _equalCreateOpClassItem(CreateOpClassItem *a, CreateOpClassItem *b)
925 COMPARE_SCALAR_FIELD(itemtype);
926 COMPARE_NODE_FIELD(name);
927 COMPARE_NODE_FIELD(args);
928 COMPARE_SCALAR_FIELD(number);
929 COMPARE_SCALAR_FIELD(recheck);
930 COMPARE_NODE_FIELD(storedtype);
936 _equalCreatedbStmt(CreatedbStmt *a, CreatedbStmt *b)
938 COMPARE_STRING_FIELD(dbname);
939 COMPARE_NODE_FIELD(options);
945 _equalAlterDatabaseSetStmt(AlterDatabaseSetStmt *a, AlterDatabaseSetStmt *b)
947 COMPARE_STRING_FIELD(dbname);
948 COMPARE_STRING_FIELD(variable);
949 COMPARE_NODE_FIELD(value);
955 _equalDropdbStmt(DropdbStmt *a, DropdbStmt *b)
957 COMPARE_STRING_FIELD(dbname);
963 _equalVacuumStmt(VacuumStmt *a, VacuumStmt *b)
965 COMPARE_SCALAR_FIELD(vacuum);
966 COMPARE_SCALAR_FIELD(full);
967 COMPARE_SCALAR_FIELD(analyze);
968 COMPARE_SCALAR_FIELD(freeze);
969 COMPARE_SCALAR_FIELD(verbose);
970 COMPARE_NODE_FIELD(relation);
971 COMPARE_NODE_FIELD(va_cols);
977 _equalExplainStmt(ExplainStmt *a, ExplainStmt *b)
979 COMPARE_NODE_FIELD(query);
980 COMPARE_SCALAR_FIELD(verbose);
981 COMPARE_SCALAR_FIELD(analyze);
987 _equalCreateSeqStmt(CreateSeqStmt *a, CreateSeqStmt *b)
989 COMPARE_NODE_FIELD(sequence);
990 COMPARE_NODE_FIELD(options);
996 _equalVariableSetStmt(VariableSetStmt *a, VariableSetStmt *b)
998 COMPARE_STRING_FIELD(name);
999 COMPARE_NODE_FIELD(args);
1000 COMPARE_SCALAR_FIELD(is_local);
1006 _equalVariableShowStmt(VariableShowStmt *a, VariableShowStmt *b)
1008 COMPARE_STRING_FIELD(name);
1014 _equalVariableResetStmt(VariableResetStmt *a, VariableResetStmt *b)
1016 COMPARE_STRING_FIELD(name);
1022 _equalCreateTrigStmt(CreateTrigStmt *a, CreateTrigStmt *b)
1024 COMPARE_STRING_FIELD(trigname);
1025 COMPARE_NODE_FIELD(relation);
1026 COMPARE_NODE_FIELD(funcname);
1027 COMPARE_NODE_FIELD(args);
1028 COMPARE_SCALAR_FIELD(before);
1029 COMPARE_SCALAR_FIELD(row);
1030 if (strcmp(a->actions, b->actions) != 0) /* in-line string field */
1032 COMPARE_SCALAR_FIELD(isconstraint);
1033 COMPARE_SCALAR_FIELD(deferrable);
1034 COMPARE_SCALAR_FIELD(initdeferred);
1035 COMPARE_NODE_FIELD(constrrel);
1041 _equalDropPropertyStmt(DropPropertyStmt *a, DropPropertyStmt *b)
1043 COMPARE_NODE_FIELD(relation);
1044 COMPARE_STRING_FIELD(property);
1045 COMPARE_SCALAR_FIELD(removeType);
1046 COMPARE_SCALAR_FIELD(behavior);
1052 _equalCreatePLangStmt(CreatePLangStmt *a, CreatePLangStmt *b)
1054 COMPARE_STRING_FIELD(plname);
1055 COMPARE_NODE_FIELD(plhandler);
1056 COMPARE_NODE_FIELD(plvalidator);
1057 COMPARE_SCALAR_FIELD(pltrusted);
1063 _equalDropPLangStmt(DropPLangStmt *a, DropPLangStmt *b)
1065 COMPARE_STRING_FIELD(plname);
1066 COMPARE_SCALAR_FIELD(behavior);
1072 _equalCreateUserStmt(CreateUserStmt *a, CreateUserStmt *b)
1074 COMPARE_STRING_FIELD(user);
1075 COMPARE_NODE_FIELD(options);
1081 _equalAlterUserStmt(AlterUserStmt *a, AlterUserStmt *b)
1083 COMPARE_STRING_FIELD(user);
1084 COMPARE_NODE_FIELD(options);
1090 _equalAlterUserSetStmt(AlterUserSetStmt *a, AlterUserSetStmt *b)
1092 COMPARE_STRING_FIELD(user);
1093 COMPARE_STRING_FIELD(variable);
1094 COMPARE_NODE_FIELD(value);
1100 _equalDropUserStmt(DropUserStmt *a, DropUserStmt *b)
1102 COMPARE_NODE_FIELD(users);
1108 _equalLockStmt(LockStmt *a, LockStmt *b)
1110 COMPARE_NODE_FIELD(relations);
1111 COMPARE_SCALAR_FIELD(mode);
1117 _equalConstraintsSetStmt(ConstraintsSetStmt *a, ConstraintsSetStmt *b)
1119 COMPARE_NODE_FIELD(constraints);
1120 COMPARE_SCALAR_FIELD(deferred);
1126 _equalCreateGroupStmt(CreateGroupStmt *a, CreateGroupStmt *b)
1128 COMPARE_STRING_FIELD(name);
1129 COMPARE_NODE_FIELD(options);
1135 _equalAlterGroupStmt(AlterGroupStmt *a, AlterGroupStmt *b)
1137 COMPARE_STRING_FIELD(name);
1138 COMPARE_SCALAR_FIELD(action);
1139 COMPARE_NODE_FIELD(listUsers);
1145 _equalDropGroupStmt(DropGroupStmt *a, DropGroupStmt *b)
1147 COMPARE_STRING_FIELD(name);
1153 _equalReindexStmt(ReindexStmt *a, ReindexStmt *b)
1155 COMPARE_SCALAR_FIELD(reindexType);
1156 COMPARE_NODE_FIELD(relation);
1157 COMPARE_STRING_FIELD(name);
1158 COMPARE_SCALAR_FIELD(force);
1159 COMPARE_SCALAR_FIELD(all);
1165 _equalCreateSchemaStmt(CreateSchemaStmt *a, CreateSchemaStmt *b)
1167 COMPARE_STRING_FIELD(schemaname);
1168 COMPARE_STRING_FIELD(authid);
1169 COMPARE_NODE_FIELD(schemaElts);
1175 _equalCreateConversionStmt(CreateConversionStmt *a, CreateConversionStmt *b)
1177 COMPARE_NODE_FIELD(conversion_name);
1178 COMPARE_STRING_FIELD(for_encoding_name);
1179 COMPARE_STRING_FIELD(to_encoding_name);
1180 COMPARE_NODE_FIELD(func_name);
1181 COMPARE_SCALAR_FIELD(def);
1187 _equalCreateCastStmt(CreateCastStmt *a, CreateCastStmt *b)
1189 COMPARE_NODE_FIELD(sourcetype);
1190 COMPARE_NODE_FIELD(targettype);
1191 COMPARE_NODE_FIELD(func);
1192 COMPARE_SCALAR_FIELD(context);
1198 _equalDropCastStmt(DropCastStmt *a, DropCastStmt *b)
1200 COMPARE_NODE_FIELD(sourcetype);
1201 COMPARE_NODE_FIELD(targettype);
1202 COMPARE_SCALAR_FIELD(behavior);
1208 _equalPrepareStmt(PrepareStmt *a, PrepareStmt *b)
1210 COMPARE_STRING_FIELD(name);
1211 COMPARE_NODE_FIELD(argtypes);
1212 COMPARE_INTLIST_FIELD(argtype_oids);
1213 COMPARE_NODE_FIELD(query);
1219 _equalExecuteStmt(ExecuteStmt *a, ExecuteStmt *b)
1221 COMPARE_STRING_FIELD(name);
1222 COMPARE_NODE_FIELD(into);
1223 COMPARE_NODE_FIELD(params);
1229 _equalDeallocateStmt(DeallocateStmt *a, DeallocateStmt *b)
1231 COMPARE_STRING_FIELD(name);
1238 * stuff from parsenodes.h
1242 _equalAExpr(A_Expr *a, A_Expr *b)
1244 COMPARE_SCALAR_FIELD(oper);
1245 COMPARE_NODE_FIELD(name);
1246 COMPARE_NODE_FIELD(lexpr);
1247 COMPARE_NODE_FIELD(rexpr);
1253 _equalColumnRef(ColumnRef *a, ColumnRef *b)
1255 COMPARE_NODE_FIELD(fields);
1256 COMPARE_NODE_FIELD(indirection);
1262 _equalParamRef(ParamRef *a, ParamRef *b)
1264 COMPARE_SCALAR_FIELD(number);
1265 COMPARE_NODE_FIELD(fields);
1266 COMPARE_NODE_FIELD(indirection);
1272 _equalAConst(A_Const *a, A_Const *b)
1274 if (!equal(&a->val, &b->val)) /* hack for in-line Value field */
1276 COMPARE_NODE_FIELD(typename);
1282 _equalFuncCall(FuncCall *a, FuncCall *b)
1284 COMPARE_NODE_FIELD(funcname);
1285 COMPARE_NODE_FIELD(args);
1286 COMPARE_SCALAR_FIELD(agg_star);
1287 COMPARE_SCALAR_FIELD(agg_distinct);
1293 _equalAIndices(A_Indices *a, A_Indices *b)
1295 COMPARE_NODE_FIELD(lidx);
1296 COMPARE_NODE_FIELD(uidx);
1302 _equalExprFieldSelect(ExprFieldSelect *a, ExprFieldSelect *b)
1304 COMPARE_NODE_FIELD(arg);
1305 COMPARE_NODE_FIELD(fields);
1306 COMPARE_NODE_FIELD(indirection);
1312 _equalResTarget(ResTarget *a, ResTarget *b)
1314 COMPARE_STRING_FIELD(name);
1315 COMPARE_NODE_FIELD(indirection);
1316 COMPARE_NODE_FIELD(val);
1322 _equalTypeName(TypeName *a, TypeName *b)
1324 COMPARE_NODE_FIELD(names);
1325 COMPARE_SCALAR_FIELD(typeid);
1326 COMPARE_SCALAR_FIELD(timezone);
1327 COMPARE_SCALAR_FIELD(setof);
1328 COMPARE_SCALAR_FIELD(pct_type);
1329 COMPARE_SCALAR_FIELD(typmod);
1330 COMPARE_NODE_FIELD(arrayBounds);
1336 _equalTypeCast(TypeCast *a, TypeCast *b)
1338 COMPARE_NODE_FIELD(arg);
1339 COMPARE_NODE_FIELD(typename);
1345 _equalSortGroupBy(SortGroupBy *a, SortGroupBy *b)
1347 COMPARE_NODE_FIELD(useOp);
1348 COMPARE_NODE_FIELD(node);
1354 _equalRangeSubselect(RangeSubselect *a, RangeSubselect *b)
1356 COMPARE_NODE_FIELD(subquery);
1357 COMPARE_NODE_FIELD(alias);
1363 _equalRangeFunction(RangeFunction *a, RangeFunction *b)
1365 COMPARE_NODE_FIELD(funccallnode);
1366 COMPARE_NODE_FIELD(alias);
1367 COMPARE_NODE_FIELD(coldeflist);
1373 _equalIndexElem(IndexElem *a, IndexElem *b)
1375 COMPARE_STRING_FIELD(name);
1376 COMPARE_NODE_FIELD(funcname);
1377 COMPARE_NODE_FIELD(args);
1378 COMPARE_NODE_FIELD(opclass);
1384 _equalColumnDef(ColumnDef *a, ColumnDef *b)
1386 COMPARE_STRING_FIELD(colname);
1387 COMPARE_NODE_FIELD(typename);
1388 COMPARE_SCALAR_FIELD(inhcount);
1389 COMPARE_SCALAR_FIELD(is_local);
1390 COMPARE_SCALAR_FIELD(is_not_null);
1391 COMPARE_NODE_FIELD(raw_default);
1392 COMPARE_STRING_FIELD(cooked_default);
1393 COMPARE_NODE_FIELD(constraints);
1394 COMPARE_NODE_FIELD(support);
1400 _equalConstraint(Constraint *a, Constraint *b)
1402 COMPARE_SCALAR_FIELD(contype);
1403 COMPARE_STRING_FIELD(name);
1404 COMPARE_NODE_FIELD(raw_expr);
1405 COMPARE_STRING_FIELD(cooked_expr);
1406 COMPARE_NODE_FIELD(keys);
1412 _equalDefElem(DefElem *a, DefElem *b)
1414 COMPARE_STRING_FIELD(defname);
1415 COMPARE_NODE_FIELD(arg);
1421 _equalRangeTblEntry(RangeTblEntry *a, RangeTblEntry *b)
1423 COMPARE_SCALAR_FIELD(rtekind);
1424 COMPARE_SCALAR_FIELD(relid);
1425 COMPARE_NODE_FIELD(subquery);
1426 COMPARE_NODE_FIELD(funcexpr);
1427 COMPARE_NODE_FIELD(coldeflist);
1428 COMPARE_SCALAR_FIELD(jointype);
1429 COMPARE_NODE_FIELD(joinaliasvars);
1430 COMPARE_NODE_FIELD(alias);
1431 COMPARE_NODE_FIELD(eref);
1432 COMPARE_SCALAR_FIELD(inh);
1433 COMPARE_SCALAR_FIELD(inFromCl);
1434 COMPARE_SCALAR_FIELD(checkForRead);
1435 COMPARE_SCALAR_FIELD(checkForWrite);
1436 COMPARE_SCALAR_FIELD(checkAsUser);
1442 _equalSortClause(SortClause *a, SortClause *b)
1444 COMPARE_SCALAR_FIELD(tleSortGroupRef);
1445 COMPARE_SCALAR_FIELD(sortop);
1451 _equalFkConstraint(FkConstraint *a, FkConstraint *b)
1453 COMPARE_STRING_FIELD(constr_name);
1454 COMPARE_NODE_FIELD(pktable);
1455 COMPARE_NODE_FIELD(fk_attrs);
1456 COMPARE_NODE_FIELD(pk_attrs);
1457 COMPARE_SCALAR_FIELD(fk_matchtype);
1458 COMPARE_SCALAR_FIELD(fk_upd_action);
1459 COMPARE_SCALAR_FIELD(fk_del_action);
1460 COMPARE_SCALAR_FIELD(deferrable);
1461 COMPARE_SCALAR_FIELD(initdeferred);
1462 COMPARE_SCALAR_FIELD(skip_validation);
1469 * Stuff from pg_list.h
1473 _equalValue(Value *a, Value *b)
1475 COMPARE_SCALAR_FIELD(type);
1480 COMPARE_SCALAR_FIELD(val.ival);
1485 COMPARE_STRING_FIELD(val.str);
1491 elog(ERROR, "_equalValue: unknown node type %d", a->type);
1500 * returns whether two nodes are equal
1503 equal(void *a, void *b)
1505 bool retval = false;
1511 * note that a!=b, so only one of them can be NULL
1513 if (a == NULL || b == NULL)
1517 * are they the same type of nodes?
1519 if (nodeTag(a) != nodeTag(b))
1528 retval = _equalResdom(a, b);
1531 retval = _equalAlias(a, b);
1534 retval = _equalRangeVar(a, b);
1537 retval = _equalVar(a, b);
1540 retval = _equalConst(a, b);
1543 retval = _equalParam(a, b);
1546 retval = _equalAggref(a, b);
1549 retval = _equalArrayRef(a, b);
1552 retval = _equalFuncExpr(a, b);
1555 retval = _equalOpExpr(a, b);
1557 case T_DistinctExpr:
1558 retval = _equalDistinctExpr(a, b);
1561 retval = _equalBoolExpr(a, b);
1564 retval = _equalSubLink(a, b);
1567 retval = _equalSubPlan(a, b);
1570 retval = _equalFieldSelect(a, b);
1573 retval = _equalRelabelType(a, b);
1576 retval = _equalCaseExpr(a, b);
1579 retval = _equalCaseWhen(a, b);
1582 retval = _equalNullTest(a, b);
1585 retval = _equalBooleanTest(a, b);
1587 case T_ConstraintTest:
1588 retval = _equalConstraintTest(a, b);
1590 case T_ConstraintTestValue:
1591 retval = _equalConstraintTestValue(a, b);
1594 retval = _equalTargetEntry(a, b);
1597 retval = _equalRangeTblRef(a, b);
1600 retval = _equalFromExpr(a, b);
1603 retval = _equalJoinExpr(a, b);
1610 retval = _equalPathKeyItem(a, b);
1612 case T_RestrictInfo:
1613 retval = _equalRestrictInfo(a, b);
1616 retval = _equalJoinInfo(a, b);
1624 List *la = (List *) a;
1625 List *lb = (List *) b;
1629 * Try to reject by length check before we grovel through
1630 * all the elements...
1632 if (length(la) != length(lb))
1636 if (!equal(lfirst(l), lfirst(lb)))
1649 retval = _equalValue(a, b);
1656 retval = _equalQuery(a, b);
1659 retval = _equalInsertStmt(a, b);
1662 retval = _equalDeleteStmt(a, b);
1665 retval = _equalUpdateStmt(a, b);
1668 retval = _equalSelectStmt(a, b);
1670 case T_SetOperationStmt:
1671 retval = _equalSetOperationStmt(a, b);
1673 case T_AlterTableStmt:
1674 retval = _equalAlterTableStmt(a, b);
1676 case T_AlterDomainStmt:
1677 retval = _equalAlterDomainStmt(a, b);
1680 retval = _equalGrantStmt(a, b);
1682 case T_ClosePortalStmt:
1683 retval = _equalClosePortalStmt(a, b);
1686 retval = _equalClusterStmt(a, b);
1689 retval = _equalCopyStmt(a, b);
1692 retval = _equalCreateStmt(a, b);
1695 retval = _equalDefineStmt(a, b);
1698 retval = _equalDropStmt(a, b);
1700 case T_TruncateStmt:
1701 retval = _equalTruncateStmt(a, b);
1704 retval = _equalCommentStmt(a, b);
1707 retval = _equalFetchStmt(a, b);
1710 retval = _equalIndexStmt(a, b);
1712 case T_CreateFunctionStmt:
1713 retval = _equalCreateFunctionStmt(a, b);
1715 case T_RemoveAggrStmt:
1716 retval = _equalRemoveAggrStmt(a, b);
1718 case T_RemoveFuncStmt:
1719 retval = _equalRemoveFuncStmt(a, b);
1721 case T_RemoveOperStmt:
1722 retval = _equalRemoveOperStmt(a, b);
1724 case T_RemoveOpClassStmt:
1725 retval = _equalRemoveOpClassStmt(a, b);
1728 retval = _equalRenameStmt(a, b);
1731 retval = _equalRuleStmt(a, b);
1734 retval = _equalNotifyStmt(a, b);
1737 retval = _equalListenStmt(a, b);
1739 case T_UnlistenStmt:
1740 retval = _equalUnlistenStmt(a, b);
1742 case T_TransactionStmt:
1743 retval = _equalTransactionStmt(a, b);
1745 case T_CompositeTypeStmt:
1746 retval = _equalCompositeTypeStmt(a, b);
1749 retval = _equalViewStmt(a, b);
1752 retval = _equalLoadStmt(a, b);
1754 case T_CreateDomainStmt:
1755 retval = _equalCreateDomainStmt(a, b);
1757 case T_CreateOpClassStmt:
1758 retval = _equalCreateOpClassStmt(a, b);
1760 case T_CreateOpClassItem:
1761 retval = _equalCreateOpClassItem(a, b);
1763 case T_CreatedbStmt:
1764 retval = _equalCreatedbStmt(a, b);
1766 case T_AlterDatabaseSetStmt:
1767 retval = _equalAlterDatabaseSetStmt(a, b);
1770 retval = _equalDropdbStmt(a, b);
1773 retval = _equalVacuumStmt(a, b);
1776 retval = _equalExplainStmt(a, b);
1778 case T_CreateSeqStmt:
1779 retval = _equalCreateSeqStmt(a, b);
1781 case T_VariableSetStmt:
1782 retval = _equalVariableSetStmt(a, b);
1784 case T_VariableShowStmt:
1785 retval = _equalVariableShowStmt(a, b);
1787 case T_VariableResetStmt:
1788 retval = _equalVariableResetStmt(a, b);
1790 case T_CreateTrigStmt:
1791 retval = _equalCreateTrigStmt(a, b);
1793 case T_DropPropertyStmt:
1794 retval = _equalDropPropertyStmt(a, b);
1796 case T_CreatePLangStmt:
1797 retval = _equalCreatePLangStmt(a, b);
1799 case T_DropPLangStmt:
1800 retval = _equalDropPLangStmt(a, b);
1802 case T_CreateUserStmt:
1803 retval = _equalCreateUserStmt(a, b);
1805 case T_AlterUserStmt:
1806 retval = _equalAlterUserStmt(a, b);
1808 case T_AlterUserSetStmt:
1809 retval = _equalAlterUserSetStmt(a, b);
1811 case T_DropUserStmt:
1812 retval = _equalDropUserStmt(a, b);
1815 retval = _equalLockStmt(a, b);
1817 case T_ConstraintsSetStmt:
1818 retval = _equalConstraintsSetStmt(a, b);
1820 case T_CreateGroupStmt:
1821 retval = _equalCreateGroupStmt(a, b);
1823 case T_AlterGroupStmt:
1824 retval = _equalAlterGroupStmt(a, b);
1826 case T_DropGroupStmt:
1827 retval = _equalDropGroupStmt(a, b);
1830 retval = _equalReindexStmt(a, b);
1832 case T_CheckPointStmt:
1835 case T_CreateSchemaStmt:
1836 retval = _equalCreateSchemaStmt(a, b);
1838 case T_CreateConversionStmt:
1839 retval = _equalCreateConversionStmt(a, b);
1841 case T_CreateCastStmt:
1842 retval = _equalCreateCastStmt(a, b);
1844 case T_DropCastStmt:
1845 retval = _equalDropCastStmt(a, b);
1848 retval = _equalPrepareStmt(a, b);
1851 retval = _equalExecuteStmt(a, b);
1853 case T_DeallocateStmt:
1854 retval = _equalDeallocateStmt(a, b);
1858 retval = _equalAExpr(a, b);
1861 retval = _equalColumnRef(a, b);
1864 retval = _equalParamRef(a, b);
1867 retval = _equalAConst(a, b);
1870 retval = _equalFuncCall(a, b);
1873 retval = _equalAIndices(a, b);
1875 case T_ExprFieldSelect:
1876 retval = _equalExprFieldSelect(a, b);
1879 retval = _equalResTarget(a, b);
1882 retval = _equalTypeCast(a, b);
1885 retval = _equalSortGroupBy(a, b);
1887 case T_RangeSubselect:
1888 retval = _equalRangeSubselect(a, b);
1890 case T_RangeFunction:
1891 retval = _equalRangeFunction(a, b);
1894 retval = _equalTypeName(a, b);
1897 retval = _equalIndexElem(a, b);
1900 retval = _equalColumnDef(a, b);
1903 retval = _equalConstraint(a, b);
1906 retval = _equalDefElem(a, b);
1908 case T_RangeTblEntry:
1909 retval = _equalRangeTblEntry(a, b);
1912 retval = _equalSortClause(a, b);
1915 /* GroupClause is equivalent to SortClause */
1916 retval = _equalSortClause(a, b);
1918 case T_FkConstraint:
1919 retval = _equalFkConstraint(a, b);
1922 retval = _equalPrivGrantee(a, b);
1924 case T_FuncWithArgs:
1925 retval = _equalFuncWithArgs(a, b);
1927 case T_InsertDefault:
1928 retval = _equalInsertDefault(a, b);
1932 elog(WARNING, "equal: don't know whether nodes of type %d are equal",