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" 167df92ae9STed Kremenek #include "CXTranslationUnit.h" 174b4f3699STed Kremenek #include "CXString.h" 1863745d59SDouglas Gregor #include "CXCursor.h" 195b8ad406STed Kremenek #include "CXString.h" 20d5a2a073SDaniel Dunbar #include "CIndexDiagnostic.h" 2163745d59SDouglas Gregor #include "clang/AST/Type.h" 2263745d59SDouglas Gregor #include "clang/AST/Decl.h" 2363745d59SDouglas Gregor #include "clang/AST/DeclObjC.h" 24d5a2a073SDaniel Dunbar #include "clang/Basic/SourceManager.h" 25d5a2a073SDaniel Dunbar #include "clang/Basic/FileManager.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" 30028d3e4dSDouglas Gregor #include "llvm/ADT/SmallString.h" 31d5a2a073SDaniel Dunbar #include "llvm/ADT/StringExtras.h" 329aeaa4d6SDouglas Gregor #include "llvm/Support/Atomic.h" 3377af1c56SDaniel Dunbar #include "llvm/Support/CrashRecoveryContext.h" 34d5a2a073SDaniel Dunbar #include "llvm/Support/MemoryBuffer.h" 35028d3e4dSDouglas Gregor #include "llvm/Support/Timer.h" 36028d3e4dSDouglas Gregor #include "llvm/Support/raw_ostream.h" 378aaf4995SMichael J. Spencer #include "llvm/Support/Program.h" 38d6009ffbSDouglas Gregor #include <cstdlib> 39d6009ffbSDouglas Gregor #include <cstdio> 40d5a2a073SDaniel Dunbar 41028d3e4dSDouglas Gregor 42d5a2a073SDaniel Dunbar #ifdef UDP_CODE_COMPLETION_LOGGER 43d5a2a073SDaniel Dunbar #include "clang/Basic/Version.h" 44d5a2a073SDaniel Dunbar #include <arpa/inet.h> 45d5a2a073SDaniel Dunbar #include <sys/socket.h> 46d5a2a073SDaniel Dunbar #include <sys/types.h> 47d5a2a073SDaniel Dunbar #include <unistd.h> 48d5a2a073SDaniel Dunbar #endif 49d5a2a073SDaniel Dunbar 50d5a2a073SDaniel Dunbar using namespace clang; 51d5a2a073SDaniel Dunbar using namespace clang::cxstring; 52d5a2a073SDaniel Dunbar 53d5a2a073SDaniel Dunbar extern "C" { 54d5a2a073SDaniel Dunbar 55d5a2a073SDaniel Dunbar enum CXCompletionChunkKind 56d5a2a073SDaniel Dunbar clang_getCompletionChunkKind(CXCompletionString completion_string, 57d5a2a073SDaniel Dunbar unsigned chunk_number) { 58b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 59d5a2a073SDaniel Dunbar if (!CCStr || chunk_number >= CCStr->size()) 60d5a2a073SDaniel Dunbar return CXCompletionChunk_Text; 61d5a2a073SDaniel Dunbar 62d5a2a073SDaniel Dunbar switch ((*CCStr)[chunk_number].Kind) { 63d5a2a073SDaniel Dunbar case CodeCompletionString::CK_TypedText: 64d5a2a073SDaniel Dunbar return CXCompletionChunk_TypedText; 65d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Text: 66d5a2a073SDaniel Dunbar return CXCompletionChunk_Text; 67d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Optional: 68d5a2a073SDaniel Dunbar return CXCompletionChunk_Optional; 69d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Placeholder: 70d5a2a073SDaniel Dunbar return CXCompletionChunk_Placeholder; 71d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Informative: 72d5a2a073SDaniel Dunbar return CXCompletionChunk_Informative; 73d5a2a073SDaniel Dunbar case CodeCompletionString::CK_ResultType: 74d5a2a073SDaniel Dunbar return CXCompletionChunk_ResultType; 75d5a2a073SDaniel Dunbar case CodeCompletionString::CK_CurrentParameter: 76d5a2a073SDaniel Dunbar return CXCompletionChunk_CurrentParameter; 77d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftParen: 78d5a2a073SDaniel Dunbar return CXCompletionChunk_LeftParen; 79d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightParen: 80d5a2a073SDaniel Dunbar return CXCompletionChunk_RightParen; 81d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBracket: 82d5a2a073SDaniel Dunbar return CXCompletionChunk_LeftBracket; 83d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBracket: 84d5a2a073SDaniel Dunbar return CXCompletionChunk_RightBracket; 85d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBrace: 86d5a2a073SDaniel Dunbar return CXCompletionChunk_LeftBrace; 87d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBrace: 88d5a2a073SDaniel Dunbar return CXCompletionChunk_RightBrace; 89d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftAngle: 90d5a2a073SDaniel Dunbar return CXCompletionChunk_LeftAngle; 91d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightAngle: 92d5a2a073SDaniel Dunbar return CXCompletionChunk_RightAngle; 93d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Comma: 94d5a2a073SDaniel Dunbar return CXCompletionChunk_Comma; 95d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Colon: 96d5a2a073SDaniel Dunbar return CXCompletionChunk_Colon; 97d5a2a073SDaniel Dunbar case CodeCompletionString::CK_SemiColon: 98d5a2a073SDaniel Dunbar return CXCompletionChunk_SemiColon; 99d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Equal: 100d5a2a073SDaniel Dunbar return CXCompletionChunk_Equal; 101d5a2a073SDaniel Dunbar case CodeCompletionString::CK_HorizontalSpace: 102d5a2a073SDaniel Dunbar return CXCompletionChunk_HorizontalSpace; 103d5a2a073SDaniel Dunbar case CodeCompletionString::CK_VerticalSpace: 104d5a2a073SDaniel Dunbar return CXCompletionChunk_VerticalSpace; 105d5a2a073SDaniel Dunbar } 106d5a2a073SDaniel Dunbar 1078a40f700SDavid Blaikie llvm_unreachable("Invalid CompletionKind!"); 108d5a2a073SDaniel Dunbar } 109d5a2a073SDaniel Dunbar 110d5a2a073SDaniel Dunbar CXString clang_getCompletionChunkText(CXCompletionString completion_string, 111d5a2a073SDaniel Dunbar unsigned chunk_number) { 112b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 113d5a2a073SDaniel Dunbar if (!CCStr || chunk_number >= CCStr->size()) 11491554285STed Kremenek return createCXString((const char*)0); 115d5a2a073SDaniel Dunbar 116d5a2a073SDaniel Dunbar switch ((*CCStr)[chunk_number].Kind) { 117d5a2a073SDaniel Dunbar case CodeCompletionString::CK_TypedText: 118d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Text: 119d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Placeholder: 120d5a2a073SDaniel Dunbar case CodeCompletionString::CK_CurrentParameter: 121d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Informative: 122d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftParen: 123d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightParen: 124d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBracket: 125d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBracket: 126d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBrace: 127d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBrace: 128d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftAngle: 129d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightAngle: 130d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Comma: 131d5a2a073SDaniel Dunbar case CodeCompletionString::CK_ResultType: 132d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Colon: 133d5a2a073SDaniel Dunbar case CodeCompletionString::CK_SemiColon: 134d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Equal: 135d5a2a073SDaniel Dunbar case CodeCompletionString::CK_HorizontalSpace: 13609737ee8SDouglas Gregor case CodeCompletionString::CK_VerticalSpace: 1378ed5b770SDouglas Gregor return createCXString((*CCStr)[chunk_number].Text, false); 13809737ee8SDouglas Gregor 139d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Optional: 140d5a2a073SDaniel Dunbar // Note: treated as an empty text block. 141d5a2a073SDaniel Dunbar return createCXString(""); 142d5a2a073SDaniel Dunbar } 143d5a2a073SDaniel Dunbar 144e4d798f0SDavid Blaikie llvm_unreachable("Invalid CodeCompletionString Kind!"); 145d5a2a073SDaniel Dunbar } 146d5a2a073SDaniel Dunbar 147d5a2a073SDaniel Dunbar 148d5a2a073SDaniel Dunbar CXCompletionString 149d5a2a073SDaniel Dunbar clang_getCompletionChunkCompletionString(CXCompletionString completion_string, 150d5a2a073SDaniel Dunbar unsigned chunk_number) { 151b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 152d5a2a073SDaniel Dunbar if (!CCStr || chunk_number >= CCStr->size()) 153d5a2a073SDaniel Dunbar return 0; 154d5a2a073SDaniel Dunbar 155d5a2a073SDaniel Dunbar switch ((*CCStr)[chunk_number].Kind) { 156d5a2a073SDaniel Dunbar case CodeCompletionString::CK_TypedText: 157d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Text: 158d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Placeholder: 159d5a2a073SDaniel Dunbar case CodeCompletionString::CK_CurrentParameter: 160d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Informative: 161d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftParen: 162d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightParen: 163d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBracket: 164d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBracket: 165d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftBrace: 166d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightBrace: 167d5a2a073SDaniel Dunbar case CodeCompletionString::CK_LeftAngle: 168d5a2a073SDaniel Dunbar case CodeCompletionString::CK_RightAngle: 169d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Comma: 170d5a2a073SDaniel Dunbar case CodeCompletionString::CK_ResultType: 171d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Colon: 172d5a2a073SDaniel Dunbar case CodeCompletionString::CK_SemiColon: 173d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Equal: 174d5a2a073SDaniel Dunbar case CodeCompletionString::CK_HorizontalSpace: 175d5a2a073SDaniel Dunbar case CodeCompletionString::CK_VerticalSpace: 176d5a2a073SDaniel Dunbar return 0; 177d5a2a073SDaniel Dunbar 178d5a2a073SDaniel Dunbar case CodeCompletionString::CK_Optional: 179d5a2a073SDaniel Dunbar // Note: treated as an empty text block. 180d5a2a073SDaniel Dunbar return (*CCStr)[chunk_number].Optional; 181d5a2a073SDaniel Dunbar } 182d5a2a073SDaniel Dunbar 1838a40f700SDavid Blaikie llvm_unreachable("Invalid CompletionKind!"); 184d5a2a073SDaniel Dunbar } 185d5a2a073SDaniel Dunbar 186d5a2a073SDaniel Dunbar unsigned clang_getNumCompletionChunks(CXCompletionString completion_string) { 187b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 188d5a2a073SDaniel Dunbar return CCStr? CCStr->size() : 0; 189d5a2a073SDaniel Dunbar } 190d5a2a073SDaniel Dunbar 191a2db793fSDouglas Gregor unsigned clang_getCompletionPriority(CXCompletionString completion_string) { 192b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 19347bb3e2bSBill Wendling return CCStr? CCStr->getPriority() : unsigned(CCP_Unlikely); 194a2db793fSDouglas Gregor } 195a2db793fSDouglas Gregor 196f757a12dSDouglas Gregor enum CXAvailabilityKind 197f757a12dSDouglas Gregor clang_getCompletionAvailability(CXCompletionString completion_string) { 198b278aafbSDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 199b278aafbSDouglas Gregor return CCStr? static_cast<CXAvailabilityKind>(CCStr->getAvailability()) 200b278aafbSDouglas Gregor : CXAvailability_Available; 201f757a12dSDouglas Gregor } 202f757a12dSDouglas Gregor 20398ea7f67SErik Verbruggen unsigned clang_getCompletionNumAnnotations(CXCompletionString completion_string) 20498ea7f67SErik Verbruggen { 20598ea7f67SErik Verbruggen CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 20698ea7f67SErik Verbruggen return CCStr ? CCStr->getAnnotationCount() : 0; 20798ea7f67SErik Verbruggen } 20898ea7f67SErik Verbruggen 20998ea7f67SErik Verbruggen CXString clang_getCompletionAnnotation(CXCompletionString completion_string, 21098ea7f67SErik Verbruggen unsigned annotation_number) { 21198ea7f67SErik Verbruggen CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 21298ea7f67SErik Verbruggen return CCStr ? createCXString(CCStr->getAnnotation(annotation_number)) 21398ea7f67SErik Verbruggen : createCXString((const char *) 0); 21498ea7f67SErik Verbruggen } 21598ea7f67SErik Verbruggen 21678254c88SDouglas Gregor CXString 21778254c88SDouglas Gregor clang_getCompletionParent(CXCompletionString completion_string, 21878254c88SDouglas Gregor CXCursorKind *kind) { 21978254c88SDouglas Gregor if (kind) 22078254c88SDouglas Gregor *kind = CXCursor_NotImplemented; 22178254c88SDouglas Gregor 22278254c88SDouglas Gregor CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 22378254c88SDouglas Gregor if (!CCStr) 22478254c88SDouglas Gregor return createCXString((const char *)0); 22578254c88SDouglas Gregor 22678254c88SDouglas Gregor return createCXString(CCStr->getParentContextName(), /*DupString=*/false); 22778254c88SDouglas Gregor } 22898ea7f67SErik Verbruggen 2293292d06aSDmitri Gribenko CXString 2303292d06aSDmitri Gribenko clang_getCompletionBriefComment(CXCompletionString completion_string) { 2313292d06aSDmitri Gribenko CodeCompletionString *CCStr = (CodeCompletionString *)completion_string; 2323292d06aSDmitri Gribenko 2333292d06aSDmitri Gribenko if (!CCStr) 2343292d06aSDmitri Gribenko return createCXString((const char *) NULL); 2353292d06aSDmitri Gribenko 2363292d06aSDmitri Gribenko return createCXString(CCStr->getBriefComment(), /*DupString=*/false); 2373292d06aSDmitri Gribenko } 2383292d06aSDmitri Gribenko 2393292d06aSDmitri Gribenko 240d5a2a073SDaniel Dunbar /// \brief The CXCodeCompleteResults structure we allocate internally; 241d5a2a073SDaniel Dunbar /// the client only sees the initial CXCodeCompleteResults structure. 242d5a2a073SDaniel Dunbar struct AllocatedCXCodeCompleteResults : public CXCodeCompleteResults { 243c30dcecbSAnders Carlsson AllocatedCXCodeCompleteResults(const FileSystemOptions& FileSystemOpts); 244d5a2a073SDaniel Dunbar ~AllocatedCXCodeCompleteResults(); 245d5a2a073SDaniel Dunbar 246d5a2a073SDaniel Dunbar /// \brief Diagnostics produced while performing code completion. 2470e62c1ccSChris Lattner SmallVector<StoredDiagnostic, 8> Diagnostics; 248d5a2a073SDaniel Dunbar 249*811db4eaSDouglas Gregor IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts; 250*811db4eaSDouglas Gregor 251d5a2a073SDaniel Dunbar /// \brief Diag object 252c95d8192SDylan Noblesmith IntrusiveRefCntPtr<DiagnosticsEngine> Diag; 253d5a2a073SDaniel Dunbar 254d5a2a073SDaniel Dunbar /// \brief Language options used to adjust source locations. 255d5a2a073SDaniel Dunbar LangOptions LangOpts; 256d5a2a073SDaniel Dunbar 2575159f616SChris Lattner FileSystemOptions FileSystemOpts; 2585159f616SChris Lattner 259d5a2a073SDaniel Dunbar /// \brief File manager, used for diagnostics. 260c95d8192SDylan Noblesmith IntrusiveRefCntPtr<FileManager> FileMgr; 261d5a2a073SDaniel Dunbar 26271731d6bSArgyrios Kyrtzidis /// \brief Source manager, used for diagnostics. 263c95d8192SDylan Noblesmith IntrusiveRefCntPtr<SourceManager> SourceMgr; 26471731d6bSArgyrios Kyrtzidis 265d5a2a073SDaniel Dunbar /// \brief Temporary files that should be removed once we have finished 266d5a2a073SDaniel Dunbar /// with the code-completion results. 267d5a2a073SDaniel Dunbar std::vector<llvm::sys::Path> TemporaryFiles; 268d8a5dba9SDouglas Gregor 2693f5a9efbSChris Lattner /// \brief Temporary buffers that will be deleted once we have finished with 2703f5a9efbSChris Lattner /// the code-completion results. 2710e62c1ccSChris Lattner SmallVector<const llvm::MemoryBuffer *, 1> TemporaryBuffers; 272b278aafbSDouglas Gregor 273162b712dSDouglas Gregor /// \brief Allocator used to store globally cached code-completion results. 274c95d8192SDylan Noblesmith IntrusiveRefCntPtr<clang::GlobalCodeCompletionAllocator> 275162b712dSDouglas Gregor CachedCompletionAllocator; 276162b712dSDouglas Gregor 277b278aafbSDouglas Gregor /// \brief Allocator used to store code completion results. 2789d7c0fefSArgyrios Kyrtzidis IntrusiveRefCntPtr<clang::GlobalCodeCompletionAllocator> 2799d7c0fefSArgyrios Kyrtzidis CodeCompletionAllocator; 2802132584dSDouglas Gregor 2812132584dSDouglas Gregor /// \brief Context under which completion occurred. 2822132584dSDouglas Gregor enum clang::CodeCompletionContext::Kind ContextKind; 2832132584dSDouglas Gregor 2842132584dSDouglas Gregor /// \brief A bitfield representing the acceptable completions for the 2852132584dSDouglas Gregor /// current context. 2862132584dSDouglas Gregor unsigned long long Contexts; 28763745d59SDouglas Gregor 288ea777403SDouglas Gregor /// \brief The kind of the container for the current context for completions. 28963745d59SDouglas Gregor enum CXCursorKind ContainerKind; 290ea777403SDouglas Gregor /// \brief The USR of the container for the current context for completions. 29163745d59SDouglas Gregor CXString ContainerUSR; 292ea777403SDouglas Gregor /// \brief a boolean value indicating whether there is complete information 293ea777403SDouglas Gregor /// about the container 29463745d59SDouglas Gregor unsigned ContainerIsIncomplete; 295ea777403SDouglas Gregor 296ea777403SDouglas Gregor /// \brief A string containing the Objective-C selector entered thus far for a 297ea777403SDouglas Gregor /// message send. 298ea777403SDouglas Gregor std::string Selector; 299d5a2a073SDaniel Dunbar }; 300d5a2a073SDaniel Dunbar 30168dbaeadSDouglas Gregor /// \brief Tracks the number of code-completion result objects that are 30268dbaeadSDouglas Gregor /// currently active. 30368dbaeadSDouglas Gregor /// 30468dbaeadSDouglas Gregor /// Used for debugging purposes only. 3059aeaa4d6SDouglas Gregor static llvm::sys::cas_flag CodeCompletionResultObjects; 30668dbaeadSDouglas Gregor 307c30dcecbSAnders Carlsson AllocatedCXCodeCompleteResults::AllocatedCXCodeCompleteResults( 308c30dcecbSAnders Carlsson const FileSystemOptions& FileSystemOpts) 309d0040648SArgyrios Kyrtzidis : CXCodeCompleteResults(), 310*811db4eaSDouglas Gregor DiagOpts(new DiagnosticOptions), 3119c902b55SDavid Blaikie Diag(new DiagnosticsEngine( 312*811db4eaSDouglas Gregor IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs), 313*811db4eaSDouglas Gregor &*DiagOpts)), 314c30dcecbSAnders Carlsson FileSystemOpts(FileSystemOpts), 3155e14d39aSTed Kremenek FileMgr(new FileManager(FileSystemOpts)), 316e442fe3dSDouglas Gregor SourceMgr(new SourceManager(*Diag, *FileMgr)), 3179d7c0fefSArgyrios Kyrtzidis CodeCompletionAllocator(new clang::GlobalCodeCompletionAllocator), 318e442fe3dSDouglas Gregor Contexts(CXCompletionContext_Unknown), 319e442fe3dSDouglas Gregor ContainerKind(CXCursor_InvalidCode), 320e442fe3dSDouglas Gregor ContainerUSR(createCXString("")), 321e442fe3dSDouglas Gregor ContainerIsIncomplete(1) 322e442fe3dSDouglas Gregor { 32368dbaeadSDouglas Gregor if (getenv("LIBCLANG_OBJTRACKING")) { 3249aeaa4d6SDouglas Gregor llvm::sys::AtomicIncrement(&CodeCompletionResultObjects); 32568dbaeadSDouglas Gregor fprintf(stderr, "+++ %d completion results\n", CodeCompletionResultObjects); 32668dbaeadSDouglas Gregor } 32768dbaeadSDouglas Gregor } 328d5a2a073SDaniel Dunbar 329d5a2a073SDaniel Dunbar AllocatedCXCodeCompleteResults::~AllocatedCXCodeCompleteResults() { 330d5a2a073SDaniel Dunbar delete [] Results; 331d5a2a073SDaniel Dunbar 33263745d59SDouglas Gregor clang_disposeString(ContainerUSR); 33363745d59SDouglas Gregor 334d5a2a073SDaniel Dunbar for (unsigned I = 0, N = TemporaryFiles.size(); I != N; ++I) 335d5a2a073SDaniel Dunbar TemporaryFiles[I].eraseFromDisk(); 336d8a5dba9SDouglas Gregor for (unsigned I = 0, N = TemporaryBuffers.size(); I != N; ++I) 337d8a5dba9SDouglas Gregor delete TemporaryBuffers[I]; 33868dbaeadSDouglas Gregor 33968dbaeadSDouglas Gregor if (getenv("LIBCLANG_OBJTRACKING")) { 3409aeaa4d6SDouglas Gregor llvm::sys::AtomicDecrement(&CodeCompletionResultObjects); 34168dbaeadSDouglas Gregor fprintf(stderr, "--- %d completion results\n", CodeCompletionResultObjects); 34268dbaeadSDouglas Gregor } 343d5a2a073SDaniel Dunbar } 344d5a2a073SDaniel Dunbar 3458e984da8SDouglas Gregor } // end extern "C" 3468e984da8SDouglas Gregor 3472132584dSDouglas Gregor static unsigned long long getContextsForContextKind( 3482132584dSDouglas Gregor enum CodeCompletionContext::Kind kind, 3492132584dSDouglas Gregor Sema &S) { 3502132584dSDouglas Gregor unsigned long long contexts = 0; 3512132584dSDouglas Gregor switch (kind) { 3522132584dSDouglas Gregor case CodeCompletionContext::CCC_OtherWithMacros: { 3532132584dSDouglas Gregor //We can allow macros here, but we don't know what else is permissible 3542132584dSDouglas Gregor //So we'll say the only thing permissible are macros 3552132584dSDouglas Gregor contexts = CXCompletionContext_MacroName; 3562132584dSDouglas Gregor break; 3572132584dSDouglas Gregor } 3582132584dSDouglas Gregor case CodeCompletionContext::CCC_TopLevel: 3592132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCIvarList: 3602132584dSDouglas Gregor case CodeCompletionContext::CCC_ClassStructUnion: 3612132584dSDouglas Gregor case CodeCompletionContext::CCC_Type: { 3622132584dSDouglas Gregor contexts = CXCompletionContext_AnyType | 3632132584dSDouglas Gregor CXCompletionContext_ObjCInterface; 364bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 3652132584dSDouglas Gregor contexts |= CXCompletionContext_EnumTag | 3662132584dSDouglas Gregor CXCompletionContext_UnionTag | 3672132584dSDouglas Gregor CXCompletionContext_StructTag | 3682132584dSDouglas Gregor CXCompletionContext_ClassTag | 3692132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 3702132584dSDouglas Gregor } 3712132584dSDouglas Gregor break; 3722132584dSDouglas Gregor } 3732132584dSDouglas Gregor case CodeCompletionContext::CCC_Statement: { 3742132584dSDouglas Gregor contexts = CXCompletionContext_AnyType | 3752132584dSDouglas Gregor CXCompletionContext_ObjCInterface | 3762132584dSDouglas Gregor CXCompletionContext_AnyValue; 377bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 3782132584dSDouglas Gregor contexts |= CXCompletionContext_EnumTag | 3792132584dSDouglas Gregor CXCompletionContext_UnionTag | 3802132584dSDouglas Gregor CXCompletionContext_StructTag | 3812132584dSDouglas Gregor CXCompletionContext_ClassTag | 3822132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 3832132584dSDouglas Gregor } 3842132584dSDouglas Gregor break; 3852132584dSDouglas Gregor } 3862132584dSDouglas Gregor case CodeCompletionContext::CCC_Expression: { 3872132584dSDouglas Gregor contexts = CXCompletionContext_AnyValue; 388bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 3892132584dSDouglas Gregor contexts |= CXCompletionContext_AnyType | 3902132584dSDouglas Gregor CXCompletionContext_ObjCInterface | 3912132584dSDouglas Gregor CXCompletionContext_EnumTag | 3922132584dSDouglas Gregor CXCompletionContext_UnionTag | 3932132584dSDouglas Gregor CXCompletionContext_StructTag | 3942132584dSDouglas Gregor CXCompletionContext_ClassTag | 3952132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 3962132584dSDouglas Gregor } 3972132584dSDouglas Gregor break; 3982132584dSDouglas Gregor } 3992132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCMessageReceiver: { 4002132584dSDouglas Gregor contexts = CXCompletionContext_ObjCObjectValue | 4012132584dSDouglas Gregor CXCompletionContext_ObjCSelectorValue | 4022132584dSDouglas Gregor CXCompletionContext_ObjCInterface; 403bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 4042132584dSDouglas Gregor contexts |= CXCompletionContext_CXXClassTypeValue | 4052132584dSDouglas Gregor CXCompletionContext_AnyType | 4062132584dSDouglas Gregor CXCompletionContext_EnumTag | 4072132584dSDouglas Gregor CXCompletionContext_UnionTag | 4082132584dSDouglas Gregor CXCompletionContext_StructTag | 4092132584dSDouglas Gregor CXCompletionContext_ClassTag | 4102132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4112132584dSDouglas Gregor } 4122132584dSDouglas Gregor break; 4132132584dSDouglas Gregor } 4142132584dSDouglas Gregor case CodeCompletionContext::CCC_DotMemberAccess: { 4152132584dSDouglas Gregor contexts = CXCompletionContext_DotMemberAccess; 4162132584dSDouglas Gregor break; 4172132584dSDouglas Gregor } 4182132584dSDouglas Gregor case CodeCompletionContext::CCC_ArrowMemberAccess: { 4192132584dSDouglas Gregor contexts = CXCompletionContext_ArrowMemberAccess; 4202132584dSDouglas Gregor break; 4212132584dSDouglas Gregor } 4222132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCPropertyAccess: { 4232132584dSDouglas Gregor contexts = CXCompletionContext_ObjCPropertyAccess; 4242132584dSDouglas Gregor break; 4252132584dSDouglas Gregor } 4262132584dSDouglas Gregor case CodeCompletionContext::CCC_EnumTag: { 4272132584dSDouglas Gregor contexts = CXCompletionContext_EnumTag | 4282132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4292132584dSDouglas Gregor break; 4302132584dSDouglas Gregor } 4312132584dSDouglas Gregor case CodeCompletionContext::CCC_UnionTag: { 4322132584dSDouglas Gregor contexts = CXCompletionContext_UnionTag | 4332132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4342132584dSDouglas Gregor break; 4352132584dSDouglas Gregor } 4362132584dSDouglas Gregor case CodeCompletionContext::CCC_ClassOrStructTag: { 4372132584dSDouglas Gregor contexts = CXCompletionContext_StructTag | 4382132584dSDouglas Gregor CXCompletionContext_ClassTag | 4392132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4402132584dSDouglas Gregor break; 4412132584dSDouglas Gregor } 4422132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCProtocolName: { 4432132584dSDouglas Gregor contexts = CXCompletionContext_ObjCProtocol; 4442132584dSDouglas Gregor break; 4452132584dSDouglas Gregor } 4462132584dSDouglas Gregor case CodeCompletionContext::CCC_Namespace: { 4472132584dSDouglas Gregor contexts = CXCompletionContext_Namespace; 4482132584dSDouglas Gregor break; 4492132584dSDouglas Gregor } 4502132584dSDouglas Gregor case CodeCompletionContext::CCC_PotentiallyQualifiedName: { 4512132584dSDouglas Gregor contexts = CXCompletionContext_NestedNameSpecifier; 4522132584dSDouglas Gregor break; 4532132584dSDouglas Gregor } 4542132584dSDouglas Gregor case CodeCompletionContext::CCC_MacroNameUse: { 4552132584dSDouglas Gregor contexts = CXCompletionContext_MacroName; 4562132584dSDouglas Gregor break; 4572132584dSDouglas Gregor } 4582132584dSDouglas Gregor case CodeCompletionContext::CCC_NaturalLanguage: { 4592132584dSDouglas Gregor contexts = CXCompletionContext_NaturalLanguage; 4602132584dSDouglas Gregor break; 4612132584dSDouglas Gregor } 4622132584dSDouglas Gregor case CodeCompletionContext::CCC_SelectorName: { 4632132584dSDouglas Gregor contexts = CXCompletionContext_ObjCSelectorName; 4642132584dSDouglas Gregor break; 4652132584dSDouglas Gregor } 4662132584dSDouglas Gregor case CodeCompletionContext::CCC_ParenthesizedExpression: { 4672132584dSDouglas Gregor contexts = CXCompletionContext_AnyType | 4682132584dSDouglas Gregor CXCompletionContext_ObjCInterface | 4692132584dSDouglas Gregor CXCompletionContext_AnyValue; 470bbafb8a7SDavid Blaikie if (S.getLangOpts().CPlusPlus) { 4712132584dSDouglas Gregor contexts |= CXCompletionContext_EnumTag | 4722132584dSDouglas Gregor CXCompletionContext_UnionTag | 4732132584dSDouglas Gregor CXCompletionContext_StructTag | 4742132584dSDouglas Gregor CXCompletionContext_ClassTag | 4752132584dSDouglas Gregor CXCompletionContext_NestedNameSpecifier; 4762132584dSDouglas Gregor } 4772132584dSDouglas Gregor break; 4782132584dSDouglas Gregor } 4792132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCInstanceMessage: { 4802132584dSDouglas Gregor contexts = CXCompletionContext_ObjCInstanceMessage; 4812132584dSDouglas Gregor break; 4822132584dSDouglas Gregor } 4832132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCClassMessage: { 4842132584dSDouglas Gregor contexts = CXCompletionContext_ObjCClassMessage; 4852132584dSDouglas Gregor break; 4862132584dSDouglas Gregor } 4872c595adfSDouglas Gregor case CodeCompletionContext::CCC_ObjCInterfaceName: { 4882132584dSDouglas Gregor contexts = CXCompletionContext_ObjCInterface; 4892132584dSDouglas Gregor break; 4902132584dSDouglas Gregor } 4912132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCCategoryName: { 4922132584dSDouglas Gregor contexts = CXCompletionContext_ObjCCategory; 4932132584dSDouglas Gregor break; 4942132584dSDouglas Gregor } 4952132584dSDouglas Gregor case CodeCompletionContext::CCC_Other: 4962132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCInterface: 4972132584dSDouglas Gregor case CodeCompletionContext::CCC_ObjCImplementation: 4982132584dSDouglas Gregor case CodeCompletionContext::CCC_Name: 4992132584dSDouglas Gregor case CodeCompletionContext::CCC_MacroName: 5002132584dSDouglas Gregor case CodeCompletionContext::CCC_PreprocessorExpression: 5012132584dSDouglas Gregor case CodeCompletionContext::CCC_PreprocessorDirective: 5022132584dSDouglas Gregor case CodeCompletionContext::CCC_TypeQualifiers: { 5032132584dSDouglas Gregor //Only Clang results should be accepted, so we'll set all of the other 5042132584dSDouglas Gregor //context bits to 0 (i.e. the empty set) 5052132584dSDouglas Gregor contexts = CXCompletionContext_Unexposed; 5062132584dSDouglas Gregor break; 5072132584dSDouglas Gregor } 5082132584dSDouglas Gregor case CodeCompletionContext::CCC_Recovery: { 5092132584dSDouglas Gregor //We don't know what the current context is, so we'll return unknown 5102132584dSDouglas Gregor //This is the equivalent of setting all of the other context bits 5112132584dSDouglas Gregor contexts = CXCompletionContext_Unknown; 5122132584dSDouglas Gregor break; 5132132584dSDouglas Gregor } 5142132584dSDouglas Gregor } 5152132584dSDouglas Gregor return contexts; 5162132584dSDouglas Gregor } 5172132584dSDouglas Gregor 5188e984da8SDouglas Gregor namespace { 5198e984da8SDouglas Gregor class CaptureCompletionResults : public CodeCompleteConsumer { 5208e984da8SDouglas Gregor AllocatedCXCodeCompleteResults &AllocatedResults; 5219d7c0fefSArgyrios Kyrtzidis CodeCompletionTUInfo CCTUInfo; 5220e62c1ccSChris Lattner SmallVector<CXCompletionResult, 16> StoredResults; 52363745d59SDouglas Gregor CXTranslationUnit *TU; 5248e984da8SDouglas Gregor public: 5253292d06aSDmitri Gribenko CaptureCompletionResults(const CodeCompleteOptions &Opts, 5263292d06aSDmitri Gribenko AllocatedCXCodeCompleteResults &Results, 52763745d59SDouglas Gregor CXTranslationUnit *TranslationUnit) 5283292d06aSDmitri Gribenko : CodeCompleteConsumer(Opts, false), 5299d7c0fefSArgyrios Kyrtzidis AllocatedResults(Results), CCTUInfo(Results.CodeCompletionAllocator), 5309d7c0fefSArgyrios Kyrtzidis TU(TranslationUnit) { } 53136e3b5c7SDouglas Gregor ~CaptureCompletionResults() { Finish(); } 5328e984da8SDouglas Gregor 53300c37ef0SDouglas Gregor virtual void ProcessCodeCompleteResults(Sema &S, 53400c37ef0SDouglas Gregor CodeCompletionContext Context, 535276321a9SJohn McCall CodeCompletionResult *Results, 5368e984da8SDouglas Gregor unsigned NumResults) { 53736e3b5c7SDouglas Gregor StoredResults.reserve(StoredResults.size() + NumResults); 5388e984da8SDouglas Gregor for (unsigned I = 0; I != NumResults; ++I) { 539b278aafbSDouglas Gregor CodeCompletionString *StoredCompletion 5409d7c0fefSArgyrios Kyrtzidis = Results[I].CreateCodeCompletionString(S, getAllocator(), 5413292d06aSDmitri Gribenko getCodeCompletionTUInfo(), 5423292d06aSDmitri Gribenko includeBriefComments()); 54336e3b5c7SDouglas Gregor 54436e3b5c7SDouglas Gregor CXCompletionResult R; 54536e3b5c7SDouglas Gregor R.CursorKind = Results[I].CursorKind; 54636e3b5c7SDouglas Gregor R.CompletionString = StoredCompletion; 54736e3b5c7SDouglas Gregor StoredResults.push_back(R); 5488e984da8SDouglas Gregor } 5492132584dSDouglas Gregor 55063745d59SDouglas Gregor enum CodeCompletionContext::Kind contextKind = Context.getKind(); 5512132584dSDouglas Gregor 55263745d59SDouglas Gregor AllocatedResults.ContextKind = contextKind; 55363745d59SDouglas Gregor AllocatedResults.Contexts = getContextsForContextKind(contextKind, S); 55463745d59SDouglas Gregor 555ea777403SDouglas Gregor AllocatedResults.Selector = ""; 556ea777403SDouglas Gregor if (Context.getNumSelIdents() > 0) { 557ea777403SDouglas Gregor for (unsigned i = 0; i < Context.getNumSelIdents(); i++) { 558ea777403SDouglas Gregor IdentifierInfo *selIdent = Context.getSelIdents()[i]; 559ea777403SDouglas Gregor if (selIdent != NULL) { 560ea777403SDouglas Gregor StringRef selectorString = Context.getSelIdents()[i]->getName(); 561632500cbSBenjamin Kramer AllocatedResults.Selector += selectorString; 562ea777403SDouglas Gregor } 563ea777403SDouglas Gregor AllocatedResults.Selector += ":"; 564ea777403SDouglas Gregor } 565ea777403SDouglas Gregor } 566ea777403SDouglas Gregor 56763745d59SDouglas Gregor QualType baseType = Context.getBaseType(); 56863745d59SDouglas Gregor NamedDecl *D = NULL; 56963745d59SDouglas Gregor 57063745d59SDouglas Gregor if (!baseType.isNull()) { 57163745d59SDouglas Gregor // Get the declaration for a class/struct/union/enum type 57263745d59SDouglas Gregor if (const TagType *Tag = baseType->getAs<TagType>()) 57363745d59SDouglas Gregor D = Tag->getDecl(); 57463745d59SDouglas Gregor // Get the @interface declaration for a (possibly-qualified) Objective-C 57563745d59SDouglas Gregor // object pointer type, e.g., NSString* 57663745d59SDouglas Gregor else if (const ObjCObjectPointerType *ObjPtr = 57763745d59SDouglas Gregor baseType->getAs<ObjCObjectPointerType>()) 57863745d59SDouglas Gregor D = ObjPtr->getInterfaceDecl(); 57963745d59SDouglas Gregor // Get the @interface declaration for an Objective-C object type 58063745d59SDouglas Gregor else if (const ObjCObjectType *Obj = baseType->getAs<ObjCObjectType>()) 58163745d59SDouglas Gregor D = Obj->getInterface(); 58263745d59SDouglas Gregor // Get the class for a C++ injected-class-name 58363745d59SDouglas Gregor else if (const InjectedClassNameType *Injected = 58463745d59SDouglas Gregor baseType->getAs<InjectedClassNameType>()) 58563745d59SDouglas Gregor D = Injected->getDecl(); 58663745d59SDouglas Gregor } 58763745d59SDouglas Gregor 58863745d59SDouglas Gregor if (D != NULL) { 58963745d59SDouglas Gregor CXCursor cursor = cxcursor::MakeCXCursor(D, *TU); 59063745d59SDouglas Gregor 59163745d59SDouglas Gregor CXCursorKind cursorKind = clang_getCursorKind(cursor); 59263745d59SDouglas Gregor CXString cursorUSR = clang_getCursorUSR(cursor); 59363745d59SDouglas Gregor 5945b8ad406STed Kremenek // Normally, clients of CXString shouldn't care whether or not 5955b8ad406STed Kremenek // a CXString is managed by a pool or by explicitly malloc'ed memory. 5965b8ad406STed Kremenek // However, there are cases when AllocatedResults outlives the 5975b8ad406STed Kremenek // CXTranslationUnit. This is a workaround that failure mode. 5985b8ad406STed Kremenek if (cxstring::isManagedByPool(cursorUSR)) { 5995b8ad406STed Kremenek CXString heapStr = 6005b8ad406STed Kremenek cxstring::createCXString(clang_getCString(cursorUSR), true); 6015b8ad406STed Kremenek clang_disposeString(cursorUSR); 6025b8ad406STed Kremenek cursorUSR = heapStr; 6035b8ad406STed Kremenek } 6045b8ad406STed Kremenek 60563745d59SDouglas Gregor AllocatedResults.ContainerKind = cursorKind; 60663745d59SDouglas Gregor AllocatedResults.ContainerUSR = cursorUSR; 6075b8ad406STed Kremenek 60863745d59SDouglas Gregor const Type *type = baseType.getTypePtrOrNull(); 60963745d59SDouglas Gregor if (type != NULL) { 61063745d59SDouglas Gregor AllocatedResults.ContainerIsIncomplete = type->isIncompleteType(); 61163745d59SDouglas Gregor } 61263745d59SDouglas Gregor else { 61363745d59SDouglas Gregor AllocatedResults.ContainerIsIncomplete = 1; 61463745d59SDouglas Gregor } 61563745d59SDouglas Gregor } 61663745d59SDouglas Gregor else { 61763745d59SDouglas Gregor AllocatedResults.ContainerKind = CXCursor_InvalidCode; 61863745d59SDouglas Gregor AllocatedResults.ContainerUSR = createCXString(""); 61963745d59SDouglas Gregor AllocatedResults.ContainerIsIncomplete = 1; 62063745d59SDouglas Gregor } 6218e984da8SDouglas Gregor } 62249f67ce4SDouglas Gregor 62336e3b5c7SDouglas Gregor virtual void ProcessOverloadCandidates(Sema &S, unsigned CurrentArg, 62436e3b5c7SDouglas Gregor OverloadCandidate *Candidates, 62536e3b5c7SDouglas Gregor unsigned NumCandidates) { 62636e3b5c7SDouglas Gregor StoredResults.reserve(StoredResults.size() + NumCandidates); 62736e3b5c7SDouglas Gregor for (unsigned I = 0; I != NumCandidates; ++I) { 628b278aafbSDouglas Gregor CodeCompletionString *StoredCompletion 6299d7c0fefSArgyrios Kyrtzidis = Candidates[I].CreateSignatureString(CurrentArg, S, getAllocator(), 6309d7c0fefSArgyrios Kyrtzidis getCodeCompletionTUInfo()); 63136e3b5c7SDouglas Gregor 63236e3b5c7SDouglas Gregor CXCompletionResult R; 63336e3b5c7SDouglas Gregor R.CursorKind = CXCursor_NotImplemented; 63436e3b5c7SDouglas Gregor R.CompletionString = StoredCompletion; 63536e3b5c7SDouglas Gregor StoredResults.push_back(R); 63636e3b5c7SDouglas Gregor } 63736e3b5c7SDouglas Gregor } 63836e3b5c7SDouglas Gregor 639bcbf46c7SDouglas Gregor virtual CodeCompletionAllocator &getAllocator() { 6409d7c0fefSArgyrios Kyrtzidis return *AllocatedResults.CodeCompletionAllocator; 641b278aafbSDouglas Gregor } 642b278aafbSDouglas Gregor 6439d7c0fefSArgyrios Kyrtzidis virtual CodeCompletionTUInfo &getCodeCompletionTUInfo() { return CCTUInfo; } 6449d7c0fefSArgyrios Kyrtzidis 64536e3b5c7SDouglas Gregor private: 64636e3b5c7SDouglas Gregor void Finish() { 64736e3b5c7SDouglas Gregor AllocatedResults.Results = new CXCompletionResult [StoredResults.size()]; 64836e3b5c7SDouglas Gregor AllocatedResults.NumResults = StoredResults.size(); 64936e3b5c7SDouglas Gregor std::memcpy(AllocatedResults.Results, StoredResults.data(), 65036e3b5c7SDouglas Gregor StoredResults.size() * sizeof(CXCompletionResult)); 65136e3b5c7SDouglas Gregor StoredResults.clear(); 65236e3b5c7SDouglas Gregor } 6538e984da8SDouglas Gregor }; 6548e984da8SDouglas Gregor } 6558e984da8SDouglas Gregor 6568e984da8SDouglas Gregor extern "C" { 65777af1c56SDaniel Dunbar struct CodeCompleteAtInfo { 65877af1c56SDaniel Dunbar CXTranslationUnit TU; 65977af1c56SDaniel Dunbar const char *complete_filename; 66077af1c56SDaniel Dunbar unsigned complete_line; 66177af1c56SDaniel Dunbar unsigned complete_column; 66277af1c56SDaniel Dunbar struct CXUnsavedFile *unsaved_files; 66377af1c56SDaniel Dunbar unsigned num_unsaved_files; 66477af1c56SDaniel Dunbar unsigned options; 66577af1c56SDaniel Dunbar CXCodeCompleteResults *result; 66677af1c56SDaniel Dunbar }; 66777af1c56SDaniel Dunbar void clang_codeCompleteAt_Impl(void *UserData) { 66877af1c56SDaniel Dunbar CodeCompleteAtInfo *CCAI = static_cast<CodeCompleteAtInfo*>(UserData); 66977af1c56SDaniel Dunbar CXTranslationUnit TU = CCAI->TU; 67077af1c56SDaniel Dunbar const char *complete_filename = CCAI->complete_filename; 67177af1c56SDaniel Dunbar unsigned complete_line = CCAI->complete_line; 67277af1c56SDaniel Dunbar unsigned complete_column = CCAI->complete_column; 67377af1c56SDaniel Dunbar struct CXUnsavedFile *unsaved_files = CCAI->unsaved_files; 67477af1c56SDaniel Dunbar unsigned num_unsaved_files = CCAI->num_unsaved_files; 67577af1c56SDaniel Dunbar unsigned options = CCAI->options; 6763292d06aSDmitri Gribenko bool IncludeBriefComments = options & CXCodeComplete_IncludeBriefComments; 67777af1c56SDaniel Dunbar CCAI->result = 0; 67877af1c56SDaniel Dunbar 6798e984da8SDouglas Gregor #ifdef UDP_CODE_COMPLETION_LOGGER 6808e984da8SDouglas Gregor #ifdef UDP_CODE_COMPLETION_LOGGER_PORT 6818e984da8SDouglas Gregor const llvm::TimeRecord &StartTime = llvm::TimeRecord::getCurrentTime(); 6828e984da8SDouglas Gregor #endif 6838e984da8SDouglas Gregor #endif 6848e984da8SDouglas Gregor 6858e984da8SDouglas Gregor bool EnableLogging = getenv("LIBCLANG_CODE_COMPLETION_LOGGING") != 0; 6868e984da8SDouglas Gregor 68791554285STed Kremenek ASTUnit *AST = static_cast<ASTUnit *>(TU->TUData); 6888e984da8SDouglas Gregor if (!AST) 68977af1c56SDaniel Dunbar return; 6908e984da8SDouglas Gregor 6917317a5cbSArgyrios Kyrtzidis CIndexer *CXXIdx = (CIndexer*)TU->CIdx; 6927317a5cbSArgyrios Kyrtzidis if (CXXIdx->isOptEnabled(CXGlobalOpt_ThreadBackgroundPriorityForEditing)) 69358d5f3fdSArgyrios Kyrtzidis setThreadBackgroundPriority(); 6947317a5cbSArgyrios Kyrtzidis 695ca5b0539SDouglas Gregor ASTUnit::ConcurrencyCheck Check(*AST); 696ca5b0539SDouglas Gregor 6978e984da8SDouglas Gregor // Perform the remapping of source files. 6980e62c1ccSChris Lattner SmallVector<ASTUnit::RemappedFile, 4> RemappedFiles; 6998e984da8SDouglas Gregor for (unsigned I = 0; I != num_unsaved_files; ++I) { 7000e62c1ccSChris Lattner StringRef Data(unsaved_files[I].Contents, unsaved_files[I].Length); 7018e984da8SDouglas Gregor const llvm::MemoryBuffer *Buffer 7028e984da8SDouglas Gregor = llvm::MemoryBuffer::getMemBufferCopy(Data, unsaved_files[I].Filename); 7038e984da8SDouglas Gregor RemappedFiles.push_back(std::make_pair(unsaved_files[I].Filename, 7048e984da8SDouglas Gregor Buffer)); 7058e984da8SDouglas Gregor } 7068e984da8SDouglas Gregor 7078e984da8SDouglas Gregor if (EnableLogging) { 7088e984da8SDouglas Gregor // FIXME: Add logging. 7098e984da8SDouglas Gregor } 7108e984da8SDouglas Gregor 7118e984da8SDouglas Gregor // Parse the resulting source file to find code-completion results. 712c30dcecbSAnders Carlsson AllocatedCXCodeCompleteResults *Results = 713c30dcecbSAnders Carlsson new AllocatedCXCodeCompleteResults(AST->getFileSystemOpts()); 7148e984da8SDouglas Gregor Results->Results = 0; 7158e984da8SDouglas Gregor Results->NumResults = 0; 7168e984da8SDouglas Gregor 7178e984da8SDouglas Gregor // Create a code-completion consumer to capture the results. 7183292d06aSDmitri Gribenko CodeCompleteOptions Opts; 7193292d06aSDmitri Gribenko Opts.IncludeBriefComments = IncludeBriefComments; 7203292d06aSDmitri Gribenko CaptureCompletionResults Capture(Opts, *Results, &TU); 7218e984da8SDouglas Gregor 7228e984da8SDouglas Gregor // Perform completion. 7238e984da8SDouglas Gregor AST->CodeComplete(complete_filename, complete_line, complete_column, 724b68bc59aSDouglas Gregor RemappedFiles.data(), RemappedFiles.size(), 725b68bc59aSDouglas Gregor (options & CXCodeComplete_IncludeMacros), 726b68bc59aSDouglas Gregor (options & CXCodeComplete_IncludeCodePatterns), 7273292d06aSDmitri Gribenko IncludeBriefComments, 728b68bc59aSDouglas Gregor Capture, 7295e14d39aSTed Kremenek *Results->Diag, Results->LangOpts, *Results->SourceMgr, 7305e14d39aSTed Kremenek *Results->FileMgr, Results->Diagnostics, 731b97b666cSDouglas Gregor Results->TemporaryBuffers); 7328e984da8SDouglas Gregor 733162b712dSDouglas Gregor // Keep a reference to the allocator used for cached global completions, so 734162b712dSDouglas Gregor // that we can be sure that the memory used by our code completion strings 735162b712dSDouglas Gregor // doesn't get freed due to subsequent reparses (while the code completion 736162b712dSDouglas Gregor // results are still active). 737162b712dSDouglas Gregor Results->CachedCompletionAllocator = AST->getCachedCompletionAllocator(); 738162b712dSDouglas Gregor 7398e984da8SDouglas Gregor 7408e984da8SDouglas Gregor 7418e984da8SDouglas Gregor #ifdef UDP_CODE_COMPLETION_LOGGER 7428e984da8SDouglas Gregor #ifdef UDP_CODE_COMPLETION_LOGGER_PORT 7438e984da8SDouglas Gregor const llvm::TimeRecord &EndTime = llvm::TimeRecord::getCurrentTime(); 744f1a13f29SDylan Noblesmith SmallString<256> LogResult; 7458e984da8SDouglas Gregor llvm::raw_svector_ostream os(LogResult); 7468e984da8SDouglas Gregor 7478e984da8SDouglas Gregor // Figure out the language and whether or not it uses PCH. 7488e984da8SDouglas Gregor const char *lang = 0; 7498e984da8SDouglas Gregor bool usesPCH = false; 7508e984da8SDouglas Gregor 7518e984da8SDouglas Gregor for (std::vector<const char*>::iterator I = argv.begin(), E = argv.end(); 7528e984da8SDouglas Gregor I != E; ++I) { 7538e984da8SDouglas Gregor if (*I == 0) 7548e984da8SDouglas Gregor continue; 7558e984da8SDouglas Gregor if (strcmp(*I, "-x") == 0) { 7568e984da8SDouglas Gregor if (I + 1 != E) { 7578e984da8SDouglas Gregor lang = *(++I); 7588e984da8SDouglas Gregor continue; 7598e984da8SDouglas Gregor } 7608e984da8SDouglas Gregor } 7618e984da8SDouglas Gregor else if (strcmp(*I, "-include") == 0) { 7628e984da8SDouglas Gregor if (I+1 != E) { 7638e984da8SDouglas Gregor const char *arg = *(++I); 764f1a13f29SDylan Noblesmith SmallString<512> pchName; 7658e984da8SDouglas Gregor { 7668e984da8SDouglas Gregor llvm::raw_svector_ostream os(pchName); 7678e984da8SDouglas Gregor os << arg << ".pth"; 7688e984da8SDouglas Gregor } 7698e984da8SDouglas Gregor pchName.push_back('\0'); 7708e984da8SDouglas Gregor struct stat stat_results; 771ea777403SDouglas Gregor if (stat(pchName.str().c_str(), &stat_results) == 0) 7728e984da8SDouglas Gregor usesPCH = true; 7738e984da8SDouglas Gregor continue; 7748e984da8SDouglas Gregor } 7758e984da8SDouglas Gregor } 7768e984da8SDouglas Gregor } 7778e984da8SDouglas Gregor 7788e984da8SDouglas Gregor os << "{ "; 7798e984da8SDouglas Gregor os << "\"wall\": " << (EndTime.getWallTime() - StartTime.getWallTime()); 7808e984da8SDouglas Gregor os << ", \"numRes\": " << Results->NumResults; 7818e984da8SDouglas Gregor os << ", \"diags\": " << Results->Diagnostics.size(); 7828e984da8SDouglas Gregor os << ", \"pch\": " << (usesPCH ? "true" : "false"); 7838e984da8SDouglas Gregor os << ", \"lang\": \"" << (lang ? lang : "<unknown>") << '"'; 7848e984da8SDouglas Gregor const char *name = getlogin(); 7858e984da8SDouglas Gregor os << ", \"user\": \"" << (name ? name : "unknown") << '"'; 7868e984da8SDouglas Gregor os << ", \"clangVer\": \"" << getClangFullVersion() << '"'; 7878e984da8SDouglas Gregor os << " }"; 7888e984da8SDouglas Gregor 7890e62c1ccSChris Lattner StringRef res = os.str(); 7908e984da8SDouglas Gregor if (res.size() > 0) { 7918e984da8SDouglas Gregor do { 7928e984da8SDouglas Gregor // Setup the UDP socket. 7938e984da8SDouglas Gregor struct sockaddr_in servaddr; 7948e984da8SDouglas Gregor bzero(&servaddr, sizeof(servaddr)); 7958e984da8SDouglas Gregor servaddr.sin_family = AF_INET; 7968e984da8SDouglas Gregor servaddr.sin_port = htons(UDP_CODE_COMPLETION_LOGGER_PORT); 7978e984da8SDouglas Gregor if (inet_pton(AF_INET, UDP_CODE_COMPLETION_LOGGER, 7988e984da8SDouglas Gregor &servaddr.sin_addr) <= 0) 7998e984da8SDouglas Gregor break; 8008e984da8SDouglas Gregor 8018e984da8SDouglas Gregor int sockfd = socket(AF_INET, SOCK_DGRAM, 0); 8028e984da8SDouglas Gregor if (sockfd < 0) 8038e984da8SDouglas Gregor break; 8048e984da8SDouglas Gregor 8058e984da8SDouglas Gregor sendto(sockfd, res.data(), res.size(), 0, 8068e984da8SDouglas Gregor (struct sockaddr *)&servaddr, sizeof(servaddr)); 8078e984da8SDouglas Gregor close(sockfd); 8088e984da8SDouglas Gregor } 8098e984da8SDouglas Gregor while (false); 8108e984da8SDouglas Gregor } 8118e984da8SDouglas Gregor #endif 8128e984da8SDouglas Gregor #endif 81377af1c56SDaniel Dunbar CCAI->result = Results; 81477af1c56SDaniel Dunbar } 81577af1c56SDaniel Dunbar CXCodeCompleteResults *clang_codeCompleteAt(CXTranslationUnit TU, 81677af1c56SDaniel Dunbar const char *complete_filename, 81777af1c56SDaniel Dunbar unsigned complete_line, 81877af1c56SDaniel Dunbar unsigned complete_column, 81977af1c56SDaniel Dunbar struct CXUnsavedFile *unsaved_files, 82077af1c56SDaniel Dunbar unsigned num_unsaved_files, 82177af1c56SDaniel Dunbar unsigned options) { 82277af1c56SDaniel Dunbar CodeCompleteAtInfo CCAI = { TU, complete_filename, complete_line, 82377af1c56SDaniel Dunbar complete_column, unsaved_files, num_unsaved_files, 82477af1c56SDaniel Dunbar options, 0 }; 82577af1c56SDaniel Dunbar llvm::CrashRecoveryContext CRC; 82677af1c56SDaniel Dunbar 827b7383e6dSDaniel Dunbar if (!RunSafely(CRC, clang_codeCompleteAt_Impl, &CCAI)) { 82877af1c56SDaniel Dunbar fprintf(stderr, "libclang: crash detected in code completion\n"); 82991554285STed Kremenek static_cast<ASTUnit *>(TU->TUData)->setUnsafeToFree(true); 83077af1c56SDaniel Dunbar return 0; 831af44c781SDouglas Gregor } else if (getenv("LIBCLANG_RESOURCE_USAGE")) 832af44c781SDouglas Gregor PrintLibclangResourceUsage(TU); 83377af1c56SDaniel Dunbar 83477af1c56SDaniel Dunbar return CCAI.result; 8358e984da8SDouglas Gregor } 8368e984da8SDouglas Gregor 837b68bc59aSDouglas Gregor unsigned clang_defaultCodeCompleteOptions(void) { 838b68bc59aSDouglas Gregor return CXCodeComplete_IncludeMacros; 839b68bc59aSDouglas Gregor } 840b68bc59aSDouglas Gregor 841d5a2a073SDaniel Dunbar void clang_disposeCodeCompleteResults(CXCodeCompleteResults *ResultsIn) { 842d5a2a073SDaniel Dunbar if (!ResultsIn) 843d5a2a073SDaniel Dunbar return; 844d5a2a073SDaniel Dunbar 845d5a2a073SDaniel Dunbar AllocatedCXCodeCompleteResults *Results 846d5a2a073SDaniel Dunbar = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn); 847d5a2a073SDaniel Dunbar delete Results; 848d5a2a073SDaniel Dunbar } 849d5a2a073SDaniel Dunbar 850d5a2a073SDaniel Dunbar unsigned 851d5a2a073SDaniel Dunbar clang_codeCompleteGetNumDiagnostics(CXCodeCompleteResults *ResultsIn) { 852d5a2a073SDaniel Dunbar AllocatedCXCodeCompleteResults *Results 853d5a2a073SDaniel Dunbar = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn); 854d5a2a073SDaniel Dunbar if (!Results) 855d5a2a073SDaniel Dunbar return 0; 856d5a2a073SDaniel Dunbar 857d5a2a073SDaniel Dunbar return Results->Diagnostics.size(); 858d5a2a073SDaniel Dunbar } 859d5a2a073SDaniel Dunbar 860d5a2a073SDaniel Dunbar CXDiagnostic 861d5a2a073SDaniel Dunbar clang_codeCompleteGetDiagnostic(CXCodeCompleteResults *ResultsIn, 862d5a2a073SDaniel Dunbar unsigned Index) { 863d5a2a073SDaniel Dunbar AllocatedCXCodeCompleteResults *Results 864d5a2a073SDaniel Dunbar = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn); 865d5a2a073SDaniel Dunbar if (!Results || Index >= Results->Diagnostics.size()) 866d5a2a073SDaniel Dunbar return 0; 867d5a2a073SDaniel Dunbar 868d5a2a073SDaniel Dunbar return new CXStoredDiagnostic(Results->Diagnostics[Index], Results->LangOpts); 869d5a2a073SDaniel Dunbar } 870d5a2a073SDaniel Dunbar 8712132584dSDouglas Gregor unsigned long long 8722132584dSDouglas Gregor clang_codeCompleteGetContexts(CXCodeCompleteResults *ResultsIn) { 8732132584dSDouglas Gregor AllocatedCXCodeCompleteResults *Results 8742132584dSDouglas Gregor = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn); 8752132584dSDouglas Gregor if (!Results) 8762132584dSDouglas Gregor return 0; 8772132584dSDouglas Gregor 8782132584dSDouglas Gregor return Results->Contexts; 8792132584dSDouglas Gregor } 880d5a2a073SDaniel Dunbar 88163745d59SDouglas Gregor enum CXCursorKind clang_codeCompleteGetContainerKind( 88263745d59SDouglas Gregor CXCodeCompleteResults *ResultsIn, 88363745d59SDouglas Gregor unsigned *IsIncomplete) { 88463745d59SDouglas Gregor AllocatedCXCodeCompleteResults *Results = 88563745d59SDouglas Gregor static_cast<AllocatedCXCodeCompleteResults *>(ResultsIn); 88663745d59SDouglas Gregor if (!Results) 88763745d59SDouglas Gregor return CXCursor_InvalidCode; 88863745d59SDouglas Gregor 88963745d59SDouglas Gregor if (IsIncomplete != NULL) { 89063745d59SDouglas Gregor *IsIncomplete = Results->ContainerIsIncomplete; 89163745d59SDouglas Gregor } 89263745d59SDouglas Gregor 89363745d59SDouglas Gregor return Results->ContainerKind; 89463745d59SDouglas Gregor } 89563745d59SDouglas Gregor 89663745d59SDouglas Gregor CXString clang_codeCompleteGetContainerUSR(CXCodeCompleteResults *ResultsIn) { 89763745d59SDouglas Gregor AllocatedCXCodeCompleteResults *Results = 89863745d59SDouglas Gregor static_cast<AllocatedCXCodeCompleteResults *>(ResultsIn); 89963745d59SDouglas Gregor if (!Results) 90063745d59SDouglas Gregor return createCXString(""); 90163745d59SDouglas Gregor 90263745d59SDouglas Gregor return createCXString(clang_getCString(Results->ContainerUSR)); 90363745d59SDouglas Gregor } 90463745d59SDouglas Gregor 905ea777403SDouglas Gregor 906ea777403SDouglas Gregor CXString clang_codeCompleteGetObjCSelector(CXCodeCompleteResults *ResultsIn) { 907ea777403SDouglas Gregor AllocatedCXCodeCompleteResults *Results = 908ea777403SDouglas Gregor static_cast<AllocatedCXCodeCompleteResults *>(ResultsIn); 909ea777403SDouglas Gregor if (!Results) 910ea777403SDouglas Gregor return createCXString(""); 911ea777403SDouglas Gregor 912ea777403SDouglas Gregor return createCXString(Results->Selector); 913ea777403SDouglas Gregor } 914ea777403SDouglas Gregor 915d5a2a073SDaniel Dunbar } // end extern "C" 91649f67ce4SDouglas Gregor 9178e3e8743SDouglas Gregor /// \brief Simple utility function that appends a \p New string to the given 9188e3e8743SDouglas Gregor /// \p Old string, using the \p Buffer for storage. 9198e3e8743SDouglas Gregor /// 9208e3e8743SDouglas Gregor /// \param Old The string to which we are appending. This parameter will be 9218e3e8743SDouglas Gregor /// updated to reflect the complete string. 9228e3e8743SDouglas Gregor /// 9238e3e8743SDouglas Gregor /// 9248e3e8743SDouglas Gregor /// \param New The string to append to \p Old. 9258e3e8743SDouglas Gregor /// 9268e3e8743SDouglas Gregor /// \param Buffer A buffer that stores the actual, concatenated string. It will 9278e3e8743SDouglas Gregor /// be used if the old string is already-non-empty. 9280e62c1ccSChris Lattner static void AppendToString(StringRef &Old, StringRef New, 929f1a13f29SDylan Noblesmith SmallString<256> &Buffer) { 9308e3e8743SDouglas Gregor if (Old.empty()) { 9318e3e8743SDouglas Gregor Old = New; 9328e3e8743SDouglas Gregor return; 9338e3e8743SDouglas Gregor } 9348e3e8743SDouglas Gregor 9358e3e8743SDouglas Gregor if (Buffer.empty()) 9368e3e8743SDouglas Gregor Buffer.append(Old.begin(), Old.end()); 9378e3e8743SDouglas Gregor Buffer.append(New.begin(), New.end()); 9388e3e8743SDouglas Gregor Old = Buffer.str(); 9398e3e8743SDouglas Gregor } 9408e3e8743SDouglas Gregor 9418e3e8743SDouglas Gregor /// \brief Get the typed-text blocks from the given code-completion string 9428e3e8743SDouglas Gregor /// and return them as a single string. 9438e3e8743SDouglas Gregor /// 9448e3e8743SDouglas Gregor /// \param String The code-completion string whose typed-text blocks will be 9458e3e8743SDouglas Gregor /// concatenated. 9468e3e8743SDouglas Gregor /// 9478e3e8743SDouglas Gregor /// \param Buffer A buffer used for storage of the completed name. 9480e62c1ccSChris Lattner static StringRef GetTypedName(CodeCompletionString *String, 949f1a13f29SDylan Noblesmith SmallString<256> &Buffer) { 9500e62c1ccSChris Lattner StringRef Result; 9518e3e8743SDouglas Gregor for (CodeCompletionString::iterator C = String->begin(), CEnd = String->end(); 9528e3e8743SDouglas Gregor C != CEnd; ++C) { 9538e3e8743SDouglas Gregor if (C->Kind == CodeCompletionString::CK_TypedText) 9548e3e8743SDouglas Gregor AppendToString(Result, C->Text, Buffer); 9558e3e8743SDouglas Gregor } 9568e3e8743SDouglas Gregor 9578e3e8743SDouglas Gregor return Result; 9588e3e8743SDouglas Gregor } 9598e3e8743SDouglas Gregor 96049f67ce4SDouglas Gregor namespace { 96149f67ce4SDouglas Gregor struct OrderCompletionResults { 96249f67ce4SDouglas Gregor bool operator()(const CXCompletionResult &XR, 96349f67ce4SDouglas Gregor const CXCompletionResult &YR) const { 964b278aafbSDouglas Gregor CodeCompletionString *X 965b278aafbSDouglas Gregor = (CodeCompletionString *)XR.CompletionString; 966b278aafbSDouglas Gregor CodeCompletionString *Y 967b278aafbSDouglas Gregor = (CodeCompletionString *)YR.CompletionString; 96849f67ce4SDouglas Gregor 969f1a13f29SDylan Noblesmith SmallString<256> XBuffer; 9700e62c1ccSChris Lattner StringRef XText = GetTypedName(X, XBuffer); 971f1a13f29SDylan Noblesmith SmallString<256> YBuffer; 9720e62c1ccSChris Lattner StringRef YText = GetTypedName(Y, YBuffer); 97349f67ce4SDouglas Gregor 9748e3e8743SDouglas Gregor if (XText.empty() || YText.empty()) 9758e3e8743SDouglas Gregor return !XText.empty(); 9768e3e8743SDouglas Gregor 9778e3e8743SDouglas Gregor int result = XText.compare_lower(YText); 97849f67ce4SDouglas Gregor if (result < 0) 97949f67ce4SDouglas Gregor return true; 98049f67ce4SDouglas Gregor if (result > 0) 98149f67ce4SDouglas Gregor return false; 98249f67ce4SDouglas Gregor 9838e3e8743SDouglas Gregor result = XText.compare(YText); 984c7a7d92aSDouglas Gregor return result < 0; 98549f67ce4SDouglas Gregor } 98649f67ce4SDouglas Gregor }; 98749f67ce4SDouglas Gregor } 98849f67ce4SDouglas Gregor 98949f67ce4SDouglas Gregor extern "C" { 99049f67ce4SDouglas Gregor void clang_sortCodeCompletionResults(CXCompletionResult *Results, 99149f67ce4SDouglas Gregor unsigned NumResults) { 99249f67ce4SDouglas Gregor std::stable_sort(Results, Results + NumResults, OrderCompletionResults()); 99349f67ce4SDouglas Gregor } 99449f67ce4SDouglas Gregor } 995