1 /*-------------------------------------------------------------------------
2  *
3  * executor.h
4  *	  support for the POSTGRES executor module
5  *
6  *
7  * Portions Copyright (c) 1996-2017, PostgreSQL Global Development Group
8  * Portions Copyright (c) 1994, Regents of the University of California
9  *
10  * src/include/executor/executor.h
11  *
12  *-------------------------------------------------------------------------
13  */
14 #ifndef EXECUTOR_H
15 #define EXECUTOR_H
16 
17 #include "catalog/partition.h"
18 #include "executor/execdesc.h"
19 #include "nodes/parsenodes.h"
20 
21 
22 /*
23  * The "eflags" argument to ExecutorStart and the various ExecInitNode
24  * routines is a bitwise OR of the following flag bits, which tell the
25  * called plan node what to expect.  Note that the flags will get modified
26  * as they are passed down the plan tree, since an upper node may require
27  * functionality in its subnode not demanded of the plan as a whole
28  * (example: MergeJoin requires mark/restore capability in its inner input),
29  * or an upper node may shield its input from some functionality requirement
30  * (example: Materialize shields its input from needing to do backward scan).
31  *
32  * EXPLAIN_ONLY indicates that the plan tree is being initialized just so
33  * EXPLAIN can print it out; it will not be run.  Hence, no side-effects
34  * of startup should occur.  However, error checks (such as permission checks)
35  * should be performed.
36  *
37  * REWIND indicates that the plan node should try to efficiently support
38  * rescans without parameter changes.  (Nodes must support ExecReScan calls
39  * in any case, but if this flag was not given, they are at liberty to do it
40  * through complete recalculation.  Note that a parameter change forces a
41  * full recalculation in any case.)
42  *
43  * BACKWARD indicates that the plan node must respect the es_direction flag.
44  * When this is not passed, the plan node will only be run forwards.
45  *
46  * MARK indicates that the plan node must support Mark/Restore calls.
47  * When this is not passed, no Mark/Restore will occur.
48  *
49  * SKIP_TRIGGERS tells ExecutorStart/ExecutorFinish to skip calling
50  * AfterTriggerBeginQuery/AfterTriggerEndQuery.  This does not necessarily
51  * mean that the plan can't queue any AFTER triggers; just that the caller
52  * is responsible for there being a trigger context for them to be queued in.
53  *
54  * WITH/WITHOUT_OIDS tell the executor to emit tuples with or without space
55  * for OIDs, respectively.  These are currently used only for CREATE TABLE AS.
56  * If neither is set, the plan may or may not produce tuples including OIDs.
57  */
58 #define EXEC_FLAG_EXPLAIN_ONLY	0x0001	/* EXPLAIN, no ANALYZE */
59 #define EXEC_FLAG_REWIND		0x0002	/* need efficient rescan */
60 #define EXEC_FLAG_BACKWARD		0x0004	/* need backward scan */
61 #define EXEC_FLAG_MARK			0x0008	/* need mark/restore */
62 #define EXEC_FLAG_SKIP_TRIGGERS 0x0010	/* skip AfterTrigger calls */
63 #define EXEC_FLAG_WITH_OIDS		0x0020	/* force OIDs in returned tuples */
64 #define EXEC_FLAG_WITHOUT_OIDS	0x0040	/* force no OIDs in returned tuples */
65 #define EXEC_FLAG_WITH_NO_DATA	0x0080	/* rel scannability doesn't matter */
66 
67 
68 /* Hook for plugins to get control in ExecutorStart() */
69 typedef void (*ExecutorStart_hook_type) (QueryDesc *queryDesc, int eflags);
70 extern PGDLLIMPORT ExecutorStart_hook_type ExecutorStart_hook;
71 
72 /* Hook for plugins to get control in ExecutorRun() */
73 typedef void (*ExecutorRun_hook_type) (QueryDesc *queryDesc,
74 									   ScanDirection direction,
75 									   uint64 count,
76 									   bool execute_once);
77 extern PGDLLIMPORT ExecutorRun_hook_type ExecutorRun_hook;
78 
79 /* Hook for plugins to get control in ExecutorFinish() */
80 typedef void (*ExecutorFinish_hook_type) (QueryDesc *queryDesc);
81 extern PGDLLIMPORT ExecutorFinish_hook_type ExecutorFinish_hook;
82 
83 /* Hook for plugins to get control in ExecutorEnd() */
84 typedef void (*ExecutorEnd_hook_type) (QueryDesc *queryDesc);
85 extern PGDLLIMPORT ExecutorEnd_hook_type ExecutorEnd_hook;
86 
87 /* Hook for plugins to get control in ExecCheckRTPerms() */
88 typedef bool (*ExecutorCheckPerms_hook_type) (List *, bool);
89 extern PGDLLIMPORT ExecutorCheckPerms_hook_type ExecutorCheckPerms_hook;
90 
91 
92 /*
93  * prototypes from functions in execAmi.c
94  */
95 struct Path;					/* avoid including relation.h here */
96 
97 extern void ExecReScan(PlanState *node);
98 extern void ExecMarkPos(PlanState *node);
99 extern void ExecRestrPos(PlanState *node);
100 extern bool ExecSupportsMarkRestore(struct Path *pathnode);
101 extern bool ExecSupportsBackwardScan(Plan *node);
102 extern bool ExecMaterializesOutput(NodeTag plantype);
103 
104 /*
105  * prototypes from functions in execCurrent.c
106  */
107 extern bool execCurrentOf(CurrentOfExpr *cexpr,
108 			  ExprContext *econtext,
109 			  Oid table_oid,
110 			  ItemPointer current_tid);
111 
112 /*
113  * prototypes from functions in execGrouping.c
114  */
115 extern bool execTuplesMatch(TupleTableSlot *slot1,
116 				TupleTableSlot *slot2,
117 				int numCols,
118 				AttrNumber *matchColIdx,
119 				FmgrInfo *eqfunctions,
120 				MemoryContext evalContext);
121 extern bool execTuplesUnequal(TupleTableSlot *slot1,
122 				  TupleTableSlot *slot2,
123 				  int numCols,
124 				  AttrNumber *matchColIdx,
125 				  FmgrInfo *eqfunctions,
126 				  MemoryContext evalContext);
127 extern FmgrInfo *execTuplesMatchPrepare(int numCols,
128 					   Oid *eqOperators);
129 extern void execTuplesHashPrepare(int numCols,
130 					  Oid *eqOperators,
131 					  FmgrInfo **eqFunctions,
132 					  FmgrInfo **hashFunctions);
133 extern TupleHashTable BuildTupleHashTable(int numCols, AttrNumber *keyColIdx,
134 					FmgrInfo *eqfunctions,
135 					FmgrInfo *hashfunctions,
136 					long nbuckets, Size additionalsize,
137 					MemoryContext tablecxt,
138 					MemoryContext tempcxt, bool use_variable_hash_iv);
139 extern TupleHashEntry LookupTupleHashEntry(TupleHashTable hashtable,
140 					 TupleTableSlot *slot,
141 					 bool *isnew);
142 extern TupleHashEntry FindTupleHashEntry(TupleHashTable hashtable,
143 				   TupleTableSlot *slot,
144 				   FmgrInfo *eqfunctions,
145 				   FmgrInfo *hashfunctions);
146 
147 /*
148  * prototypes from functions in execJunk.c
149  */
150 extern JunkFilter *ExecInitJunkFilter(List *targetList, bool hasoid,
151 				   TupleTableSlot *slot);
152 extern JunkFilter *ExecInitJunkFilterConversion(List *targetList,
153 							 TupleDesc cleanTupType,
154 							 TupleTableSlot *slot);
155 extern AttrNumber ExecFindJunkAttribute(JunkFilter *junkfilter,
156 					  const char *attrName);
157 extern AttrNumber ExecFindJunkAttributeInTlist(List *targetlist,
158 							 const char *attrName);
159 extern Datum ExecGetJunkAttribute(TupleTableSlot *slot, AttrNumber attno,
160 					 bool *isNull);
161 extern TupleTableSlot *ExecFilterJunk(JunkFilter *junkfilter,
162 			   TupleTableSlot *slot);
163 
164 
165 /*
166  * prototypes from functions in execMain.c
167  */
168 extern void ExecutorStart(QueryDesc *queryDesc, int eflags);
169 extern void standard_ExecutorStart(QueryDesc *queryDesc, int eflags);
170 extern void ExecutorRun(QueryDesc *queryDesc,
171 			ScanDirection direction, uint64 count, bool execute_once);
172 extern void standard_ExecutorRun(QueryDesc *queryDesc,
173 					 ScanDirection direction, uint64 count, bool execute_once);
174 extern void ExecutorFinish(QueryDesc *queryDesc);
175 extern void standard_ExecutorFinish(QueryDesc *queryDesc);
176 extern void ExecutorEnd(QueryDesc *queryDesc);
177 extern void standard_ExecutorEnd(QueryDesc *queryDesc);
178 extern void ExecutorRewind(QueryDesc *queryDesc);
179 extern bool ExecCheckRTPerms(List *rangeTable, bool ereport_on_violation);
180 extern void CheckValidResultRel(ResultRelInfo *resultRelInfo, CmdType operation);
181 extern void InitResultRelInfo(ResultRelInfo *resultRelInfo,
182 				  Relation resultRelationDesc,
183 				  Index resultRelationIndex,
184 				  Relation partition_root,
185 				  int instrument_options);
186 extern ResultRelInfo *ExecGetTriggerResultRel(EState *estate, Oid relid);
187 extern void ExecCleanUpTriggerState(EState *estate);
188 extern bool ExecContextForcesOids(PlanState *planstate, bool *hasoids);
189 extern void ExecConstraints(ResultRelInfo *resultRelInfo,
190 				TupleTableSlot *slot, EState *estate);
191 extern void ExecWithCheckOptions(WCOKind kind, ResultRelInfo *resultRelInfo,
192 					 TupleTableSlot *slot, EState *estate);
193 extern LockTupleMode ExecUpdateLockMode(EState *estate, ResultRelInfo *relinfo);
194 extern ExecRowMark *ExecFindRowMark(EState *estate, Index rti, bool missing_ok);
195 extern ExecAuxRowMark *ExecBuildAuxRowMark(ExecRowMark *erm, List *targetlist);
196 extern TupleTableSlot *EvalPlanQual(EState *estate, EPQState *epqstate,
197 			 Relation relation, Index rti, int lockmode,
198 			 ItemPointer tid, TransactionId priorXmax);
199 extern HeapTuple EvalPlanQualFetch(EState *estate, Relation relation,
200 				  int lockmode, LockWaitPolicy wait_policy, ItemPointer tid,
201 				  TransactionId priorXmax);
202 extern void EvalPlanQualInit(EPQState *epqstate, EState *estate,
203 				 Plan *subplan, List *auxrowmarks, int epqParam);
204 extern void EvalPlanQualSetPlan(EPQState *epqstate,
205 					Plan *subplan, List *auxrowmarks);
206 extern void EvalPlanQualSetTuple(EPQState *epqstate, Index rti,
207 					 HeapTuple tuple);
208 extern HeapTuple EvalPlanQualGetTuple(EPQState *epqstate, Index rti);
209 extern void ExecSetupPartitionTupleRouting(Relation rel,
210 							   Index resultRTindex,
211 							   EState *estate,
212 							   PartitionDispatch **pd,
213 							   ResultRelInfo **partitions,
214 							   TupleConversionMap ***tup_conv_maps,
215 							   TupleTableSlot **partition_tuple_slot,
216 							   int *num_parted, int *num_partitions);
217 extern int ExecFindPartition(ResultRelInfo *resultRelInfo,
218 				  PartitionDispatch *pd,
219 				  TupleTableSlot *slot,
220 				  EState *estate);
221 
222 #define EvalPlanQualSetSlot(epqstate, slot)  ((epqstate)->origslot = (slot))
223 extern void EvalPlanQualFetchRowMarks(EPQState *epqstate);
224 extern TupleTableSlot *EvalPlanQualNext(EPQState *epqstate);
225 extern void EvalPlanQualBegin(EPQState *epqstate, EState *parentestate);
226 extern void EvalPlanQualEnd(EPQState *epqstate);
227 
228 /*
229  * functions in execProcnode.c
230  */
231 extern PlanState *ExecInitNode(Plan *node, EState *estate, int eflags);
232 extern Node *MultiExecProcNode(PlanState *node);
233 extern void ExecEndNode(PlanState *node);
234 extern bool ExecShutdownNode(PlanState *node);
235 
236 
237 /* ----------------------------------------------------------------
238  *		ExecProcNode
239  *
240  *		Execute the given node to return a(nother) tuple.
241  * ----------------------------------------------------------------
242  */
243 #ifndef FRONTEND
244 static inline TupleTableSlot *
ExecProcNode(PlanState * node)245 ExecProcNode(PlanState *node)
246 {
247 	if (node->chgParam != NULL) /* something changed? */
248 		ExecReScan(node);		/* let ReScan handle this */
249 
250 	return node->ExecProcNode(node);
251 }
252 #endif
253 
254 /*
255  * prototypes from functions in execExpr.c
256  */
257 extern ExprState *ExecInitExpr(Expr *node, PlanState *parent);
258 extern ExprState *ExecInitQual(List *qual, PlanState *parent);
259 extern ExprState *ExecInitCheck(List *qual, PlanState *parent);
260 extern List *ExecInitExprList(List *nodes, PlanState *parent);
261 extern ProjectionInfo *ExecBuildProjectionInfo(List *targetList,
262 						ExprContext *econtext,
263 						TupleTableSlot *slot,
264 						PlanState *parent,
265 						TupleDesc inputDesc);
266 extern ExprState *ExecPrepareExpr(Expr *node, EState *estate);
267 extern ExprState *ExecPrepareQual(List *qual, EState *estate);
268 extern ExprState *ExecPrepareCheck(List *qual, EState *estate);
269 extern List *ExecPrepareExprList(List *nodes, EState *estate);
270 
271 /*
272  * ExecEvalExpr
273  *
274  * Evaluate expression identified by "state" in the execution context
275  * given by "econtext".  *isNull is set to the is-null flag for the result,
276  * and the Datum value is the function result.
277  *
278  * The caller should already have switched into the temporary memory
279  * context econtext->ecxt_per_tuple_memory.  The convenience entry point
280  * ExecEvalExprSwitchContext() is provided for callers who don't prefer to
281  * do the switch in an outer loop.
282  */
283 #ifndef FRONTEND
284 static inline Datum
ExecEvalExpr(ExprState * state,ExprContext * econtext,bool * isNull)285 ExecEvalExpr(ExprState *state,
286 			 ExprContext *econtext,
287 			 bool *isNull)
288 {
289 	return (*state->evalfunc) (state, econtext, isNull);
290 }
291 #endif
292 
293 /*
294  * ExecEvalExprSwitchContext
295  *
296  * Same as ExecEvalExpr, but get into the right allocation context explicitly.
297  */
298 #ifndef FRONTEND
299 static inline Datum
ExecEvalExprSwitchContext(ExprState * state,ExprContext * econtext,bool * isNull)300 ExecEvalExprSwitchContext(ExprState *state,
301 						  ExprContext *econtext,
302 						  bool *isNull)
303 {
304 	Datum		retDatum;
305 	MemoryContext oldContext;
306 
307 	oldContext = MemoryContextSwitchTo(econtext->ecxt_per_tuple_memory);
308 	retDatum = (*state->evalfunc) (state, econtext, isNull);
309 	MemoryContextSwitchTo(oldContext);
310 	return retDatum;
311 }
312 #endif
313 
314 /*
315  * ExecProject
316  *
317  * Projects a tuple based on projection info and stores it in the slot passed
318  * to ExecBuildProjectInfo().
319  *
320  * Note: the result is always a virtual tuple; therefore it may reference
321  * the contents of the exprContext's scan tuples and/or temporary results
322  * constructed in the exprContext.  If the caller wishes the result to be
323  * valid longer than that data will be valid, he must call ExecMaterializeSlot
324  * on the result slot.
325  */
326 #ifndef FRONTEND
327 static inline TupleTableSlot *
ExecProject(ProjectionInfo * projInfo)328 ExecProject(ProjectionInfo *projInfo)
329 {
330 	ExprContext *econtext = projInfo->pi_exprContext;
331 	ExprState  *state = &projInfo->pi_state;
332 	TupleTableSlot *slot = state->resultslot;
333 	bool		isnull;
334 
335 	/*
336 	 * Clear any former contents of the result slot.  This makes it safe for
337 	 * us to use the slot's Datum/isnull arrays as workspace.
338 	 */
339 	ExecClearTuple(slot);
340 
341 	/* Run the expression, discarding scalar result from the last column. */
342 	(void) ExecEvalExprSwitchContext(state, econtext, &isnull);
343 
344 	/*
345 	 * Successfully formed a result row.  Mark the result slot as containing a
346 	 * valid virtual tuple (inlined version of ExecStoreVirtualTuple()).
347 	 */
348 	slot->tts_isempty = false;
349 	slot->tts_nvalid = slot->tts_tupleDescriptor->natts;
350 
351 	return slot;
352 }
353 #endif
354 
355 /*
356  * ExecQual - evaluate a qual prepared with ExecInitQual (possibly via
357  * ExecPrepareQual).  Returns true if qual is satisfied, else false.
358  *
359  * Note: ExecQual used to have a third argument "resultForNull".  The
360  * behavior of this function now corresponds to resultForNull == false.
361  * If you want the resultForNull == true behavior, see ExecCheck.
362  */
363 #ifndef FRONTEND
364 static inline bool
ExecQual(ExprState * state,ExprContext * econtext)365 ExecQual(ExprState *state, ExprContext *econtext)
366 {
367 	Datum		ret;
368 	bool		isnull;
369 
370 	/* short-circuit (here and in ExecInitQual) for empty restriction list */
371 	if (state == NULL)
372 		return true;
373 
374 	/* verify that expression was compiled using ExecInitQual */
375 	Assert(state->flags & EEO_FLAG_IS_QUAL);
376 
377 	ret = ExecEvalExprSwitchContext(state, econtext, &isnull);
378 
379 	/* EEOP_QUAL should never return NULL */
380 	Assert(!isnull);
381 
382 	return DatumGetBool(ret);
383 }
384 #endif
385 
386 extern bool ExecCheck(ExprState *state, ExprContext *context);
387 
388 /*
389  * prototypes from functions in execSRF.c
390  */
391 extern SetExprState *ExecInitTableFunctionResult(Expr *expr,
392 							ExprContext *econtext, PlanState *parent);
393 extern Tuplestorestate *ExecMakeTableFunctionResult(SetExprState *setexpr,
394 							ExprContext *econtext,
395 							MemoryContext argContext,
396 							TupleDesc expectedDesc,
397 							bool randomAccess);
398 extern SetExprState *ExecInitFunctionResultSet(Expr *expr,
399 						  ExprContext *econtext, PlanState *parent);
400 extern Datum ExecMakeFunctionResultSet(SetExprState *fcache,
401 						  ExprContext *econtext,
402 						  bool *isNull,
403 						  ExprDoneCond *isDone);
404 
405 /*
406  * prototypes from functions in execScan.c
407  */
408 typedef TupleTableSlot *(*ExecScanAccessMtd) (ScanState *node);
409 typedef bool (*ExecScanRecheckMtd) (ScanState *node, TupleTableSlot *slot);
410 
411 extern TupleTableSlot *ExecScan(ScanState *node, ExecScanAccessMtd accessMtd,
412 		 ExecScanRecheckMtd recheckMtd);
413 extern void ExecAssignScanProjectionInfo(ScanState *node);
414 extern void ExecAssignScanProjectionInfoWithVarno(ScanState *node, Index varno);
415 extern void ExecScanReScan(ScanState *node);
416 
417 /*
418  * prototypes from functions in execTuples.c
419  */
420 extern void ExecInitResultTupleSlot(EState *estate, PlanState *planstate);
421 extern void ExecInitScanTupleSlot(EState *estate, ScanState *scanstate);
422 extern TupleTableSlot *ExecInitExtraTupleSlot(EState *estate);
423 extern TupleTableSlot *ExecInitNullTupleSlot(EState *estate,
424 					  TupleDesc tupType);
425 extern TupleDesc ExecTypeFromTL(List *targetList, bool hasoid);
426 extern TupleDesc ExecCleanTypeFromTL(List *targetList, bool hasoid);
427 extern TupleDesc ExecTypeFromExprList(List *exprList);
428 extern void ExecTypeSetColNames(TupleDesc typeInfo, List *namesList);
429 extern void UpdateChangedParamSet(PlanState *node, Bitmapset *newchg);
430 
431 typedef struct TupOutputState
432 {
433 	TupleTableSlot *slot;
434 	DestReceiver *dest;
435 } TupOutputState;
436 
437 extern TupOutputState *begin_tup_output_tupdesc(DestReceiver *dest,
438 						 TupleDesc tupdesc);
439 extern void do_tup_output(TupOutputState *tstate, Datum *values, bool *isnull);
440 extern void do_text_output_multiline(TupOutputState *tstate, const char *txt);
441 extern void end_tup_output(TupOutputState *tstate);
442 
443 /*
444  * Write a single line of text given as a C string.
445  *
446  * Should only be used with a single-TEXT-attribute tupdesc.
447  */
448 #define do_text_output_oneline(tstate, str_to_emit) \
449 	do { \
450 		Datum	values_[1]; \
451 		bool	isnull_[1]; \
452 		values_[0] = PointerGetDatum(cstring_to_text(str_to_emit)); \
453 		isnull_[0] = false; \
454 		do_tup_output(tstate, values_, isnull_); \
455 		pfree(DatumGetPointer(values_[0])); \
456 	} while (0)
457 
458 
459 /*
460  * prototypes from functions in execUtils.c
461  */
462 extern EState *CreateExecutorState(void);
463 extern void FreeExecutorState(EState *estate);
464 extern ExprContext *CreateExprContext(EState *estate);
465 extern ExprContext *CreateStandaloneExprContext(void);
466 extern void FreeExprContext(ExprContext *econtext, bool isCommit);
467 extern void ReScanExprContext(ExprContext *econtext);
468 
469 #define ResetExprContext(econtext) \
470 	MemoryContextReset((econtext)->ecxt_per_tuple_memory)
471 
472 extern ExprContext *MakePerTupleExprContext(EState *estate);
473 
474 /* Get an EState's per-output-tuple exprcontext, making it if first use */
475 #define GetPerTupleExprContext(estate) \
476 	((estate)->es_per_tuple_exprcontext ? \
477 	 (estate)->es_per_tuple_exprcontext : \
478 	 MakePerTupleExprContext(estate))
479 
480 #define GetPerTupleMemoryContext(estate) \
481 	(GetPerTupleExprContext(estate)->ecxt_per_tuple_memory)
482 
483 /* Reset an EState's per-output-tuple exprcontext, if one's been created */
484 #define ResetPerTupleExprContext(estate) \
485 	do { \
486 		if ((estate)->es_per_tuple_exprcontext) \
487 			ResetExprContext((estate)->es_per_tuple_exprcontext); \
488 	} while (0)
489 
490 extern void ExecAssignExprContext(EState *estate, PlanState *planstate);
491 extern void ExecAssignResultType(PlanState *planstate, TupleDesc tupDesc);
492 extern void ExecAssignResultTypeFromTL(PlanState *planstate);
493 extern TupleDesc ExecGetResultType(PlanState *planstate);
494 extern void ExecAssignProjectionInfo(PlanState *planstate,
495 						 TupleDesc inputDesc);
496 extern void ExecFreeExprContext(PlanState *planstate);
497 extern void ExecAssignScanType(ScanState *scanstate, TupleDesc tupDesc);
498 extern void ExecAssignScanTypeFromOuterPlan(ScanState *scanstate);
499 
500 extern bool ExecRelationIsTargetRelation(EState *estate, Index scanrelid);
501 
502 extern Relation ExecOpenScanRelation(EState *estate, Index scanrelid, int eflags);
503 extern void ExecCloseScanRelation(Relation scanrel);
504 
505 extern int	executor_errposition(EState *estate, int location);
506 
507 extern void RegisterExprContextCallback(ExprContext *econtext,
508 							ExprContextCallbackFunction function,
509 							Datum arg);
510 extern void UnregisterExprContextCallback(ExprContext *econtext,
511 							  ExprContextCallbackFunction function,
512 							  Datum arg);
513 
514 extern void ExecLockNonLeafAppendTables(List *partitioned_rels, EState *estate);
515 
516 extern Datum GetAttributeByName(HeapTupleHeader tuple, const char *attname,
517 				   bool *isNull);
518 extern Datum GetAttributeByNum(HeapTupleHeader tuple, AttrNumber attrno,
519 				  bool *isNull);
520 
521 extern int	ExecTargetListLength(List *targetlist);
522 extern int	ExecCleanTargetListLength(List *targetlist);
523 
524 /*
525  * prototypes from functions in execIndexing.c
526  */
527 extern void ExecOpenIndices(ResultRelInfo *resultRelInfo, bool speculative);
528 extern void ExecCloseIndices(ResultRelInfo *resultRelInfo);
529 extern List *ExecInsertIndexTuples(TupleTableSlot *slot, ItemPointer tupleid,
530 					  EState *estate, bool noDupErr, bool *specConflict,
531 					  List *arbiterIndexes);
532 extern bool ExecCheckIndexConstraints(TupleTableSlot *slot, EState *estate,
533 						  ItemPointer conflictTid, List *arbiterIndexes);
534 extern void check_exclusion_constraint(Relation heap, Relation index,
535 						   IndexInfo *indexInfo,
536 						   ItemPointer tupleid,
537 						   Datum *values, bool *isnull,
538 						   EState *estate, bool newIndex);
539 
540 /*
541  * prototypes from functions in execReplication.c
542  */
543 extern bool RelationFindReplTupleByIndex(Relation rel, Oid idxoid,
544 							 LockTupleMode lockmode,
545 							 TupleTableSlot *searchslot,
546 							 TupleTableSlot *outslot);
547 extern bool RelationFindReplTupleSeq(Relation rel, LockTupleMode lockmode,
548 						 TupleTableSlot *searchslot, TupleTableSlot *outslot);
549 
550 extern void ExecSimpleRelationInsert(EState *estate, TupleTableSlot *slot);
551 extern void ExecSimpleRelationUpdate(EState *estate, EPQState *epqstate,
552 						 TupleTableSlot *searchslot, TupleTableSlot *slot);
553 extern void ExecSimpleRelationDelete(EState *estate, EPQState *epqstate,
554 						 TupleTableSlot *searchslot);
555 extern void CheckCmdReplicaIdentity(Relation rel, CmdType cmd);
556 
557 extern void CheckSubscriptionRelkind(char relkind, const char *nspname,
558 						 const char *relname);
559 
560 #endif							/* EXECUTOR_H  */
561