Thanks to visit codestin.com
Credit goes to doxygen.postgresql.org

PostgreSQL Source Code git master
namespace.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * namespace.c
4 * code to support accessing and searching namespaces
5 *
6 * This is separate from pg_namespace.c, which contains the routines that
7 * directly manipulate the pg_namespace system catalog. This module
8 * provides routines associated with defining a "namespace search path"
9 * and implementing search-path-controlled searches.
10 *
11 *
12 * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
13 * Portions Copyright (c) 1994, Regents of the University of California
14 *
15 * IDENTIFICATION
16 * src/backend/catalog/namespace.c
17 *
18 *-------------------------------------------------------------------------
19 */
20#include "postgres.h"
21
22#include "access/htup_details.h"
23#include "access/parallel.h"
24#include "access/xact.h"
25#include "access/xlog.h"
26#include "catalog/dependency.h"
27#include "catalog/namespace.h"
29#include "catalog/pg_authid.h"
32#include "catalog/pg_database.h"
34#include "catalog/pg_opclass.h"
35#include "catalog/pg_operator.h"
36#include "catalog/pg_opfamily.h"
37#include "catalog/pg_proc.h"
40#include "catalog/pg_ts_dict.h"
43#include "catalog/pg_type.h"
45#include "funcapi.h"
46#include "mb/pg_wchar.h"
47#include "miscadmin.h"
48#include "nodes/makefuncs.h"
49#include "storage/ipc.h"
50#include "storage/lmgr.h"
51#include "storage/procarray.h"
52#include "utils/acl.h"
53#include "utils/builtins.h"
54#include "utils/catcache.h"
55#include "utils/guc_hooks.h"
56#include "utils/inval.h"
57#include "utils/lsyscache.h"
58#include "utils/memutils.h"
59#include "utils/snapmgr.h"
60#include "utils/syscache.h"
61#include "utils/varlena.h"
62
63
64/*
65 * The namespace search path is a possibly-empty list of namespace OIDs.
66 * In addition to the explicit list, implicitly-searched namespaces
67 * may be included:
68 *
69 * 1. If a TEMP table namespace has been initialized in this session, it
70 * is implicitly searched first.
71 *
72 * 2. The system catalog namespace is always searched. If the system
73 * namespace is present in the explicit path then it will be searched in
74 * the specified order; otherwise it will be searched after TEMP tables and
75 * *before* the explicit list. (It might seem that the system namespace
76 * should be implicitly last, but this behavior appears to be required by
77 * SQL99. Also, this provides a way to search the system namespace first
78 * without thereby making it the default creation target namespace.)
79 *
80 * For security reasons, searches using the search path will ignore the temp
81 * namespace when searching for any object type other than relations and
82 * types. (We must allow types since temp tables have rowtypes.)
83 *
84 * The default creation target namespace is always the first element of the
85 * explicit list. If the explicit list is empty, there is no default target.
86 *
87 * The textual specification of search_path can include "$user" to refer to
88 * the namespace named the same as the current user, if any. (This is just
89 * ignored if there is no such namespace.) Also, it can include "pg_temp"
90 * to refer to the current backend's temp namespace. This is usually also
91 * ignorable if the temp namespace hasn't been set up, but there's a special
92 * case: if "pg_temp" appears first then it should be the default creation
93 * target. We kluge this case a little bit so that the temp namespace isn't
94 * set up until the first attempt to create something in it. (The reason for
95 * klugery is that we can't create the temp namespace outside a transaction,
96 * but initial GUC processing of search_path happens outside a transaction.)
97 * activeTempCreationPending is true if "pg_temp" appears first in the string
98 * but is not reflected in activeCreationNamespace because the namespace isn't
99 * set up yet.
100 *
101 * In bootstrap mode, the search path is set equal to "pg_catalog", so that
102 * the system namespace is the only one searched or inserted into.
103 * initdb is also careful to set search_path to "pg_catalog" for its
104 * post-bootstrap standalone backend runs. Otherwise the default search
105 * path is determined by GUC. The factory default path contains the PUBLIC
106 * namespace (if it exists), preceded by the user's personal namespace
107 * (if one exists).
108 *
109 * activeSearchPath is always the actually active path; it points to
110 * baseSearchPath which is the list derived from namespace_search_path.
111 *
112 * If baseSearchPathValid is false, then baseSearchPath (and other derived
113 * variables) need to be recomputed from namespace_search_path, or retrieved
114 * from the search path cache if there haven't been any syscache
115 * invalidations. We mark it invalid upon an assignment to
116 * namespace_search_path or receipt of a syscache invalidation event for
117 * pg_namespace or pg_authid. The recomputation is done during the next
118 * lookup attempt.
119 *
120 * Any namespaces mentioned in namespace_search_path that are not readable
121 * by the current user ID are simply left out of baseSearchPath; so
122 * we have to be willing to recompute the path when current userid changes.
123 * namespaceUser is the userid the path has been computed for.
124 *
125 * Note: all data pointed to by these List variables is in TopMemoryContext.
126 *
127 * activePathGeneration is incremented whenever the effective values of
128 * activeSearchPath/activeCreationNamespace/activeTempCreationPending change.
129 * This can be used to quickly detect whether any change has happened since
130 * a previous examination of the search path state.
131 */
132
133/* These variables define the actually active state: */
134
136
137/* default place to create stuff; if InvalidOid, no default */
139
140/* if true, activeCreationNamespace is wrong, it should be temp namespace */
141static bool activeTempCreationPending = false;
142
143/* current generation counter; make sure this is never zero */
145
146/* These variables are the values last derived from namespace_search_path: */
147
149
151
152static bool baseTempCreationPending = false;
153
155
156/* The above four values are valid only if baseSearchPathValid */
157static bool baseSearchPathValid = true;
158
159/*
160 * Storage for search path cache. Clear searchPathCacheValid as a simple
161 * way to invalidate *all* the cache entries, not just the active one.
162 */
163static bool searchPathCacheValid = false;
165
166typedef struct SearchPathCacheKey
167{
168 const char *searchPath;
171
173{
175 List *oidlist; /* namespace OIDs that pass ACL checks */
176 List *finalPath; /* cached final computed search path */
177 Oid firstNS; /* first explicitly-listed namespace */
179 bool forceRecompute; /* force recompute of finalPath */
180
181 /* needed for simplehash */
182 char status;
184
185/*
186 * myTempNamespace is InvalidOid until and unless a TEMP namespace is set up
187 * in a particular backend session (this happens when a CREATE TEMP TABLE
188 * command is first executed). Thereafter it's the OID of the temp namespace.
189 *
190 * myTempToastNamespace is the OID of the namespace for my temp tables' toast
191 * tables. It is set when myTempNamespace is, and is InvalidOid before that.
192 *
193 * myTempNamespaceSubID shows whether we've created the TEMP namespace in the
194 * current subtransaction. The flag propagates up the subtransaction tree,
195 * so the main transaction will correctly recognize the flag if all
196 * intermediate subtransactions commit. When it is InvalidSubTransactionId,
197 * we either haven't made the TEMP namespace yet, or have successfully
198 * committed its creation, depending on whether myTempNamespace is valid.
199 */
201
203
205
206/*
207 * This is the user's textual search path specification --- it's the value
208 * of the GUC variable 'search_path'.
209 */
211
212
213/* Local functions */
214static bool RelationIsVisibleExt(Oid relid, bool *is_missing);
215static bool TypeIsVisibleExt(Oid typid, bool *is_missing);
216static bool FunctionIsVisibleExt(Oid funcid, bool *is_missing);
217static bool OperatorIsVisibleExt(Oid oprid, bool *is_missing);
218static bool OpclassIsVisibleExt(Oid opcid, bool *is_missing);
219static bool OpfamilyIsVisibleExt(Oid opfid, bool *is_missing);
220static bool CollationIsVisibleExt(Oid collid, bool *is_missing);
221static bool ConversionIsVisibleExt(Oid conid, bool *is_missing);
222static bool StatisticsObjIsVisibleExt(Oid stxid, bool *is_missing);
223static bool TSParserIsVisibleExt(Oid prsId, bool *is_missing);
224static bool TSDictionaryIsVisibleExt(Oid dictId, bool *is_missing);
225static bool TSTemplateIsVisibleExt(Oid tmplId, bool *is_missing);
226static bool TSConfigIsVisibleExt(Oid cfgid, bool *is_missing);
227static void recomputeNamespacePath(void);
228static void AccessTempTableNamespace(bool force);
229static void InitTempTableNamespace(void);
230static void RemoveTempRelations(Oid tempNamespaceId);
231static void RemoveTempRelationsCallback(int code, Datum arg);
232static void InvalidationCallback(Datum arg, int cacheid, uint32 hashvalue);
233static bool MatchNamedCall(HeapTuple proctup, int nargs, List *argnames,
234 bool include_out_arguments, int pronargs,
235 int **argnumbers, int *fgc_flags);
236
237/*
238 * Recomputing the namespace path can be costly when done frequently, such as
239 * when a function has search_path set in proconfig. Add a search path cache
240 * that can be used by recomputeNamespacePath().
241 *
242 * The cache is also used to remember already-validated strings in
243 * check_search_path() to avoid the need to call SplitIdentifierString()
244 * repeatedly.
245 *
246 * The search path cache is based on a wrapper around a simplehash hash table
247 * (nsphash, defined below). The spcache wrapper deals with OOM while trying
248 * to initialize a key, optimizes repeated lookups of the same key, and also
249 * offers a more convenient API.
250 */
251
252static inline uint32
254{
256 int sp_len;
257
258 fasthash_init(&hs, 0);
259
260 hs.accum = key.roleid;
261 fasthash_combine(&hs);
262
263 /*
264 * Combine search path into the hash and save the length for tweaking the
265 * final mix.
266 */
267 sp_len = fasthash_accum_cstring(&hs, key.searchPath);
268
269 return fasthash_final32(&hs, sp_len);
270}
271
272static inline bool
274{
275 return a.roleid == b.roleid &&
276 strcmp(a.searchPath, b.searchPath) == 0;
277}
278
279#define SH_PREFIX nsphash
280#define SH_ELEMENT_TYPE SearchPathCacheEntry
281#define SH_KEY_TYPE SearchPathCacheKey
282#define SH_KEY key
283#define SH_HASH_KEY(tb, key) spcachekey_hash(key)
284#define SH_EQUAL(tb, a, b) spcachekey_equal(a, b)
285#define SH_SCOPE static inline
286#define SH_DECLARE
287#define SH_DEFINE
288#include "lib/simplehash.h"
289
290/*
291 * We only expect a small number of unique search_path strings to be used. If
292 * this cache grows to an unreasonable size, reset it to avoid steady-state
293 * memory growth. Most likely, only a few of those entries will benefit from
294 * the cache, and the cache will be quickly repopulated with such entries.
295 */
296#define SPCACHE_RESET_THRESHOLD 256
297
298static nsphash_hash *SearchPathCache = NULL;
300
301/*
302 * Create or reset search_path cache as necessary.
303 */
304static void
306{
309 return;
310
311 searchPathCacheValid = false;
312 baseSearchPathValid = false;
313
314 /*
315 * Make sure we don't leave dangling pointers if a failure happens during
316 * initialization.
317 */
318 SearchPathCache = NULL;
320
321 if (SearchPathCacheContext == NULL)
322 {
323 /* Make the context we'll keep search path cache hashtable in */
325 "search_path processing cache",
327 }
328 else
329 {
331 }
332
333 /* arbitrary initial starting size of 16 elements */
334 SearchPathCache = nsphash_create(SearchPathCacheContext, 16, NULL);
336}
337
338/*
339 * Look up entry in search path cache without inserting. Returns NULL if not
340 * present.
341 */
343spcache_lookup(const char *searchPath, Oid roleid)
344{
347 strcmp(LastSearchPathCacheEntry->key.searchPath, searchPath) == 0)
348 {
350 }
351 else
352 {
354 SearchPathCacheKey cachekey = {
355 .searchPath = searchPath,
356 .roleid = roleid
357 };
358
359 entry = nsphash_lookup(SearchPathCache, cachekey);
360 if (entry)
362 return entry;
363 }
364}
365
366/*
367 * Look up or insert entry in search path cache.
368 *
369 * Initialize key safely, so that OOM does not leave an entry without a valid
370 * key. Caller must ensure that non-key contents are properly initialized.
371 */
373spcache_insert(const char *searchPath, Oid roleid)
374{
377 strcmp(LastSearchPathCacheEntry->key.searchPath, searchPath) == 0)
378 {
380 }
381 else
382 {
384 SearchPathCacheKey cachekey = {
385 .searchPath = searchPath,
386 .roleid = roleid
387 };
388
389 /*
390 * searchPath is not saved in SearchPathCacheContext. First perform a
391 * lookup, and copy searchPath only if we need to create a new entry.
392 */
393 entry = nsphash_lookup(SearchPathCache, cachekey);
394
395 if (!entry)
396 {
397 bool found;
398
400 entry = nsphash_insert(SearchPathCache, cachekey, &found);
401 Assert(!found);
402
403 entry->oidlist = NIL;
404 entry->finalPath = NIL;
405 entry->firstNS = InvalidOid;
406 entry->temp_missing = false;
407 entry->forceRecompute = false;
408 /* do not touch entry->status, used by simplehash */
409 }
410
412 return entry;
413 }
414}
415
416/*
417 * RangeVarGetRelidExtended
418 * Given a RangeVar describing an existing relation,
419 * select the proper namespace and look up the relation OID.
420 *
421 * If the schema or relation is not found, return InvalidOid if flags contains
422 * RVR_MISSING_OK, otherwise raise an error.
423 *
424 * If flags contains RVR_NOWAIT, throw an error if we'd have to wait for a
425 * lock.
426 *
427 * If flags contains RVR_SKIP_LOCKED, return InvalidOid if we'd have to wait
428 * for a lock.
429 *
430 * flags cannot contain both RVR_NOWAIT and RVR_SKIP_LOCKED.
431 *
432 * Note that if RVR_MISSING_OK and RVR_SKIP_LOCKED are both specified, a
433 * return value of InvalidOid could either mean the relation is missing or it
434 * could not be locked.
435 *
436 * Callback allows caller to check permissions or acquire additional locks
437 * prior to grabbing the relation lock.
438 */
439Oid
441 uint32 flags,
442 RangeVarGetRelidCallback callback, void *callback_arg)
443{
444 uint64 inval_count;
445 Oid relId;
446 Oid oldRelId = InvalidOid;
447 bool retry = false;
448 bool missing_ok = (flags & RVR_MISSING_OK) != 0;
449
450 /* verify that flags do no conflict */
451 Assert(!((flags & RVR_NOWAIT) && (flags & RVR_SKIP_LOCKED)));
452
453 /*
454 * We check the catalog name and then ignore it.
455 */
456 if (relation->catalogname)
457 {
458 if (strcmp(relation->catalogname, get_database_name(MyDatabaseId)) != 0)
460 (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
461 errmsg("cross-database references are not implemented: \"%s.%s.%s\"",
462 relation->catalogname, relation->schemaname,
463 relation->relname)));
464 }
465
466 /*
467 * DDL operations can change the results of a name lookup. Since all such
468 * operations will generate invalidation messages, we keep track of
469 * whether any such messages show up while we're performing the operation,
470 * and retry until either (1) no more invalidation messages show up or (2)
471 * the answer doesn't change.
472 *
473 * But if lockmode = NoLock, then we assume that either the caller is OK
474 * with the answer changing under them, or that they already hold some
475 * appropriate lock, and therefore return the first answer we get without
476 * checking for invalidation messages. Also, if the requested lock is
477 * already held, LockRelationOid will not AcceptInvalidationMessages, so
478 * we may fail to notice a change. We could protect against that case by
479 * calling AcceptInvalidationMessages() before beginning this loop, but
480 * that would add a significant amount overhead, so for now we don't.
481 */
482 for (;;)
483 {
484 /*
485 * Remember this value, so that, after looking up the relation name
486 * and locking its OID, we can check whether any invalidation messages
487 * have been processed that might require a do-over.
488 */
489 inval_count = SharedInvalidMessageCounter;
490
491 /*
492 * Some non-default relpersistence value may have been specified. The
493 * parser never generates such a RangeVar in simple DML, but it can
494 * happen in contexts such as "CREATE TEMP TABLE foo (f1 int PRIMARY
495 * KEY)". Such a command will generate an added CREATE INDEX
496 * operation, which must be careful to find the temp table, even when
497 * pg_temp is not first in the search path.
498 */
499 if (relation->relpersistence == RELPERSISTENCE_TEMP)
500 {
502 relId = InvalidOid; /* this probably can't happen? */
503 else
504 {
505 if (relation->schemaname)
506 {
507 Oid namespaceId;
508
509 namespaceId = LookupExplicitNamespace(relation->schemaname, missing_ok);
510
511 /*
512 * For missing_ok, allow a non-existent schema name to
513 * return InvalidOid.
514 */
515 if (namespaceId != myTempNamespace)
517 (errcode(ERRCODE_INVALID_TABLE_DEFINITION),
518 errmsg("temporary tables cannot specify a schema name")));
519 }
520
521 relId = get_relname_relid(relation->relname, myTempNamespace);
522 }
523 }
524 else if (relation->schemaname)
525 {
526 Oid namespaceId;
527
528 /* use exact schema given */
529 namespaceId = LookupExplicitNamespace(relation->schemaname, missing_ok);
530 if (missing_ok && !OidIsValid(namespaceId))
531 relId = InvalidOid;
532 else
533 relId = get_relname_relid(relation->relname, namespaceId);
534 }
535 else
536 {
537 /* search the namespace path */
538 relId = RelnameGetRelid(relation->relname);
539 }
540
541 /*
542 * Invoke caller-supplied callback, if any.
543 *
544 * This callback is a good place to check permissions: we haven't
545 * taken the table lock yet (and it's really best to check permissions
546 * before locking anything!), but we've gotten far enough to know what
547 * OID we think we should lock. Of course, concurrent DDL might
548 * change things while we're waiting for the lock, but in that case
549 * the callback will be invoked again for the new OID.
550 */
551 if (callback)
552 callback(relation, relId, oldRelId, callback_arg);
553
554 /*
555 * If no lock requested, we assume the caller knows what they're
556 * doing. They should have already acquired a heavyweight lock on
557 * this relation earlier in the processing of this same statement, so
558 * it wouldn't be appropriate to AcceptInvalidationMessages() here, as
559 * that might pull the rug out from under them.
560 */
561 if (lockmode == NoLock)
562 break;
563
564 /*
565 * If, upon retry, we get back the same OID we did last time, then the
566 * invalidation messages we processed did not change the final answer.
567 * So we're done.
568 *
569 * If we got a different OID, we've locked the relation that used to
570 * have this name rather than the one that does now. So release the
571 * lock.
572 */
573 if (retry)
574 {
575 if (relId == oldRelId)
576 break;
577 if (OidIsValid(oldRelId))
578 UnlockRelationOid(oldRelId, lockmode);
579 }
580
581 /*
582 * Lock relation. This will also accept any pending invalidation
583 * messages. If we got back InvalidOid, indicating not found, then
584 * there's nothing to lock, but we accept invalidation messages
585 * anyway, to flush any negative catcache entries that may be
586 * lingering.
587 */
588 if (!OidIsValid(relId))
590 else if (!(flags & (RVR_NOWAIT | RVR_SKIP_LOCKED)))
591 LockRelationOid(relId, lockmode);
592 else if (!ConditionalLockRelationOid(relId, lockmode))
593 {
594 int elevel = (flags & RVR_SKIP_LOCKED) ? DEBUG1 : ERROR;
595
596 if (relation->schemaname)
597 ereport(elevel,
598 (errcode(ERRCODE_LOCK_NOT_AVAILABLE),
599 errmsg("could not obtain lock on relation \"%s.%s\"",
600 relation->schemaname, relation->relname)));
601 else
602 ereport(elevel,
603 (errcode(ERRCODE_LOCK_NOT_AVAILABLE),
604 errmsg("could not obtain lock on relation \"%s\"",
605 relation->relname)));
606
607 return InvalidOid;
608 }
609
610 /*
611 * If no invalidation message were processed, we're done!
612 */
613 if (inval_count == SharedInvalidMessageCounter)
614 break;
615
616 /*
617 * Something may have changed. Let's repeat the name lookup, to make
618 * sure this name still references the same relation it did
619 * previously.
620 */
621 retry = true;
622 oldRelId = relId;
623 }
624
625 if (!OidIsValid(relId))
626 {
627 int elevel = missing_ok ? DEBUG1 : ERROR;
628
629 if (relation->schemaname)
630 ereport(elevel,
632 errmsg("relation \"%s.%s\" does not exist",
633 relation->schemaname, relation->relname)));
634 else
635 ereport(elevel,
637 errmsg("relation \"%s\" does not exist",
638 relation->relname)));
639 }
640 return relId;
641}
642
643/*
644 * RangeVarGetCreationNamespace
645 * Given a RangeVar describing a to-be-created relation,
646 * choose which namespace to create it in.
647 *
648 * Note: calling this may result in a CommandCounterIncrement operation.
649 * That will happen on the first request for a temp table in any particular
650 * backend run; we will need to either create or clean out the temp schema.
651 */
652Oid
654{
655 Oid namespaceId;
656
657 /*
658 * We check the catalog name and then ignore it.
659 */
660 if (newRelation->catalogname)
661 {
662 if (strcmp(newRelation->catalogname, get_database_name(MyDatabaseId)) != 0)
664 (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
665 errmsg("cross-database references are not implemented: \"%s.%s.%s\"",
666 newRelation->catalogname, newRelation->schemaname,
667 newRelation->relname)));
668 }
669
670 if (newRelation->schemaname)
671 {
672 /* check for pg_temp alias */
673 if (strcmp(newRelation->schemaname, "pg_temp") == 0)
674 {
675 /* Initialize temp namespace */
677 return myTempNamespace;
678 }
679 /* use exact schema given */
680 namespaceId = get_namespace_oid(newRelation->schemaname, false);
681 /* we do not check for USAGE rights here! */
682 }
683 else if (newRelation->relpersistence == RELPERSISTENCE_TEMP)
684 {
685 /* Initialize temp namespace */
687 return myTempNamespace;
688 }
689 else
690 {
691 /* use the default creation namespace */
694 {
695 /* Need to initialize temp namespace */
697 return myTempNamespace;
698 }
699 namespaceId = activeCreationNamespace;
700 if (!OidIsValid(namespaceId))
702 (errcode(ERRCODE_UNDEFINED_SCHEMA),
703 errmsg("no schema has been selected to create in")));
704 }
705
706 /* Note: callers will check for CREATE rights when appropriate */
707
708 return namespaceId;
709}
710
711/*
712 * RangeVarGetAndCheckCreationNamespace
713 *
714 * This function returns the OID of the namespace in which a new relation
715 * with a given name should be created. If the user does not have CREATE
716 * permission on the target namespace, this function will instead signal
717 * an ERROR.
718 *
719 * If non-NULL, *existing_relation_id is set to the OID of any existing relation
720 * with the same name which already exists in that namespace, or to InvalidOid
721 * if no such relation exists.
722 *
723 * If lockmode != NoLock, the specified lock mode is acquired on the existing
724 * relation, if any, provided that the current user owns the target relation.
725 * However, if lockmode != NoLock and the user does not own the target
726 * relation, we throw an ERROR, as we must not try to lock relations the
727 * user does not have permissions on.
728 *
729 * As a side effect, this function acquires AccessShareLock on the target
730 * namespace. Without this, the namespace could be dropped before our
731 * transaction commits, leaving behind relations with relnamespace pointing
732 * to a no-longer-existent namespace.
733 *
734 * As a further side-effect, if the selected namespace is a temporary namespace,
735 * we mark the RangeVar as RELPERSISTENCE_TEMP.
736 */
737Oid
739 LOCKMODE lockmode,
740 Oid *existing_relation_id)
741{
742 uint64 inval_count;
743 Oid relid;
744 Oid oldrelid = InvalidOid;
745 Oid nspid;
746 Oid oldnspid = InvalidOid;
747 bool retry = false;
748
749 /*
750 * We check the catalog name and then ignore it.
751 */
752 if (relation->catalogname)
753 {
754 if (strcmp(relation->catalogname, get_database_name(MyDatabaseId)) != 0)
756 (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
757 errmsg("cross-database references are not implemented: \"%s.%s.%s\"",
758 relation->catalogname, relation->schemaname,
759 relation->relname)));
760 }
761
762 /*
763 * As in RangeVarGetRelidExtended(), we guard against concurrent DDL
764 * operations by tracking whether any invalidation messages are processed
765 * while we're doing the name lookups and acquiring locks. See comments
766 * in that function for a more detailed explanation of this logic.
767 */
768 for (;;)
769 {
770 AclResult aclresult;
771
772 inval_count = SharedInvalidMessageCounter;
773
774 /* Look up creation namespace and check for existing relation. */
777 if (existing_relation_id != NULL)
778 relid = get_relname_relid(relation->relname, nspid);
779 else
780 relid = InvalidOid;
781
782 /*
783 * In bootstrap processing mode, we don't bother with permissions or
784 * locking. Permissions might not be working yet, and locking is
785 * unnecessary.
786 */
788 break;
789
790 /* Check namespace permissions. */
791 aclresult = object_aclcheck(NamespaceRelationId, nspid, GetUserId(), ACL_CREATE);
792 if (aclresult != ACLCHECK_OK)
793 aclcheck_error(aclresult, OBJECT_SCHEMA,
795
796 if (retry)
797 {
798 /* If nothing changed, we're done. */
799 if (relid == oldrelid && nspid == oldnspid)
800 break;
801 /* If creation namespace has changed, give up old lock. */
802 if (nspid != oldnspid)
803 UnlockDatabaseObject(NamespaceRelationId, oldnspid, 0,
805 /* If name points to something different, give up old lock. */
806 if (relid != oldrelid && OidIsValid(oldrelid) && lockmode != NoLock)
807 UnlockRelationOid(oldrelid, lockmode);
808 }
809
810 /* Lock namespace. */
811 if (nspid != oldnspid)
812 LockDatabaseObject(NamespaceRelationId, nspid, 0, AccessShareLock);
813
814 /* Lock relation, if required if and we have permission. */
815 if (lockmode != NoLock && OidIsValid(relid))
816 {
817 if (!object_ownercheck(RelationRelationId, relid, GetUserId()))
819 relation->relname);
820 if (relid != oldrelid)
821 LockRelationOid(relid, lockmode);
822 }
823
824 /* If no invalidation message were processed, we're done! */
825 if (inval_count == SharedInvalidMessageCounter)
826 break;
827
828 /* Something may have changed, so recheck our work. */
829 retry = true;
830 oldrelid = relid;
831 oldnspid = nspid;
832 }
833
835 if (existing_relation_id != NULL)
836 *existing_relation_id = relid;
837 return nspid;
838}
839
840/*
841 * Adjust the relpersistence for an about-to-be-created relation based on the
842 * creation namespace, and throw an error for invalid combinations.
843 */
844void
846{
847 switch (newRelation->relpersistence)
848 {
849 case RELPERSISTENCE_TEMP:
851 {
854 (errcode(ERRCODE_INVALID_TABLE_DEFINITION),
855 errmsg("cannot create relations in temporary schemas of other sessions")));
856 else
858 (errcode(ERRCODE_INVALID_TABLE_DEFINITION),
859 errmsg("cannot create temporary relation in non-temporary schema")));
860 }
861 break;
862 case RELPERSISTENCE_PERMANENT:
864 newRelation->relpersistence = RELPERSISTENCE_TEMP;
865 else if (isAnyTempNamespace(nspid))
867 (errcode(ERRCODE_INVALID_TABLE_DEFINITION),
868 errmsg("cannot create relations in temporary schemas of other sessions")));
869 break;
870 default:
873 (errcode(ERRCODE_INVALID_TABLE_DEFINITION),
874 errmsg("only temporary relations may be created in temporary schemas")));
875 }
876}
877
878/*
879 * RelnameGetRelid
880 * Try to resolve an unqualified relation name.
881 * Returns OID if relation found in search path, else InvalidOid.
882 */
883Oid
885{
886 Oid relid;
887 ListCell *l;
888
890
891 foreach(l, activeSearchPath)
892 {
893 Oid namespaceId = lfirst_oid(l);
894
895 relid = get_relname_relid(relname, namespaceId);
896 if (OidIsValid(relid))
897 return relid;
898 }
899
900 /* Not found in path */
901 return InvalidOid;
902}
903
904
905/*
906 * RelationIsVisible
907 * Determine whether a relation (identified by OID) is visible in the
908 * current search path. Visible means "would be found by searching
909 * for the unqualified relation name".
910 */
911bool
913{
914 return RelationIsVisibleExt(relid, NULL);
915}
916
917/*
918 * RelationIsVisibleExt
919 * As above, but if the relation isn't found and is_missing is not NULL,
920 * then set *is_missing = true and return false instead of throwing
921 * an error. (Caller must initialize *is_missing = false.)
922 */
923static bool
924RelationIsVisibleExt(Oid relid, bool *is_missing)
925{
926 HeapTuple reltup;
927 Form_pg_class relform;
928 Oid relnamespace;
929 bool visible;
930
931 reltup = SearchSysCache1(RELOID, ObjectIdGetDatum(relid));
932 if (!HeapTupleIsValid(reltup))
933 {
934 if (is_missing != NULL)
935 {
936 *is_missing = true;
937 return false;
938 }
939 elog(ERROR, "cache lookup failed for relation %u", relid);
940 }
941 relform = (Form_pg_class) GETSTRUCT(reltup);
942
944
945 /*
946 * Quick check: if it ain't in the path at all, it ain't visible. Items in
947 * the system namespace are surely in the path and so we needn't even do
948 * list_member_oid() for them.
949 */
950 relnamespace = relform->relnamespace;
951 if (relnamespace != PG_CATALOG_NAMESPACE &&
952 !list_member_oid(activeSearchPath, relnamespace))
953 visible = false;
954 else
955 {
956 /*
957 * If it is in the path, it might still not be visible; it could be
958 * hidden by another relation of the same name earlier in the path. So
959 * we must do a slow check for conflicting relations.
960 */
961 char *relname = NameStr(relform->relname);
962 ListCell *l;
963
964 visible = false;
965 foreach(l, activeSearchPath)
966 {
967 Oid namespaceId = lfirst_oid(l);
968
969 if (namespaceId == relnamespace)
970 {
971 /* Found it first in path */
972 visible = true;
973 break;
974 }
975 if (OidIsValid(get_relname_relid(relname, namespaceId)))
976 {
977 /* Found something else first in path */
978 break;
979 }
980 }
981 }
982
983 ReleaseSysCache(reltup);
984
985 return visible;
986}
987
988
989/*
990 * TypenameGetTypid
991 * Wrapper for binary compatibility.
992 */
993Oid
995{
996 return TypenameGetTypidExtended(typname, true);
997}
998
999/*
1000 * TypenameGetTypidExtended
1001 * Try to resolve an unqualified datatype name.
1002 * Returns OID if type found in search path, else InvalidOid.
1003 *
1004 * This is essentially the same as RelnameGetRelid.
1005 */
1006Oid
1007TypenameGetTypidExtended(const char *typname, bool temp_ok)
1008{
1009 Oid typid;
1010 ListCell *l;
1011
1013
1014 foreach(l, activeSearchPath)
1015 {
1016 Oid namespaceId = lfirst_oid(l);
1017
1018 if (!temp_ok && namespaceId == myTempNamespace)
1019 continue; /* do not look in temp namespace */
1020
1021 typid = GetSysCacheOid2(TYPENAMENSP, Anum_pg_type_oid,
1023 ObjectIdGetDatum(namespaceId));
1024 if (OidIsValid(typid))
1025 return typid;
1026 }
1027
1028 /* Not found in path */
1029 return InvalidOid;
1030}
1031
1032/*
1033 * TypeIsVisible
1034 * Determine whether a type (identified by OID) is visible in the
1035 * current search path. Visible means "would be found by searching
1036 * for the unqualified type name".
1037 */
1038bool
1040{
1041 return TypeIsVisibleExt(typid, NULL);
1042}
1043
1044/*
1045 * TypeIsVisibleExt
1046 * As above, but if the type isn't found and is_missing is not NULL,
1047 * then set *is_missing = true and return false instead of throwing
1048 * an error. (Caller must initialize *is_missing = false.)
1049 */
1050static bool
1051TypeIsVisibleExt(Oid typid, bool *is_missing)
1052{
1053 HeapTuple typtup;
1054 Form_pg_type typform;
1055 Oid typnamespace;
1056 bool visible;
1057
1058 typtup = SearchSysCache1(TYPEOID, ObjectIdGetDatum(typid));
1059 if (!HeapTupleIsValid(typtup))
1060 {
1061 if (is_missing != NULL)
1062 {
1063 *is_missing = true;
1064 return false;
1065 }
1066 elog(ERROR, "cache lookup failed for type %u", typid);
1067 }
1068 typform = (Form_pg_type) GETSTRUCT(typtup);
1069
1071
1072 /*
1073 * Quick check: if it ain't in the path at all, it ain't visible. Items in
1074 * the system namespace are surely in the path and so we needn't even do
1075 * list_member_oid() for them.
1076 */
1077 typnamespace = typform->typnamespace;
1078 if (typnamespace != PG_CATALOG_NAMESPACE &&
1079 !list_member_oid(activeSearchPath, typnamespace))
1080 visible = false;
1081 else
1082 {
1083 /*
1084 * If it is in the path, it might still not be visible; it could be
1085 * hidden by another type of the same name earlier in the path. So we
1086 * must do a slow check for conflicting types.
1087 */
1088 char *typname = NameStr(typform->typname);
1089 ListCell *l;
1090
1091 visible = false;
1092 foreach(l, activeSearchPath)
1093 {
1094 Oid namespaceId = lfirst_oid(l);
1095
1096 if (namespaceId == typnamespace)
1097 {
1098 /* Found it first in path */
1099 visible = true;
1100 break;
1101 }
1102 if (SearchSysCacheExists2(TYPENAMENSP,
1104 ObjectIdGetDatum(namespaceId)))
1105 {
1106 /* Found something else first in path */
1107 break;
1108 }
1109 }
1110 }
1111
1112 ReleaseSysCache(typtup);
1113
1114 return visible;
1115}
1116
1117
1118/*
1119 * FuncnameGetCandidates
1120 * Given a possibly-qualified routine name, argument count, and arg names,
1121 * retrieve a list of the possible matches.
1122 *
1123 * If nargs is -1, we return all routines matching the given name,
1124 * regardless of argument count. (argnames must be NIL, and expand_variadic
1125 * and expand_defaults must be false, in this case.)
1126 *
1127 * If argnames isn't NIL, we are considering a named- or mixed-notation call,
1128 * and only routines having all the listed argument names will be returned.
1129 * (We assume that length(argnames) <= nargs and all the passed-in names are
1130 * distinct.) The returned structs will include an argnumbers array showing
1131 * the actual argument index for each logical argument position.
1132 *
1133 * If expand_variadic is true, then variadic functions having the same number
1134 * or fewer arguments will be retrieved, with the variadic argument and any
1135 * additional argument positions filled with the variadic element type.
1136 * nvargs in the returned struct is set to the number of such arguments.
1137 * If expand_variadic is false, variadic arguments are not treated specially,
1138 * and the returned nvargs will always be zero.
1139 *
1140 * If expand_defaults is true, functions that could match after insertion of
1141 * default argument values will also be retrieved. In this case the returned
1142 * structs could have nargs > passed-in nargs, and ndargs is set to the number
1143 * of additional args (which can be retrieved from the function's
1144 * proargdefaults entry).
1145 *
1146 * If include_out_arguments is true, then OUT-mode arguments are considered to
1147 * be included in the argument list. Their types are included in the returned
1148 * arrays, and argnumbers are indexes in proallargtypes not proargtypes.
1149 * We also set nominalnargs to be the length of proallargtypes not proargtypes.
1150 * Otherwise OUT-mode arguments are ignored.
1151 *
1152 * It is not possible for nvargs and ndargs to both be nonzero in the same
1153 * list entry, since default insertion allows matches to functions with more
1154 * than nargs arguments while the variadic transformation requires the same
1155 * number or less.
1156 *
1157 * When argnames isn't NIL, the returned args[] type arrays are not ordered
1158 * according to the functions' declarations, but rather according to the call:
1159 * first any positional arguments, then the named arguments, then defaulted
1160 * arguments (if needed and allowed by expand_defaults). The argnumbers[]
1161 * array can be used to map this back to the catalog information.
1162 * argnumbers[k] is set to the proargtypes or proallargtypes index of the
1163 * k'th call argument.
1164 *
1165 * We search a single namespace if the function name is qualified, else
1166 * all namespaces in the search path. In the multiple-namespace case,
1167 * we arrange for entries in earlier namespaces to mask identical entries in
1168 * later namespaces.
1169 *
1170 * When expanding variadics, we arrange for non-variadic functions to mask
1171 * variadic ones if the expanded argument list is the same. It is still
1172 * possible for there to be conflicts between different variadic functions,
1173 * however.
1174 *
1175 * It is guaranteed that the return list will never contain multiple entries
1176 * with identical argument lists. When expand_defaults is true, the entries
1177 * could have more than nargs positions, but we still guarantee that they are
1178 * distinct in the first nargs positions. However, if argnames isn't NIL or
1179 * either expand_variadic or expand_defaults is true, there might be multiple
1180 * candidate functions that expand to identical argument lists. Rather than
1181 * throw error here, we report such situations by returning a single entry
1182 * with oid = 0 that represents a set of such conflicting candidates.
1183 * The caller might end up discarding such an entry anyway, but if it selects
1184 * such an entry it should react as though the call were ambiguous.
1185 *
1186 * We return an empty list (NULL) if no suitable matches can be found.
1187 * If the function name was schema-qualified with a schema that does not
1188 * exist, then we return an empty list if missing_ok is true and otherwise
1189 * throw an error. (missing_ok does not affect the behavior otherwise.)
1190 *
1191 * The output argument *fgc_flags is filled with a bitmask indicating how
1192 * far we were able to match the supplied information. This is not of much
1193 * interest if any candidates were found, but if not, it can help callers
1194 * produce an on-point error message.
1195 */
1197FuncnameGetCandidates(List *names, int nargs, List *argnames,
1198 bool expand_variadic, bool expand_defaults,
1199 bool include_out_arguments, bool missing_ok,
1200 int *fgc_flags)
1201{
1202 FuncCandidateList resultList = NULL;
1203 bool any_special = false;
1204 char *schemaname;
1205 char *funcname;
1206 Oid namespaceId;
1207 CatCList *catlist;
1208 int i;
1209
1210 /* check for caller error */
1211 Assert(nargs >= 0 || !(expand_variadic | expand_defaults));
1212
1213 /* initialize output fgc_flags to empty */
1214 *fgc_flags = 0;
1215
1216 /* deconstruct the name list */
1217 DeconstructQualifiedName(names, &schemaname, &funcname);
1218
1219 if (schemaname)
1220 {
1221 /* use exact schema given */
1222 *fgc_flags |= FGC_SCHEMA_GIVEN; /* report that a schema is given */
1223 namespaceId = LookupExplicitNamespace(schemaname, missing_ok);
1224 if (!OidIsValid(namespaceId))
1225 return NULL;
1226 *fgc_flags |= FGC_SCHEMA_EXISTS; /* report that the schema exists */
1227 }
1228 else
1229 {
1230 /* flag to indicate we need namespace search */
1231 namespaceId = InvalidOid;
1233 }
1234
1235 /* Search syscache by name only */
1236 catlist = SearchSysCacheList1(PROCNAMEARGSNSP, CStringGetDatum(funcname));
1237
1238 for (i = 0; i < catlist->n_members; i++)
1239 {
1240 HeapTuple proctup = &catlist->members[i]->tuple;
1241 Form_pg_proc procform = (Form_pg_proc) GETSTRUCT(proctup);
1242 Oid *proargtypes = procform->proargtypes.values;
1243 int pronargs = procform->pronargs;
1244 int effective_nargs;
1245 int pathpos = 0;
1246 bool variadic;
1247 bool use_defaults;
1248 Oid va_elem_type;
1249 int *argnumbers = NULL;
1250 FuncCandidateList newResult;
1251
1252 *fgc_flags |= FGC_NAME_EXISTS; /* the name is present in pg_proc */
1253
1254 if (OidIsValid(namespaceId))
1255 {
1256 /* Consider only procs in specified namespace */
1257 if (procform->pronamespace != namespaceId)
1258 continue;
1259 }
1260 else
1261 {
1262 /*
1263 * Consider only procs that are in the search path and are not in
1264 * the temp namespace.
1265 */
1266 ListCell *nsp;
1267
1268 foreach(nsp, activeSearchPath)
1269 {
1270 if (procform->pronamespace == lfirst_oid(nsp) &&
1271 procform->pronamespace != myTempNamespace)
1272 break;
1273 pathpos++;
1274 }
1275 if (nsp == NULL)
1276 continue; /* proc is not in search path */
1277 }
1278
1279 *fgc_flags |= FGC_NAME_VISIBLE; /* routine is in the right schema */
1280
1281 /*
1282 * If we are asked to match to OUT arguments, then use the
1283 * proallargtypes array (which includes those); otherwise use
1284 * proargtypes (which doesn't). Of course, if proallargtypes is null,
1285 * we always use proargtypes.
1286 */
1287 if (include_out_arguments)
1288 {
1289 Datum proallargtypes;
1290 bool isNull;
1291
1292 proallargtypes = SysCacheGetAttr(PROCNAMEARGSNSP, proctup,
1293 Anum_pg_proc_proallargtypes,
1294 &isNull);
1295 if (!isNull)
1296 {
1297 ArrayType *arr = DatumGetArrayTypeP(proallargtypes);
1298
1299 pronargs = ARR_DIMS(arr)[0];
1300 if (ARR_NDIM(arr) != 1 ||
1301 pronargs < 0 ||
1302 ARR_HASNULL(arr) ||
1303 ARR_ELEMTYPE(arr) != OIDOID)
1304 elog(ERROR, "proallargtypes is not a 1-D Oid array or it contains nulls");
1305 Assert(pronargs >= procform->pronargs);
1306 proargtypes = (Oid *) ARR_DATA_PTR(arr);
1307 }
1308 }
1309
1310 if (argnames != NIL)
1311 {
1312 /*
1313 * Call uses named or mixed notation
1314 *
1315 * Check argument count.
1316 */
1317 Assert(nargs >= 0); /* -1 not supported with argnames */
1318
1319 if (pronargs > nargs && expand_defaults)
1320 {
1321 /* Ignore if not enough default expressions */
1322 if (nargs + procform->pronargdefaults < pronargs)
1323 continue;
1324 use_defaults = true;
1325 }
1326 else
1327 use_defaults = false;
1328
1329 /* Ignore if it doesn't match requested argument count */
1330 if (pronargs != nargs && !use_defaults)
1331 continue;
1332
1333 /* We found a routine with a suitable number of arguments */
1334 *fgc_flags |= FGC_ARGCOUNT_MATCH;
1335
1336 /* Check for argument name match, generate positional mapping */
1337 if (!MatchNamedCall(proctup, nargs, argnames,
1338 include_out_arguments, pronargs,
1339 &argnumbers, fgc_flags))
1340 continue;
1341
1342 /*
1343 * Named or mixed notation can match a variadic function only if
1344 * expand_variadic is off; otherwise there is no way to match the
1345 * presumed-nameless parameters expanded from the variadic array.
1346 * However, we postpone the check until here because we want to
1347 * perform argument name matching anyway (using the variadic array
1348 * argument's name). This allows us to give an on-point error
1349 * message if the user forgets to say VARIADIC in what would have
1350 * been a valid call with it.
1351 */
1352 if (OidIsValid(procform->provariadic) && expand_variadic)
1353 continue;
1354 va_elem_type = InvalidOid;
1355 variadic = false;
1356
1357 /* We found a fully-valid call using argument names */
1358 *fgc_flags |= FGC_ARGNAMES_VALID;
1359
1360 /* Named argument matching is always "special" */
1361 any_special = true;
1362 }
1363 else
1364 {
1365 /*
1366 * Call uses positional notation
1367 *
1368 * Check if function is variadic, and get variadic element type if
1369 * so. If expand_variadic is false, we should just ignore
1370 * variadic-ness.
1371 */
1372 if (pronargs <= nargs && expand_variadic)
1373 {
1374 va_elem_type = procform->provariadic;
1375 variadic = OidIsValid(va_elem_type);
1376 any_special |= variadic;
1377 }
1378 else
1379 {
1380 va_elem_type = InvalidOid;
1381 variadic = false;
1382 }
1383
1384 /*
1385 * Check if function can match by using parameter defaults.
1386 */
1387 if (pronargs > nargs && expand_defaults)
1388 {
1389 /* Ignore if not enough default expressions */
1390 if (nargs + procform->pronargdefaults < pronargs)
1391 continue;
1392 use_defaults = true;
1393 any_special = true;
1394 }
1395 else
1396 use_defaults = false;
1397
1398 /* Ignore if it doesn't match requested argument count */
1399 if (nargs >= 0 && pronargs != nargs && !variadic && !use_defaults)
1400 continue;
1401
1402 /* We found a routine with a suitable number of arguments */
1403 *fgc_flags |= FGC_ARGCOUNT_MATCH;
1404 }
1405
1406 /*
1407 * We must compute the effective argument list so that we can easily
1408 * compare it to earlier results. We waste a palloc cycle if it gets
1409 * masked by an earlier result, but really that's a pretty infrequent
1410 * case so it's not worth worrying about.
1411 */
1412 effective_nargs = Max(pronargs, nargs);
1413 newResult = (FuncCandidateList)
1414 palloc(offsetof(struct _FuncCandidateList, args) +
1415 effective_nargs * sizeof(Oid));
1416 newResult->pathpos = pathpos;
1417 newResult->oid = procform->oid;
1418 newResult->nominalnargs = pronargs;
1419 newResult->nargs = effective_nargs;
1420 newResult->argnumbers = argnumbers;
1421 if (argnumbers)
1422 {
1423 /* Re-order the argument types into call's logical order */
1424 for (int j = 0; j < pronargs; j++)
1425 newResult->args[j] = proargtypes[argnumbers[j]];
1426 }
1427 else
1428 {
1429 /* Simple positional case, just copy proargtypes as-is */
1430 memcpy(newResult->args, proargtypes, pronargs * sizeof(Oid));
1431 }
1432 if (variadic)
1433 {
1434 newResult->nvargs = effective_nargs - pronargs + 1;
1435 /* Expand variadic argument into N copies of element type */
1436 for (int j = pronargs - 1; j < effective_nargs; j++)
1437 newResult->args[j] = va_elem_type;
1438 }
1439 else
1440 newResult->nvargs = 0;
1441 newResult->ndargs = use_defaults ? pronargs - nargs : 0;
1442
1443 /*
1444 * Does it have the same arguments as something we already accepted?
1445 * If so, decide what to do to avoid returning duplicate argument
1446 * lists. We can skip this check for the single-namespace case if no
1447 * special (named, variadic or defaults) match has been made, since
1448 * then the unique index on pg_proc guarantees all the matches have
1449 * different argument lists.
1450 */
1451 if (resultList != NULL &&
1452 (any_special || !OidIsValid(namespaceId)))
1453 {
1454 /*
1455 * If we have an ordered list from SearchSysCacheList (the normal
1456 * case), then any conflicting proc must immediately adjoin this
1457 * one in the list, so we only need to look at the newest result
1458 * item. If we have an unordered list, we have to scan the whole
1459 * result list. Also, if either the current candidate or any
1460 * previous candidate is a special match, we can't assume that
1461 * conflicts are adjacent.
1462 *
1463 * We ignore defaulted arguments in deciding what is a match.
1464 */
1465 FuncCandidateList prevResult;
1466
1467 if (catlist->ordered && !any_special)
1468 {
1469 /* ndargs must be 0 if !any_special */
1470 if (effective_nargs == resultList->nargs &&
1471 memcmp(newResult->args,
1472 resultList->args,
1473 effective_nargs * sizeof(Oid)) == 0)
1474 prevResult = resultList;
1475 else
1476 prevResult = NULL;
1477 }
1478 else
1479 {
1480 int cmp_nargs = newResult->nargs - newResult->ndargs;
1481
1482 for (prevResult = resultList;
1483 prevResult;
1484 prevResult = prevResult->next)
1485 {
1486 if (cmp_nargs == prevResult->nargs - prevResult->ndargs &&
1487 memcmp(newResult->args,
1488 prevResult->args,
1489 cmp_nargs * sizeof(Oid)) == 0)
1490 break;
1491 }
1492 }
1493
1494 if (prevResult)
1495 {
1496 /*
1497 * We have a match with a previous result. Decide which one
1498 * to keep, or mark it ambiguous if we can't decide. The
1499 * logic here is preference > 0 means prefer the old result,
1500 * preference < 0 means prefer the new, preference = 0 means
1501 * ambiguous.
1502 */
1503 int preference;
1504
1505 if (pathpos != prevResult->pathpos)
1506 {
1507 /*
1508 * Prefer the one that's earlier in the search path.
1509 */
1510 preference = pathpos - prevResult->pathpos;
1511 }
1512 else if (variadic && prevResult->nvargs == 0)
1513 {
1514 /*
1515 * With variadic functions we could have, for example,
1516 * both foo(numeric) and foo(variadic numeric[]) in the
1517 * same namespace; if so we prefer the non-variadic match
1518 * on efficiency grounds.
1519 */
1520 preference = 1;
1521 }
1522 else if (!variadic && prevResult->nvargs > 0)
1523 {
1524 preference = -1;
1525 }
1526 else
1527 {
1528 /*----------
1529 * We can't decide. This can happen with, for example,
1530 * both foo(numeric, variadic numeric[]) and
1531 * foo(variadic numeric[]) in the same namespace, or
1532 * both foo(int) and foo (int, int default something)
1533 * in the same namespace, or both foo(a int, b text)
1534 * and foo(b text, a int) in the same namespace.
1535 *----------
1536 */
1537 preference = 0;
1538 }
1539
1540 if (preference > 0)
1541 {
1542 /* keep previous result */
1543 pfree(newResult);
1544 continue;
1545 }
1546 else if (preference < 0)
1547 {
1548 /* remove previous result from the list */
1549 if (prevResult == resultList)
1550 resultList = prevResult->next;
1551 else
1552 {
1553 FuncCandidateList prevPrevResult;
1554
1555 for (prevPrevResult = resultList;
1556 prevPrevResult;
1557 prevPrevResult = prevPrevResult->next)
1558 {
1559 if (prevResult == prevPrevResult->next)
1560 {
1561 prevPrevResult->next = prevResult->next;
1562 break;
1563 }
1564 }
1565 Assert(prevPrevResult); /* assert we found it */
1566 }
1567 pfree(prevResult);
1568 /* fall through to add newResult to list */
1569 }
1570 else
1571 {
1572 /* mark old result as ambiguous, discard new */
1573 prevResult->oid = InvalidOid;
1574 pfree(newResult);
1575 continue;
1576 }
1577 }
1578 }
1579
1580 /*
1581 * Okay to add it to result list
1582 */
1583 newResult->next = resultList;
1584 resultList = newResult;
1585 }
1586
1587 ReleaseSysCacheList(catlist);
1588
1589 return resultList;
1590}
1591
1592/*
1593 * MatchNamedCall
1594 * Given a pg_proc heap tuple and a call's list of argument names,
1595 * check whether the function could match the call.
1596 *
1597 * The call could match if all supplied argument names are accepted by
1598 * the function, in positions after the last positional argument, and there
1599 * are defaults for all unsupplied arguments.
1600 *
1601 * If include_out_arguments is true, we are treating OUT arguments as
1602 * included in the argument list. pronargs is the number of arguments
1603 * we're considering (the length of either proargtypes or proallargtypes).
1604 *
1605 * The number of positional arguments is nargs - list_length(argnames).
1606 * Note caller has already done basic checks on argument count.
1607 *
1608 * On match, return true and fill *argnumbers with a palloc'd array showing
1609 * the mapping from call argument positions to actual function argument
1610 * numbers. Defaulted arguments are included in this map, at positions
1611 * after the last supplied argument.
1612 *
1613 * We also add flag bits to *fgc_flags reporting on how far the match got.
1614 */
1615static bool
1616MatchNamedCall(HeapTuple proctup, int nargs, List *argnames,
1617 bool include_out_arguments, int pronargs,
1618 int **argnumbers, int *fgc_flags)
1619{
1620 Form_pg_proc procform = (Form_pg_proc) GETSTRUCT(proctup);
1621 int numposargs = nargs - list_length(argnames);
1622 int pronallargs;
1623 Oid *p_argtypes;
1624 char **p_argnames;
1625 char *p_argmodes;
1626 bool arggiven[FUNC_MAX_ARGS];
1627 bool arg_filled_twice = false;
1628 bool isnull;
1629 int ap; /* call args position */
1630 int pp; /* proargs position */
1631 ListCell *lc;
1632
1633 Assert(argnames != NIL);
1634 Assert(numposargs >= 0);
1635 Assert(nargs <= pronargs);
1636
1637 /* Ignore this function if its proargnames is null */
1638 (void) SysCacheGetAttr(PROCOID, proctup, Anum_pg_proc_proargnames,
1639 &isnull);
1640 if (isnull)
1641 return false;
1642
1643 /* OK, let's extract the argument names and types */
1644 pronallargs = get_func_arg_info(proctup,
1645 &p_argtypes, &p_argnames, &p_argmodes);
1646 Assert(p_argnames != NULL);
1647
1648 Assert(include_out_arguments ? (pronargs == pronallargs) : (pronargs <= pronallargs));
1649
1650 /* initialize state for matching */
1651 *argnumbers = (int *) palloc(pronargs * sizeof(int));
1652 memset(arggiven, false, pronargs * sizeof(bool));
1653
1654 /* there are numposargs positional args before the named args */
1655 for (ap = 0; ap < numposargs; ap++)
1656 {
1657 (*argnumbers)[ap] = ap;
1658 arggiven[ap] = true;
1659 }
1660
1661 /* now examine the named args */
1662 foreach(lc, argnames)
1663 {
1664 char *argname = (char *) lfirst(lc);
1665 bool found;
1666 int i;
1667
1668 pp = 0;
1669 found = false;
1670 for (i = 0; i < pronallargs; i++)
1671 {
1672 /* consider only input params, except with include_out_arguments */
1673 if (!include_out_arguments &&
1674 p_argmodes &&
1675 (p_argmodes[i] != FUNC_PARAM_IN &&
1676 p_argmodes[i] != FUNC_PARAM_INOUT &&
1677 p_argmodes[i] != FUNC_PARAM_VARIADIC))
1678 continue;
1679 if (p_argnames[i] && strcmp(p_argnames[i], argname) == 0)
1680 {
1681 /* note if argname matches a positional argument */
1682 if (arggiven[pp])
1683 arg_filled_twice = true;
1684 arggiven[pp] = true;
1685 (*argnumbers)[ap] = pp;
1686 found = true;
1687 break;
1688 }
1689 /* increase pp only for considered parameters */
1690 pp++;
1691 }
1692 /* if name isn't in proargnames, fail */
1693 if (!found)
1694 return false;
1695 ap++;
1696 }
1697
1698 Assert(ap == nargs); /* processed all actual parameters */
1699
1700 /* If we get here, the function did match all the supplied argnames */
1701 *fgc_flags |= FGC_ARGNAMES_MATCH;
1702
1703 /* ... however, some of them might have been placed wrong */
1704 if (arg_filled_twice)
1705 return false; /* some argname matched a positional argument */
1706
1707 /* If we get here, the call doesn't have invalid mixed notation */
1708 *fgc_flags |= FGC_ARGNAMES_NONDUP;
1709
1710 /* Check for default arguments */
1711 if (nargs < pronargs)
1712 {
1713 int first_arg_with_default = pronargs - procform->pronargdefaults;
1714
1715 for (pp = numposargs; pp < pronargs; pp++)
1716 {
1717 if (arggiven[pp])
1718 continue;
1719 /* fail if arg not given and no default available */
1720 if (pp < first_arg_with_default)
1721 return false;
1722 (*argnumbers)[ap++] = pp;
1723 }
1724 }
1725
1726 Assert(ap == pronargs); /* processed all function parameters */
1727
1728 /* If we get here, the call supplies all the required arguments */
1729 *fgc_flags |= FGC_ARGNAMES_ALL;
1730
1731 return true;
1732}
1733
1734/*
1735 * FunctionIsVisible
1736 * Determine whether a function (identified by OID) is visible in the
1737 * current search path. Visible means "would be found by searching
1738 * for the unqualified function name with exact argument matches".
1739 */
1740bool
1742{
1743 return FunctionIsVisibleExt(funcid, NULL);
1744}
1745
1746/*
1747 * FunctionIsVisibleExt
1748 * As above, but if the function isn't found and is_missing is not NULL,
1749 * then set *is_missing = true and return false instead of throwing
1750 * an error. (Caller must initialize *is_missing = false.)
1751 */
1752static bool
1753FunctionIsVisibleExt(Oid funcid, bool *is_missing)
1754{
1755 HeapTuple proctup;
1756 Form_pg_proc procform;
1757 Oid pronamespace;
1758 bool visible;
1759
1760 proctup = SearchSysCache1(PROCOID, ObjectIdGetDatum(funcid));
1761 if (!HeapTupleIsValid(proctup))
1762 {
1763 if (is_missing != NULL)
1764 {
1765 *is_missing = true;
1766 return false;
1767 }
1768 elog(ERROR, "cache lookup failed for function %u", funcid);
1769 }
1770 procform = (Form_pg_proc) GETSTRUCT(proctup);
1771
1773
1774 /*
1775 * Quick check: if it ain't in the path at all, it ain't visible. Items in
1776 * the system namespace are surely in the path and so we needn't even do
1777 * list_member_oid() for them.
1778 */
1779 pronamespace = procform->pronamespace;
1780 if (pronamespace != PG_CATALOG_NAMESPACE &&
1781 !list_member_oid(activeSearchPath, pronamespace))
1782 visible = false;
1783 else
1784 {
1785 /*
1786 * If it is in the path, it might still not be visible; it could be
1787 * hidden by another proc of the same name and arguments earlier in
1788 * the path. So we must do a slow check to see if this is the same
1789 * proc that would be found by FuncnameGetCandidates.
1790 */
1791 char *proname = NameStr(procform->proname);
1792 int nargs = procform->pronargs;
1793 FuncCandidateList clist;
1794 int fgc_flags;
1795
1796 visible = false;
1797
1799 nargs, NIL, false, false, false, false,
1800 &fgc_flags);
1801
1802 for (; clist; clist = clist->next)
1803 {
1804 if (memcmp(clist->args, procform->proargtypes.values,
1805 nargs * sizeof(Oid)) == 0)
1806 {
1807 /* Found the expected entry; is it the right proc? */
1808 visible = (clist->oid == funcid);
1809 break;
1810 }
1811 }
1812 }
1813
1814 ReleaseSysCache(proctup);
1815
1816 return visible;
1817}
1818
1819
1820/*
1821 * OpernameGetOprid
1822 * Given a possibly-qualified operator name and exact input datatypes,
1823 * look up the operator. Returns InvalidOid if not found.
1824 *
1825 * Pass oprleft = InvalidOid for a prefix op.
1826 *
1827 * If the operator name is not schema-qualified, it is sought in the current
1828 * namespace search path. If the name is schema-qualified and the given
1829 * schema does not exist, InvalidOid is returned.
1830 */
1831Oid
1832OpernameGetOprid(List *names, Oid oprleft, Oid oprright)
1833{
1834 char *schemaname;
1835 char *opername;
1836 CatCList *catlist;
1837 ListCell *l;
1838
1839 /* deconstruct the name list */
1840 DeconstructQualifiedName(names, &schemaname, &opername);
1841
1842 if (schemaname)
1843 {
1844 /* search only in exact schema given */
1845 Oid namespaceId;
1846
1847 namespaceId = LookupExplicitNamespace(schemaname, true);
1848 if (OidIsValid(namespaceId))
1849 {
1850 HeapTuple opertup;
1851
1852 opertup = SearchSysCache4(OPERNAMENSP,
1853 CStringGetDatum(opername),
1854 ObjectIdGetDatum(oprleft),
1855 ObjectIdGetDatum(oprright),
1856 ObjectIdGetDatum(namespaceId));
1857 if (HeapTupleIsValid(opertup))
1858 {
1859 Form_pg_operator operclass = (Form_pg_operator) GETSTRUCT(opertup);
1860 Oid result = operclass->oid;
1861
1862 ReleaseSysCache(opertup);
1863 return result;
1864 }
1865 }
1866
1867 return InvalidOid;
1868 }
1869
1870 /* Search syscache by name and argument types */
1871 catlist = SearchSysCacheList3(OPERNAMENSP,
1872 CStringGetDatum(opername),
1873 ObjectIdGetDatum(oprleft),
1874 ObjectIdGetDatum(oprright));
1875
1876 if (catlist->n_members == 0)
1877 {
1878 /* no hope, fall out early */
1879 ReleaseSysCacheList(catlist);
1880 return InvalidOid;
1881 }
1882
1883 /*
1884 * We have to find the list member that is first in the search path, if
1885 * there's more than one. This doubly-nested loop looks ugly, but in
1886 * practice there should usually be few catlist members.
1887 */
1889
1890 foreach(l, activeSearchPath)
1891 {
1892 Oid namespaceId = lfirst_oid(l);
1893 int i;
1894
1895 if (namespaceId == myTempNamespace)
1896 continue; /* do not look in temp namespace */
1897
1898 for (i = 0; i < catlist->n_members; i++)
1899 {
1900 HeapTuple opertup = &catlist->members[i]->tuple;
1901 Form_pg_operator operform = (Form_pg_operator) GETSTRUCT(opertup);
1902
1903 if (operform->oprnamespace == namespaceId)
1904 {
1905 Oid result = operform->oid;
1906
1907 ReleaseSysCacheList(catlist);
1908 return result;
1909 }
1910 }
1911 }
1912
1913 ReleaseSysCacheList(catlist);
1914 return InvalidOid;
1915}
1916
1917/*
1918 * OpernameGetCandidates
1919 * Given a possibly-qualified operator name and operator kind,
1920 * retrieve a list of the possible matches.
1921 *
1922 * If oprkind is '\0', we return all operators matching the given name,
1923 * regardless of arguments.
1924 *
1925 * We search a single namespace if the operator name is qualified, else
1926 * all namespaces in the search path. The return list will never contain
1927 * multiple entries with identical argument lists --- in the multiple-
1928 * namespace case, we arrange for entries in earlier namespaces to mask
1929 * identical entries in later namespaces.
1930 *
1931 * The returned items always have two args[] entries --- the first will be
1932 * InvalidOid for a prefix oprkind. nargs is always 2, too.
1933 *
1934 * We return an empty list (NULL) if no suitable matches can be found. If the
1935 * operator name was schema-qualified with a schema that does not exist, then
1936 * we return an empty list if missing_schema_ok is true and otherwise throw an
1937 * error. (missing_schema_ok does not affect the behavior otherwise.)
1938 *
1939 * The output argument *fgc_flags is filled with a bitmask indicating how
1940 * far we were able to match the supplied information. This is not of much
1941 * interest if any candidates were found, but if not, it can help callers
1942 * produce an on-point error message.
1943 */
1945OpernameGetCandidates(List *names, char oprkind, bool missing_schema_ok,
1946 int *fgc_flags)
1947{
1948 FuncCandidateList resultList = NULL;
1949 char *resultSpace = NULL;
1950 int nextResult = 0;
1951 char *schemaname;
1952 char *opername;
1953 Oid namespaceId;
1954 CatCList *catlist;
1955 int i;
1956
1957 /* initialize output fgc_flags to empty */
1958 *fgc_flags = 0;
1959
1960 /* deconstruct the name list */
1961 DeconstructQualifiedName(names, &schemaname, &opername);
1962
1963 if (schemaname)
1964 {
1965 /* use exact schema given */
1966 *fgc_flags |= FGC_SCHEMA_GIVEN; /* report that a schema is given */
1967 namespaceId = LookupExplicitNamespace(schemaname, missing_schema_ok);
1968 if (!OidIsValid(namespaceId))
1969 return NULL;
1970 *fgc_flags |= FGC_SCHEMA_EXISTS; /* report that the schema exists */
1971 }
1972 else
1973 {
1974 /* flag to indicate we need namespace search */
1975 namespaceId = InvalidOid;
1977 }
1978
1979 /* Search syscache by name only */
1980 catlist = SearchSysCacheList1(OPERNAMENSP, CStringGetDatum(opername));
1981
1982 /*
1983 * In typical scenarios, most if not all of the operators found by the
1984 * catcache search will end up getting returned; and there can be quite a
1985 * few, for common operator names such as '=' or '+'. To reduce the time
1986 * spent in palloc, we allocate the result space as an array large enough
1987 * to hold all the operators. The original coding of this routine did a
1988 * separate palloc for each operator, but profiling revealed that the
1989 * pallocs used an unreasonably large fraction of parsing time.
1990 */
1991#define SPACE_PER_OP MAXALIGN(offsetof(struct _FuncCandidateList, args) + \
1992 2 * sizeof(Oid))
1993
1994 if (catlist->n_members > 0)
1995 resultSpace = palloc(catlist->n_members * SPACE_PER_OP);
1996
1997 for (i = 0; i < catlist->n_members; i++)
1998 {
1999 HeapTuple opertup = &catlist->members[i]->tuple;
2000 Form_pg_operator operform = (Form_pg_operator) GETSTRUCT(opertup);
2001 int pathpos = 0;
2002 FuncCandidateList newResult;
2003
2004 /* Ignore operators of wrong kind, if specific kind requested */
2005 if (oprkind && operform->oprkind != oprkind)
2006 continue;
2007
2008 *fgc_flags |= FGC_NAME_EXISTS; /* the name is present in pg_operator */
2009
2010 if (OidIsValid(namespaceId))
2011 {
2012 /* Consider only opers in specified namespace */
2013 if (operform->oprnamespace != namespaceId)
2014 continue;
2015 /* No need to check args, they must all be different */
2016 }
2017 else
2018 {
2019 /*
2020 * Consider only opers that are in the search path and are not in
2021 * the temp namespace.
2022 */
2023 ListCell *nsp;
2024
2025 foreach(nsp, activeSearchPath)
2026 {
2027 if (operform->oprnamespace == lfirst_oid(nsp) &&
2028 operform->oprnamespace != myTempNamespace)
2029 break;
2030 pathpos++;
2031 }
2032 if (nsp == NULL)
2033 continue; /* oper is not in search path */
2034
2035 /*
2036 * Okay, it's in the search path, but does it have the same
2037 * arguments as something we already accepted? If so, keep only
2038 * the one that appears earlier in the search path.
2039 *
2040 * If we have an ordered list from SearchSysCacheList (the normal
2041 * case), then any conflicting oper must immediately adjoin this
2042 * one in the list, so we only need to look at the newest result
2043 * item. If we have an unordered list, we have to scan the whole
2044 * result list.
2045 */
2046 if (resultList)
2047 {
2048 FuncCandidateList prevResult;
2049
2050 if (catlist->ordered)
2051 {
2052 if (operform->oprleft == resultList->args[0] &&
2053 operform->oprright == resultList->args[1])
2054 prevResult = resultList;
2055 else
2056 prevResult = NULL;
2057 }
2058 else
2059 {
2060 for (prevResult = resultList;
2061 prevResult;
2062 prevResult = prevResult->next)
2063 {
2064 if (operform->oprleft == prevResult->args[0] &&
2065 operform->oprright == prevResult->args[1])
2066 break;
2067 }
2068 }
2069 if (prevResult)
2070 {
2071 /* We have a match with a previous result */
2072 Assert(pathpos != prevResult->pathpos);
2073 if (pathpos > prevResult->pathpos)
2074 continue; /* keep previous result */
2075 /* replace previous result */
2076 prevResult->pathpos = pathpos;
2077 prevResult->oid = operform->oid;
2078 continue; /* args are same, of course */
2079 }
2080 }
2081 }
2082
2083 *fgc_flags |= FGC_NAME_VISIBLE; /* operator is in the right schema */
2084
2085 /*
2086 * Okay to add it to result list
2087 */
2088 newResult = (FuncCandidateList) (resultSpace + nextResult);
2089 nextResult += SPACE_PER_OP;
2090
2091 newResult->pathpos = pathpos;
2092 newResult->oid = operform->oid;
2093 newResult->nominalnargs = 2;
2094 newResult->nargs = 2;
2095 newResult->nvargs = 0;
2096 newResult->ndargs = 0;
2097 newResult->argnumbers = NULL;
2098 newResult->args[0] = operform->oprleft;
2099 newResult->args[1] = operform->oprright;
2100 newResult->next = resultList;
2101 resultList = newResult;
2102 }
2103
2104 ReleaseSysCacheList(catlist);
2105
2106 return resultList;
2107}
2108
2109/*
2110 * OperatorIsVisible
2111 * Determine whether an operator (identified by OID) is visible in the
2112 * current search path. Visible means "would be found by searching
2113 * for the unqualified operator name with exact argument matches".
2114 */
2115bool
2117{
2118 return OperatorIsVisibleExt(oprid, NULL);
2119}
2120
2121/*
2122 * OperatorIsVisibleExt
2123 * As above, but if the operator isn't found and is_missing is not NULL,
2124 * then set *is_missing = true and return false instead of throwing
2125 * an error. (Caller must initialize *is_missing = false.)
2126 */
2127static bool
2129{
2130 HeapTuple oprtup;
2131 Form_pg_operator oprform;
2132 Oid oprnamespace;
2133 bool visible;
2134
2135 oprtup = SearchSysCache1(OPEROID, ObjectIdGetDatum(oprid));
2136 if (!HeapTupleIsValid(oprtup))
2137 {
2138 if (is_missing != NULL)
2139 {
2140 *is_missing = true;
2141 return false;
2142 }
2143 elog(ERROR, "cache lookup failed for operator %u", oprid);
2144 }
2145 oprform = (Form_pg_operator) GETSTRUCT(oprtup);
2146
2148
2149 /*
2150 * Quick check: if it ain't in the path at all, it ain't visible. Items in
2151 * the system namespace are surely in the path and so we needn't even do
2152 * list_member_oid() for them.
2153 */
2154 oprnamespace = oprform->oprnamespace;
2155 if (oprnamespace != PG_CATALOG_NAMESPACE &&
2156 !list_member_oid(activeSearchPath, oprnamespace))
2157 visible = false;
2158 else
2159 {
2160 /*
2161 * If it is in the path, it might still not be visible; it could be
2162 * hidden by another operator of the same name and arguments earlier
2163 * in the path. So we must do a slow check to see if this is the same
2164 * operator that would be found by OpernameGetOprid.
2165 */
2166 char *oprname = NameStr(oprform->oprname);
2167
2168 visible = (OpernameGetOprid(list_make1(makeString(oprname)),
2169 oprform->oprleft, oprform->oprright)
2170 == oprid);
2171 }
2172
2173 ReleaseSysCache(oprtup);
2174
2175 return visible;
2176}
2177
2178
2179/*
2180 * OpclassnameGetOpcid
2181 * Try to resolve an unqualified index opclass name.
2182 * Returns OID if opclass found in search path, else InvalidOid.
2183 *
2184 * This is essentially the same as TypenameGetTypid, but we have to have
2185 * an extra argument for the index AM OID.
2186 */
2187Oid
2188OpclassnameGetOpcid(Oid amid, const char *opcname)
2189{
2190 Oid opcid;
2191 ListCell *l;
2192
2194
2195 foreach(l, activeSearchPath)
2196 {
2197 Oid namespaceId = lfirst_oid(l);
2198
2199 if (namespaceId == myTempNamespace)
2200 continue; /* do not look in temp namespace */
2201
2202 opcid = GetSysCacheOid3(CLAAMNAMENSP, Anum_pg_opclass_oid,
2203 ObjectIdGetDatum(amid),
2204 PointerGetDatum(opcname),
2205 ObjectIdGetDatum(namespaceId));
2206 if (OidIsValid(opcid))
2207 return opcid;
2208 }
2209
2210 /* Not found in path */
2211 return InvalidOid;
2212}
2213
2214/*
2215 * OpclassIsVisible
2216 * Determine whether an opclass (identified by OID) is visible in the
2217 * current search path. Visible means "would be found by searching
2218 * for the unqualified opclass name".
2219 */
2220bool
2222{
2223 return OpclassIsVisibleExt(opcid, NULL);
2224}
2225
2226/*
2227 * OpclassIsVisibleExt
2228 * As above, but if the opclass isn't found and is_missing is not NULL,
2229 * then set *is_missing = true and return false instead of throwing
2230 * an error. (Caller must initialize *is_missing = false.)
2231 */
2232static bool
2233OpclassIsVisibleExt(Oid opcid, bool *is_missing)
2234{
2235 HeapTuple opctup;
2236 Form_pg_opclass opcform;
2237 Oid opcnamespace;
2238 bool visible;
2239
2240 opctup = SearchSysCache1(CLAOID, ObjectIdGetDatum(opcid));
2241 if (!HeapTupleIsValid(opctup))
2242 {
2243 if (is_missing != NULL)
2244 {
2245 *is_missing = true;
2246 return false;
2247 }
2248 elog(ERROR, "cache lookup failed for opclass %u", opcid);
2249 }
2250 opcform = (Form_pg_opclass) GETSTRUCT(opctup);
2251
2253
2254 /*
2255 * Quick check: if it ain't in the path at all, it ain't visible. Items in
2256 * the system namespace are surely in the path and so we needn't even do
2257 * list_member_oid() for them.
2258 */
2259 opcnamespace = opcform->opcnamespace;
2260 if (opcnamespace != PG_CATALOG_NAMESPACE &&
2261 !list_member_oid(activeSearchPath, opcnamespace))
2262 visible = false;
2263 else
2264 {
2265 /*
2266 * If it is in the path, it might still not be visible; it could be
2267 * hidden by another opclass of the same name earlier in the path. So
2268 * we must do a slow check to see if this opclass would be found by
2269 * OpclassnameGetOpcid.
2270 */
2271 char *opcname = NameStr(opcform->opcname);
2272
2273 visible = (OpclassnameGetOpcid(opcform->opcmethod, opcname) == opcid);
2274 }
2275
2276 ReleaseSysCache(opctup);
2277
2278 return visible;
2279}
2280
2281/*
2282 * OpfamilynameGetOpfid
2283 * Try to resolve an unqualified index opfamily name.
2284 * Returns OID if opfamily found in search path, else InvalidOid.
2285 *
2286 * This is essentially the same as TypenameGetTypid, but we have to have
2287 * an extra argument for the index AM OID.
2288 */
2289Oid
2290OpfamilynameGetOpfid(Oid amid, const char *opfname)
2291{
2292 Oid opfid;
2293 ListCell *l;
2294
2296
2297 foreach(l, activeSearchPath)
2298 {
2299 Oid namespaceId = lfirst_oid(l);
2300
2301 if (namespaceId == myTempNamespace)
2302 continue; /* do not look in temp namespace */
2303
2304 opfid = GetSysCacheOid3(OPFAMILYAMNAMENSP, Anum_pg_opfamily_oid,
2305 ObjectIdGetDatum(amid),
2306 PointerGetDatum(opfname),
2307 ObjectIdGetDatum(namespaceId));
2308 if (OidIsValid(opfid))
2309 return opfid;
2310 }
2311
2312 /* Not found in path */
2313 return InvalidOid;
2314}
2315
2316/*
2317 * OpfamilyIsVisible
2318 * Determine whether an opfamily (identified by OID) is visible in the
2319 * current search path. Visible means "would be found by searching
2320 * for the unqualified opfamily name".
2321 */
2322bool
2324{
2325 return OpfamilyIsVisibleExt(opfid, NULL);
2326}
2327
2328/*
2329 * OpfamilyIsVisibleExt
2330 * As above, but if the opfamily isn't found and is_missing is not NULL,
2331 * then set *is_missing = true and return false instead of throwing
2332 * an error. (Caller must initialize *is_missing = false.)
2333 */
2334static bool
2335OpfamilyIsVisibleExt(Oid opfid, bool *is_missing)
2336{
2337 HeapTuple opftup;
2338 Form_pg_opfamily opfform;
2339 Oid opfnamespace;
2340 bool visible;
2341
2342 opftup = SearchSysCache1(OPFAMILYOID, ObjectIdGetDatum(opfid));
2343 if (!HeapTupleIsValid(opftup))
2344 {
2345 if (is_missing != NULL)
2346 {
2347 *is_missing = true;
2348 return false;
2349 }
2350 elog(ERROR, "cache lookup failed for opfamily %u", opfid);
2351 }
2352 opfform = (Form_pg_opfamily) GETSTRUCT(opftup);
2353
2355
2356 /*
2357 * Quick check: if it ain't in the path at all, it ain't visible. Items in
2358 * the system namespace are surely in the path and so we needn't even do
2359 * list_member_oid() for them.
2360 */
2361 opfnamespace = opfform->opfnamespace;
2362 if (opfnamespace != PG_CATALOG_NAMESPACE &&
2363 !list_member_oid(activeSearchPath, opfnamespace))
2364 visible = false;
2365 else
2366 {
2367 /*
2368 * If it is in the path, it might still not be visible; it could be
2369 * hidden by another opfamily of the same name earlier in the path. So
2370 * we must do a slow check to see if this opfamily would be found by
2371 * OpfamilynameGetOpfid.
2372 */
2373 char *opfname = NameStr(opfform->opfname);
2374
2375 visible = (OpfamilynameGetOpfid(opfform->opfmethod, opfname) == opfid);
2376 }
2377
2378 ReleaseSysCache(opftup);
2379
2380 return visible;
2381}
2382
2383/*
2384 * lookup_collation
2385 * If there's a collation of the given name/namespace, and it works
2386 * with the given encoding, return its OID. Else return InvalidOid.
2387 */
2388static Oid
2389lookup_collation(const char *collname, Oid collnamespace, int32 encoding)
2390{
2391 Oid collid;
2392 HeapTuple colltup;
2393 Form_pg_collation collform;
2394
2395 /* Check for encoding-specific entry (exact match) */
2396 collid = GetSysCacheOid3(COLLNAMEENCNSP, Anum_pg_collation_oid,
2397 PointerGetDatum(collname),
2399 ObjectIdGetDatum(collnamespace));
2400 if (OidIsValid(collid))
2401 return collid;
2402
2403 /*
2404 * Check for any-encoding entry. This takes a bit more work: while libc
2405 * collations with collencoding = -1 do work with all encodings, ICU
2406 * collations only work with certain encodings, so we have to check that
2407 * aspect before deciding it's a match.
2408 */
2409 colltup = SearchSysCache3(COLLNAMEENCNSP,
2410 PointerGetDatum(collname),
2411 Int32GetDatum(-1),
2412 ObjectIdGetDatum(collnamespace));
2413 if (!HeapTupleIsValid(colltup))
2414 return InvalidOid;
2415 collform = (Form_pg_collation) GETSTRUCT(colltup);
2416 if (collform->collprovider == COLLPROVIDER_ICU)
2417 {
2419 collid = collform->oid;
2420 else
2422 }
2423 else
2424 {
2425 collid = collform->oid;
2426 }
2427 ReleaseSysCache(colltup);
2428 return collid;
2429}
2430
2431/*
2432 * CollationGetCollid
2433 * Try to resolve an unqualified collation name.
2434 * Returns OID if collation found in search path, else InvalidOid.
2435 *
2436 * Note that this will only find collations that work with the current
2437 * database's encoding.
2438 */
2439Oid
2440CollationGetCollid(const char *collname)
2441{
2442 int32 dbencoding = GetDatabaseEncoding();
2443 ListCell *l;
2444
2446
2447 foreach(l, activeSearchPath)
2448 {
2449 Oid namespaceId = lfirst_oid(l);
2450 Oid collid;
2451
2452 if (namespaceId == myTempNamespace)
2453 continue; /* do not look in temp namespace */
2454
2455 collid = lookup_collation(collname, namespaceId, dbencoding);
2456 if (OidIsValid(collid))
2457 return collid;
2458 }
2459
2460 /* Not found in path */
2461 return InvalidOid;
2462}
2463
2464/*
2465 * CollationIsVisible
2466 * Determine whether a collation (identified by OID) is visible in the
2467 * current search path. Visible means "would be found by searching
2468 * for the unqualified collation name".
2469 *
2470 * Note that only collations that work with the current database's encoding
2471 * will be considered visible.
2472 */
2473bool
2475{
2476 return CollationIsVisibleExt(collid, NULL);
2477}
2478
2479/*
2480 * CollationIsVisibleExt
2481 * As above, but if the collation isn't found and is_missing is not NULL,
2482 * then set *is_missing = true and return false instead of throwing
2483 * an error. (Caller must initialize *is_missing = false.)
2484 */
2485static bool
2487{
2488 HeapTuple colltup;
2489 Form_pg_collation collform;
2490 Oid collnamespace;
2491 bool visible;
2492
2493 colltup = SearchSysCache1(COLLOID, ObjectIdGetDatum(collid));
2494 if (!HeapTupleIsValid(colltup))
2495 {
2496 if (is_missing != NULL)
2497 {
2498 *is_missing = true;
2499 return false;
2500 }
2501 elog(ERROR, "cache lookup failed for collation %u", collid);
2502 }
2503 collform = (Form_pg_collation) GETSTRUCT(colltup);
2504
2506
2507 /*
2508 * Quick check: if it ain't in the path at all, it ain't visible. Items in
2509 * the system namespace are surely in the path and so we needn't even do
2510 * list_member_oid() for them.
2511 */
2512 collnamespace = collform->collnamespace;
2513 if (collnamespace != PG_CATALOG_NAMESPACE &&
2514 !list_member_oid(activeSearchPath, collnamespace))
2515 visible = false;
2516 else
2517 {
2518 /*
2519 * If it is in the path, it might still not be visible; it could be
2520 * hidden by another collation of the same name earlier in the path,
2521 * or it might not work with the current DB encoding. So we must do a
2522 * slow check to see if this collation would be found by
2523 * CollationGetCollid.
2524 */
2525 char *collname = NameStr(collform->collname);
2526
2527 visible = (CollationGetCollid(collname) == collid);
2528 }
2529
2530 ReleaseSysCache(colltup);
2531
2532 return visible;
2533}
2534
2535
2536/*
2537 * ConversionGetConid
2538 * Try to resolve an unqualified conversion name.
2539 * Returns OID if conversion found in search path, else InvalidOid.
2540 *
2541 * This is essentially the same as RelnameGetRelid.
2542 */
2543Oid
2544ConversionGetConid(const char *conname)
2545{
2546 Oid conid;
2547 ListCell *l;
2548
2550
2551 foreach(l, activeSearchPath)
2552 {
2553 Oid namespaceId = lfirst_oid(l);
2554
2555 if (namespaceId == myTempNamespace)
2556 continue; /* do not look in temp namespace */
2557
2558 conid = GetSysCacheOid2(CONNAMENSP, Anum_pg_conversion_oid,
2559 PointerGetDatum(conname),
2560 ObjectIdGetDatum(namespaceId));
2561 if (OidIsValid(conid))
2562 return conid;
2563 }
2564
2565 /* Not found in path */
2566 return InvalidOid;
2567}
2568
2569/*
2570 * ConversionIsVisible
2571 * Determine whether a conversion (identified by OID) is visible in the
2572 * current search path. Visible means "would be found by searching
2573 * for the unqualified conversion name".
2574 */
2575bool
2577{
2578 return ConversionIsVisibleExt(conid, NULL);
2579}
2580
2581/*
2582 * ConversionIsVisibleExt
2583 * As above, but if the conversion isn't found and is_missing is not NULL,
2584 * then set *is_missing = true and return false instead of throwing
2585 * an error. (Caller must initialize *is_missing = false.)
2586 */
2587static bool
2588ConversionIsVisibleExt(Oid conid, bool *is_missing)
2589{
2590 HeapTuple contup;
2591 Form_pg_conversion conform;
2592 Oid connamespace;
2593 bool visible;
2594
2595 contup = SearchSysCache1(CONVOID, ObjectIdGetDatum(conid));
2596 if (!HeapTupleIsValid(contup))
2597 {
2598 if (is_missing != NULL)
2599 {
2600 *is_missing = true;
2601 return false;
2602 }
2603 elog(ERROR, "cache lookup failed for conversion %u", conid);
2604 }
2605 conform = (Form_pg_conversion) GETSTRUCT(contup);
2606
2608
2609 /*
2610 * Quick check: if it ain't in the path at all, it ain't visible. Items in
2611 * the system namespace are surely in the path and so we needn't even do
2612 * list_member_oid() for them.
2613 */
2614 connamespace = conform->connamespace;
2615 if (connamespace != PG_CATALOG_NAMESPACE &&
2616 !list_member_oid(activeSearchPath, connamespace))
2617 visible = false;
2618 else
2619 {
2620 /*
2621 * If it is in the path, it might still not be visible; it could be
2622 * hidden by another conversion of the same name earlier in the path.
2623 * So we must do a slow check to see if this conversion would be found
2624 * by ConversionGetConid.
2625 */
2626 char *conname = NameStr(conform->conname);
2627
2628 visible = (ConversionGetConid(conname) == conid);
2629 }
2630
2631 ReleaseSysCache(contup);
2632
2633 return visible;
2634}
2635
2636/*
2637 * get_statistics_object_oid - find a statistics object by possibly qualified name
2638 *
2639 * If not found, returns InvalidOid if missing_ok, else throws error
2640 */
2641Oid
2642get_statistics_object_oid(List *names, bool missing_ok)
2643{
2644 char *schemaname;
2645 char *stats_name;
2646 Oid namespaceId;
2647 Oid stats_oid = InvalidOid;
2648 ListCell *l;
2649
2650 /* deconstruct the name list */
2651 DeconstructQualifiedName(names, &schemaname, &stats_name);
2652
2653 if (schemaname)
2654 {
2655 /* use exact schema given */
2656 namespaceId = LookupExplicitNamespace(schemaname, missing_ok);
2657 if (missing_ok && !OidIsValid(namespaceId))
2658 stats_oid = InvalidOid;
2659 else
2660 stats_oid = GetSysCacheOid2(STATEXTNAMENSP, Anum_pg_statistic_ext_oid,
2661 PointerGetDatum(stats_name),
2662 ObjectIdGetDatum(namespaceId));
2663 }
2664 else
2665 {
2666 /* search for it in search path */
2668
2669 foreach(l, activeSearchPath)
2670 {
2671 namespaceId = lfirst_oid(l);
2672
2673 if (namespaceId == myTempNamespace)
2674 continue; /* do not look in temp namespace */
2675 stats_oid = GetSysCacheOid2(STATEXTNAMENSP, Anum_pg_statistic_ext_oid,
2676 PointerGetDatum(stats_name),
2677 ObjectIdGetDatum(namespaceId));
2678 if (OidIsValid(stats_oid))
2679 break;
2680 }
2681 }
2682
2683 if (!OidIsValid(stats_oid) && !missing_ok)
2684 ereport(ERROR,
2685 (errcode(ERRCODE_UNDEFINED_OBJECT),
2686 errmsg("statistics object \"%s\" does not exist",
2687 NameListToString(names))));
2688
2689 return stats_oid;
2690}
2691
2692/*
2693 * StatisticsObjIsVisible
2694 * Determine whether a statistics object (identified by OID) is visible in
2695 * the current search path. Visible means "would be found by searching
2696 * for the unqualified statistics object name".
2697 */
2698bool
2700{
2701 return StatisticsObjIsVisibleExt(stxid, NULL);
2702}
2703
2704/*
2705 * StatisticsObjIsVisibleExt
2706 * As above, but if the statistics object isn't found and is_missing is
2707 * not NULL, then set *is_missing = true and return false instead of
2708 * throwing an error. (Caller must initialize *is_missing = false.)
2709 */
2710static bool
2711StatisticsObjIsVisibleExt(Oid stxid, bool *is_missing)
2712{
2713 HeapTuple stxtup;
2714 Form_pg_statistic_ext stxform;
2715 Oid stxnamespace;
2716 bool visible;
2717
2718 stxtup = SearchSysCache1(STATEXTOID, ObjectIdGetDatum(stxid));
2719 if (!HeapTupleIsValid(stxtup))
2720 {
2721 if (is_missing != NULL)
2722 {
2723 *is_missing = true;
2724 return false;
2725 }
2726 elog(ERROR, "cache lookup failed for statistics object %u", stxid);
2727 }
2728 stxform = (Form_pg_statistic_ext) GETSTRUCT(stxtup);
2729
2731
2732 /*
2733 * Quick check: if it ain't in the path at all, it ain't visible. Items in
2734 * the system namespace are surely in the path and so we needn't even do
2735 * list_member_oid() for them.
2736 */
2737 stxnamespace = stxform->stxnamespace;
2738 if (stxnamespace != PG_CATALOG_NAMESPACE &&
2739 !list_member_oid(activeSearchPath, stxnamespace))
2740 visible = false;
2741 else
2742 {
2743 /*
2744 * If it is in the path, it might still not be visible; it could be
2745 * hidden by another statistics object of the same name earlier in the
2746 * path. So we must do a slow check for conflicting objects.
2747 */
2748 char *stxname = NameStr(stxform->stxname);
2749 ListCell *l;
2750
2751 visible = false;
2752 foreach(l, activeSearchPath)
2753 {
2754 Oid namespaceId = lfirst_oid(l);
2755
2756 if (namespaceId == stxnamespace)
2757 {
2758 /* Found it first in path */
2759 visible = true;
2760 break;
2761 }
2762 if (SearchSysCacheExists2(STATEXTNAMENSP,
2763 PointerGetDatum(stxname),
2764 ObjectIdGetDatum(namespaceId)))
2765 {
2766 /* Found something else first in path */
2767 break;
2768 }
2769 }
2770 }
2771
2772 ReleaseSysCache(stxtup);
2773
2774 return visible;
2775}
2776
2777/*
2778 * get_ts_parser_oid - find a TS parser by possibly qualified name
2779 *
2780 * If not found, returns InvalidOid if missing_ok, else throws error
2781 */
2782Oid
2783get_ts_parser_oid(List *names, bool missing_ok)
2784{
2785 char *schemaname;
2786 char *parser_name;
2787 Oid namespaceId;
2788 Oid prsoid = InvalidOid;
2789 ListCell *l;
2790
2791 /* deconstruct the name list */
2792 DeconstructQualifiedName(names, &schemaname, &parser_name);
2793
2794 if (schemaname)
2795 {
2796 /* use exact schema given */
2797 namespaceId = LookupExplicitNamespace(schemaname, missing_ok);
2798 if (missing_ok && !OidIsValid(namespaceId))
2799 prsoid = InvalidOid;
2800 else
2801 prsoid = GetSysCacheOid2(TSPARSERNAMENSP, Anum_pg_ts_parser_oid,
2802 PointerGetDatum(parser_name),
2803 ObjectIdGetDatum(namespaceId));
2804 }
2805 else
2806 {
2807 /* search for it in search path */
2809
2810 foreach(l, activeSearchPath)
2811 {
2812 namespaceId = lfirst_oid(l);
2813
2814 if (namespaceId == myTempNamespace)
2815 continue; /* do not look in temp namespace */
2816
2817 prsoid = GetSysCacheOid2(TSPARSERNAMENSP, Anum_pg_ts_parser_oid,
2818 PointerGetDatum(parser_name),
2819 ObjectIdGetDatum(namespaceId));
2820 if (OidIsValid(prsoid))
2821 break;
2822 }
2823 }
2824
2825 if (!OidIsValid(prsoid) && !missing_ok)
2826 ereport(ERROR,
2827 (errcode(ERRCODE_UNDEFINED_OBJECT),
2828 errmsg("text search parser \"%s\" does not exist",
2829 NameListToString(names))));
2830
2831 return prsoid;
2832}
2833
2834/*
2835 * TSParserIsVisible
2836 * Determine whether a parser (identified by OID) is visible in the
2837 * current search path. Visible means "would be found by searching
2838 * for the unqualified parser name".
2839 */
2840bool
2842{
2843 return TSParserIsVisibleExt(prsId, NULL);
2844}
2845
2846/*
2847 * TSParserIsVisibleExt
2848 * As above, but if the parser isn't found and is_missing is not NULL,
2849 * then set *is_missing = true and return false instead of throwing
2850 * an error. (Caller must initialize *is_missing = false.)
2851 */
2852static bool
2853TSParserIsVisibleExt(Oid prsId, bool *is_missing)
2854{
2855 HeapTuple tup;
2856 Form_pg_ts_parser form;
2857 Oid namespace;
2858 bool visible;
2859
2860 tup = SearchSysCache1(TSPARSEROID, ObjectIdGetDatum(prsId));
2861 if (!HeapTupleIsValid(tup))
2862 {
2863 if (is_missing != NULL)
2864 {
2865 *is_missing = true;
2866 return false;
2867 }
2868 elog(ERROR, "cache lookup failed for text search parser %u", prsId);
2869 }
2870 form = (Form_pg_ts_parser) GETSTRUCT(tup);
2871
2873
2874 /*
2875 * Quick check: if it ain't in the path at all, it ain't visible. Items in
2876 * the system namespace are surely in the path and so we needn't even do
2877 * list_member_oid() for them.
2878 */
2879 namespace = form->prsnamespace;
2880 if (namespace != PG_CATALOG_NAMESPACE &&
2881 !list_member_oid(activeSearchPath, namespace))
2882 visible = false;
2883 else
2884 {
2885 /*
2886 * If it is in the path, it might still not be visible; it could be
2887 * hidden by another parser of the same name earlier in the path. So
2888 * we must do a slow check for conflicting parsers.
2889 */
2890 char *name = NameStr(form->prsname);
2891 ListCell *l;
2892
2893 visible = false;
2894 foreach(l, activeSearchPath)
2895 {
2896 Oid namespaceId = lfirst_oid(l);
2897
2898 if (namespaceId == myTempNamespace)
2899 continue; /* do not look in temp namespace */
2900
2901 if (namespaceId == namespace)
2902 {
2903 /* Found it first in path */
2904 visible = true;
2905 break;
2906 }
2907 if (SearchSysCacheExists2(TSPARSERNAMENSP,
2909 ObjectIdGetDatum(namespaceId)))
2910 {
2911 /* Found something else first in path */
2912 break;
2913 }
2914 }
2915 }
2916
2917 ReleaseSysCache(tup);
2918
2919 return visible;
2920}
2921
2922/*
2923 * get_ts_dict_oid - find a TS dictionary by possibly qualified name
2924 *
2925 * If not found, returns InvalidOid if missing_ok, else throws error
2926 */
2927Oid
2928get_ts_dict_oid(List *names, bool missing_ok)
2929{
2930 char *schemaname;
2931 char *dict_name;
2932 Oid namespaceId;
2933 Oid dictoid = InvalidOid;
2934 ListCell *l;
2935
2936 /* deconstruct the name list */
2937 DeconstructQualifiedName(names, &schemaname, &dict_name);
2938
2939 if (schemaname)
2940 {
2941 /* use exact schema given */
2942 namespaceId = LookupExplicitNamespace(schemaname, missing_ok);
2943 if (missing_ok && !OidIsValid(namespaceId))
2944 dictoid = InvalidOid;
2945 else
2946 dictoid = GetSysCacheOid2(TSDICTNAMENSP, Anum_pg_ts_dict_oid,
2947 PointerGetDatum(dict_name),
2948 ObjectIdGetDatum(namespaceId));
2949 }
2950 else
2951 {
2952 /* search for it in search path */
2954
2955 foreach(l, activeSearchPath)
2956 {
2957 namespaceId = lfirst_oid(l);
2958
2959 if (namespaceId == myTempNamespace)
2960 continue; /* do not look in temp namespace */
2961
2962 dictoid = GetSysCacheOid2(TSDICTNAMENSP, Anum_pg_ts_dict_oid,
2963 PointerGetDatum(dict_name),
2964 ObjectIdGetDatum(namespaceId));
2965 if (OidIsValid(dictoid))
2966 break;
2967 }
2968 }
2969
2970 if (!OidIsValid(dictoid) && !missing_ok)
2971 ereport(ERROR,
2972 (errcode(ERRCODE_UNDEFINED_OBJECT),
2973 errmsg("text search dictionary \"%s\" does not exist",
2974 NameListToString(names))));
2975
2976 return dictoid;
2977}
2978
2979/*
2980 * TSDictionaryIsVisible
2981 * Determine whether a dictionary (identified by OID) is visible in the
2982 * current search path. Visible means "would be found by searching
2983 * for the unqualified dictionary name".
2984 */
2985bool
2987{
2988 return TSDictionaryIsVisibleExt(dictId, NULL);
2989}
2990
2991/*
2992 * TSDictionaryIsVisibleExt
2993 * As above, but if the dictionary isn't found and is_missing is not NULL,
2994 * then set *is_missing = true and return false instead of throwing
2995 * an error. (Caller must initialize *is_missing = false.)
2996 */
2997static bool
2998TSDictionaryIsVisibleExt(Oid dictId, bool *is_missing)
2999{
3000 HeapTuple tup;
3001 Form_pg_ts_dict form;
3002 Oid namespace;
3003 bool visible;
3004
3005 tup = SearchSysCache1(TSDICTOID, ObjectIdGetDatum(dictId));
3006 if (!HeapTupleIsValid(tup))
3007 {
3008 if (is_missing != NULL)
3009 {
3010 *is_missing = true;
3011 return false;
3012 }
3013 elog(ERROR, "cache lookup failed for text search dictionary %u",
3014 dictId);
3015 }
3016 form = (Form_pg_ts_dict) GETSTRUCT(tup);
3017
3019
3020 /*
3021 * Quick check: if it ain't in the path at all, it ain't visible. Items in
3022 * the system namespace are surely in the path and so we needn't even do
3023 * list_member_oid() for them.
3024 */
3025 namespace = form->dictnamespace;
3026 if (namespace != PG_CATALOG_NAMESPACE &&
3027 !list_member_oid(activeSearchPath, namespace))
3028 visible = false;
3029 else
3030 {
3031 /*
3032 * If it is in the path, it might still not be visible; it could be
3033 * hidden by another dictionary of the same name earlier in the path.
3034 * So we must do a slow check for conflicting dictionaries.
3035 */
3036 char *name = NameStr(form->dictname);
3037 ListCell *l;
3038
3039 visible = false;
3040 foreach(l, activeSearchPath)
3041 {
3042 Oid namespaceId = lfirst_oid(l);
3043
3044 if (namespaceId == myTempNamespace)
3045 continue; /* do not look in temp namespace */
3046
3047 if (namespaceId == namespace)
3048 {
3049 /* Found it first in path */
3050 visible = true;
3051 break;
3052 }
3053 if (SearchSysCacheExists2(TSDICTNAMENSP,
3055 ObjectIdGetDatum(namespaceId)))
3056 {
3057 /* Found something else first in path */
3058 break;
3059 }
3060 }
3061 }
3062
3063 ReleaseSysCache(tup);
3064
3065 return visible;
3066}
3067
3068/*
3069 * get_ts_template_oid - find a TS template by possibly qualified name
3070 *
3071 * If not found, returns InvalidOid if missing_ok, else throws error
3072 */
3073Oid
3074get_ts_template_oid(List *names, bool missing_ok)
3075{
3076 char *schemaname;
3077 char *template_name;
3078 Oid namespaceId;
3079 Oid tmploid = InvalidOid;
3080 ListCell *l;
3081
3082 /* deconstruct the name list */
3083 DeconstructQualifiedName(names, &schemaname, &template_name);
3084
3085 if (schemaname)
3086 {
3087 /* use exact schema given */
3088 namespaceId = LookupExplicitNamespace(schemaname, missing_ok);
3089 if (missing_ok && !OidIsValid(namespaceId))
3090 tmploid = InvalidOid;
3091 else
3092 tmploid = GetSysCacheOid2(TSTEMPLATENAMENSP, Anum_pg_ts_template_oid,
3093 PointerGetDatum(template_name),
3094 ObjectIdGetDatum(namespaceId));
3095 }
3096 else
3097 {
3098 /* search for it in search path */
3100
3101 foreach(l, activeSearchPath)
3102 {
3103 namespaceId = lfirst_oid(l);
3104
3105 if (namespaceId == myTempNamespace)
3106 continue; /* do not look in temp namespace */
3107
3108 tmploid = GetSysCacheOid2(TSTEMPLATENAMENSP, Anum_pg_ts_template_oid,
3109 PointerGetDatum(template_name),
3110 ObjectIdGetDatum(namespaceId));
3111 if (OidIsValid(tmploid))
3112 break;
3113 }
3114 }
3115
3116 if (!OidIsValid(tmploid) && !missing_ok)
3117 ereport(ERROR,
3118 (errcode(ERRCODE_UNDEFINED_OBJECT),
3119 errmsg("text search template \"%s\" does not exist",
3120 NameListToString(names))));
3121
3122 return tmploid;
3123}
3124
3125/*
3126 * TSTemplateIsVisible
3127 * Determine whether a template (identified by OID) is visible in the
3128 * current search path. Visible means "would be found by searching
3129 * for the unqualified template name".
3130 */
3131bool
3133{
3134 return TSTemplateIsVisibleExt(tmplId, NULL);
3135}
3136
3137/*
3138 * TSTemplateIsVisibleExt
3139 * As above, but if the template isn't found and is_missing is not NULL,
3140 * then set *is_missing = true and return false instead of throwing
3141 * an error. (Caller must initialize *is_missing = false.)
3142 */
3143static bool
3144TSTemplateIsVisibleExt(Oid tmplId, bool *is_missing)
3145{
3146 HeapTuple tup;
3148 Oid namespace;
3149 bool visible;
3150
3151 tup = SearchSysCache1(TSTEMPLATEOID, ObjectIdGetDatum(tmplId));
3152 if (!HeapTupleIsValid(tup))
3153 {
3154 if (is_missing != NULL)
3155 {
3156 *is_missing = true;
3157 return false;
3158 }
3159 elog(ERROR, "cache lookup failed for text search template %u", tmplId);
3160 }
3161 form = (Form_pg_ts_template) GETSTRUCT(tup);
3162
3164
3165 /*
3166 * Quick check: if it ain't in the path at all, it ain't visible. Items in
3167 * the system namespace are surely in the path and so we needn't even do
3168 * list_member_oid() for them.
3169 */
3170 namespace = form->tmplnamespace;
3171 if (namespace != PG_CATALOG_NAMESPACE &&
3172 !list_member_oid(activeSearchPath, namespace))
3173 visible = false;
3174 else
3175 {
3176 /*
3177 * If it is in the path, it might still not be visible; it could be
3178 * hidden by another template of the same name earlier in the path. So
3179 * we must do a slow check for conflicting templates.
3180 */
3181 char *name = NameStr(form->tmplname);
3182 ListCell *l;
3183
3184 visible = false;
3185 foreach(l, activeSearchPath)
3186 {
3187 Oid namespaceId = lfirst_oid(l);
3188
3189 if (namespaceId == myTempNamespace)
3190 continue; /* do not look in temp namespace */
3191
3192 if (namespaceId == namespace)
3193 {
3194 /* Found it first in path */
3195 visible = true;
3196 break;
3197 }
3198 if (SearchSysCacheExists2(TSTEMPLATENAMENSP,
3200 ObjectIdGetDatum(namespaceId)))
3201 {
3202 /* Found something else first in path */
3203 break;
3204 }
3205 }
3206 }
3207
3208 ReleaseSysCache(tup);
3209
3210 return visible;
3211}
3212
3213/*
3214 * get_ts_config_oid - find a TS config by possibly qualified name
3215 *
3216 * If not found, returns InvalidOid if missing_ok, else throws error
3217 */
3218Oid
3219get_ts_config_oid(List *names, bool missing_ok)
3220{
3221 char *schemaname;
3222 char *config_name;
3223 Oid namespaceId;
3224 Oid cfgoid = InvalidOid;
3225 ListCell *l;
3226
3227 /* deconstruct the name list */
3228 DeconstructQualifiedName(names, &schemaname, &config_name);
3229
3230 if (schemaname)
3231 {
3232 /* use exact schema given */
3233 namespaceId = LookupExplicitNamespace(schemaname, missing_ok);
3234 if (missing_ok && !OidIsValid(namespaceId))
3235 cfgoid = InvalidOid;
3236 else
3237 cfgoid = GetSysCacheOid2(TSCONFIGNAMENSP, Anum_pg_ts_config_oid,
3238 PointerGetDatum(config_name),
3239 ObjectIdGetDatum(namespaceId));
3240 }
3241 else
3242 {
3243 /* search for it in search path */
3245
3246 foreach(l, activeSearchPath)
3247 {
3248 namespaceId = lfirst_oid(l);
3249
3250 if (namespaceId == myTempNamespace)
3251 continue; /* do not look in temp namespace */
3252
3253 cfgoid = GetSysCacheOid2(TSCONFIGNAMENSP, Anum_pg_ts_config_oid,
3254 PointerGetDatum(config_name),
3255 ObjectIdGetDatum(namespaceId));
3256 if (OidIsValid(cfgoid))
3257 break;
3258 }
3259 }
3260
3261 if (!OidIsValid(cfgoid) && !missing_ok)
3262 ereport(ERROR,
3263 (errcode(ERRCODE_UNDEFINED_OBJECT),
3264 errmsg("text search configuration \"%s\" does not exist",
3265 NameListToString(names))));
3266
3267 return cfgoid;
3268}
3269
3270/*
3271 * TSConfigIsVisible
3272 * Determine whether a text search configuration (identified by OID)
3273 * is visible in the current search path. Visible means "would be found
3274 * by searching for the unqualified text search configuration name".
3275 */
3276bool
3278{
3279 return TSConfigIsVisibleExt(cfgid, NULL);
3280}
3281
3282/*
3283 * TSConfigIsVisibleExt
3284 * As above, but if the configuration isn't found and is_missing is not
3285 * NULL, then set *is_missing = true and return false instead of throwing
3286 * an error. (Caller must initialize *is_missing = false.)
3287 */
3288static bool
3289TSConfigIsVisibleExt(Oid cfgid, bool *is_missing)
3290{
3291 HeapTuple tup;
3292 Form_pg_ts_config form;
3293 Oid namespace;
3294 bool visible;
3295
3296 tup = SearchSysCache1(TSCONFIGOID, ObjectIdGetDatum(cfgid));
3297 if (!HeapTupleIsValid(tup))
3298 {
3299 if (is_missing != NULL)
3300 {
3301 *is_missing = true;
3302 return false;
3303 }
3304 elog(ERROR, "cache lookup failed for text search configuration %u",
3305 cfgid);
3306 }
3307 form = (Form_pg_ts_config) GETSTRUCT(tup);
3308
3310
3311 /*
3312 * Quick check: if it ain't in the path at all, it ain't visible. Items in
3313 * the system namespace are surely in the path and so we needn't even do
3314 * list_member_oid() for them.
3315 */
3316 namespace = form->cfgnamespace;
3317 if (namespace != PG_CATALOG_NAMESPACE &&
3318 !list_member_oid(activeSearchPath, namespace))
3319 visible = false;
3320 else
3321 {
3322 /*
3323 * If it is in the path, it might still not be visible; it could be
3324 * hidden by another configuration of the same name earlier in the
3325 * path. So we must do a slow check for conflicting configurations.
3326 */
3327 char *name = NameStr(form->cfgname);
3328 ListCell *l;
3329
3330 visible = false;
3331 foreach(l, activeSearchPath)
3332 {
3333 Oid namespaceId = lfirst_oid(l);
3334
3335 if (namespaceId == myTempNamespace)
3336 continue; /* do not look in temp namespace */
3337
3338 if (namespaceId == namespace)
3339 {
3340 /* Found it first in path */
3341 visible = true;
3342 break;
3343 }
3344 if (SearchSysCacheExists2(TSCONFIGNAMENSP,
3346 ObjectIdGetDatum(namespaceId)))
3347 {
3348 /* Found something else first in path */
3349 break;
3350 }
3351 }
3352 }
3353
3354 ReleaseSysCache(tup);
3355
3356 return visible;
3357}
3358
3359
3360/*
3361 * DeconstructQualifiedName
3362 * Given a possibly-qualified name expressed as a list of String nodes,
3363 * extract the schema name and object name.
3364 *
3365 * *nspname_p is set to NULL if there is no explicit schema name.
3366 */
3367void
3369 char **nspname_p,
3370 char **objname_p)
3371{
3372 char *catalogname;
3373 char *schemaname = NULL;
3374 char *objname = NULL;
3375
3376 switch (list_length(names))
3377 {
3378 case 1:
3379 objname = strVal(linitial(names));
3380 break;
3381 case 2:
3382 schemaname = strVal(linitial(names));
3383 objname = strVal(lsecond(names));
3384 break;
3385 case 3:
3386 catalogname = strVal(linitial(names));
3387 schemaname = strVal(lsecond(names));
3388 objname = strVal(lthird(names));
3389
3390 /*
3391 * We check the catalog name and then ignore it.
3392 */
3393 if (strcmp(catalogname, get_database_name(MyDatabaseId)) != 0)
3394 ereport(ERROR,
3395 (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
3396 errmsg("cross-database references are not implemented: %s",
3397 NameListToString(names))));
3398 break;
3399 default:
3400 ereport(ERROR,
3401 (errcode(ERRCODE_SYNTAX_ERROR),
3402 errmsg("improper qualified name (too many dotted names): %s",
3403 NameListToString(names))));
3404 break;
3405 }
3406
3407 *nspname_p = schemaname;
3408 *objname_p = objname;
3409}
3410
3411/*
3412 * LookupNamespaceNoError
3413 * Look up a schema name.
3414 *
3415 * Returns the namespace OID, or InvalidOid if not found.
3416 *
3417 * Note this does NOT perform any permissions check --- callers are
3418 * responsible for being sure that an appropriate check is made.
3419 * In the majority of cases LookupExplicitNamespace is preferable.
3420 */
3421Oid
3422LookupNamespaceNoError(const char *nspname)
3423{
3424 /* check for pg_temp alias */
3425 if (strcmp(nspname, "pg_temp") == 0)
3426 {
3428 {
3430 return myTempNamespace;
3431 }
3432
3433 /*
3434 * Since this is used only for looking up existing objects, there is
3435 * no point in trying to initialize the temp namespace here; and doing
3436 * so might create problems for some callers. Just report "not found".
3437 */
3438 return InvalidOid;
3439 }
3440
3441 return get_namespace_oid(nspname, true);
3442}
3443
3444/*
3445 * LookupExplicitNamespace
3446 * Process an explicitly-specified schema name: look up the schema
3447 * and verify we have USAGE (lookup) rights in it.
3448 *
3449 * Returns the namespace OID
3450 */
3451Oid
3452LookupExplicitNamespace(const char *nspname, bool missing_ok)
3453{
3454 Oid namespaceId;
3455 AclResult aclresult;
3456
3457 /* check for pg_temp alias */
3458 if (strcmp(nspname, "pg_temp") == 0)
3459 {
3461 return myTempNamespace;
3462
3463 /*
3464 * Since this is used only for looking up existing objects, there is
3465 * no point in trying to initialize the temp namespace here; and doing
3466 * so might create problems for some callers --- just fall through.
3467 */
3468 }
3469
3470 namespaceId = get_namespace_oid(nspname, missing_ok);
3471 if (missing_ok && !OidIsValid(namespaceId))
3472 return InvalidOid;
3473
3474 aclresult = object_aclcheck(NamespaceRelationId, namespaceId, GetUserId(), ACL_USAGE);
3475 if (aclresult != ACLCHECK_OK)
3476 aclcheck_error(aclresult, OBJECT_SCHEMA,
3477 nspname);
3478 /* Schema search hook for this lookup */
3479 InvokeNamespaceSearchHook(namespaceId, true);
3480
3481 return namespaceId;
3482}
3483
3484/*
3485 * LookupCreationNamespace
3486 * Look up the schema and verify we have CREATE rights on it.
3487 *
3488 * This is just like LookupExplicitNamespace except for the different
3489 * permission check, and that we are willing to create pg_temp if needed.
3490 *
3491 * Note: calling this may result in a CommandCounterIncrement operation,
3492 * if we have to create or clean out the temp namespace.
3493 */
3494Oid
3495LookupCreationNamespace(const char *nspname)
3496{
3497 Oid namespaceId;
3498 AclResult aclresult;
3499
3500 /* check for pg_temp alias */
3501 if (strcmp(nspname, "pg_temp") == 0)
3502 {
3503 /* Initialize temp namespace */
3505 return myTempNamespace;
3506 }
3507
3508 namespaceId = get_namespace_oid(nspname, false);
3509
3510 aclresult = object_aclcheck(NamespaceRelationId, namespaceId, GetUserId(), ACL_CREATE);
3511 if (aclresult != ACLCHECK_OK)
3512 aclcheck_error(aclresult, OBJECT_SCHEMA,
3513 nspname);
3514
3515 return namespaceId;
3516}
3517
3518/*
3519 * Common checks on switching namespaces.
3520 *
3521 * We complain if either the old or new namespaces is a temporary schema
3522 * (or temporary toast schema), or if either the old or new namespaces is the
3523 * TOAST schema.
3524 */
3525void
3526CheckSetNamespace(Oid oldNspOid, Oid nspOid)
3527{
3528 /* disallow renaming into or out of temp schemas */
3529 if (isAnyTempNamespace(nspOid) || isAnyTempNamespace(oldNspOid))
3530 ereport(ERROR,
3531 (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
3532 errmsg("cannot move objects into or out of temporary schemas")));
3533
3534 /* same for TOAST schema */
3535 if (nspOid == PG_TOAST_NAMESPACE || oldNspOid == PG_TOAST_NAMESPACE)
3536 ereport(ERROR,
3537 (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
3538 errmsg("cannot move objects into or out of TOAST schema")));
3539}
3540
3541/*
3542 * QualifiedNameGetCreationNamespace
3543 * Given a possibly-qualified name for an object (in List-of-Strings
3544 * format), determine what namespace the object should be created in.
3545 * Also extract and return the object name (last component of list).
3546 *
3547 * Note: this does not apply any permissions check. Callers must check
3548 * for CREATE rights on the selected namespace when appropriate.
3549 *
3550 * Note: calling this may result in a CommandCounterIncrement operation,
3551 * if we have to create or clean out the temp namespace.
3552 */
3553Oid
3554QualifiedNameGetCreationNamespace(const List *names, char **objname_p)
3555{
3556 char *schemaname;
3557 Oid namespaceId;
3558
3559 /* deconstruct the name list */
3560 DeconstructQualifiedName(names, &schemaname, objname_p);
3561
3562 if (schemaname)
3563 {
3564 /* check for pg_temp alias */
3565 if (strcmp(schemaname, "pg_temp") == 0)
3566 {
3567 /* Initialize temp namespace */
3569 return myTempNamespace;
3570 }
3571 /* use exact schema given */
3572 namespaceId = get_namespace_oid(schemaname, false);
3573 /* we do not check for USAGE rights here! */
3574 }
3575 else
3576 {
3577 /* use the default creation namespace */
3580 {
3581 /* Need to initialize temp namespace */
3583 return myTempNamespace;
3584 }
3585 namespaceId = activeCreationNamespace;
3586 if (!OidIsValid(namespaceId))
3587 ereport(ERROR,
3588 (errcode(ERRCODE_UNDEFINED_SCHEMA),
3589 errmsg("no schema has been selected to create in")));
3590 }
3591
3592 return namespaceId;
3593}
3594
3595/*
3596 * get_namespace_oid - given a namespace name, look up the OID
3597 *
3598 * If missing_ok is false, throw an error if namespace name not found. If
3599 * true, just return InvalidOid.
3600 */
3601Oid
3602get_namespace_oid(const char *nspname, bool missing_ok)
3603{
3604 Oid oid;
3605
3606 oid = GetSysCacheOid1(NAMESPACENAME, Anum_pg_namespace_oid,
3607 CStringGetDatum(nspname));
3608 if (!OidIsValid(oid) && !missing_ok)
3609 ereport(ERROR,
3610 (errcode(ERRCODE_UNDEFINED_SCHEMA),
3611 errmsg("schema \"%s\" does not exist", nspname)));
3612
3613 return oid;
3614}
3615
3616/*
3617 * makeRangeVarFromNameList
3618 * Utility routine to convert a qualified-name list into RangeVar form.
3619 */
3620RangeVar *
3622{
3623 RangeVar *rel = makeRangeVar(NULL, NULL, -1);
3624
3625 switch (list_length(names))
3626 {
3627 case 1:
3628 rel->relname = strVal(linitial(names));
3629 break;
3630 case 2:
3631 rel->schemaname = strVal(linitial(names));
3632 rel->relname = strVal(lsecond(names));
3633 break;
3634 case 3:
3635 rel->catalogname = strVal(linitial(names));
3636 rel->schemaname = strVal(lsecond(names));
3637 rel->relname = strVal(lthird(names));
3638 break;
3639 default:
3640 ereport(ERROR,
3641 (errcode(ERRCODE_SYNTAX_ERROR),
3642 errmsg("improper relation name (too many dotted names): %s",
3643 NameListToString(names))));
3644 break;
3645 }
3646
3647 return rel;
3648}
3649
3650/*
3651 * NameListToString
3652 * Utility routine to convert a qualified-name list into a string.
3653 *
3654 * This is used primarily to form error messages, and so we do not quote
3655 * the list elements, for the sake of legibility.
3656 *
3657 * In most scenarios the list elements should always be String values,
3658 * but we also allow A_Star for the convenience of ColumnRef processing.
3659 */
3660char *
3662{
3664 ListCell *l;
3665
3666 initStringInfo(&string);
3667
3668 foreach(l, names)
3669 {
3670 Node *name = (Node *) lfirst(l);
3671
3672 if (l != list_head(names))
3673 appendStringInfoChar(&string, '.');
3674
3675 if (IsA(name, String))
3677 else if (IsA(name, A_Star))
3678 appendStringInfoChar(&string, '*');
3679 else
3680 elog(ERROR, "unexpected node type in name list: %d",
3681 (int) nodeTag(name));
3682 }
3683
3684 return string.data;
3685}
3686
3687/*
3688 * NameListToQuotedString
3689 * Utility routine to convert a qualified-name list into a string.
3690 *
3691 * Same as above except that names will be double-quoted where necessary,
3692 * so the string could be re-parsed (eg, by textToQualifiedNameList).
3693 */
3694char *
3696{
3698 ListCell *l;
3699
3700 initStringInfo(&string);
3701
3702 foreach(l, names)
3703 {
3704 if (l != list_head(names))
3705 appendStringInfoChar(&string, '.');
3707 }
3708
3709 return string.data;
3710}
3711
3712/*
3713 * isTempNamespace - is the given namespace my temporary-table namespace?
3714 */
3715bool
3717{
3718 if (OidIsValid(myTempNamespace) && myTempNamespace == namespaceId)
3719 return true;
3720 return false;
3721}
3722
3723/*
3724 * isTempToastNamespace - is the given namespace my temporary-toast-table
3725 * namespace?
3726 */
3727bool
3729{
3731 return true;
3732 return false;
3733}
3734
3735/*
3736 * isTempOrTempToastNamespace - is the given namespace my temporary-table
3737 * namespace or my temporary-toast-table namespace?
3738 */
3739bool
3741{
3743 (myTempNamespace == namespaceId || myTempToastNamespace == namespaceId))
3744 return true;
3745 return false;
3746}
3747
3748/*
3749 * isAnyTempNamespace - is the given namespace a temporary-table namespace
3750 * (either my own, or another backend's)? Temporary-toast-table namespaces
3751 * are included, too.
3752 */
3753bool
3755{
3756 bool result;
3757 char *nspname;
3758
3759 /* True if the namespace name starts with "pg_temp_" or "pg_toast_temp_" */
3760 nspname = get_namespace_name(namespaceId);
3761 if (!nspname)
3762 return false; /* no such namespace? */
3763 result = (strncmp(nspname, "pg_temp_", 8) == 0) ||
3764 (strncmp(nspname, "pg_toast_temp_", 14) == 0);
3765 pfree(nspname);
3766 return result;
3767}
3768
3769/*
3770 * isOtherTempNamespace - is the given namespace some other backend's
3771 * temporary-table namespace (including temporary-toast-table namespaces)?
3772 *
3773 * Note: for most purposes in the C code, this function is obsolete. Use
3774 * RELATION_IS_OTHER_TEMP() instead to detect non-local temp relations.
3775 */
3776bool
3778{
3779 /* If it's my own temp namespace, say "false" */
3780 if (isTempOrTempToastNamespace(namespaceId))
3781 return false;
3782 /* Else, if it's any temp namespace, say "true" */
3783 return isAnyTempNamespace(namespaceId);
3784}
3785
3786/*
3787 * checkTempNamespaceStatus - is the given namespace owned and actively used
3788 * by a backend?
3789 *
3790 * Note: this can be used while scanning relations in pg_class to detect
3791 * orphaned temporary tables or namespaces with a backend connected to a
3792 * given database. The result may be out of date quickly, so the caller
3793 * must be careful how to handle this information.
3794 */
3797{
3798 PGPROC *proc;
3799 ProcNumber procNumber;
3800
3802
3803 procNumber = GetTempNamespaceProcNumber(namespaceId);
3804
3805 /* No such namespace, or its name shows it's not temp? */
3806 if (procNumber == INVALID_PROC_NUMBER)
3808
3809 /* Is the backend alive? */
3810 proc = ProcNumberGetProc(procNumber);
3811 if (proc == NULL)
3812 return TEMP_NAMESPACE_IDLE;
3813
3814 /* Is the backend connected to the same database we are looking at? */
3815 if (proc->databaseId != MyDatabaseId)
3816 return TEMP_NAMESPACE_IDLE;
3817
3818 /* Does the backend own the temporary namespace? */
3819 if (proc->tempNamespaceId != namespaceId)
3820 return TEMP_NAMESPACE_IDLE;
3821
3822 /* Yup, so namespace is busy */
3823 return TEMP_NAMESPACE_IN_USE;
3824}
3825
3826/*
3827 * GetTempNamespaceProcNumber - if the given namespace is a temporary-table
3828 * namespace (either my own, or another backend's), return the proc number
3829 * that owns it. Temporary-toast-table namespaces are included, too.
3830 * If it isn't a temp namespace, return INVALID_PROC_NUMBER.
3831 */
3834{
3835 int result;
3836 char *nspname;
3837
3838 /* See if the namespace name starts with "pg_temp_" or "pg_toast_temp_" */
3839 nspname = get_namespace_name(namespaceId);
3840 if (!nspname)
3841 return INVALID_PROC_NUMBER; /* no such namespace? */
3842 if (strncmp(nspname, "pg_temp_", 8) == 0)
3843 result = atoi(nspname + 8);
3844 else if (strncmp(nspname, "pg_toast_temp_", 14) == 0)
3845 result = atoi(nspname + 14);
3846 else
3847 result = INVALID_PROC_NUMBER;
3848 pfree(nspname);
3849 return result;
3850}
3851
3852/*
3853 * GetTempToastNamespace - get the OID of my temporary-toast-table namespace,
3854 * which must already be assigned. (This is only used when creating a toast
3855 * table for a temp table, so we must have already done InitTempTableNamespace)
3856 */
3857Oid
3859{
3861 return myTempToastNamespace;
3862}
3863
3864
3865/*
3866 * GetTempNamespaceState - fetch status of session's temporary namespace
3867 *
3868 * This is used for conveying state to a parallel worker, and is not meant
3869 * for general-purpose access.
3870 */
3871void
3872GetTempNamespaceState(Oid *tempNamespaceId, Oid *tempToastNamespaceId)
3873{
3874 /* Return namespace OIDs, or 0 if session has not created temp namespace */
3875 *tempNamespaceId = myTempNamespace;
3876 *tempToastNamespaceId = myTempToastNamespace;
3877}
3878
3879/*
3880 * SetTempNamespaceState - set status of session's temporary namespace
3881 *
3882 * This is used for conveying state to a parallel worker, and is not meant for
3883 * general-purpose access. By transferring these namespace OIDs to workers,
3884 * we ensure they will have the same notion of the search path as their leader
3885 * does.
3886 */
3887void
3888SetTempNamespaceState(Oid tempNamespaceId, Oid tempToastNamespaceId)
3889{
3890 /* Worker should not have created its own namespaces ... */
3894
3895 /* Assign same namespace OIDs that leader has */
3896 myTempNamespace = tempNamespaceId;
3897 myTempToastNamespace = tempToastNamespaceId;
3898
3899 /*
3900 * It's fine to leave myTempNamespaceSubID == InvalidSubTransactionId.
3901 * Even if the namespace is new so far as the leader is concerned, it's
3902 * not new to the worker, and we certainly wouldn't want the worker trying
3903 * to destroy it.
3904 */
3905
3906 baseSearchPathValid = false; /* may need to rebuild list */
3907 searchPathCacheValid = false;
3908}
3909
3910
3911/*
3912 * GetSearchPathMatcher - fetch current search path definition.
3913 *
3914 * The result structure is allocated in the specified memory context
3915 * (which might or might not be equal to CurrentMemoryContext); but any
3916 * junk created by revalidation calculations will be in CurrentMemoryContext.
3917 */
3920{
3921 SearchPathMatcher *result;
3922 List *schemas;
3923 MemoryContext oldcxt;
3924
3926
3927 oldcxt = MemoryContextSwitchTo(context);
3928
3929 result = (SearchPathMatcher *) palloc0(sizeof(SearchPathMatcher));
3930 schemas = list_copy(activeSearchPath);
3931 while (schemas && linitial_oid(schemas) != activeCreationNamespace)
3932 {
3933 if (linitial_oid(schemas) == myTempNamespace)
3934 result->addTemp = true;
3935 else
3936 {
3937 Assert(linitial_oid(schemas) == PG_CATALOG_NAMESPACE);
3938 result->addCatalog = true;
3939 }
3940 schemas = list_delete_first(schemas);
3941 }
3942 result->schemas = schemas;
3944
3945 MemoryContextSwitchTo(oldcxt);
3946
3947 return result;
3948}
3949
3950/*
3951 * CopySearchPathMatcher - copy the specified SearchPathMatcher.
3952 *
3953 * The result structure is allocated in CurrentMemoryContext.
3954 */
3957{
3958 SearchPathMatcher *result;
3959
3960 result = (SearchPathMatcher *) palloc(sizeof(SearchPathMatcher));
3961 result->schemas = list_copy(path->schemas);
3962 result->addCatalog = path->addCatalog;
3963 result->addTemp = path->addTemp;
3964 result->generation = path->generation;
3965
3966 return result;
3967}
3968
3969/*
3970 * SearchPathMatchesCurrentEnvironment - does path match current environment?
3971 *
3972 * This is tested over and over in some common code paths, and in the typical
3973 * scenario where the active search path seldom changes, it'll always succeed.
3974 * We make that case fast by keeping a generation counter that is advanced
3975 * whenever the active search path changes.
3976 */
3977bool
3979{
3980 ListCell *lc,
3981 *lcp;
3982
3984
3985 /* Quick out if already known equal to active path. */
3986 if (path->generation == activePathGeneration)
3987 return true;
3988
3989 /* We scan down the activeSearchPath to see if it matches the input. */
3991
3992 /* If path->addTemp, first item should be my temp namespace. */
3993 if (path->addTemp)
3994 {
3995 if (lc && lfirst_oid(lc) == myTempNamespace)
3996 lc = lnext(activeSearchPath, lc);
3997 else
3998 return false;
3999 }
4000 /* If path->addCatalog, next item should be pg_catalog. */
4001 if (path->addCatalog)
4002 {
4003 if (lc && lfirst_oid(lc) == PG_CATALOG_NAMESPACE)
4004 lc = lnext(activeSearchPath, lc);
4005 else
4006 return false;
4007 }
4008 /* We should now be looking at the activeCreationNamespace. */
4009 if (activeCreationNamespace != (lc ? lfirst_oid(lc) : InvalidOid))
4010 return false;
4011 /* The remainder of activeSearchPath should match path->schemas. */
4012 foreach(lcp, path->schemas)
4013 {
4014 if (lc && lfirst_oid(lc) == lfirst_oid(lcp))
4015 lc = lnext(activeSearchPath, lc);
4016 else
4017 return false;
4018 }
4019 if (lc)
4020 return false;
4021
4022 /*
4023 * Update path->generation so that future tests will return quickly, so
4024 * long as the active search path doesn't change.
4025 */
4027
4028 return true;
4029}
4030
4031/*
4032 * get_collation_oid - find a collation by possibly qualified name
4033 *
4034 * Note that this will only find collations that work with the current
4035 * database's encoding.
4036 */
4037Oid
4038get_collation_oid(List *collname, bool missing_ok)
4039{
4040 char *schemaname;
4041 char *collation_name;
4042 int32 dbencoding = GetDatabaseEncoding();
4043 Oid namespaceId;
4044 Oid colloid;
4045 ListCell *l;
4046
4047 /* deconstruct the name list */
4048 DeconstructQualifiedName(collname, &schemaname, &collation_name);
4049
4050 if (schemaname)
4051 {
4052 /* use exact schema given */
4053 namespaceId = LookupExplicitNamespace(schemaname, missing_ok);
4054 if (missing_ok && !OidIsValid(namespaceId))
4055 return InvalidOid;
4056
4057 colloid = lookup_collation(collation_name, namespaceId, dbencoding);
4058 if (OidIsValid(colloid))
4059 return colloid;
4060 }
4061 else
4062 {
4063 /* search for it in search path */
4065
4066 foreach(l, activeSearchPath)
4067 {
4068 namespaceId = lfirst_oid(l);
4069
4070 if (namespaceId == myTempNamespace)
4071 continue; /* do not look in temp namespace */
4072
4073 colloid = lookup_collation(collation_name, namespaceId, dbencoding);
4074 if (OidIsValid(colloid))
4075 return colloid;
4076 }
4077 }
4078
4079 /* Not found in path */
4080 if (!missing_ok)
4081 ereport(ERROR,
4082 (errcode(ERRCODE_UNDEFINED_OBJECT),
4083 errmsg("collation \"%s\" for encoding \"%s\" does not exist",
4085 return InvalidOid;
4086}
4087
4088/*
4089 * get_conversion_oid - find a conversion by possibly qualified name
4090 */
4091Oid
4092get_conversion_oid(List *conname, bool missing_ok)
4093{
4094 char *schemaname;
4095 char *conversion_name;
4096 Oid namespaceId;
4097 Oid conoid = InvalidOid;
4098 ListCell *l;
4099
4100 /* deconstruct the name list */
4101 DeconstructQualifiedName(conname, &schemaname, &conversion_name);
4102
4103 if (schemaname)
4104 {
4105 /* use exact schema given */
4106 namespaceId = LookupExplicitNamespace(schemaname, missing_ok);
4107 if (missing_ok && !OidIsValid(namespaceId))
4108 conoid = InvalidOid;
4109 else
4110 conoid = GetSysCacheOid2(CONNAMENSP, Anum_pg_conversion_oid,
4111 PointerGetDatum(conversion_name),
4112 ObjectIdGetDatum(namespaceId));
4113 }
4114 else
4115 {
4116 /* search for it in search path */
4118
4119 foreach(l, activeSearchPath)
4120 {
4121 namespaceId = lfirst_oid(l);
4122
4123 if (namespaceId == myTempNamespace)
4124 continue; /* do not look in temp namespace */
4125
4126 conoid = GetSysCacheOid2(CONNAMENSP, Anum_pg_conversion_oid,
4127 PointerGetDatum(conversion_name),
4128 ObjectIdGetDatum(namespaceId));
4129 if (OidIsValid(conoid))
4130 return conoid;
4131 }
4132 }
4133
4134 /* Not found in path */
4135 if (!OidIsValid(conoid) && !missing_ok)
4136 ereport(ERROR,
4137 (errcode(ERRCODE_UNDEFINED_OBJECT),
4138 errmsg("conversion \"%s\" does not exist",
4139 NameListToString(conname))));
4140 return conoid;
4141}
4142
4143/*
4144 * FindDefaultConversionProc - find default encoding conversion proc
4145 */
4146Oid
4147FindDefaultConversionProc(int32 for_encoding, int32 to_encoding)
4148{
4149 Oid proc;
4150 ListCell *l;
4151
4153
4154 foreach(l, activeSearchPath)
4155 {
4156 Oid namespaceId = lfirst_oid(l);
4157
4158 if (namespaceId == myTempNamespace)
4159 continue; /* do not look in temp namespace */
4160
4161 proc = FindDefaultConversion(namespaceId, for_encoding, to_encoding);
4162 if (OidIsValid(proc))
4163 return proc;
4164 }
4165
4166 /* Not found in path */
4167 return InvalidOid;
4168}
4169
4170/*
4171 * Look up namespace IDs and perform ACL checks. Return newly-allocated list.
4172 */
4173static List *
4174preprocessNamespacePath(const char *searchPath, Oid roleid,
4175 bool *temp_missing)
4176{
4177 char *rawname;
4178 List *namelist;
4179 List *oidlist;
4180 ListCell *l;
4181
4182 /* Need a modifiable copy */
4183 rawname = pstrdup(searchPath);
4184
4185 /* Parse string into list of identifiers */
4186 if (!SplitIdentifierString(rawname, ',', &namelist))
4187 {
4188 /* syntax error in name list */
4189 /* this should not happen if GUC checked check_search_path */
4190 elog(ERROR, "invalid list syntax");
4191 }
4192
4193 /*
4194 * Convert the list of names to a list of OIDs. If any names are not
4195 * recognizable or we don't have read access, just leave them out of the
4196 * list. (We can't raise an error, since the search_path setting has
4197 * already been accepted.) Don't make duplicate entries, either.
4198 */
4199 oidlist = NIL;
4200 *temp_missing = false;
4201 foreach(l, namelist)
4202 {
4203 char *curname = (char *) lfirst(l);
4204 Oid namespaceId;
4205
4206 if (strcmp(curname, "$user") == 0)
4207 {
4208 /* $user --- substitute namespace matching user name, if any */
4209 HeapTuple tuple;
4210
4211 tuple = SearchSysCache1(AUTHOID, ObjectIdGetDatum(roleid));
4212 if (HeapTupleIsValid(tuple))
4213 {
4214 char *rname;
4215
4216 rname = NameStr(((Form_pg_authid) GETSTRUCT(tuple))->rolname);
4217 namespaceId = get_namespace_oid(rname, true);
4218 ReleaseSysCache(tuple);
4219 if (OidIsValid(namespaceId) &&
4220 object_aclcheck(NamespaceRelationId, namespaceId, roleid,
4222 oidlist = lappend_oid(oidlist, namespaceId);
4223 }
4224 }
4225 else if (strcmp(curname, "pg_temp") == 0)
4226 {
4227 /* pg_temp --- substitute temp namespace, if any */
4229 oidlist = lappend_oid(oidlist, myTempNamespace);
4230 else
4231 {
4232 /* If it ought to be the creation namespace, set flag */
4233 if (oidlist == NIL)
4234 *temp_missing = true;
4235 }
4236 }
4237 else
4238 {
4239 /* normal namespace reference */
4240 namespaceId = get_namespace_oid(curname, true);
4241 if (OidIsValid(namespaceId) &&
4242 object_aclcheck(NamespaceRelationId, namespaceId, roleid,
4244 oidlist = lappend_oid(oidlist, namespaceId);
4245 }
4246 }
4247
4248 pfree(rawname);
4249 list_free(namelist);
4250
4251 return oidlist;
4252}
4253
4254/*
4255 * Remove duplicates, run namespace search hooks, and prepend
4256 * implicitly-searched namespaces. Return newly-allocated list.
4257 *
4258 * If an object_access_hook is present, this must always be recalculated. It
4259 * may seem that duplicate elimination is not dependent on the result of the
4260 * hook, but if a hook returns different results on different calls for the
4261 * same namespace ID, then it could affect the order in which that namespace
4262 * appears in the final list.
4263 */
4264static List *
4265finalNamespacePath(List *oidlist, Oid *firstNS)
4266{
4267 List *finalPath = NIL;
4268 ListCell *lc;
4269
4270 foreach(lc, oidlist)
4271 {
4272 Oid namespaceId = lfirst_oid(lc);
4273
4274 if (!list_member_oid(finalPath, namespaceId))
4275 {
4276 if (InvokeNamespaceSearchHook(namespaceId, false))
4277 finalPath = lappend_oid(finalPath, namespaceId);
4278 }
4279 }
4280
4281 /*
4282 * Remember the first member of the explicit list. (Note: this is
4283 * nominally wrong if temp_missing, but we need it anyway to distinguish
4284 * explicit from implicit mention of pg_catalog.)
4285 */
4286 if (finalPath == NIL)
4287 *firstNS = InvalidOid;
4288 else
4289 *firstNS = linitial_oid(finalPath);
4290
4291 /*
4292 * Add any implicitly-searched namespaces to the list. Note these go on
4293 * the front, not the back; also notice that we do not check USAGE
4294 * permissions for these.
4295 */
4296 if (!list_member_oid(finalPath, PG_CATALOG_NAMESPACE))
4297 finalPath = lcons_oid(PG_CATALOG_NAMESPACE, finalPath);
4298
4300 !list_member_oid(finalPath, myTempNamespace))
4301 finalPath = lcons_oid(myTempNamespace, finalPath);
4302
4303 return finalPath;
4304}
4305
4306/*
4307 * Retrieve search path information from the cache; or if not there, fill
4308 * it. The returned entry is valid only until the next call to this function.
4309 */
4310static const SearchPathCacheEntry *
4311cachedNamespacePath(const char *searchPath, Oid roleid)
4312{
4313 MemoryContext oldcxt;
4314 SearchPathCacheEntry *entry;
4315
4316 spcache_init();
4317
4318 entry = spcache_insert(searchPath, roleid);
4319
4320 /*
4321 * An OOM may have resulted in a cache entry with missing 'oidlist' or
4322 * 'finalPath', so just compute whatever is missing.
4323 */
4324
4325 if (entry->oidlist == NIL)
4326 {
4328 entry->oidlist = preprocessNamespacePath(searchPath, roleid,
4329 &entry->temp_missing);
4330 MemoryContextSwitchTo(oldcxt);
4331 }
4332
4333 /*
4334 * If a hook is set, we must recompute finalPath from the oidlist each
4335 * time, because the hook may affect the result. This is still much faster
4336 * than recomputing from the string (and doing catalog lookups and ACL
4337 * checks).
4338 */
4339 if (entry->finalPath == NIL || object_access_hook ||
4340 entry->forceRecompute)
4341 {
4342 list_free(entry->finalPath);
4343 entry->finalPath = NIL;
4344
4346 entry->finalPath = finalNamespacePath(entry->oidlist,
4347 &entry->firstNS);
4348 MemoryContextSwitchTo(oldcxt);
4349
4350 /*
4351 * If an object_access_hook is set when finalPath is calculated, the
4352 * result may be affected by the hook. Force recomputation of
4353 * finalPath the next time this cache entry is used, even if the
4354 * object_access_hook is not set at that time.
4355 */
4356 entry->forceRecompute = object_access_hook ? true : false;
4357 }
4358
4359 return entry;
4360}
4361
4362/*
4363 * recomputeNamespacePath - recompute path derived variables if needed.
4364 */
4365static void
4367{
4368 Oid roleid = GetUserId();
4369 bool pathChanged;
4370 const SearchPathCacheEntry *entry;
4371
4372 /* Do nothing if path is already valid. */
4373 if (baseSearchPathValid && namespaceUser == roleid)
4374 return;
4375
4377
4378 if (baseCreationNamespace == entry->firstNS &&
4381 {
4382 pathChanged = false;
4383 }
4384 else
4385 {
4386 MemoryContext oldcxt;
4387 List *newpath;
4388
4389 pathChanged = true;
4390
4391 /* Must save OID list in permanent storage. */
4393 newpath = list_copy(entry->finalPath);
4394 MemoryContextSwitchTo(oldcxt);
4395
4396 /* Now safe to assign to state variables. */
4398 baseSearchPath = newpath;
4401 }
4402
4403 /* Mark the path valid. */
4404 baseSearchPathValid = true;
4405 namespaceUser = roleid;
4406
4407 /* And make it active. */
4411
4412 /*
4413 * Bump the generation only if something actually changed. (Notice that
4414 * what we compared to was the old state of the base path variables.)
4415 */
4416 if (pathChanged)
4418}
4419
4420/*
4421 * AccessTempTableNamespace
4422 * Provide access to a temporary namespace, potentially creating it
4423 * if not present yet. This routine registers if the namespace gets
4424 * in use in this transaction. 'force' can be set to true to allow
4425 * the caller to enforce the creation of the temporary namespace for
4426 * use in this backend, which happens if its creation is pending.
4427 */
4428static void
4430{
4431 /*
4432 * Make note that this temporary namespace has been accessed in this
4433 * transaction.
4434 */
4436
4437 /*
4438 * If the caller attempting to access a temporary schema expects the
4439 * creation of the namespace to be pending and should be enforced, then go
4440 * through the creation.
4441 */
4442 if (!force && OidIsValid(myTempNamespace))
4443 return;
4444
4445 /*
4446 * The temporary tablespace does not exist yet and is wanted, so
4447 * initialize it.
4448 */
4450}
4451
4452/*
4453 * InitTempTableNamespace
4454 * Initialize temp table namespace on first use in a particular backend
4455 */
4456static void
4458{
4459 char namespaceName[NAMEDATALEN];
4460 Oid namespaceId;
4461 Oid toastspaceId;
4462
4464
4465 /*
4466 * First, do permission check to see if we are authorized to make temp
4467 * tables. We use a nonstandard error message here since "databasename:
4468 * permission denied" might be a tad cryptic.
4469 *
4470 * Note that ACL_CREATE_TEMP rights are rechecked in pg_namespace_aclmask;
4471 * that's necessary since current user ID could change during the session.
4472 * But there's no need to make the namespace in the first place until a
4473 * temp table creation request is made by someone with appropriate rights.
4474 */
4475 if (object_aclcheck(DatabaseRelationId, MyDatabaseId, GetUserId(),
4477 ereport(ERROR,
4478 (errcode(ERRCODE_INSUFFICIENT_PRIVILEGE),
4479 errmsg("permission denied to create temporary tables in database \"%s\"",
4481
4482 /*
4483 * Do not allow a Hot Standby session to make temp tables. Aside from
4484 * problems with modifying the system catalogs, there is a naming
4485 * conflict: pg_temp_N belongs to the session with proc number N on the
4486 * primary, not to a hot standby session with the same proc number. We
4487 * should not be able to get here anyway due to XactReadOnly checks, but
4488 * let's just make real sure. Note that this also backstops various
4489 * operations that allow XactReadOnly transactions to modify temp tables;
4490 * they'd need RecoveryInProgress checks if not for this.
4491 */
4492 if (RecoveryInProgress())
4493 ereport(ERROR,
4494 (errcode(ERRCODE_READ_ONLY_SQL_TRANSACTION),
4495 errmsg("cannot create temporary tables during recovery")));
4496
4497 /* Parallel workers can't create temporary tables, either. */
4498 if (IsParallelWorker())
4499 ereport(ERROR,
4500 (errcode(ERRCODE_READ_ONLY_SQL_TRANSACTION),
4501 errmsg("cannot create temporary tables during a parallel operation")));
4502
4503 snprintf(namespaceName, sizeof(namespaceName), "pg_temp_%d", MyProcNumber);
4504
4505 namespaceId = get_namespace_oid(namespaceName, true);
4506 if (!OidIsValid(namespaceId))
4507 {
4508 /*
4509 * First use of this temp namespace in this database; create it. The
4510 * temp namespaces are always owned by the superuser. We leave their
4511 * permissions at default --- i.e., no access except to superuser ---
4512 * to ensure that unprivileged users can't peek at other backends'
4513 * temp tables. This works because the places that access the temp
4514 * namespace for my own backend skip permissions checks on it.
4515 */
4516 namespaceId = NamespaceCreate(namespaceName, BOOTSTRAP_SUPERUSERID,
4517 true);
4518 /* Advance command counter to make namespace visible */
4520 }
4521 else
4522 {
4523 /*
4524 * If the namespace already exists, clean it out (in case the former
4525 * owner crashed without doing so).
4526 */
4527 RemoveTempRelations(namespaceId);
4528 }
4529
4530 /*
4531 * If the corresponding toast-table namespace doesn't exist yet, create
4532 * it. (We assume there is no need to clean it out if it does exist, since
4533 * dropping a parent table should make its toast table go away.)
4534 */
4535 snprintf(namespaceName, sizeof(namespaceName), "pg_toast_temp_%d",
4536 MyProcNumber);
4537
4538 toastspaceId = get_namespace_oid(namespaceName, true);
4539 if (!OidIsValid(toastspaceId))
4540 {
4541 toastspaceId = NamespaceCreate(namespaceName, BOOTSTRAP_SUPERUSERID,
4542 true);
4543 /* Advance command counter to make namespace visible */
4545 }
4546
4547 /*
4548 * Okay, we've prepared the temp namespace ... but it's not committed yet,
4549 * so all our work could be undone by transaction rollback. Set flag for
4550 * AtEOXact_Namespace to know what to do.
4551 */
4552 myTempNamespace = namespaceId;
4553 myTempToastNamespace = toastspaceId;
4554
4555 /*
4556 * Mark MyProc as owning this namespace which other processes can use to
4557 * decide if a temporary namespace is in use or not. We assume that
4558 * assignment of namespaceId is an atomic operation. Even if it is not,
4559 * the temporary relation which resulted in the creation of this temporary
4560 * namespace is still locked until the current transaction commits, and
4561 * its pg_namespace row is not visible yet. However it does not matter:
4562 * this flag makes the namespace as being in use, so no objects created on
4563 * it would be removed concurrently.
4564 */
4565 MyProc->tempNamespaceId = namespaceId;
4566
4567 /* It should not be done already. */
4570
4571 baseSearchPathValid = false; /* need to rebuild list */
4572 searchPathCacheValid = false;
4573}
4574
4575/*
4576 * End-of-transaction cleanup for namespaces.
4577 */
4578void
4579AtEOXact_Namespace(bool isCommit, bool parallel)
4580{
4581 /*
4582 * If we abort the transaction in which a temp namespace was selected,
4583 * we'll have to do any creation or cleanout work over again. So, just
4584 * forget the namespace entirely until next time. On the other hand, if
4585 * we commit then register an exit callback to clean out the temp tables
4586 * at backend shutdown. (We only want to register the callback once per
4587 * session, so this is a good place to do it.)
4588 */
4590 {
4591 if (isCommit)
4593 else
4594 {
4597 baseSearchPathValid = false; /* need to rebuild list */
4598 searchPathCacheValid = false;
4599
4600 /*
4601 * Reset the temporary namespace flag in MyProc. We assume that
4602 * this operation is atomic.
4603 *
4604 * Because this transaction is aborting, the pg_namespace row is
4605 * not visible to anyone else anyway, but that doesn't matter:
4606 * it's not a problem if objects contained in this namespace are
4607 * removed concurrently.
4608 */
4610 }
4612 }
4613
4614}
4615
4616/*
4617 * AtEOSubXact_Namespace
4618 *
4619 * At subtransaction commit, propagate the temp-namespace-creation
4620 * flag to the parent subtransaction.
4621 *
4622 * At subtransaction abort, forget the flag if we set it up.
4623 */
4624void
4626 SubTransactionId parentSubid)
4627{
4628
4629 if (myTempNamespaceSubID == mySubid)
4630 {
4631 if (isCommit)
4632 myTempNamespaceSubID = parentSubid;
4633 else
4634 {
4636 /* TEMP namespace creation failed, so reset state */
4639 baseSearchPathValid = false; /* need to rebuild list */
4640 searchPathCacheValid = false;
4641
4642 /*
4643 * Reset the temporary namespace flag in MyProc. We assume that
4644 * this operation is atomic.
4645 *
4646 * Because this subtransaction is aborting, the pg_namespace row
4647 * is not visible to anyone else anyway, but that doesn't matter:
4648 * it's not a problem if objects contained in this namespace are
4649 * removed concurrently.
4650 */
4652 }
4653 }
4654}
4655
4656/*
4657 * Remove all relations in the specified temp namespace.
4658 *
4659 * This is called at backend shutdown (if we made any temp relations).
4660 * It is also called when we begin using a pre-existing temp namespace,
4661 * in order to clean out any relations that might have been created by
4662 * a crashed backend.
4663 */
4664static void
4665RemoveTempRelations(Oid tempNamespaceId)
4666{
4667 ObjectAddress object;
4668
4669 /*
4670 * We want to get rid of everything in the target namespace, but not the
4671 * namespace itself (deleting it only to recreate it later would be a
4672 * waste of cycles). Hence, specify SKIP_ORIGINAL. It's also an INTERNAL
4673 * deletion, and we want to not drop any extensions that might happen to
4674 * own temp objects.
4675 */
4676 object.classId = NamespaceRelationId;
4677 object.objectId = tempNamespaceId;
4678 object.objectSubId = 0;
4679
4685}
4686
4687/*
4688 * Callback to remove temp relations at backend exit.
4689 */
4690static void
4692{
4693 if (OidIsValid(myTempNamespace)) /* should always be true */
4694 {
4695 /* Need to ensure we have a usable transaction. */
4699
4701
4704 }
4705}
4706
4707/*
4708 * Remove all temp tables from the temporary namespace.
4709 */
4710void
4712{
4715}
4716
4717
4718/*
4719 * Routines for handling the GUC variable 'search_path'.
4720 */
4721
4722/* check_hook: validate new search_path value */
4723bool
4725{
4726 Oid roleid = InvalidOid;
4727 const char *searchPath = *newval;
4728 char *rawname;
4729 List *namelist;
4730 bool use_cache = (SearchPathCacheContext != NULL);
4731
4732 /*
4733 * We used to try to check that the named schemas exist, but there are
4734 * many valid use-cases for having search_path settings that include
4735 * schemas that don't exist; and often, we are not inside a transaction
4736 * here and so can't consult the system catalogs anyway. So now, the only
4737 * requirement is syntactic validity of the identifier list.
4738 *
4739 * Checking only the syntactic validity also allows us to use the search
4740 * path cache (if available) to avoid calling SplitIdentifierString() on
4741 * the same string repeatedly.
4742 */
4743 if (use_cache)
4744 {
4745 spcache_init();
4746
4747 roleid = GetUserId();
4748
4749 if (spcache_lookup(searchPath, roleid) != NULL)
4750 return true;
4751 }
4752
4753 /*
4754 * Ensure validity check succeeds before creating cache entry.
4755 */
4756
4757 rawname = pstrdup(searchPath); /* need a modifiable copy */
4758
4759 /* Parse string into list of identifiers */
4760 if (!SplitIdentifierString(rawname, ',', &namelist))
4761 {
4762 /* syntax error in name list */
4763 GUC_check_errdetail("List syntax is invalid.");
4764 pfree(rawname);
4765 list_free(namelist);
4766 return false;
4767 }
4768 pfree(rawname);
4769 list_free(namelist);
4770
4771 /* OK to create empty cache entry */
4772 if (use_cache)
4773 (void) spcache_insert(searchPath, roleid);
4774
4775 return true;
4776}
4777
4778/* assign_hook: do extra actions as needed */
4779void
4780assign_search_path(const char *newval, void *extra)
4781{
4782 /* don't access search_path during bootstrap */
4784
4785 /*
4786 * We mark the path as needing recomputation, but don't do anything until
4787 * it's needed. This avoids trying to do database access during GUC
4788 * initialization, or outside a transaction.
4789 *
4790 * This does not invalidate the search path cache, so if this value had
4791 * been previously set and no syscache invalidations happened,
4792 * recomputation may not be necessary.
4793 */
4794 baseSearchPathValid = false;
4795}
4796
4797/*
4798 * InitializeSearchPath: initialize module during InitPostgres.
4799 *
4800 * This is called after we are up enough to be able to do catalog lookups.
4801 */
4802void
4804{
4806 {
4807 /*
4808 * In bootstrap mode, the search path must be 'pg_catalog' so that
4809 * tables are created in the proper namespace; ignore the GUC setting.
4810 */
4811 MemoryContext oldcxt;
4812
4814 baseSearchPath = list_make1_oid(PG_CATALOG_NAMESPACE);
4815 MemoryContextSwitchTo(oldcxt);
4816 baseCreationNamespace = PG_CATALOG_NAMESPACE;
4818 baseSearchPathValid = true;
4823 activePathGeneration++; /* pro forma */
4824 }
4825 else
4826 {
4827 /*
4828 * In normal mode, arrange for a callback on any syscache invalidation
4829 * that will affect the search_path cache.
4830 */
4831
4832 /* namespace name or ACLs may have changed */
4833 CacheRegisterSyscacheCallback(NAMESPACEOID,
4835 (Datum) 0);
4836
4837 /* role name may affect the meaning of "$user" */
4840 (Datum) 0);
4841
4842 /* role membership may affect ACLs */
4843 CacheRegisterSyscacheCallback(AUTHMEMROLEMEM,
4845 (Datum) 0);
4846
4847 /* database owner may affect ACLs */
4850 (Datum) 0);
4851
4852 /* Force search path to be recomputed on next use */
4853 baseSearchPathValid = false;
4854 searchPathCacheValid = false;
4855 }
4856}
4857
4858/*
4859 * InvalidationCallback
4860 * Syscache inval callback function
4861 */
4862static void
4863InvalidationCallback(Datum arg, int cacheid, uint32 hashvalue)
4864{
4865 /*
4866 * Force search path to be recomputed on next use, also invalidating the
4867 * search path cache (because namespace names, ACLs, or role names may
4868 * have changed).
4869 */
4870 baseSearchPathValid = false;
4871 searchPathCacheValid = false;
4872}
4873
4874/*
4875 * Fetch the active search path. The return value is a palloc'ed list
4876 * of OIDs; the caller is responsible for freeing this storage as
4877 * appropriate.
4878 *
4879 * The returned list includes the implicitly-prepended namespaces only if
4880 * includeImplicit is true.
4881 *
4882 * Note: calling this may result in a CommandCounterIncrement operation,
4883 * if we have to create or clean out the temp namespace.
4884 */
4885List *
4886fetch_search_path(bool includeImplicit)
4887{
4888 List *result;
4889
4891
4892 /*
4893 * If the temp namespace should be first, force it to exist. This is so
4894 * that callers can trust the result to reflect the actual default
4895 * creation namespace. It's a bit bogus to do this here, since
4896 * current_schema() is supposedly a stable function without side-effects,
4897 * but the alternatives seem worse.
4898 */
4900 {
4903 }
4904
4905 result = list_copy(activeSearchPath);
4906 if (!includeImplicit)
4907 {
4908 while (result && linitial_oid(result) != activeCreationNamespace)
4909 result = list_delete_first(result);
4910 }
4911
4912 return result;
4913}
4914
4915/*
4916 * Fetch the active search path into a caller-allocated array of OIDs.
4917 * Returns the number of path entries. (If this is more than sarray_len,
4918 * then the data didn't fit and is not all stored.)
4919 *
4920 * The returned list always includes the implicitly-prepended namespaces,
4921 * but never includes the temp namespace. (This is suitable for existing
4922 * users, which would want to ignore the temp namespace anyway.) This
4923 * definition allows us to not worry about initializing the temp namespace.
4924 */
4925int
4926fetch_search_path_array(Oid *sarray, int sarray_len)
4927{
4928 int count = 0;
4929 ListCell *l;
4930
4932
4933 foreach(l, activeSearchPath)
4934 {
4935 Oid namespaceId = lfirst_oid(l);
4936
4937 if (namespaceId == myTempNamespace)
4938 continue; /* do not include temp namespace */
4939
4940 if (count < sarray_len)
4941 sarray[count] = namespaceId;
4942 count++;
4943 }
4944
4945 return count;
4946}
4947
4948
4949/*
4950 * Export the FooIsVisible functions as SQL-callable functions.
4951 *
4952 * Note: as of Postgres 8.4, these will silently return NULL if called on
4953 * a nonexistent object OID, rather than failing. This is to avoid race
4954 * condition errors when a query that's scanning a catalog using an MVCC
4955 * snapshot uses one of these functions. The underlying IsVisible functions
4956 * always use an up-to-date snapshot and so might see the object as already
4957 * gone when it's still visible to the transaction snapshot.
4958 */
4959
4960Datum
4962{
4963 Oid oid = PG_GETARG_OID(0);
4964 bool result;
4965 bool is_missing = false;
4966
4967 result = RelationIsVisibleExt(oid, &is_missing);
4968
4969 if (is_missing)
4971 PG_RETURN_BOOL(result);
4972}
4973
4974Datum
4976{
4977 Oid oid = PG_GETARG_OID(0);
4978 bool result;
4979 bool is_missing = false;
4980
4981 result = TypeIsVisibleExt(oid, &is_missing);
4982
4983 if (is_missing)
4985 PG_RETURN_BOOL(result);
4986}
4987
4988Datum
4990{
4991 Oid oid = PG_GETARG_OID(0);
4992 bool result;
4993 bool is_missing = false;
4994
4995 result = FunctionIsVisibleExt(oid, &is_missing);
4996
4997 if (is_missing)
4999 PG_RETURN_BOOL(result);
5000}
5001
5002Datum
5004{
5005 Oid oid = PG_GETARG_OID(0);
5006 bool result;
5007 bool is_missing = false;
5008
5009 result = OperatorIsVisibleExt(oid, &is_missing);
5010
5011 if (is_missing)
5013 PG_RETURN_BOOL(result);
5014}
5015
5016Datum
5018{
5019 Oid oid = PG_GETARG_OID(0);
5020 bool result;
5021 bool is_missing = false;
5022
5023 result = OpclassIsVisibleExt(oid, &is_missing);
5024
5025 if (is_missing)
5027 PG_RETURN_BOOL(result);
5028}
5029
5030Datum
5032{
5033 Oid oid = PG_GETARG_OID(0);
5034 bool result;
5035 bool is_missing = false;
5036
5037 result = OpfamilyIsVisibleExt(oid, &is_missing);
5038
5039 if (is_missing)
5041 PG_RETURN_BOOL(result);
5042}
5043
5044Datum
5046{
5047 Oid oid = PG_GETARG_OID(0);
5048 bool result;
5049 bool is_missing = false;
5050
5051 result = CollationIsVisibleExt(oid, &is_missing);
5052
5053 if (is_missing)
5055 PG_RETURN_BOOL(result);
5056}
5057
5058Datum
5060{
5061 Oid oid = PG_GETARG_OID(0);
5062 bool result;
5063 bool is_missing = false;
5064
5065 result = ConversionIsVisibleExt(oid, &is_missing);
5066
5067 if (is_missing)
5069 PG_RETURN_BOOL(result);
5070}
5071
5072Datum
5074{
5075 Oid oid = PG_GETARG_OID(0);
5076 bool result;
5077 bool is_missing = false;
5078
5079 result = StatisticsObjIsVisibleExt(oid, &is_missing);
5080
5081 if (is_missing)
5083 PG_RETURN_BOOL(result);
5084}
5085
5086Datum
5088{
5089 Oid oid = PG_GETARG_OID(0);
5090 bool result;
5091 bool is_missing = false;
5092
5093 result = TSParserIsVisibleExt(oid, &is_missing);
5094
5095 if (is_missing)
5097 PG_RETURN_BOOL(result);
5098}
5099
5100Datum
5102{
5103 Oid oid = PG_GETARG_OID(0);
5104 bool result;
5105 bool is_missing = false;
5106
5107 result = TSDictionaryIsVisibleExt(oid, &is_missing);
5108
5109 if (is_missing)
5111 PG_RETURN_BOOL(result);
5112}
5113
5114Datum
5116{
5117 Oid oid = PG_GETARG_OID(0);
5118 bool result;
5119 bool is_missing = false;
5120
5121 result = TSTemplateIsVisibleExt(oid, &is_missing);
5122
5123 if (is_missing)
5125 PG_RETURN_BOOL(result);
5126}
5127
5128Datum
5130{
5131 Oid oid = PG_GETARG_OID(0);
5132 bool result;
5133 bool is_missing = false;
5134
5135 result = TSConfigIsVisibleExt(oid, &is_missing);
5136
5137 if (is_missing)
5139 PG_RETURN_BOOL(result);
5140}
5141
5142Datum
5144{
5146}
5147
5148Datum
5150{
5151 Oid oid = PG_GETARG_OID(0);
5152
5154}
AclResult
Definition: acl.h:182
@ ACLCHECK_OK
Definition: acl.h:183
@ ACLCHECK_NOT_OWNER
Definition: acl.h:185
void aclcheck_error(AclResult aclerr, ObjectType objtype, const char *objectname)
Definition: aclchk.c:2652
AclResult object_aclcheck(Oid classid, Oid objectid, Oid roleid, AclMode mode)
Definition: aclchk.c:3834
bool object_ownercheck(Oid classid, Oid objectid, Oid roleid)
Definition: aclchk.c:4088
#define ARR_NDIM(a)
Definition: array.h:290
#define ARR_DATA_PTR(a)
Definition: array.h:322
#define DatumGetArrayTypeP(X)
Definition: array.h:261
#define ARR_ELEMTYPE(a)
Definition: array.h:292
#define ARR_DIMS(a)
Definition: array.h:294
#define ARR_HASNULL(a)
Definition: array.h:291
#define NameStr(name)
Definition: c.h:752
uint32 SubTransactionId
Definition: c.h:662
#define InvalidSubTransactionId
Definition: c.h:664
#define Max(x, y)
Definition: c.h:998
int32_t int32
Definition: c.h:535
uint64_t uint64
Definition: c.h:540
uint32_t uint32
Definition: c.h:539
#define OidIsValid(objectId)
Definition: c.h:775
int nspid
Oid collid
void performDeletion(const ObjectAddress *object, DropBehavior behavior, int flags)
Definition: dependency.c:273
#define PERFORM_DELETION_SKIP_EXTENSIONS
Definition: dependency.h:96
#define PERFORM_DELETION_QUIETLY
Definition: dependency.h:94
#define PERFORM_DELETION_SKIP_ORIGINAL
Definition: dependency.h:95
#define PERFORM_DELETION_INTERNAL
Definition: dependency.h:92
int errcode(int sqlerrcode)
Definition: elog.c:854
int errmsg(const char *fmt,...)
Definition: elog.c:1071
#define DEBUG1
Definition: elog.h:30
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:226
#define ereport(elevel,...)
Definition: elog.h:150
bool is_encoding_supported_by_icu(int encoding)
Definition: encnames.c:461
bool equal(const void *a, const void *b)
Definition: equalfuncs.c:223
#define PG_GETARG_OID(n)
Definition: fmgr.h:275
#define PG_RETURN_NULL()
Definition: fmgr.h:345
#define PG_RETURN_OID(x)
Definition: fmgr.h:360
#define PG_FUNCTION_ARGS
Definition: fmgr.h:193
#define PG_RETURN_BOOL(x)
Definition: fmgr.h:359
int get_func_arg_info(HeapTuple procTup, Oid **p_argtypes, char ***p_argnames, char **p_argmodes)
Definition: funcapi.c:1379
ProcNumber MyProcNumber
Definition: globals.c:90
Oid MyDatabaseId
Definition: globals.c:94
#define newval
#define GUC_check_errdetail
Definition: guc.h:505
GucSource
Definition: guc.h:112
Assert(PointerIsAligned(start, uint64))
static size_t fasthash_accum_cstring(fasthash_state *hs, const char *str)
static uint32 fasthash_final32(fasthash_state *hs, uint64 tweak)
static void fasthash_combine(fasthash_state *hs)
static void fasthash_init(fasthash_state *hs, uint64 seed)
#define HeapTupleIsValid(tuple)
Definition: htup.h:78
static void * GETSTRUCT(const HeapTupleData *tuple)
Definition: htup_details.h:728
#define IsParallelWorker()
Definition: parallel.h:60
#define funcname
Definition: indent_codes.h:69
void AcceptInvalidationMessages(void)
Definition: inval.c:930
void CacheRegisterSyscacheCallback(int cacheid, SyscacheCallbackFunction func, Datum arg)
Definition: inval.c:1812
void before_shmem_exit(pg_on_exit_callback function, Datum arg)
Definition: ipc.c:337
int b
Definition: isn.c:74
return true
Definition: isn.c:130
int a
Definition: isn.c:73
int j
Definition: isn.c:78
int i
Definition: isn.c:77
List * lcons_oid(Oid datum, List *list)
Definition: list.c:531
List * list_delete_first(List *list)
Definition: list.c:943
List * list_copy(const List *oldlist)
Definition: list.c:1573
List * lappend_oid(List *list, Oid datum)
Definition: list.c:375
void list_free(List *list)
Definition: list.c:1546
bool list_member_oid(const List *list, Oid datum)
Definition: list.c:722
bool ConditionalLockRelationOid(Oid relid, LOCKMODE lockmode)
Definition: lmgr.c:151
void UnlockRelationOid(Oid relid, LOCKMODE lockmode)
Definition: lmgr.c:229
void LockDatabaseObject(Oid classid, Oid objid, uint16 objsubid, LOCKMODE lockmode)
Definition: lmgr.c:1008
void LockRelationOid(Oid relid, LOCKMODE lockmode)
Definition: lmgr.c:107
void UnlockDatabaseObject(Oid classid, Oid objid, uint16 objsubid, LOCKMODE lockmode)
Definition: lmgr.c:1068
int LOCKMODE
Definition: lockdefs.h:26
#define NoLock
Definition: lockdefs.h:34
#define AccessShareLock
Definition: lockdefs.h:36
char * get_database_name(Oid dbid)
Definition: lsyscache.c:1259
char get_rel_relkind(Oid relid)
Definition: lsyscache.c:2170
char * get_namespace_name(Oid nspid)
Definition: lsyscache.c:3533
Oid get_relname_relid(const char *relname, Oid relnamespace)
Definition: lsyscache.c:2052
RangeVar * makeRangeVar(char *schemaname, char *relname, int location)
Definition: makefuncs.c:473
int GetDatabaseEncoding(void)
Definition: mbutils.c:1262
const char * GetDatabaseEncodingName(void)
Definition: mbutils.c:1268
char * MemoryContextStrdup(MemoryContext context, const char *string)
Definition: mcxt.c:1746
void MemoryContextReset(MemoryContext context)
Definition: mcxt.c:400
char * pstrdup(const char *in)
Definition: mcxt.c:1759
void pfree(void *pointer)
Definition: mcxt.c:1594
void * palloc0(Size size)
Definition: mcxt.c:1395
MemoryContext TopMemoryContext
Definition: mcxt.c:166
void * palloc(Size size)
Definition: mcxt.c:1365
#define AllocSetContextCreate
Definition: memutils.h:129
#define ALLOCSET_DEFAULT_SIZES
Definition: memutils.h:160
#define IsBootstrapProcessingMode()
Definition: miscadmin.h:476
Oid GetUserId(void)
Definition: miscinit.c:469
static const SearchPathCacheEntry * cachedNamespacePath(const char *searchPath, Oid roleid)
Definition: namespace.c:4311
Oid RangeVarGetAndCheckCreationNamespace(RangeVar *relation, LOCKMODE lockmode, Oid *existing_relation_id)
Definition: namespace.c:738
Oid OpclassnameGetOpcid(Oid amid, const char *opcname)
Definition: namespace.c:2188
static bool CollationIsVisibleExt(Oid collid, bool *is_missing)
Definition: namespace.c:2486
bool isTempOrTempToastNamespace(Oid namespaceId)
Definition: namespace.c:3740
void ResetTempTableNamespace(void)
Definition: namespace.c:4711
static bool baseTempCreationPending
Definition: namespace.c:152
Oid FindDefaultConversionProc(int32 for_encoding, int32 to_encoding)
Definition: namespace.c:4147
Oid OpernameGetOprid(List *names, Oid oprleft, Oid oprright)
Definition: namespace.c:1832
char * NameListToString(const List *names)
Definition: namespace.c:3661
Oid LookupExplicitNamespace(const char *nspname, bool missing_ok)
Definition: namespace.c:3452
static SearchPathCacheEntry * spcache_lookup(const char *searchPath, Oid roleid)
Definition: namespace.c:343
Datum pg_is_other_temp_schema(PG_FUNCTION_ARGS)
Definition: namespace.c:5149
bool TSTemplateIsVisible(Oid tmplId)
Definition: namespace.c:3132
Oid QualifiedNameGetCreationNamespace(const List *names, char **objname_p)
Definition: namespace.c:3554
bool OpfamilyIsVisible(Oid opfid)
Definition: namespace.c:2323
bool CollationIsVisible(Oid collid)
Definition: namespace.c:2474
static Oid baseCreationNamespace
Definition: namespace.c:150
bool TypeIsVisible(Oid typid)
Definition: namespace.c:1039
bool isOtherTempNamespace(Oid namespaceId)
Definition: namespace.c:3777
static MemoryContext SearchPathCacheContext
Definition: namespace.c:164
static bool searchPathCacheValid
Definition: namespace.c:163
static Oid lookup_collation(const char *collname, Oid collnamespace, int32 encoding)
Definition: namespace.c:2389
Oid CollationGetCollid(const char *collname)
Definition: namespace.c:2440
void assign_search_path(const char *newval, void *extra)
Definition: namespace.c:4780
static Oid activeCreationNamespace
Definition: namespace.c:138
bool isTempNamespace(Oid namespaceId)
Definition: namespace.c:3716
#define SPACE_PER_OP
bool isAnyTempNamespace(Oid namespaceId)
Definition: namespace.c:3754
Datum pg_operator_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5003
static List * activeSearchPath
Definition: namespace.c:135
bool ConversionIsVisible(Oid conid)
Definition: namespace.c:2576
static bool baseSearchPathValid
Definition: namespace.c:157
static Oid namespaceUser
Definition: namespace.c:154
static SubTransactionId myTempNamespaceSubID
Definition: namespace.c:204
Oid get_statistics_object_oid(List *names, bool missing_ok)
Definition: namespace.c:2642
Oid LookupCreationNamespace(const char *nspname)
Definition: namespace.c:3495
void RangeVarAdjustRelationPersistence(RangeVar *newRelation, Oid nspid)
Definition: namespace.c:845
static Oid myTempToastNamespace
Definition: namespace.c:202
Datum pg_collation_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5045
Oid get_collation_oid(List *collname, bool missing_ok)
Definition: namespace.c:4038
void DeconstructQualifiedName(const List *names, char **nspname_p, char **objname_p)
Definition: namespace.c:3368
Datum pg_function_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:4989
static bool MatchNamedCall(HeapTuple proctup, int nargs, List *argnames, bool include_out_arguments, int pronargs, int **argnumbers, int *fgc_flags)
Definition: namespace.c:1616
Datum pg_type_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:4975
static bool OpclassIsVisibleExt(Oid opcid, bool *is_missing)
Definition: namespace.c:2233
static bool RelationIsVisibleExt(Oid relid, bool *is_missing)
Definition: namespace.c:924
List * fetch_search_path(bool includeImplicit)
Definition: namespace.c:4886
static bool FunctionIsVisibleExt(Oid funcid, bool *is_missing)
Definition: namespace.c:1753
FuncCandidateList OpernameGetCandidates(List *names, char oprkind, bool missing_schema_ok, int *fgc_flags)
Definition: namespace.c:1945
Datum pg_opclass_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5017
Oid get_namespace_oid(const char *nspname, bool missing_ok)
Definition: namespace.c:3602
static SearchPathCacheEntry * spcache_insert(const char *searchPath, Oid roleid)
Definition: namespace.c:373
SearchPathMatcher * GetSearchPathMatcher(MemoryContext context)
Definition: namespace.c:3919
Oid TypenameGetTypidExtended(const char *typname, bool temp_ok)
Definition: namespace.c:1007
static bool TSDictionaryIsVisibleExt(Oid dictId, bool *is_missing)
Definition: namespace.c:2998
char * NameListToQuotedString(const List *names)
Definition: namespace.c:3695
Oid RangeVarGetCreationNamespace(const RangeVar *newRelation)
Definition: namespace.c:653
bool RelationIsVisible(Oid relid)
Definition: namespace.c:912
static List * preprocessNamespacePath(const char *searchPath, Oid roleid, bool *temp_missing)
Definition: namespace.c:4174
Datum pg_ts_config_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5129
static void spcache_init(void)
Definition: namespace.c:305
Datum pg_opfamily_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5031
bool OpclassIsVisible(Oid opcid)
Definition: namespace.c:2221
Oid ConversionGetConid(const char *conname)
Definition: namespace.c:2544
void AtEOSubXact_Namespace(bool isCommit, SubTransactionId mySubid, SubTransactionId parentSubid)
Definition: namespace.c:4625
static List * finalNamespacePath(List *oidlist, Oid *firstNS)
Definition: namespace.c:4265
TempNamespaceStatus checkTempNamespaceStatus(Oid namespaceId)
Definition: namespace.c:3796
Datum pg_conversion_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5059
void CheckSetNamespace(Oid oldNspOid, Oid nspOid)
Definition: namespace.c:3526
static SearchPathCacheEntry * LastSearchPathCacheEntry
Definition: namespace.c:299
void GetTempNamespaceState(Oid *tempNamespaceId, Oid *tempToastNamespaceId)
Definition: namespace.c:3872
void InitializeSearchPath(void)
Definition: namespace.c:4803
static bool TSParserIsVisibleExt(Oid prsId, bool *is_missing)
Definition: namespace.c:2853
static bool StatisticsObjIsVisibleExt(Oid stxid, bool *is_missing)
Definition: namespace.c:2711
bool OperatorIsVisible(Oid oprid)
Definition: namespace.c:2116
static bool TSTemplateIsVisibleExt(Oid tmplId, bool *is_missing)
Definition: namespace.c:3144
char * namespace_search_path
Definition: namespace.c:210
bool TSParserIsVisible(Oid prsId)
Definition: namespace.c:2841
static void RemoveTempRelations(Oid tempNamespaceId)
Definition: namespace.c:4665
static void recomputeNamespacePath(void)
Definition: namespace.c:4366
FuncCandidateList FuncnameGetCandidates(List *names, int nargs, List *argnames, bool expand_variadic, bool expand_defaults, bool include_out_arguments, bool missing_ok, int *fgc_flags)
Definition: namespace.c:1197
static Oid myTempNamespace
Definition: namespace.c:200
#define SPCACHE_RESET_THRESHOLD
Definition: namespace.c:296
bool SearchPathMatchesCurrentEnvironment(SearchPathMatcher *path)
Definition: namespace.c:3978
Datum pg_statistics_obj_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5073
static nsphash_hash * SearchPathCache
Definition: namespace.c:298
static bool ConversionIsVisibleExt(Oid conid, bool *is_missing)
Definition: namespace.c:2588
static bool activeTempCreationPending
Definition: namespace.c:141
Oid get_conversion_oid(List *conname, bool missing_ok)
Definition: namespace.c:4092
static void InitTempTableNamespace(void)
Definition: namespace.c:4457
bool FunctionIsVisible(Oid funcid)
Definition: namespace.c:1741
Oid get_ts_dict_oid(List *names, bool missing_ok)
Definition: namespace.c:2928
static bool OperatorIsVisibleExt(Oid oprid, bool *is_missing)
Definition: namespace.c:2128
Oid get_ts_parser_oid(List *names, bool missing_ok)
Definition: namespace.c:2783
Datum pg_ts_template_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5115
static bool TSConfigIsVisibleExt(Oid cfgid, bool *is_missing)
Definition: namespace.c:3289
static bool TypeIsVisibleExt(Oid typid, bool *is_missing)
Definition: namespace.c:1051
SearchPathMatcher * CopySearchPathMatcher(SearchPathMatcher *path)
Definition: namespace.c:3956
static void AccessTempTableNamespace(bool force)
Definition: namespace.c:4429
void SetTempNamespaceState(Oid tempNamespaceId, Oid tempToastNamespaceId)
Definition: namespace.c:3888
static void InvalidationCallback(Datum arg, int cacheid, uint32 hashvalue)
Definition: namespace.c:4863
Oid GetTempToastNamespace(void)
Definition: namespace.c:3858
static bool OpfamilyIsVisibleExt(Oid opfid, bool *is_missing)
Definition: namespace.c:2335
Oid OpfamilynameGetOpfid(Oid amid, const char *opfname)
Definition: namespace.c:2290
RangeVar * makeRangeVarFromNameList(const List *names)
Definition: namespace.c:3621
void AtEOXact_Namespace(bool isCommit, bool parallel)
Definition: namespace.c:4579
Oid get_ts_config_oid(List *names, bool missing_ok)
Definition: namespace.c:3219
static bool spcachekey_equal(SearchPathCacheKey a, SearchPathCacheKey b)
Definition: namespace.c:273
bool check_search_path(char **newval, void **extra, GucSource source)
Definition: namespace.c:4724
Oid LookupNamespaceNoError(const char *nspname)
Definition: namespace.c:3422
struct SearchPathCacheKey SearchPathCacheKey
ProcNumber GetTempNamespaceProcNumber(Oid namespaceId)
Definition: namespace.c:3833
static void RemoveTempRelationsCallback(int code, Datum arg)
Definition: namespace.c:4691
Oid TypenameGetTypid(const char *typname)
Definition: namespace.c:994
int fetch_search_path_array(Oid *sarray, int sarray_len)
Definition: namespace.c:4926
Oid RangeVarGetRelidExtended(const RangeVar *relation, LOCKMODE lockmode, uint32 flags, RangeVarGetRelidCallback callback, void *callback_arg)
Definition: namespace.c:440
struct SearchPathCacheEntry SearchPathCacheEntry
static uint32 spcachekey_hash(SearchPathCacheKey key)
Definition: namespace.c:253
static uint64 activePathGeneration
Definition: namespace.c:144
bool TSConfigIsVisible(Oid cfgid)
Definition: namespace.c:3277
bool StatisticsObjIsVisible(Oid stxid)
Definition: namespace.c:2699
Datum pg_ts_dict_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5101
Oid RelnameGetRelid(const char *relname)
Definition: namespace.c:884
static List * baseSearchPath
Definition: namespace.c:148
Datum pg_my_temp_schema(PG_FUNCTION_ARGS)
Definition: namespace.c:5143
Datum pg_ts_parser_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:5087
bool TSDictionaryIsVisible(Oid dictId)
Definition: namespace.c:2986
Datum pg_table_is_visible(PG_FUNCTION_ARGS)
Definition: namespace.c:4961
bool isTempToastNamespace(Oid namespaceId)
Definition: namespace.c:3728
Oid get_ts_template_oid(List *names, bool missing_ok)
Definition: namespace.c:3074
#define FGC_ARGNAMES_ALL
Definition: namespace.h:55
void(* RangeVarGetRelidCallback)(const RangeVar *relation, Oid relId, Oid oldRelId, void *callback_arg)
Definition: namespace.h:95
#define FGC_NAME_EXISTS
Definition: namespace.h:49
#define FGC_ARGNAMES_VALID
Definition: namespace.h:56
@ RVR_SKIP_LOCKED
Definition: namespace.h:92
@ RVR_NOWAIT
Definition: namespace.h:91
@ RVR_MISSING_OK
Definition: namespace.h:90
#define FGC_ARGNAMES_MATCH
Definition: namespace.h:53
TempNamespaceStatus
Definition: namespace.h:64
@ TEMP_NAMESPACE_IN_USE
Definition: namespace.h:67
@ TEMP_NAMESPACE_NOT_TEMP
Definition: namespace.h:65
@ TEMP_NAMESPACE_IDLE
Definition: namespace.h:66
#define FGC_SCHEMA_GIVEN
Definition: namespace.h:47
#define FGC_ARGCOUNT_MATCH
Definition: namespace.h:51
struct _FuncCandidateList * FuncCandidateList
#define FGC_NAME_VISIBLE
Definition: namespace.h:50
#define FGC_SCHEMA_EXISTS
Definition: namespace.h:48
#define FGC_ARGNAMES_NONDUP
Definition: namespace.h:54
#define IsA(nodeptr, _type_)
Definition: nodes.h:164
#define nodeTag(nodeptr)
Definition: nodes.h:139
object_access_hook_type object_access_hook
Definition: objectaccess.c:22
#define InvokeNamespaceSearchHook(objectId, ereport_on_violation)
Definition: objectaccess.h:208
ObjectType get_relkind_objtype(char relkind)
static MemoryContext MemoryContextSwitchTo(MemoryContext context)
Definition: palloc.h:124
Oid oprid(Operator op)
Definition: parse_oper.c:239
#define ACL_CREATE_TEMP
Definition: parsenodes.h:86
#define ACL_USAGE
Definition: parsenodes.h:84
@ FUNC_PARAM_IN
Definition: parsenodes.h:3574
@ FUNC_PARAM_INOUT
Definition: parsenodes.h:3576
@ FUNC_PARAM_VARIADIC
Definition: parsenodes.h:3577
@ DROP_CASCADE
Definition: parsenodes.h:2396
@ OBJECT_SCHEMA
Definition: parsenodes.h:2358
#define ACL_CREATE
Definition: parsenodes.h:85
NameData rolname
Definition: pg_authid.h:34
FormData_pg_authid * Form_pg_authid
Definition: pg_authid.h:56
void * arg
NameData relname
Definition: pg_class.h:38
FormData_pg_class * Form_pg_class
Definition: pg_class.h:156
FormData_pg_collation * Form_pg_collation
Definition: pg_collation.h:58
#define NAMEDATALEN
#define FUNC_MAX_ARGS
Oid FindDefaultConversion(Oid name_space, int32 for_encoding, int32 to_encoding)
FormData_pg_conversion * Form_pg_conversion
Definition: pg_conversion.h:61
int32 encoding
Definition: pg_database.h:41
#define lfirst(lc)
Definition: pg_list.h:172
static int list_length(const List *l)
Definition: pg_list.h:152
#define NIL
Definition: pg_list.h:68
#define list_make1_oid(x1)
Definition: pg_list.h:242
#define lthird(l)
Definition: pg_list.h:188
#define list_make1(x1)
Definition: pg_list.h:212
#define linitial(l)
Definition: pg_list.h:178
#define lsecond(l)
Definition: pg_list.h:183
static ListCell * list_head(const List *l)
Definition: pg_list.h:128
static ListCell * lnext(const List *l, const ListCell *c)
Definition: pg_list.h:343
#define linitial_oid(l)
Definition: pg_list.h:180
#define lfirst_oid(lc)
Definition: pg_list.h:174
Oid NamespaceCreate(const char *nspName, Oid ownerId, bool isTemp)
Definition: pg_namespace.c:43
FormData_pg_opclass * Form_pg_opclass
Definition: pg_opclass.h:83
FormData_pg_operator * Form_pg_operator
Definition: pg_operator.h:83
FormData_pg_opfamily * Form_pg_opfamily
Definition: pg_opfamily.h:51
FormData_pg_proc * Form_pg_proc
Definition: pg_proc.h:136
int16 pronargs
Definition: pg_proc.h:81
NameData proname
Definition: pg_proc.h:35
static rewind_source * source
Definition: pg_rewind.c:89
FormData_pg_statistic_ext * Form_pg_statistic_ext
FormData_pg_ts_config * Form_pg_ts_config
Definition: pg_ts_config.h:48
FormData_pg_ts_dict * Form_pg_ts_dict
Definition: pg_ts_dict.h:52
FormData_pg_ts_parser * Form_pg_ts_parser
Definition: pg_ts_parser.h:55
FormData_pg_ts_template * Form_pg_ts_template
FormData_pg_type * Form_pg_type
Definition: pg_type.h:261
NameData typname
Definition: pg_type.h:41
#define ERRCODE_UNDEFINED_TABLE
Definition: pgbench.c:79
#define snprintf
Definition: port.h:239
static Datum PointerGetDatum(const void *X)
Definition: postgres.h:332
static Datum ObjectIdGetDatum(Oid X)
Definition: postgres.h:262
uint64_t Datum
Definition: postgres.h:70
static Datum CStringGetDatum(const char *X)
Definition: postgres.h:360
static Datum Int32GetDatum(int32 X)
Definition: postgres.h:222
#define InvalidOid
Definition: postgres_ext.h:37
unsigned int Oid
Definition: postgres_ext.h:32
char string[11]
Definition: preproc-type.c:52
PGPROC * ProcNumberGetProc(ProcNumber procNumber)
Definition: procarray.c:3100
#define INVALID_PROC_NUMBER
Definition: procnumber.h:26
int ProcNumber
Definition: procnumber.h:24
const char * quote_identifier(const char *ident)
Definition: ruleutils.c:13028
uint64 SharedInvalidMessageCounter
Definition: sinval.c:24
Snapshot GetTransactionSnapshot(void)
Definition: snapmgr.c:271
void PushActiveSnapshot(Snapshot snapshot)
Definition: snapmgr.c:680
void PopActiveSnapshot(void)
Definition: snapmgr.c:773
PGPROC * MyProc
Definition: proc.c:66
void appendStringInfoString(StringInfo str, const char *s)
Definition: stringinfo.c:230
void appendStringInfoChar(StringInfo str, char ch)
Definition: stringinfo.c:242
void initStringInfo(StringInfo str)
Definition: stringinfo.c:97
Definition: pg_list.h:54
Definition: nodes.h:135
Definition: proc.h:179
Oid databaseId
Definition: proc.h:224
Oid tempNamespaceId
Definition: proc.h:227
char * relname
Definition: primnodes.h:83
char relpersistence
Definition: primnodes.h:89
char * catalogname
Definition: primnodes.h:77
char * schemaname
Definition: primnodes.h:80
SearchPathCacheKey key
Definition: namespace.c:174
const char * searchPath
Definition: namespace.c:168
uint64 generation
Definition: namespace.h:82
Definition: value.h:64
struct _FuncCandidateList * next
Definition: namespace.h:31
Oid args[FLEXIBLE_ARRAY_MEMBER]
Definition: namespace.h:39
bool ordered
Definition: catcache.h:181
CatCTup * members[FLEXIBLE_ARRAY_MEMBER]
Definition: catcache.h:185
int n_members
Definition: catcache.h:183
HeapTupleData tuple
Definition: catcache.h:124
void ReleaseSysCache(HeapTuple tuple)
Definition: syscache.c:264
HeapTuple SearchSysCache1(int cacheId, Datum key1)
Definition: syscache.c:220
HeapTuple SearchSysCache3(int cacheId, Datum key1, Datum key2, Datum key3)
Definition: syscache.c:240
Datum SysCacheGetAttr(int cacheId, HeapTuple tup, AttrNumber attributeNumber, bool *isNull)
Definition: syscache.c:595
HeapTuple SearchSysCache4(int cacheId, Datum key1, Datum key2, Datum key3, Datum key4)
Definition: syscache.c:250
#define SearchSysCacheList3(cacheId, key1, key2, key3)
Definition: syscache.h:131
#define ReleaseSysCacheList(x)
Definition: syscache.h:134
#define SearchSysCacheExists2(cacheId, key1, key2)
Definition: syscache.h:102
#define SearchSysCacheList1(cacheId, key1)
Definition: syscache.h:127
#define GetSysCacheOid3(cacheId, oidcol, key1, key2, key3)
Definition: syscache.h:113
#define GetSysCacheOid1(cacheId, oidcol, key1)
Definition: syscache.h:109
#define GetSysCacheOid2(cacheId, oidcol, key1, key2)
Definition: syscache.h:111
static void callback(struct sockaddr *addr, struct sockaddr *mask, void *unused)
Definition: test_ifaddrs.c:46
String * makeString(char *str)
Definition: value.c:63
#define strVal(v)
Definition: value.h:82
bool SplitIdentifierString(char *rawstring, char separator, List **namelist)
Definition: varlena.c:2744
const char * name
SubTransactionId GetCurrentSubTransactionId(void)
Definition: xact.c:791
void CommandCounterIncrement(void)
Definition: xact.c:1100
void StartTransactionCommand(void)
Definition: xact.c:3071
void CommitTransactionCommand(void)
Definition: xact.c:3169
void AbortOutOfAnyTransaction(void)
Definition: xact.c:4874
int MyXactFlags
Definition: xact.c:136
#define XACT_FLAGS_ACCESSEDTEMPNAMESPACE
Definition: xact.h:103
bool RecoveryInProgress(void)
Definition: xlog.c:6383