PostgreSQL Source Code git master
params.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * params.c
4 * Support for finding the values associated with Param nodes.
5 *
6 *
7 * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
8 * Portions Copyright (c) 1994, Regents of the University of California
9 *
10 * IDENTIFICATION
11 * src/backend/nodes/params.c
12 *
13 *-------------------------------------------------------------------------
14 */
15
16#include "postgres.h"
17
18#include "access/xact.h"
19#include "fmgr.h"
20#include "mb/stringinfo_mb.h"
21#include "nodes/params.h"
22#include "parser/parse_node.h"
23#include "storage/shmem.h"
24#include "utils/datum.h"
25#include "utils/lsyscache.h"
26#include "utils/memutils.h"
27
28
29static void paramlist_parser_setup(ParseState *pstate, void *arg);
30static Node *paramlist_param_ref(ParseState *pstate, ParamRef *pref);
31
32
33/*
34 * Allocate and initialize a new ParamListInfo structure.
35 *
36 * To make a new structure for the "dynamic" way (with hooks), pass 0 for
37 * numParams and set numParams manually.
38 *
39 * A default parserSetup function is supplied automatically. Callers may
40 * override it if they choose. (Note that most use-cases for ParamListInfos
41 * will never use the parserSetup function anyway.)
42 */
44makeParamList(int numParams)
45{
46 ParamListInfo retval;
47 Size size;
48
49 size = offsetof(ParamListInfoData, params) +
50 numParams * sizeof(ParamExternData);
51
52 retval = (ParamListInfo) palloc(size);
53 retval->paramFetch = NULL;
54 retval->paramFetchArg = NULL;
55 retval->paramCompile = NULL;
56 retval->paramCompileArg = NULL;
58 retval->parserSetupArg = retval;
59 retval->paramValuesStr = NULL;
60 retval->numParams = numParams;
61
62 return retval;
63}
64
65/*
66 * Copy a ParamListInfo structure.
67 *
68 * The result is allocated in CurrentMemoryContext.
69 *
70 * Note: the intent of this function is to make a static, self-contained
71 * set of parameter values. If dynamic parameter hooks are present, we
72 * intentionally do not copy them into the result. Rather, we forcibly
73 * instantiate all available parameter values and copy the datum values.
74 *
75 * paramValuesStr is not copied, either.
76 */
79{
80 ParamListInfo retval;
81
82 if (from == NULL || from->numParams <= 0)
83 return NULL;
84
85 retval = makeParamList(from->numParams);
86
87 for (int i = 0; i < from->numParams; i++)
88 {
89 ParamExternData *oprm;
90 ParamExternData *nprm = &retval->params[i];
91 ParamExternData prmdata;
92 int16 typLen;
93 bool typByVal;
94
95 /* give hook a chance in case parameter is dynamic */
96 if (from->paramFetch != NULL)
97 oprm = from->paramFetch(from, i + 1, false, &prmdata);
98 else
99 oprm = &from->params[i];
100
101 /* flat-copy the parameter info */
102 *nprm = *oprm;
103
104 /* need datumCopy in case it's a pass-by-reference datatype */
105 if (nprm->isnull || !OidIsValid(nprm->ptype))
106 continue;
107 get_typlenbyval(nprm->ptype, &typLen, &typByVal);
108 nprm->value = datumCopy(nprm->value, typByVal, typLen);
109 }
110
111 return retval;
112}
113
114
115/*
116 * Set up to parse a query containing references to parameters
117 * sourced from a ParamListInfo.
118 */
119static void
121{
123 /* no need to use p_coerce_param_hook */
124 pstate->p_ref_hook_state = arg;
125}
126
127/*
128 * Transform a ParamRef using parameter type data from a ParamListInfo.
129 */
130static Node *
132{
133 ParamListInfo paramLI = (ParamListInfo) pstate->p_ref_hook_state;
134 int paramno = pref->number;
135 ParamExternData *prm;
136 ParamExternData prmdata;
137 Param *param;
138
139 /* check parameter number is valid */
140 if (paramno <= 0 || paramno > paramLI->numParams)
141 return NULL;
142
143 /* give hook a chance in case parameter is dynamic */
144 if (paramLI->paramFetch != NULL)
145 prm = paramLI->paramFetch(paramLI, paramno, false, &prmdata);
146 else
147 prm = &paramLI->params[paramno - 1];
148
149 if (!OidIsValid(prm->ptype))
150 return NULL;
151
152 param = makeNode(Param);
153 param->paramkind = PARAM_EXTERN;
154 param->paramid = paramno;
155 param->paramtype = prm->ptype;
156 param->paramtypmod = -1;
157 param->paramcollid = get_typcollation(param->paramtype);
158 param->location = pref->location;
159
160 return (Node *) param;
161}
162
163/*
164 * Estimate the amount of space required to serialize a ParamListInfo.
165 */
166Size
168{
169 Size sz = sizeof(int);
170
171 if (paramLI == NULL || paramLI->numParams <= 0)
172 return sz;
173
174 for (int i = 0; i < paramLI->numParams; i++)
175 {
176 ParamExternData *prm;
177 ParamExternData prmdata;
178 Oid typeOid;
179 int16 typLen;
180 bool typByVal;
181
182 /* give hook a chance in case parameter is dynamic */
183 if (paramLI->paramFetch != NULL)
184 prm = paramLI->paramFetch(paramLI, i + 1, false, &prmdata);
185 else
186 prm = &paramLI->params[i];
187
188 typeOid = prm->ptype;
189
190 sz = add_size(sz, sizeof(Oid)); /* space for type OID */
191 sz = add_size(sz, sizeof(uint16)); /* space for pflags */
192
193 /* space for datum/isnull */
194 if (OidIsValid(typeOid))
195 get_typlenbyval(typeOid, &typLen, &typByVal);
196 else
197 {
198 /* If no type OID, assume by-value, like copyParamList does. */
199 typLen = sizeof(Datum);
200 typByVal = true;
201 }
202 sz = add_size(sz,
203 datumEstimateSpace(prm->value, prm->isnull, typByVal, typLen));
204 }
205
206 return sz;
207}
208
209/*
210 * Serialize a ParamListInfo structure into caller-provided storage.
211 *
212 * We write the number of parameters first, as a 4-byte integer, and then
213 * write details for each parameter in turn. The details for each parameter
214 * consist of a 4-byte type OID, 2 bytes of flags, and then the datum as
215 * serialized by datumSerialize(). The caller is responsible for ensuring
216 * that there is enough storage to store the number of bytes that will be
217 * written; use EstimateParamListSpace to find out how many will be needed.
218 * *start_address is updated to point to the byte immediately following those
219 * written.
220 *
221 * RestoreParamList can be used to recreate a ParamListInfo based on the
222 * serialized representation; this will be a static, self-contained copy
223 * just as copyParamList would create.
224 *
225 * paramValuesStr is not included.
226 */
227void
228SerializeParamList(ParamListInfo paramLI, char **start_address)
229{
230 int nparams;
231
232 /* Write number of parameters. */
233 if (paramLI == NULL || paramLI->numParams <= 0)
234 nparams = 0;
235 else
236 nparams = paramLI->numParams;
237 memcpy(*start_address, &nparams, sizeof(int));
238 *start_address += sizeof(int);
239
240 /* Write each parameter in turn. */
241 for (int i = 0; i < nparams; i++)
242 {
243 ParamExternData *prm;
244 ParamExternData prmdata;
245 Oid typeOid;
246 int16 typLen;
247 bool typByVal;
248
249 /* give hook a chance in case parameter is dynamic */
250 if (paramLI->paramFetch != NULL)
251 prm = paramLI->paramFetch(paramLI, i + 1, false, &prmdata);
252 else
253 prm = &paramLI->params[i];
254
255 typeOid = prm->ptype;
256
257 /* Write type OID. */
258 memcpy(*start_address, &typeOid, sizeof(Oid));
259 *start_address += sizeof(Oid);
260
261 /* Write flags. */
262 memcpy(*start_address, &prm->pflags, sizeof(uint16));
263 *start_address += sizeof(uint16);
264
265 /* Write datum/isnull. */
266 if (OidIsValid(typeOid))
267 get_typlenbyval(typeOid, &typLen, &typByVal);
268 else
269 {
270 /* If no type OID, assume by-value, like copyParamList does. */
271 typLen = sizeof(Datum);
272 typByVal = true;
273 }
274 datumSerialize(prm->value, prm->isnull, typByVal, typLen,
275 start_address);
276 }
277}
278
279/*
280 * Copy a ParamListInfo structure.
281 *
282 * The result is allocated in CurrentMemoryContext.
283 *
284 * Note: the intent of this function is to make a static, self-contained
285 * set of parameter values. If dynamic parameter hooks are present, we
286 * intentionally do not copy them into the result. Rather, we forcibly
287 * instantiate all available parameter values and copy the datum values.
288 */
290RestoreParamList(char **start_address)
291{
292 ParamListInfo paramLI;
293 int nparams;
294
295 memcpy(&nparams, *start_address, sizeof(int));
296 *start_address += sizeof(int);
297
298 paramLI = makeParamList(nparams);
299
300 for (int i = 0; i < nparams; i++)
301 {
302 ParamExternData *prm = &paramLI->params[i];
303
304 /* Read type OID. */
305 memcpy(&prm->ptype, *start_address, sizeof(Oid));
306 *start_address += sizeof(Oid);
307
308 /* Read flags. */
309 memcpy(&prm->pflags, *start_address, sizeof(uint16));
310 *start_address += sizeof(uint16);
311
312 /* Read datum/isnull. */
313 prm->value = datumRestore(start_address, &prm->isnull);
314 }
315
316 return paramLI;
317}
318
319/*
320 * BuildParamLogString
321 * Return a string that represents the parameter list, for logging.
322 *
323 * If caller already knows textual representations for some parameters, it can
324 * pass an array of exactly params->numParams values as knownTextValues, which
325 * can contain NULLs for any unknown individual values. NULL can be given if
326 * no parameters are known.
327 *
328 * If maxlen is >= 0, that's the maximum number of bytes of any one
329 * parameter value to be printed; an ellipsis is added if the string is
330 * longer. (Added quotes are not considered in this calculation.)
331 */
332char *
333BuildParamLogString(ParamListInfo params, char **knownTextValues, int maxlen)
334{
335 MemoryContext tmpCxt,
336 oldCxt;
338
339 /*
340 * NB: think not of returning params->paramValuesStr! It may have been
341 * generated with a different maxlen, and so be unsuitable. Besides that,
342 * this is the function used to create that string.
343 */
344
345 /*
346 * No work if the param fetch hook is in use. Also, it's not possible to
347 * do this in an aborted transaction. (It might be possible to improve on
348 * this last point when some knownTextValues exist, but it seems tricky.)
349 */
350 if (params->paramFetch != NULL ||
352 return NULL;
353
354 /* Initialize the output stringinfo, in caller's memory context */
356
357 /* Use a temporary context to call output functions, just in case */
359 "BuildParamLogString",
361 oldCxt = MemoryContextSwitchTo(tmpCxt);
362
363 for (int paramno = 0; paramno < params->numParams; paramno++)
364 {
365 ParamExternData *param = &params->params[paramno];
366
368 "%s$%d = ",
369 paramno > 0 ? ", " : "",
370 paramno + 1);
371
372 if (param->isnull || !OidIsValid(param->ptype))
373 appendStringInfoString(&buf, "NULL");
374 else
375 {
376 if (knownTextValues != NULL && knownTextValues[paramno] != NULL)
377 appendStringInfoStringQuoted(&buf, knownTextValues[paramno],
378 maxlen);
379 else
380 {
381 Oid typoutput;
382 bool typisvarlena;
383 char *pstring;
384
385 getTypeOutputInfo(param->ptype, &typoutput, &typisvarlena);
386 pstring = OidOutputFunctionCall(typoutput, param->value);
387 appendStringInfoStringQuoted(&buf, pstring, maxlen);
388 }
389 }
390 }
391
392 MemoryContextSwitchTo(oldCxt);
393 MemoryContextDelete(tmpCxt);
394
395 return buf.data;
396}
397
398/*
399 * ParamsErrorCallback - callback for printing parameters in error context
400 *
401 * Note that this is a no-op unless BuildParamLogString has been called
402 * beforehand.
403 */
404void
406{
408
409 if (data == NULL ||
410 data->params == NULL ||
411 data->params->paramValuesStr == NULL)
412 return;
413
414 if (data->portalName && data->portalName[0] != '\0')
415 errcontext("portal \"%s\" with parameters: %s",
416 data->portalName, data->params->paramValuesStr);
417 else
418 errcontext("unnamed portal with parameters: %s",
419 data->params->paramValuesStr);
420}
int16_t int16
Definition: c.h:536
uint16_t uint16
Definition: c.h:540
#define OidIsValid(objectId)
Definition: c.h:777
size_t Size
Definition: c.h:613
Datum datumCopy(Datum value, bool typByVal, int typLen)
Definition: datum.c:132
Datum datumRestore(char **start_address, bool *isnull)
Definition: datum.c:521
void datumSerialize(Datum value, bool isnull, bool typByVal, int typLen, char **start_address)
Definition: datum.c:459
Size datumEstimateSpace(Datum value, bool isnull, bool typByVal, int typLen)
Definition: datum.c:412
#define errcontext
Definition: elog.h:198
char * OidOutputFunctionCall(Oid functionId, Datum val)
Definition: fmgr.c:1763
int i
Definition: isn.c:77
if(TABLE==NULL||TABLE_index==NULL)
Definition: isn.c:81
void getTypeOutputInfo(Oid type, Oid *typOutput, bool *typIsVarlena)
Definition: lsyscache.c:3074
void get_typlenbyval(Oid typid, int16 *typlen, bool *typbyval)
Definition: lsyscache.c:2418
Oid get_typcollation(Oid typid)
Definition: lsyscache.c:3223
void * palloc(Size size)
Definition: mcxt.c:1365
MemoryContext CurrentMemoryContext
Definition: mcxt.c:160
void MemoryContextDelete(MemoryContext context)
Definition: mcxt.c:469
#define AllocSetContextCreate
Definition: memutils.h:129
#define ALLOCSET_DEFAULT_SIZES
Definition: memutils.h:160
#define makeNode(_type_)
Definition: nodes.h:161
static MemoryContext MemoryContextSwitchTo(MemoryContext context)
Definition: palloc.h:124
ParamListInfo makeParamList(int numParams)
Definition: params.c:44
ParamListInfo copyParamList(ParamListInfo from)
Definition: params.c:78
static Node * paramlist_param_ref(ParseState *pstate, ParamRef *pref)
Definition: params.c:131
static void paramlist_parser_setup(ParseState *pstate, void *arg)
Definition: params.c:120
Size EstimateParamListSpace(ParamListInfo paramLI)
Definition: params.c:167
char * BuildParamLogString(ParamListInfo params, char **knownTextValues, int maxlen)
Definition: params.c:333
void SerializeParamList(ParamListInfo paramLI, char **start_address)
Definition: params.c:228
void ParamsErrorCallback(void *arg)
Definition: params.c:405
ParamListInfo RestoreParamList(char **start_address)
Definition: params.c:290
struct ParamListInfoData * ParamListInfo
Definition: params.h:97
struct ParamExternData ParamExternData
void * arg
const void * data
static char * buf
Definition: pg_test_fsync.c:72
uint64_t Datum
Definition: postgres.h:70
unsigned int Oid
Definition: postgres_ext.h:32
@ PARAM_EXTERN
Definition: primnodes.h:384
Size add_size(Size s1, Size s2)
Definition: shmem.c:495
void appendStringInfo(StringInfo str, const char *fmt,...)
Definition: stringinfo.c:145
void appendStringInfoString(StringInfo str, const char *s)
Definition: stringinfo.c:230
void initStringInfo(StringInfo str)
Definition: stringinfo.c:97
void appendStringInfoStringQuoted(StringInfo str, const char *s, int maxlen)
Definition: stringinfo_mb.c:34
Definition: nodes.h:135
bool isnull
Definition: params.h:92
uint16 pflags
Definition: params.h:93
Datum value
Definition: params.h:91
ParamExternData params[FLEXIBLE_ARRAY_MEMBER]
Definition: params.h:124
char * paramValuesStr
Definition: params.h:117
ParserSetupHook parserSetup
Definition: params.h:115
ParamCompileHook paramCompile
Definition: params.h:113
void * parserSetupArg
Definition: params.h:116
void * paramCompileArg
Definition: params.h:114
ParamFetchHook paramFetch
Definition: params.h:111
void * paramFetchArg
Definition: params.h:112
ParseLoc location
Definition: parsenodes.h:322
int number
Definition: parsenodes.h:321
void * p_ref_hook_state
Definition: parse_node.h:242
ParseParamRefHook p_paramref_hook
Definition: parse_node.h:240
bool IsAbortedTransactionBlockState(void)
Definition: xact.c:408