Index.h revision 8bd5a69999cfd06b6b5a58fdd04e4f802b2df5a4
1/*===-- clang-c/Index.h - Indexing Public C Interface -------------*- C -*-===*\ 2|* *| 3|* The LLVM Compiler Infrastructure *| 4|* *| 5|* This file is distributed under the University of Illinois Open Source *| 6|* License. See LICENSE.TXT for details. *| 7|* *| 8|*===----------------------------------------------------------------------===*| 9|* *| 10|* This header provides a public inferface to a Clang library for extracting *| 11|* high-level symbol information from source files without exposing the full *| 12|* Clang C++ API. *| 13|* *| 14\*===----------------------------------------------------------------------===*/ 15 16#ifndef CLANG_C_INDEX_H 17#define CLANG_C_INDEX_H 18 19#include <sys/stat.h> 20#include <time.h> 21#include <stdio.h> 22 23#ifdef __cplusplus 24extern "C" { 25#endif 26 27/* MSVC DLL import/export. */ 28#ifdef _MSC_VER 29 #ifdef _CINDEX_LIB_ 30 #define CINDEX_LINKAGE __declspec(dllexport) 31 #else 32 #define CINDEX_LINKAGE __declspec(dllimport) 33 #endif 34#else 35 #define CINDEX_LINKAGE 36#endif 37 38/** \defgroup CINDEX C Interface to Clang 39 * 40 * The C Interface to Clang provides a relatively small API that exposes 41 * facilities for parsing source code into an abstract syntax tree (AST), 42 * loading already-parsed ASTs, traversing the AST, associating 43 * physical source locations with elements within the AST, and other 44 * facilities that support Clang-based development tools. 45 * 46 * This C interface to Clang will never provide all of the information 47 * representation stored in Clang's C++ AST, nor should it: the intent is to 48 * maintain an API that is relatively stable from one release to the next, 49 * providing only the basic functionality needed to support development tools. 50 * 51 * To avoid namespace pollution, data types are prefixed with "CX" and 52 * functions are prefixed with "clang_". 53 * 54 * @{ 55 */ 56 57/** 58 * \brief An "index" that consists of a set of translation units that would 59 * typically be linked together into an executable or library. 60 */ 61typedef void *CXIndex; 62 63/** 64 * \brief A single translation unit, which resides in an index. 65 */ 66typedef void *CXTranslationUnit; /* A translation unit instance. */ 67 68/** 69 * \brief Opaque pointer representing client data that will be passed through 70 * to various callbacks and visitors. 71 */ 72typedef void *CXClientData; 73 74/** 75 * \brief Provides the contents of a file that has not yet been saved to disk. 76 * 77 * Each CXUnsavedFile instance provides the name of a file on the 78 * system along with the current contents of that file that have not 79 * yet been saved to disk. 80 */ 81struct CXUnsavedFile { 82 /** 83 * \brief The file whose contents have not yet been saved. 84 * 85 * This file must already exist in the file system. 86 */ 87 const char *Filename; 88 89 /** 90 * \brief A buffer containing the unsaved contents of this file. 91 */ 92 const char *Contents; 93 94 /** 95 * \brief The length of the unsaved contents of this buffer. 96 */ 97 unsigned long Length; 98}; 99 100/** 101 * \defgroup CINDEX_STRING String manipulation routines 102 * 103 * @{ 104 */ 105 106/** 107 * \brief A character string. 108 * 109 * The \c CXString type is used to return strings from the interface when 110 * the ownership of that string might different from one call to the next. 111 * Use \c clang_getCString() to retrieve the string data and, once finished 112 * with the string data, call \c clang_disposeString() to free the string. 113 */ 114typedef struct { 115 const char *Spelling; 116 /* A 1 value indicates the clang_ indexing API needed to allocate the string 117 (and it must be freed by clang_disposeString()). */ 118 int MustFreeString; 119} CXString; 120 121/** 122 * \brief Retrieve the character data associated with the given string. 123 */ 124CINDEX_LINKAGE const char *clang_getCString(CXString string); 125 126/** 127 * \brief Free the given string, 128 */ 129CINDEX_LINKAGE void clang_disposeString(CXString string); 130 131/** 132 * @} 133 */ 134 135/** 136 * \brief clang_createIndex() provides a shared context for creating 137 * translation units. It provides two options: 138 * 139 * - excludeDeclarationsFromPCH: When non-zero, allows enumeration of "local" 140 * declarations (when loading any new translation units). A "local" declaration 141 * is one that belongs in the translation unit itself and not in a precompiled 142 * header that was used by the translation unit. If zero, all declarations 143 * will be enumerated. 144 * 145 * Here is an example: 146 * 147 * // excludeDeclsFromPCH = 1, displayDiagnostics=1 148 * Idx = clang_createIndex(1, 1); 149 * 150 * // IndexTest.pch was produced with the following command: 151 * // "clang -x c IndexTest.h -emit-ast -o IndexTest.pch" 152 * TU = clang_createTranslationUnit(Idx, "IndexTest.pch"); 153 * 154 * // This will load all the symbols from 'IndexTest.pch' 155 * clang_visitChildren(clang_getTranslationUnitCursor(TU), 156 * TranslationUnitVisitor, 0); 157 * clang_disposeTranslationUnit(TU); 158 * 159 * // This will load all the symbols from 'IndexTest.c', excluding symbols 160 * // from 'IndexTest.pch'. 161 * char *args[] = { "-Xclang", "-include-pch=IndexTest.pch" }; 162 * TU = clang_createTranslationUnitFromSourceFile(Idx, "IndexTest.c", 2, args, 163 * 0, 0); 164 * clang_visitChildren(clang_getTranslationUnitCursor(TU), 165 * TranslationUnitVisitor, 0); 166 * clang_disposeTranslationUnit(TU); 167 * 168 * This process of creating the 'pch', loading it separately, and using it (via 169 * -include-pch) allows 'excludeDeclsFromPCH' to remove redundant callbacks 170 * (which gives the indexer the same performance benefit as the compiler). 171 */ 172CINDEX_LINKAGE CXIndex clang_createIndex(int excludeDeclarationsFromPCH, 173 int displayDiagnostics); 174 175/** 176 * \brief Destroy the given index. 177 * 178 * The index must not be destroyed until all of the translation units created 179 * within that index have been destroyed. 180 */ 181CINDEX_LINKAGE void clang_disposeIndex(CXIndex index); 182 183/** 184 * \brief Request that AST's be generated externally for API calls which parse 185 * source code on the fly, e.g. \see createTranslationUnitFromSourceFile. 186 * 187 * Note: This is for debugging purposes only, and may be removed at a later 188 * date. 189 * 190 * \param index - The index to update. 191 * \param value - The new flag value. 192 */ 193CINDEX_LINKAGE void clang_setUseExternalASTGeneration(CXIndex index, 194 int value); 195/** 196 * \defgroup CINDEX_FILES File manipulation routines 197 * 198 * @{ 199 */ 200 201/** 202 * \brief A particular source file that is part of a translation unit. 203 */ 204typedef void *CXFile; 205 206 207/** 208 * \brief Retrieve the complete file and path name of the given file. 209 */ 210CINDEX_LINKAGE CXString clang_getFileName(CXFile SFile); 211 212/** 213 * \brief Retrieve the last modification time of the given file. 214 */ 215CINDEX_LINKAGE time_t clang_getFileTime(CXFile SFile); 216 217/** 218 * \brief Retrieve a file handle within the given translation unit. 219 * 220 * \param tu the translation unit 221 * 222 * \param file_name the name of the file. 223 * 224 * \returns the file handle for the named file in the translation unit \p tu, 225 * or a NULL file handle if the file was not a part of this translation unit. 226 */ 227CINDEX_LINKAGE CXFile clang_getFile(CXTranslationUnit tu, 228 const char *file_name); 229 230/** 231 * @} 232 */ 233 234/** 235 * \defgroup CINDEX_LOCATIONS Physical source locations 236 * 237 * Clang represents physical source locations in its abstract syntax tree in 238 * great detail, with file, line, and column information for the majority of 239 * the tokens parsed in the source code. These data types and functions are 240 * used to represent source location information, either for a particular 241 * point in the program or for a range of points in the program, and extract 242 * specific location information from those data types. 243 * 244 * @{ 245 */ 246 247/** 248 * \brief Identifies a specific source location within a translation 249 * unit. 250 * 251 * Use clang_getInstantiationLocation() to map a source location to a 252 * particular file, line, and column. 253 */ 254typedef struct { 255 void *ptr_data[2]; 256 unsigned int_data; 257} CXSourceLocation; 258 259/** 260 * \brief Identifies a half-open character range in the source code. 261 * 262 * Use clang_getRangeStart() and clang_getRangeEnd() to retrieve the 263 * starting and end locations from a source range, respectively. 264 */ 265typedef struct { 266 void *ptr_data[2]; 267 unsigned begin_int_data; 268 unsigned end_int_data; 269} CXSourceRange; 270 271/** 272 * \brief Retrieve a NULL (invalid) source location. 273 */ 274CINDEX_LINKAGE CXSourceLocation clang_getNullLocation(); 275 276/** 277 * \determine Determine whether two source locations, which must refer into 278 * the same translation unit, refer to exactly the same point in the source 279 * code. 280 * 281 * \returns non-zero if the source locations refer to the same location, zero 282 * if they refer to different locations. 283 */ 284CINDEX_LINKAGE unsigned clang_equalLocations(CXSourceLocation loc1, 285 CXSourceLocation loc2); 286 287/** 288 * \brief Retrieves the source location associated with a given file/line/column 289 * in a particular translation unit. 290 */ 291CINDEX_LINKAGE CXSourceLocation clang_getLocation(CXTranslationUnit tu, 292 CXFile file, 293 unsigned line, 294 unsigned column); 295 296/** 297 * \brief Retrieve a NULL (invalid) source range. 298 */ 299CINDEX_LINKAGE CXSourceRange clang_getNullRange(); 300 301/** 302 * \brief Retrieve a source range given the beginning and ending source 303 * locations. 304 */ 305CINDEX_LINKAGE CXSourceRange clang_getRange(CXSourceLocation begin, 306 CXSourceLocation end); 307 308/** 309 * \brief Retrieve the file, line, column, and offset represented by 310 * the given source location. 311 * 312 * \param location the location within a source file that will be decomposed 313 * into its parts. 314 * 315 * \param file [out] if non-NULL, will be set to the file to which the given 316 * source location points. 317 * 318 * \param line [out] if non-NULL, will be set to the line to which the given 319 * source location points. 320 * 321 * \param column [out] if non-NULL, will be set to the column to which the given 322 * source location points. 323 * 324 * \param offset [out] if non-NULL, will be set to the offset into the 325 * buffer to which the given source location points. 326 */ 327CINDEX_LINKAGE void clang_getInstantiationLocation(CXSourceLocation location, 328 CXFile *file, 329 unsigned *line, 330 unsigned *column, 331 unsigned *offset); 332 333/** 334 * \brief Retrieve a source location representing the first character within a 335 * source range. 336 */ 337CINDEX_LINKAGE CXSourceLocation clang_getRangeStart(CXSourceRange range); 338 339/** 340 * \brief Retrieve a source location representing the last character within a 341 * source range. 342 */ 343CINDEX_LINKAGE CXSourceLocation clang_getRangeEnd(CXSourceRange range); 344 345/** 346 * @} 347 */ 348 349/** 350 * \defgroup CINDEX_DIAG Diagnostic reporting 351 * 352 * @{ 353 */ 354 355/** 356 * \brief Describes the severity of a particular diagnostic. 357 */ 358enum CXDiagnosticSeverity { 359 /** 360 * \brief A diagnostic that has been suppressed, e.g., by a command-line 361 * option. 362 */ 363 CXDiagnostic_Ignored = 0, 364 365 /** 366 * \brief This diagnostic is a note that should be attached to the 367 * previous (non-note) diagnostic. 368 */ 369 CXDiagnostic_Note = 1, 370 371 /** 372 * \brief This diagnostic indicates suspicious code that may not be 373 * wrong. 374 */ 375 CXDiagnostic_Warning = 2, 376 377 /** 378 * \brief This diagnostic indicates that the code is ill-formed. 379 */ 380 CXDiagnostic_Error = 3, 381 382 /** 383 * \brief This diagnostic indicates that the code is ill-formed such 384 * that future parser recovery is unlikely to produce useful 385 * results. 386 */ 387 CXDiagnostic_Fatal = 4 388}; 389 390/** 391 * \brief A single diagnostic, containing the diagnostic's severity, 392 * location, text, source ranges, and fix-it hints. 393 */ 394typedef void *CXDiagnostic; 395 396/** 397 * \brief Determine the number of diagnostics produced for the given 398 * translation unit. 399 */ 400CINDEX_LINKAGE unsigned clang_getNumDiagnostics(CXTranslationUnit Unit); 401 402/** 403 * \brief Retrieve a diagnostic associated with the given translation unit. 404 * 405 * \param Unit the translation unit to query. 406 * \param Index the zero-based diagnostic number to retrieve. 407 * 408 * \returns the requested diagnostic. This diagnostic must be freed 409 * via a call to \c clang_disposeDiagnostic(). 410 */ 411CINDEX_LINKAGE CXDiagnostic clang_getDiagnostic(CXTranslationUnit Unit, 412 unsigned Index); 413 414/** 415 * \brief Destroy a diagnostic. 416 */ 417CINDEX_LINKAGE void clang_disposeDiagnostic(CXDiagnostic Diagnostic); 418 419/** 420 * \brief Options to control the display of diagnostics. 421 * 422 * The values in this enum are meant to be combined to customize the 423 * behavior of \c clang_displayDiagnostic(). 424 */ 425enum CXDiagnosticDisplayOptions { 426 /** 427 * \brief Display the source-location information where the 428 * diagnostic was located. 429 * 430 * When set, diagnostics will be prefixed by the file, line, and 431 * (optionally) column to which the diagnostic refers. For example, 432 * 433 * \code 434 * test.c:28: warning: extra tokens at end of #endif directive 435 * \endcode 436 * 437 * This option corresponds to the clang flag \c -fshow-source-location. 438 */ 439 CXDiagnostic_DisplaySourceLocation = 0x01, 440 441 /** 442 * \brief If displaying the source-location information of the 443 * diagnostic, also include the column number. 444 * 445 * This option corresponds to the clang flag \c -fshow-column. 446 */ 447 CXDiagnostic_DisplayColumn = 0x02, 448 449 /** 450 * \brief If displaying the source-location information of the 451 * diagnostic, also include information about source ranges in a 452 * machine-parsable format. 453 * 454 * This option corresponds to the clang flag 455 * \c -fdiagnostics-print-source-range-info. 456 */ 457 CXDiagnostic_DisplaySourceRanges = 0x04 458}; 459 460/** 461 * \brief Format the given diagnostic in a manner that is suitable for display. 462 * 463 * This routine will format the given diagnostic to a string, rendering 464 * the diagnostic according to the various options given. The 465 * \c clang_defaultDiagnosticDisplayOptions() function returns the set of 466 * options that most closely mimics the behavior of the clang compiler. 467 * 468 * \param Diagnostic The diagnostic to print. 469 * 470 * \param Options A set of options that control the diagnostic display, 471 * created by combining \c CXDiagnosticDisplayOptions values. 472 * 473 * \returns A new string containing for formatted diagnostic. 474 */ 475CINDEX_LINKAGE CXString clang_formatDiagnostic(CXDiagnostic Diagnostic, 476 unsigned Options); 477 478/** 479 * \brief Retrieve the set of display options most similar to the 480 * default behavior of the clang compiler. 481 * 482 * \returns A set of display options suitable for use with \c 483 * clang_displayDiagnostic(). 484 */ 485CINDEX_LINKAGE unsigned clang_defaultDiagnosticDisplayOptions(void); 486 487/** 488 * \brief Print a diagnostic to the given file. 489 */ 490 491/** 492 * \brief Determine the severity of the given diagnostic. 493 */ 494CINDEX_LINKAGE enum CXDiagnosticSeverity 495clang_getDiagnosticSeverity(CXDiagnostic); 496 497/** 498 * \brief Retrieve the source location of the given diagnostic. 499 * 500 * This location is where Clang would print the caret ('^') when 501 * displaying the diagnostic on the command line. 502 */ 503CINDEX_LINKAGE CXSourceLocation clang_getDiagnosticLocation(CXDiagnostic); 504 505/** 506 * \brief Retrieve the text of the given diagnostic. 507 */ 508CINDEX_LINKAGE CXString clang_getDiagnosticSpelling(CXDiagnostic); 509 510/** 511 * \brief Determine the number of source ranges associated with the given 512 * diagnostic. 513 */ 514CINDEX_LINKAGE unsigned clang_getDiagnosticNumRanges(CXDiagnostic); 515 516/** 517 * \brief Retrieve a source range associated with the diagnostic. 518 * 519 * A diagnostic's source ranges highlight important elements in the source 520 * code. On the command line, Clang displays source ranges by 521 * underlining them with '~' characters. 522 * 523 * \param Diagnostic the diagnostic whose range is being extracted. 524 * 525 * \param Range the zero-based index specifying which range to 526 * 527 * \returns the requested source range. 528 */ 529CINDEX_LINKAGE CXSourceRange clang_getDiagnosticRange(CXDiagnostic Diagnostic, 530 unsigned Range); 531 532/** 533 * \brief Determine the number of fix-it hints associated with the 534 * given diagnostic. 535 */ 536CINDEX_LINKAGE unsigned clang_getDiagnosticNumFixIts(CXDiagnostic Diagnostic); 537 538/** 539 * \brief Retrieve the replacement information for a given fix-it. 540 * 541 * Fix-its are described in terms of a source range whose contents 542 * should be replaced by a string. This approach generalizes over 543 * three kinds of operations: removal of source code (the range covers 544 * the code to be removed and the replacement string is empty), 545 * replacement of source code (the range covers the code to be 546 * replaced and the replacement string provides the new code), and 547 * insertion (both the start and end of the range point at the 548 * insertion location, and the replacement string provides the text to 549 * insert). 550 * 551 * \param Diagnostic The diagnostic whose fix-its are being queried. 552 * 553 * \param FixIt The zero-based index of the fix-it. 554 * 555 * \param ReplacementRange The source range whose contents will be 556 * replaced with the returned replacement string. Note that source 557 * ranges are half-open ranges [a, b), so the source code should be 558 * replaced from a and up to (but not including) b. 559 * 560 * \returns A string containing text that should be replace the source 561 * code indicated by the \c ReplacementRange. 562 */ 563CINDEX_LINKAGE CXString clang_getDiagnosticFixIt(CXDiagnostic Diagnostic, 564 unsigned FixIt, 565 CXSourceRange *ReplacementRange); 566 567/** 568 * @} 569 */ 570 571/** 572 * \defgroup CINDEX_TRANSLATION_UNIT Translation unit manipulation 573 * 574 * The routines in this group provide the ability to create and destroy 575 * translation units from files, either by parsing the contents of the files or 576 * by reading in a serialized representation of a translation unit. 577 * 578 * @{ 579 */ 580 581/** 582 * \brief Get the original translation unit source file name. 583 */ 584CINDEX_LINKAGE CXString 585clang_getTranslationUnitSpelling(CXTranslationUnit CTUnit); 586 587/** 588 * \brief Return the CXTranslationUnit for a given source file and the provided 589 * command line arguments one would pass to the compiler. 590 * 591 * Note: The 'source_filename' argument is optional. If the caller provides a 592 * NULL pointer, the name of the source file is expected to reside in the 593 * specified command line arguments. 594 * 595 * Note: When encountered in 'clang_command_line_args', the following options 596 * are ignored: 597 * 598 * '-c' 599 * '-emit-ast' 600 * '-fsyntax-only' 601 * '-o <output file>' (both '-o' and '<output file>' are ignored) 602 * 603 * 604 * \param source_filename - The name of the source file to load, or NULL if the 605 * source file is included in clang_command_line_args. 606 * 607 * \param num_unsaved_files the number of unsaved file entries in \p 608 * unsaved_files. 609 * 610 * \param unsaved_files the files that have not yet been saved to disk 611 * but may be required for code completion, including the contents of 612 * those files. The contents and name of these files (as specified by 613 * CXUnsavedFile) are copied when necessary, so the client only needs to 614 * guarantee their validity until the call to this function returns. 615 * 616 * \param diag_callback callback function that will receive any diagnostics 617 * emitted while processing this source file. If NULL, diagnostics will be 618 * suppressed. 619 * 620 * \param diag_client_data client data that will be passed to the diagnostic 621 * callback function. 622 */ 623CINDEX_LINKAGE CXTranslationUnit clang_createTranslationUnitFromSourceFile( 624 CXIndex CIdx, 625 const char *source_filename, 626 int num_clang_command_line_args, 627 const char **clang_command_line_args, 628 unsigned num_unsaved_files, 629 struct CXUnsavedFile *unsaved_files); 630 631/** 632 * \brief Create a translation unit from an AST file (-emit-ast). 633 */ 634CINDEX_LINKAGE CXTranslationUnit clang_createTranslationUnit(CXIndex, 635 const char *ast_filename); 636 637/** 638 * \brief Destroy the specified CXTranslationUnit object. 639 */ 640CINDEX_LINKAGE void clang_disposeTranslationUnit(CXTranslationUnit); 641 642/** 643 * @} 644 */ 645 646/** 647 * \brief Describes the kind of entity that a cursor refers to. 648 */ 649enum CXCursorKind { 650 /* Declarations */ 651 CXCursor_FirstDecl = 1, 652 /** 653 * \brief A declaration whose specific kind is not exposed via this 654 * interface. 655 * 656 * Unexposed declarations have the same operations as any other kind 657 * of declaration; one can extract their location information, 658 * spelling, find their definitions, etc. However, the specific kind 659 * of the declaration is not reported. 660 */ 661 CXCursor_UnexposedDecl = 1, 662 /** \brief A C or C++ struct. */ 663 CXCursor_StructDecl = 2, 664 /** \brief A C or C++ union. */ 665 CXCursor_UnionDecl = 3, 666 /** \brief A C++ class. */ 667 CXCursor_ClassDecl = 4, 668 /** \brief An enumeration. */ 669 CXCursor_EnumDecl = 5, 670 /** 671 * \brief A field (in C) or non-static data member (in C++) in a 672 * struct, union, or C++ class. 673 */ 674 CXCursor_FieldDecl = 6, 675 /** \brief An enumerator constant. */ 676 CXCursor_EnumConstantDecl = 7, 677 /** \brief A function. */ 678 CXCursor_FunctionDecl = 8, 679 /** \brief A variable. */ 680 CXCursor_VarDecl = 9, 681 /** \brief A function or method parameter. */ 682 CXCursor_ParmDecl = 10, 683 /** \brief An Objective-C @interface. */ 684 CXCursor_ObjCInterfaceDecl = 11, 685 /** \brief An Objective-C @interface for a category. */ 686 CXCursor_ObjCCategoryDecl = 12, 687 /** \brief An Objective-C @protocol declaration. */ 688 CXCursor_ObjCProtocolDecl = 13, 689 /** \brief An Objective-C @property declaration. */ 690 CXCursor_ObjCPropertyDecl = 14, 691 /** \brief An Objective-C instance variable. */ 692 CXCursor_ObjCIvarDecl = 15, 693 /** \brief An Objective-C instance method. */ 694 CXCursor_ObjCInstanceMethodDecl = 16, 695 /** \brief An Objective-C class method. */ 696 CXCursor_ObjCClassMethodDecl = 17, 697 /** \brief An Objective-C @implementation. */ 698 CXCursor_ObjCImplementationDecl = 18, 699 /** \brief An Objective-C @implementation for a category. */ 700 CXCursor_ObjCCategoryImplDecl = 19, 701 /** \brief A typedef */ 702 CXCursor_TypedefDecl = 20, 703 704 /** \brief A C++ class method. */ 705 CXCursor_CXXMethod = 21, 706 707 CXCursor_LastDecl = 21, 708 709 /* References */ 710 CXCursor_FirstRef = 40, /* Decl references */ 711 CXCursor_ObjCSuperClassRef = 40, 712 CXCursor_ObjCProtocolRef = 41, 713 CXCursor_ObjCClassRef = 42, 714 /** 715 * \brief A reference to a type declaration. 716 * 717 * A type reference occurs anywhere where a type is named but not 718 * declared. For example, given: 719 * 720 * \code 721 * typedef unsigned size_type; 722 * size_type size; 723 * \endcode 724 * 725 * The typedef is a declaration of size_type (CXCursor_TypedefDecl), 726 * while the type of the variable "size" is referenced. The cursor 727 * referenced by the type of size is the typedef for size_type. 728 */ 729 CXCursor_TypeRef = 43, 730 CXCursor_LastRef = 43, 731 732 /* Error conditions */ 733 CXCursor_FirstInvalid = 70, 734 CXCursor_InvalidFile = 70, 735 CXCursor_NoDeclFound = 71, 736 CXCursor_NotImplemented = 72, 737 CXCursor_InvalidCode = 73, 738 CXCursor_LastInvalid = CXCursor_InvalidCode, 739 740 /* Expressions */ 741 CXCursor_FirstExpr = 100, 742 743 /** 744 * \brief An expression whose specific kind is not exposed via this 745 * interface. 746 * 747 * Unexposed expressions have the same operations as any other kind 748 * of expression; one can extract their location information, 749 * spelling, children, etc. However, the specific kind of the 750 * expression is not reported. 751 */ 752 CXCursor_UnexposedExpr = 100, 753 754 /** 755 * \brief An expression that refers to some value declaration, such 756 * as a function, varible, or enumerator. 757 */ 758 CXCursor_DeclRefExpr = 101, 759 760 /** 761 * \brief An expression that refers to a member of a struct, union, 762 * class, Objective-C class, etc. 763 */ 764 CXCursor_MemberRefExpr = 102, 765 766 /** \brief An expression that calls a function. */ 767 CXCursor_CallExpr = 103, 768 769 /** \brief An expression that sends a message to an Objective-C 770 object or class. */ 771 CXCursor_ObjCMessageExpr = 104, 772 773 /** \brief An expression that represents a block literal. */ 774 CXCursor_BlockExpr = 105, 775 776 CXCursor_LastExpr = 105, 777 778 /* Statements */ 779 CXCursor_FirstStmt = 200, 780 /** 781 * \brief A statement whose specific kind is not exposed via this 782 * interface. 783 * 784 * Unexposed statements have the same operations as any other kind of 785 * statement; one can extract their location information, spelling, 786 * children, etc. However, the specific kind of the statement is not 787 * reported. 788 */ 789 CXCursor_UnexposedStmt = 200, 790 CXCursor_LastStmt = 200, 791 792 /** 793 * \brief Cursor that represents the translation unit itself. 794 * 795 * The translation unit cursor exists primarily to act as the root 796 * cursor for traversing the contents of a translation unit. 797 */ 798 CXCursor_TranslationUnit = 300, 799 800 /* Attributes */ 801 CXCursor_FirstAttr = 400, 802 /** 803 * \brief An attribute whose specific kind is not exposed via this 804 * interface. 805 */ 806 CXCursor_UnexposedAttr = 400, 807 808 CXCursor_IBActionAttr = 401, 809 CXCursor_IBOutletAttr = 402, 810 CXCursor_LastAttr = CXCursor_IBOutletAttr, 811 812 /* Preprocessing */ 813 CXCursor_PreprocessingDirective = 500, 814 CXCursor_MacroDefinition = 501, 815 CXCursor_MacroInstantiation = 502, 816 CXCursor_FirstPreprocessing = CXCursor_PreprocessingDirective, 817 CXCursor_LastPreprocessing = CXCursor_MacroInstantiation 818}; 819 820/** 821 * \brief A cursor representing some element in the abstract syntax tree for 822 * a translation unit. 823 * 824 * The cursor abstraction unifies the different kinds of entities in a 825 * program--declaration, statements, expressions, references to declarations, 826 * etc.--under a single "cursor" abstraction with a common set of operations. 827 * Common operation for a cursor include: getting the physical location in 828 * a source file where the cursor points, getting the name associated with a 829 * cursor, and retrieving cursors for any child nodes of a particular cursor. 830 * 831 * Cursors can be produced in two specific ways. 832 * clang_getTranslationUnitCursor() produces a cursor for a translation unit, 833 * from which one can use clang_visitChildren() to explore the rest of the 834 * translation unit. clang_getCursor() maps from a physical source location 835 * to the entity that resides at that location, allowing one to map from the 836 * source code into the AST. 837 */ 838typedef struct { 839 enum CXCursorKind kind; 840 void *data[3]; 841} CXCursor; 842 843/** 844 * \defgroup CINDEX_CURSOR_MANIP Cursor manipulations 845 * 846 * @{ 847 */ 848 849/** 850 * \brief Retrieve the NULL cursor, which represents no entity. 851 */ 852CINDEX_LINKAGE CXCursor clang_getNullCursor(void); 853 854/** 855 * \brief Retrieve the cursor that represents the given translation unit. 856 * 857 * The translation unit cursor can be used to start traversing the 858 * various declarations within the given translation unit. 859 */ 860CINDEX_LINKAGE CXCursor clang_getTranslationUnitCursor(CXTranslationUnit); 861 862/** 863 * \brief Determine whether two cursors are equivalent. 864 */ 865CINDEX_LINKAGE unsigned clang_equalCursors(CXCursor, CXCursor); 866 867/** 868 * \brief Retrieve the kind of the given cursor. 869 */ 870CINDEX_LINKAGE enum CXCursorKind clang_getCursorKind(CXCursor); 871 872/** 873 * \brief Determine whether the given cursor kind represents a declaration. 874 */ 875CINDEX_LINKAGE unsigned clang_isDeclaration(enum CXCursorKind); 876 877/** 878 * \brief Determine whether the given cursor kind represents a simple 879 * reference. 880 * 881 * Note that other kinds of cursors (such as expressions) can also refer to 882 * other cursors. Use clang_getCursorReferenced() to determine whether a 883 * particular cursor refers to another entity. 884 */ 885CINDEX_LINKAGE unsigned clang_isReference(enum CXCursorKind); 886 887/** 888 * \brief Determine whether the given cursor kind represents an expression. 889 */ 890CINDEX_LINKAGE unsigned clang_isExpression(enum CXCursorKind); 891 892/** 893 * \brief Determine whether the given cursor kind represents a statement. 894 */ 895CINDEX_LINKAGE unsigned clang_isStatement(enum CXCursorKind); 896 897/** 898 * \brief Determine whether the given cursor kind represents an invalid 899 * cursor. 900 */ 901CINDEX_LINKAGE unsigned clang_isInvalid(enum CXCursorKind); 902 903/** 904 * \brief Determine whether the given cursor kind represents a translation 905 * unit. 906 */ 907CINDEX_LINKAGE unsigned clang_isTranslationUnit(enum CXCursorKind); 908 909/*** 910 * \brief Determine whether the given cursor represents a preprocessing 911 * element, such as a preprocessor directive or macro instantiation. 912 */ 913CINDEX_LINKAGE unsigned clang_isPreprocessing(enum CXCursorKind); 914 915/*** 916 * \brief Determine whether the given cursor represents a currently 917 * unexposed piece of the AST (e.g., CXCursor_UnexposedStmt). 918 */ 919CINDEX_LINKAGE unsigned clang_isUnexposed(enum CXCursorKind); 920 921/** 922 * \brief Describe the linkage of the entity referred to by a cursor. 923 */ 924enum CXLinkageKind { 925 /** \brief This value indicates that no linkage information is available 926 * for a provided CXCursor. */ 927 CXLinkage_Invalid, 928 /** 929 * \brief This is the linkage for variables, parameters, and so on that 930 * have automatic storage. This covers normal (non-extern) local variables. 931 */ 932 CXLinkage_NoLinkage, 933 /** \brief This is the linkage for static variables and static functions. */ 934 CXLinkage_Internal, 935 /** \brief This is the linkage for entities with external linkage that live 936 * in C++ anonymous namespaces.*/ 937 CXLinkage_UniqueExternal, 938 /** \brief This is the linkage for entities with true, external linkage. */ 939 CXLinkage_External 940}; 941 942/** 943 * \brief Determine the linkage of the entity referred to by a given cursor. 944 */ 945CINDEX_LINKAGE enum CXLinkageKind clang_getCursorLinkage(CXCursor cursor); 946 947/** 948 * \brief Describe the "language" of the entity referred to by a cursor. 949 */ 950CINDEX_LINKAGE enum CXLanguageKind { 951 CXLanguage_C, 952 CXLanguage_ObjC, 953 CXLanguage_CPlusPlus, 954 CXLanguage_Invalid 955}; 956 957/** 958 * \brief Determine the "language" of the entity referred to by a given cursor. 959 */ 960CINDEX_LINKAGE enum CXLanguageKind clang_getCursorLanguage(CXCursor cursor); 961 962/** 963 * @} 964 */ 965 966/** 967 * \defgroup CINDEX_CURSOR_SOURCE Mapping between cursors and source code 968 * 969 * Cursors represent a location within the Abstract Syntax Tree (AST). These 970 * routines help map between cursors and the physical locations where the 971 * described entities occur in the source code. The mapping is provided in 972 * both directions, so one can map from source code to the AST and back. 973 * 974 * @{ 975 */ 976 977/** 978 * \brief Map a source location to the cursor that describes the entity at that 979 * location in the source code. 980 * 981 * clang_getCursor() maps an arbitrary source location within a translation 982 * unit down to the most specific cursor that describes the entity at that 983 * location. For example, given an expression \c x + y, invoking 984 * clang_getCursor() with a source location pointing to "x" will return the 985 * cursor for "x"; similarly for "y". If the cursor points anywhere between 986 * "x" or "y" (e.g., on the + or the whitespace around it), clang_getCursor() 987 * will return a cursor referring to the "+" expression. 988 * 989 * \returns a cursor representing the entity at the given source location, or 990 * a NULL cursor if no such entity can be found. 991 */ 992CINDEX_LINKAGE CXCursor clang_getCursor(CXTranslationUnit, CXSourceLocation); 993 994/** 995 * \brief Retrieve the physical location of the source constructor referenced 996 * by the given cursor. 997 * 998 * The location of a declaration is typically the location of the name of that 999 * declaration, where the name of that declaration would occur if it is 1000 * unnamed, or some keyword that introduces that particular declaration. 1001 * The location of a reference is where that reference occurs within the 1002 * source code. 1003 */ 1004CINDEX_LINKAGE CXSourceLocation clang_getCursorLocation(CXCursor); 1005 1006/** 1007 * \brief Retrieve the physical extent of the source construct referenced by 1008 * the given cursor. 1009 * 1010 * The extent of a cursor starts with the file/line/column pointing at the 1011 * first character within the source construct that the cursor refers to and 1012 * ends with the last character withinin that source construct. For a 1013 * declaration, the extent covers the declaration itself. For a reference, 1014 * the extent covers the location of the reference (e.g., where the referenced 1015 * entity was actually used). 1016 */ 1017CINDEX_LINKAGE CXSourceRange clang_getCursorExtent(CXCursor); 1018 1019/** 1020 * @} 1021 */ 1022 1023/** 1024 * \defgroup CINDEX_CURSOR_TRAVERSAL Traversing the AST with cursors 1025 * 1026 * These routines provide the ability to traverse the abstract syntax tree 1027 * using cursors. 1028 * 1029 * @{ 1030 */ 1031 1032/** 1033 * \brief Describes how the traversal of the children of a particular 1034 * cursor should proceed after visiting a particular child cursor. 1035 * 1036 * A value of this enumeration type should be returned by each 1037 * \c CXCursorVisitor to indicate how clang_visitChildren() proceed. 1038 */ 1039enum CXChildVisitResult { 1040 /** 1041 * \brief Terminates the cursor traversal. 1042 */ 1043 CXChildVisit_Break, 1044 /** 1045 * \brief Continues the cursor traversal with the next sibling of 1046 * the cursor just visited, without visiting its children. 1047 */ 1048 CXChildVisit_Continue, 1049 /** 1050 * \brief Recursively traverse the children of this cursor, using 1051 * the same visitor and client data. 1052 */ 1053 CXChildVisit_Recurse 1054}; 1055 1056/** 1057 * \brief Visitor invoked for each cursor found by a traversal. 1058 * 1059 * This visitor function will be invoked for each cursor found by 1060 * clang_visitCursorChildren(). Its first argument is the cursor being 1061 * visited, its second argument is the parent visitor for that cursor, 1062 * and its third argument is the client data provided to 1063 * clang_visitCursorChildren(). 1064 * 1065 * The visitor should return one of the \c CXChildVisitResult values 1066 * to direct clang_visitCursorChildren(). 1067 */ 1068typedef enum CXChildVisitResult (*CXCursorVisitor)(CXCursor cursor, 1069 CXCursor parent, 1070 CXClientData client_data); 1071 1072/** 1073 * \brief Visit the children of a particular cursor. 1074 * 1075 * This function visits all the direct children of the given cursor, 1076 * invoking the given \p visitor function with the cursors of each 1077 * visited child. The traversal may be recursive, if the visitor returns 1078 * \c CXChildVisit_Recurse. The traversal may also be ended prematurely, if 1079 * the visitor returns \c CXChildVisit_Break. 1080 * 1081 * \param parent the cursor whose child may be visited. All kinds of 1082 * cursors can be visited, including invalid cursors (which, by 1083 * definition, have no children). 1084 * 1085 * \param visitor the visitor function that will be invoked for each 1086 * child of \p parent. 1087 * 1088 * \param client_data pointer data supplied by the client, which will 1089 * be passed to the visitor each time it is invoked. 1090 * 1091 * \returns a non-zero value if the traversal was terminated 1092 * prematurely by the visitor returning \c CXChildVisit_Break. 1093 */ 1094CINDEX_LINKAGE unsigned clang_visitChildren(CXCursor parent, 1095 CXCursorVisitor visitor, 1096 CXClientData client_data); 1097 1098/** 1099 * @} 1100 */ 1101 1102/** 1103 * \defgroup CINDEX_CURSOR_XREF Cross-referencing in the AST 1104 * 1105 * These routines provide the ability to determine references within and 1106 * across translation units, by providing the names of the entities referenced 1107 * by cursors, follow reference cursors to the declarations they reference, 1108 * and associate declarations with their definitions. 1109 * 1110 * @{ 1111 */ 1112 1113/** 1114 * \brief Retrieve a Unified Symbol Resolution (USR) for the entity referenced 1115 * by the given cursor. 1116 * 1117 * A Unified Symbol Resolution (USR) is a string that identifies a particular 1118 * entity (function, class, variable, etc.) within a program. USRs can be 1119 * compared across translation units to determine, e.g., when references in 1120 * one translation refer to an entity defined in another translation unit. 1121 */ 1122CINDEX_LINKAGE CXString clang_getCursorUSR(CXCursor); 1123 1124/** 1125 * \brief Construct a USR for a specified Objective-C class. 1126 */ 1127CINDEX_LINKAGE CXString clang_constructUSR_ObjCClass(const char *class_name); 1128 1129/** 1130 * \brief Construct a USR for a specified Objective-C category. 1131 */ 1132CINDEX_LINKAGE CXString 1133 clang_constructUSR_ObjCCategory(const char *class_name, 1134 const char *category_name); 1135 1136/** 1137 * \brief Construct a USR for a specified Objective-C protocol. 1138 */ 1139CINDEX_LINKAGE CXString 1140 clang_constructUSR_ObjCProtocol(const char *protocol_name); 1141 1142 1143/** 1144 * \brief Construct a USR for a specified Objective-C instance variable and 1145 * the USR for its containing class. 1146 */ 1147CINDEX_LINKAGE CXString clang_constructUSR_ObjCIvar(const char *name, 1148 CXString classUSR); 1149 1150/** 1151 * \brief Construct a USR for a specified Objective-C method and 1152 * the USR for its containing class. 1153 */ 1154CINDEX_LINKAGE CXString clang_constructUSR_ObjCMethod(const char *name, 1155 unsigned isInstanceMethod, 1156 CXString classUSR); 1157 1158/** 1159 * \brief Construct a USR for a specified Objective-C property and the USR 1160 * for its containing class. 1161 */ 1162CINDEX_LINKAGE CXString clang_constructUSR_ObjCProperty(const char *property, 1163 CXString classUSR); 1164 1165/** 1166 * \brief Retrieve a name for the entity referenced by this cursor. 1167 */ 1168CINDEX_LINKAGE CXString clang_getCursorSpelling(CXCursor); 1169 1170/** \brief For a cursor that is a reference, retrieve a cursor representing the 1171 * entity that it references. 1172 * 1173 * Reference cursors refer to other entities in the AST. For example, an 1174 * Objective-C superclass reference cursor refers to an Objective-C class. 1175 * This function produces the cursor for the Objective-C class from the 1176 * cursor for the superclass reference. If the input cursor is a declaration or 1177 * definition, it returns that declaration or definition unchanged. 1178 * Otherwise, returns the NULL cursor. 1179 */ 1180CINDEX_LINKAGE CXCursor clang_getCursorReferenced(CXCursor); 1181 1182/** 1183 * \brief For a cursor that is either a reference to or a declaration 1184 * of some entity, retrieve a cursor that describes the definition of 1185 * that entity. 1186 * 1187 * Some entities can be declared multiple times within a translation 1188 * unit, but only one of those declarations can also be a 1189 * definition. For example, given: 1190 * 1191 * \code 1192 * int f(int, int); 1193 * int g(int x, int y) { return f(x, y); } 1194 * int f(int a, int b) { return a + b; } 1195 * int f(int, int); 1196 * \endcode 1197 * 1198 * there are three declarations of the function "f", but only the 1199 * second one is a definition. The clang_getCursorDefinition() 1200 * function will take any cursor pointing to a declaration of "f" 1201 * (the first or fourth lines of the example) or a cursor referenced 1202 * that uses "f" (the call to "f' inside "g") and will return a 1203 * declaration cursor pointing to the definition (the second "f" 1204 * declaration). 1205 * 1206 * If given a cursor for which there is no corresponding definition, 1207 * e.g., because there is no definition of that entity within this 1208 * translation unit, returns a NULL cursor. 1209 */ 1210CINDEX_LINKAGE CXCursor clang_getCursorDefinition(CXCursor); 1211 1212/** 1213 * \brief Determine whether the declaration pointed to by this cursor 1214 * is also a definition of that entity. 1215 */ 1216CINDEX_LINKAGE unsigned clang_isCursorDefinition(CXCursor); 1217 1218/** 1219 * @} 1220 */ 1221 1222/** 1223 * \defgroup CINDEX_LEX Token extraction and manipulation 1224 * 1225 * The routines in this group provide access to the tokens within a 1226 * translation unit, along with a semantic mapping of those tokens to 1227 * their corresponding cursors. 1228 * 1229 * @{ 1230 */ 1231 1232/** 1233 * \brief Describes a kind of token. 1234 */ 1235typedef enum CXTokenKind { 1236 /** 1237 * \brief A token that contains some kind of punctuation. 1238 */ 1239 CXToken_Punctuation, 1240 1241 /** 1242 * \brief A language keyword. 1243 */ 1244 CXToken_Keyword, 1245 1246 /** 1247 * \brief An identifier (that is not a keyword). 1248 */ 1249 CXToken_Identifier, 1250 1251 /** 1252 * \brief A numeric, string, or character literal. 1253 */ 1254 CXToken_Literal, 1255 1256 /** 1257 * \brief A comment. 1258 */ 1259 CXToken_Comment 1260} CXTokenKind; 1261 1262/** 1263 * \brief Describes a single preprocessing token. 1264 */ 1265typedef struct { 1266 unsigned int_data[4]; 1267 void *ptr_data; 1268} CXToken; 1269 1270/** 1271 * \brief Determine the kind of the given token. 1272 */ 1273CINDEX_LINKAGE CXTokenKind clang_getTokenKind(CXToken); 1274 1275/** 1276 * \brief Determine the spelling of the given token. 1277 * 1278 * The spelling of a token is the textual representation of that token, e.g., 1279 * the text of an identifier or keyword. 1280 */ 1281CINDEX_LINKAGE CXString clang_getTokenSpelling(CXTranslationUnit, CXToken); 1282 1283/** 1284 * \brief Retrieve the source location of the given token. 1285 */ 1286CINDEX_LINKAGE CXSourceLocation clang_getTokenLocation(CXTranslationUnit, 1287 CXToken); 1288 1289/** 1290 * \brief Retrieve a source range that covers the given token. 1291 */ 1292CINDEX_LINKAGE CXSourceRange clang_getTokenExtent(CXTranslationUnit, CXToken); 1293 1294/** 1295 * \brief Tokenize the source code described by the given range into raw 1296 * lexical tokens. 1297 * 1298 * \param TU the translation unit whose text is being tokenized. 1299 * 1300 * \param Range the source range in which text should be tokenized. All of the 1301 * tokens produced by tokenization will fall within this source range, 1302 * 1303 * \param Tokens this pointer will be set to point to the array of tokens 1304 * that occur within the given source range. The returned pointer must be 1305 * freed with clang_disposeTokens() before the translation unit is destroyed. 1306 * 1307 * \param NumTokens will be set to the number of tokens in the \c *Tokens 1308 * array. 1309 * 1310 */ 1311CINDEX_LINKAGE void clang_tokenize(CXTranslationUnit TU, CXSourceRange Range, 1312 CXToken **Tokens, unsigned *NumTokens); 1313 1314/** 1315 * \brief Annotate the given set of tokens by providing cursors for each token 1316 * that can be mapped to a specific entity within the abstract syntax tree. 1317 * 1318 * This token-annotation routine is equivalent to invoking 1319 * clang_getCursor() for the source locations of each of the 1320 * tokens. The cursors provided are filtered, so that only those 1321 * cursors that have a direct correspondence to the token are 1322 * accepted. For example, given a function call \c f(x), 1323 * clang_getCursor() would provide the following cursors: 1324 * 1325 * * when the cursor is over the 'f', a DeclRefExpr cursor referring to 'f'. 1326 * * when the cursor is over the '(' or the ')', a CallExpr referring to 'f'. 1327 * * when the cursor is over the 'x', a DeclRefExpr cursor referring to 'x'. 1328 * 1329 * Only the first and last of these cursors will occur within the 1330 * annotate, since the tokens "f" and "x' directly refer to a function 1331 * and a variable, respectively, but the parentheses are just a small 1332 * part of the full syntax of the function call expression, which is 1333 * not provided as an annotation. 1334 * 1335 * \param TU the translation unit that owns the given tokens. 1336 * 1337 * \param Tokens the set of tokens to annotate. 1338 * 1339 * \param NumTokens the number of tokens in \p Tokens. 1340 * 1341 * \param Cursors an array of \p NumTokens cursors, whose contents will be 1342 * replaced with the cursors corresponding to each token. 1343 */ 1344CINDEX_LINKAGE void clang_annotateTokens(CXTranslationUnit TU, 1345 CXToken *Tokens, unsigned NumTokens, 1346 CXCursor *Cursors); 1347 1348/** 1349 * \brief Free the given set of tokens. 1350 */ 1351CINDEX_LINKAGE void clang_disposeTokens(CXTranslationUnit TU, 1352 CXToken *Tokens, unsigned NumTokens); 1353 1354/** 1355 * @} 1356 */ 1357 1358/** 1359 * \defgroup CINDEX_DEBUG Debugging facilities 1360 * 1361 * These routines are used for testing and debugging, only, and should not 1362 * be relied upon. 1363 * 1364 * @{ 1365 */ 1366 1367/* for debug/testing */ 1368CINDEX_LINKAGE CXString clang_getCursorKindSpelling(enum CXCursorKind Kind); 1369CINDEX_LINKAGE void clang_getDefinitionSpellingAndExtent(CXCursor, 1370 const char **startBuf, 1371 const char **endBuf, 1372 unsigned *startLine, 1373 unsigned *startColumn, 1374 unsigned *endLine, 1375 unsigned *endColumn); 1376CINDEX_LINKAGE void clang_enableStackTraces(void); 1377/** 1378 * @} 1379 */ 1380 1381/** 1382 * \defgroup CINDEX_CODE_COMPLET Code completion 1383 * 1384 * Code completion involves taking an (incomplete) source file, along with 1385 * knowledge of where the user is actively editing that file, and suggesting 1386 * syntactically- and semantically-valid constructs that the user might want to 1387 * use at that particular point in the source code. These data structures and 1388 * routines provide support for code completion. 1389 * 1390 * @{ 1391 */ 1392 1393/** 1394 * \brief A semantic string that describes a code-completion result. 1395 * 1396 * A semantic string that describes the formatting of a code-completion 1397 * result as a single "template" of text that should be inserted into the 1398 * source buffer when a particular code-completion result is selected. 1399 * Each semantic string is made up of some number of "chunks", each of which 1400 * contains some text along with a description of what that text means, e.g., 1401 * the name of the entity being referenced, whether the text chunk is part of 1402 * the template, or whether it is a "placeholder" that the user should replace 1403 * with actual code,of a specific kind. See \c CXCompletionChunkKind for a 1404 * description of the different kinds of chunks. 1405 */ 1406typedef void *CXCompletionString; 1407 1408/** 1409 * \brief A single result of code completion. 1410 */ 1411typedef struct { 1412 /** 1413 * \brief The kind of entity that this completion refers to. 1414 * 1415 * The cursor kind will be a macro, keyword, or a declaration (one of the 1416 * *Decl cursor kinds), describing the entity that the completion is 1417 * referring to. 1418 * 1419 * \todo In the future, we would like to provide a full cursor, to allow 1420 * the client to extract additional information from declaration. 1421 */ 1422 enum CXCursorKind CursorKind; 1423 1424 /** 1425 * \brief The code-completion string that describes how to insert this 1426 * code-completion result into the editing buffer. 1427 */ 1428 CXCompletionString CompletionString; 1429} CXCompletionResult; 1430 1431/** 1432 * \brief Describes a single piece of text within a code-completion string. 1433 * 1434 * Each "chunk" within a code-completion string (\c CXCompletionString) is 1435 * either a piece of text with a specific "kind" that describes how that text 1436 * should be interpreted by the client or is another completion string. 1437 */ 1438enum CXCompletionChunkKind { 1439 /** 1440 * \brief A code-completion string that describes "optional" text that 1441 * could be a part of the template (but is not required). 1442 * 1443 * The Optional chunk is the only kind of chunk that has a code-completion 1444 * string for its representation, which is accessible via 1445 * \c clang_getCompletionChunkCompletionString(). The code-completion string 1446 * describes an additional part of the template that is completely optional. 1447 * For example, optional chunks can be used to describe the placeholders for 1448 * arguments that match up with defaulted function parameters, e.g. given: 1449 * 1450 * \code 1451 * void f(int x, float y = 3.14, double z = 2.71828); 1452 * \endcode 1453 * 1454 * The code-completion string for this function would contain: 1455 * - a TypedText chunk for "f". 1456 * - a LeftParen chunk for "(". 1457 * - a Placeholder chunk for "int x" 1458 * - an Optional chunk containing the remaining defaulted arguments, e.g., 1459 * - a Comma chunk for "," 1460 * - a Placeholder chunk for "float y" 1461 * - an Optional chunk containing the last defaulted argument: 1462 * - a Comma chunk for "," 1463 * - a Placeholder chunk for "double z" 1464 * - a RightParen chunk for ")" 1465 * 1466 * There are many ways to handle Optional chunks. Two simple approaches are: 1467 * - Completely ignore optional chunks, in which case the template for the 1468 * function "f" would only include the first parameter ("int x"). 1469 * - Fully expand all optional chunks, in which case the template for the 1470 * function "f" would have all of the parameters. 1471 */ 1472 CXCompletionChunk_Optional, 1473 /** 1474 * \brief Text that a user would be expected to type to get this 1475 * code-completion result. 1476 * 1477 * There will be exactly one "typed text" chunk in a semantic string, which 1478 * will typically provide the spelling of a keyword or the name of a 1479 * declaration that could be used at the current code point. Clients are 1480 * expected to filter the code-completion results based on the text in this 1481 * chunk. 1482 */ 1483 CXCompletionChunk_TypedText, 1484 /** 1485 * \brief Text that should be inserted as part of a code-completion result. 1486 * 1487 * A "text" chunk represents text that is part of the template to be 1488 * inserted into user code should this particular code-completion result 1489 * be selected. 1490 */ 1491 CXCompletionChunk_Text, 1492 /** 1493 * \brief Placeholder text that should be replaced by the user. 1494 * 1495 * A "placeholder" chunk marks a place where the user should insert text 1496 * into the code-completion template. For example, placeholders might mark 1497 * the function parameters for a function declaration, to indicate that the 1498 * user should provide arguments for each of those parameters. The actual 1499 * text in a placeholder is a suggestion for the text to display before 1500 * the user replaces the placeholder with real code. 1501 */ 1502 CXCompletionChunk_Placeholder, 1503 /** 1504 * \brief Informative text that should be displayed but never inserted as 1505 * part of the template. 1506 * 1507 * An "informative" chunk contains annotations that can be displayed to 1508 * help the user decide whether a particular code-completion result is the 1509 * right option, but which is not part of the actual template to be inserted 1510 * by code completion. 1511 */ 1512 CXCompletionChunk_Informative, 1513 /** 1514 * \brief Text that describes the current parameter when code-completion is 1515 * referring to function call, message send, or template specialization. 1516 * 1517 * A "current parameter" chunk occurs when code-completion is providing 1518 * information about a parameter corresponding to the argument at the 1519 * code-completion point. For example, given a function 1520 * 1521 * \code 1522 * int add(int x, int y); 1523 * \endcode 1524 * 1525 * and the source code \c add(, where the code-completion point is after the 1526 * "(", the code-completion string will contain a "current parameter" chunk 1527 * for "int x", indicating that the current argument will initialize that 1528 * parameter. After typing further, to \c add(17, (where the code-completion 1529 * point is after the ","), the code-completion string will contain a 1530 * "current paremeter" chunk to "int y". 1531 */ 1532 CXCompletionChunk_CurrentParameter, 1533 /** 1534 * \brief A left parenthesis ('('), used to initiate a function call or 1535 * signal the beginning of a function parameter list. 1536 */ 1537 CXCompletionChunk_LeftParen, 1538 /** 1539 * \brief A right parenthesis (')'), used to finish a function call or 1540 * signal the end of a function parameter list. 1541 */ 1542 CXCompletionChunk_RightParen, 1543 /** 1544 * \brief A left bracket ('['). 1545 */ 1546 CXCompletionChunk_LeftBracket, 1547 /** 1548 * \brief A right bracket (']'). 1549 */ 1550 CXCompletionChunk_RightBracket, 1551 /** 1552 * \brief A left brace ('{'). 1553 */ 1554 CXCompletionChunk_LeftBrace, 1555 /** 1556 * \brief A right brace ('}'). 1557 */ 1558 CXCompletionChunk_RightBrace, 1559 /** 1560 * \brief A left angle bracket ('<'). 1561 */ 1562 CXCompletionChunk_LeftAngle, 1563 /** 1564 * \brief A right angle bracket ('>'). 1565 */ 1566 CXCompletionChunk_RightAngle, 1567 /** 1568 * \brief A comma separator (','). 1569 */ 1570 CXCompletionChunk_Comma, 1571 /** 1572 * \brief Text that specifies the result type of a given result. 1573 * 1574 * This special kind of informative chunk is not meant to be inserted into 1575 * the text buffer. Rather, it is meant to illustrate the type that an 1576 * expression using the given completion string would have. 1577 */ 1578 CXCompletionChunk_ResultType, 1579 /** 1580 * \brief A colon (':'). 1581 */ 1582 CXCompletionChunk_Colon, 1583 /** 1584 * \brief A semicolon (';'). 1585 */ 1586 CXCompletionChunk_SemiColon, 1587 /** 1588 * \brief An '=' sign. 1589 */ 1590 CXCompletionChunk_Equal, 1591 /** 1592 * Horizontal space (' '). 1593 */ 1594 CXCompletionChunk_HorizontalSpace, 1595 /** 1596 * Vertical space ('\n'), after which it is generally a good idea to 1597 * perform indentation. 1598 */ 1599 CXCompletionChunk_VerticalSpace 1600}; 1601 1602/** 1603 * \brief Determine the kind of a particular chunk within a completion string. 1604 * 1605 * \param completion_string the completion string to query. 1606 * 1607 * \param chunk_number the 0-based index of the chunk in the completion string. 1608 * 1609 * \returns the kind of the chunk at the index \c chunk_number. 1610 */ 1611CINDEX_LINKAGE enum CXCompletionChunkKind 1612clang_getCompletionChunkKind(CXCompletionString completion_string, 1613 unsigned chunk_number); 1614 1615/** 1616 * \brief Retrieve the text associated with a particular chunk within a 1617 * completion string. 1618 * 1619 * \param completion_string the completion string to query. 1620 * 1621 * \param chunk_number the 0-based index of the chunk in the completion string. 1622 * 1623 * \returns the text associated with the chunk at index \c chunk_number. 1624 */ 1625CINDEX_LINKAGE CXString 1626clang_getCompletionChunkText(CXCompletionString completion_string, 1627 unsigned chunk_number); 1628 1629/** 1630 * \brief Retrieve the completion string associated with a particular chunk 1631 * within a completion string. 1632 * 1633 * \param completion_string the completion string to query. 1634 * 1635 * \param chunk_number the 0-based index of the chunk in the completion string. 1636 * 1637 * \returns the completion string associated with the chunk at index 1638 * \c chunk_number, or NULL if that chunk is not represented by a completion 1639 * string. 1640 */ 1641CINDEX_LINKAGE CXCompletionString 1642clang_getCompletionChunkCompletionString(CXCompletionString completion_string, 1643 unsigned chunk_number); 1644 1645/** 1646 * \brief Retrieve the number of chunks in the given code-completion string. 1647 */ 1648CINDEX_LINKAGE unsigned 1649clang_getNumCompletionChunks(CXCompletionString completion_string); 1650 1651/** 1652 * \brief Contains the results of code-completion. 1653 * 1654 * This data structure contains the results of code completion, as 1655 * produced by \c clang_codeComplete. Its contents must be freed by 1656 * \c clang_disposeCodeCompleteResults. 1657 */ 1658typedef struct { 1659 /** 1660 * \brief The code-completion results. 1661 */ 1662 CXCompletionResult *Results; 1663 1664 /** 1665 * \brief The number of code-completion results stored in the 1666 * \c Results array. 1667 */ 1668 unsigned NumResults; 1669} CXCodeCompleteResults; 1670 1671/** 1672 * \brief Perform code completion at a given location in a source file. 1673 * 1674 * This function performs code completion at a particular file, line, and 1675 * column within source code, providing results that suggest potential 1676 * code snippets based on the context of the completion. The basic model 1677 * for code completion is that Clang will parse a complete source file, 1678 * performing syntax checking up to the location where code-completion has 1679 * been requested. At that point, a special code-completion token is passed 1680 * to the parser, which recognizes this token and determines, based on the 1681 * current location in the C/Objective-C/C++ grammar and the state of 1682 * semantic analysis, what completions to provide. These completions are 1683 * returned via a new \c CXCodeCompleteResults structure. 1684 * 1685 * Code completion itself is meant to be triggered by the client when the 1686 * user types punctuation characters or whitespace, at which point the 1687 * code-completion location will coincide with the cursor. For example, if \c p 1688 * is a pointer, code-completion might be triggered after the "-" and then 1689 * after the ">" in \c p->. When the code-completion location is afer the ">", 1690 * the completion results will provide, e.g., the members of the struct that 1691 * "p" points to. The client is responsible for placing the cursor at the 1692 * beginning of the token currently being typed, then filtering the results 1693 * based on the contents of the token. For example, when code-completing for 1694 * the expression \c p->get, the client should provide the location just after 1695 * the ">" (e.g., pointing at the "g") to this code-completion hook. Then, the 1696 * client can filter the results based on the current token text ("get"), only 1697 * showing those results that start with "get". The intent of this interface 1698 * is to separate the relatively high-latency acquisition of code-completion 1699 * results from the filtering of results on a per-character basis, which must 1700 * have a lower latency. 1701 * 1702 * \param CIdx the \c CXIndex instance that will be used to perform code 1703 * completion. 1704 * 1705 * \param source_filename the name of the source file that should be parsed to 1706 * perform code-completion. This source file must be the same as or include the 1707 * filename described by \p complete_filename, or no code-completion results 1708 * will be produced. NOTE: One can also specify NULL for this argument if the 1709 * source file is included in command_line_args. 1710 * 1711 * \param num_command_line_args the number of command-line arguments stored in 1712 * \p command_line_args. 1713 * 1714 * \param command_line_args the command-line arguments to pass to the Clang 1715 * compiler to build the given source file. This should include all of the 1716 * necessary include paths, language-dialect switches, precompiled header 1717 * includes, etc., but should not include any information specific to 1718 * code completion. 1719 * 1720 * \param num_unsaved_files the number of unsaved file entries in \p 1721 * unsaved_files. 1722 * 1723 * \param unsaved_files the files that have not yet been saved to disk 1724 * but may be required for code completion, including the contents of 1725 * those files. The contents and name of these files (as specified by 1726 * CXUnsavedFile) are copied when necessary, so the client only needs to 1727 * guarantee their validity until the call to this function returns. 1728 * 1729 * \param complete_filename the name of the source file where code completion 1730 * should be performed. In many cases, this name will be the same as the 1731 * source filename. However, the completion filename may also be a file 1732 * included by the source file, which is required when producing 1733 * code-completion results for a header. 1734 * 1735 * \param complete_line the line at which code-completion should occur. 1736 * 1737 * \param complete_column the column at which code-completion should occur. 1738 * Note that the column should point just after the syntactic construct that 1739 * initiated code completion, and not in the middle of a lexical token. 1740 * 1741 * \param diag_callback callback function that will receive any diagnostics 1742 * emitted while processing this source file. If NULL, diagnostics will be 1743 * suppressed. 1744 * 1745 * \param diag_client_data client data that will be passed to the diagnostic 1746 * callback function. 1747 * 1748 * \returns if successful, a new CXCodeCompleteResults structure 1749 * containing code-completion results, which should eventually be 1750 * freed with \c clang_disposeCodeCompleteResults(). If code 1751 * completion fails, returns NULL. 1752 */ 1753CINDEX_LINKAGE 1754CXCodeCompleteResults *clang_codeComplete(CXIndex CIdx, 1755 const char *source_filename, 1756 int num_command_line_args, 1757 const char **command_line_args, 1758 unsigned num_unsaved_files, 1759 struct CXUnsavedFile *unsaved_files, 1760 const char *complete_filename, 1761 unsigned complete_line, 1762 unsigned complete_column); 1763 1764/** 1765 * \brief Free the given set of code-completion results. 1766 */ 1767CINDEX_LINKAGE 1768void clang_disposeCodeCompleteResults(CXCodeCompleteResults *Results); 1769 1770/** 1771 * \brief Determine the number of diagnostics produced prior to the 1772 * location where code completion was performed. 1773 */ 1774CINDEX_LINKAGE 1775unsigned clang_codeCompleteGetNumDiagnostics(CXCodeCompleteResults *Results); 1776 1777/** 1778 * \brief Retrieve a diagnostic associated with the given code completion. 1779 * 1780 * \param Result the code completion results to query. 1781 * \param Index the zero-based diagnostic number to retrieve. 1782 * 1783 * \returns the requested diagnostic. This diagnostic must be freed 1784 * via a call to \c clang_disposeDiagnostic(). 1785 */ 1786CINDEX_LINKAGE 1787CXDiagnostic clang_codeCompleteGetDiagnostic(CXCodeCompleteResults *Results, 1788 unsigned Index); 1789 1790/** 1791 * @} 1792 */ 1793 1794 1795/** 1796 * \defgroup CINDEX_MISC Miscellaneous utility functions 1797 * 1798 * @{ 1799 */ 1800 1801/** 1802 * \brief Return a version string, suitable for showing to a user, but not 1803 * intended to be parsed (the format is not guaranteed to be stable). 1804 */ 1805CINDEX_LINKAGE CXString clang_getClangVersion(); 1806 1807/** 1808 * \brief Return a version string, suitable for showing to a user, but not 1809 * intended to be parsed (the format is not guaranteed to be stable). 1810 */ 1811 1812 1813 /** 1814 * \brief Visitor invoked for each file in a translation unit 1815 * (used with clang_getInclusions()). 1816 * 1817 * This visitor function will be invoked by clang_getInclusions() for each 1818 * file included (either at the top-level or by #include directives) within 1819 * a translation unit. The first argument is the file being included, and 1820 * the second and third arguments provide the inclusion stack. The 1821 * array is sorted in order of immediate inclusion. For example, 1822 * the first element refers to the location that included 'included_file'. 1823 */ 1824typedef void (*CXInclusionVisitor)(CXFile included_file, 1825 CXSourceLocation* inclusion_stack, 1826 unsigned include_len, 1827 CXClientData client_data); 1828 1829/** 1830 * \brief Visit the set of preprocessor inclusions in a translation unit. 1831 * The visitor function is called with the provided data for every included 1832 * file. This does not include headers included by the PCH file (unless one 1833 * is inspecting the inclusions in the PCH file itself). 1834 */ 1835CINDEX_LINKAGE void clang_getInclusions(CXTranslationUnit tu, 1836 CXInclusionVisitor visitor, 1837 CXClientData client_data); 1838 1839/** 1840 * @} 1841 */ 1842 1843/** 1844 * @} 1845 */ 1846 1847#ifdef __cplusplus 1848} 1849#endif 1850#endif 1851 1852