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