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.177 2002/12/14 00:17:51 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(useor);
291 COMPARE_NODE_FIELD(lefthand);
292 COMPARE_NODE_FIELD(oper);
293 COMPARE_NODE_FIELD(subselect);
299 _equalSubPlan(SubPlan *a, SubPlan *b)
301 COMPARE_SCALAR_FIELD(subLinkType);
302 COMPARE_SCALAR_FIELD(useor);
303 COMPARE_NODE_FIELD(oper);
304 /* should compare plans, but have to settle for comparing plan IDs */
305 COMPARE_SCALAR_FIELD(plan_id);
306 COMPARE_NODE_FIELD(rtable);
307 COMPARE_INTLIST_FIELD(setParam);
308 COMPARE_INTLIST_FIELD(parParam);
309 COMPARE_NODE_FIELD(args);
315 _equalFieldSelect(FieldSelect *a, FieldSelect *b)
317 COMPARE_NODE_FIELD(arg);
318 COMPARE_SCALAR_FIELD(fieldnum);
319 COMPARE_SCALAR_FIELD(resulttype);
320 COMPARE_SCALAR_FIELD(resulttypmod);
326 _equalRelabelType(RelabelType *a, RelabelType *b)
328 COMPARE_NODE_FIELD(arg);
329 COMPARE_SCALAR_FIELD(resulttype);
330 COMPARE_SCALAR_FIELD(resulttypmod);
332 * Special-case COERCE_DONTCARE, so that pathkeys can build coercion
333 * nodes that are equal() to both explicit and implicit coercions.
335 if (a->relabelformat != b->relabelformat &&
336 a->relabelformat != COERCE_DONTCARE &&
337 b->relabelformat != COERCE_DONTCARE)
344 _equalCaseExpr(CaseExpr *a, CaseExpr *b)
346 COMPARE_SCALAR_FIELD(casetype);
347 COMPARE_NODE_FIELD(arg);
348 COMPARE_NODE_FIELD(args);
349 COMPARE_NODE_FIELD(defresult);
355 _equalCaseWhen(CaseWhen *a, CaseWhen *b)
357 COMPARE_NODE_FIELD(expr);
358 COMPARE_NODE_FIELD(result);
364 _equalNullTest(NullTest *a, NullTest *b)
366 COMPARE_NODE_FIELD(arg);
367 COMPARE_SCALAR_FIELD(nulltesttype);
373 _equalBooleanTest(BooleanTest *a, BooleanTest *b)
375 COMPARE_NODE_FIELD(arg);
376 COMPARE_SCALAR_FIELD(booltesttype);
382 _equalConstraintTest(ConstraintTest *a, ConstraintTest *b)
384 COMPARE_NODE_FIELD(arg);
385 COMPARE_SCALAR_FIELD(testtype);
386 COMPARE_STRING_FIELD(name);
387 COMPARE_STRING_FIELD(domname);
388 COMPARE_NODE_FIELD(check_expr);
394 _equalConstraintTestValue(ConstraintTestValue *a, ConstraintTestValue *b)
396 COMPARE_SCALAR_FIELD(typeId);
397 COMPARE_SCALAR_FIELD(typeMod);
403 _equalTargetEntry(TargetEntry *a, TargetEntry *b)
405 COMPARE_NODE_FIELD(resdom);
406 COMPARE_NODE_FIELD(expr);
412 _equalRangeTblRef(RangeTblRef *a, RangeTblRef *b)
414 COMPARE_SCALAR_FIELD(rtindex);
420 _equalJoinExpr(JoinExpr *a, JoinExpr *b)
422 COMPARE_SCALAR_FIELD(jointype);
423 COMPARE_SCALAR_FIELD(isNatural);
424 COMPARE_NODE_FIELD(larg);
425 COMPARE_NODE_FIELD(rarg);
426 COMPARE_NODE_FIELD(using);
427 COMPARE_NODE_FIELD(quals);
428 COMPARE_NODE_FIELD(alias);
429 COMPARE_SCALAR_FIELD(rtindex);
435 _equalFromExpr(FromExpr *a, FromExpr *b)
437 COMPARE_NODE_FIELD(fromlist);
438 COMPARE_NODE_FIELD(quals);
445 * Stuff from relation.h
449 _equalPathKeyItem(PathKeyItem *a, PathKeyItem *b)
451 COMPARE_NODE_FIELD(key);
452 COMPARE_SCALAR_FIELD(sortop);
458 _equalRestrictInfo(RestrictInfo *a, RestrictInfo *b)
460 COMPARE_NODE_FIELD(clause);
461 COMPARE_SCALAR_FIELD(ispusheddown);
463 * We ignore subclauseindices, eval_cost, this_selec, left/right_pathkey,
464 * and left/right_bucketsize, since they may not be set yet, and should be
465 * derivable from the clause anyway. Probably it's not really necessary
466 * to compare any of these remaining fields ...
468 COMPARE_SCALAR_FIELD(mergejoinoperator);
469 COMPARE_SCALAR_FIELD(left_sortop);
470 COMPARE_SCALAR_FIELD(right_sortop);
471 COMPARE_SCALAR_FIELD(hashjoinoperator);
477 _equalJoinInfo(JoinInfo *a, JoinInfo *b)
479 COMPARE_INTLIST_FIELD(unjoined_relids);
480 COMPARE_NODE_FIELD(jinfo_restrictinfo);
487 * Stuff from parsenodes.h
491 _equalQuery(Query *a, Query *b)
493 COMPARE_SCALAR_FIELD(commandType);
494 COMPARE_SCALAR_FIELD(querySource);
495 COMPARE_NODE_FIELD(utilityStmt);
496 COMPARE_SCALAR_FIELD(resultRelation);
497 COMPARE_NODE_FIELD(into);
498 COMPARE_SCALAR_FIELD(isPortal);
499 COMPARE_SCALAR_FIELD(isBinary);
500 COMPARE_SCALAR_FIELD(hasAggs);
501 COMPARE_SCALAR_FIELD(hasSubLinks);
502 COMPARE_NODE_FIELD(rtable);
503 COMPARE_NODE_FIELD(jointree);
504 COMPARE_INTLIST_FIELD(rowMarks);
505 COMPARE_NODE_FIELD(targetList);
506 COMPARE_NODE_FIELD(groupClause);
507 COMPARE_NODE_FIELD(havingQual);
508 COMPARE_NODE_FIELD(distinctClause);
509 COMPARE_NODE_FIELD(sortClause);
510 COMPARE_NODE_FIELD(limitOffset);
511 COMPARE_NODE_FIELD(limitCount);
512 COMPARE_NODE_FIELD(setOperations);
513 COMPARE_INTLIST_FIELD(resultRelations);
516 * We do not check the internal-to-the-planner fields: base_rel_list,
517 * other_rel_list, join_rel_list, equi_key_list, query_pathkeys,
518 * hasJoinRTEs. They might not be set yet, and in any case they should
519 * be derivable from the other fields.
525 _equalInsertStmt(InsertStmt *a, InsertStmt *b)
527 COMPARE_NODE_FIELD(relation);
528 COMPARE_NODE_FIELD(cols);
529 COMPARE_NODE_FIELD(targetList);
530 COMPARE_NODE_FIELD(selectStmt);
536 _equalDeleteStmt(DeleteStmt *a, DeleteStmt *b)
538 COMPARE_NODE_FIELD(relation);
539 COMPARE_NODE_FIELD(whereClause);
545 _equalUpdateStmt(UpdateStmt *a, UpdateStmt *b)
547 COMPARE_NODE_FIELD(relation);
548 COMPARE_NODE_FIELD(targetList);
549 COMPARE_NODE_FIELD(whereClause);
550 COMPARE_NODE_FIELD(fromClause);
556 _equalSelectStmt(SelectStmt *a, SelectStmt *b)
558 COMPARE_NODE_FIELD(distinctClause);
559 COMPARE_NODE_FIELD(into);
560 COMPARE_NODE_FIELD(intoColNames);
561 COMPARE_NODE_FIELD(targetList);
562 COMPARE_NODE_FIELD(fromClause);
563 COMPARE_NODE_FIELD(whereClause);
564 COMPARE_NODE_FIELD(groupClause);
565 COMPARE_NODE_FIELD(havingClause);
566 COMPARE_NODE_FIELD(sortClause);
567 COMPARE_STRING_FIELD(portalname);
568 COMPARE_SCALAR_FIELD(binary);
569 COMPARE_NODE_FIELD(limitOffset);
570 COMPARE_NODE_FIELD(limitCount);
571 COMPARE_NODE_FIELD(forUpdate);
572 COMPARE_SCALAR_FIELD(op);
573 COMPARE_SCALAR_FIELD(all);
574 COMPARE_NODE_FIELD(larg);
575 COMPARE_NODE_FIELD(rarg);
581 _equalSetOperationStmt(SetOperationStmt *a, SetOperationStmt *b)
583 COMPARE_SCALAR_FIELD(op);
584 COMPARE_SCALAR_FIELD(all);
585 COMPARE_NODE_FIELD(larg);
586 COMPARE_NODE_FIELD(rarg);
587 COMPARE_INTLIST_FIELD(colTypes);
593 _equalAlterTableStmt(AlterTableStmt *a, AlterTableStmt *b)
595 COMPARE_SCALAR_FIELD(subtype);
596 COMPARE_NODE_FIELD(relation);
597 COMPARE_STRING_FIELD(name);
598 COMPARE_NODE_FIELD(def);
599 COMPARE_SCALAR_FIELD(behavior);
605 _equalAlterDomainStmt(AlterDomainStmt *a, AlterDomainStmt *b)
607 COMPARE_SCALAR_FIELD(subtype);
608 COMPARE_NODE_FIELD(typename);
609 COMPARE_STRING_FIELD(name);
610 COMPARE_NODE_FIELD(def);
611 COMPARE_SCALAR_FIELD(behavior);
617 _equalGrantStmt(GrantStmt *a, GrantStmt *b)
619 COMPARE_SCALAR_FIELD(is_grant);
620 COMPARE_SCALAR_FIELD(objtype);
621 COMPARE_NODE_FIELD(objects);
622 COMPARE_INTLIST_FIELD(privileges);
623 COMPARE_NODE_FIELD(grantees);
629 _equalPrivGrantee(PrivGrantee *a, PrivGrantee *b)
631 COMPARE_STRING_FIELD(username);
632 COMPARE_STRING_FIELD(groupname);
638 _equalFuncWithArgs(FuncWithArgs *a, FuncWithArgs *b)
640 COMPARE_NODE_FIELD(funcname);
641 COMPARE_NODE_FIELD(funcargs);
647 _equalInsertDefault(InsertDefault *a, InsertDefault *b)
653 _equalClosePortalStmt(ClosePortalStmt *a, ClosePortalStmt *b)
655 COMPARE_STRING_FIELD(portalname);
661 _equalClusterStmt(ClusterStmt *a, ClusterStmt *b)
663 COMPARE_NODE_FIELD(relation);
664 COMPARE_STRING_FIELD(indexname);
670 _equalCopyStmt(CopyStmt *a, CopyStmt *b)
672 COMPARE_NODE_FIELD(relation);
673 COMPARE_NODE_FIELD(attlist);
674 COMPARE_SCALAR_FIELD(is_from);
675 COMPARE_STRING_FIELD(filename);
676 COMPARE_NODE_FIELD(options);
682 _equalCreateStmt(CreateStmt *a, CreateStmt *b)
684 COMPARE_NODE_FIELD(relation);
685 COMPARE_NODE_FIELD(tableElts);
686 COMPARE_NODE_FIELD(inhRelations);
687 COMPARE_NODE_FIELD(constraints);
688 COMPARE_SCALAR_FIELD(hasoids);
689 COMPARE_SCALAR_FIELD(oncommit);
695 _equalDefineStmt(DefineStmt *a, DefineStmt *b)
697 COMPARE_SCALAR_FIELD(defType);
698 COMPARE_NODE_FIELD(defnames);
699 COMPARE_NODE_FIELD(definition);
705 _equalDropStmt(DropStmt *a, DropStmt *b)
707 COMPARE_NODE_FIELD(objects);
708 COMPARE_SCALAR_FIELD(removeType);
709 COMPARE_SCALAR_FIELD(behavior);
715 _equalTruncateStmt(TruncateStmt *a, TruncateStmt *b)
717 COMPARE_NODE_FIELD(relation);
723 _equalCommentStmt(CommentStmt *a, CommentStmt *b)
725 COMPARE_SCALAR_FIELD(objtype);
726 COMPARE_NODE_FIELD(objname);
727 COMPARE_NODE_FIELD(objargs);
728 COMPARE_STRING_FIELD(comment);
734 _equalFetchStmt(FetchStmt *a, FetchStmt *b)
736 COMPARE_SCALAR_FIELD(direction);
737 COMPARE_SCALAR_FIELD(howMany);
738 COMPARE_STRING_FIELD(portalname);
739 COMPARE_SCALAR_FIELD(ismove);
745 _equalIndexStmt(IndexStmt *a, IndexStmt *b)
747 COMPARE_STRING_FIELD(idxname);
748 COMPARE_NODE_FIELD(relation);
749 COMPARE_STRING_FIELD(accessMethod);
750 COMPARE_NODE_FIELD(indexParams);
751 COMPARE_NODE_FIELD(whereClause);
752 COMPARE_NODE_FIELD(rangetable);
753 COMPARE_SCALAR_FIELD(unique);
754 COMPARE_SCALAR_FIELD(primary);
755 COMPARE_SCALAR_FIELD(isconstraint);
761 _equalCreateFunctionStmt(CreateFunctionStmt *a, CreateFunctionStmt *b)
763 COMPARE_SCALAR_FIELD(replace);
764 COMPARE_NODE_FIELD(funcname);
765 COMPARE_NODE_FIELD(argTypes);
766 COMPARE_NODE_FIELD(returnType);
767 COMPARE_NODE_FIELD(options);
768 COMPARE_NODE_FIELD(withClause);
774 _equalRemoveAggrStmt(RemoveAggrStmt *a, RemoveAggrStmt *b)
776 COMPARE_NODE_FIELD(aggname);
777 COMPARE_NODE_FIELD(aggtype);
778 COMPARE_SCALAR_FIELD(behavior);
784 _equalRemoveFuncStmt(RemoveFuncStmt *a, RemoveFuncStmt *b)
786 COMPARE_NODE_FIELD(funcname);
787 COMPARE_NODE_FIELD(args);
788 COMPARE_SCALAR_FIELD(behavior);
794 _equalRemoveOperStmt(RemoveOperStmt *a, RemoveOperStmt *b)
796 COMPARE_NODE_FIELD(opname);
797 COMPARE_NODE_FIELD(args);
798 COMPARE_SCALAR_FIELD(behavior);
804 _equalRemoveOpClassStmt(RemoveOpClassStmt *a, RemoveOpClassStmt *b)
806 COMPARE_NODE_FIELD(opclassname);
807 COMPARE_STRING_FIELD(amname);
808 COMPARE_SCALAR_FIELD(behavior);
814 _equalRenameStmt(RenameStmt *a, RenameStmt *b)
816 COMPARE_NODE_FIELD(relation);
817 COMPARE_STRING_FIELD(oldname);
818 COMPARE_STRING_FIELD(newname);
819 COMPARE_SCALAR_FIELD(renameType);
825 _equalRuleStmt(RuleStmt *a, RuleStmt *b)
827 COMPARE_NODE_FIELD(relation);
828 COMPARE_STRING_FIELD(rulename);
829 COMPARE_NODE_FIELD(whereClause);
830 COMPARE_SCALAR_FIELD(event);
831 COMPARE_SCALAR_FIELD(instead);
832 COMPARE_NODE_FIELD(actions);
833 COMPARE_SCALAR_FIELD(replace);
839 _equalNotifyStmt(NotifyStmt *a, NotifyStmt *b)
841 COMPARE_NODE_FIELD(relation);
847 _equalListenStmt(ListenStmt *a, ListenStmt *b)
849 COMPARE_NODE_FIELD(relation);
855 _equalUnlistenStmt(UnlistenStmt *a, UnlistenStmt *b)
857 COMPARE_NODE_FIELD(relation);
863 _equalTransactionStmt(TransactionStmt *a, TransactionStmt *b)
865 COMPARE_SCALAR_FIELD(command);
866 COMPARE_NODE_FIELD(options);
872 _equalCompositeTypeStmt(CompositeTypeStmt *a, CompositeTypeStmt *b)
874 COMPARE_NODE_FIELD(typevar);
875 COMPARE_NODE_FIELD(coldeflist);
881 _equalViewStmt(ViewStmt *a, ViewStmt *b)
883 COMPARE_NODE_FIELD(view);
884 COMPARE_NODE_FIELD(aliases);
885 COMPARE_NODE_FIELD(query);
886 COMPARE_SCALAR_FIELD(replace);
892 _equalLoadStmt(LoadStmt *a, LoadStmt *b)
894 COMPARE_STRING_FIELD(filename);
900 _equalCreateDomainStmt(CreateDomainStmt *a, CreateDomainStmt *b)
902 COMPARE_NODE_FIELD(domainname);
903 COMPARE_NODE_FIELD(typename);
904 COMPARE_NODE_FIELD(constraints);
910 _equalCreateOpClassStmt(CreateOpClassStmt *a, CreateOpClassStmt *b)
912 COMPARE_NODE_FIELD(opclassname);
913 COMPARE_STRING_FIELD(amname);
914 COMPARE_NODE_FIELD(datatype);
915 COMPARE_NODE_FIELD(items);
916 COMPARE_SCALAR_FIELD(isDefault);
922 _equalCreateOpClassItem(CreateOpClassItem *a, CreateOpClassItem *b)
924 COMPARE_SCALAR_FIELD(itemtype);
925 COMPARE_NODE_FIELD(name);
926 COMPARE_NODE_FIELD(args);
927 COMPARE_SCALAR_FIELD(number);
928 COMPARE_SCALAR_FIELD(recheck);
929 COMPARE_NODE_FIELD(storedtype);
935 _equalCreatedbStmt(CreatedbStmt *a, CreatedbStmt *b)
937 COMPARE_STRING_FIELD(dbname);
938 COMPARE_NODE_FIELD(options);
944 _equalAlterDatabaseSetStmt(AlterDatabaseSetStmt *a, AlterDatabaseSetStmt *b)
946 COMPARE_STRING_FIELD(dbname);
947 COMPARE_STRING_FIELD(variable);
948 COMPARE_NODE_FIELD(value);
954 _equalDropdbStmt(DropdbStmt *a, DropdbStmt *b)
956 COMPARE_STRING_FIELD(dbname);
962 _equalVacuumStmt(VacuumStmt *a, VacuumStmt *b)
964 COMPARE_SCALAR_FIELD(vacuum);
965 COMPARE_SCALAR_FIELD(full);
966 COMPARE_SCALAR_FIELD(analyze);
967 COMPARE_SCALAR_FIELD(freeze);
968 COMPARE_SCALAR_FIELD(verbose);
969 COMPARE_NODE_FIELD(relation);
970 COMPARE_NODE_FIELD(va_cols);
976 _equalExplainStmt(ExplainStmt *a, ExplainStmt *b)
978 COMPARE_NODE_FIELD(query);
979 COMPARE_SCALAR_FIELD(verbose);
980 COMPARE_SCALAR_FIELD(analyze);
986 _equalCreateSeqStmt(CreateSeqStmt *a, CreateSeqStmt *b)
988 COMPARE_NODE_FIELD(sequence);
989 COMPARE_NODE_FIELD(options);
995 _equalVariableSetStmt(VariableSetStmt *a, VariableSetStmt *b)
997 COMPARE_STRING_FIELD(name);
998 COMPARE_NODE_FIELD(args);
999 COMPARE_SCALAR_FIELD(is_local);
1005 _equalVariableShowStmt(VariableShowStmt *a, VariableShowStmt *b)
1007 COMPARE_STRING_FIELD(name);
1013 _equalVariableResetStmt(VariableResetStmt *a, VariableResetStmt *b)
1015 COMPARE_STRING_FIELD(name);
1021 _equalCreateTrigStmt(CreateTrigStmt *a, CreateTrigStmt *b)
1023 COMPARE_STRING_FIELD(trigname);
1024 COMPARE_NODE_FIELD(relation);
1025 COMPARE_NODE_FIELD(funcname);
1026 COMPARE_NODE_FIELD(args);
1027 COMPARE_SCALAR_FIELD(before);
1028 COMPARE_SCALAR_FIELD(row);
1029 if (strcmp(a->actions, b->actions) != 0) /* in-line string field */
1031 COMPARE_SCALAR_FIELD(isconstraint);
1032 COMPARE_SCALAR_FIELD(deferrable);
1033 COMPARE_SCALAR_FIELD(initdeferred);
1034 COMPARE_NODE_FIELD(constrrel);
1040 _equalDropPropertyStmt(DropPropertyStmt *a, DropPropertyStmt *b)
1042 COMPARE_NODE_FIELD(relation);
1043 COMPARE_STRING_FIELD(property);
1044 COMPARE_SCALAR_FIELD(removeType);
1045 COMPARE_SCALAR_FIELD(behavior);
1051 _equalCreatePLangStmt(CreatePLangStmt *a, CreatePLangStmt *b)
1053 COMPARE_STRING_FIELD(plname);
1054 COMPARE_NODE_FIELD(plhandler);
1055 COMPARE_NODE_FIELD(plvalidator);
1056 COMPARE_SCALAR_FIELD(pltrusted);
1062 _equalDropPLangStmt(DropPLangStmt *a, DropPLangStmt *b)
1064 COMPARE_STRING_FIELD(plname);
1065 COMPARE_SCALAR_FIELD(behavior);
1071 _equalCreateUserStmt(CreateUserStmt *a, CreateUserStmt *b)
1073 COMPARE_STRING_FIELD(user);
1074 COMPARE_NODE_FIELD(options);
1080 _equalAlterUserStmt(AlterUserStmt *a, AlterUserStmt *b)
1082 COMPARE_STRING_FIELD(user);
1083 COMPARE_NODE_FIELD(options);
1089 _equalAlterUserSetStmt(AlterUserSetStmt *a, AlterUserSetStmt *b)
1091 COMPARE_STRING_FIELD(user);
1092 COMPARE_STRING_FIELD(variable);
1093 COMPARE_NODE_FIELD(value);
1099 _equalDropUserStmt(DropUserStmt *a, DropUserStmt *b)
1101 COMPARE_NODE_FIELD(users);
1107 _equalLockStmt(LockStmt *a, LockStmt *b)
1109 COMPARE_NODE_FIELD(relations);
1110 COMPARE_SCALAR_FIELD(mode);
1116 _equalConstraintsSetStmt(ConstraintsSetStmt *a, ConstraintsSetStmt *b)
1118 COMPARE_NODE_FIELD(constraints);
1119 COMPARE_SCALAR_FIELD(deferred);
1125 _equalCreateGroupStmt(CreateGroupStmt *a, CreateGroupStmt *b)
1127 COMPARE_STRING_FIELD(name);
1128 COMPARE_NODE_FIELD(options);
1134 _equalAlterGroupStmt(AlterGroupStmt *a, AlterGroupStmt *b)
1136 COMPARE_STRING_FIELD(name);
1137 COMPARE_SCALAR_FIELD(action);
1138 COMPARE_NODE_FIELD(listUsers);
1144 _equalDropGroupStmt(DropGroupStmt *a, DropGroupStmt *b)
1146 COMPARE_STRING_FIELD(name);
1152 _equalReindexStmt(ReindexStmt *a, ReindexStmt *b)
1154 COMPARE_SCALAR_FIELD(reindexType);
1155 COMPARE_NODE_FIELD(relation);
1156 COMPARE_STRING_FIELD(name);
1157 COMPARE_SCALAR_FIELD(force);
1158 COMPARE_SCALAR_FIELD(all);
1164 _equalCreateSchemaStmt(CreateSchemaStmt *a, CreateSchemaStmt *b)
1166 COMPARE_STRING_FIELD(schemaname);
1167 COMPARE_STRING_FIELD(authid);
1168 COMPARE_NODE_FIELD(schemaElts);
1174 _equalCreateConversionStmt(CreateConversionStmt *a, CreateConversionStmt *b)
1176 COMPARE_NODE_FIELD(conversion_name);
1177 COMPARE_STRING_FIELD(for_encoding_name);
1178 COMPARE_STRING_FIELD(to_encoding_name);
1179 COMPARE_NODE_FIELD(func_name);
1180 COMPARE_SCALAR_FIELD(def);
1186 _equalCreateCastStmt(CreateCastStmt *a, CreateCastStmt *b)
1188 COMPARE_NODE_FIELD(sourcetype);
1189 COMPARE_NODE_FIELD(targettype);
1190 COMPARE_NODE_FIELD(func);
1191 COMPARE_SCALAR_FIELD(context);
1197 _equalDropCastStmt(DropCastStmt *a, DropCastStmt *b)
1199 COMPARE_NODE_FIELD(sourcetype);
1200 COMPARE_NODE_FIELD(targettype);
1201 COMPARE_SCALAR_FIELD(behavior);
1207 _equalPrepareStmt(PrepareStmt *a, PrepareStmt *b)
1209 COMPARE_STRING_FIELD(name);
1210 COMPARE_NODE_FIELD(argtypes);
1211 COMPARE_INTLIST_FIELD(argtype_oids);
1212 COMPARE_NODE_FIELD(query);
1218 _equalExecuteStmt(ExecuteStmt *a, ExecuteStmt *b)
1220 COMPARE_STRING_FIELD(name);
1221 COMPARE_NODE_FIELD(into);
1222 COMPARE_NODE_FIELD(params);
1228 _equalDeallocateStmt(DeallocateStmt *a, DeallocateStmt *b)
1230 COMPARE_STRING_FIELD(name);
1237 * stuff from parsenodes.h
1241 _equalAExpr(A_Expr *a, A_Expr *b)
1243 COMPARE_SCALAR_FIELD(oper);
1244 COMPARE_NODE_FIELD(name);
1245 COMPARE_NODE_FIELD(lexpr);
1246 COMPARE_NODE_FIELD(rexpr);
1252 _equalColumnRef(ColumnRef *a, ColumnRef *b)
1254 COMPARE_NODE_FIELD(fields);
1255 COMPARE_NODE_FIELD(indirection);
1261 _equalParamRef(ParamRef *a, ParamRef *b)
1263 COMPARE_SCALAR_FIELD(number);
1264 COMPARE_NODE_FIELD(fields);
1265 COMPARE_NODE_FIELD(indirection);
1271 _equalAConst(A_Const *a, A_Const *b)
1273 if (!equal(&a->val, &b->val)) /* hack for in-line Value field */
1275 COMPARE_NODE_FIELD(typename);
1281 _equalFuncCall(FuncCall *a, FuncCall *b)
1283 COMPARE_NODE_FIELD(funcname);
1284 COMPARE_NODE_FIELD(args);
1285 COMPARE_SCALAR_FIELD(agg_star);
1286 COMPARE_SCALAR_FIELD(agg_distinct);
1292 _equalAIndices(A_Indices *a, A_Indices *b)
1294 COMPARE_NODE_FIELD(lidx);
1295 COMPARE_NODE_FIELD(uidx);
1301 _equalExprFieldSelect(ExprFieldSelect *a, ExprFieldSelect *b)
1303 COMPARE_NODE_FIELD(arg);
1304 COMPARE_NODE_FIELD(fields);
1305 COMPARE_NODE_FIELD(indirection);
1311 _equalResTarget(ResTarget *a, ResTarget *b)
1313 COMPARE_STRING_FIELD(name);
1314 COMPARE_NODE_FIELD(indirection);
1315 COMPARE_NODE_FIELD(val);
1321 _equalTypeName(TypeName *a, TypeName *b)
1323 COMPARE_NODE_FIELD(names);
1324 COMPARE_SCALAR_FIELD(typeid);
1325 COMPARE_SCALAR_FIELD(timezone);
1326 COMPARE_SCALAR_FIELD(setof);
1327 COMPARE_SCALAR_FIELD(pct_type);
1328 COMPARE_SCALAR_FIELD(typmod);
1329 COMPARE_NODE_FIELD(arrayBounds);
1335 _equalTypeCast(TypeCast *a, TypeCast *b)
1337 COMPARE_NODE_FIELD(arg);
1338 COMPARE_NODE_FIELD(typename);
1344 _equalSortGroupBy(SortGroupBy *a, SortGroupBy *b)
1346 COMPARE_NODE_FIELD(useOp);
1347 COMPARE_NODE_FIELD(node);
1353 _equalRangeSubselect(RangeSubselect *a, RangeSubselect *b)
1355 COMPARE_NODE_FIELD(subquery);
1356 COMPARE_NODE_FIELD(alias);
1362 _equalRangeFunction(RangeFunction *a, RangeFunction *b)
1364 COMPARE_NODE_FIELD(funccallnode);
1365 COMPARE_NODE_FIELD(alias);
1366 COMPARE_NODE_FIELD(coldeflist);
1372 _equalIndexElem(IndexElem *a, IndexElem *b)
1374 COMPARE_STRING_FIELD(name);
1375 COMPARE_NODE_FIELD(funcname);
1376 COMPARE_NODE_FIELD(args);
1377 COMPARE_NODE_FIELD(opclass);
1383 _equalColumnDef(ColumnDef *a, ColumnDef *b)
1385 COMPARE_STRING_FIELD(colname);
1386 COMPARE_NODE_FIELD(typename);
1387 COMPARE_SCALAR_FIELD(inhcount);
1388 COMPARE_SCALAR_FIELD(is_local);
1389 COMPARE_SCALAR_FIELD(is_not_null);
1390 COMPARE_NODE_FIELD(raw_default);
1391 COMPARE_STRING_FIELD(cooked_default);
1392 COMPARE_NODE_FIELD(constraints);
1393 COMPARE_NODE_FIELD(support);
1399 _equalConstraint(Constraint *a, Constraint *b)
1401 COMPARE_SCALAR_FIELD(contype);
1402 COMPARE_STRING_FIELD(name);
1403 COMPARE_NODE_FIELD(raw_expr);
1404 COMPARE_STRING_FIELD(cooked_expr);
1405 COMPARE_NODE_FIELD(keys);
1411 _equalDefElem(DefElem *a, DefElem *b)
1413 COMPARE_STRING_FIELD(defname);
1414 COMPARE_NODE_FIELD(arg);
1420 _equalRangeTblEntry(RangeTblEntry *a, RangeTblEntry *b)
1422 COMPARE_SCALAR_FIELD(rtekind);
1423 COMPARE_SCALAR_FIELD(relid);
1424 COMPARE_NODE_FIELD(subquery);
1425 COMPARE_NODE_FIELD(funcexpr);
1426 COMPARE_NODE_FIELD(coldeflist);
1427 COMPARE_SCALAR_FIELD(jointype);
1428 COMPARE_NODE_FIELD(joinaliasvars);
1429 COMPARE_NODE_FIELD(alias);
1430 COMPARE_NODE_FIELD(eref);
1431 COMPARE_SCALAR_FIELD(inh);
1432 COMPARE_SCALAR_FIELD(inFromCl);
1433 COMPARE_SCALAR_FIELD(checkForRead);
1434 COMPARE_SCALAR_FIELD(checkForWrite);
1435 COMPARE_SCALAR_FIELD(checkAsUser);
1441 _equalSortClause(SortClause *a, SortClause *b)
1443 COMPARE_SCALAR_FIELD(tleSortGroupRef);
1444 COMPARE_SCALAR_FIELD(sortop);
1450 _equalFkConstraint(FkConstraint *a, FkConstraint *b)
1452 COMPARE_STRING_FIELD(constr_name);
1453 COMPARE_NODE_FIELD(pktable);
1454 COMPARE_NODE_FIELD(fk_attrs);
1455 COMPARE_NODE_FIELD(pk_attrs);
1456 COMPARE_SCALAR_FIELD(fk_matchtype);
1457 COMPARE_SCALAR_FIELD(fk_upd_action);
1458 COMPARE_SCALAR_FIELD(fk_del_action);
1459 COMPARE_SCALAR_FIELD(deferrable);
1460 COMPARE_SCALAR_FIELD(initdeferred);
1461 COMPARE_SCALAR_FIELD(skip_validation);
1468 * Stuff from pg_list.h
1472 _equalValue(Value *a, Value *b)
1474 COMPARE_SCALAR_FIELD(type);
1479 COMPARE_SCALAR_FIELD(val.ival);
1484 COMPARE_STRING_FIELD(val.str);
1490 elog(ERROR, "_equalValue: unknown node type %d", a->type);
1499 * returns whether two nodes are equal
1502 equal(void *a, void *b)
1504 bool retval = false;
1510 * note that a!=b, so only one of them can be NULL
1512 if (a == NULL || b == NULL)
1516 * are they the same type of nodes?
1518 if (nodeTag(a) != nodeTag(b))
1527 retval = _equalResdom(a, b);
1530 retval = _equalAlias(a, b);
1533 retval = _equalRangeVar(a, b);
1536 retval = _equalVar(a, b);
1539 retval = _equalConst(a, b);
1542 retval = _equalParam(a, b);
1545 retval = _equalAggref(a, b);
1548 retval = _equalArrayRef(a, b);
1551 retval = _equalFuncExpr(a, b);
1554 retval = _equalOpExpr(a, b);
1556 case T_DistinctExpr:
1557 retval = _equalDistinctExpr(a, b);
1560 retval = _equalBoolExpr(a, b);
1563 retval = _equalSubLink(a, b);
1566 retval = _equalSubPlan(a, b);
1569 retval = _equalFieldSelect(a, b);
1572 retval = _equalRelabelType(a, b);
1575 retval = _equalCaseExpr(a, b);
1578 retval = _equalCaseWhen(a, b);
1581 retval = _equalNullTest(a, b);
1584 retval = _equalBooleanTest(a, b);
1586 case T_ConstraintTest:
1587 retval = _equalConstraintTest(a, b);
1589 case T_ConstraintTestValue:
1590 retval = _equalConstraintTestValue(a, b);
1593 retval = _equalTargetEntry(a, b);
1596 retval = _equalRangeTblRef(a, b);
1599 retval = _equalFromExpr(a, b);
1602 retval = _equalJoinExpr(a, b);
1609 retval = _equalPathKeyItem(a, b);
1611 case T_RestrictInfo:
1612 retval = _equalRestrictInfo(a, b);
1615 retval = _equalJoinInfo(a, b);
1623 List *la = (List *) a;
1624 List *lb = (List *) b;
1628 * Try to reject by length check before we grovel through
1629 * all the elements...
1631 if (length(la) != length(lb))
1635 if (!equal(lfirst(l), lfirst(lb)))
1648 retval = _equalValue(a, b);
1655 retval = _equalQuery(a, b);
1658 retval = _equalInsertStmt(a, b);
1661 retval = _equalDeleteStmt(a, b);
1664 retval = _equalUpdateStmt(a, b);
1667 retval = _equalSelectStmt(a, b);
1669 case T_SetOperationStmt:
1670 retval = _equalSetOperationStmt(a, b);
1672 case T_AlterTableStmt:
1673 retval = _equalAlterTableStmt(a, b);
1675 case T_AlterDomainStmt:
1676 retval = _equalAlterDomainStmt(a, b);
1679 retval = _equalGrantStmt(a, b);
1681 case T_ClosePortalStmt:
1682 retval = _equalClosePortalStmt(a, b);
1685 retval = _equalClusterStmt(a, b);
1688 retval = _equalCopyStmt(a, b);
1691 retval = _equalCreateStmt(a, b);
1694 retval = _equalDefineStmt(a, b);
1697 retval = _equalDropStmt(a, b);
1699 case T_TruncateStmt:
1700 retval = _equalTruncateStmt(a, b);
1703 retval = _equalCommentStmt(a, b);
1706 retval = _equalFetchStmt(a, b);
1709 retval = _equalIndexStmt(a, b);
1711 case T_CreateFunctionStmt:
1712 retval = _equalCreateFunctionStmt(a, b);
1714 case T_RemoveAggrStmt:
1715 retval = _equalRemoveAggrStmt(a, b);
1717 case T_RemoveFuncStmt:
1718 retval = _equalRemoveFuncStmt(a, b);
1720 case T_RemoveOperStmt:
1721 retval = _equalRemoveOperStmt(a, b);
1723 case T_RemoveOpClassStmt:
1724 retval = _equalRemoveOpClassStmt(a, b);
1727 retval = _equalRenameStmt(a, b);
1730 retval = _equalRuleStmt(a, b);
1733 retval = _equalNotifyStmt(a, b);
1736 retval = _equalListenStmt(a, b);
1738 case T_UnlistenStmt:
1739 retval = _equalUnlistenStmt(a, b);
1741 case T_TransactionStmt:
1742 retval = _equalTransactionStmt(a, b);
1744 case T_CompositeTypeStmt:
1745 retval = _equalCompositeTypeStmt(a, b);
1748 retval = _equalViewStmt(a, b);
1751 retval = _equalLoadStmt(a, b);
1753 case T_CreateDomainStmt:
1754 retval = _equalCreateDomainStmt(a, b);
1756 case T_CreateOpClassStmt:
1757 retval = _equalCreateOpClassStmt(a, b);
1759 case T_CreateOpClassItem:
1760 retval = _equalCreateOpClassItem(a, b);
1762 case T_CreatedbStmt:
1763 retval = _equalCreatedbStmt(a, b);
1765 case T_AlterDatabaseSetStmt:
1766 retval = _equalAlterDatabaseSetStmt(a, b);
1769 retval = _equalDropdbStmt(a, b);
1772 retval = _equalVacuumStmt(a, b);
1775 retval = _equalExplainStmt(a, b);
1777 case T_CreateSeqStmt:
1778 retval = _equalCreateSeqStmt(a, b);
1780 case T_VariableSetStmt:
1781 retval = _equalVariableSetStmt(a, b);
1783 case T_VariableShowStmt:
1784 retval = _equalVariableShowStmt(a, b);
1786 case T_VariableResetStmt:
1787 retval = _equalVariableResetStmt(a, b);
1789 case T_CreateTrigStmt:
1790 retval = _equalCreateTrigStmt(a, b);
1792 case T_DropPropertyStmt:
1793 retval = _equalDropPropertyStmt(a, b);
1795 case T_CreatePLangStmt:
1796 retval = _equalCreatePLangStmt(a, b);
1798 case T_DropPLangStmt:
1799 retval = _equalDropPLangStmt(a, b);
1801 case T_CreateUserStmt:
1802 retval = _equalCreateUserStmt(a, b);
1804 case T_AlterUserStmt:
1805 retval = _equalAlterUserStmt(a, b);
1807 case T_AlterUserSetStmt:
1808 retval = _equalAlterUserSetStmt(a, b);
1810 case T_DropUserStmt:
1811 retval = _equalDropUserStmt(a, b);
1814 retval = _equalLockStmt(a, b);
1816 case T_ConstraintsSetStmt:
1817 retval = _equalConstraintsSetStmt(a, b);
1819 case T_CreateGroupStmt:
1820 retval = _equalCreateGroupStmt(a, b);
1822 case T_AlterGroupStmt:
1823 retval = _equalAlterGroupStmt(a, b);
1825 case T_DropGroupStmt:
1826 retval = _equalDropGroupStmt(a, b);
1829 retval = _equalReindexStmt(a, b);
1831 case T_CheckPointStmt:
1834 case T_CreateSchemaStmt:
1835 retval = _equalCreateSchemaStmt(a, b);
1837 case T_CreateConversionStmt:
1838 retval = _equalCreateConversionStmt(a, b);
1840 case T_CreateCastStmt:
1841 retval = _equalCreateCastStmt(a, b);
1843 case T_DropCastStmt:
1844 retval = _equalDropCastStmt(a, b);
1847 retval = _equalPrepareStmt(a, b);
1850 retval = _equalExecuteStmt(a, b);
1852 case T_DeallocateStmt:
1853 retval = _equalDeallocateStmt(a, b);
1857 retval = _equalAExpr(a, b);
1860 retval = _equalColumnRef(a, b);
1863 retval = _equalParamRef(a, b);
1866 retval = _equalAConst(a, b);
1869 retval = _equalFuncCall(a, b);
1872 retval = _equalAIndices(a, b);
1874 case T_ExprFieldSelect:
1875 retval = _equalExprFieldSelect(a, b);
1878 retval = _equalResTarget(a, b);
1881 retval = _equalTypeCast(a, b);
1884 retval = _equalSortGroupBy(a, b);
1886 case T_RangeSubselect:
1887 retval = _equalRangeSubselect(a, b);
1889 case T_RangeFunction:
1890 retval = _equalRangeFunction(a, b);
1893 retval = _equalTypeName(a, b);
1896 retval = _equalIndexElem(a, b);
1899 retval = _equalColumnDef(a, b);
1902 retval = _equalConstraint(a, b);
1905 retval = _equalDefElem(a, b);
1907 case T_RangeTblEntry:
1908 retval = _equalRangeTblEntry(a, b);
1911 retval = _equalSortClause(a, b);
1914 /* GroupClause is equivalent to SortClause */
1915 retval = _equalSortClause(a, b);
1917 case T_FkConstraint:
1918 retval = _equalFkConstraint(a, b);
1921 retval = _equalPrivGrantee(a, b);
1923 case T_FuncWithArgs:
1924 retval = _equalFuncWithArgs(a, b);
1926 case T_InsertDefault:
1927 retval = _equalInsertDefault(a, b);
1931 elog(WARNING, "equal: don't know whether nodes of type %d are equal",