1 //===--- IdentifierTable.h - Hash table for identifier lookup ---*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
11 /// \brief Defines the clang::IdentifierInfo, clang::IdentifierTable, and
12 /// clang::Selector interfaces.
14 //===----------------------------------------------------------------------===//
16 #ifndef LLVM_CLANG_BASIC_IDENTIFIERTABLE_H
17 #define LLVM_CLANG_BASIC_IDENTIFIERTABLE_H
19 #include "clang/Basic/LLVM.h"
20 #include "clang/Basic/TokenKinds.h"
21 #include "llvm/ADT/SmallString.h"
22 #include "llvm/ADT/StringMap.h"
23 #include "llvm/ADT/StringRef.h"
24 #include "llvm/Support/Allocator.h"
35 template <typename T> struct DenseMapInfo;
37 } // end namespace llvm
43 class IdentifierTable;
45 class MultiKeywordSelector; // private class used by Selector
46 class DeclarationName; // AST class that stores declaration names
48 /// \brief A simple pair of identifier info and location.
49 typedef std::pair<IdentifierInfo*, SourceLocation> IdentifierLocPair;
51 /// One of these records is kept for each identifier that
52 /// is lexed. This contains information about whether the token was \#define'd,
53 /// is a language keyword, or if it is a front-end token of some sort (e.g. a
54 /// variable or function name). The preprocessor keeps this information in a
55 /// set, and all tok::identifier tokens have a pointer to one of these.
56 class IdentifierInfo {
57 friend class IdentifierTable;
59 unsigned TokenID : 9; // Front-end token ID or tok::identifier.
60 // Objective-C keyword ('protocol' in '@protocol') or builtin (__builtin_inf).
61 // First NUM_OBJC_KEYWORDS values are for Objective-C, the remaining values
63 unsigned ObjCOrBuiltinID :13;
64 bool HasMacro : 1; // True if there is a #define for this.
65 bool HadMacro : 1; // True if there was a #define for this.
66 bool IsExtension : 1; // True if identifier is a lang extension.
67 bool IsFutureCompatKeyword : 1; // True if identifier is a keyword in a
68 // newer Standard or proposed Standard.
69 bool IsPoisoned : 1; // True if identifier is poisoned.
70 bool IsCPPOperatorKeyword : 1; // True if ident is a C++ operator keyword.
71 bool NeedsHandleIdentifier : 1; // See "RecomputeNeedsHandleIdentifier".
72 bool IsFromAST : 1; // True if identifier was loaded (at least
73 // partially) from an AST file.
74 bool ChangedAfterLoad : 1; // True if identifier has changed from the
75 // definition loaded from an AST file.
76 bool FEChangedAfterLoad : 1; // True if identifier's frontend information
77 // has changed from the definition loaded
79 bool RevertedTokenID : 1; // True if revertTokenIDToIdentifier was
81 bool OutOfDate : 1; // True if there may be additional
82 // information about this identifier
84 bool IsModulesImport : 1; // True if this is the 'import' contextual
86 // 29 bit left in 64-bit word.
88 void *FETokenInfo; // Managed by the language front-end.
89 llvm::StringMapEntry<IdentifierInfo*> *Entry;
93 IdentifierInfo(const IdentifierInfo &) = delete;
94 IdentifierInfo &operator=(const IdentifierInfo &) = delete;
96 /// \brief Return true if this is the identifier for the specified string.
98 /// This is intended to be used for string literals only: II->isStr("foo").
99 template <std::size_t StrLen>
100 bool isStr(const char (&Str)[StrLen]) const {
101 return getLength() == StrLen-1 &&
102 memcmp(getNameStart(), Str, StrLen-1) == 0;
105 /// \brief Return the beginning of the actual null-terminated string for this
108 const char *getNameStart() const {
109 if (Entry) return Entry->getKeyData();
110 // FIXME: This is gross. It would be best not to embed specific details
111 // of the PTH file format here.
112 // The 'this' pointer really points to a
113 // std::pair<IdentifierInfo, const char*>, where internal pointer
114 // points to the external string data.
115 typedef std::pair<IdentifierInfo, const char*> actualtype;
116 return ((const actualtype*) this)->second;
119 /// \brief Efficiently return the length of this identifier info.
121 unsigned getLength() const {
122 if (Entry) return Entry->getKeyLength();
123 // FIXME: This is gross. It would be best not to embed specific details
124 // of the PTH file format here.
125 // The 'this' pointer really points to a
126 // std::pair<IdentifierInfo, const char*>, where internal pointer
127 // points to the external string data.
128 typedef std::pair<IdentifierInfo, const char*> actualtype;
129 const char* p = ((const actualtype*) this)->second - 2;
130 return (((unsigned) p[0]) | (((unsigned) p[1]) << 8)) - 1;
133 /// \brief Return the actual identifier string.
134 StringRef getName() const {
135 return StringRef(getNameStart(), getLength());
138 /// \brief Return true if this identifier is \#defined to some other value.
139 /// \note The current definition may be in a module and not currently visible.
140 bool hasMacroDefinition() const {
143 void setHasMacroDefinition(bool Val) {
144 if (HasMacro == Val) return;
148 NeedsHandleIdentifier = true;
151 RecomputeNeedsHandleIdentifier();
154 /// \brief Returns true if this identifier was \#defined to some value at any
155 /// moment. In this case there should be an entry for the identifier in the
156 /// macro history table in Preprocessor.
157 bool hadMacroDefinition() const {
161 /// If this is a source-language token (e.g. 'for'), this API
162 /// can be used to cause the lexer to map identifiers to source-language
164 tok::TokenKind getTokenID() const { return (tok::TokenKind)TokenID; }
166 /// \brief True if revertTokenIDToIdentifier() was called.
167 bool hasRevertedTokenIDToIdentifier() const { return RevertedTokenID; }
169 /// \brief Revert TokenID to tok::identifier; used for GNU libstdc++ 4.2
172 /// TokenID is normally read-only but there are 2 instances where we revert it
173 /// to tok::identifier for libstdc++ 4.2. Keep track of when this happens
174 /// using this method so we can inform serialization about it.
175 void revertTokenIDToIdentifier() {
176 assert(TokenID != tok::identifier && "Already at tok::identifier");
177 TokenID = tok::identifier;
178 RevertedTokenID = true;
180 void revertIdentifierToTokenID(tok::TokenKind TK) {
181 assert(TokenID == tok::identifier && "Should be at tok::identifier");
183 RevertedTokenID = false;
186 /// \brief Return the preprocessor keyword ID for this identifier.
188 /// For example, "define" will return tok::pp_define.
189 tok::PPKeywordKind getPPKeywordID() const;
191 /// \brief Return the Objective-C keyword ID for the this identifier.
193 /// For example, 'class' will return tok::objc_class if ObjC is enabled.
194 tok::ObjCKeywordKind getObjCKeywordID() const {
195 if (ObjCOrBuiltinID < tok::NUM_OBJC_KEYWORDS)
196 return tok::ObjCKeywordKind(ObjCOrBuiltinID);
198 return tok::objc_not_keyword;
200 void setObjCKeywordID(tok::ObjCKeywordKind ID) { ObjCOrBuiltinID = ID; }
202 /// \brief True if setNotBuiltin() was called.
203 bool hasRevertedBuiltin() const {
204 return ObjCOrBuiltinID == tok::NUM_OBJC_KEYWORDS;
207 /// \brief Revert the identifier to a non-builtin identifier. We do this if
208 /// the name of a known builtin library function is used to declare that
209 /// function, but an unexpected type is specified.
210 void revertBuiltin() {
214 /// \brief Return a value indicating whether this is a builtin function.
216 /// 0 is not-built-in. 1+ are specific builtin functions.
217 unsigned getBuiltinID() const {
218 if (ObjCOrBuiltinID >= tok::NUM_OBJC_KEYWORDS)
219 return ObjCOrBuiltinID - tok::NUM_OBJC_KEYWORDS;
223 void setBuiltinID(unsigned ID) {
224 ObjCOrBuiltinID = ID + tok::NUM_OBJC_KEYWORDS;
225 assert(ObjCOrBuiltinID - unsigned(tok::NUM_OBJC_KEYWORDS) == ID
226 && "ID too large for field!");
229 unsigned getObjCOrBuiltinID() const { return ObjCOrBuiltinID; }
230 void setObjCOrBuiltinID(unsigned ID) { ObjCOrBuiltinID = ID; }
232 /// get/setExtension - Initialize information about whether or not this
233 /// language token is an extension. This controls extension warnings, and is
234 /// only valid if a custom token ID is set.
235 bool isExtensionToken() const { return IsExtension; }
236 void setIsExtensionToken(bool Val) {
239 NeedsHandleIdentifier = true;
241 RecomputeNeedsHandleIdentifier();
244 /// is/setIsFutureCompatKeyword - Initialize information about whether or not
245 /// this language token is a keyword in a newer or proposed Standard. This
246 /// controls compatibility warnings, and is only true when not parsing the
247 /// corresponding Standard. Once a compatibility problem has been diagnosed
248 /// with this keyword, the flag will be cleared.
249 bool isFutureCompatKeyword() const { return IsFutureCompatKeyword; }
250 void setIsFutureCompatKeyword(bool Val) {
251 IsFutureCompatKeyword = Val;
253 NeedsHandleIdentifier = true;
255 RecomputeNeedsHandleIdentifier();
258 /// setIsPoisoned - Mark this identifier as poisoned. After poisoning, the
259 /// Preprocessor will emit an error every time this token is used.
260 void setIsPoisoned(bool Value = true) {
263 NeedsHandleIdentifier = true;
265 RecomputeNeedsHandleIdentifier();
268 /// \brief Return true if this token has been poisoned.
269 bool isPoisoned() const { return IsPoisoned; }
271 /// isCPlusPlusOperatorKeyword/setIsCPlusPlusOperatorKeyword controls whether
272 /// this identifier is a C++ alternate representation of an operator.
273 void setIsCPlusPlusOperatorKeyword(bool Val = true) {
274 IsCPPOperatorKeyword = Val;
276 NeedsHandleIdentifier = true;
278 RecomputeNeedsHandleIdentifier();
280 bool isCPlusPlusOperatorKeyword() const { return IsCPPOperatorKeyword; }
282 /// \brief Return true if this token is a keyword in the specified language.
283 bool isKeyword(const LangOptions &LangOpts) const;
285 /// \brief Return true if this token is a C++ keyword in the specified
287 bool isCPlusPlusKeyword(const LangOptions &LangOpts) const;
289 /// getFETokenInfo/setFETokenInfo - The language front-end is allowed to
290 /// associate arbitrary metadata with this token.
292 T *getFETokenInfo() const { return static_cast<T*>(FETokenInfo); }
293 void setFETokenInfo(void *T) { FETokenInfo = T; }
295 /// \brief Return true if the Preprocessor::HandleIdentifier must be called
296 /// on a token of this identifier.
298 /// If this returns false, we know that HandleIdentifier will not affect
300 bool isHandleIdentifierCase() const { return NeedsHandleIdentifier; }
302 /// \brief Return true if the identifier in its current state was loaded
303 /// from an AST file.
304 bool isFromAST() const { return IsFromAST; }
306 void setIsFromAST() { IsFromAST = true; }
308 /// \brief Determine whether this identifier has changed since it was loaded
309 /// from an AST file.
310 bool hasChangedSinceDeserialization() const {
311 return ChangedAfterLoad;
314 /// \brief Note that this identifier has changed since it was loaded from
316 void setChangedSinceDeserialization() {
317 ChangedAfterLoad = true;
320 /// \brief Determine whether the frontend token information for this
321 /// identifier has changed since it was loaded from an AST file.
322 bool hasFETokenInfoChangedSinceDeserialization() const {
323 return FEChangedAfterLoad;
326 /// \brief Note that the frontend token information for this identifier has
327 /// changed since it was loaded from an AST file.
328 void setFETokenInfoChangedSinceDeserialization() {
329 FEChangedAfterLoad = true;
332 /// \brief Determine whether the information for this identifier is out of
333 /// date with respect to the external source.
334 bool isOutOfDate() const { return OutOfDate; }
336 /// \brief Set whether the information for this identifier is out of
337 /// date with respect to the external source.
338 void setOutOfDate(bool OOD) {
341 NeedsHandleIdentifier = true;
343 RecomputeNeedsHandleIdentifier();
346 /// \brief Determine whether this is the contextual keyword \c import.
347 bool isModulesImport() const { return IsModulesImport; }
349 /// \brief Set whether this identifier is the contextual keyword \c import.
350 void setModulesImport(bool I) {
353 NeedsHandleIdentifier = true;
355 RecomputeNeedsHandleIdentifier();
358 /// Return true if this identifier is an editor placeholder.
360 /// Editor placeholders are produced by the code-completion engine and are
361 /// represented as characters between '<#' and '#>' in the source code. An
362 /// example of auto-completed call with a placeholder parameter is shown
365 /// function(<#int x#>);
367 bool isEditorPlaceholder() const {
368 return getName().startswith("<#") && getName().endswith("#>");
371 /// \brief Provide less than operator for lexicographical sorting.
372 bool operator<(const IdentifierInfo &RHS) const {
373 return getName() < RHS.getName();
377 /// The Preprocessor::HandleIdentifier does several special (but rare)
378 /// things to identifiers of various sorts. For example, it changes the
379 /// \c for keyword token from tok::identifier to tok::for.
381 /// This method is very tied to the definition of HandleIdentifier. Any
382 /// change to it should be reflected here.
383 void RecomputeNeedsHandleIdentifier() {
384 NeedsHandleIdentifier =
385 (isPoisoned() | hasMacroDefinition() | isCPlusPlusOperatorKeyword() |
386 isExtensionToken() | isFutureCompatKeyword() || isOutOfDate() ||
391 /// \brief An RAII object for [un]poisoning an identifier within a scope.
393 /// \p II is allowed to be null, in which case objects of this type have
395 class PoisonIdentifierRAIIObject {
396 IdentifierInfo *const II;
400 PoisonIdentifierRAIIObject(IdentifierInfo *II, bool NewValue)
401 : II(II), OldValue(II ? II->isPoisoned() : false) {
403 II->setIsPoisoned(NewValue);
406 ~PoisonIdentifierRAIIObject() {
408 II->setIsPoisoned(OldValue);
412 /// \brief An iterator that walks over all of the known identifiers
413 /// in the lookup table.
415 /// Since this iterator uses an abstract interface via virtual
416 /// functions, it uses an object-oriented interface rather than the
417 /// more standard C++ STL iterator interface. In this OO-style
418 /// iteration, the single function \c Next() provides dereference,
419 /// advance, and end-of-sequence checking in a single
420 /// operation. Subclasses of this iterator type will provide the
421 /// actual functionality.
422 class IdentifierIterator {
424 IdentifierIterator() = default;
427 IdentifierIterator(const IdentifierIterator &) = delete;
428 IdentifierIterator &operator=(const IdentifierIterator &) = delete;
430 virtual ~IdentifierIterator();
432 /// \brief Retrieve the next string in the identifier table and
433 /// advances the iterator for the following string.
435 /// \returns The next string in the identifier table. If there is
436 /// no such string, returns an empty \c StringRef.
437 virtual StringRef Next() = 0;
440 /// \brief Provides lookups to, and iteration over, IdentiferInfo objects.
441 class IdentifierInfoLookup {
443 virtual ~IdentifierInfoLookup();
445 /// \brief Return the IdentifierInfo for the specified named identifier.
447 /// Unlike the version in IdentifierTable, this returns a pointer instead
448 /// of a reference. If the pointer is null then the IdentifierInfo cannot
450 virtual IdentifierInfo* get(StringRef Name) = 0;
452 /// \brief Retrieve an iterator into the set of all identifiers
453 /// known to this identifier lookup source.
455 /// This routine provides access to all of the identifiers known to
456 /// the identifier lookup, allowing access to the contents of the
457 /// identifiers without introducing the overhead of constructing
458 /// IdentifierInfo objects for each.
460 /// \returns A new iterator into the set of known identifiers. The
461 /// caller is responsible for deleting this iterator.
462 virtual IdentifierIterator *getIdentifiers();
465 /// \brief Implements an efficient mapping from strings to IdentifierInfo nodes.
467 /// This has no other purpose, but this is an extremely performance-critical
468 /// piece of the code, as each occurrence of every identifier goes through
470 class IdentifierTable {
471 // Shark shows that using MallocAllocator is *much* slower than using this
473 typedef llvm::StringMap<IdentifierInfo*, llvm::BumpPtrAllocator> HashTableTy;
474 HashTableTy HashTable;
476 IdentifierInfoLookup* ExternalLookup;
479 /// \brief Create the identifier table, populating it with info about the
480 /// language keywords for the language specified by \p LangOpts.
481 IdentifierTable(const LangOptions &LangOpts,
482 IdentifierInfoLookup* externalLookup = nullptr);
484 /// \brief Set the external identifier lookup mechanism.
485 void setExternalIdentifierLookup(IdentifierInfoLookup *IILookup) {
486 ExternalLookup = IILookup;
489 /// \brief Retrieve the external identifier lookup object, if any.
490 IdentifierInfoLookup *getExternalIdentifierLookup() const {
491 return ExternalLookup;
494 llvm::BumpPtrAllocator& getAllocator() {
495 return HashTable.getAllocator();
498 /// \brief Return the identifier token info for the specified named
500 IdentifierInfo &get(StringRef Name) {
501 auto &Entry = *HashTable.insert(std::make_pair(Name, nullptr)).first;
503 IdentifierInfo *&II = Entry.second;
506 // No entry; if we have an external lookup, look there first.
507 if (ExternalLookup) {
508 II = ExternalLookup->get(Name);
513 // Lookups failed, make a new IdentifierInfo.
514 void *Mem = getAllocator().Allocate<IdentifierInfo>();
515 II = new (Mem) IdentifierInfo();
517 // Make sure getName() knows how to find the IdentifierInfo
524 IdentifierInfo &get(StringRef Name, tok::TokenKind TokenCode) {
525 IdentifierInfo &II = get(Name);
526 II.TokenID = TokenCode;
527 assert(II.TokenID == (unsigned) TokenCode && "TokenCode too large");
531 /// \brief Gets an IdentifierInfo for the given name without consulting
532 /// external sources.
534 /// This is a version of get() meant for external sources that want to
535 /// introduce or modify an identifier. If they called get(), they would
536 /// likely end up in a recursion.
537 IdentifierInfo &getOwn(StringRef Name) {
538 auto &Entry = *HashTable.insert(std::make_pair(Name, nullptr)).first;
540 IdentifierInfo *&II = Entry.second;
544 // Lookups failed, make a new IdentifierInfo.
545 void *Mem = getAllocator().Allocate<IdentifierInfo>();
546 II = new (Mem) IdentifierInfo();
548 // Make sure getName() knows how to find the IdentifierInfo
552 // If this is the 'import' contextual keyword, mark it as such.
553 if (Name.equals("import"))
554 II->setModulesImport(true);
559 typedef HashTableTy::const_iterator iterator;
560 typedef HashTableTy::const_iterator const_iterator;
562 iterator begin() const { return HashTable.begin(); }
563 iterator end() const { return HashTable.end(); }
564 unsigned size() const { return HashTable.size(); }
566 /// \brief Print some statistics to stderr that indicate how well the
567 /// hashing is doing.
568 void PrintStats() const;
570 void AddKeywords(const LangOptions &LangOpts);
573 /// \brief A family of Objective-C methods.
575 /// These families have no inherent meaning in the language, but are
576 /// nonetheless central enough in the existing implementations to
577 /// merit direct AST support. While, in theory, arbitrary methods can
578 /// be considered to form families, we focus here on the methods
579 /// involving allocation and retain-count management, as these are the
580 /// most "core" and the most likely to be useful to diverse clients
581 /// without extra information.
583 /// Both selectors and actual method declarations may be classified
584 /// into families. Method families may impose additional restrictions
585 /// beyond their selector name; for example, a method called '_init'
586 /// that returns void is not considered to be in the 'init' family
587 /// (but would be if it returned 'id'). It is also possible to
588 /// explicitly change or remove a method's family. Therefore the
589 /// method's family should be considered the single source of truth.
590 enum ObjCMethodFamily {
591 /// \brief No particular method family.
594 // Selectors in these families may have arbitrary arity, may be
595 // written with arbitrary leading underscores, and may have
596 // additional CamelCase "words" in their first selector chunk
597 // following the family name.
604 // These families are singletons consisting only of the nullary
605 // selector with the given name.
615 // performSelector families
619 /// Enough bits to store any enumerator in ObjCMethodFamily or
620 /// InvalidObjCMethodFamily.
621 enum { ObjCMethodFamilyBitWidth = 4 };
623 /// \brief An invalid value of ObjCMethodFamily.
624 enum { InvalidObjCMethodFamily = (1 << ObjCMethodFamilyBitWidth) - 1 };
626 /// \brief A family of Objective-C methods.
628 /// These are family of methods whose result type is initially 'id', but
629 /// but are candidate for the result type to be changed to 'instancetype'.
630 enum ObjCInstanceTypeFamily {
639 enum ObjCStringFormatFamily {
645 /// \brief Smart pointer class that efficiently represents Objective-C method
648 /// This class will either point to an IdentifierInfo or a
649 /// MultiKeywordSelector (which is private). This enables us to optimize
650 /// selectors that take no arguments and selectors that take 1 argument, which
651 /// accounts for 78% of all selectors in Cocoa.h.
653 friend class Diagnostic;
655 enum IdentifierInfoFlag {
656 // Empty selector = 0.
660 ArgFlags = ZeroArg|OneArg
662 uintptr_t InfoPtr; // a pointer to the MultiKeywordSelector or IdentifierInfo.
664 Selector(IdentifierInfo *II, unsigned nArgs) {
665 InfoPtr = reinterpret_cast<uintptr_t>(II);
666 assert((InfoPtr & ArgFlags) == 0 &&"Insufficiently aligned IdentifierInfo");
667 assert(nArgs < 2 && "nArgs not equal to 0/1");
670 Selector(MultiKeywordSelector *SI) {
671 InfoPtr = reinterpret_cast<uintptr_t>(SI);
672 assert((InfoPtr & ArgFlags) == 0 &&"Insufficiently aligned IdentifierInfo");
676 IdentifierInfo *getAsIdentifierInfo() const {
677 if (getIdentifierInfoFlag() < MultiArg)
678 return reinterpret_cast<IdentifierInfo *>(InfoPtr & ~ArgFlags);
682 MultiKeywordSelector *getMultiKeywordSelector() const {
683 return reinterpret_cast<MultiKeywordSelector *>(InfoPtr & ~ArgFlags);
686 unsigned getIdentifierInfoFlag() const {
687 return InfoPtr & ArgFlags;
690 static ObjCMethodFamily getMethodFamilyImpl(Selector sel);
692 static ObjCStringFormatFamily getStringFormatFamilyImpl(Selector sel);
695 friend class SelectorTable; // only the SelectorTable can create these
696 friend class DeclarationName; // and the AST's DeclarationName.
698 /// The default ctor should only be used when creating data structures that
699 /// will contain selectors.
700 Selector() : InfoPtr(0) {}
701 Selector(uintptr_t V) : InfoPtr(V) {}
703 /// operator==/!= - Indicate whether the specified selectors are identical.
704 bool operator==(Selector RHS) const {
705 return InfoPtr == RHS.InfoPtr;
707 bool operator!=(Selector RHS) const {
708 return InfoPtr != RHS.InfoPtr;
711 void *getAsOpaquePtr() const {
712 return reinterpret_cast<void*>(InfoPtr);
715 /// \brief Determine whether this is the empty selector.
716 bool isNull() const { return InfoPtr == 0; }
718 // Predicates to identify the selector type.
719 bool isKeywordSelector() const {
720 return getIdentifierInfoFlag() != ZeroArg;
723 bool isUnarySelector() const {
724 return getIdentifierInfoFlag() == ZeroArg;
727 unsigned getNumArgs() const;
729 /// \brief Retrieve the identifier at a given position in the selector.
731 /// Note that the identifier pointer returned may be NULL. Clients that only
732 /// care about the text of the identifier string, and not the specific,
733 /// uniqued identifier pointer, should use \c getNameForSlot(), which returns
734 /// an empty string when the identifier pointer would be NULL.
736 /// \param argIndex The index for which we want to retrieve the identifier.
737 /// This index shall be less than \c getNumArgs() unless this is a keyword
738 /// selector, in which case 0 is the only permissible value.
740 /// \returns the uniqued identifier for this slot, or NULL if this slot has
741 /// no corresponding identifier.
742 IdentifierInfo *getIdentifierInfoForSlot(unsigned argIndex) const;
744 /// \brief Retrieve the name at a given position in the selector.
746 /// \param argIndex The index for which we want to retrieve the name.
747 /// This index shall be less than \c getNumArgs() unless this is a keyword
748 /// selector, in which case 0 is the only permissible value.
750 /// \returns the name for this slot, which may be the empty string if no
751 /// name was supplied.
752 StringRef getNameForSlot(unsigned argIndex) const;
754 /// \brief Derive the full selector name (e.g. "foo:bar:") and return
755 /// it as an std::string.
756 std::string getAsString() const;
758 /// \brief Prints the full selector name (e.g. "foo:bar:").
759 void print(llvm::raw_ostream &OS) const;
761 /// \brief Derive the conventional family of this method.
762 ObjCMethodFamily getMethodFamily() const {
763 return getMethodFamilyImpl(*this);
766 ObjCStringFormatFamily getStringFormatFamily() const {
767 return getStringFormatFamilyImpl(*this);
770 static Selector getEmptyMarker() {
771 return Selector(uintptr_t(-1));
774 static Selector getTombstoneMarker() {
775 return Selector(uintptr_t(-2));
778 static ObjCInstanceTypeFamily getInstTypeMethodFamily(Selector sel);
781 /// \brief This table allows us to fully hide how we implement
782 /// multi-keyword caching.
783 class SelectorTable {
784 void *Impl; // Actually a SelectorTableImpl
788 SelectorTable(const SelectorTable &) = delete;
789 SelectorTable &operator=(const SelectorTable &) = delete;
792 /// \brief Can create any sort of selector.
794 /// \p NumArgs indicates whether this is a no argument selector "foo", a
795 /// single argument selector "foo:" or multi-argument "foo:bar:".
796 Selector getSelector(unsigned NumArgs, IdentifierInfo **IIV);
798 Selector getUnarySelector(IdentifierInfo *ID) {
799 return Selector(ID, 1);
801 Selector getNullarySelector(IdentifierInfo *ID) {
802 return Selector(ID, 0);
805 /// \brief Return the total amount of memory allocated for managing selectors.
806 size_t getTotalMemory() const;
808 /// \brief Return the default setter name for the given identifier.
810 /// This is "set" + \p Name where the initial character of \p Name
811 /// has been capitalized.
812 static SmallString<64> constructSetterName(StringRef Name);
814 /// \brief Return the default setter selector for the given identifier.
816 /// This is "set" + \p Name where the initial character of \p Name
817 /// has been capitalized.
818 static Selector constructSetterSelector(IdentifierTable &Idents,
819 SelectorTable &SelTable,
820 const IdentifierInfo *Name);
823 /// DeclarationNameExtra - Common base of the MultiKeywordSelector,
824 /// CXXSpecialName, and CXXOperatorIdName classes, all of which are
825 /// private classes that describe different kinds of names.
826 class DeclarationNameExtra {
828 /// ExtraKind - The kind of "extra" information stored in the
829 /// DeclarationName. See @c ExtraKindOrNumArgs for an explanation of
830 /// how these enumerator values are used.
834 CXXConversionFunction,
835 #define OVERLOADED_OPERATOR(Name,Spelling,Token,Unary,Binary,MemberOnly) \
837 #include "clang/Basic/OperatorKinds.def"
844 /// ExtraKindOrNumArgs - Either the kind of C++ special name or
845 /// operator-id (if the value is one of the CXX* enumerators of
846 /// ExtraKind), in which case the DeclarationNameExtra is also a
847 /// CXXSpecialName, (for CXXConstructor, CXXDestructor, or
848 /// CXXConversionFunction) CXXOperatorIdName, or CXXLiteralOperatorName,
849 /// it may be also name common to C++ using-directives (CXXUsingDirective),
850 /// otherwise it is NUM_EXTRA_KINDS+NumArgs, where NumArgs is the number of
851 /// arguments in the Objective-C selector, in which case the
852 /// DeclarationNameExtra is also a MultiKeywordSelector.
853 unsigned ExtraKindOrNumArgs;
856 } // end namespace clang
860 /// Define DenseMapInfo so that Selectors can be used as keys in DenseMap and
863 struct DenseMapInfo<clang::Selector> {
864 static inline clang::Selector getEmptyKey() {
865 return clang::Selector::getEmptyMarker();
868 static inline clang::Selector getTombstoneKey() {
869 return clang::Selector::getTombstoneMarker();
872 static unsigned getHashValue(clang::Selector S);
874 static bool isEqual(clang::Selector LHS, clang::Selector RHS) {
880 struct isPodLike<clang::Selector> { static const bool value = true; };
882 template <typename T> class PointerLikeTypeTraits;
885 class PointerLikeTypeTraits<clang::Selector> {
887 static inline const void *getAsVoidPointer(clang::Selector P) {
888 return P.getAsOpaquePtr();
891 static inline clang::Selector getFromVoidPointer(const void *P) {
892 return clang::Selector(reinterpret_cast<uintptr_t>(P));
895 enum { NumLowBitsAvailable = 0 };
898 // Provide PointerLikeTypeTraits for IdentifierInfo pointers, which
899 // are not guaranteed to be 8-byte aligned.
901 class PointerLikeTypeTraits<clang::IdentifierInfo*> {
903 static inline void *getAsVoidPointer(clang::IdentifierInfo* P) {
907 static inline clang::IdentifierInfo *getFromVoidPointer(void *P) {
908 return static_cast<clang::IdentifierInfo*>(P);
911 enum { NumLowBitsAvailable = 1 };
915 class PointerLikeTypeTraits<const clang::IdentifierInfo*> {
917 static inline const void *getAsVoidPointer(const clang::IdentifierInfo* P) {
921 static inline const clang::IdentifierInfo *getFromVoidPointer(const void *P) {
922 return static_cast<const clang::IdentifierInfo*>(P);
925 enum { NumLowBitsAvailable = 1 };
928 } // end namespace llvm
930 #endif // LLVM_CLANG_BASIC_IDENTIFIERTABLE_H