PostgreSQL Source Code  git master
pg_type.c File Reference
#include "postgres.h"
#include "access/htup_details.h"
#include "access/table.h"
#include "access/xact.h"
#include "catalog/binary_upgrade.h"
#include "catalog/catalog.h"
#include "catalog/dependency.h"
#include "catalog/indexing.h"
#include "catalog/objectaccess.h"
#include "catalog/pg_collation.h"
#include "catalog/pg_namespace.h"
#include "catalog/pg_proc.h"
#include "catalog/pg_type.h"
#include "commands/typecmds.h"
#include "miscadmin.h"
#include "parser/scansup.h"
#include "utils/acl.h"
#include "utils/builtins.h"
#include "utils/fmgroids.h"
#include "utils/lsyscache.h"
#include "utils/rel.h"
#include "utils/syscache.h"
Include dependency graph for pg_type.c:

Go to the source code of this file.

Functions

ObjectAddress TypeShellMake (const char *typeName, Oid typeNamespace, Oid ownerId)
 
ObjectAddress TypeCreate (Oid newTypeOid, const char *typeName, Oid typeNamespace, Oid relationOid, char relationKind, Oid ownerId, int16 internalSize, char typeType, char typeCategory, bool typePreferred, char typDelim, Oid inputProcedure, Oid outputProcedure, Oid receiveProcedure, Oid sendProcedure, Oid typmodinProcedure, Oid typmodoutProcedure, Oid analyzeProcedure, Oid elementType, bool isImplicitArray, Oid arrayType, Oid baseType, const char *defaultTypeValue, char *defaultTypeBin, bool passedByValue, char alignment, char storage, int32 typeMod, int32 typNDims, bool typeNotNull, Oid typeCollation)
 
void GenerateTypeDependencies (HeapTuple typeTuple, Relation typeCatalog, Node *defaultExpr, void *typacl, char relationKind, bool isImplicitArray, bool isDependentType, bool rebuild)
 
void RenameTypeInternal (Oid typeOid, const char *newTypeName, Oid typeNamespace)
 
char * makeArrayTypeName (const char *typeName, Oid typeNamespace)
 
bool moveArrayTypeName (Oid typeOid, const char *typeName, Oid typeNamespace)
 

Variables

Oid binary_upgrade_next_pg_type_oid = InvalidOid
 

Function Documentation

◆ GenerateTypeDependencies()

void GenerateTypeDependencies ( HeapTuple  typeTuple,
Relation  typeCatalog,
Node defaultExpr,
void *  typacl,
char  relationKind,
bool  isImplicitArray,
bool  isDependentType,
bool  rebuild 
)

Definition at line 542 of file pg_type.c.

References DatumGetAclPCopy, deleteDependencyRecordsFor(), deleteSharedDependencyRecordsFor(), DEPENDENCY_INTERNAL, DEPENDENCY_NORMAL, GETSTRUCT, heap_getattr, NIL, ObjectAddressSet, OidIsValid, recordDependencyOn(), recordDependencyOnCurrentExtension(), recordDependencyOnExpr(), recordDependencyOnNewAcl(), recordDependencyOnOwner(), RelationGetDescr, stringToNode(), and TextDatumGetCString.

Referenced by AlterDomainDefault(), AlterTypeRecurse(), TypeCreate(), and TypeShellMake().

550 {
551  Form_pg_type typeForm = (Form_pg_type) GETSTRUCT(typeTuple);
552  Oid typeObjectId = typeForm->oid;
553  Datum datum;
554  bool isNull;
555  ObjectAddress myself,
556  referenced;
557 
558  /* Extract defaultExpr if caller didn't pass it */
559  if (defaultExpr == NULL)
560  {
561  datum = heap_getattr(typeTuple, Anum_pg_type_typdefaultbin,
562  RelationGetDescr(typeCatalog), &isNull);
563  if (!isNull)
564  defaultExpr = stringToNode(TextDatumGetCString(datum));
565  }
566  /* Extract typacl if caller didn't pass it */
567  if (typacl == NULL)
568  {
569  datum = heap_getattr(typeTuple, Anum_pg_type_typacl,
570  RelationGetDescr(typeCatalog), &isNull);
571  if (!isNull)
572  typacl = DatumGetAclPCopy(datum);
573  }
574 
575  /* If rebuild, first flush old dependencies, except extension deps */
576  if (rebuild)
577  {
578  deleteDependencyRecordsFor(TypeRelationId, typeObjectId, true);
579  deleteSharedDependencyRecordsFor(TypeRelationId, typeObjectId, 0);
580  }
581 
582  ObjectAddressSet(myself, TypeRelationId, typeObjectId);
583 
584  /*
585  * Make dependencies on namespace, owner, ACL, extension.
586  *
587  * Skip these for a dependent type, since it will have such dependencies
588  * indirectly through its depended-on type or relation.
589  */
590  if (!isDependentType)
591  {
592  ObjectAddressSet(referenced, NamespaceRelationId,
593  typeForm->typnamespace);
594  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
595 
596  recordDependencyOnOwner(TypeRelationId, typeObjectId,
597  typeForm->typowner);
598 
599  recordDependencyOnNewAcl(TypeRelationId, typeObjectId, 0,
600  typeForm->typowner, typacl);
601 
602  recordDependencyOnCurrentExtension(&myself, rebuild);
603  }
604 
605  /* Normal dependencies on the I/O functions */
606  if (OidIsValid(typeForm->typinput))
607  {
608  ObjectAddressSet(referenced, ProcedureRelationId, typeForm->typinput);
609  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
610  }
611 
612  if (OidIsValid(typeForm->typoutput))
613  {
614  ObjectAddressSet(referenced, ProcedureRelationId, typeForm->typoutput);
615  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
616  }
617 
618  if (OidIsValid(typeForm->typreceive))
619  {
620  ObjectAddressSet(referenced, ProcedureRelationId, typeForm->typreceive);
621  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
622  }
623 
624  if (OidIsValid(typeForm->typsend))
625  {
626  ObjectAddressSet(referenced, ProcedureRelationId, typeForm->typsend);
627  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
628  }
629 
630  if (OidIsValid(typeForm->typmodin))
631  {
632  ObjectAddressSet(referenced, ProcedureRelationId, typeForm->typmodin);
633  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
634  }
635 
636  if (OidIsValid(typeForm->typmodout))
637  {
638  ObjectAddressSet(referenced, ProcedureRelationId, typeForm->typmodout);
639  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
640  }
641 
642  if (OidIsValid(typeForm->typanalyze))
643  {
644  ObjectAddressSet(referenced, ProcedureRelationId, typeForm->typanalyze);
645  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
646  }
647 
648  /*
649  * If the type is a rowtype for a relation, mark it as internally
650  * dependent on the relation, *unless* it is a stand-alone composite type
651  * relation. For the latter case, we have to reverse the dependency.
652  *
653  * In the former case, this allows the type to be auto-dropped when the
654  * relation is, and not otherwise. And in the latter, of course we get the
655  * opposite effect.
656  */
657  if (OidIsValid(typeForm->typrelid))
658  {
659  ObjectAddressSet(referenced, RelationRelationId, typeForm->typrelid);
660 
661  if (relationKind != RELKIND_COMPOSITE_TYPE)
662  recordDependencyOn(&myself, &referenced, DEPENDENCY_INTERNAL);
663  else
664  recordDependencyOn(&referenced, &myself, DEPENDENCY_INTERNAL);
665  }
666 
667  /*
668  * If the type is an implicitly-created array type, mark it as internally
669  * dependent on the element type. Otherwise, if it has an element type,
670  * the dependency is a normal one.
671  */
672  if (OidIsValid(typeForm->typelem))
673  {
674  ObjectAddressSet(referenced, TypeRelationId, typeForm->typelem);
675  recordDependencyOn(&myself, &referenced,
676  isImplicitArray ? DEPENDENCY_INTERNAL : DEPENDENCY_NORMAL);
677  }
678 
679  /* Normal dependency from a domain to its base type. */
680  if (OidIsValid(typeForm->typbasetype))
681  {
682  ObjectAddressSet(referenced, TypeRelationId, typeForm->typbasetype);
683  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
684  }
685 
686  /* Normal dependency from a domain to its collation. */
687  /* We know the default collation is pinned, so don't bother recording it */
688  if (OidIsValid(typeForm->typcollation) &&
689  typeForm->typcollation != DEFAULT_COLLATION_OID)
690  {
691  ObjectAddressSet(referenced, CollationRelationId, typeForm->typcollation);
692  recordDependencyOn(&myself, &referenced, DEPENDENCY_NORMAL);
693  }
694 
695  /* Normal dependency on the default expression. */
696  if (defaultExpr)
697  recordDependencyOnExpr(&myself, defaultExpr, NIL, DEPENDENCY_NORMAL);
698 }
#define NIL
Definition: pg_list.h:65
#define GETSTRUCT(TUP)
Definition: htup_details.h:655
#define RelationGetDescr(relation)
Definition: rel.h:482
long deleteDependencyRecordsFor(Oid classId, Oid objectId, bool skipExtensionDeps)
Definition: pg_depend.c:190
void * stringToNode(const char *str)
Definition: read.c:89
void recordDependencyOn(const ObjectAddress *depender, const ObjectAddress *referenced, DependencyType behavior)
Definition: pg_depend.c:43
void recordDependencyOnOwner(Oid classId, Oid objectId, Oid owner)
Definition: pg_shdepend.c:164
unsigned int Oid
Definition: postgres_ext.h:31
#define OidIsValid(objectId)
Definition: c.h:651
void recordDependencyOnExpr(const ObjectAddress *depender, Node *expr, List *rtable, DependencyType behavior)
Definition: dependency.c:1584
void deleteSharedDependencyRecordsFor(Oid classId, Oid objectId, int32 objectSubId)
Definition: pg_shdepend.c:907
#define heap_getattr(tup, attnum, tupleDesc, isnull)
Definition: htup_details.h:762
#define TextDatumGetCString(d)
Definition: builtins.h:88
uintptr_t Datum
Definition: postgres.h:367
void recordDependencyOnCurrentExtension(const ObjectAddress *object, bool isReplace)
Definition: pg_depend.c:138
FormData_pg_type * Form_pg_type
Definition: pg_type.h:255
#define ObjectAddressSet(addr, class_id, object_id)
Definition: objectaddress.h:40
void recordDependencyOnNewAcl(Oid classId, Oid objectId, int32 objsubId, Oid ownerId, Acl *acl)
Definition: aclchk.c:5466
#define DatumGetAclPCopy(X)
Definition: acl.h:121

◆ makeArrayTypeName()

char* makeArrayTypeName ( const char *  typeName,
Oid  typeNamespace 
)

Definition at line 785 of file pg_type.c.

References CStringGetDatum, ereport, errcode(), ERRCODE_DUPLICATE_OBJECT, errmsg(), ERROR, i, NAMEDATALEN, ObjectIdGetDatum, palloc(), SearchSysCacheExists2, truncate_identifier(), and TYPENAMENSP.

Referenced by DefineDomain(), DefineEnum(), DefineRange(), DefineType(), heap_create_with_catalog(), moveArrayTypeName(), and RenameTypeInternal().

786 {
787  char *arr = (char *) palloc(NAMEDATALEN);
788  int namelen = strlen(typeName);
789  int i;
790 
791  /*
792  * The idea is to prepend underscores as needed until we make a name that
793  * doesn't collide with anything...
794  */
795  for (i = 1; i < NAMEDATALEN - 1; i++)
796  {
797  arr[i - 1] = '_';
798  if (i + namelen < NAMEDATALEN)
799  strcpy(arr + i, typeName);
800  else
801  {
802  memcpy(arr + i, typeName, NAMEDATALEN - i);
803  truncate_identifier(arr, NAMEDATALEN, false);
804  }
806  CStringGetDatum(arr),
807  ObjectIdGetDatum(typeNamespace)))
808  break;
809  }
810 
811  if (i >= NAMEDATALEN - 1)
812  ereport(ERROR,
814  errmsg("could not form array type name for type \"%s\"",
815  typeName)));
816 
817  return arr;
818 }
int errcode(int sqlerrcode)
Definition: elog.c:610
#define NAMEDATALEN
void truncate_identifier(char *ident, int len, bool warn)
Definition: scansup.c:186
#define ObjectIdGetDatum(X)
Definition: postgres.h:507
#define ERROR
Definition: elog.h:43
#define CStringGetDatum(X)
Definition: postgres.h:578
#define ereport(elevel,...)
Definition: elog.h:144
#define SearchSysCacheExists2(cacheId, key1, key2)
Definition: syscache.h:185
void * palloc(Size size)
Definition: mcxt.c:949
int errmsg(const char *fmt,...)
Definition: elog.c:824
int i
#define ERRCODE_DUPLICATE_OBJECT
Definition: streamutil.c:31

◆ moveArrayTypeName()

bool moveArrayTypeName ( Oid  typeOid,
const char *  typeName,
Oid  typeNamespace 
)

Definition at line 846 of file pg_type.c.

References CommandCounterIncrement(), get_array_type(), get_element_type(), get_typisdefined(), makeArrayTypeName(), OidIsValid, pfree(), and RenameTypeInternal().

Referenced by DefineCompositeType(), DefineDomain(), DefineEnum(), DefineRange(), DefineType(), heap_create_with_catalog(), and RenameTypeInternal().

847 {
848  Oid elemOid;
849  char *newname;
850 
851  /* We need do nothing if it's a shell type. */
852  if (!get_typisdefined(typeOid))
853  return true;
854 
855  /* Can't change it if it's not an autogenerated array type. */
856  elemOid = get_element_type(typeOid);
857  if (!OidIsValid(elemOid) ||
858  get_array_type(elemOid) != typeOid)
859  return false;
860 
861  /*
862  * OK, use makeArrayTypeName to pick an unused modification of the name.
863  * Note that since makeArrayTypeName is an iterative process, this will
864  * produce a name that it might have produced the first time, had the
865  * conflicting type we are about to create already existed.
866  */
867  newname = makeArrayTypeName(typeName, typeNamespace);
868 
869  /* Apply the rename */
870  RenameTypeInternal(typeOid, newname, typeNamespace);
871 
872  /*
873  * We must bump the command counter so that any subsequent use of
874  * makeArrayTypeName sees what we just did and doesn't pick the same name.
875  */
877 
878  pfree(newname);
879 
880  return true;
881 }
char * makeArrayTypeName(const char *typeName, Oid typeNamespace)
Definition: pg_type.c:785
Oid get_element_type(Oid typid)
Definition: lsyscache.c:2636
Oid get_array_type(Oid typid)
Definition: lsyscache.c:2664
bool get_typisdefined(Oid typid)
Definition: lsyscache.c:2061
unsigned int Oid
Definition: postgres_ext.h:31
#define OidIsValid(objectId)
Definition: c.h:651
void pfree(void *pointer)
Definition: mcxt.c:1056
void RenameTypeInternal(Oid typeOid, const char *newTypeName, Oid typeNamespace)
Definition: pg_type.c:710
void CommandCounterIncrement(void)
Definition: xact.c:1006

◆ RenameTypeInternal()

void RenameTypeInternal ( Oid  typeOid,
const char *  newTypeName,
Oid  typeNamespace 
)

Definition at line 710 of file pg_type.c.

References Assert, CatalogTupleUpdate(), CStringGetDatum, elog, ereport, errcode(), ERRCODE_DUPLICATE_OBJECT, errmsg(), ERROR, get_typisdefined(), GETSTRUCT, GetSysCacheOid2, heap_freetuple(), HeapTupleIsValid, InvokeObjectPostAlterHook, makeArrayTypeName(), moveArrayTypeName(), namestrcpy(), ObjectIdGetDatum, OidIsValid, pfree(), RenameTypeInternal(), RowExclusiveLock, SearchSysCacheCopy1, HeapTupleData::t_self, table_close(), table_open(), TYPENAMENSP, and TYPEOID.

Referenced by moveArrayTypeName(), RenameRelationInternal(), RenameType(), and RenameTypeInternal().

711 {
712  Relation pg_type_desc;
713  HeapTuple tuple;
714  Form_pg_type typ;
715  Oid arrayOid;
716  Oid oldTypeOid;
717 
718  pg_type_desc = table_open(TypeRelationId, RowExclusiveLock);
719 
720  tuple = SearchSysCacheCopy1(TYPEOID, ObjectIdGetDatum(typeOid));
721  if (!HeapTupleIsValid(tuple))
722  elog(ERROR, "cache lookup failed for type %u", typeOid);
723  typ = (Form_pg_type) GETSTRUCT(tuple);
724 
725  /* We are not supposed to be changing schemas here */
726  Assert(typeNamespace == typ->typnamespace);
727 
728  arrayOid = typ->typarray;
729 
730  /* Check for a conflicting type name. */
731  oldTypeOid = GetSysCacheOid2(TYPENAMENSP, Anum_pg_type_oid,
732  CStringGetDatum(newTypeName),
733  ObjectIdGetDatum(typeNamespace));
734 
735  /*
736  * If there is one, see if it's an autogenerated array type, and if so
737  * rename it out of the way. (But we must skip that for a shell type
738  * because moveArrayTypeName will do the wrong thing in that case.)
739  * Otherwise, we can at least give a more friendly error than unique-index
740  * violation.
741  */
742  if (OidIsValid(oldTypeOid))
743  {
744  if (get_typisdefined(oldTypeOid) &&
745  moveArrayTypeName(oldTypeOid, newTypeName, typeNamespace))
746  /* successfully dodged the problem */ ;
747  else
748  ereport(ERROR,
750  errmsg("type \"%s\" already exists", newTypeName)));
751  }
752 
753  /* OK, do the rename --- tuple is a copy, so OK to scribble on it */
754  namestrcpy(&(typ->typname), newTypeName);
755 
756  CatalogTupleUpdate(pg_type_desc, &tuple->t_self, tuple);
757 
758  InvokeObjectPostAlterHook(TypeRelationId, typeOid, 0);
759 
760  heap_freetuple(tuple);
761  table_close(pg_type_desc, RowExclusiveLock);
762 
763  /*
764  * If the type has an array type, recurse to handle that. But we don't
765  * need to do anything more if we already renamed that array type above
766  * (which would happen when, eg, renaming "foo" to "_foo").
767  */
768  if (OidIsValid(arrayOid) && arrayOid != oldTypeOid)
769  {
770  char *arrname = makeArrayTypeName(newTypeName, typeNamespace);
771 
772  RenameTypeInternal(arrayOid, arrname, typeNamespace);
773  pfree(arrname);
774  }
775 }
char * makeArrayTypeName(const char *typeName, Oid typeNamespace)
Definition: pg_type.c:785
void table_close(Relation relation, LOCKMODE lockmode)
Definition: table.c:133
#define GETSTRUCT(TUP)
Definition: htup_details.h:655
bool get_typisdefined(Oid typid)
Definition: lsyscache.c:2061
int errcode(int sqlerrcode)
Definition: elog.c:610
void heap_freetuple(HeapTuple htup)
Definition: heaptuple.c:1338
unsigned int Oid
Definition: postgres_ext.h:31
int namestrcpy(Name name, const char *str)
Definition: name.c:250
#define OidIsValid(objectId)
Definition: c.h:651
void pfree(void *pointer)
Definition: mcxt.c:1056
#define ObjectIdGetDatum(X)
Definition: postgres.h:507
#define ERROR
Definition: elog.h:43
ItemPointerData t_self
Definition: htup.h:65
bool moveArrayTypeName(Oid typeOid, const char *typeName, Oid typeNamespace)
Definition: pg_type.c:846
#define RowExclusiveLock
Definition: lockdefs.h:38
#define CStringGetDatum(X)
Definition: postgres.h:578
#define InvokeObjectPostAlterHook(classId, objectId, subId)
Definition: objectaccess.h:175
void RenameTypeInternal(Oid typeOid, const char *newTypeName, Oid typeNamespace)
Definition: pg_type.c:710
#define ereport(elevel,...)
Definition: elog.h:144
#define HeapTupleIsValid(tuple)
Definition: htup.h:78
#define Assert(condition)
Definition: c.h:745
#define GetSysCacheOid2(cacheId, oidcol, key1, key2)
Definition: syscache.h:194
void CatalogTupleUpdate(Relation heapRel, ItemPointer otid, HeapTuple tup)
Definition: indexing.c:224
FormData_pg_type * Form_pg_type
Definition: pg_type.h:255
#define SearchSysCacheCopy1(cacheId, key1)
Definition: syscache.h:174
int errmsg(const char *fmt,...)
Definition: elog.c:824
#define elog(elevel,...)
Definition: elog.h:214
Relation table_open(Oid relationId, LOCKMODE lockmode)
Definition: table.c:39
#define ERRCODE_DUPLICATE_OBJECT
Definition: streamutil.c:31

◆ TypeCreate()

ObjectAddress TypeCreate ( Oid  newTypeOid,
const char *  typeName,
Oid  typeNamespace,
Oid  relationOid,
char  relationKind,
Oid  ownerId,
int16  internalSize,
char  typeType,
char  typeCategory,
bool  typePreferred,
char  typDelim,
Oid  inputProcedure,
Oid  outputProcedure,
Oid  receiveProcedure,
Oid  sendProcedure,
Oid  typmodinProcedure,
Oid  typmodoutProcedure,
Oid  analyzeProcedure,
Oid  elementType,
bool  isImplicitArray,
Oid  arrayType,
Oid  baseType,
const char *  defaultTypeValue,
char *  defaultTypeBin,
bool  passedByValue,
char  alignment,
char  storage,
int32  typeMod,
int32  typNDims,
bool  typeNotNull,
Oid  typeCollation 
)

Definition at line 192 of file pg_type.c.

References aclcheck_error(), ACLCHECK_NOT_OWNER, binary_upgrade_next_pg_type_oid, BoolGetDatum, CatalogTupleInsert(), CatalogTupleUpdate(), CharGetDatum, CStringGetDatum, CStringGetTextDatum, elog, ereport, errcode(), ERRCODE_DUPLICATE_OBJECT, errmsg(), ERROR, GenerateTypeDependencies(), get_user_default_acl(), GetNewOidWithIndex(), GETSTRUCT, heap_form_tuple(), heap_modify_tuple(), HeapTupleIsValid, i, Int16GetDatum, Int32GetDatum, InvalidOid, InvokeObjectPostCreateHook, IsBinaryUpgrade, IsBootstrapProcessingMode, name, NameGetDatum, namestrcpy(), OBJECT_TYPE, ObjectAddressSet, ObjectIdGetDatum, OidIsValid, PointerGetDatum, RelationGetDescr, RowExclusiveLock, SearchSysCacheCopy2, stringToNode(), HeapTupleData::t_self, table_close(), table_open(), TYPENAMENSP, TypeOidIndexId, and values.

Referenced by AddNewRelationType(), DefineDomain(), DefineEnum(), DefineRange(), DefineType(), and heap_create_with_catalog().

223 {
224  Relation pg_type_desc;
225  Oid typeObjectId;
226  bool isDependentType;
227  bool rebuildDeps = false;
228  Acl *typacl;
229  HeapTuple tup;
230  bool nulls[Natts_pg_type];
231  bool replaces[Natts_pg_type];
232  Datum values[Natts_pg_type];
233  NameData name;
234  int i;
235  ObjectAddress address;
236 
237  /*
238  * We assume that the caller validated the arguments individually, but did
239  * not check for bad combinations.
240  *
241  * Validate size specifications: either positive (fixed-length) or -1
242  * (varlena) or -2 (cstring).
243  */
244  if (!(internalSize > 0 ||
245  internalSize == -1 ||
246  internalSize == -2))
247  ereport(ERROR,
248  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
249  errmsg("invalid type internal size %d",
250  internalSize)));
251 
252  if (passedByValue)
253  {
254  /*
255  * Pass-by-value types must have a fixed length that is one of the
256  * values supported by fetch_att() and store_att_byval(); and the
257  * alignment had better agree, too. All this code must match
258  * access/tupmacs.h!
259  */
260  if (internalSize == (int16) sizeof(char))
261  {
262  if (alignment != TYPALIGN_CHAR)
263  ereport(ERROR,
264  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
265  errmsg("alignment \"%c\" is invalid for passed-by-value type of size %d",
266  alignment, internalSize)));
267  }
268  else if (internalSize == (int16) sizeof(int16))
269  {
270  if (alignment != TYPALIGN_SHORT)
271  ereport(ERROR,
272  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
273  errmsg("alignment \"%c\" is invalid for passed-by-value type of size %d",
274  alignment, internalSize)));
275  }
276  else if (internalSize == (int16) sizeof(int32))
277  {
278  if (alignment != TYPALIGN_INT)
279  ereport(ERROR,
280  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
281  errmsg("alignment \"%c\" is invalid for passed-by-value type of size %d",
282  alignment, internalSize)));
283  }
284 #if SIZEOF_DATUM == 8
285  else if (internalSize == (int16) sizeof(Datum))
286  {
287  if (alignment != TYPALIGN_DOUBLE)
288  ereport(ERROR,
289  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
290  errmsg("alignment \"%c\" is invalid for passed-by-value type of size %d",
291  alignment, internalSize)));
292  }
293 #endif
294  else
295  ereport(ERROR,
296  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
297  errmsg("internal size %d is invalid for passed-by-value type",
298  internalSize)));
299  }
300  else
301  {
302  /* varlena types must have int align or better */
303  if (internalSize == -1 &&
304  !(alignment == TYPALIGN_INT || alignment == TYPALIGN_DOUBLE))
305  ereport(ERROR,
306  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
307  errmsg("alignment \"%c\" is invalid for variable-length type",
308  alignment)));
309  /* cstring must have char alignment */
310  if (internalSize == -2 && !(alignment == TYPALIGN_CHAR))
311  ereport(ERROR,
312  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
313  errmsg("alignment \"%c\" is invalid for variable-length type",
314  alignment)));
315  }
316 
317  /* Only varlena types can be toasted */
318  if (storage != TYPSTORAGE_PLAIN && internalSize != -1)
319  ereport(ERROR,
320  (errcode(ERRCODE_INVALID_OBJECT_DEFINITION),
321  errmsg("fixed-size types must have storage PLAIN")));
322 
323  /*
324  * This is a dependent type if it's an implicitly-created array type, or
325  * if it's a relation rowtype that's not a composite type. For such types
326  * we'll leave the ACL empty, and we'll skip creating some dependency
327  * records because there will be a dependency already through the
328  * depended-on type or relation. (Caution: this is closely intertwined
329  * with some behavior in GenerateTypeDependencies.)
330  */
331  isDependentType = isImplicitArray ||
332  (OidIsValid(relationOid) && relationKind != RELKIND_COMPOSITE_TYPE);
333 
334  /*
335  * initialize arrays needed for heap_form_tuple or heap_modify_tuple
336  */
337  for (i = 0; i < Natts_pg_type; ++i)
338  {
339  nulls[i] = false;
340  replaces[i] = true;
341  values[i] = (Datum) 0;
342  }
343 
344  /*
345  * insert data values
346  */
347  namestrcpy(&name, typeName);
348  values[Anum_pg_type_typname - 1] = NameGetDatum(&name);
349  values[Anum_pg_type_typnamespace - 1] = ObjectIdGetDatum(typeNamespace);
350  values[Anum_pg_type_typowner - 1] = ObjectIdGetDatum(ownerId);
351  values[Anum_pg_type_typlen - 1] = Int16GetDatum(internalSize);
352  values[Anum_pg_type_typbyval - 1] = BoolGetDatum(passedByValue);
353  values[Anum_pg_type_typtype - 1] = CharGetDatum(typeType);
354  values[Anum_pg_type_typcategory - 1] = CharGetDatum(typeCategory);
355  values[Anum_pg_type_typispreferred - 1] = BoolGetDatum(typePreferred);
356  values[Anum_pg_type_typisdefined - 1] = BoolGetDatum(true);
357  values[Anum_pg_type_typdelim - 1] = CharGetDatum(typDelim);
358  values[Anum_pg_type_typrelid - 1] = ObjectIdGetDatum(relationOid);
359  values[Anum_pg_type_typelem - 1] = ObjectIdGetDatum(elementType);
360  values[Anum_pg_type_typarray - 1] = ObjectIdGetDatum(arrayType);
361  values[Anum_pg_type_typinput - 1] = ObjectIdGetDatum(inputProcedure);
362  values[Anum_pg_type_typoutput - 1] = ObjectIdGetDatum(outputProcedure);
363  values[Anum_pg_type_typreceive - 1] = ObjectIdGetDatum(receiveProcedure);
364  values[Anum_pg_type_typsend - 1] = ObjectIdGetDatum(sendProcedure);
365  values[Anum_pg_type_typmodin - 1] = ObjectIdGetDatum(typmodinProcedure);
366  values[Anum_pg_type_typmodout - 1] = ObjectIdGetDatum(typmodoutProcedure);
367  values[Anum_pg_type_typanalyze - 1] = ObjectIdGetDatum(analyzeProcedure);
368  values[Anum_pg_type_typalign - 1] = CharGetDatum(alignment);
369  values[Anum_pg_type_typstorage - 1] = CharGetDatum(storage);
370  values[Anum_pg_type_typnotnull - 1] = BoolGetDatum(typeNotNull);
371  values[Anum_pg_type_typbasetype - 1] = ObjectIdGetDatum(baseType);
372  values[Anum_pg_type_typtypmod - 1] = Int32GetDatum(typeMod);
373  values[Anum_pg_type_typndims - 1] = Int32GetDatum(typNDims);
374  values[Anum_pg_type_typcollation - 1] = ObjectIdGetDatum(typeCollation);
375 
376  /*
377  * initialize the default binary value for this type. Check for nulls of
378  * course.
379  */
380  if (defaultTypeBin)
381  values[Anum_pg_type_typdefaultbin - 1] = CStringGetTextDatum(defaultTypeBin);
382  else
383  nulls[Anum_pg_type_typdefaultbin - 1] = true;
384 
385  /*
386  * initialize the default value for this type.
387  */
388  if (defaultTypeValue)
389  values[Anum_pg_type_typdefault - 1] = CStringGetTextDatum(defaultTypeValue);
390  else
391  nulls[Anum_pg_type_typdefault - 1] = true;
392 
393  /*
394  * Initialize the type's ACL, too. But dependent types don't get one.
395  */
396  if (isDependentType)
397  typacl = NULL;
398  else
399  typacl = get_user_default_acl(OBJECT_TYPE, ownerId,
400  typeNamespace);
401  if (typacl != NULL)
402  values[Anum_pg_type_typacl - 1] = PointerGetDatum(typacl);
403  else
404  nulls[Anum_pg_type_typacl - 1] = true;
405 
406  /*
407  * open pg_type and prepare to insert or update a row.
408  *
409  * NOTE: updating will not work correctly in bootstrap mode; but we don't
410  * expect to be overwriting any shell types in bootstrap mode.
411  */
412  pg_type_desc = table_open(TypeRelationId, RowExclusiveLock);
413 
415  CStringGetDatum(typeName),
416  ObjectIdGetDatum(typeNamespace));
417  if (HeapTupleIsValid(tup))
418  {
419  Form_pg_type typform = (Form_pg_type) GETSTRUCT(tup);
420 
421  /*
422  * check that the type is not already defined. It may exist as a
423  * shell type, however.
424  */
425  if (typform->typisdefined)
426  ereport(ERROR,
428  errmsg("type \"%s\" already exists", typeName)));
429 
430  /*
431  * shell type must have been created by same owner
432  */
433  if (typform->typowner != ownerId)
435 
436  /* trouble if caller wanted to force the OID */
437  if (OidIsValid(newTypeOid))
438  elog(ERROR, "cannot assign new OID to existing shell type");
439 
440  replaces[Anum_pg_type_oid - 1] = false;
441 
442  /*
443  * Okay to update existing shell type tuple
444  */
445  tup = heap_modify_tuple(tup,
446  RelationGetDescr(pg_type_desc),
447  values,
448  nulls,
449  replaces);
450 
451  CatalogTupleUpdate(pg_type_desc, &tup->t_self, tup);
452 
453  typeObjectId = typform->oid;
454 
455  rebuildDeps = true; /* get rid of shell type's dependencies */
456  }
457  else
458  {
459  /* Force the OID if requested by caller */
460  if (OidIsValid(newTypeOid))
461  typeObjectId = newTypeOid;
462  /* Use binary-upgrade override for pg_type.oid, if supplied. */
463  else if (IsBinaryUpgrade)
464  {
466  ereport(ERROR,
467  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
468  errmsg("pg_type OID value not set when in binary upgrade mode")));
469 
470  typeObjectId = binary_upgrade_next_pg_type_oid;
472  }
473  else
474  {
475  typeObjectId = GetNewOidWithIndex(pg_type_desc, TypeOidIndexId,
476  Anum_pg_type_oid);
477  }
478 
479  values[Anum_pg_type_oid - 1] = ObjectIdGetDatum(typeObjectId);
480 
481  tup = heap_form_tuple(RelationGetDescr(pg_type_desc),
482  values, nulls);
483 
484  CatalogTupleInsert(pg_type_desc, tup);
485  }
486 
487  /*
488  * Create dependencies. We can/must skip this in bootstrap mode.
489  */
492  pg_type_desc,
493  (defaultTypeBin ?
494  stringToNode(defaultTypeBin) :
495  NULL),
496  typacl,
497  relationKind,
498  isImplicitArray,
499  isDependentType,
500  rebuildDeps);
501 
502  /* Post creation hook for new type */
503  InvokeObjectPostCreateHook(TypeRelationId, typeObjectId, 0);
504 
505  ObjectAddressSet(address, TypeRelationId, typeObjectId);
506 
507  /*
508  * finish up
509  */
510  table_close(pg_type_desc, RowExclusiveLock);
511 
512  return address;
513 }
signed short int16
Definition: c.h:361
Oid GetNewOidWithIndex(Relation relation, Oid indexId, AttrNumber oidcolumn)
Definition: catalog.c:317
#define NameGetDatum(X)
Definition: postgres.h:595
void table_close(Relation relation, LOCKMODE lockmode)
Definition: table.c:133
#define GETSTRUCT(TUP)
Definition: htup_details.h:655
#define InvokeObjectPostCreateHook(classId, objectId, subId)
Definition: objectaccess.h:151
#define RelationGetDescr(relation)
Definition: rel.h:482
#define PointerGetDatum(X)
Definition: postgres.h:556
#define Int16GetDatum(X)
Definition: postgres.h:451
int errcode(int sqlerrcode)
Definition: elog.c:610
void * stringToNode(const char *str)
Definition: read.c:89
HeapTuple heap_form_tuple(TupleDesc tupleDescriptor, Datum *values, bool *isnull)
Definition: heaptuple.c:1020
unsigned int Oid
Definition: postgres_ext.h:31
int namestrcpy(Name name, const char *str)
Definition: name.c:250
#define OidIsValid(objectId)
Definition: c.h:651
bool IsBinaryUpgrade
Definition: globals.c:110
signed int int32
Definition: c.h:362
void aclcheck_error(AclResult aclerr, ObjectType objtype, const char *objectname)
Definition: aclchk.c:3294
#define ObjectIdGetDatum(X)
Definition: postgres.h:507
#define ERROR
Definition: elog.h:43
ItemPointerData t_self
Definition: htup.h:65
Definition: c.h:616
#define RowExclusiveLock
Definition: lockdefs.h:38
#define CStringGetDatum(X)
Definition: postgres.h:578
Oid binary_upgrade_next_pg_type_oid
Definition: pg_type.c:40
uintptr_t Datum
Definition: postgres.h:367
#define BoolGetDatum(X)
Definition: postgres.h:402
#define InvalidOid
Definition: postgres_ext.h:36
#define ereport(elevel,...)
Definition: elog.h:144
#define HeapTupleIsValid(tuple)
Definition: htup.h:78
void GenerateTypeDependencies(HeapTuple typeTuple, Relation typeCatalog, Node *defaultExpr, void *typacl, char relationKind, bool isImplicitArray, bool isDependentType, bool rebuild)
Definition: pg_type.c:542
void CatalogTupleUpdate(Relation heapRel, ItemPointer otid, HeapTuple tup)
Definition: indexing.c:224
FormData_pg_type * Form_pg_type
Definition: pg_type.h:255
const char * name
Definition: encode.c:561
#define ObjectAddressSet(addr, class_id, object_id)
Definition: objectaddress.h:40
#define CharGetDatum(X)
Definition: postgres.h:416
static Datum values[MAXATTR]
Definition: bootstrap.c:167
#define IsBootstrapProcessingMode()
Definition: miscadmin.h:392
#define Int32GetDatum(X)
Definition: postgres.h:479
int errmsg(const char *fmt,...)
Definition: elog.c:824
#define elog(elevel,...)
Definition: elog.h:214
int i
#define CStringGetTextDatum(s)
Definition: builtins.h:87
#define SearchSysCacheCopy2(cacheId, key1, key2)
Definition: syscache.h:176
Relation table_open(Oid relationId, LOCKMODE lockmode)
Definition: table.c:39
HeapTuple heap_modify_tuple(HeapTuple tuple, TupleDesc tupleDesc, Datum *replValues, bool *replIsnull, bool *doReplace)
Definition: heaptuple.c:1113
#define ERRCODE_DUPLICATE_OBJECT
Definition: streamutil.c:31
void CatalogTupleInsert(Relation heapRel, HeapTuple tup)
Definition: indexing.c:183
#define TypeOidIndexId
Definition: indexing.h:286
Acl * get_user_default_acl(ObjectType objtype, Oid ownerId, Oid nsp_oid)
Definition: aclchk.c:5390

◆ TypeShellMake()

ObjectAddress TypeShellMake ( const char *  typeName,
Oid  typeNamespace,
Oid  ownerId 
)

Definition at line 56 of file pg_type.c.

References Assert, binary_upgrade_next_pg_type_oid, BoolGetDatum, CatalogTupleInsert(), CharGetDatum, DEFAULT_TYPDELIM, ereport, errcode(), errmsg(), ERROR, GenerateTypeDependencies(), GetNewOidWithIndex(), heap_form_tuple(), heap_freetuple(), i, Int16GetDatum, Int32GetDatum, InvalidOid, InvokeObjectPostCreateHook, IsBinaryUpgrade, IsBootstrapProcessingMode, name, NameGetDatum, namestrcpy(), ObjectAddressSet, ObjectIdGetDatum, OidIsValid, PointerIsValid, RelationData::rd_att, RowExclusiveLock, table_close(), table_open(), TypeOidIndexId, and values.

Referenced by compute_return_type(), and DefineType().

57 {
58  Relation pg_type_desc;
59  TupleDesc tupDesc;
60  int i;
61  HeapTuple tup;
62  Datum values[Natts_pg_type];
63  bool nulls[Natts_pg_type];
64  Oid typoid;
65  NameData name;
66  ObjectAddress address;
67 
68  Assert(PointerIsValid(typeName));
69 
70  /*
71  * open pg_type
72  */
73  pg_type_desc = table_open(TypeRelationId, RowExclusiveLock);
74  tupDesc = pg_type_desc->rd_att;
75 
76  /*
77  * initialize our *nulls and *values arrays
78  */
79  for (i = 0; i < Natts_pg_type; ++i)
80  {
81  nulls[i] = false;
82  values[i] = (Datum) NULL; /* redundant, but safe */
83  }
84 
85  /*
86  * initialize *values with the type name and dummy values
87  *
88  * The representational details are the same as int4 ... it doesn't really
89  * matter what they are so long as they are consistent. Also note that we
90  * give it typtype = TYPTYPE_PSEUDO as extra insurance that it won't be
91  * mistaken for a usable type.
92  */
93  namestrcpy(&name, typeName);
94  values[Anum_pg_type_typname - 1] = NameGetDatum(&name);
95  values[Anum_pg_type_typnamespace - 1] = ObjectIdGetDatum(typeNamespace);
96  values[Anum_pg_type_typowner - 1] = ObjectIdGetDatum(ownerId);
97  values[Anum_pg_type_typlen - 1] = Int16GetDatum(sizeof(int32));
98  values[Anum_pg_type_typbyval - 1] = BoolGetDatum(true);
99  values[Anum_pg_type_typtype - 1] = CharGetDatum(TYPTYPE_PSEUDO);
100  values[Anum_pg_type_typcategory - 1] = CharGetDatum(TYPCATEGORY_PSEUDOTYPE);
101  values[Anum_pg_type_typispreferred - 1] = BoolGetDatum(false);
102  values[Anum_pg_type_typisdefined - 1] = BoolGetDatum(false);
103  values[Anum_pg_type_typdelim - 1] = CharGetDatum(DEFAULT_TYPDELIM);
104  values[Anum_pg_type_typrelid - 1] = ObjectIdGetDatum(InvalidOid);
105  values[Anum_pg_type_typelem - 1] = ObjectIdGetDatum(InvalidOid);
106  values[Anum_pg_type_typarray - 1] = ObjectIdGetDatum(InvalidOid);
107  values[Anum_pg_type_typinput - 1] = ObjectIdGetDatum(F_SHELL_IN);
108  values[Anum_pg_type_typoutput - 1] = ObjectIdGetDatum(F_SHELL_OUT);
109  values[Anum_pg_type_typreceive - 1] = ObjectIdGetDatum(InvalidOid);
110  values[Anum_pg_type_typsend - 1] = ObjectIdGetDatum(InvalidOid);
111  values[Anum_pg_type_typmodin - 1] = ObjectIdGetDatum(InvalidOid);
112  values[Anum_pg_type_typmodout - 1] = ObjectIdGetDatum(InvalidOid);
113  values[Anum_pg_type_typanalyze - 1] = ObjectIdGetDatum(InvalidOid);
114  values[Anum_pg_type_typalign - 1] = CharGetDatum(TYPALIGN_INT);
115  values[Anum_pg_type_typstorage - 1] = CharGetDatum(TYPSTORAGE_PLAIN);
116  values[Anum_pg_type_typnotnull - 1] = BoolGetDatum(false);
117  values[Anum_pg_type_typbasetype - 1] = ObjectIdGetDatum(InvalidOid);
118  values[Anum_pg_type_typtypmod - 1] = Int32GetDatum(-1);
119  values[Anum_pg_type_typndims - 1] = Int32GetDatum(0);
120  values[Anum_pg_type_typcollation - 1] = ObjectIdGetDatum(InvalidOid);
121  nulls[Anum_pg_type_typdefaultbin - 1] = true;
122  nulls[Anum_pg_type_typdefault - 1] = true;
123  nulls[Anum_pg_type_typacl - 1] = true;
124 
125  /* Use binary-upgrade override for pg_type.oid? */
126  if (IsBinaryUpgrade)
127  {
129  ereport(ERROR,
130  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
131  errmsg("pg_type OID value not set when in binary upgrade mode")));
132 
135  }
136  else
137  {
138  typoid = GetNewOidWithIndex(pg_type_desc, TypeOidIndexId,
139  Anum_pg_type_oid);
140  }
141 
142  values[Anum_pg_type_oid - 1] = ObjectIdGetDatum(typoid);
143 
144  /*
145  * create a new type tuple
146  */
147  tup = heap_form_tuple(tupDesc, values, nulls);
148 
149  /*
150  * insert the tuple in the relation and get the tuple's oid.
151  */
152  CatalogTupleInsert(pg_type_desc, tup);
153 
154  /*
155  * Create dependencies. We can/must skip this in bootstrap mode.
156  */
159  pg_type_desc,
160  NULL,
161  NULL,
162  0,
163  false,
164  false,
165  false);
166 
167  /* Post creation hook for new shell type */
168  InvokeObjectPostCreateHook(TypeRelationId, typoid, 0);
169 
170  ObjectAddressSet(address, TypeRelationId, typoid);
171 
172  /*
173  * clean up and return the type-oid
174  */
175  heap_freetuple(tup);
176  table_close(pg_type_desc, RowExclusiveLock);
177 
178  return address;
179 }
Oid GetNewOidWithIndex(Relation relation, Oid indexId, AttrNumber oidcolumn)
Definition: catalog.c:317
#define NameGetDatum(X)
Definition: postgres.h:595
void table_close(Relation relation, LOCKMODE lockmode)
Definition: table.c:133
#define InvokeObjectPostCreateHook(classId, objectId, subId)
Definition: objectaccess.h:151
#define Int16GetDatum(X)
Definition: postgres.h:451
int errcode(int sqlerrcode)
Definition: elog.c:610
HeapTuple heap_form_tuple(TupleDesc tupleDescriptor, Datum *values, bool *isnull)
Definition: heaptuple.c:1020
void heap_freetuple(HeapTuple htup)
Definition: heaptuple.c:1338
unsigned int Oid
Definition: postgres_ext.h:31
int namestrcpy(Name name, const char *str)
Definition: name.c:250
#define OidIsValid(objectId)
Definition: c.h:651
bool IsBinaryUpgrade
Definition: globals.c:110
signed int int32
Definition: c.h:362
#define ObjectIdGetDatum(X)
Definition: postgres.h:507
#define ERROR
Definition: elog.h:43
Definition: c.h:616
#define RowExclusiveLock
Definition: lockdefs.h:38
Oid binary_upgrade_next_pg_type_oid
Definition: pg_type.c:40
uintptr_t Datum
Definition: postgres.h:367
TupleDesc rd_att
Definition: rel.h:110
#define BoolGetDatum(X)
Definition: postgres.h:402
#define InvalidOid
Definition: postgres_ext.h:36
#define ereport(elevel,...)
Definition: elog.h:144
#define DEFAULT_TYPDELIM
Definition: typecmds.h:22
#define Assert(condition)
Definition: c.h:745
void GenerateTypeDependencies(HeapTuple typeTuple, Relation typeCatalog, Node *defaultExpr, void *typacl, char relationKind, bool isImplicitArray, bool isDependentType, bool rebuild)
Definition: pg_type.c:542
const char * name
Definition: encode.c:561
#define ObjectAddressSet(addr, class_id, object_id)
Definition: objectaddress.h:40
#define CharGetDatum(X)
Definition: postgres.h:416
static Datum values[MAXATTR]
Definition: bootstrap.c:167
#define IsBootstrapProcessingMode()
Definition: miscadmin.h:392
#define Int32GetDatum(X)
Definition: postgres.h:479
int errmsg(const char *fmt,...)
Definition: elog.c:824
int i
Relation table_open(Oid relationId, LOCKMODE lockmode)
Definition: table.c:39
#define PointerIsValid(pointer)
Definition: c.h:639
void CatalogTupleInsert(Relation heapRel, HeapTuple tup)
Definition: indexing.c:183
#define TypeOidIndexId
Definition: indexing.h:286

Variable Documentation

◆ binary_upgrade_next_pg_type_oid

Oid binary_upgrade_next_pg_type_oid = InvalidOid

Definition at line 40 of file pg_type.c.

Referenced by binary_upgrade_set_next_pg_type_oid(), TypeCreate(), and TypeShellMake().