1 /*-------------------------------------------------------------------------
4 * Utility and convenience functions for fmgr functions that return
5 * sets and/or composite types.
7 * Copyright (c) 2002-2017, PostgreSQL Global Development Group
10 * src/backend/utils/fmgr/funcapi.c
12 *-------------------------------------------------------------------------
16 #include "access/htup_details.h"
17 #include "catalog/namespace.h"
18 #include "catalog/pg_proc.h"
19 #include "catalog/pg_type.h"
21 #include "nodes/nodeFuncs.h"
22 #include "parser/parse_coerce.h"
23 #include "utils/array.h"
24 #include "utils/builtins.h"
25 #include "utils/lsyscache.h"
26 #include "utils/memutils.h"
27 #include "utils/regproc.h"
28 #include "utils/rel.h"
29 #include "utils/syscache.h"
30 #include "utils/typcache.h"
33 static void shutdown_MultiFuncCall(Datum arg);
34 static TypeFuncClass internal_get_result_type(Oid funcid,
36 ReturnSetInfo *rsinfo,
38 TupleDesc *resultTupleDesc);
39 static bool resolve_polymorphic_tupdesc(TupleDesc tupdesc,
40 oidvector *declared_args,
42 static TypeFuncClass get_type_func_class(Oid typid);
47 * Create an empty FuncCallContext data structure
48 * and do some other basic Multi-function call setup
52 init_MultiFuncCall(PG_FUNCTION_ARGS)
54 FuncCallContext *retval;
57 * Bail if we're called in the wrong context
59 if (fcinfo->resultinfo == NULL || !IsA(fcinfo->resultinfo, ReturnSetInfo))
61 (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
62 errmsg("set-valued function called in context that cannot accept a set")));
64 if (fcinfo->flinfo->fn_extra == NULL)
69 ReturnSetInfo *rsi = (ReturnSetInfo *) fcinfo->resultinfo;
70 MemoryContext multi_call_ctx;
73 * Create a suitably long-lived context to hold cross-call data
75 multi_call_ctx = AllocSetContextCreate(fcinfo->flinfo->fn_mcxt,
76 "SRF multi-call context",
77 ALLOCSET_SMALL_SIZES);
80 * Allocate suitably long-lived space and zero it
82 retval = (FuncCallContext *)
83 MemoryContextAllocZero(multi_call_ctx,
84 sizeof(FuncCallContext));
87 * initialize the elements
89 retval->call_cntr = 0;
90 retval->max_calls = 0;
92 retval->user_fctx = NULL;
93 retval->attinmeta = NULL;
94 retval->tuple_desc = NULL;
95 retval->multi_call_memory_ctx = multi_call_ctx;
98 * save the pointer for cross-call use
100 fcinfo->flinfo->fn_extra = retval;
103 * Ensure we will get shut down cleanly if the exprcontext is not run
106 RegisterExprContextCallback(rsi->econtext,
107 shutdown_MultiFuncCall,
108 PointerGetDatum(fcinfo->flinfo));
112 /* second and subsequent calls */
113 elog(ERROR, "init_MultiFuncCall cannot be called more than once");
115 /* never reached, but keep compiler happy */
125 * Do Multi-function per-call setup
128 per_MultiFuncCall(PG_FUNCTION_ARGS)
130 FuncCallContext *retval = (FuncCallContext *) fcinfo->flinfo->fn_extra;
133 * Clear the TupleTableSlot, if present. This is for safety's sake: the
134 * Slot will be in a long-lived context (it better be, if the
135 * FuncCallContext is pointing to it), but in most usage patterns the
136 * tuples stored in it will be in the function's per-tuple context. So at
137 * the beginning of each call, the Slot will hold a dangling pointer to an
138 * already-recycled tuple. We clear it out here.
140 * Note: use of retval->slot is obsolete as of 8.0, and we expect that it
141 * will always be NULL. This is just here for backwards compatibility in
142 * case someone creates a slot anyway.
144 if (retval->slot != NULL)
145 ExecClearTuple(retval->slot);
152 * Clean up after init_MultiFuncCall
155 end_MultiFuncCall(PG_FUNCTION_ARGS, FuncCallContext *funcctx)
157 ReturnSetInfo *rsi = (ReturnSetInfo *) fcinfo->resultinfo;
159 /* Deregister the shutdown callback */
160 UnregisterExprContextCallback(rsi->econtext,
161 shutdown_MultiFuncCall,
162 PointerGetDatum(fcinfo->flinfo));
164 /* But use it to do the real work */
165 shutdown_MultiFuncCall(PointerGetDatum(fcinfo->flinfo));
169 * shutdown_MultiFuncCall
170 * Shutdown function to clean up after init_MultiFuncCall
173 shutdown_MultiFuncCall(Datum arg)
175 FmgrInfo *flinfo = (FmgrInfo *) DatumGetPointer(arg);
176 FuncCallContext *funcctx = (FuncCallContext *) flinfo->fn_extra;
178 /* unbind from flinfo */
179 flinfo->fn_extra = NULL;
182 * Delete context that holds all multi-call data, including the
183 * FuncCallContext itself
185 MemoryContextDelete(funcctx->multi_call_memory_ctx);
190 * get_call_result_type
191 * Given a function's call info record, determine the kind of datatype
192 * it is supposed to return. If resultTypeId isn't NULL, *resultTypeId
193 * receives the actual datatype OID (this is mainly useful for scalar
194 * result types). If resultTupleDesc isn't NULL, *resultTupleDesc
195 * receives a pointer to a TupleDesc when the result is of a composite
196 * type, or NULL when it's a scalar result.
198 * One hard case that this handles is resolution of actual rowtypes for
199 * functions returning RECORD (from either the function's OUT parameter
200 * list, or a ReturnSetInfo context node). TYPEFUNC_RECORD is returned
201 * only when we couldn't resolve the actual rowtype for lack of information.
203 * The other hard case that this handles is resolution of polymorphism.
204 * We will never return polymorphic pseudotypes (ANYELEMENT etc), either
205 * as a scalar result type or as a component of a rowtype.
207 * This function is relatively expensive --- in a function returning set,
208 * try to call it only the first time through.
211 get_call_result_type(FunctionCallInfo fcinfo,
213 TupleDesc *resultTupleDesc)
215 return internal_get_result_type(fcinfo->flinfo->fn_oid,
216 fcinfo->flinfo->fn_expr,
217 (ReturnSetInfo *) fcinfo->resultinfo,
223 * get_expr_result_type
224 * As above, but work from a calling expression node tree
227 get_expr_result_type(Node *expr,
229 TupleDesc *resultTupleDesc)
231 TypeFuncClass result;
233 if (expr && IsA(expr, FuncExpr))
234 result = internal_get_result_type(((FuncExpr *) expr)->funcid,
239 else if (expr && IsA(expr, OpExpr))
240 result = internal_get_result_type(get_opcode(((OpExpr *) expr)->opno),
247 /* handle as a generic expression; no chance to resolve RECORD */
248 Oid typid = exprType(expr);
251 *resultTypeId = typid;
253 *resultTupleDesc = NULL;
254 result = get_type_func_class(typid);
255 if (result == TYPEFUNC_COMPOSITE && resultTupleDesc)
256 *resultTupleDesc = lookup_rowtype_tupdesc_copy(typid, -1);
263 * get_func_result_type
264 * As above, but work from a function's OID only
266 * This will not be able to resolve pure-RECORD results nor polymorphism.
269 get_func_result_type(Oid functionId,
271 TupleDesc *resultTupleDesc)
273 return internal_get_result_type(functionId,
281 * internal_get_result_type -- workhorse code implementing all the above
283 * funcid must always be supplied. call_expr and rsinfo can be NULL if not
284 * available. We will return TYPEFUNC_RECORD, and store NULL into
285 * *resultTupleDesc, if we cannot deduce the complete result rowtype from
286 * the available information.
289 internal_get_result_type(Oid funcid,
291 ReturnSetInfo *rsinfo,
293 TupleDesc *resultTupleDesc)
295 TypeFuncClass result;
297 Form_pg_proc procform;
301 /* First fetch the function's pg_proc row to inspect its rettype */
302 tp = SearchSysCache1(PROCOID, ObjectIdGetDatum(funcid));
303 if (!HeapTupleIsValid(tp))
304 elog(ERROR, "cache lookup failed for function %u", funcid);
305 procform = (Form_pg_proc) GETSTRUCT(tp);
307 rettype = procform->prorettype;
309 /* Check for OUT parameters defining a RECORD result */
310 tupdesc = build_function_result_tupdesc_t(tp);
314 * It has OUT parameters, so it's basically like a regular composite
315 * type, except we have to be able to resolve any polymorphic OUT
319 *resultTypeId = rettype;
321 if (resolve_polymorphic_tupdesc(tupdesc,
322 &procform->proargtypes,
325 if (tupdesc->tdtypeid == RECORDOID &&
326 tupdesc->tdtypmod < 0)
327 assign_record_type_typmod(tupdesc);
329 *resultTupleDesc = tupdesc;
330 result = TYPEFUNC_COMPOSITE;
335 *resultTupleDesc = NULL;
336 result = TYPEFUNC_RECORD;
345 * If scalar polymorphic result, try to resolve it.
347 if (IsPolymorphicType(rettype))
349 Oid newrettype = exprType(call_expr);
351 if (newrettype == InvalidOid) /* this probably should not happen */
353 (errcode(ERRCODE_DATATYPE_MISMATCH),
354 errmsg("could not determine actual result type for function \"%s\" declared to return type %s",
355 NameStr(procform->proname),
356 format_type_be(rettype))));
357 rettype = newrettype;
361 *resultTypeId = rettype;
363 *resultTupleDesc = NULL; /* default result */
365 /* Classify the result type */
366 result = get_type_func_class(rettype);
369 case TYPEFUNC_COMPOSITE:
371 *resultTupleDesc = lookup_rowtype_tupdesc_copy(rettype, -1);
372 /* Named composite types can't have any polymorphic columns */
374 case TYPEFUNC_SCALAR:
376 case TYPEFUNC_RECORD:
377 /* We must get the tupledesc from call context */
378 if (rsinfo && IsA(rsinfo, ReturnSetInfo) &&
379 rsinfo->expectedDesc != NULL)
381 result = TYPEFUNC_COMPOSITE;
383 *resultTupleDesc = rsinfo->expectedDesc;
384 /* Assume no polymorphic columns here, either */
397 * Given the result tuple descriptor for a function with OUT parameters,
398 * replace any polymorphic columns (ANYELEMENT etc) with correct data types
399 * deduced from the input arguments. Returns TRUE if able to deduce all types,
403 resolve_polymorphic_tupdesc(TupleDesc tupdesc, oidvector *declared_args,
406 int natts = tupdesc->natts;
407 int nargs = declared_args->dim1;
408 bool have_anyelement_result = false;
409 bool have_anyarray_result = false;
410 bool have_anyrange_result = false;
411 bool have_anynonarray = false;
412 bool have_anyenum = false;
413 Oid anyelement_type = InvalidOid;
414 Oid anyarray_type = InvalidOid;
415 Oid anyrange_type = InvalidOid;
416 Oid anycollation = InvalidOid;
419 /* See if there are any polymorphic outputs; quick out if not */
420 for (i = 0; i < natts; i++)
422 switch (tupdesc->attrs[i]->atttypid)
425 have_anyelement_result = true;
428 have_anyarray_result = true;
431 have_anyelement_result = true;
432 have_anynonarray = true;
435 have_anyelement_result = true;
439 have_anyrange_result = true;
445 if (!have_anyelement_result && !have_anyarray_result &&
446 !have_anyrange_result)
450 * Otherwise, extract actual datatype(s) from input arguments. (We assume
451 * the parser already validated consistency of the arguments.)
454 return false; /* no hope */
456 for (i = 0; i < nargs; i++)
458 switch (declared_args->values[i])
463 if (!OidIsValid(anyelement_type))
464 anyelement_type = get_call_expr_argtype(call_expr, i);
467 if (!OidIsValid(anyarray_type))
468 anyarray_type = get_call_expr_argtype(call_expr, i);
471 if (!OidIsValid(anyrange_type))
472 anyrange_type = get_call_expr_argtype(call_expr, i);
479 /* If nothing found, parser messed up */
480 if (!OidIsValid(anyelement_type) && !OidIsValid(anyarray_type) &&
481 !OidIsValid(anyrange_type))
484 /* If needed, deduce one polymorphic type from others */
485 if (have_anyelement_result && !OidIsValid(anyelement_type))
487 if (OidIsValid(anyarray_type))
488 anyelement_type = resolve_generic_type(ANYELEMENTOID,
491 if (OidIsValid(anyrange_type))
493 Oid subtype = resolve_generic_type(ANYELEMENTOID,
497 /* check for inconsistent array and range results */
498 if (OidIsValid(anyelement_type) && anyelement_type != subtype)
500 anyelement_type = subtype;
504 if (have_anyarray_result && !OidIsValid(anyarray_type))
505 anyarray_type = resolve_generic_type(ANYARRAYOID,
510 * We can't deduce a range type from other polymorphic inputs, because
511 * there may be multiple range types for the same subtype.
513 if (have_anyrange_result && !OidIsValid(anyrange_type))
516 /* Enforce ANYNONARRAY if needed */
517 if (have_anynonarray && type_is_array(anyelement_type))
520 /* Enforce ANYENUM if needed */
521 if (have_anyenum && !type_is_enum(anyelement_type))
525 * Identify the collation to use for polymorphic OUT parameters. (It'll
526 * necessarily be the same for both anyelement and anyarray.) Note that
527 * range types are not collatable, so any possible internal collation of a
528 * range type is not considered here.
530 if (OidIsValid(anyelement_type))
531 anycollation = get_typcollation(anyelement_type);
532 else if (OidIsValid(anyarray_type))
533 anycollation = get_typcollation(anyarray_type);
535 if (OidIsValid(anycollation))
538 * The types are collatable, so consider whether to use a nondefault
539 * collation. We do so if we can identify the input collation used
542 Oid inputcollation = exprInputCollation(call_expr);
544 if (OidIsValid(inputcollation))
545 anycollation = inputcollation;
548 /* And finally replace the tuple column types as needed */
549 for (i = 0; i < natts; i++)
551 switch (tupdesc->attrs[i]->atttypid)
556 TupleDescInitEntry(tupdesc, i + 1,
557 NameStr(tupdesc->attrs[i]->attname),
561 TupleDescInitEntryCollation(tupdesc, i + 1, anycollation);
564 TupleDescInitEntry(tupdesc, i + 1,
565 NameStr(tupdesc->attrs[i]->attname),
569 TupleDescInitEntryCollation(tupdesc, i + 1, anycollation);
572 TupleDescInitEntry(tupdesc, i + 1,
573 NameStr(tupdesc->attrs[i]->attname),
577 /* no collation should be attached to a range type */
588 * Given the declared argument types and modes for a function, replace any
589 * polymorphic types (ANYELEMENT etc) with correct data types deduced from the
590 * input arguments. Returns TRUE if able to deduce all types, FALSE if not.
591 * This is the same logic as resolve_polymorphic_tupdesc, but with a different
592 * argument representation.
594 * argmodes may be NULL, in which case all arguments are assumed to be IN mode.
597 resolve_polymorphic_argtypes(int numargs, Oid *argtypes, char *argmodes,
600 bool have_anyelement_result = false;
601 bool have_anyarray_result = false;
602 bool have_anyrange_result = false;
603 Oid anyelement_type = InvalidOid;
604 Oid anyarray_type = InvalidOid;
605 Oid anyrange_type = InvalidOid;
609 /* First pass: resolve polymorphic inputs, check for outputs */
611 for (i = 0; i < numargs; i++)
613 char argmode = argmodes ? argmodes[i] : PROARGMODE_IN;
620 if (argmode == PROARGMODE_OUT || argmode == PROARGMODE_TABLE)
621 have_anyelement_result = true;
624 if (!OidIsValid(anyelement_type))
626 anyelement_type = get_call_expr_argtype(call_expr,
628 if (!OidIsValid(anyelement_type))
631 argtypes[i] = anyelement_type;
635 if (argmode == PROARGMODE_OUT || argmode == PROARGMODE_TABLE)
636 have_anyarray_result = true;
639 if (!OidIsValid(anyarray_type))
641 anyarray_type = get_call_expr_argtype(call_expr,
643 if (!OidIsValid(anyarray_type))
646 argtypes[i] = anyarray_type;
650 if (argmode == PROARGMODE_OUT || argmode == PROARGMODE_TABLE)
651 have_anyrange_result = true;
654 if (!OidIsValid(anyrange_type))
656 anyrange_type = get_call_expr_argtype(call_expr,
658 if (!OidIsValid(anyrange_type))
661 argtypes[i] = anyrange_type;
667 if (argmode != PROARGMODE_OUT && argmode != PROARGMODE_TABLE)
672 if (!have_anyelement_result && !have_anyarray_result &&
673 !have_anyrange_result)
676 /* If no input polymorphics, parser messed up */
677 if (!OidIsValid(anyelement_type) && !OidIsValid(anyarray_type) &&
678 !OidIsValid(anyrange_type))
681 /* If needed, deduce one polymorphic type from others */
682 if (have_anyelement_result && !OidIsValid(anyelement_type))
684 if (OidIsValid(anyarray_type))
685 anyelement_type = resolve_generic_type(ANYELEMENTOID,
688 if (OidIsValid(anyrange_type))
690 Oid subtype = resolve_generic_type(ANYELEMENTOID,
694 /* check for inconsistent array and range results */
695 if (OidIsValid(anyelement_type) && anyelement_type != subtype)
697 anyelement_type = subtype;
701 if (have_anyarray_result && !OidIsValid(anyarray_type))
702 anyarray_type = resolve_generic_type(ANYARRAYOID,
707 * We can't deduce a range type from other polymorphic inputs, because
708 * there may be multiple range types for the same subtype.
710 if (have_anyrange_result && !OidIsValid(anyrange_type))
713 /* XXX do we need to enforce ANYNONARRAY or ANYENUM here? I think not */
715 /* And finally replace the output column types as needed */
716 for (i = 0; i < numargs; i++)
723 argtypes[i] = anyelement_type;
726 argtypes[i] = anyarray_type;
729 argtypes[i] = anyrange_type;
740 * get_type_func_class
741 * Given the type OID, obtain its TYPEFUNC classification.
743 * This is intended to centralize a bunch of formerly ad-hoc code for
744 * classifying types. The categories used here are useful for deciding
745 * how to handle functions returning the datatype.
748 get_type_func_class(Oid typid)
750 switch (get_typtype(typid))
752 case TYPTYPE_COMPOSITE:
753 return TYPEFUNC_COMPOSITE;
758 return TYPEFUNC_SCALAR;
760 if (typid == RECORDOID)
761 return TYPEFUNC_RECORD;
764 * We treat VOID and CSTRING as legitimate scalar datatypes,
765 * mostly for the convenience of the JDBC driver (which wants to
766 * be able to do "SELECT * FROM foo()" for all legitimately
767 * user-callable functions).
769 if (typid == VOIDOID || typid == CSTRINGOID)
770 return TYPEFUNC_SCALAR;
771 return TYPEFUNC_OTHER;
773 /* shouldn't get here, probably */
774 return TYPEFUNC_OTHER;
781 * Fetch info about the argument types, names, and IN/OUT modes from the
782 * pg_proc tuple. Return value is the total number of arguments.
783 * Other results are palloc'd. *p_argtypes is always filled in, but
784 * *p_argnames and *p_argmodes will be set NULL in the default cases
785 * (no names, and all IN arguments, respectively).
787 * Note that this function simply fetches what is in the pg_proc tuple;
788 * it doesn't do any interpretation of polymorphic types.
791 get_func_arg_info(HeapTuple procTup,
792 Oid **p_argtypes, char ***p_argnames, char **p_argmodes)
794 Form_pg_proc procStruct = (Form_pg_proc) GETSTRUCT(procTup);
795 Datum proallargtypes;
805 /* First discover the total number of parameters and get their types */
806 proallargtypes = SysCacheGetAttr(PROCOID, procTup,
807 Anum_pg_proc_proallargtypes,
812 * We expect the arrays to be 1-D arrays of the right types; verify
813 * that. For the OID and char arrays, we don't need to use
814 * deconstruct_array() since the array data is just going to look like
815 * a C array of values.
817 arr = DatumGetArrayTypeP(proallargtypes); /* ensure not toasted */
818 numargs = ARR_DIMS(arr)[0];
819 if (ARR_NDIM(arr) != 1 ||
822 ARR_ELEMTYPE(arr) != OIDOID)
823 elog(ERROR, "proallargtypes is not a 1-D Oid array");
824 Assert(numargs >= procStruct->pronargs);
825 *p_argtypes = (Oid *) palloc(numargs * sizeof(Oid));
826 memcpy(*p_argtypes, ARR_DATA_PTR(arr),
827 numargs * sizeof(Oid));
831 /* If no proallargtypes, use proargtypes */
832 numargs = procStruct->proargtypes.dim1;
833 Assert(numargs == procStruct->pronargs);
834 *p_argtypes = (Oid *) palloc(numargs * sizeof(Oid));
835 memcpy(*p_argtypes, procStruct->proargtypes.values,
836 numargs * sizeof(Oid));
839 /* Get argument names, if available */
840 proargnames = SysCacheGetAttr(PROCOID, procTup,
841 Anum_pg_proc_proargnames,
847 deconstruct_array(DatumGetArrayTypeP(proargnames),
848 TEXTOID, -1, false, 'i',
849 &elems, NULL, &nelems);
850 if (nelems != numargs) /* should not happen */
851 elog(ERROR, "proargnames must have the same number of elements as the function has arguments");
852 *p_argnames = (char **) palloc(sizeof(char *) * numargs);
853 for (i = 0; i < numargs; i++)
854 (*p_argnames)[i] = TextDatumGetCString(elems[i]);
857 /* Get argument modes, if available */
858 proargmodes = SysCacheGetAttr(PROCOID, procTup,
859 Anum_pg_proc_proargmodes,
865 arr = DatumGetArrayTypeP(proargmodes); /* ensure not toasted */
866 if (ARR_NDIM(arr) != 1 ||
867 ARR_DIMS(arr)[0] != numargs ||
869 ARR_ELEMTYPE(arr) != CHAROID)
870 elog(ERROR, "proargmodes is not a 1-D char array");
871 *p_argmodes = (char *) palloc(numargs * sizeof(char));
872 memcpy(*p_argmodes, ARR_DATA_PTR(arr),
873 numargs * sizeof(char));
882 * Returns the number of transformed types used by function.
885 get_func_trftypes(HeapTuple procTup,
893 protrftypes = SysCacheGetAttr(PROCOID, procTup,
894 Anum_pg_proc_protrftypes,
899 * We expect the arrays to be 1-D arrays of the right types; verify
900 * that. For the OID and char arrays, we don't need to use
901 * deconstruct_array() since the array data is just going to look like
902 * a C array of values.
904 arr = DatumGetArrayTypeP(protrftypes); /* ensure not toasted */
905 nelems = ARR_DIMS(arr)[0];
906 if (ARR_NDIM(arr) != 1 ||
909 ARR_ELEMTYPE(arr) != OIDOID)
910 elog(ERROR, "protrftypes is not a 1-D Oid array");
911 Assert(nelems >= ((Form_pg_proc) GETSTRUCT(procTup))->pronargs);
912 *p_trftypes = (Oid *) palloc(nelems * sizeof(Oid));
913 memcpy(*p_trftypes, ARR_DATA_PTR(arr),
914 nelems * sizeof(Oid));
923 * get_func_input_arg_names
925 * Extract the names of input arguments only, given a function's
926 * proargnames and proargmodes entries in Datum form.
928 * Returns the number of input arguments, which is the length of the
929 * palloc'd array returned to *arg_names. Entries for unnamed args
930 * are set to NULL. You don't get anything if proargnames is NULL.
933 get_func_input_arg_names(Datum proargnames, Datum proargmodes,
944 /* Do nothing if null proargnames */
945 if (proargnames == PointerGetDatum(NULL))
952 * We expect the arrays to be 1-D arrays of the right types; verify that.
953 * For proargmodes, we don't need to use deconstruct_array() since the
954 * array data is just going to look like a C array of values.
956 arr = DatumGetArrayTypeP(proargnames); /* ensure not toasted */
957 if (ARR_NDIM(arr) != 1 ||
959 ARR_ELEMTYPE(arr) != TEXTOID)
960 elog(ERROR, "proargnames is not a 1-D text array");
961 deconstruct_array(arr, TEXTOID, -1, false, 'i',
962 &argnames, NULL, &numargs);
963 if (proargmodes != PointerGetDatum(NULL))
965 arr = DatumGetArrayTypeP(proargmodes); /* ensure not toasted */
966 if (ARR_NDIM(arr) != 1 ||
967 ARR_DIMS(arr)[0] != numargs ||
969 ARR_ELEMTYPE(arr) != CHAROID)
970 elog(ERROR, "proargmodes is not a 1-D char array");
971 argmodes = (char *) ARR_DATA_PTR(arr);
976 /* zero elements probably shouldn't happen, but handle it gracefully */
983 /* extract input-argument names */
984 inargnames = (char **) palloc(numargs * sizeof(char *));
986 for (i = 0; i < numargs; i++)
988 if (argmodes == NULL ||
989 argmodes[i] == PROARGMODE_IN ||
990 argmodes[i] == PROARGMODE_INOUT ||
991 argmodes[i] == PROARGMODE_VARIADIC)
993 char *pname = TextDatumGetCString(argnames[i]);
995 if (pname[0] != '\0')
996 inargnames[numinargs] = pname;
998 inargnames[numinargs] = NULL;
1003 *arg_names = inargnames;
1009 * get_func_result_name
1011 * If the function has exactly one output parameter, and that parameter
1012 * is named, return the name (as a palloc'd string). Else return NULL.
1014 * This is used to determine the default output column name for functions
1015 * returning scalar types.
1018 get_func_result_name(Oid functionId)
1021 HeapTuple procTuple;
1033 /* First fetch the function's pg_proc row */
1034 procTuple = SearchSysCache1(PROCOID, ObjectIdGetDatum(functionId));
1035 if (!HeapTupleIsValid(procTuple))
1036 elog(ERROR, "cache lookup failed for function %u", functionId);
1038 /* If there are no named OUT parameters, return NULL */
1039 if (heap_attisnull(procTuple, Anum_pg_proc_proargmodes) ||
1040 heap_attisnull(procTuple, Anum_pg_proc_proargnames))
1044 /* Get the data out of the tuple */
1045 proargmodes = SysCacheGetAttr(PROCOID, procTuple,
1046 Anum_pg_proc_proargmodes,
1049 proargnames = SysCacheGetAttr(PROCOID, procTuple,
1050 Anum_pg_proc_proargnames,
1055 * We expect the arrays to be 1-D arrays of the right types; verify
1056 * that. For the char array, we don't need to use deconstruct_array()
1057 * since the array data is just going to look like a C array of
1060 arr = DatumGetArrayTypeP(proargmodes); /* ensure not toasted */
1061 numargs = ARR_DIMS(arr)[0];
1062 if (ARR_NDIM(arr) != 1 ||
1065 ARR_ELEMTYPE(arr) != CHAROID)
1066 elog(ERROR, "proargmodes is not a 1-D char array");
1067 argmodes = (char *) ARR_DATA_PTR(arr);
1068 arr = DatumGetArrayTypeP(proargnames); /* ensure not toasted */
1069 if (ARR_NDIM(arr) != 1 ||
1070 ARR_DIMS(arr)[0] != numargs ||
1072 ARR_ELEMTYPE(arr) != TEXTOID)
1073 elog(ERROR, "proargnames is not a 1-D text array");
1074 deconstruct_array(arr, TEXTOID, -1, false, 'i',
1075 &argnames, NULL, &nargnames);
1076 Assert(nargnames == numargs);
1078 /* scan for output argument(s) */
1081 for (i = 0; i < numargs; i++)
1083 if (argmodes[i] == PROARGMODE_IN ||
1084 argmodes[i] == PROARGMODE_VARIADIC)
1086 Assert(argmodes[i] == PROARGMODE_OUT ||
1087 argmodes[i] == PROARGMODE_INOUT ||
1088 argmodes[i] == PROARGMODE_TABLE);
1089 if (++numoutargs > 1)
1091 /* multiple out args, so forget it */
1095 result = TextDatumGetCString(argnames[i]);
1096 if (result == NULL || result[0] == '\0')
1098 /* Parameter is not named, so forget it */
1105 ReleaseSysCache(procTuple);
1112 * build_function_result_tupdesc_t
1114 * Given a pg_proc row for a function, return a tuple descriptor for the
1115 * result rowtype, or NULL if the function does not have OUT parameters.
1117 * Note that this does not handle resolution of polymorphic types;
1118 * that is deliberate.
1121 build_function_result_tupdesc_t(HeapTuple procTuple)
1123 Form_pg_proc procform = (Form_pg_proc) GETSTRUCT(procTuple);
1124 Datum proallargtypes;
1129 /* Return NULL if the function isn't declared to return RECORD */
1130 if (procform->prorettype != RECORDOID)
1133 /* If there are no OUT parameters, return NULL */
1134 if (heap_attisnull(procTuple, Anum_pg_proc_proallargtypes) ||
1135 heap_attisnull(procTuple, Anum_pg_proc_proargmodes))
1138 /* Get the data out of the tuple */
1139 proallargtypes = SysCacheGetAttr(PROCOID, procTuple,
1140 Anum_pg_proc_proallargtypes,
1143 proargmodes = SysCacheGetAttr(PROCOID, procTuple,
1144 Anum_pg_proc_proargmodes,
1147 proargnames = SysCacheGetAttr(PROCOID, procTuple,
1148 Anum_pg_proc_proargnames,
1151 proargnames = PointerGetDatum(NULL); /* just to be sure */
1153 return build_function_result_tupdesc_d(proallargtypes,
1159 * build_function_result_tupdesc_d
1161 * Build a RECORD function's tupledesc from the pg_proc proallargtypes,
1162 * proargmodes, and proargnames arrays. This is split out for the
1163 * convenience of ProcedureCreate, which needs to be able to compute the
1164 * tupledesc before actually creating the function.
1166 * Returns NULL if there are not at least two OUT or INOUT arguments.
1169 build_function_result_tupdesc_d(Datum proallargtypes,
1178 Datum *argnames = NULL;
1185 /* Can't have output args if columns are null */
1186 if (proallargtypes == PointerGetDatum(NULL) ||
1187 proargmodes == PointerGetDatum(NULL))
1191 * We expect the arrays to be 1-D arrays of the right types; verify that.
1192 * For the OID and char arrays, we don't need to use deconstruct_array()
1193 * since the array data is just going to look like a C array of values.
1195 arr = DatumGetArrayTypeP(proallargtypes); /* ensure not toasted */
1196 numargs = ARR_DIMS(arr)[0];
1197 if (ARR_NDIM(arr) != 1 ||
1200 ARR_ELEMTYPE(arr) != OIDOID)
1201 elog(ERROR, "proallargtypes is not a 1-D Oid array");
1202 argtypes = (Oid *) ARR_DATA_PTR(arr);
1203 arr = DatumGetArrayTypeP(proargmodes); /* ensure not toasted */
1204 if (ARR_NDIM(arr) != 1 ||
1205 ARR_DIMS(arr)[0] != numargs ||
1207 ARR_ELEMTYPE(arr) != CHAROID)
1208 elog(ERROR, "proargmodes is not a 1-D char array");
1209 argmodes = (char *) ARR_DATA_PTR(arr);
1210 if (proargnames != PointerGetDatum(NULL))
1212 arr = DatumGetArrayTypeP(proargnames); /* ensure not toasted */
1213 if (ARR_NDIM(arr) != 1 ||
1214 ARR_DIMS(arr)[0] != numargs ||
1216 ARR_ELEMTYPE(arr) != TEXTOID)
1217 elog(ERROR, "proargnames is not a 1-D text array");
1218 deconstruct_array(arr, TEXTOID, -1, false, 'i',
1219 &argnames, NULL, &nargnames);
1220 Assert(nargnames == numargs);
1223 /* zero elements probably shouldn't happen, but handle it gracefully */
1227 /* extract output-argument types and names */
1228 outargtypes = (Oid *) palloc(numargs * sizeof(Oid));
1229 outargnames = (char **) palloc(numargs * sizeof(char *));
1231 for (i = 0; i < numargs; i++)
1235 if (argmodes[i] == PROARGMODE_IN ||
1236 argmodes[i] == PROARGMODE_VARIADIC)
1238 Assert(argmodes[i] == PROARGMODE_OUT ||
1239 argmodes[i] == PROARGMODE_INOUT ||
1240 argmodes[i] == PROARGMODE_TABLE);
1241 outargtypes[numoutargs] = argtypes[i];
1243 pname = TextDatumGetCString(argnames[i]);
1246 if (pname == NULL || pname[0] == '\0')
1248 /* Parameter is not named, so gin up a column name */
1249 pname = psprintf("column%d", numoutargs + 1);
1251 outargnames[numoutargs] = pname;
1256 * If there is no output argument, or only one, the function does not
1262 desc = CreateTemplateTupleDesc(numoutargs, false);
1263 for (i = 0; i < numoutargs; i++)
1265 TupleDescInitEntry(desc, i + 1,
1277 * RelationNameGetTupleDesc
1279 * Given a (possibly qualified) relation name, build a TupleDesc.
1281 * Note: while this works as advertised, it's seldom the best way to
1282 * build a tupdesc for a function's result type. It's kept around
1283 * only for backwards compatibility with existing user-written code.
1286 RelationNameGetTupleDesc(const char *relname)
1293 /* Open relation and copy the tuple description */
1294 relname_list = stringToQualifiedNameList(relname);
1295 relvar = makeRangeVarFromNameList(relname_list);
1296 rel = relation_openrv(relvar, AccessShareLock);
1297 tupdesc = CreateTupleDescCopy(RelationGetDescr(rel));
1298 relation_close(rel, AccessShareLock);
1306 * Given a type Oid, build a TupleDesc. (In most cases you should be
1307 * using get_call_result_type or one of its siblings instead of this
1308 * routine, so that you can handle OUT parameters, RECORD result type,
1309 * and polymorphic results.)
1311 * If the type is composite, *and* a colaliases List is provided, *and*
1312 * the List is of natts length, use the aliases instead of the relation
1313 * attnames. (NB: this usage is deprecated since it may result in
1314 * creation of unnecessary transient record types.)
1316 * If the type is a base type, a single item alias List is required.
1319 TypeGetTupleDesc(Oid typeoid, List *colaliases)
1321 TypeFuncClass functypclass = get_type_func_class(typeoid);
1322 TupleDesc tupdesc = NULL;
1325 * Build a suitable tupledesc representing the output rows
1327 if (functypclass == TYPEFUNC_COMPOSITE)
1329 /* Composite data type, e.g. a table's row type */
1330 tupdesc = lookup_rowtype_tupdesc_copy(typeoid, -1);
1332 if (colaliases != NIL)
1334 int natts = tupdesc->natts;
1337 /* does the list length match the number of attributes? */
1338 if (list_length(colaliases) != natts)
1340 (errcode(ERRCODE_DATATYPE_MISMATCH),
1341 errmsg("number of aliases does not match number of columns")));
1343 /* OK, use the aliases instead */
1344 for (varattno = 0; varattno < natts; varattno++)
1346 char *label = strVal(list_nth(colaliases, varattno));
1349 namestrcpy(&(tupdesc->attrs[varattno]->attname), label);
1352 /* The tuple type is now an anonymous record type */
1353 tupdesc->tdtypeid = RECORDOID;
1354 tupdesc->tdtypmod = -1;
1357 else if (functypclass == TYPEFUNC_SCALAR)
1359 /* Base data type, i.e. scalar */
1362 /* the alias list is required for base types */
1363 if (colaliases == NIL)
1365 (errcode(ERRCODE_DATATYPE_MISMATCH),
1366 errmsg("no column alias was provided")));
1368 /* the alias list length must be 1 */
1369 if (list_length(colaliases) != 1)
1371 (errcode(ERRCODE_DATATYPE_MISMATCH),
1372 errmsg("number of aliases does not match number of columns")));
1374 /* OK, get the column alias */
1375 attname = strVal(linitial(colaliases));
1377 tupdesc = CreateTemplateTupleDesc(1, false);
1378 TupleDescInitEntry(tupdesc,
1385 else if (functypclass == TYPEFUNC_RECORD)
1387 /* XXX can't support this because typmod wasn't passed in ... */
1389 (errcode(ERRCODE_DATATYPE_MISMATCH),
1390 errmsg("could not determine row description for function returning record")));
1394 /* crummy error message, but parser should have caught this */
1395 elog(ERROR, "function in FROM has unsupported return type");