PostgreSQL Source Code  git master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros
functioncmds.c
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------
2  *
3  * functioncmds.c
4  *
5  * Routines for CREATE and DROP FUNCTION commands and CREATE and DROP
6  * CAST commands.
7  *
8  * Portions Copyright (c) 1996-2017, PostgreSQL Global Development Group
9  * Portions Copyright (c) 1994, Regents of the University of California
10  *
11  *
12  * IDENTIFICATION
13  * src/backend/commands/functioncmds.c
14  *
15  * DESCRIPTION
16  * These routines take the parse tree and pick out the
17  * appropriate arguments/flags, and pass the results to the
18  * corresponding "FooDefine" routines (in src/catalog) that do
19  * the actual catalog-munging. These routines also verify permission
20  * of the user to execute the command.
21  *
22  * NOTES
23  * These things must be defined and committed in the following order:
24  * "create function":
25  * input/output, recv/send procedures
26  * "create type":
27  * type
28  * "create operator":
29  * operators
30  *
31  *-------------------------------------------------------------------------
32  */
33 #include "postgres.h"
34 
35 #include "access/genam.h"
36 #include "access/heapam.h"
37 #include "access/htup_details.h"
38 #include "access/sysattr.h"
39 #include "catalog/dependency.h"
40 #include "catalog/indexing.h"
41 #include "catalog/objectaccess.h"
42 #include "catalog/pg_aggregate.h"
43 #include "catalog/pg_cast.h"
44 #include "catalog/pg_language.h"
45 #include "catalog/pg_namespace.h"
46 #include "catalog/pg_proc.h"
47 #include "catalog/pg_proc_fn.h"
48 #include "catalog/pg_transform.h"
49 #include "catalog/pg_type.h"
50 #include "catalog/pg_type_fn.h"
51 #include "commands/alter.h"
52 #include "commands/defrem.h"
53 #include "commands/proclang.h"
54 #include "miscadmin.h"
55 #include "optimizer/var.h"
56 #include "parser/parse_coerce.h"
57 #include "parser/parse_collate.h"
58 #include "parser/parse_expr.h"
59 #include "parser/parse_func.h"
60 #include "parser/parse_type.h"
61 #include "utils/acl.h"
62 #include "utils/builtins.h"
63 #include "utils/fmgroids.h"
64 #include "utils/guc.h"
65 #include "utils/lsyscache.h"
66 #include "utils/rel.h"
67 #include "utils/syscache.h"
68 #include "utils/tqual.h"
69 
70 /*
71  * Examine the RETURNS clause of the CREATE FUNCTION statement
72  * and return information about it as *prorettype_p and *returnsSet.
73  *
74  * This is more complex than the average typename lookup because we want to
75  * allow a shell type to be used, or even created if the specified return type
76  * doesn't exist yet. (Without this, there's no way to define the I/O procs
77  * for a new type.) But SQL function creation won't cope, so error out if
78  * the target language is SQL. (We do this here, not in the SQL-function
79  * validator, so as not to produce a NOTICE and then an ERROR for the same
80  * condition.)
81  */
82 static void
83 compute_return_type(TypeName *returnType, Oid languageOid,
84  Oid *prorettype_p, bool *returnsSet_p)
85 {
86  Oid rettype;
87  Type typtup;
88  AclResult aclresult;
89 
90  typtup = LookupTypeName(NULL, returnType, NULL, false);
91 
92  if (typtup)
93  {
94  if (!((Form_pg_type) GETSTRUCT(typtup))->typisdefined)
95  {
96  if (languageOid == SQLlanguageId)
97  ereport(ERROR,
98  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
99  errmsg("SQL function cannot return shell type %s",
100  TypeNameToString(returnType))));
101  else
102  ereport(NOTICE,
103  (errcode(ERRCODE_WRONG_OBJECT_TYPE),
104  errmsg("return type %s is only a shell",
105  TypeNameToString(returnType))));
106  }
107  rettype = typeTypeId(typtup);
108  ReleaseSysCache(typtup);
109  }
110  else
111  {
112  char *typnam = TypeNameToString(returnType);
113  Oid namespaceId;
114  AclResult aclresult;
115  char *typname;
116  ObjectAddress address;
117 
118  /*
119  * Only C-coded functions can be I/O functions. We enforce this
120  * restriction here mainly to prevent littering the catalogs with
121  * shell types due to simple typos in user-defined function
122  * definitions.
123  */
124  if (languageOid != INTERNALlanguageId &&
125  languageOid != ClanguageId)
126  ereport(ERROR,
127  (errcode(ERRCODE_UNDEFINED_OBJECT),
128  errmsg("type \"%s\" does not exist", typnam)));
129 
130  /* Reject if there's typmod decoration, too */
131  if (returnType->typmods != NIL)
132  ereport(ERROR,
133  (errcode(ERRCODE_SYNTAX_ERROR),
134  errmsg("type modifier cannot be specified for shell type \"%s\"",
135  typnam)));
136 
137  /* Otherwise, go ahead and make a shell type */
138  ereport(NOTICE,
139  (errcode(ERRCODE_UNDEFINED_OBJECT),
140  errmsg("type \"%s\" is not yet defined", typnam),
141  errdetail("Creating a shell type definition.")));
142  namespaceId = QualifiedNameGetCreationNamespace(returnType->names,
143  &typname);
144  aclresult = pg_namespace_aclcheck(namespaceId, GetUserId(),
145  ACL_CREATE);
146  if (aclresult != ACLCHECK_OK)
148  get_namespace_name(namespaceId));
149  address = TypeShellMake(typname, namespaceId, GetUserId());
150  rettype = address.objectId;
151  Assert(OidIsValid(rettype));
152  }
153 
154  aclresult = pg_type_aclcheck(rettype, GetUserId(), ACL_USAGE);
155  if (aclresult != ACLCHECK_OK)
156  aclcheck_error_type(aclresult, rettype);
157 
158  *prorettype_p = rettype;
159  *returnsSet_p = returnType->setof;
160 }
161 
162 /*
163  * Interpret the function parameter list of a CREATE FUNCTION or
164  * CREATE AGGREGATE statement.
165  *
166  * Input parameters:
167  * parameters: list of FunctionParameter structs
168  * languageOid: OID of function language (InvalidOid if it's CREATE AGGREGATE)
169  * is_aggregate: needed only to determine error handling
170  *
171  * Results are stored into output parameters. parameterTypes must always
172  * be created, but the other arrays are set to NULL if not needed.
173  * variadicArgType is set to the variadic array type if there's a VARIADIC
174  * parameter (there can be only one); or to InvalidOid if not.
175  * requiredResultType is set to InvalidOid if there are no OUT parameters,
176  * else it is set to the OID of the implied result type.
177  */
178 void
180  List *parameters,
181  Oid languageOid,
182  bool is_aggregate,
183  oidvector **parameterTypes,
184  ArrayType **allParameterTypes,
185  ArrayType **parameterModes,
186  ArrayType **parameterNames,
187  List **parameterDefaults,
188  Oid *variadicArgType,
189  Oid *requiredResultType)
190 {
191  int parameterCount = list_length(parameters);
192  Oid *inTypes;
193  int inCount = 0;
194  Datum *allTypes;
195  Datum *paramModes;
196  Datum *paramNames;
197  int outCount = 0;
198  int varCount = 0;
199  bool have_names = false;
200  bool have_defaults = false;
201  ListCell *x;
202  int i;
203 
204  *variadicArgType = InvalidOid; /* default result */
205  *requiredResultType = InvalidOid; /* default result */
206 
207  inTypes = (Oid *) palloc(parameterCount * sizeof(Oid));
208  allTypes = (Datum *) palloc(parameterCount * sizeof(Datum));
209  paramModes = (Datum *) palloc(parameterCount * sizeof(Datum));
210  paramNames = (Datum *) palloc0(parameterCount * sizeof(Datum));
211  *parameterDefaults = NIL;
212 
213  /* Scan the list and extract data into work arrays */
214  i = 0;
215  foreach(x, parameters)
216  {
218  TypeName *t = fp->argType;
219  bool isinput = false;
220  Oid toid;
221  Type typtup;
222  AclResult aclresult;
223 
224  typtup = LookupTypeName(NULL, t, NULL, false);
225  if (typtup)
226  {
227  if (!((Form_pg_type) GETSTRUCT(typtup))->typisdefined)
228  {
229  /* As above, hard error if language is SQL */
230  if (languageOid == SQLlanguageId)
231  ereport(ERROR,
232  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
233  errmsg("SQL function cannot accept shell type %s",
234  TypeNameToString(t))));
235  /* We don't allow creating aggregates on shell types either */
236  else if (is_aggregate)
237  ereport(ERROR,
238  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
239  errmsg("aggregate cannot accept shell type %s",
240  TypeNameToString(t))));
241  else
242  ereport(NOTICE,
243  (errcode(ERRCODE_WRONG_OBJECT_TYPE),
244  errmsg("argument type %s is only a shell",
245  TypeNameToString(t))));
246  }
247  toid = typeTypeId(typtup);
248  ReleaseSysCache(typtup);
249  }
250  else
251  {
252  ereport(ERROR,
253  (errcode(ERRCODE_UNDEFINED_OBJECT),
254  errmsg("type %s does not exist",
255  TypeNameToString(t))));
256  toid = InvalidOid; /* keep compiler quiet */
257  }
258 
259  aclresult = pg_type_aclcheck(toid, GetUserId(), ACL_USAGE);
260  if (aclresult != ACLCHECK_OK)
261  aclcheck_error_type(aclresult, toid);
262 
263  if (t->setof)
264  {
265  if (is_aggregate)
266  ereport(ERROR,
267  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
268  errmsg("aggregates cannot accept set arguments")));
269  else
270  ereport(ERROR,
271  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
272  errmsg("functions cannot accept set arguments")));
273  }
274 
275  /* handle input parameters */
276  if (fp->mode != FUNC_PARAM_OUT && fp->mode != FUNC_PARAM_TABLE)
277  {
278  /* other input parameters can't follow a VARIADIC parameter */
279  if (varCount > 0)
280  ereport(ERROR,
281  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
282  errmsg("VARIADIC parameter must be the last input parameter")));
283  inTypes[inCount++] = toid;
284  isinput = true;
285  }
286 
287  /* handle output parameters */
288  if (fp->mode != FUNC_PARAM_IN && fp->mode != FUNC_PARAM_VARIADIC)
289  {
290  if (outCount == 0) /* save first output param's type */
291  *requiredResultType = toid;
292  outCount++;
293  }
294 
295  if (fp->mode == FUNC_PARAM_VARIADIC)
296  {
297  *variadicArgType = toid;
298  varCount++;
299  /* validate variadic parameter type */
300  switch (toid)
301  {
302  case ANYARRAYOID:
303  case ANYOID:
304  /* okay */
305  break;
306  default:
307  if (!OidIsValid(get_element_type(toid)))
308  ereport(ERROR,
309  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
310  errmsg("VARIADIC parameter must be an array")));
311  break;
312  }
313  }
314 
315  allTypes[i] = ObjectIdGetDatum(toid);
316 
317  paramModes[i] = CharGetDatum(fp->mode);
318 
319  if (fp->name && fp->name[0])
320  {
321  ListCell *px;
322 
323  /*
324  * As of Postgres 9.0 we disallow using the same name for two
325  * input or two output function parameters. Depending on the
326  * function's language, conflicting input and output names might
327  * be bad too, but we leave it to the PL to complain if so.
328  */
329  foreach(px, parameters)
330  {
331  FunctionParameter *prevfp = (FunctionParameter *) lfirst(px);
332 
333  if (prevfp == fp)
334  break;
335  /* pure in doesn't conflict with pure out */
336  if ((fp->mode == FUNC_PARAM_IN ||
337  fp->mode == FUNC_PARAM_VARIADIC) &&
338  (prevfp->mode == FUNC_PARAM_OUT ||
339  prevfp->mode == FUNC_PARAM_TABLE))
340  continue;
341  if ((prevfp->mode == FUNC_PARAM_IN ||
342  prevfp->mode == FUNC_PARAM_VARIADIC) &&
343  (fp->mode == FUNC_PARAM_OUT ||
344  fp->mode == FUNC_PARAM_TABLE))
345  continue;
346  if (prevfp->name && prevfp->name[0] &&
347  strcmp(prevfp->name, fp->name) == 0)
348  ereport(ERROR,
349  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
350  errmsg("parameter name \"%s\" used more than once",
351  fp->name)));
352  }
353 
354  paramNames[i] = CStringGetTextDatum(fp->name);
355  have_names = true;
356  }
357 
358  if (fp->defexpr)
359  {
360  Node *def;
361 
362  if (!isinput)
363  ereport(ERROR,
364  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
365  errmsg("only input parameters can have default values")));
366 
367  def = transformExpr(pstate, fp->defexpr,
369  def = coerce_to_specific_type(pstate, def, toid, "DEFAULT");
370  assign_expr_collations(pstate, def);
371 
372  /*
373  * Make sure no variables are referred to (this is probably dead
374  * code now that add_missing_from is history).
375  */
376  if (list_length(pstate->p_rtable) != 0 ||
377  contain_var_clause(def))
378  ereport(ERROR,
379  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
380  errmsg("cannot use table references in parameter default value")));
381 
382  /*
383  * transformExpr() should have already rejected subqueries,
384  * aggregates, and window functions, based on the EXPR_KIND_ for a
385  * default expression.
386  *
387  * It can't return a set either --- but coerce_to_specific_type
388  * already checked that for us.
389  *
390  * Note: the point of these restrictions is to ensure that an
391  * expression that, on its face, hasn't got subplans, aggregates,
392  * etc cannot suddenly have them after function default arguments
393  * are inserted.
394  */
395 
396  *parameterDefaults = lappend(*parameterDefaults, def);
397  have_defaults = true;
398  }
399  else
400  {
401  if (isinput && have_defaults)
402  ereport(ERROR,
403  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
404  errmsg("input parameters after one with a default value must also have defaults")));
405  }
406 
407  i++;
408  }
409 
410  /* Now construct the proper outputs as needed */
411  *parameterTypes = buildoidvector(inTypes, inCount);
412 
413  if (outCount > 0 || varCount > 0)
414  {
415  *allParameterTypes = construct_array(allTypes, parameterCount, OIDOID,
416  sizeof(Oid), true, 'i');
417  *parameterModes = construct_array(paramModes, parameterCount, CHAROID,
418  1, true, 'c');
419  if (outCount > 1)
420  *requiredResultType = RECORDOID;
421  /* otherwise we set requiredResultType correctly above */
422  }
423  else
424  {
425  *allParameterTypes = NULL;
426  *parameterModes = NULL;
427  }
428 
429  if (have_names)
430  {
431  for (i = 0; i < parameterCount; i++)
432  {
433  if (paramNames[i] == PointerGetDatum(NULL))
434  paramNames[i] = CStringGetTextDatum("");
435  }
436  *parameterNames = construct_array(paramNames, parameterCount, TEXTOID,
437  -1, false, 'i');
438  }
439  else
440  *parameterNames = NULL;
441 }
442 
443 
444 /*
445  * Recognize one of the options that can be passed to both CREATE
446  * FUNCTION and ALTER FUNCTION and return it via one of the out
447  * parameters. Returns true if the passed option was recognized. If
448  * the out parameter we were going to assign to points to non-NULL,
449  * raise a duplicate-clause error. (We don't try to detect duplicate
450  * SET parameters though --- if you're redundant, the last one wins.)
451  */
452 static bool
454  DefElem *defel,
455  DefElem **volatility_item,
456  DefElem **strict_item,
457  DefElem **security_item,
458  DefElem **leakproof_item,
459  List **set_items,
460  DefElem **cost_item,
461  DefElem **rows_item,
462  DefElem **parallel_item)
463 {
464  if (strcmp(defel->defname, "volatility") == 0)
465  {
466  if (*volatility_item)
467  goto duplicate_error;
468 
469  *volatility_item = defel;
470  }
471  else if (strcmp(defel->defname, "strict") == 0)
472  {
473  if (*strict_item)
474  goto duplicate_error;
475 
476  *strict_item = defel;
477  }
478  else if (strcmp(defel->defname, "security") == 0)
479  {
480  if (*security_item)
481  goto duplicate_error;
482 
483  *security_item = defel;
484  }
485  else if (strcmp(defel->defname, "leakproof") == 0)
486  {
487  if (*leakproof_item)
488  goto duplicate_error;
489 
490  *leakproof_item = defel;
491  }
492  else if (strcmp(defel->defname, "set") == 0)
493  {
494  *set_items = lappend(*set_items, defel->arg);
495  }
496  else if (strcmp(defel->defname, "cost") == 0)
497  {
498  if (*cost_item)
499  goto duplicate_error;
500 
501  *cost_item = defel;
502  }
503  else if (strcmp(defel->defname, "rows") == 0)
504  {
505  if (*rows_item)
506  goto duplicate_error;
507 
508  *rows_item = defel;
509  }
510  else if (strcmp(defel->defname, "parallel") == 0)
511  {
512  if (*parallel_item)
513  goto duplicate_error;
514 
515  *parallel_item = defel;
516  }
517  else
518  return false;
519 
520  /* Recognized an option */
521  return true;
522 
523 duplicate_error:
524  ereport(ERROR,
525  (errcode(ERRCODE_SYNTAX_ERROR),
526  errmsg("conflicting or redundant options"),
527  parser_errposition(pstate, defel->location)));
528  return false; /* keep compiler quiet */
529 }
530 
531 static char
533 {
534  char *str = strVal(defel->arg);
535 
536  if (strcmp(str, "immutable") == 0)
537  return PROVOLATILE_IMMUTABLE;
538  else if (strcmp(str, "stable") == 0)
539  return PROVOLATILE_STABLE;
540  else if (strcmp(str, "volatile") == 0)
541  return PROVOLATILE_VOLATILE;
542  else
543  {
544  elog(ERROR, "invalid volatility \"%s\"", str);
545  return 0; /* keep compiler quiet */
546  }
547 }
548 
549 static char
551 {
552  char *str = strVal(defel->arg);
553 
554  if (strcmp(str, "safe") == 0)
555  return PROPARALLEL_SAFE;
556  else if (strcmp(str, "unsafe") == 0)
557  return PROPARALLEL_UNSAFE;
558  else if (strcmp(str, "restricted") == 0)
559  return PROPARALLEL_RESTRICTED;
560  else
561  {
562  ereport(ERROR,
563  (errcode(ERRCODE_SYNTAX_ERROR),
564  errmsg("parameter \"parallel\" must be SAFE, RESTRICTED, or UNSAFE")));
565  return PROPARALLEL_UNSAFE; /* keep compiler quiet */
566  }
567 }
568 
569 /*
570  * Update a proconfig value according to a list of VariableSetStmt items.
571  *
572  * The input and result may be NULL to signify a null entry.
573  */
574 static ArrayType *
576 {
577  ListCell *l;
578 
579  foreach(l, set_items)
580  {
582 
583  if (sstmt->kind == VAR_RESET_ALL)
584  a = NULL;
585  else
586  {
587  char *valuestr = ExtractSetVariableArgs(sstmt);
588 
589  if (valuestr)
590  a = GUCArrayAdd(a, sstmt->name, valuestr);
591  else /* RESET */
592  a = GUCArrayDelete(a, sstmt->name);
593  }
594  }
595 
596  return a;
597 }
598 
599 
600 /*
601  * Dissect the list of options assembled in gram.y into function
602  * attributes.
603  */
604 static void
606  List *options,
607  List **as,
608  char **language,
609  Node **transform,
610  bool *windowfunc_p,
611  char *volatility_p,
612  bool *strict_p,
613  bool *security_definer,
614  bool *leakproof_p,
615  ArrayType **proconfig,
616  float4 *procost,
617  float4 *prorows,
618  char *parallel_p)
619 {
620  ListCell *option;
621  DefElem *as_item = NULL;
622  DefElem *language_item = NULL;
623  DefElem *transform_item = NULL;
624  DefElem *windowfunc_item = NULL;
625  DefElem *volatility_item = NULL;
626  DefElem *strict_item = NULL;
627  DefElem *security_item = NULL;
628  DefElem *leakproof_item = NULL;
629  List *set_items = NIL;
630  DefElem *cost_item = NULL;
631  DefElem *rows_item = NULL;
632  DefElem *parallel_item = NULL;
633 
634  foreach(option, options)
635  {
636  DefElem *defel = (DefElem *) lfirst(option);
637 
638  if (strcmp(defel->defname, "as") == 0)
639  {
640  if (as_item)
641  ereport(ERROR,
642  (errcode(ERRCODE_SYNTAX_ERROR),
643  errmsg("conflicting or redundant options"),
644  parser_errposition(pstate, defel->location)));
645  as_item = defel;
646  }
647  else if (strcmp(defel->defname, "language") == 0)
648  {
649  if (language_item)
650  ereport(ERROR,
651  (errcode(ERRCODE_SYNTAX_ERROR),
652  errmsg("conflicting or redundant options"),
653  parser_errposition(pstate, defel->location)));
654  language_item = defel;
655  }
656  else if (strcmp(defel->defname, "transform") == 0)
657  {
658  if (transform_item)
659  ereport(ERROR,
660  (errcode(ERRCODE_SYNTAX_ERROR),
661  errmsg("conflicting or redundant options"),
662  parser_errposition(pstate, defel->location)));
663  transform_item = defel;
664  }
665  else if (strcmp(defel->defname, "window") == 0)
666  {
667  if (windowfunc_item)
668  ereport(ERROR,
669  (errcode(ERRCODE_SYNTAX_ERROR),
670  errmsg("conflicting or redundant options"),
671  parser_errposition(pstate, defel->location)));
672  windowfunc_item = defel;
673  }
674  else if (compute_common_attribute(pstate,
675  defel,
676  &volatility_item,
677  &strict_item,
678  &security_item,
679  &leakproof_item,
680  &set_items,
681  &cost_item,
682  &rows_item,
683  &parallel_item))
684  {
685  /* recognized common option */
686  continue;
687  }
688  else
689  elog(ERROR, "option \"%s\" not recognized",
690  defel->defname);
691  }
692 
693  /* process required items */
694  if (as_item)
695  *as = (List *) as_item->arg;
696  else
697  {
698  ereport(ERROR,
699  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
700  errmsg("no function body specified")));
701  *as = NIL; /* keep compiler quiet */
702  }
703 
704  if (language_item)
705  *language = strVal(language_item->arg);
706  else
707  {
708  ereport(ERROR,
709  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
710  errmsg("no language specified")));
711  *language = NULL; /* keep compiler quiet */
712  }
713 
714  /* process optional items */
715  if (transform_item)
716  *transform = transform_item->arg;
717  if (windowfunc_item)
718  *windowfunc_p = intVal(windowfunc_item->arg);
719  if (volatility_item)
720  *volatility_p = interpret_func_volatility(volatility_item);
721  if (strict_item)
722  *strict_p = intVal(strict_item->arg);
723  if (security_item)
724  *security_definer = intVal(security_item->arg);
725  if (leakproof_item)
726  *leakproof_p = intVal(leakproof_item->arg);
727  if (set_items)
728  *proconfig = update_proconfig_value(NULL, set_items);
729  if (cost_item)
730  {
731  *procost = defGetNumeric(cost_item);
732  if (*procost <= 0)
733  ereport(ERROR,
734  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
735  errmsg("COST must be positive")));
736  }
737  if (rows_item)
738  {
739  *prorows = defGetNumeric(rows_item);
740  if (*prorows <= 0)
741  ereport(ERROR,
742  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
743  errmsg("ROWS must be positive")));
744  }
745  if (parallel_item)
746  *parallel_p = interpret_func_parallel(parallel_item);
747 }
748 
749 
750 /*-------------
751  * Interpret the parameters *parameters and return their contents via
752  * *isStrict_p and *volatility_p.
753  *
754  * These parameters supply optional information about a function.
755  * All have defaults if not specified. Parameters:
756  *
757  * * isStrict means the function should not be called when any NULL
758  * inputs are present; instead a NULL result value should be assumed.
759  *
760  * * volatility tells the optimizer whether the function's result can
761  * be assumed to be repeatable over multiple evaluations.
762  *------------
763  */
764 static void
765 compute_attributes_with_style(ParseState *pstate, List *parameters, bool *isStrict_p, char *volatility_p)
766 {
767  ListCell *pl;
768 
769  foreach(pl, parameters)
770  {
771  DefElem *param = (DefElem *) lfirst(pl);
772 
773  if (pg_strcasecmp(param->defname, "isstrict") == 0)
774  *isStrict_p = defGetBoolean(param);
775  else if (pg_strcasecmp(param->defname, "iscachable") == 0)
776  {
777  /* obsolete spelling of isImmutable */
778  if (defGetBoolean(param))
779  *volatility_p = PROVOLATILE_IMMUTABLE;
780  }
781  else
783  (errcode(ERRCODE_SYNTAX_ERROR),
784  errmsg("unrecognized function attribute \"%s\" ignored",
785  param->defname),
786  parser_errposition(pstate, param->location)));
787  }
788 }
789 
790 
791 /*
792  * For a dynamically linked C language object, the form of the clause is
793  *
794  * AS <object file name> [, <link symbol name> ]
795  *
796  * In all other cases
797  *
798  * AS <object reference, or sql code>
799  */
800 static void
801 interpret_AS_clause(Oid languageOid, const char *languageName,
802  char *funcname, List *as,
803  char **prosrc_str_p, char **probin_str_p)
804 {
805  Assert(as != NIL);
806 
807  if (languageOid == ClanguageId)
808  {
809  /*
810  * For "C" language, store the file name in probin and, when given,
811  * the link symbol name in prosrc. If link symbol is omitted,
812  * substitute procedure name. We also allow link symbol to be
813  * specified as "-", since that was the habit in PG versions before
814  * 8.4, and there might be dump files out there that don't translate
815  * that back to "omitted".
816  */
817  *probin_str_p = strVal(linitial(as));
818  if (list_length(as) == 1)
819  *prosrc_str_p = funcname;
820  else
821  {
822  *prosrc_str_p = strVal(lsecond(as));
823  if (strcmp(*prosrc_str_p, "-") == 0)
824  *prosrc_str_p = funcname;
825  }
826  }
827  else
828  {
829  /* Everything else wants the given string in prosrc. */
830  *prosrc_str_p = strVal(linitial(as));
831  *probin_str_p = NULL;
832 
833  if (list_length(as) != 1)
834  ereport(ERROR,
835  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
836  errmsg("only one AS item needed for language \"%s\"",
837  languageName)));
838 
839  if (languageOid == INTERNALlanguageId)
840  {
841  /*
842  * In PostgreSQL versions before 6.5, the SQL name of the created
843  * function could not be different from the internal name, and
844  * "prosrc" wasn't used. So there is code out there that does
845  * CREATE FUNCTION xyz AS '' LANGUAGE internal. To preserve some
846  * modicum of backwards compatibility, accept an empty "prosrc"
847  * value as meaning the supplied SQL function name.
848  */
849  if (strlen(*prosrc_str_p) == 0)
850  *prosrc_str_p = funcname;
851  }
852  }
853 }
854 
855 
856 /*
857  * CreateFunction
858  * Execute a CREATE FUNCTION utility statement.
859  */
862 {
863  char *probin_str;
864  char *prosrc_str;
865  Oid prorettype;
866  bool returnsSet;
867  char *language;
868  Oid languageOid;
869  Oid languageValidator;
870  Node *transformDefElem = NULL;
871  char *funcname;
872  Oid namespaceId;
873  AclResult aclresult;
874  oidvector *parameterTypes;
875  ArrayType *allParameterTypes;
876  ArrayType *parameterModes;
877  ArrayType *parameterNames;
878  List *parameterDefaults;
879  Oid variadicArgType;
880  List *trftypes_list = NIL;
881  ArrayType *trftypes;
882  Oid requiredResultType;
883  bool isWindowFunc,
884  isStrict,
885  security,
886  isLeakProof;
887  char volatility;
888  ArrayType *proconfig;
889  float4 procost;
890  float4 prorows;
891  HeapTuple languageTuple;
892  Form_pg_language languageStruct;
893  List *as_clause;
894  char parallel;
895 
896  /* Convert list of names to a name and namespace */
897  namespaceId = QualifiedNameGetCreationNamespace(stmt->funcname,
898  &funcname);
899 
900  /* Check we have creation rights in target namespace */
901  aclresult = pg_namespace_aclcheck(namespaceId, GetUserId(), ACL_CREATE);
902  if (aclresult != ACLCHECK_OK)
904  get_namespace_name(namespaceId));
905 
906  /* default attributes */
907  isWindowFunc = false;
908  isStrict = false;
909  security = false;
910  isLeakProof = false;
911  volatility = PROVOLATILE_VOLATILE;
912  proconfig = NULL;
913  procost = -1; /* indicates not set */
914  prorows = -1; /* indicates not set */
915  parallel = PROPARALLEL_UNSAFE;
916 
917  /* override attributes from explicit list */
919  stmt->options,
920  &as_clause, &language, &transformDefElem,
921  &isWindowFunc, &volatility,
922  &isStrict, &security, &isLeakProof,
923  &proconfig, &procost, &prorows, &parallel);
924 
925  /* Look up the language and validate permissions */
926  languageTuple = SearchSysCache1(LANGNAME, PointerGetDatum(language));
927  if (!HeapTupleIsValid(languageTuple))
928  ereport(ERROR,
929  (errcode(ERRCODE_UNDEFINED_OBJECT),
930  errmsg("language \"%s\" does not exist", language),
931  (PLTemplateExists(language) ?
932  errhint("Use CREATE LANGUAGE to load the language into the database.") : 0)));
933 
934  languageOid = HeapTupleGetOid(languageTuple);
935  languageStruct = (Form_pg_language) GETSTRUCT(languageTuple);
936 
937  if (languageStruct->lanpltrusted)
938  {
939  /* if trusted language, need USAGE privilege */
940  AclResult aclresult;
941 
942  aclresult = pg_language_aclcheck(languageOid, GetUserId(), ACL_USAGE);
943  if (aclresult != ACLCHECK_OK)
945  NameStr(languageStruct->lanname));
946  }
947  else
948  {
949  /* if untrusted language, must be superuser */
950  if (!superuser())
952  NameStr(languageStruct->lanname));
953  }
954 
955  languageValidator = languageStruct->lanvalidator;
956 
957  ReleaseSysCache(languageTuple);
958 
959  /*
960  * Only superuser is allowed to create leakproof functions because
961  * leakproof functions can see tuples which have not yet been filtered out
962  * by security barrier views or row level security policies.
963  */
964  if (isLeakProof && !superuser())
965  ereport(ERROR,
966  (errcode(ERRCODE_INSUFFICIENT_PRIVILEGE),
967  errmsg("only superuser can define a leakproof function")));
968 
969  if (transformDefElem)
970  {
971  ListCell *lc;
972 
973  foreach(lc, castNode(List, transformDefElem))
974  {
975  Oid typeid = typenameTypeId(NULL,
976  lfirst_node(TypeName, lc));
977  Oid elt = get_base_element_type(typeid);
978 
979  typeid = elt ? elt : typeid;
980 
981  get_transform_oid(typeid, languageOid, false);
982  trftypes_list = lappend_oid(trftypes_list, typeid);
983  }
984  }
985 
986  /*
987  * Convert remaining parameters of CREATE to form wanted by
988  * ProcedureCreate.
989  */
991  stmt->parameters,
992  languageOid,
993  false, /* not an aggregate */
994  &parameterTypes,
995  &allParameterTypes,
996  &parameterModes,
997  &parameterNames,
998  &parameterDefaults,
999  &variadicArgType,
1000  &requiredResultType);
1001 
1002  if (stmt->returnType)
1003  {
1004  /* explicit RETURNS clause */
1005  compute_return_type(stmt->returnType, languageOid,
1006  &prorettype, &returnsSet);
1007  if (OidIsValid(requiredResultType) && prorettype != requiredResultType)
1008  ereport(ERROR,
1009  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
1010  errmsg("function result type must be %s because of OUT parameters",
1011  format_type_be(requiredResultType))));
1012  }
1013  else if (OidIsValid(requiredResultType))
1014  {
1015  /* default RETURNS clause from OUT parameters */
1016  prorettype = requiredResultType;
1017  returnsSet = false;
1018  }
1019  else
1020  {
1021  ereport(ERROR,
1022  (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
1023  errmsg("function result type must be specified")));
1024  /* Alternative possibility: default to RETURNS VOID */
1025  prorettype = VOIDOID;
1026  returnsSet = false;
1027  }
1028 
1029  if (list_length(trftypes_list) > 0)
1030  {
1031  ListCell *lc;
1032  Datum *arr;
1033  int i;
1034 
1035  arr = palloc(list_length(trftypes_list) * sizeof(Datum));
1036  i = 0;
1037  foreach(lc, trftypes_list)
1038  arr[i++] = ObjectIdGetDatum(lfirst_oid(lc));
1039  trftypes = construct_array(arr, list_length(trftypes_list),
1040  OIDOID, sizeof(Oid), true, 'i');
1041  }
1042  else
1043  {
1044  /* store SQL NULL instead of empty array */
1045  trftypes = NULL;
1046  }
1047 
1048  compute_attributes_with_style(pstate, stmt->withClause, &isStrict, &volatility);
1049 
1050  interpret_AS_clause(languageOid, language, funcname, as_clause,
1051  &prosrc_str, &probin_str);
1052 
1053  /*
1054  * Set default values for COST and ROWS depending on other parameters;
1055  * reject ROWS if it's not returnsSet. NB: pg_dump knows these default
1056  * values, keep it in sync if you change them.
1057  */
1058  if (procost < 0)
1059  {
1060  /* SQL and PL-language functions are assumed more expensive */
1061  if (languageOid == INTERNALlanguageId ||
1062  languageOid == ClanguageId)
1063  procost = 1;
1064  else
1065  procost = 100;
1066  }
1067  if (prorows < 0)
1068  {
1069  if (returnsSet)
1070  prorows = 1000;
1071  else
1072  prorows = 0; /* dummy value if not returnsSet */
1073  }
1074  else if (!returnsSet)
1075  ereport(ERROR,
1076  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1077  errmsg("ROWS is not applicable when function does not return a set")));
1078 
1079  /*
1080  * And now that we have all the parameters, and know we're permitted to do
1081  * so, go ahead and create the function.
1082  */
1083  return ProcedureCreate(funcname,
1084  namespaceId,
1085  stmt->replace,
1086  returnsSet,
1087  prorettype,
1088  GetUserId(),
1089  languageOid,
1090  languageValidator,
1091  prosrc_str, /* converted to text later */
1092  probin_str, /* converted to text later */
1093  false, /* not an aggregate */
1094  isWindowFunc,
1095  security,
1096  isLeakProof,
1097  isStrict,
1098  volatility,
1099  parallel,
1100  parameterTypes,
1101  PointerGetDatum(allParameterTypes),
1102  PointerGetDatum(parameterModes),
1103  PointerGetDatum(parameterNames),
1104  parameterDefaults,
1105  PointerGetDatum(trftypes),
1106  PointerGetDatum(proconfig),
1107  procost,
1108  prorows);
1109 }
1110 
1111 /*
1112  * Guts of function deletion.
1113  *
1114  * Note: this is also used for aggregate deletion, since the OIDs of
1115  * both functions and aggregates point to pg_proc.
1116  */
1117 void
1119 {
1120  Relation relation;
1121  HeapTuple tup;
1122  bool isagg;
1123 
1124  /*
1125  * Delete the pg_proc tuple.
1126  */
1128 
1129  tup = SearchSysCache1(PROCOID, ObjectIdGetDatum(funcOid));
1130  if (!HeapTupleIsValid(tup)) /* should not happen */
1131  elog(ERROR, "cache lookup failed for function %u", funcOid);
1132 
1133  isagg = ((Form_pg_proc) GETSTRUCT(tup))->proisagg;
1134 
1135  CatalogTupleDelete(relation, &tup->t_self);
1136 
1137  ReleaseSysCache(tup);
1138 
1139  heap_close(relation, RowExclusiveLock);
1140 
1141  /*
1142  * If there's a pg_aggregate tuple, delete that too.
1143  */
1144  if (isagg)
1145  {
1147 
1148  tup = SearchSysCache1(AGGFNOID, ObjectIdGetDatum(funcOid));
1149  if (!HeapTupleIsValid(tup)) /* should not happen */
1150  elog(ERROR, "cache lookup failed for pg_aggregate tuple for function %u", funcOid);
1151 
1152  CatalogTupleDelete(relation, &tup->t_self);
1153 
1154  ReleaseSysCache(tup);
1155 
1156  heap_close(relation, RowExclusiveLock);
1157  }
1158 }
1159 
1160 /*
1161  * Implements the ALTER FUNCTION utility command (except for the
1162  * RENAME and OWNER clauses, which are handled as part of the generic
1163  * ALTER framework).
1164  */
1167 {
1168  HeapTuple tup;
1169  Oid funcOid;
1170  Form_pg_proc procForm;
1171  Relation rel;
1172  ListCell *l;
1173  DefElem *volatility_item = NULL;
1174  DefElem *strict_item = NULL;
1175  DefElem *security_def_item = NULL;
1176  DefElem *leakproof_item = NULL;
1177  List *set_items = NIL;
1178  DefElem *cost_item = NULL;
1179  DefElem *rows_item = NULL;
1180  DefElem *parallel_item = NULL;
1181  ObjectAddress address;
1182 
1184 
1185  funcOid = LookupFuncWithArgs(stmt->func, false);
1186 
1187  tup = SearchSysCacheCopy1(PROCOID, ObjectIdGetDatum(funcOid));
1188  if (!HeapTupleIsValid(tup)) /* should not happen */
1189  elog(ERROR, "cache lookup failed for function %u", funcOid);
1190 
1191  procForm = (Form_pg_proc) GETSTRUCT(tup);
1192 
1193  /* Permission check: must own function */
1194  if (!pg_proc_ownercheck(funcOid, GetUserId()))
1196  NameListToString(stmt->func->objname));
1197 
1198  if (procForm->proisagg)
1199  ereport(ERROR,
1200  (errcode(ERRCODE_WRONG_OBJECT_TYPE),
1201  errmsg("\"%s\" is an aggregate function",
1202  NameListToString(stmt->func->objname))));
1203 
1204  /* Examine requested actions. */
1205  foreach(l, stmt->actions)
1206  {
1207  DefElem *defel = (DefElem *) lfirst(l);
1208 
1209  if (compute_common_attribute(pstate,
1210  defel,
1211  &volatility_item,
1212  &strict_item,
1213  &security_def_item,
1214  &leakproof_item,
1215  &set_items,
1216  &cost_item,
1217  &rows_item,
1218  &parallel_item) == false)
1219  elog(ERROR, "option \"%s\" not recognized", defel->defname);
1220  }
1221 
1222  if (volatility_item)
1223  procForm->provolatile = interpret_func_volatility(volatility_item);
1224  if (strict_item)
1225  procForm->proisstrict = intVal(strict_item->arg);
1226  if (security_def_item)
1227  procForm->prosecdef = intVal(security_def_item->arg);
1228  if (leakproof_item)
1229  {
1230  procForm->proleakproof = intVal(leakproof_item->arg);
1231  if (procForm->proleakproof && !superuser())
1232  ereport(ERROR,
1233  (errcode(ERRCODE_INSUFFICIENT_PRIVILEGE),
1234  errmsg("only superuser can define a leakproof function")));
1235  }
1236  if (cost_item)
1237  {
1238  procForm->procost = defGetNumeric(cost_item);
1239  if (procForm->procost <= 0)
1240  ereport(ERROR,
1241  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1242  errmsg("COST must be positive")));
1243  }
1244  if (rows_item)
1245  {
1246  procForm->prorows = defGetNumeric(rows_item);
1247  if (procForm->prorows <= 0)
1248  ereport(ERROR,
1249  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1250  errmsg("ROWS must be positive")));
1251  if (!procForm->proretset)
1252  ereport(ERROR,
1253  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1254  errmsg("ROWS is not applicable when function does not return a set")));
1255  }
1256  if (set_items)
1257  {
1258  Datum datum;
1259  bool isnull;
1260  ArrayType *a;
1261  Datum repl_val[Natts_pg_proc];
1262  bool repl_null[Natts_pg_proc];
1263  bool repl_repl[Natts_pg_proc];
1264 
1265  /* extract existing proconfig setting */
1266  datum = SysCacheGetAttr(PROCOID, tup, Anum_pg_proc_proconfig, &isnull);
1267  a = isnull ? NULL : DatumGetArrayTypeP(datum);
1268 
1269  /* update according to each SET or RESET item, left to right */
1270  a = update_proconfig_value(a, set_items);
1271 
1272  /* update the tuple */
1273  memset(repl_repl, false, sizeof(repl_repl));
1274  repl_repl[Anum_pg_proc_proconfig - 1] = true;
1275 
1276  if (a == NULL)
1277  {
1278  repl_val[Anum_pg_proc_proconfig - 1] = (Datum) 0;
1279  repl_null[Anum_pg_proc_proconfig - 1] = true;
1280  }
1281  else
1282  {
1283  repl_val[Anum_pg_proc_proconfig - 1] = PointerGetDatum(a);
1284  repl_null[Anum_pg_proc_proconfig - 1] = false;
1285  }
1286 
1287  tup = heap_modify_tuple(tup, RelationGetDescr(rel),
1288  repl_val, repl_null, repl_repl);
1289  }
1290  if (parallel_item)
1291  procForm->proparallel = interpret_func_parallel(parallel_item);
1292 
1293  /* Do the update */
1294  CatalogTupleUpdate(rel, &tup->t_self, tup);
1295 
1297 
1298  ObjectAddressSet(address, ProcedureRelationId, funcOid);
1299 
1300  heap_close(rel, NoLock);
1301  heap_freetuple(tup);
1302 
1303  return address;
1304 }
1305 
1306 /*
1307  * SetFunctionReturnType - change declared return type of a function
1308  *
1309  * This is presently only used for adjusting legacy functions that return
1310  * OPAQUE to return whatever we find their correct definition should be.
1311  * The caller should emit a suitable warning explaining what we did.
1312  */
1313 void
1314 SetFunctionReturnType(Oid funcOid, Oid newRetType)
1315 {
1316  Relation pg_proc_rel;
1317  HeapTuple tup;
1318  Form_pg_proc procForm;
1319 
1321 
1322  tup = SearchSysCacheCopy1(PROCOID, ObjectIdGetDatum(funcOid));
1323  if (!HeapTupleIsValid(tup)) /* should not happen */
1324  elog(ERROR, "cache lookup failed for function %u", funcOid);
1325  procForm = (Form_pg_proc) GETSTRUCT(tup);
1326 
1327  if (procForm->prorettype != OPAQUEOID) /* caller messed up */
1328  elog(ERROR, "function %u doesn't return OPAQUE", funcOid);
1329 
1330  /* okay to overwrite copied tuple */
1331  procForm->prorettype = newRetType;
1332 
1333  /* update the catalog and its indexes */
1334  CatalogTupleUpdate(pg_proc_rel, &tup->t_self, tup);
1335 
1336  heap_close(pg_proc_rel, RowExclusiveLock);
1337 }
1338 
1339 
1340 /*
1341  * SetFunctionArgType - change declared argument type of a function
1342  *
1343  * As above, but change an argument's type.
1344  */
1345 void
1346 SetFunctionArgType(Oid funcOid, int argIndex, Oid newArgType)
1347 {
1348  Relation pg_proc_rel;
1349  HeapTuple tup;
1350  Form_pg_proc procForm;
1351 
1353 
1354  tup = SearchSysCacheCopy1(PROCOID, ObjectIdGetDatum(funcOid));
1355  if (!HeapTupleIsValid(tup)) /* should not happen */
1356  elog(ERROR, "cache lookup failed for function %u", funcOid);
1357  procForm = (Form_pg_proc) GETSTRUCT(tup);
1358 
1359  if (argIndex < 0 || argIndex >= procForm->pronargs ||
1360  procForm->proargtypes.values[argIndex] != OPAQUEOID)
1361  elog(ERROR, "function %u doesn't take OPAQUE", funcOid);
1362 
1363  /* okay to overwrite copied tuple */
1364  procForm->proargtypes.values[argIndex] = newArgType;
1365 
1366  /* update the catalog and its indexes */
1367  CatalogTupleUpdate(pg_proc_rel, &tup->t_self, tup);
1368 
1369  heap_close(pg_proc_rel, RowExclusiveLock);
1370 }
1371 
1372 
1373 
1374 /*
1375  * CREATE CAST
1376  */
1379 {
1380  Oid sourcetypeid;
1381  Oid targettypeid;
1382  char sourcetyptype;
1383  char targettyptype;
1384  Oid funcid;
1385  Oid castid;
1386  int nargs;
1387  char castcontext;
1388  char castmethod;
1389  Relation relation;
1390  HeapTuple tuple;
1392  bool nulls[Natts_pg_cast];
1393  ObjectAddress myself,
1394  referenced;
1395  AclResult aclresult;
1396 
1397  sourcetypeid = typenameTypeId(NULL, stmt->sourcetype);
1398  targettypeid = typenameTypeId(NULL, stmt->targettype);
1399  sourcetyptype = get_typtype(sourcetypeid);
1400  targettyptype = get_typtype(targettypeid);
1401 
1402  /* No pseudo-types allowed */
1403  if (sourcetyptype == TYPTYPE_PSEUDO)
1404  ereport(ERROR,
1405  (errcode(ERRCODE_WRONG_OBJECT_TYPE),
1406  errmsg("source data type %s is a pseudo-type",
1407  TypeNameToString(stmt->sourcetype))));
1408 
1409  if (targettyptype == TYPTYPE_PSEUDO)
1410  ereport(ERROR,
1411  (errcode(ERRCODE_WRONG_OBJECT_TYPE),
1412  errmsg("target data type %s is a pseudo-type",
1413  TypeNameToString(stmt->targettype))));
1414 
1415  /* Permission check */
1416  if (!pg_type_ownercheck(sourcetypeid, GetUserId())
1417  && !pg_type_ownercheck(targettypeid, GetUserId()))
1418  ereport(ERROR,
1419  (errcode(ERRCODE_INSUFFICIENT_PRIVILEGE),
1420  errmsg("must be owner of type %s or type %s",
1421  format_type_be(sourcetypeid),
1422  format_type_be(targettypeid))));
1423 
1424  aclresult = pg_type_aclcheck(sourcetypeid, GetUserId(), ACL_USAGE);
1425  if (aclresult != ACLCHECK_OK)
1426  aclcheck_error_type(aclresult, sourcetypeid);
1427 
1428  aclresult = pg_type_aclcheck(targettypeid, GetUserId(), ACL_USAGE);
1429  if (aclresult != ACLCHECK_OK)
1430  aclcheck_error_type(aclresult, targettypeid);
1431 
1432  /* Domains are allowed for historical reasons, but we warn */
1433  if (sourcetyptype == TYPTYPE_DOMAIN)
1434  ereport(WARNING,
1435  (errcode(ERRCODE_WRONG_OBJECT_TYPE),
1436  errmsg("cast will be ignored because the source data type is a domain")));
1437 
1438  else if (targettyptype == TYPTYPE_DOMAIN)
1439  ereport(WARNING,
1440  (errcode(ERRCODE_WRONG_OBJECT_TYPE),
1441  errmsg("cast will be ignored because the target data type is a domain")));
1442 
1443  /* Determine the cast method */
1444  if (stmt->func != NULL)
1445  castmethod = COERCION_METHOD_FUNCTION;
1446  else if (stmt->inout)
1447  castmethod = COERCION_METHOD_INOUT;
1448  else
1449  castmethod = COERCION_METHOD_BINARY;
1450 
1451  if (castmethod == COERCION_METHOD_FUNCTION)
1452  {
1453  Form_pg_proc procstruct;
1454 
1455  funcid = LookupFuncWithArgs(stmt->func, false);
1456 
1457  tuple = SearchSysCache1(PROCOID, ObjectIdGetDatum(funcid));
1458  if (!HeapTupleIsValid(tuple))
1459  elog(ERROR, "cache lookup failed for function %u", funcid);
1460 
1461  procstruct = (Form_pg_proc) GETSTRUCT(tuple);
1462  nargs = procstruct->pronargs;
1463  if (nargs < 1 || nargs > 3)
1464  ereport(ERROR,
1465  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1466  errmsg("cast function must take one to three arguments")));
1467  if (!IsBinaryCoercible(sourcetypeid, procstruct->proargtypes.values[0]))
1468  ereport(ERROR,
1469  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1470  errmsg("argument of cast function must match or be binary-coercible from source data type")));
1471  if (nargs > 1 && procstruct->proargtypes.values[1] != INT4OID)
1472  ereport(ERROR,
1473  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1474  errmsg("second argument of cast function must be type %s",
1475  "integer")));
1476  if (nargs > 2 && procstruct->proargtypes.values[2] != BOOLOID)
1477  ereport(ERROR,
1478  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1479  errmsg("third argument of cast function must be type %s",
1480  "boolean")));
1481  if (!IsBinaryCoercible(procstruct->prorettype, targettypeid))
1482  ereport(ERROR,
1483  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1484  errmsg("return data type of cast function must match or be binary-coercible to target data type")));
1485 
1486  /*
1487  * Restricting the volatility of a cast function may or may not be a
1488  * good idea in the abstract, but it definitely breaks many old
1489  * user-defined types. Disable this check --- tgl 2/1/03
1490  */
1491 #ifdef NOT_USED
1492  if (procstruct->provolatile == PROVOLATILE_VOLATILE)
1493  ereport(ERROR,
1494  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1495  errmsg("cast function must not be volatile")));
1496 #endif
1497  if (procstruct->proisagg)
1498  ereport(ERROR,
1499  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1500  errmsg("cast function must not be an aggregate function")));
1501  if (procstruct->proiswindow)
1502  ereport(ERROR,
1503  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1504  errmsg("cast function must not be a window function")));
1505  if (procstruct->proretset)
1506  ereport(ERROR,
1507  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1508  errmsg("cast function must not return a set")));
1509 
1510  ReleaseSysCache(tuple);
1511  }
1512  else
1513  {
1514  funcid = InvalidOid;
1515  nargs = 0;
1516  }
1517 
1518  if (castmethod == COERCION_METHOD_BINARY)
1519  {
1520  int16 typ1len;
1521  int16 typ2len;
1522  bool typ1byval;
1523  bool typ2byval;
1524  char typ1align;
1525  char typ2align;
1526 
1527  /*
1528  * Must be superuser to create binary-compatible casts, since
1529  * erroneous casts can easily crash the backend.
1530  */
1531  if (!superuser())
1532  ereport(ERROR,
1533  (errcode(ERRCODE_INSUFFICIENT_PRIVILEGE),
1534  errmsg("must be superuser to create a cast WITHOUT FUNCTION")));
1535 
1536  /*
1537  * Also, insist that the types match as to size, alignment, and
1538  * pass-by-value attributes; this provides at least a crude check that
1539  * they have similar representations. A pair of types that fail this
1540  * test should certainly not be equated.
1541  */
1542  get_typlenbyvalalign(sourcetypeid, &typ1len, &typ1byval, &typ1align);
1543  get_typlenbyvalalign(targettypeid, &typ2len, &typ2byval, &typ2align);
1544  if (typ1len != typ2len ||
1545  typ1byval != typ2byval ||
1546  typ1align != typ2align)
1547  ereport(ERROR,
1548  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1549  errmsg("source and target data types are not physically compatible")));
1550 
1551  /*
1552  * We know that composite, enum and array types are never binary-
1553  * compatible with each other. They all have OIDs embedded in them.
1554  *
1555  * Theoretically you could build a user-defined base type that is
1556  * binary-compatible with a composite, enum, or array type. But we
1557  * disallow that too, as in practice such a cast is surely a mistake.
1558  * You can always work around that by writing a cast function.
1559  */
1560  if (sourcetyptype == TYPTYPE_COMPOSITE ||
1561  targettyptype == TYPTYPE_COMPOSITE)
1562  ereport(ERROR,
1563  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1564  errmsg("composite data types are not binary-compatible")));
1565 
1566  if (sourcetyptype == TYPTYPE_ENUM ||
1567  targettyptype == TYPTYPE_ENUM)
1568  ereport(ERROR,
1569  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1570  errmsg("enum data types are not binary-compatible")));
1571 
1572  if (OidIsValid(get_element_type(sourcetypeid)) ||
1573  OidIsValid(get_element_type(targettypeid)))
1574  ereport(ERROR,
1575  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1576  errmsg("array data types are not binary-compatible")));
1577 
1578  /*
1579  * We also disallow creating binary-compatibility casts involving
1580  * domains. Casting from a domain to its base type is already
1581  * allowed, and casting the other way ought to go through domain
1582  * coercion to permit constraint checking. Again, if you're intent on
1583  * having your own semantics for that, create a no-op cast function.
1584  *
1585  * NOTE: if we were to relax this, the above checks for composites
1586  * etc. would have to be modified to look through domains to their
1587  * base types.
1588  */
1589  if (sourcetyptype == TYPTYPE_DOMAIN ||
1590  targettyptype == TYPTYPE_DOMAIN)
1591  ereport(ERROR,
1592  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1593  errmsg("domain data types must not be marked binary-compatible")));
1594  }
1595 
1596  /*
1597  * Allow source and target types to be same only for length coercion
1598  * functions. We assume a multi-arg function does length coercion.
1599  */
1600  if (sourcetypeid == targettypeid && nargs < 2)
1601  ereport(ERROR,
1602  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1603  errmsg("source data type and target data type are the same")));
1604 
1605  /* convert CoercionContext enum to char value for castcontext */
1606  switch (stmt->context)
1607  {
1608  case COERCION_IMPLICIT:
1609  castcontext = COERCION_CODE_IMPLICIT;
1610  break;
1611  case COERCION_ASSIGNMENT:
1612  castcontext = COERCION_CODE_ASSIGNMENT;
1613  break;
1614  case COERCION_EXPLICIT:
1615  castcontext = COERCION_CODE_EXPLICIT;
1616  break;
1617  default:
1618  elog(ERROR, "unrecognized CoercionContext: %d", stmt->context);
1619  castcontext = 0; /* keep compiler quiet */
1620  break;
1621  }
1622 
1624 
1625  /*
1626  * Check for duplicate. This is just to give a friendly error message,
1627  * the unique index would catch it anyway (so no need to sweat about race
1628  * conditions).
1629  */
1631  ObjectIdGetDatum(sourcetypeid),
1632  ObjectIdGetDatum(targettypeid));
1633  if (HeapTupleIsValid(tuple))
1634  ereport(ERROR,
1636  errmsg("cast from type %s to type %s already exists",
1637  format_type_be(sourcetypeid),
1638  format_type_be(targettypeid))));
1639 
1640  /* ready to go */
1641  values[Anum_pg_cast_castsource - 1] = ObjectIdGetDatum(sourcetypeid);
1642  values[Anum_pg_cast_casttarget - 1] = ObjectIdGetDatum(targettypeid);
1643  values[Anum_pg_cast_castfunc - 1] = ObjectIdGetDatum(funcid);
1644  values[Anum_pg_cast_castcontext - 1] = CharGetDatum(castcontext);
1645  values[Anum_pg_cast_castmethod - 1] = CharGetDatum(castmethod);
1646 
1647  MemSet(nulls, false, sizeof(nulls));
1648 
1649  tuple = heap_form_tuple(RelationGetDescr(relation), values, nulls);
1650 
1651  castid = CatalogTupleInsert(relation, tuple);
1652 
1653  /* make dependency entries */
1654  myself.classId = CastRelationId;
1655  myself.objectId = castid;
1656  myself.objectSubId = 0;
1657 
1658  /* dependency on source type */
1659  referenced.classId = TypeRelationId;
1660  referenced.objectId = sourcetypeid;
1661  referenced.objectSubId = 0;
1662  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
1663 
1664  /* dependency on target type */
1665  referenced.classId = TypeRelationId;
1666  referenced.objectId = targettypeid;
1667  referenced.objectSubId = 0;
1668  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
1669 
1670  /* dependency on function */
1671  if (OidIsValid(funcid))
1672  {
1673  referenced.classId = ProcedureRelationId;
1674  referenced.objectId = funcid;
1675  referenced.objectSubId = 0;
1676  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
1677  }
1678 
1679  /* dependency on extension */
1680  recordDependencyOnCurrentExtension(&myself, false);
1681 
1682  /* Post creation hook for new cast */
1684 
1685  heap_freetuple(tuple);
1686 
1687  heap_close(relation, RowExclusiveLock);
1688 
1689  return myself;
1690 }
1691 
1692 /*
1693  * get_cast_oid - given two type OIDs, look up a cast OID
1694  *
1695  * If missing_ok is false, throw an error if the cast is not found. If
1696  * true, just return InvalidOid.
1697  */
1698 Oid
1699 get_cast_oid(Oid sourcetypeid, Oid targettypeid, bool missing_ok)
1700 {
1701  Oid oid;
1702 
1704  ObjectIdGetDatum(sourcetypeid),
1705  ObjectIdGetDatum(targettypeid));
1706  if (!OidIsValid(oid) && !missing_ok)
1707  ereport(ERROR,
1708  (errcode(ERRCODE_UNDEFINED_OBJECT),
1709  errmsg("cast from type %s to type %s does not exist",
1710  format_type_be(sourcetypeid),
1711  format_type_be(targettypeid))));
1712  return oid;
1713 }
1714 
1715 void
1717 {
1718  Relation relation;
1719  ScanKeyData scankey;
1720  SysScanDesc scan;
1721  HeapTuple tuple;
1722 
1724 
1725  ScanKeyInit(&scankey,
1727  BTEqualStrategyNumber, F_OIDEQ,
1728  ObjectIdGetDatum(castOid));
1729  scan = systable_beginscan(relation, CastOidIndexId, true,
1730  NULL, 1, &scankey);
1731 
1732  tuple = systable_getnext(scan);
1733  if (!HeapTupleIsValid(tuple))
1734  elog(ERROR, "could not find tuple for cast %u", castOid);
1735  CatalogTupleDelete(relation, &tuple->t_self);
1736 
1737  systable_endscan(scan);
1738  heap_close(relation, RowExclusiveLock);
1739 }
1740 
1741 
1742 static void
1744 {
1745  if (procstruct->provolatile == PROVOLATILE_VOLATILE)
1746  ereport(ERROR,
1747  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1748  errmsg("transform function must not be volatile")));
1749  if (procstruct->proisagg)
1750  ereport(ERROR,
1751  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1752  errmsg("transform function must not be an aggregate function")));
1753  if (procstruct->proiswindow)
1754  ereport(ERROR,
1755  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1756  errmsg("transform function must not be a window function")));
1757  if (procstruct->proretset)
1758  ereport(ERROR,
1759  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1760  errmsg("transform function must not return a set")));
1761  if (procstruct->pronargs != 1)
1762  ereport(ERROR,
1763  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1764  errmsg("transform function must take one argument")));
1765  if (procstruct->proargtypes.values[0] != INTERNALOID)
1766  ereport(ERROR,
1767  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1768  errmsg("first argument of transform function must be type %s",
1769  "internal")));
1770 }
1771 
1772 
1773 /*
1774  * CREATE TRANSFORM
1775  */
1778 {
1779  Oid typeid;
1780  char typtype;
1781  Oid langid;
1782  Oid fromsqlfuncid;
1783  Oid tosqlfuncid;
1784  AclResult aclresult;
1785  Form_pg_proc procstruct;
1787  bool nulls[Natts_pg_transform];
1788  bool replaces[Natts_pg_transform];
1789  Oid transformid;
1790  HeapTuple tuple;
1791  HeapTuple newtuple;
1792  Relation relation;
1793  ObjectAddress myself,
1794  referenced;
1795  bool is_replace;
1796 
1797  /*
1798  * Get the type
1799  */
1800  typeid = typenameTypeId(NULL, stmt->type_name);
1801  typtype = get_typtype(typeid);
1802 
1803  if (typtype == TYPTYPE_PSEUDO)
1804  ereport(ERROR,
1805  (errcode(ERRCODE_WRONG_OBJECT_TYPE),
1806  errmsg("data type %s is a pseudo-type",
1807  TypeNameToString(stmt->type_name))));
1808 
1809  if (typtype == TYPTYPE_DOMAIN)
1810  ereport(ERROR,
1811  (errcode(ERRCODE_WRONG_OBJECT_TYPE),
1812  errmsg("data type %s is a domain",
1813  TypeNameToString(stmt->type_name))));
1814 
1815  if (!pg_type_ownercheck(typeid, GetUserId()))
1817 
1818  aclresult = pg_type_aclcheck(typeid, GetUserId(), ACL_USAGE);
1819  if (aclresult != ACLCHECK_OK)
1820  aclcheck_error_type(aclresult, typeid);
1821 
1822  /*
1823  * Get the language
1824  */
1825  langid = get_language_oid(stmt->lang, false);
1826 
1827  aclresult = pg_language_aclcheck(langid, GetUserId(), ACL_USAGE);
1828  if (aclresult != ACLCHECK_OK)
1829  aclcheck_error(aclresult, ACL_KIND_LANGUAGE, stmt->lang);
1830 
1831  /*
1832  * Get the functions
1833  */
1834  if (stmt->fromsql)
1835  {
1836  fromsqlfuncid = LookupFuncWithArgs(stmt->fromsql, false);
1837 
1838  if (!pg_proc_ownercheck(fromsqlfuncid, GetUserId()))
1840 
1841  aclresult = pg_proc_aclcheck(fromsqlfuncid, GetUserId(), ACL_EXECUTE);
1842  if (aclresult != ACLCHECK_OK)
1844 
1845  tuple = SearchSysCache1(PROCOID, ObjectIdGetDatum(fromsqlfuncid));
1846  if (!HeapTupleIsValid(tuple))
1847  elog(ERROR, "cache lookup failed for function %u", fromsqlfuncid);
1848  procstruct = (Form_pg_proc) GETSTRUCT(tuple);
1849  if (procstruct->prorettype != INTERNALOID)
1850  ereport(ERROR,
1851  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1852  errmsg("return data type of FROM SQL function must be %s",
1853  "internal")));
1854  check_transform_function(procstruct);
1855  ReleaseSysCache(tuple);
1856  }
1857  else
1858  fromsqlfuncid = InvalidOid;
1859 
1860  if (stmt->tosql)
1861  {
1862  tosqlfuncid = LookupFuncWithArgs(stmt->tosql, false);
1863 
1864  if (!pg_proc_ownercheck(tosqlfuncid, GetUserId()))
1866 
1867  aclresult = pg_proc_aclcheck(tosqlfuncid, GetUserId(), ACL_EXECUTE);
1868  if (aclresult != ACLCHECK_OK)
1870 
1871  tuple = SearchSysCache1(PROCOID, ObjectIdGetDatum(tosqlfuncid));
1872  if (!HeapTupleIsValid(tuple))
1873  elog(ERROR, "cache lookup failed for function %u", tosqlfuncid);
1874  procstruct = (Form_pg_proc) GETSTRUCT(tuple);
1875  if (procstruct->prorettype != typeid)
1876  ereport(ERROR,
1877  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
1878  errmsg("return data type of TO SQL function must be the transform data type")));
1879  check_transform_function(procstruct);
1880  ReleaseSysCache(tuple);
1881  }
1882  else
1883  tosqlfuncid = InvalidOid;
1884 
1885  /*
1886  * Ready to go
1887  */
1888  values[Anum_pg_transform_trftype - 1] = ObjectIdGetDatum(typeid);
1889  values[Anum_pg_transform_trflang - 1] = ObjectIdGetDatum(langid);
1890  values[Anum_pg_transform_trffromsql - 1] = ObjectIdGetDatum(fromsqlfuncid);
1891  values[Anum_pg_transform_trftosql - 1] = ObjectIdGetDatum(tosqlfuncid);
1892 
1893  MemSet(nulls, false, sizeof(nulls));
1894 
1896 
1897  tuple = SearchSysCache2(TRFTYPELANG,
1898  ObjectIdGetDatum(typeid),
1899  ObjectIdGetDatum(langid));
1900  if (HeapTupleIsValid(tuple))
1901  {
1902  if (!stmt->replace)
1903  ereport(ERROR,
1905  errmsg("transform for type %s language \"%s\" already exists",
1906  format_type_be(typeid),
1907  stmt->lang)));
1908 
1909  MemSet(replaces, false, sizeof(replaces));
1910  replaces[Anum_pg_transform_trffromsql - 1] = true;
1911  replaces[Anum_pg_transform_trftosql - 1] = true;
1912 
1913  newtuple = heap_modify_tuple(tuple, RelationGetDescr(relation), values, nulls, replaces);
1914  CatalogTupleUpdate(relation, &newtuple->t_self, newtuple);
1915 
1916  transformid = HeapTupleGetOid(tuple);
1917  ReleaseSysCache(tuple);
1918  is_replace = true;
1919  }
1920  else
1921  {
1922  newtuple = heap_form_tuple(RelationGetDescr(relation), values, nulls);
1923  transformid = CatalogTupleInsert(relation, newtuple);
1924  is_replace = false;
1925  }
1926 
1927  if (is_replace)
1928  deleteDependencyRecordsFor(TransformRelationId, transformid, true);
1929 
1930  /* make dependency entries */
1931  myself.classId = TransformRelationId;
1932  myself.objectId = transformid;
1933  myself.objectSubId = 0;
1934 
1935  /* dependency on language */
1936  referenced.classId = LanguageRelationId;
1937  referenced.objectId = langid;
1938  referenced.objectSubId = 0;
1939  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
1940 
1941  /* dependency on type */
1942  referenced.classId = TypeRelationId;
1943  referenced.objectId = typeid;
1944  referenced.objectSubId = 0;
1945  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
1946 
1947  /* dependencies on functions */
1948  if (OidIsValid(fromsqlfuncid))
1949  {
1950  referenced.classId = ProcedureRelationId;
1951  referenced.objectId = fromsqlfuncid;
1952  referenced.objectSubId = 0;
1953  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
1954  }
1955  if (OidIsValid(tosqlfuncid))
1956  {
1957  referenced.classId = ProcedureRelationId;
1958  referenced.objectId = tosqlfuncid;
1959  referenced.objectSubId = 0;
1960  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
1961  }
1962 
1963  /* dependency on extension */
1964  recordDependencyOnCurrentExtension(&myself, is_replace);
1965 
1966  /* Post creation hook for new transform */
1968 
1969  heap_freetuple(newtuple);
1970 
1971  heap_close(relation, RowExclusiveLock);
1972 
1973  return myself;
1974 }
1975 
1976 
1977 /*
1978  * get_transform_oid - given type OID and language OID, look up a transform OID
1979  *
1980  * If missing_ok is false, throw an error if the transform is not found. If
1981  * true, just return InvalidOid.
1982  */
1983 Oid
1984 get_transform_oid(Oid type_id, Oid lang_id, bool missing_ok)
1985 {
1986  Oid oid;
1987 
1989  ObjectIdGetDatum(type_id),
1990  ObjectIdGetDatum(lang_id));
1991  if (!OidIsValid(oid) && !missing_ok)
1992  ereport(ERROR,
1993  (errcode(ERRCODE_UNDEFINED_OBJECT),
1994  errmsg("transform for type %s language \"%s\" does not exist",
1995  format_type_be(type_id),
1996  get_language_name(lang_id, false))));
1997  return oid;
1998 }
1999 
2000 
2001 void
2002 DropTransformById(Oid transformOid)
2003 {
2004  Relation relation;
2005  ScanKeyData scankey;
2006  SysScanDesc scan;
2007  HeapTuple tuple;
2008 
2010 
2011  ScanKeyInit(&scankey,
2013  BTEqualStrategyNumber, F_OIDEQ,
2014  ObjectIdGetDatum(transformOid));
2015  scan = systable_beginscan(relation, TransformOidIndexId, true,
2016  NULL, 1, &scankey);
2017 
2018  tuple = systable_getnext(scan);
2019  if (!HeapTupleIsValid(tuple))
2020  elog(ERROR, "could not find tuple for transform %u", transformOid);
2021  CatalogTupleDelete(relation, &tuple->t_self);
2022 
2023  systable_endscan(scan);
2024  heap_close(relation, RowExclusiveLock);
2025 }
2026 
2027 
2028 /*
2029  * Subroutine for ALTER FUNCTION/AGGREGATE SET SCHEMA/RENAME
2030  *
2031  * Is there a function with the given name and signature already in the given
2032  * namespace? If so, raise an appropriate error message.
2033  */
2034 void
2035 IsThereFunctionInNamespace(const char *proname, int pronargs,
2036  oidvector *proargtypes, Oid nspOid)
2037 {
2038  /* check for duplicate name (more friendly than unique-index failure) */
2040  CStringGetDatum(proname),
2041  PointerGetDatum(proargtypes),
2042  ObjectIdGetDatum(nspOid)))
2043  ereport(ERROR,
2044  (errcode(ERRCODE_DUPLICATE_FUNCTION),
2045  errmsg("function %s already exists in schema \"%s\"",
2046  funcname_signature_string(proname, pronargs,
2047  NIL, proargtypes->values),
2048  get_namespace_name(nspOid))));
2049 }
2050 
2051 /*
2052  * ExecuteDoStmt
2053  * Execute inline procedural-language code
2054  */
2055 void
2057 {
2059  ListCell *arg;
2060  DefElem *as_item = NULL;
2061  DefElem *language_item = NULL;
2062  char *language;
2063  Oid laninline;
2064  HeapTuple languageTuple;
2065  Form_pg_language languageStruct;
2066 
2067  /* Process options we got from gram.y */
2068  foreach(arg, stmt->args)
2069  {
2070  DefElem *defel = (DefElem *) lfirst(arg);
2071 
2072  if (strcmp(defel->defname, "as") == 0)
2073  {
2074  if (as_item)
2075  ereport(ERROR,
2076  (errcode(ERRCODE_SYNTAX_ERROR),
2077  errmsg("conflicting or redundant options")));
2078  as_item = defel;
2079  }
2080  else if (strcmp(defel->defname, "language") == 0)
2081  {
2082  if (language_item)
2083  ereport(ERROR,
2084  (errcode(ERRCODE_SYNTAX_ERROR),
2085  errmsg("conflicting or redundant options")));
2086  language_item = defel;
2087  }
2088  else
2089  elog(ERROR, "option \"%s\" not recognized",
2090  defel->defname);
2091  }
2092 
2093  if (as_item)
2094  codeblock->source_text = strVal(as_item->arg);
2095  else
2096  ereport(ERROR,
2097  (errcode(ERRCODE_SYNTAX_ERROR),
2098  errmsg("no inline code specified")));
2099 
2100  /* if LANGUAGE option wasn't specified, use the default */
2101  if (language_item)
2102  language = strVal(language_item->arg);
2103  else
2104  language = "plpgsql";
2105 
2106  /* Look up the language and validate permissions */
2107  languageTuple = SearchSysCache1(LANGNAME, PointerGetDatum(language));
2108  if (!HeapTupleIsValid(languageTuple))
2109  ereport(ERROR,
2110  (errcode(ERRCODE_UNDEFINED_OBJECT),
2111  errmsg("language \"%s\" does not exist", language),
2112  (PLTemplateExists(language) ?
2113  errhint("Use CREATE LANGUAGE to load the language into the database.") : 0)));
2114 
2115  codeblock->langOid = HeapTupleGetOid(languageTuple);
2116  languageStruct = (Form_pg_language) GETSTRUCT(languageTuple);
2117  codeblock->langIsTrusted = languageStruct->lanpltrusted;
2118 
2119  if (languageStruct->lanpltrusted)
2120  {
2121  /* if trusted language, need USAGE privilege */
2122  AclResult aclresult;
2123 
2124  aclresult = pg_language_aclcheck(codeblock->langOid, GetUserId(),
2125  ACL_USAGE);
2126  if (aclresult != ACLCHECK_OK)
2127  aclcheck_error(aclresult, ACL_KIND_LANGUAGE,
2128  NameStr(languageStruct->lanname));
2129  }
2130  else
2131  {
2132  /* if untrusted language, must be superuser */
2133  if (!superuser())
2135  NameStr(languageStruct->lanname));
2136  }
2137 
2138  /* get the handler function's OID */
2139  laninline = languageStruct->laninline;
2140  if (!OidIsValid(laninline))
2141  ereport(ERROR,
2142  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
2143  errmsg("language \"%s\" does not support inline code execution",
2144  NameStr(languageStruct->lanname))));
2145 
2146  ReleaseSysCache(languageTuple);
2147 
2148  /* execute the inline handler */
2149  OidFunctionCall1(laninline, PointerGetDatum(codeblock));
2150 }
Type LookupTypeName(ParseState *pstate, const TypeName *typeName, int32 *typmod_p, bool missing_ok)
Definition: parse_type.c:57
signed short int16
Definition: c.h:255
#define NIL
Definition: pg_list.h:69
Definition: c.h:478
#define TYPTYPE_DOMAIN
Definition: pg_type.h:722
TypeName * sourcetype
Definition: parsenodes.h:3222
ArrayType * GUCArrayAdd(ArrayType *array, const char *name, const char *value)
Definition: guc.c:9474
ObjectAddress CreateTransform(CreateTransformStmt *stmt)
#define Anum_pg_cast_castfunc
Definition: pg_cast.h:80
ObjectWithArgs * tosql
Definition: parsenodes.h:3240
int errhint(const char *fmt,...)
Definition: elog.c:987
#define Anum_pg_cast_casttarget
Definition: pg_cast.h:79
static void check_transform_function(Form_pg_proc procstruct)
void systable_endscan(SysScanDesc sysscan)
Definition: genam.c:499
#define GETSTRUCT(TUP)
Definition: htup_details.h:656
static void compute_attributes_sql_style(ParseState *pstate, List *options, List **as, char **language, Node **transform, bool *windowfunc_p, char *volatility_p, bool *strict_p, bool *security_definer, bool *leakproof_p, ArrayType **proconfig, float4 *procost, float4 *prorows, char *parallel_p)
Definition: functioncmds.c:605
#define PROVOLATILE_IMMUTABLE
Definition: pg_proc.h:5479
#define InvokeObjectPostCreateHook(classId, objectId, subId)
Definition: objectaccess.h:145
List * names
Definition: parsenodes.h:209
VariableSetKind kind
Definition: parsenodes.h:1938
char * get_language_name(Oid langoid, bool missing_ok)
Definition: lsyscache.c:1018
ObjectAddress CreateFunction(ParseState *pstate, CreateFunctionStmt *stmt)
Definition: functioncmds.c:861
#define TransformRelationId
Definition: pg_transform.h:25
#define INTERNALlanguageId
Definition: pg_language.h:74
#define RelationGetDescr(relation)
Definition: rel.h:429
Oid GetUserId(void)
Definition: miscinit.c:283
#define ObjectIdAttributeNumber
Definition: sysattr.h:22
void DropTransformById(Oid transformOid)
#define castNode(_type_, nodeptr)
Definition: nodes.h:578
#define TYPTYPE_COMPOSITE
Definition: pg_type.h:721
#define OIDOID
Definition: pg_type.h:328
#define TEXTOID
Definition: pg_type.h:324
Oid QualifiedNameGetCreationNamespace(List *names, char **objname_p)
Definition: namespace.c:2846
Oid get_element_type(Oid typid)
Definition: lsyscache.c:2484
void get_typlenbyvalalign(Oid typid, int16 *typlen, bool *typbyval, char *typalign)
Definition: lsyscache.c:2021
#define PointerGetDatum(X)
Definition: postgres.h:562
char * TypeNameToString(const TypeName *typeName)
Definition: parse_type.c:459
#define ProcedureRelationId
Definition: pg_proc.h:33
void ExecuteDoStmt(DoStmt *stmt)
double defGetNumeric(DefElem *def)
Definition: define.c:85
Node * transformExpr(ParseState *pstate, Node *expr, ParseExprKind exprKind)
Definition: parse_expr.c:147
long deleteDependencyRecordsFor(Oid classId, Oid objectId, bool skipExtensionDeps)
Definition: pg_depend.c:191
Oid get_language_oid(const char *langname, bool missing_ok)
Definition: proclang.c:553
static void compute_return_type(TypeName *returnType, Oid languageOid, Oid *prorettype_p, bool *returnsSet_p)
Definition: functioncmds.c:83
ArrayType * construct_array(Datum *elems, int nelems, Oid elmtype, int elmlen, bool elmbyval, char elmalign)
Definition: arrayfuncs.c:3306
#define INT4OID
Definition: pg_type.h:316
Definition: nodes.h:509
#define strVal(v)
Definition: value.h:54
#define ClanguageId
Definition: pg_language.h:77
int errcode(int sqlerrcode)
Definition: elog.c:575
bool superuser(void)
Definition: superuser.c:47
char get_typtype(Oid typid)
Definition: lsyscache.c:2379
#define MemSet(start, val, len)
Definition: c.h:857
char * format_type_be(Oid type_oid)
Definition: format_type.c:94
#define PROPARALLEL_RESTRICTED
Definition: pg_proc.h:5489
void CatalogTupleDelete(Relation heapRel, ItemPointer tid)
Definition: indexing.c:255
static void interpret_AS_clause(Oid languageOid, const char *languageName, char *funcname, List *as, char **prosrc_str_p, char **probin_str_p)
Definition: functioncmds.c:801
void recordDependencyOn(const ObjectAddress *depender, const ObjectAddress *referenced, DependencyType behavior)
Definition: pg_depend.c:44
HeapTuple heap_form_tuple(TupleDesc tupleDescriptor, Datum *values, bool *isnull)
Definition: heaptuple.c:692
#define heap_close(r, l)
Definition: heapam.h:97
bool contain_var_clause(Node *node)
Definition: var.c:331
int pg_strcasecmp(const char *s1, const char *s2)
Definition: pgstrcasecmp.c:36
FormData_pg_type * Form_pg_type
Definition: pg_type.h:233
void heap_freetuple(HeapTuple htup)
Definition: heaptuple.c:1374
unsigned int Oid
Definition: postgres_ext.h:31
ObjectAddress TypeShellMake(const char *typeName, Oid typeNamespace, Oid ownerId)
Definition: pg_type.c:56
bool pg_type_ownercheck(Oid type_oid, Oid roleid)
Definition: aclchk.c:4572
#define TypeRelationId
Definition: pg_type.h:34
List * lappend_oid(List *list, Oid datum)
Definition: list.c:164
#define OidIsValid(objectId)
Definition: c.h:538
#define Anum_pg_transform_trftosql
Definition: pg_transform.h:45
AclResult pg_namespace_aclcheck(Oid nsp_oid, Oid roleid, AclMode mode)
Definition: aclchk.c:4484
AclResult pg_language_aclcheck(Oid lang_oid, Oid roleid, AclMode mode)
Definition: aclchk.c:4458
SysScanDesc systable_beginscan(Relation heapRelation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, ScanKey key)
Definition: genam.c:328
#define lsecond(l)
Definition: pg_list.h:116
#define Anum_pg_cast_castmethod
Definition: pg_cast.h:82
#define SearchSysCache1(cacheId, key1)
Definition: syscache.h:152
#define Anum_pg_proc_proconfig
Definition: pg_proc.h:117
void aclcheck_error_type(AclResult aclerr, Oid typeOid)
Definition: aclchk.c:3457
#define GetSysCacheOid2(cacheId, key1, key2)
Definition: syscache.h:181
#define AggregateRelationId
Definition: pg_aggregate.h:53
#define Natts_pg_cast
Definition: pg_cast.h:77
void assign_expr_collations(ParseState *pstate, Node *expr)
#define Anum_pg_cast_castsource
Definition: pg_cast.h:78
void interpret_function_parameter_list(ParseState *pstate, List *parameters, Oid languageOid, bool is_aggregate, oidvector **parameterTypes, ArrayType **allParameterTypes, ArrayType **parameterModes, ArrayType **parameterNames, List **parameterDefaults, Oid *variadicArgType, Oid *requiredResultType)
Definition: functioncmds.c:179
Oid get_transform_oid(Oid type_id, Oid lang_id, bool missing_ok)
bool defGetBoolean(DefElem *def)
Definition: define.c:111
HeapTuple systable_getnext(SysScanDesc sysscan)
Definition: genam.c:416
#define linitial(l)
Definition: pg_list.h:111
#define VOIDOID
Definition: pg_type.h:690
#define Natts_pg_proc
Definition: pg_proc.h:89
#define OPAQUEOID
Definition: pg_type.h:700
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
#define ERROR
Definition: elog.h:43
#define ACL_CREATE
Definition: parsenodes.h:82
#define SearchSysCacheExists3(cacheId, key1, key2, key3)
Definition: syscache.h:174
Oid CatalogTupleInsert(Relation heapRel, HeapTuple tup)
Definition: indexing.c:162
#define Natts_pg_transform
Definition: pg_transform.h:41
#define Anum_pg_transform_trflang
Definition: pg_transform.h:43
#define SQLlanguageId
Definition: pg_language.h:80
#define PROVOLATILE_STABLE
Definition: pg_proc.h:5480
bool setof
Definition: parsenodes.h:211
ItemPointerData t_self
Definition: htup.h:65
#define OidFunctionCall1(functionId, arg1)
Definition: fmgr.h:622
#define lfirst_node(type, lc)
Definition: pg_list.h:109
void SetFunctionArgType(Oid funcOid, int argIndex, Oid newArgType)
char * get_namespace_name(Oid nspid)
Definition: lsyscache.c:3038
#define NoLock
Definition: lockdefs.h:34
Oid values[FLEXIBLE_ARRAY_MEMBER]
Definition: c.h:486
void aclcheck_error(AclResult aclerr, AclObjectKind objectkind, const char *objectname)
Definition: aclchk.c:3399
CoercionContext context
Definition: parsenodes.h:3225
int location
Definition: parsenodes.h:723
#define RowExclusiveLock
Definition: lockdefs.h:38
#define CastOidIndexId
Definition: indexing.h:107
int errdetail(const char *fmt,...)
Definition: elog.c:873
#define CStringGetDatum(X)
Definition: postgres.h:584
#define ANYOID
Definition: pg_type.h:686
void px(PlannerInfo *root, Gene *tour1, Gene *tour2, Gene *offspring, int num_gene, City *city_table)
Definition: geqo_px.c:46
#define TransformOidIndexId
Definition: indexing.h:242
const char * funcname_signature_string(const char *funcname, int nargs, List *argnames, const Oid *argtypes)
Definition: parse_func.c:1852
#define ACL_USAGE
Definition: parsenodes.h:80
#define RECORDOID
Definition: pg_type.h:680
TypeName * argType
Definition: parsenodes.h:2727
#define PROPARALLEL_SAFE
Definition: pg_proc.h:5488
#define ereport(elevel, rest)
Definition: elog.h:122
#define InvokeObjectPostAlterHook(classId, objectId, subId)
Definition: objectaccess.h:163
Oid LookupFuncWithArgs(ObjectWithArgs *func, bool noError)
Definition: parse_func.c:1971
static char interpret_func_volatility(DefElem *defel)
Definition: functioncmds.c:532
#define PROPARALLEL_UNSAFE
Definition: pg_proc.h:5490
Node * arg
Definition: parsenodes.h:721
bool IsBinaryCoercible(Oid srctype, Oid targettype)
#define PROVOLATILE_VOLATILE
Definition: pg_proc.h:5481
List * lappend(List *list, void *datum)
Definition: list.c:128
#define WARNING
Definition: elog.h:40
void IsThereFunctionInNamespace(const char *proname, int pronargs, oidvector *proargtypes, Oid nspOid)
float float4
Definition: c.h:380
char * NameListToString(List *names)
Definition: namespace.c:2953
ArrayType * GUCArrayDelete(ArrayType *array, const char *name)
Definition: guc.c:9554
#define ANYARRAYOID
Definition: pg_type.h:688
void * palloc0(Size size)
Definition: mcxt.c:878
AclResult
Definition: acl.h:170
uintptr_t Datum
Definition: postgres.h:372
void ReleaseSysCache(HeapTuple tuple)
Definition: syscache.c:1116
static ArrayType * update_proconfig_value(ArrayType *a, List *set_items)
Definition: functioncmds.c:575
Datum SysCacheGetAttr(int cacheId, HeapTuple tup, AttrNumber attributeNumber, bool *isNull)
Definition: syscache.c:1278
List * typmods
Definition: parsenodes.h:213
ObjectWithArgs * func
Definition: parsenodes.h:3224
Relation heap_open(Oid relationId, LOCKMODE lockmode)
Definition: heapam.c:1284
void SetFunctionReturnType(Oid funcOid, Oid newRetType)
bool PLTemplateExists(const char *languageName)
Definition: proclang.c:519
#define CHAROID
Definition: pg_type.h:296
FormData_pg_proc * Form_pg_proc
Definition: pg_proc.h:83
ObjectAddress ProcedureCreate(const char *procedureName, Oid procNamespace, bool replace, bool returnsSet, Oid returnType, Oid proowner, Oid languageObjectId, Oid languageValidator, const char *prosrc, const char *probin, bool isAgg, bool isWindowFunc, bool security_definer, bool isLeakProof, bool isStrict, char volatility, char parallel, oidvector *parameterTypes, Datum allParameterTypes, Datum parameterModes, Datum parameterNames, List *parameterDefaults, Datum trftypes, Datum proconfig, float4 procost, float4 prorows)
Definition: pg_proc.c:67
#define InvalidOid
Definition: postgres_ext.h:36
ObjectWithArgs * fromsql
Definition: parsenodes.h:3239
#define Anum_pg_transform_trffromsql
Definition: pg_transform.h:44
#define INTERNALOID
Definition: pg_type.h:698
ObjectWithArgs * func
Definition: parsenodes.h:2735
#define NOTICE
Definition: elog.h:37
ObjectAddress CreateCast(CreateCastStmt *stmt)
#define makeNode(_type_)
Definition: nodes.h:557
#define HeapTupleIsValid(tuple)
Definition: htup.h:77
#define NULL
Definition: c.h:229
#define Assert(condition)
Definition: c.h:675
oidvector * buildoidvector(const Oid *oids, int n)
Definition: oid.c:167
#define lfirst(lc)
Definition: pg_list.h:106
TypeName * returnType
Definition: parsenodes.h:2708
void recordDependencyOnCurrentExtension(const ObjectAddress *object, bool isReplace)
Definition: pg_depend.c:139
void CatalogTupleUpdate(Relation heapRel, ItemPointer otid, HeapTuple tup)
Definition: indexing.c:210
static int list_length(const List *l)
Definition: pg_list.h:89
int parser_errposition(ParseState *pstate, int location)
Definition: parse_node.c:111
static void compute_attributes_with_style(ParseState *pstate, List *parameters, bool *isStrict_p, char *volatility_p)
Definition: functioncmds.c:765
#define CastRelationId
Definition: pg_cast.h:31
#define BOOLOID
Definition: pg_type.h:288
List * args
Definition: parsenodes.h:2748
#define ObjectAddressSet(addr, class_id, object_id)
Definition: objectaddress.h:40
#define CharGetDatum(X)
Definition: postgres.h:422
#define TYPTYPE_PSEUDO
Definition: pg_type.h:724
void RemoveFunctionById(Oid funcOid)
#define Anum_pg_transform_trftype
Definition: pg_transform.h:42
TypeName * type_name
Definition: parsenodes.h:3237
static Datum values[MAXATTR]
Definition: bootstrap.c:163
Oid get_base_element_type(Oid typid)
Definition: lsyscache.c:2557
#define SearchSysCacheCopy1(cacheId, key1)
Definition: syscache.h:161
#define intVal(v)
Definition: value.h:52
FormData_pg_language * Form_pg_language
Definition: pg_language.h:51
void * palloc(Size size)
Definition: mcxt.c:849
int errmsg(const char *fmt,...)
Definition: elog.c:797
#define ACL_EXECUTE
Definition: parsenodes.h:79
AclResult pg_proc_aclcheck(Oid proc_oid, Oid roleid, AclMode mode)
Definition: aclchk.c:4446
int i
TypeName * targettype
Definition: parsenodes.h:3223
#define NameStr(name)
Definition: c.h:499
#define TYPTYPE_ENUM
Definition: pg_type.h:723
Node * coerce_to_specific_type(ParseState *pstate, Node *node, Oid targetTypeId, const char *constructName)
void ScanKeyInit(ScanKey entry, AttrNumber attributeNumber, StrategyNumber strategy, RegProcedure procedure, Datum argument)
Definition: scankey.c:76
#define CStringGetTextDatum(s)
Definition: builtins.h:91
Oid get_cast_oid(Oid sourcetypeid, Oid targettypeid, bool missing_ok)
void * arg
#define Anum_pg_cast_castcontext
Definition: pg_cast.h:81
char * source_text
Definition: parsenodes.h:2754
char * defname
Definition: parsenodes.h:720
#define LanguageRelationId
Definition: pg_language.h:29
void DropCastById(Oid castOid)
#define elog
Definition: elog.h:219
FunctionParameterMode mode
Definition: parsenodes.h:2728
#define HeapTupleGetOid(tuple)
Definition: htup_details.h:695
static bool compute_common_attribute(ParseState *pstate, DefElem *defel, DefElem **volatility_item, DefElem **strict_item, DefElem **security_item, DefElem **leakproof_item, List **set_items, DefElem **cost_item, DefElem **rows_item, DefElem **parallel_item)
Definition: functioncmds.c:453
AclResult pg_type_aclcheck(Oid type_oid, Oid roleid, AclMode mode)
Definition: aclchk.c:4534
Oid typeTypeId(Type tp)
Definition: parse_type.c:571
HeapTuple heap_modify_tuple(HeapTuple tuple, TupleDesc tupleDesc, Datum *replValues, bool *replIsnull, bool *doReplace)
Definition: heaptuple.c:793
char * ExtractSetVariableArgs(VariableSetStmt *stmt)
Definition: guc.c:7413
#define ERRCODE_DUPLICATE_OBJECT
Definition: streamutil.c:31
Definition: pg_list.h:45
ObjectAddress AlterFunction(ParseState *pstate, AlterFunctionStmt *stmt)
#define BTEqualStrategyNumber
Definition: stratnum.h:31
bool pg_proc_ownercheck(Oid proc_oid, Oid roleid)
Definition: aclchk.c:4624
#define lfirst_oid(lc)
Definition: pg_list.h:108
Oid typenameTypeId(ParseState *pstate, const TypeName *typeName)
Definition: parse_type.c:274
static char interpret_func_parallel(DefElem *defel)
Definition: functioncmds.c:550
List * p_rtable
Definition: parse_node.h:169
#define DatumGetArrayTypeP(X)
Definition: array.h:242
#define SearchSysCache2(cacheId, key1, key2)
Definition: syscache.h:154