1d5a2a073SDaniel Dunbar //===- CIndexCodeCompletion.cpp - Code Completion API hooks ---------------===// 2d5a2a073SDaniel Dunbar // 3d5a2a073SDaniel Dunbar // The LLVM Compiler Infrastructure 4d5a2a073SDaniel Dunbar // 5d5a2a073SDaniel Dunbar // This file is distributed under the University of Illinois Open Source 6d5a2a073SDaniel Dunbar // License. See LICENSE.TXT for details. 7d5a2a073SDaniel Dunbar // 8d5a2a073SDaniel Dunbar //===----------------------------------------------------------------------===// 9d5a2a073SDaniel Dunbar // 10d5a2a073SDaniel Dunbar // This file implements the Clang-C Source Indexing library hooks for 11d5a2a073SDaniel Dunbar // code completion. 12d5a2a073SDaniel Dunbar // 13d5a2a073SDaniel Dunbar //===----------------------------------------------------------------------===// 14d5a2a073SDaniel Dunbar 15d5a2a073SDaniel Dunbar #include "CIndexer.h" 16cc0694c8SChandler Carruth #include "CIndexDiagnostic.h" 174b41745eSChandler Carruth #include "CLog.h" 1863745d59SDouglas Gregor #include "CXCursor.h" 195b8ad406STed Kremenek #include "CXString.h" 20cc0694c8SChandler Carruth #include "CXTranslationUnit.h" 2163745d59SDouglas Gregor #include "clang/AST/Decl.h" 2263745d59SDouglas Gregor #include "clang/AST/DeclObjC.h" 23cc0694c8SChandler Carruth #include "clang/AST/Type.h" 24d5a2a073SDaniel Dunbar #include "clang/Basic/FileManager.h" 25cc0694c8SChandler Carruth #include "clang/Basic/SourceManager.h" 268e984da8SDouglas Gregor #include "clang/Frontend/ASTUnit.h" 27d5a2a073SDaniel Dunbar #include "clang/Frontend/CompilerInstance.h" 28d5a2a073SDaniel Dunbar #include "clang/Frontend/FrontendDiagnostic.h" 29d5a2a073SDaniel Dunbar #include "clang/Sema/CodeCompleteConsumer.h" 300a4e61f8SDavid Blaikie #include "clang/Sema/Sema.h" 31028d3e4dSDouglas Gregor #include "llvm/ADT/SmallString.h" 32d5a2a073SDaniel Dunbar #include "llvm/ADT/StringExtras.h" 3377af1c56SDaniel Dunbar #include "llvm/Support/CrashRecoveryContext.h" 34b34c1fdfSRafael Espindola #include "llvm/Support/FileSystem.h" 35690f0e2fSAlex Lorenz #include "llvm/Support/FormatVariadic.h" 36d5a2a073SDaniel Dunbar #include "llvm/Support/MemoryBuffer.h" 37cc0694c8SChandler Carruth #include "llvm/Support/Program.h" 38028d3e4dSDouglas Gregor #include "llvm/Support/Timer.h" 39028d3e4dSDouglas Gregor #include "llvm/Support/raw_ostream.h" 404527fb2fSBenjamin Kramer #include <atomic> 41d6009ffbSDouglas Gregor #include <cstdio> 42cc0694c8SChandler Carruth #include <cstdlib> 430b62f8a6SDmitri Gribenko #include <string> 44d5a2a073SDaniel Dunbar 45028d3e4dSDouglas Gregor 46d5a2a073SDaniel Dunbar #ifdef UDP_CODE_COMPLETION_LOGGER 47d5a2a073SDaniel Dunbar #include "clang/Basic/Version.h" 48d5a2a073SDaniel Dunbar #include <arpa/inet.h> 49d5a2a073SDaniel Dunbar #include <sys/socket.h> 50d5a2a073SDaniel Dunbar #include <sys/types.h> 51d5a2a073SDaniel Dunbar #include <unistd.h> 52d5a2a073SDaniel Dunbar #endif 53d5a2a073SDaniel Dunbar 54d5a2a073SDaniel Dunbar using namespace clang; 55ea474358SArgyrios Kyrtzidis using namespace clang::cxindex; 56d5a2a073SDaniel Dunbar 57d5a2a073SDaniel Dunbar enum CXCompletionChunkKind 58d5a2a073SDaniel Dunbar clang_getCompletionChunkKind(CXCompletionString completion_string, 59d5a2a073SDaniel Dunbar unsigned chunk_number) { 60b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 61d5a2a073SDaniel Dunbar if (!CCStr || chunk_number >= CCStr->size()) 62d5a2a073SDaniel Dunbar return CXCompletionChunk_Text; 63d5a2a073SDaniel Dunbar 64d5a2a073SDaniel Dunbar switch ((*CCStr)[chunk_number].Kind) { 65d5a2a073SDaniel Dunbar case CodeCompletionString::CK_TypedText: 66d5a2a073SDaniel Dunbar return CXCompletionChunk_TypedText; 67d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Text: 68d5a2a073SDaniel Dunbar return CXCompletionChunk_Text; 69d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Optional: 70d5a2a073SDaniel Dunbar return CXCompletionChunk_Optional; 71d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Placeholder: 72d5a2a073SDaniel Dunbar return CXCompletionChunk_Placeholder; 73d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Informative: 74d5a2a073SDaniel Dunbar return CXCompletionChunk_Informative; 75d5a2a073SDaniel Dunbar case CodeCompletionString::CK_ResultType: 76d5a2a073SDaniel Dunbar return CXCompletionChunk_ResultType; 77d5a2a073SDaniel Dunbar case CodeCompletionString::CK_CurrentParameter: 78d5a2a073SDaniel Dunbar return CXCompletionChunk_CurrentParameter; 79d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftParen: 80d5a2a073SDaniel Dunbar return CXCompletionChunk_LeftParen; 81d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightParen: 82d5a2a073SDaniel Dunbar return CXCompletionChunk_RightParen; 83d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBracket: 84d5a2a073SDaniel Dunbar return CXCompletionChunk_LeftBracket; 85d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBracket: 86d5a2a073SDaniel Dunbar return CXCompletionChunk_RightBracket; 87d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBrace: 88d5a2a073SDaniel Dunbar return CXCompletionChunk_LeftBrace; 89d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBrace: 90d5a2a073SDaniel Dunbar return CXCompletionChunk_RightBrace; 91d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftAngle: 92d5a2a073SDaniel Dunbar return CXCompletionChunk_LeftAngle; 93d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightAngle: 94d5a2a073SDaniel Dunbar return CXCompletionChunk_RightAngle; 95d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Comma: 96d5a2a073SDaniel Dunbar return CXCompletionChunk_Comma; 97d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Colon: 98d5a2a073SDaniel Dunbar return CXCompletionChunk_Colon; 99d5a2a073SDaniel Dunbar case CodeCompletionString::CK_SemiColon: 100d5a2a073SDaniel Dunbar return CXCompletionChunk_SemiColon; 101d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Equal: 102d5a2a073SDaniel Dunbar return CXCompletionChunk_Equal; 103d5a2a073SDaniel Dunbar case CodeCompletionString::CK_HorizontalSpace: 104d5a2a073SDaniel Dunbar return CXCompletionChunk_HorizontalSpace; 105d5a2a073SDaniel Dunbar case CodeCompletionString::CK_VerticalSpace: 106d5a2a073SDaniel Dunbar return CXCompletionChunk_VerticalSpace; 107d5a2a073SDaniel Dunbar } 108d5a2a073SDaniel Dunbar 1098a40f700SDavid Blaikie llvm_unreachable("Invalid CompletionKind!"); 110d5a2a073SDaniel Dunbar } 111d5a2a073SDaniel Dunbar 112d5a2a073SDaniel Dunbar CXString clang_getCompletionChunkText(CXCompletionString completion_string, 113d5a2a073SDaniel Dunbar unsigned chunk_number) { 114b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 115d5a2a073SDaniel Dunbar if (!CCStr || chunk_number >= CCStr->size()) 116f98dfbaeSDmitri Gribenko return cxstring::createNull(); 117d5a2a073SDaniel Dunbar 118d5a2a073SDaniel Dunbar switch ((*CCStr)[chunk_number].Kind) { 119d5a2a073SDaniel Dunbar case CodeCompletionString::CK_TypedText: 120d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Text: 121d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Placeholder: 122d5a2a073SDaniel Dunbar case CodeCompletionString::CK_CurrentParameter: 123d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Informative: 124d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftParen: 125d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightParen: 126d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBracket: 127d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBracket: 128d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBrace: 129d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBrace: 130d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftAngle: 131d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightAngle: 132d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Comma: 133d5a2a073SDaniel Dunbar case CodeCompletionString::CK_ResultType: 134d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Colon: 135d5a2a073SDaniel Dunbar case CodeCompletionString::CK_SemiColon: 136d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Equal: 137d5a2a073SDaniel Dunbar case CodeCompletionString::CK_HorizontalSpace: 13809737ee8SDouglas Gregor case CodeCompletionString::CK_VerticalSpace: 1393c66b0beSDmitri Gribenko return cxstring::createRef((*CCStr)[chunk_number].Text); 14009737ee8SDouglas Gregor 141d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Optional: 142d5a2a073SDaniel Dunbar // Note: treated as an empty text block. 14336a6dd04SDmitri Gribenko return cxstring::createEmpty(); 144d5a2a073SDaniel Dunbar } 145d5a2a073SDaniel Dunbar 146e4d798f0SDavid Blaikie llvm_unreachable("Invalid CodeCompletionString Kind!"); 147d5a2a073SDaniel Dunbar } 148d5a2a073SDaniel Dunbar 149d5a2a073SDaniel Dunbar 150d5a2a073SDaniel Dunbar CXCompletionString 151d5a2a073SDaniel Dunbar clang_getCompletionChunkCompletionString(CXCompletionString completion_string, 152d5a2a073SDaniel Dunbar unsigned chunk_number) { 153b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 154d5a2a073SDaniel Dunbar if (!CCStr || chunk_number >= CCStr->size()) 15569186e73SCraig Topper return nullptr; 156d5a2a073SDaniel Dunbar 157d5a2a073SDaniel Dunbar switch ((*CCStr)[chunk_number].Kind) { 158d5a2a073SDaniel Dunbar case CodeCompletionString::CK_TypedText: 159d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Text: 160d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Placeholder: 161d5a2a073SDaniel Dunbar case CodeCompletionString::CK_CurrentParameter: 162d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Informative: 163d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftParen: 164d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightParen: 165d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBracket: 166d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBracket: 167d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBrace: 168d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBrace: 169d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftAngle: 170d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightAngle: 171d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Comma: 172d5a2a073SDaniel Dunbar case CodeCompletionString::CK_ResultType: 173d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Colon: 174d5a2a073SDaniel Dunbar case CodeCompletionString::CK_SemiColon: 175d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Equal: 176d5a2a073SDaniel Dunbar case CodeCompletionString::CK_HorizontalSpace: 177d5a2a073SDaniel Dunbar case CodeCompletionString::CK_VerticalSpace: 17869186e73SCraig Topper return nullptr; 179d5a2a073SDaniel Dunbar 180d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Optional: 181d5a2a073SDaniel Dunbar // Note: treated as an empty text block. 182d5a2a073SDaniel Dunbar return (*CCStr)[chunk_number].Optional; 183d5a2a073SDaniel Dunbar } 184d5a2a073SDaniel Dunbar 1858a40f700SDavid Blaikie llvm_unreachable("Invalid CompletionKind!"); 186d5a2a073SDaniel Dunbar } 187d5a2a073SDaniel Dunbar 188d5a2a073SDaniel Dunbar unsigned clang_getNumCompletionChunks(CXCompletionString completion_string) { 189b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 190d5a2a073SDaniel Dunbar return CCStr? CCStr->size() : 0; 191d5a2a073SDaniel Dunbar } 192d5a2a073SDaniel Dunbar 193a2db793fSDouglas Gregor unsigned clang_getCompletionPriority(CXCompletionString completion_string) { 194b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 19547bb3e2bSBill Wendling return CCStr? CCStr->getPriority() : unsigned(CCP_Unlikely); 196a2db793fSDouglas Gregor } 197a2db793fSDouglas Gregor 198f757a12dSDouglas Gregor enum CXAvailabilityKind 199f757a12dSDouglas Gregor clang_getCompletionAvailability(CXCompletionString completion_string) { 200b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 201b278aafbSDouglas Gregor return CCStr? static_cast<CXAvailabilityKind>(CCStr->getAvailability()) 202b278aafbSDouglas Gregor : CXAvailability_Available; 203f757a12dSDouglas Gregor } 204f757a12dSDouglas Gregor 20598ea7f67SErik Verbruggen unsigned clang_getCompletionNumAnnotations(CXCompletionString completion_string) 20698ea7f67SErik Verbruggen { 20798ea7f67SErik Verbruggen CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 20898ea7f67SErik Verbruggen return CCStr ? CCStr->getAnnotationCount() : 0; 20998ea7f67SErik Verbruggen } 21098ea7f67SErik Verbruggen 21198ea7f67SErik Verbruggen CXString clang_getCompletionAnnotation(CXCompletionString completion_string, 21298ea7f67SErik Verbruggen unsigned annotation_number) { 21398ea7f67SErik Verbruggen CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 2143c66b0beSDmitri Gribenko return CCStr ? cxstring::createRef(CCStr->getAnnotation(annotation_number)) 215f98dfbaeSDmitri Gribenko : cxstring::createNull(); 21698ea7f67SErik Verbruggen } 21798ea7f67SErik Verbruggen 21878254c88SDouglas Gregor CXString 21978254c88SDouglas Gregor clang_getCompletionParent(CXCompletionString completion_string, 22078254c88SDouglas Gregor CXCursorKind *kind) { 22178254c88SDouglas Gregor if (kind) 22278254c88SDouglas Gregor *kind = CXCursor_NotImplemented; 22378254c88SDouglas Gregor 22478254c88SDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 22578254c88SDouglas Gregor if (!CCStr) 226f98dfbaeSDmitri Gribenko return cxstring::createNull(); 22778254c88SDouglas Gregor 2282f23e9c5SDmitri Gribenko return cxstring::createRef(CCStr->getParentContextName()); 22978254c88SDouglas Gregor } 23098ea7f67SErik Verbruggen 2313292d06aSDmitri Gribenko CXString 2323292d06aSDmitri Gribenko clang_getCompletionBriefComment(CXCompletionString completion_string) { 2333292d06aSDmitri Gribenko CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 2343292d06aSDmitri Gribenko 2353292d06aSDmitri Gribenko if (!CCStr) 236f98dfbaeSDmitri Gribenko return cxstring::createNull(); 2373292d06aSDmitri Gribenko 2383c66b0beSDmitri Gribenko return cxstring::createRef(CCStr->getBriefComment()); 2393292d06aSDmitri Gribenko } 2403292d06aSDmitri Gribenko 241ba4c85e5SBenjamin Kramer namespace { 2423292d06aSDmitri Gribenko 243d5a2a073SDaniel Dunbar /// \brief The CXCodeCompleteResults structure we allocate internally; 244d5a2a073SDaniel Dunbar /// the client only sees the initial CXCodeCompleteResults structure. 2450b62f8a6SDmitri Gribenko /// 2460b62f8a6SDmitri Gribenko /// Normally, clients of CXString shouldn't care whether or not a CXString is 2470b62f8a6SDmitri Gribenko /// managed by a pool or by explicitly malloc'ed memory. But 2480b62f8a6SDmitri Gribenko /// AllocatedCXCodeCompleteResults outlives the CXTranslationUnit, so we can 2490b62f8a6SDmitri Gribenko /// not rely on the StringPool in the TU. 250d5a2a073SDaniel Dunbar struct AllocatedCXCodeCompleteResults : public CXCodeCompleteResults { 2518832c066SBen Langmuir AllocatedCXCodeCompleteResults(IntrusiveRefCntPtr<FileManager> FileMgr); 252d5a2a073SDaniel Dunbar ~AllocatedCXCodeCompleteResults(); 253d5a2a073SDaniel Dunbar 254d5a2a073SDaniel Dunbar /// \brief Diagnostics produced while performing code completion. 2550e62c1ccSChris Lattner SmallVector<StoredDiagnostic, 8> Diagnostics; 256d5a2a073SDaniel Dunbar 2577dd96c23SNico Weber /// \brief Allocated API-exposed wrappters for Diagnostics. 2587dd96c23SNico Weber SmallVector<CXStoredDiagnostic *, 8> DiagnosticsWrappers; 2597dd96c23SNico Weber 260811db4eaSDouglas Gregor IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts; 261811db4eaSDouglas Gregor 262d5a2a073SDaniel Dunbar /// \brief Diag object 263c95d8192SDylan Noblesmith IntrusiveRefCntPtr<DiagnosticsEngine> Diag; 264d5a2a073SDaniel Dunbar 265d5a2a073SDaniel Dunbar /// \brief Language options used to adjust source locations. 266d5a2a073SDaniel Dunbar LangOptions LangOpts; 267d5a2a073SDaniel Dunbar 268d5a2a073SDaniel Dunbar /// \brief File manager, used for diagnostics. 269c95d8192SDylan Noblesmith IntrusiveRefCntPtr<FileManager> FileMgr; 270d5a2a073SDaniel Dunbar 27171731d6bSArgyrios Kyrtzidis /// \brief Source manager, used for diagnostics. 272c95d8192SDylan Noblesmith IntrusiveRefCntPtr<SourceManager> SourceMgr; 27371731d6bSArgyrios Kyrtzidis 2743f5a9efbSChris Lattner /// \brief Temporary buffers that will be deleted once we have finished with 2753f5a9efbSChris Lattner /// the code-completion results. 2760e62c1ccSChris Lattner SmallVector<const llvm::MemoryBuffer *, 1> TemporaryBuffers; 277b278aafbSDouglas Gregor 278162b712dSDouglas Gregor /// \brief Allocator used to store globally cached code-completion results. 279ea4395ebSDavid Blaikie std::shared_ptr<clang::GlobalCodeCompletionAllocator> 280162b712dSDouglas Gregor CachedCompletionAllocator; 281162b712dSDouglas Gregor 282b278aafbSDouglas Gregor /// \brief Allocator used to store code completion results. 283ea4395ebSDavid Blaikie std::shared_ptr<clang::GlobalCodeCompletionAllocator> CodeCompletionAllocator; 2842132584dSDouglas Gregor 2852132584dSDouglas Gregor /// \brief Context under which completion occurred. 2862132584dSDouglas Gregor enum clang::CodeCompletionContext::Kind ContextKind; 2872132584dSDouglas Gregor 2882132584dSDouglas Gregor /// \brief A bitfield representing the acceptable completions for the 2892132584dSDouglas Gregor /// current context. 2902132584dSDouglas Gregor unsigned long long Contexts; 29163745d59SDouglas Gregor 292ea777403SDouglas Gregor /// \brief The kind of the container for the current context for completions. 29363745d59SDouglas Gregor enum CXCursorKind ContainerKind; 2940b62f8a6SDmitri Gribenko 295ea777403SDouglas Gregor /// \brief The USR of the container for the current context for completions. 2960b62f8a6SDmitri Gribenko std::string ContainerUSR; 2970b62f8a6SDmitri Gribenko 298ea777403SDouglas Gregor /// \brief a boolean value indicating whether there is complete information 299ea777403SDouglas Gregor /// about the container 30063745d59SDouglas Gregor unsigned ContainerIsIncomplete; 301ea777403SDouglas Gregor 302ea777403SDouglas Gregor /// \brief A string containing the Objective-C selector entered thus far for a 303ea777403SDouglas Gregor /// message send. 304ea777403SDouglas Gregor std::string Selector; 305d5a2a073SDaniel Dunbar }; 306d5a2a073SDaniel Dunbar 307ba4c85e5SBenjamin Kramer } // end anonymous namespace 308ba4c85e5SBenjamin Kramer 30968dbaeadSDouglas Gregor /// \brief Tracks the number of code-completion result objects that are 31068dbaeadSDouglas Gregor /// currently active. 31168dbaeadSDouglas Gregor /// 31268dbaeadSDouglas Gregor /// Used for debugging purposes only. 3134527fb2fSBenjamin Kramer static std::atomic<unsigned> CodeCompletionResultObjects; 31468dbaeadSDouglas Gregor 315c30dcecbSAnders Carlsson AllocatedCXCodeCompleteResults::AllocatedCXCodeCompleteResults( 3168832c066SBen Langmuir IntrusiveRefCntPtr<FileManager> FileMgr) 317ea4395ebSDavid Blaikie : CXCodeCompleteResults(), DiagOpts(new DiagnosticOptions), 3189c902b55SDavid Blaikie Diag(new DiagnosticsEngine( 3198832c066SBen Langmuir IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs), &*DiagOpts)), 320f6021ecdSBenjamin Kramer FileMgr(std::move(FileMgr)), 321f6021ecdSBenjamin Kramer SourceMgr(new SourceManager(*Diag, *this->FileMgr)), 322ea4395ebSDavid Blaikie CodeCompletionAllocator( 323ea4395ebSDavid Blaikie std::make_shared<clang::GlobalCodeCompletionAllocator>()), 324e442fe3dSDouglas Gregor Contexts(CXCompletionContext_Unknown), 3258832c066SBen Langmuir ContainerKind(CXCursor_InvalidCode), ContainerIsIncomplete(1) { 3264527fb2fSBenjamin Kramer if (getenv("LIBCLANG_OBJTRACKING")) 3274527fb2fSBenjamin Kramer fprintf(stderr, "+++ %u completion results\n", 3284527fb2fSBenjamin Kramer ++CodeCompletionResultObjects); 32968dbaeadSDouglas Gregor } 330d5a2a073SDaniel Dunbar 331d5a2a073SDaniel Dunbar AllocatedCXCodeCompleteResults::~AllocatedCXCodeCompleteResults() { 3327dd96c23SNico Weber llvm::DeleteContainerPointers(DiagnosticsWrappers); 333d5a2a073SDaniel Dunbar delete [] Results; 334d5a2a073SDaniel Dunbar 335d8a5dba9SDouglas Gregor for (unsigned I = 0, N = TemporaryBuffers.size(); I != N; ++I) 336d8a5dba9SDouglas Gregor delete TemporaryBuffers[I]; 33768dbaeadSDouglas Gregor 3384527fb2fSBenjamin Kramer if (getenv("LIBCLANG_OBJTRACKING")) 3394527fb2fSBenjamin Kramer fprintf(stderr, "--- %u completion results\n", 3404527fb2fSBenjamin Kramer --CodeCompletionResultObjects); 341d5a2a073SDaniel Dunbar } 342d5a2a073SDaniel Dunbar 3432132584dSDouglas Gregor static unsigned long long getContextsForContextKind( 3442132584dSDouglas Gregor enum CodeCompletionContext::Kind kind, 3452132584dSDouglas Gregor Sema &S) { 3462132584dSDouglas Gregor unsigned long long contexts = 0; 3472132584dSDouglas Gregor switch (kind) { 3482132584dSDouglas Gregor case CodeCompletionContext::CCC_OtherWithMacros: { 3492132584dSDouglas Gregor //We can allow macros here, but we don't know what else is permissible 3502132584dSDouglas Gregor //So we'll say the only thing permissible are macros 3512132584dSDouglas Gregor contexts = CXCompletionContext_MacroName; 3522132584dSDouglas Gregor break; 3532132584dSDouglas Gregor } 3542132584dSDouglas Gregor case CodeCompletionContext::CCC_TopLevel: 3552132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCIvarList: 3562132584dSDouglas Gregor case CodeCompletionContext::CCC_ClassStructUnion: 3572132584dSDouglas Gregor case CodeCompletionContext::CCC_Type: { 3582132584dSDouglas Gregor contexts = CXCompletionContext_AnyType | 3592132584dSDouglas Gregor CXCompletionContext_ObjCInterface; 360bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 3612132584dSDouglas Gregor contexts |= CXCompletionContext_EnumTag | 3622132584dSDouglas Gregor CXCompletionContext_UnionTag | 3632132584dSDouglas Gregor CXCompletionContext_StructTag | 3642132584dSDouglas Gregor CXCompletionContext_ClassTag | 3652132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 3662132584dSDouglas Gregor } 3672132584dSDouglas Gregor break; 3682132584dSDouglas Gregor } 3692132584dSDouglas Gregor case CodeCompletionContext::CCC_Statement: { 3702132584dSDouglas Gregor contexts = CXCompletionContext_AnyType | 3712132584dSDouglas Gregor CXCompletionContext_ObjCInterface | 3722132584dSDouglas Gregor CXCompletionContext_AnyValue; 373bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 3742132584dSDouglas Gregor contexts |= CXCompletionContext_EnumTag | 3752132584dSDouglas Gregor CXCompletionContext_UnionTag | 3762132584dSDouglas Gregor CXCompletionContext_StructTag | 3772132584dSDouglas Gregor CXCompletionContext_ClassTag | 3782132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 3792132584dSDouglas Gregor } 3802132584dSDouglas Gregor break; 3812132584dSDouglas Gregor } 3822132584dSDouglas Gregor case CodeCompletionContext::CCC_Expression: { 3832132584dSDouglas Gregor contexts = CXCompletionContext_AnyValue; 384bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 3852132584dSDouglas Gregor contexts |= CXCompletionContext_AnyType | 3862132584dSDouglas Gregor CXCompletionContext_ObjCInterface | 3872132584dSDouglas Gregor CXCompletionContext_EnumTag | 3882132584dSDouglas Gregor CXCompletionContext_UnionTag | 3892132584dSDouglas Gregor CXCompletionContext_StructTag | 3902132584dSDouglas Gregor CXCompletionContext_ClassTag | 3912132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 3922132584dSDouglas Gregor } 3932132584dSDouglas Gregor break; 3942132584dSDouglas Gregor } 3952132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCMessageReceiver: { 3962132584dSDouglas Gregor contexts = CXCompletionContext_ObjCObjectValue | 3972132584dSDouglas Gregor CXCompletionContext_ObjCSelectorValue | 3982132584dSDouglas Gregor CXCompletionContext_ObjCInterface; 399bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 4002132584dSDouglas Gregor contexts |= CXCompletionContext_CXXClassTypeValue | 4012132584dSDouglas Gregor CXCompletionContext_AnyType | 4022132584dSDouglas Gregor CXCompletionContext_EnumTag | 4032132584dSDouglas Gregor CXCompletionContext_UnionTag | 4042132584dSDouglas Gregor CXCompletionContext_StructTag | 4052132584dSDouglas Gregor CXCompletionContext_ClassTag | 4062132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4072132584dSDouglas Gregor } 4082132584dSDouglas Gregor break; 4092132584dSDouglas Gregor } 4102132584dSDouglas Gregor case CodeCompletionContext::CCC_DotMemberAccess: { 4112132584dSDouglas Gregor contexts = CXCompletionContext_DotMemberAccess; 4122132584dSDouglas Gregor break; 4132132584dSDouglas Gregor } 4142132584dSDouglas Gregor case CodeCompletionContext::CCC_ArrowMemberAccess: { 4152132584dSDouglas Gregor contexts = CXCompletionContext_ArrowMemberAccess; 4162132584dSDouglas Gregor break; 4172132584dSDouglas Gregor } 4182132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCPropertyAccess: { 4192132584dSDouglas Gregor contexts = CXCompletionContext_ObjCPropertyAccess; 4202132584dSDouglas Gregor break; 4212132584dSDouglas Gregor } 4222132584dSDouglas Gregor case CodeCompletionContext::CCC_EnumTag: { 4232132584dSDouglas Gregor contexts = CXCompletionContext_EnumTag | 4242132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4252132584dSDouglas Gregor break; 4262132584dSDouglas Gregor } 4272132584dSDouglas Gregor case CodeCompletionContext::CCC_UnionTag: { 4282132584dSDouglas Gregor contexts = CXCompletionContext_UnionTag | 4292132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4302132584dSDouglas Gregor break; 4312132584dSDouglas Gregor } 4322132584dSDouglas Gregor case CodeCompletionContext::CCC_ClassOrStructTag: { 4332132584dSDouglas Gregor contexts = CXCompletionContext_StructTag | 4342132584dSDouglas Gregor CXCompletionContext_ClassTag | 4352132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4362132584dSDouglas Gregor break; 4372132584dSDouglas Gregor } 4382132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCProtocolName: { 4392132584dSDouglas Gregor contexts = CXCompletionContext_ObjCProtocol; 4402132584dSDouglas Gregor break; 4412132584dSDouglas Gregor } 4422132584dSDouglas Gregor case CodeCompletionContext::CCC_Namespace: { 4432132584dSDouglas Gregor contexts = CXCompletionContext_Namespace; 4442132584dSDouglas Gregor break; 4452132584dSDouglas Gregor } 4462132584dSDouglas Gregor case CodeCompletionContext::CCC_PotentiallyQualifiedName: { 4472132584dSDouglas Gregor contexts = CXCompletionContext_NestedNameSpecifier; 4482132584dSDouglas Gregor break; 4492132584dSDouglas Gregor } 4502132584dSDouglas Gregor case CodeCompletionContext::CCC_MacroNameUse: { 4512132584dSDouglas Gregor contexts = CXCompletionContext_MacroName; 4522132584dSDouglas Gregor break; 4532132584dSDouglas Gregor } 4542132584dSDouglas Gregor case CodeCompletionContext::CCC_NaturalLanguage: { 4552132584dSDouglas Gregor contexts = CXCompletionContext_NaturalLanguage; 4562132584dSDouglas Gregor break; 4572132584dSDouglas Gregor } 4582132584dSDouglas Gregor case CodeCompletionContext::CCC_SelectorName: { 4592132584dSDouglas Gregor contexts = CXCompletionContext_ObjCSelectorName; 4602132584dSDouglas Gregor break; 4612132584dSDouglas Gregor } 4622132584dSDouglas Gregor case CodeCompletionContext::CCC_ParenthesizedExpression: { 4632132584dSDouglas Gregor contexts = CXCompletionContext_AnyType | 4642132584dSDouglas Gregor CXCompletionContext_ObjCInterface | 4652132584dSDouglas Gregor CXCompletionContext_AnyValue; 466bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 4672132584dSDouglas Gregor contexts |= CXCompletionContext_EnumTag | 4682132584dSDouglas Gregor CXCompletionContext_UnionTag | 4692132584dSDouglas Gregor CXCompletionContext_StructTag | 4702132584dSDouglas Gregor CXCompletionContext_ClassTag | 4712132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4722132584dSDouglas Gregor } 4732132584dSDouglas Gregor break; 4742132584dSDouglas Gregor } 4752132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCInstanceMessage: { 4762132584dSDouglas Gregor contexts = CXCompletionContext_ObjCInstanceMessage; 4772132584dSDouglas Gregor break; 4782132584dSDouglas Gregor } 4792132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCClassMessage: { 4802132584dSDouglas Gregor contexts = CXCompletionContext_ObjCClassMessage; 4812132584dSDouglas Gregor break; 4822132584dSDouglas Gregor } 4832c595adfSDouglas Gregor case CodeCompletionContext::CCC_ObjCInterfaceName: { 4842132584dSDouglas Gregor contexts = CXCompletionContext_ObjCInterface; 4852132584dSDouglas Gregor break; 4862132584dSDouglas Gregor } 4872132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCCategoryName: { 4882132584dSDouglas Gregor contexts = CXCompletionContext_ObjCCategory; 4892132584dSDouglas Gregor break; 4902132584dSDouglas Gregor } 4912132584dSDouglas Gregor case CodeCompletionContext::CCC_Other: 4922132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCInterface: 4932132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCImplementation: 4942132584dSDouglas Gregor case CodeCompletionContext::CCC_Name: 4952132584dSDouglas Gregor case CodeCompletionContext::CCC_MacroName: 4962132584dSDouglas Gregor case CodeCompletionContext::CCC_PreprocessorExpression: 4972132584dSDouglas Gregor case CodeCompletionContext::CCC_PreprocessorDirective: 4982132584dSDouglas Gregor case CodeCompletionContext::CCC_TypeQualifiers: { 4992132584dSDouglas Gregor //Only Clang results should be accepted, so we'll set all of the other 5002132584dSDouglas Gregor //context bits to 0 (i.e. the empty set) 5012132584dSDouglas Gregor contexts = CXCompletionContext_Unexposed; 5022132584dSDouglas Gregor break; 5032132584dSDouglas Gregor } 5042132584dSDouglas Gregor case CodeCompletionContext::CCC_Recovery: { 5052132584dSDouglas Gregor //We don't know what the current context is, so we'll return unknown 5062132584dSDouglas Gregor //This is the equivalent of setting all of the other context bits 5072132584dSDouglas Gregor contexts = CXCompletionContext_Unknown; 5082132584dSDouglas Gregor break; 5092132584dSDouglas Gregor } 5102132584dSDouglas Gregor } 5112132584dSDouglas Gregor return contexts; 5122132584dSDouglas Gregor } 5132132584dSDouglas Gregor 5148e984da8SDouglas Gregor namespace { 5158e984da8SDouglas Gregor class CaptureCompletionResults : public CodeCompleteConsumer { 5168e984da8SDouglas Gregor AllocatedCXCodeCompleteResults &AllocatedResults; 5179d7c0fefSArgyrios Kyrtzidis CodeCompletionTUInfo CCTUInfo; 5180e62c1ccSChris Lattner SmallVector<CXCompletionResult, 16> StoredResults; 51963745d59SDouglas Gregor CXTranslationUnit *TU; 5208e984da8SDouglas Gregor public: 5213292d06aSDmitri Gribenko CaptureCompletionResults(const CodeCompleteOptions &Opts, 5223292d06aSDmitri Gribenko AllocatedCXCodeCompleteResults &Results, 52363745d59SDouglas Gregor CXTranslationUnit *TranslationUnit) 5243292d06aSDmitri Gribenko : CodeCompleteConsumer(Opts, false), 5259d7c0fefSArgyrios Kyrtzidis AllocatedResults(Results), CCTUInfo(Results.CodeCompletionAllocator), 5269d7c0fefSArgyrios Kyrtzidis TU(TranslationUnit) { } 52734eb2072SAlexander Kornienko ~CaptureCompletionResults() override { Finish(); } 5288e984da8SDouglas Gregor 52936835568SCraig Topper void ProcessCodeCompleteResults(Sema &S, 53000c37ef0SDouglas Gregor CodeCompletionContext Context, 531276321a9SJohn McCall CodeCompletionResult *Results, 53236835568SCraig Topper unsigned NumResults) override { 53336e3b5c7SDouglas Gregor StoredResults.reserve(StoredResults.size() + NumResults); 5348e984da8SDouglas Gregor for (unsigned I = 0; I != NumResults; ++I) { 535b278aafbSDouglas Gregor CodeCompletionString *StoredCompletion 536c3425b1fSDouglas Gregor = Results[I].CreateCodeCompletionString(S, Context, getAllocator(), 5373292d06aSDmitri Gribenko getCodeCompletionTUInfo(), 5383292d06aSDmitri Gribenko includeBriefComments()); 53936e3b5c7SDouglas Gregor 54036e3b5c7SDouglas Gregor CXCompletionResult R; 54136e3b5c7SDouglas Gregor R.CursorKind = Results[I].CursorKind; 54236e3b5c7SDouglas Gregor R.CompletionString = StoredCompletion; 54336e3b5c7SDouglas Gregor StoredResults.push_back(R); 5448e984da8SDouglas Gregor } 5452132584dSDouglas Gregor 54663745d59SDouglas Gregor enum CodeCompletionContext::Kind contextKind = Context.getKind(); 5472132584dSDouglas Gregor 54863745d59SDouglas Gregor AllocatedResults.ContextKind = contextKind; 54963745d59SDouglas Gregor AllocatedResults.Contexts = getContextsForContextKind(contextKind, S); 55063745d59SDouglas Gregor 551ea777403SDouglas Gregor AllocatedResults.Selector = ""; 5523f31bd18SDmitri Gribenko ArrayRef<IdentifierInfo *> SelIdents = Context.getSelIdents(); 5533f31bd18SDmitri Gribenko for (ArrayRef<IdentifierInfo *>::iterator I = SelIdents.begin(), 5543f31bd18SDmitri Gribenko E = SelIdents.end(); 5553f31bd18SDmitri Gribenko I != E; ++I) { 5563f31bd18SDmitri Gribenko if (IdentifierInfo *selIdent = *I) 5573f31bd18SDmitri Gribenko AllocatedResults.Selector += selIdent->getName(); 558ea777403SDouglas Gregor AllocatedResults.Selector += ":"; 559ea777403SDouglas Gregor } 560ea777403SDouglas Gregor 56163745d59SDouglas Gregor QualType baseType = Context.getBaseType(); 56269186e73SCraig Topper NamedDecl *D = nullptr; 56363745d59SDouglas Gregor 56463745d59SDouglas Gregor if (!baseType.isNull()) { 56563745d59SDouglas Gregor // Get the declaration for a class/struct/union/enum type 56663745d59SDouglas Gregor if (const TagType *Tag = baseType->getAs<TagType>()) 56763745d59SDouglas Gregor D = Tag->getDecl(); 56863745d59SDouglas Gregor // Get the @interface declaration for a (possibly-qualified) Objective-C 56963745d59SDouglas Gregor // object pointer type, e.g., NSString* 57063745d59SDouglas Gregor else if (const ObjCObjectPointerType *ObjPtr = 57163745d59SDouglas Gregor baseType->getAs<ObjCObjectPointerType>()) 57263745d59SDouglas Gregor D = ObjPtr->getInterfaceDecl(); 57363745d59SDouglas Gregor // Get the @interface declaration for an Objective-C object type 57463745d59SDouglas Gregor else if (const ObjCObjectType *Obj = baseType->getAs<ObjCObjectType>()) 57563745d59SDouglas Gregor D = Obj->getInterface(); 57663745d59SDouglas Gregor // Get the class for a C++ injected-class-name 57763745d59SDouglas Gregor else if (const InjectedClassNameType *Injected = 57863745d59SDouglas Gregor baseType->getAs<InjectedClassNameType>()) 57963745d59SDouglas Gregor D = Injected->getDecl(); 58063745d59SDouglas Gregor } 58163745d59SDouglas Gregor 58269186e73SCraig Topper if (D != nullptr) { 58363745d59SDouglas Gregor CXCursor cursor = cxcursor::MakeCXCursor(D, *TU); 58463745d59SDouglas Gregor 5850b62f8a6SDmitri Gribenko AllocatedResults.ContainerKind = clang_getCursorKind(cursor); 58663745d59SDouglas Gregor 5870b62f8a6SDmitri Gribenko CXString CursorUSR = clang_getCursorUSR(cursor); 5880b62f8a6SDmitri Gribenko AllocatedResults.ContainerUSR = clang_getCString(CursorUSR); 5890b62f8a6SDmitri Gribenko clang_disposeString(CursorUSR); 5905b8ad406STed Kremenek 59163745d59SDouglas Gregor const Type *type = baseType.getTypePtrOrNull(); 59269186e73SCraig Topper if (type) { 59363745d59SDouglas Gregor AllocatedResults.ContainerIsIncomplete = type->isIncompleteType(); 59463745d59SDouglas Gregor } 59563745d59SDouglas Gregor else { 59663745d59SDouglas Gregor AllocatedResults.ContainerIsIncomplete = 1; 59763745d59SDouglas Gregor } 59863745d59SDouglas Gregor } 59963745d59SDouglas Gregor else { 60063745d59SDouglas Gregor AllocatedResults.ContainerKind = CXCursor_InvalidCode; 6010b62f8a6SDmitri Gribenko AllocatedResults.ContainerUSR.clear(); 60263745d59SDouglas Gregor AllocatedResults.ContainerIsIncomplete = 1; 60363745d59SDouglas Gregor } 6048e984da8SDouglas Gregor } 60549f67ce4SDouglas Gregor 60636835568SCraig Topper void ProcessOverloadCandidates(Sema &S, unsigned CurrentArg, 60736e3b5c7SDouglas Gregor OverloadCandidate *Candidates, 60836835568SCraig Topper unsigned NumCandidates) override { 60936e3b5c7SDouglas Gregor StoredResults.reserve(StoredResults.size() + NumCandidates); 61036e3b5c7SDouglas Gregor for (unsigned I = 0; I != NumCandidates; ++I) { 611b278aafbSDouglas Gregor CodeCompletionString *StoredCompletion 6129d7c0fefSArgyrios Kyrtzidis = Candidates[I].CreateSignatureString(CurrentArg, S, getAllocator(), 6130c010cddSFrancisco Lopes da Silva getCodeCompletionTUInfo(), 6140c010cddSFrancisco Lopes da Silva includeBriefComments()); 61536e3b5c7SDouglas Gregor 61636e3b5c7SDouglas Gregor CXCompletionResult R; 617975a9f6eSFrancisco Lopes da Silva R.CursorKind = CXCursor_OverloadCandidate; 61836e3b5c7SDouglas Gregor R.CompletionString = StoredCompletion; 61936e3b5c7SDouglas Gregor StoredResults.push_back(R); 62036e3b5c7SDouglas Gregor } 62136e3b5c7SDouglas Gregor } 62236e3b5c7SDouglas Gregor 62336835568SCraig Topper CodeCompletionAllocator &getAllocator() override { 6249d7c0fefSArgyrios Kyrtzidis return *AllocatedResults.CodeCompletionAllocator; 625b278aafbSDouglas Gregor } 626b278aafbSDouglas Gregor 62736835568SCraig Topper CodeCompletionTUInfo &getCodeCompletionTUInfo() override { return CCTUInfo;} 6289d7c0fefSArgyrios Kyrtzidis 62936e3b5c7SDouglas Gregor private: 63036e3b5c7SDouglas Gregor void Finish() { 63136e3b5c7SDouglas Gregor AllocatedResults.Results = new CXCompletionResult [StoredResults.size()]; 63236e3b5c7SDouglas Gregor AllocatedResults.NumResults = StoredResults.size(); 63336e3b5c7SDouglas Gregor std::memcpy(AllocatedResults.Results, StoredResults.data(), 63436e3b5c7SDouglas Gregor StoredResults.size() * sizeof(CXCompletionResult)); 63536e3b5c7SDouglas Gregor StoredResults.clear(); 63636e3b5c7SDouglas Gregor } 6378e984da8SDouglas Gregor }; 638ab9db510SAlexander Kornienko } 6398e984da8SDouglas Gregor 64011a9cd95SBenjamin Kramer static CXCodeCompleteResults * 64111a9cd95SBenjamin Kramer clang_codeCompleteAt_Impl(CXTranslationUnit TU, const char *complete_filename, 64211a9cd95SBenjamin Kramer unsigned complete_line, unsigned complete_column, 64311a9cd95SBenjamin Kramer ArrayRef<CXUnsavedFile> unsaved_files, 64411a9cd95SBenjamin Kramer unsigned options) { 6453292d06aSDmitri Gribenko bool IncludeBriefComments = options & CXCodeComplete_IncludeBriefComments; 646*bb2cf63bSSam McCall bool SkipPreamble = options & CXCodeComplete_SkipPreamble; 64777af1c56SDaniel Dunbar 6488e984da8SDouglas Gregor #ifdef UDP_CODE_COMPLETION_LOGGER 6498e984da8SDouglas Gregor #ifdef UDP_CODE_COMPLETION_LOGGER_PORT 6508e984da8SDouglas Gregor const llvm::TimeRecord &StartTime = llvm::TimeRecord::getCurrentTime(); 6518e984da8SDouglas Gregor #endif 6528e984da8SDouglas Gregor #endif 6538e984da8SDouglas Gregor 65469186e73SCraig Topper bool EnableLogging = getenv("LIBCLANG_CODE_COMPLETION_LOGGING") != nullptr; 6558e984da8SDouglas Gregor 656852d622eSDmitri Gribenko if (cxtu::isNotUsableTU(TU)) { 657256454fdSDmitri Gribenko LOG_BAD_TU(TU); 65811a9cd95SBenjamin Kramer return nullptr; 659256454fdSDmitri Gribenko } 660256454fdSDmitri Gribenko 661c22ea1ceSDmitri Gribenko ASTUnit *AST = cxtu::getASTUnit(TU); 6628e984da8SDouglas Gregor if (!AST) 66311a9cd95SBenjamin Kramer return nullptr; 6648e984da8SDouglas Gregor 665183436e5SDmitri Gribenko CIndexer *CXXIdx = TU->CIdx; 6667317a5cbSArgyrios Kyrtzidis if (CXXIdx->isOptEnabled(CXGlobalOpt_ThreadBackgroundPriorityForEditing)) 66758d5f3fdSArgyrios Kyrtzidis setThreadBackgroundPriority(); 6687317a5cbSArgyrios Kyrtzidis 669ca5b0539SDouglas Gregor ASTUnit::ConcurrencyCheck Check(*AST); 670ca5b0539SDouglas Gregor 6718e984da8SDouglas Gregor // Perform the remapping of source files. 6720e62c1ccSChris Lattner SmallVector<ASTUnit::RemappedFile, 4> RemappedFiles; 6739d85b18fSAlp Toker 67411a9cd95SBenjamin Kramer for (auto &UF : unsaved_files) { 675d87f8d76SRafael Espindola std::unique_ptr<llvm::MemoryBuffer> MB = 6769d85b18fSAlp Toker llvm::MemoryBuffer::getMemBufferCopy(getContents(UF), UF.Filename); 677d87f8d76SRafael Espindola RemappedFiles.push_back(std::make_pair(UF.Filename, MB.release())); 6788e984da8SDouglas Gregor } 6798e984da8SDouglas Gregor 6808e984da8SDouglas Gregor if (EnableLogging) { 6818e984da8SDouglas Gregor // FIXME: Add logging. 6828e984da8SDouglas Gregor } 6838e984da8SDouglas Gregor 6848e984da8SDouglas Gregor // Parse the resulting source file to find code-completion results. 6858832c066SBen Langmuir AllocatedCXCodeCompleteResults *Results = new AllocatedCXCodeCompleteResults( 6868832c066SBen Langmuir &AST->getFileManager()); 68769186e73SCraig Topper Results->Results = nullptr; 6888e984da8SDouglas Gregor Results->NumResults = 0; 6898e984da8SDouglas Gregor 6908e984da8SDouglas Gregor // Create a code-completion consumer to capture the results. 6913292d06aSDmitri Gribenko CodeCompleteOptions Opts; 6923292d06aSDmitri Gribenko Opts.IncludeBriefComments = IncludeBriefComments; 693*bb2cf63bSSam McCall Opts.LoadExternal = !SkipPreamble; 6943292d06aSDmitri Gribenko CaptureCompletionResults Capture(Opts, *Results, &TU); 6958e984da8SDouglas Gregor 6968e984da8SDouglas Gregor // Perform completion. 697690f0e2fSAlex Lorenz std::vector<const char *> CArgs; 698690f0e2fSAlex Lorenz for (const auto &Arg : TU->Arguments) 699690f0e2fSAlex Lorenz CArgs.push_back(Arg.c_str()); 700690f0e2fSAlex Lorenz std::string CompletionInvocation = 701690f0e2fSAlex Lorenz llvm::formatv("-code-completion-at={0}:{1}:{2}", complete_filename, 702690f0e2fSAlex Lorenz complete_line, complete_column) 703690f0e2fSAlex Lorenz .str(); 704690f0e2fSAlex Lorenz LibclangInvocationReporter InvocationReporter( 705690f0e2fSAlex Lorenz *CXXIdx, LibclangInvocationReporter::OperationKind::CompletionOperation, 706690f0e2fSAlex Lorenz TU->ParsingOptions, CArgs, CompletionInvocation, unsaved_files); 7078e984da8SDouglas Gregor AST->CodeComplete(complete_filename, complete_line, complete_column, 708bb165fb0SAdrian Prantl RemappedFiles, (options & CXCodeComplete_IncludeMacros), 709b68bc59aSDouglas Gregor (options & CXCodeComplete_IncludeCodePatterns), 710bb165fb0SAdrian Prantl IncludeBriefComments, Capture, 711bb165fb0SAdrian Prantl CXXIdx->getPCHContainerOperations(), *Results->Diag, 712bb165fb0SAdrian Prantl Results->LangOpts, *Results->SourceMgr, *Results->FileMgr, 713bb165fb0SAdrian Prantl Results->Diagnostics, Results->TemporaryBuffers); 7148e984da8SDouglas Gregor 7157dd96c23SNico Weber Results->DiagnosticsWrappers.resize(Results->Diagnostics.size()); 7167dd96c23SNico Weber 717162b712dSDouglas Gregor // Keep a reference to the allocator used for cached global completions, so 718162b712dSDouglas Gregor // that we can be sure that the memory used by our code completion strings 719162b712dSDouglas Gregor // doesn't get freed due to subsequent reparses (while the code completion 720162b712dSDouglas Gregor // results are still active). 721162b712dSDouglas Gregor Results->CachedCompletionAllocator = AST->getCachedCompletionAllocator(); 722162b712dSDouglas Gregor 7238e984da8SDouglas Gregor 7248e984da8SDouglas Gregor 7258e984da8SDouglas Gregor #ifdef UDP_CODE_COMPLETION_LOGGER 7268e984da8SDouglas Gregor #ifdef UDP_CODE_COMPLETION_LOGGER_PORT 7278e984da8SDouglas Gregor const llvm::TimeRecord &EndTime = llvm::TimeRecord::getCurrentTime(); 728f1a13f29SDylan Noblesmith SmallString<256> LogResult; 7298e984da8SDouglas Gregor llvm::raw_svector_ostream os(LogResult); 7308e984da8SDouglas Gregor 7318e984da8SDouglas Gregor // Figure out the language and whether or not it uses PCH. 7328e984da8SDouglas Gregor const char *lang = 0; 7338e984da8SDouglas Gregor bool usesPCH = false; 7348e984da8SDouglas Gregor 7358e984da8SDouglas Gregor for (std::vector<const char*>::iterator I = argv.begin(), E = argv.end(); 7368e984da8SDouglas Gregor I != E; ++I) { 7378e984da8SDouglas Gregor if (*I == 0) 7388e984da8SDouglas Gregor continue; 7398e984da8SDouglas Gregor if (strcmp(*I, "-x") == 0) { 7408e984da8SDouglas Gregor if (I + 1 != E) { 7418e984da8SDouglas Gregor lang = *(++I); 7428e984da8SDouglas Gregor continue; 7438e984da8SDouglas Gregor } 7448e984da8SDouglas Gregor } 7458e984da8SDouglas Gregor else if (strcmp(*I, "-include") == 0) { 7468e984da8SDouglas Gregor if (I+1 != E) { 7478e984da8SDouglas Gregor const char *arg = *(++I); 748f1a13f29SDylan Noblesmith SmallString<512> pchName; 7498e984da8SDouglas Gregor { 7508e984da8SDouglas Gregor llvm::raw_svector_ostream os(pchName); 7518e984da8SDouglas Gregor os << arg << ".pth"; 7528e984da8SDouglas Gregor } 7538e984da8SDouglas Gregor pchName.push_back('\0'); 7548e984da8SDouglas Gregor struct stat stat_results; 755ea777403SDouglas Gregor if (stat(pchName.str().c_str(), &stat_results) == 0) 7568e984da8SDouglas Gregor usesPCH = true; 7578e984da8SDouglas Gregor continue; 7588e984da8SDouglas Gregor } 7598e984da8SDouglas Gregor } 7608e984da8SDouglas Gregor } 7618e984da8SDouglas Gregor 7628e984da8SDouglas Gregor os << "{ "; 7638e984da8SDouglas Gregor os << "\"wall\": " << (EndTime.getWallTime() - StartTime.getWallTime()); 7648e984da8SDouglas Gregor os << ", \"numRes\": " << Results->NumResults; 7658e984da8SDouglas Gregor os << ", \"diags\": " << Results->Diagnostics.size(); 7668e984da8SDouglas Gregor os << ", \"pch\": " << (usesPCH ? "true" : "false"); 7678e984da8SDouglas Gregor os << ", \"lang\": \"" << (lang ? lang : "<unknown>") << '"'; 7688e984da8SDouglas Gregor const char *name = getlogin(); 7698e984da8SDouglas Gregor os << ", \"user\": \"" << (name ? name : "unknown") << '"'; 7708e984da8SDouglas Gregor os << ", \"clangVer\": \"" << getClangFullVersion() << '"'; 7718e984da8SDouglas Gregor os << " }"; 7728e984da8SDouglas Gregor 7730e62c1ccSChris Lattner StringRef res = os.str(); 7748e984da8SDouglas Gregor if (res.size() > 0) { 7758e984da8SDouglas Gregor do { 7768e984da8SDouglas Gregor // Setup the UDP socket. 7778e984da8SDouglas Gregor struct sockaddr_in servaddr; 7788e984da8SDouglas Gregor bzero(&servaddr, sizeof(servaddr)); 7798e984da8SDouglas Gregor servaddr.sin_family = AF_INET; 7808e984da8SDouglas Gregor servaddr.sin_port = htons(UDP_CODE_COMPLETION_LOGGER_PORT); 7818e984da8SDouglas Gregor if (inet_pton(AF_INET, UDP_CODE_COMPLETION_LOGGER, 7828e984da8SDouglas Gregor &servaddr.sin_addr) <= 0) 7838e984da8SDouglas Gregor break; 7848e984da8SDouglas Gregor 7858e984da8SDouglas Gregor int sockfd = socket(AF_INET, SOCK_DGRAM, 0); 7868e984da8SDouglas Gregor if (sockfd < 0) 7878e984da8SDouglas Gregor break; 7888e984da8SDouglas Gregor 7898e984da8SDouglas Gregor sendto(sockfd, res.data(), res.size(), 0, 7908e984da8SDouglas Gregor (struct sockaddr *)&servaddr, sizeof(servaddr)); 7918e984da8SDouglas Gregor close(sockfd); 7928e984da8SDouglas Gregor } 7938e984da8SDouglas Gregor while (false); 7948e984da8SDouglas Gregor } 7958e984da8SDouglas Gregor #endif 7968e984da8SDouglas Gregor #endif 79711a9cd95SBenjamin Kramer return Results; 79877af1c56SDaniel Dunbar } 79911a9cd95SBenjamin Kramer 80077af1c56SDaniel Dunbar CXCodeCompleteResults *clang_codeCompleteAt(CXTranslationUnit TU, 80177af1c56SDaniel Dunbar const char *complete_filename, 80277af1c56SDaniel Dunbar unsigned complete_line, 80377af1c56SDaniel Dunbar unsigned complete_column, 80477af1c56SDaniel Dunbar struct CXUnsavedFile *unsaved_files, 80577af1c56SDaniel Dunbar unsigned num_unsaved_files, 80677af1c56SDaniel Dunbar unsigned options) { 807ea474358SArgyrios Kyrtzidis LOG_FUNC_SECTION { 808ea474358SArgyrios Kyrtzidis *Log << TU << ' ' 809ea474358SArgyrios Kyrtzidis << complete_filename << ':' << complete_line << ':' << complete_column; 810ea474358SArgyrios Kyrtzidis } 811ea474358SArgyrios Kyrtzidis 8129d85b18fSAlp Toker if (num_unsaved_files && !unsaved_files) 8139d85b18fSAlp Toker return nullptr; 8149d85b18fSAlp Toker 81511a9cd95SBenjamin Kramer CXCodeCompleteResults *result; 81611a9cd95SBenjamin Kramer auto CodeCompleteAtImpl = [=, &result]() { 81711a9cd95SBenjamin Kramer result = clang_codeCompleteAt_Impl( 81811a9cd95SBenjamin Kramer TU, complete_filename, complete_line, complete_column, 81911a9cd95SBenjamin Kramer llvm::makeArrayRef(unsaved_files, num_unsaved_files), options); 82011a9cd95SBenjamin Kramer }; 8219999f4f8SArgyrios Kyrtzidis 82277af1c56SDaniel Dunbar llvm::CrashRecoveryContext CRC; 82377af1c56SDaniel Dunbar 82411a9cd95SBenjamin Kramer if (!RunSafely(CRC, CodeCompleteAtImpl)) { 82577af1c56SDaniel Dunbar fprintf(stderr, "libclang: crash detected in code completion\n"); 826c22ea1ceSDmitri Gribenko cxtu::getASTUnit(TU)->setUnsafeToFree(true); 82769186e73SCraig Topper return nullptr; 828af44c781SDouglas Gregor } else if (getenv("LIBCLANG_RESOURCE_USAGE")) 829af44c781SDouglas Gregor PrintLibclangResourceUsage(TU); 83077af1c56SDaniel Dunbar 83111a9cd95SBenjamin Kramer return result; 8328e984da8SDouglas Gregor } 8338e984da8SDouglas Gregor 834b68bc59aSDouglas Gregor unsigned clang_defaultCodeCompleteOptions(void) { 835b68bc59aSDouglas Gregor return CXCodeComplete_IncludeMacros; 836b68bc59aSDouglas Gregor } 837b68bc59aSDouglas Gregor 838d5a2a073SDaniel Dunbar void clang_disposeCodeCompleteResults(CXCodeCompleteResults *ResultsIn) { 839d5a2a073SDaniel Dunbar if (!ResultsIn) 840d5a2a073SDaniel Dunbar return; 841d5a2a073SDaniel Dunbar 842d5a2a073SDaniel Dunbar AllocatedCXCodeCompleteResults *Results 843d5a2a073SDaniel Dunbar = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn); 844d5a2a073SDaniel Dunbar delete Results; 845d5a2a073SDaniel Dunbar } 846d5a2a073SDaniel Dunbar 847d5a2a073SDaniel Dunbar unsigned 848d5a2a073SDaniel Dunbar clang_codeCompleteGetNumDiagnostics(CXCodeCompleteResults *ResultsIn) { 849d5a2a073SDaniel Dunbar AllocatedCXCodeCompleteResults *Results 850d5a2a073SDaniel Dunbar = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn); 851d5a2a073SDaniel Dunbar if (!Results) 852d5a2a073SDaniel Dunbar return 0; 853d5a2a073SDaniel Dunbar 854d5a2a073SDaniel Dunbar return Results->Diagnostics.size(); 855d5a2a073SDaniel Dunbar } 856d5a2a073SDaniel Dunbar 857d5a2a073SDaniel Dunbar CXDiagnostic 858d5a2a073SDaniel Dunbar clang_codeCompleteGetDiagnostic(CXCodeCompleteResults *ResultsIn, 859d5a2a073SDaniel Dunbar unsigned Index) { 860d5a2a073SDaniel Dunbar AllocatedCXCodeCompleteResults *Results 861d5a2a073SDaniel Dunbar = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn); 862d5a2a073SDaniel Dunbar if (!Results || Index >= Results->Diagnostics.size()) 86369186e73SCraig Topper return nullptr; 864d5a2a073SDaniel Dunbar 8657dd96c23SNico Weber CXStoredDiagnostic *Diag = Results->DiagnosticsWrappers[Index]; 8667dd96c23SNico Weber if (!Diag) 8677dd96c23SNico Weber Results->DiagnosticsWrappers[Index] = Diag = 8687dd96c23SNico Weber new CXStoredDiagnostic(Results->Diagnostics[Index], Results->LangOpts); 8697dd96c23SNico Weber return Diag; 870d5a2a073SDaniel Dunbar } 871d5a2a073SDaniel Dunbar 8722132584dSDouglas Gregor unsigned long long 8732132584dSDouglas Gregor clang_codeCompleteGetContexts(CXCodeCompleteResults *ResultsIn) { 8742132584dSDouglas Gregor AllocatedCXCodeCompleteResults *Results 8752132584dSDouglas Gregor = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn); 8762132584dSDouglas Gregor if (!Results) 8772132584dSDouglas Gregor return 0; 8782132584dSDouglas Gregor 8792132584dSDouglas Gregor return Results->Contexts; 8802132584dSDouglas Gregor } 881d5a2a073SDaniel Dunbar 88263745d59SDouglas Gregor enum CXCursorKind clang_codeCompleteGetContainerKind( 88363745d59SDouglas Gregor CXCodeCompleteResults *ResultsIn, 88463745d59SDouglas Gregor unsigned *IsIncomplete) { 88563745d59SDouglas Gregor AllocatedCXCodeCompleteResults *Results = 88663745d59SDouglas Gregor static_cast<AllocatedCXCodeCompleteResults *>(ResultsIn); 88763745d59SDouglas Gregor if (!Results) 88863745d59SDouglas Gregor return CXCursor_InvalidCode; 88963745d59SDouglas Gregor 89069186e73SCraig Topper if (IsIncomplete != nullptr) { 89163745d59SDouglas Gregor *IsIncomplete = Results->ContainerIsIncomplete; 89263745d59SDouglas Gregor } 89363745d59SDouglas Gregor 89463745d59SDouglas Gregor return Results->ContainerKind; 89563745d59SDouglas Gregor } 89663745d59SDouglas Gregor 89763745d59SDouglas Gregor CXString clang_codeCompleteGetContainerUSR(CXCodeCompleteResults *ResultsIn) { 89863745d59SDouglas Gregor AllocatedCXCodeCompleteResults *Results = 89963745d59SDouglas Gregor static_cast<AllocatedCXCodeCompleteResults *>(ResultsIn); 90063745d59SDouglas Gregor if (!Results) 90136a6dd04SDmitri Gribenko return cxstring::createEmpty(); 90263745d59SDouglas Gregor 9030b62f8a6SDmitri Gribenko return cxstring::createRef(Results->ContainerUSR.c_str()); 90463745d59SDouglas Gregor } 90563745d59SDouglas Gregor 906ea777403SDouglas Gregor 907ea777403SDouglas Gregor CXString clang_codeCompleteGetObjCSelector(CXCodeCompleteResults *ResultsIn) { 908ea777403SDouglas Gregor AllocatedCXCodeCompleteResults *Results = 909ea777403SDouglas Gregor static_cast<AllocatedCXCodeCompleteResults *>(ResultsIn); 910ea777403SDouglas Gregor if (!Results) 91136a6dd04SDmitri Gribenko return cxstring::createEmpty(); 912ea777403SDouglas Gregor 9132f23e9c5SDmitri Gribenko return cxstring::createDup(Results->Selector); 914ea777403SDouglas Gregor } 915ea777403SDouglas Gregor 9168e3e8743SDouglas Gregor /// \brief Simple utility function that appends a \p New string to the given 9178e3e8743SDouglas Gregor /// \p Old string, using the \p Buffer for storage. 9188e3e8743SDouglas Gregor /// 9198e3e8743SDouglas Gregor /// \param Old The string to which we are appending. This parameter will be 9208e3e8743SDouglas Gregor /// updated to reflect the complete string. 9218e3e8743SDouglas Gregor /// 9228e3e8743SDouglas Gregor /// 9238e3e8743SDouglas Gregor /// \param New The string to append to \p Old. 9248e3e8743SDouglas Gregor /// 9258e3e8743SDouglas Gregor /// \param Buffer A buffer that stores the actual, concatenated string. It will 9268e3e8743SDouglas Gregor /// be used if the old string is already-non-empty. 9270e62c1ccSChris Lattner static void AppendToString(StringRef &Old, StringRef New, 928f1a13f29SDylan Noblesmith SmallString<256> &Buffer) { 9298e3e8743SDouglas Gregor if (Old.empty()) { 9308e3e8743SDouglas Gregor Old = New; 9318e3e8743SDouglas Gregor return; 9328e3e8743SDouglas Gregor } 9338e3e8743SDouglas Gregor 9348e3e8743SDouglas Gregor if (Buffer.empty()) 9358e3e8743SDouglas Gregor Buffer.append(Old.begin(), Old.end()); 9368e3e8743SDouglas Gregor Buffer.append(New.begin(), New.end()); 9378e3e8743SDouglas Gregor Old = Buffer.str(); 9388e3e8743SDouglas Gregor } 9398e3e8743SDouglas Gregor 9408e3e8743SDouglas Gregor /// \brief Get the typed-text blocks from the given code-completion string 9418e3e8743SDouglas Gregor /// and return them as a single string. 9428e3e8743SDouglas Gregor /// 9438e3e8743SDouglas Gregor /// \param String The code-completion string whose typed-text blocks will be 9448e3e8743SDouglas Gregor /// concatenated. 9458e3e8743SDouglas Gregor /// 9468e3e8743SDouglas Gregor /// \param Buffer A buffer used for storage of the completed name. 9470e62c1ccSChris Lattner static StringRef GetTypedName(CodeCompletionString *String, 948f1a13f29SDylan Noblesmith SmallString<256> &Buffer) { 9490e62c1ccSChris Lattner StringRef Result; 9508e3e8743SDouglas Gregor for (CodeCompletionString::iterator C = String->begin(), CEnd = String->end(); 9518e3e8743SDouglas Gregor C != CEnd; ++C) { 9528e3e8743SDouglas Gregor if (C->Kind == CodeCompletionString::CK_TypedText) 9538e3e8743SDouglas Gregor AppendToString(Result, C->Text, Buffer); 9548e3e8743SDouglas Gregor } 9558e3e8743SDouglas Gregor 9568e3e8743SDouglas Gregor return Result; 9578e3e8743SDouglas Gregor } 9588e3e8743SDouglas Gregor 95949f67ce4SDouglas Gregor namespace { 96049f67ce4SDouglas Gregor struct OrderCompletionResults { 96149f67ce4SDouglas Gregor bool operator()(const CXCompletionResult &XR, 96249f67ce4SDouglas Gregor const CXCompletionResult &YR) const { 963b278aafbSDouglas Gregor CodeCompletionString *X 964b278aafbSDouglas Gregor = (CodeCompletionString *)XR.CompletionString; 965b278aafbSDouglas Gregor CodeCompletionString *Y 966b278aafbSDouglas Gregor = (CodeCompletionString *)YR.CompletionString; 96749f67ce4SDouglas Gregor 968f1a13f29SDylan Noblesmith SmallString<256> XBuffer; 9690e62c1ccSChris Lattner StringRef XText = GetTypedName(X, XBuffer); 970f1a13f29SDylan Noblesmith SmallString<256> YBuffer; 9710e62c1ccSChris Lattner StringRef YText = GetTypedName(Y, YBuffer); 97249f67ce4SDouglas Gregor 9738e3e8743SDouglas Gregor if (XText.empty() || YText.empty()) 9748e3e8743SDouglas Gregor return !XText.empty(); 9758e3e8743SDouglas Gregor 9768e3e8743SDouglas Gregor int result = XText.compare_lower(YText); 97749f67ce4SDouglas Gregor if (result < 0) 97849f67ce4SDouglas Gregor return true; 97949f67ce4SDouglas Gregor if (result > 0) 98049f67ce4SDouglas Gregor return false; 98149f67ce4SDouglas Gregor 9828e3e8743SDouglas Gregor result = XText.compare(YText); 983c7a7d92aSDouglas Gregor return result < 0; 98449f67ce4SDouglas Gregor } 98549f67ce4SDouglas Gregor }; 986ab9db510SAlexander Kornienko } 98749f67ce4SDouglas Gregor 98849f67ce4SDouglas Gregor void clang_sortCodeCompletionResults(CXCompletionResult *Results, 98949f67ce4SDouglas Gregor unsigned NumResults) { 99049f67ce4SDouglas Gregor std::stable_sort(Results, Results + NumResults, OrderCompletionResults()); 99149f67ce4SDouglas Gregor } 992