blob: 2042edcdb5217b1d5470f9748a32cc240d34d18b [file] [log] [blame]
Ted Kremenekd2fa5662009-08-26 22:36:44 +00001/*===-- 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
Steve Naroff88145032009-10-27 14:35:18 +000019#include <sys/stat.h>
Chandler Carruth3d315602009-12-17 09:27:29 +000020#include <time.h>
Douglas Gregor0a812cf2010-02-18 23:07:20 +000021#include <stdio.h>
Steve Naroff88145032009-10-27 14:35:18 +000022
Ted Kremenekd2fa5662009-08-26 22:36:44 +000023#ifdef __cplusplus
24extern "C" {
25#endif
26
Steve Naroff88145032009-10-27 14:35:18 +000027/* MSVC DLL import/export. */
John Thompson2e06fc82009-10-27 13:42:56 +000028#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
Douglas Gregor20d416c2010-01-20 01:10:47 +000038/** \defgroup CINDEX C Interface to Clang
39 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +000040 * The C Interface to Clang provides a relatively small API that exposes
Douglas Gregorf5525442010-01-20 22:45:41 +000041 * 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.
Douglas Gregor20d416c2010-01-20 01:10:47 +000045 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +000046 * This C interface to Clang will never provide all of the information
Douglas Gregorf5525442010-01-20 22:45:41 +000047 * 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.
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +000050 *
51 * To avoid namespace pollution, data types are prefixed with "CX" and
Douglas Gregorf5525442010-01-20 22:45:41 +000052 * functions are prefixed with "clang_".
Douglas Gregor20d416c2010-01-20 01:10:47 +000053 *
54 * @{
55 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +000056
Douglas Gregor7f173762010-01-20 22:28:27 +000057/**
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;
Steve Naroff600866c2009-08-27 19:51:58 +000062
Douglas Gregor7f173762010-01-20 22:28:27 +000063/**
64 * \brief A single translation unit, which resides in an index.
65 */
Steve Naroff50398192009-08-28 15:28:48 +000066typedef void *CXTranslationUnit; /* A translation unit instance. */
Steve Naroff600866c2009-08-27 19:51:58 +000067
Douglas Gregor7f173762010-01-20 22:28:27 +000068/**
Douglas Gregorc42fefa2010-01-22 22:29:16 +000069 * \brief Opaque pointer representing client data that will be passed through
70 * to various callbacks and visitors.
Douglas Gregor7f173762010-01-20 22:28:27 +000071 */
Douglas Gregorc42fefa2010-01-22 22:29:16 +000072typedef void *CXClientData;
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +000073
Douglas Gregor735df882009-12-02 09:21:34 +000074/**
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 {
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +000082 /**
83 * \brief The file whose contents have not yet been saved.
Douglas Gregor735df882009-12-02 09:21:34 +000084 *
85 * This file must already exist in the file system.
86 */
87 const char *Filename;
88
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +000089 /**
Douglas Gregorc8dfe5e2010-02-27 01:32:48 +000090 * \brief A buffer containing the unsaved contents of this file.
Douglas Gregor735df882009-12-02 09:21:34 +000091 */
92 const char *Contents;
93
94 /**
Douglas Gregorc8dfe5e2010-02-27 01:32:48 +000095 * \brief The length of the unsaved contents of this buffer.
Douglas Gregor735df882009-12-02 09:21:34 +000096 */
97 unsigned long Length;
98};
99
Douglas Gregor7f173762010-01-20 22:28:27 +0000100/**
Douglas Gregor7f173762010-01-20 22:28:27 +0000101 * \defgroup CINDEX_STRING String manipulation routines
102 *
103 * @{
104 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000105
Douglas Gregor7f173762010-01-20 22:28:27 +0000106/**
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.
Steve Naroffef0cef62009-11-09 17:45:52 +0000113 */
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
Douglas Gregor7f173762010-01-20 22:28:27 +0000121/**
122 * \brief Retrieve the character data associated with the given string.
123 */
Steve Naroffef0cef62009-11-09 17:45:52 +0000124CINDEX_LINKAGE const char *clang_getCString(CXString string);
125
Douglas Gregor7f173762010-01-20 22:28:27 +0000126/**
127 * \brief Free the given string,
128 */
Steve Naroffef0cef62009-11-09 17:45:52 +0000129CINDEX_LINKAGE void clang_disposeString(CXString string);
130
Douglas Gregor7f173762010-01-20 22:28:27 +0000131/**
132 * @}
133 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000134
135/**
Steve Naroffe56b4ba2009-10-20 14:46:24 +0000136 * \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
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000141 * is one that belongs in the translation unit itself and not in a precompiled
Steve Naroffe56b4ba2009-10-20 14:46:24 +0000142 * header that was used by the translation unit. If zero, all declarations
143 * will be enumerated.
144 *
Steve Naroffb4ece632009-10-20 16:36:34 +0000145 * Here is an example:
146 *
Douglas Gregor0a812cf2010-02-18 23:07:20 +0000147 * // excludeDeclsFromPCH = 1, displayDiagnostics=1
148 * Idx = clang_createIndex(1, 1);
Steve Naroffb4ece632009-10-20 16:36:34 +0000149 *
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'
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000155 * clang_visitChildren(clang_getTranslationUnitCursor(TU),
Douglas Gregor002a5282010-01-20 21:37:00 +0000156 * TranslationUnitVisitor, 0);
Steve Naroffb4ece632009-10-20 16:36:34 +0000157 * clang_disposeTranslationUnit(TU);
158 *
159 * // This will load all the symbols from 'IndexTest.c', excluding symbols
160 * // from 'IndexTest.pch'.
Daniel Dunbarfd9f2342010-01-25 00:43:14 +0000161 * char *args[] = { "-Xclang", "-include-pch=IndexTest.pch" };
162 * TU = clang_createTranslationUnitFromSourceFile(Idx, "IndexTest.c", 2, args,
163 * 0, 0);
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000164 * clang_visitChildren(clang_getTranslationUnitCursor(TU),
165 * TranslationUnitVisitor, 0);
Steve Naroffb4ece632009-10-20 16:36:34 +0000166 * 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).
Steve Naroffe56b4ba2009-10-20 14:46:24 +0000171 */
Douglas Gregor0a812cf2010-02-18 23:07:20 +0000172CINDEX_LINKAGE CXIndex clang_createIndex(int excludeDeclarationsFromPCH,
173 int displayDiagnostics);
Ted Kremenek896b70f2010-03-13 02:50:34 +0000174
Douglas Gregor0087e1a2010-02-08 23:03:06 +0000175/**
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 */
Daniel Dunbar8506dde2009-12-03 01:54:28 +0000181CINDEX_LINKAGE void clang_disposeIndex(CXIndex index);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000182
183/**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000184 * \brief Request that AST's be generated externally for API calls which parse
Daniel Dunbar8506dde2009-12-03 01:54:28 +0000185 * 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);
Douglas Gregor7eaa8ae2010-01-20 00:23:15 +0000195/**
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000196 * \defgroup CINDEX_FILES File manipulation routines
Douglas Gregorf5525442010-01-20 22:45:41 +0000197 *
198 * @{
199 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000200
Douglas Gregorf5525442010-01-20 22:45:41 +0000201/**
202 * \brief A particular source file that is part of a translation unit.
203 */
204typedef void *CXFile;
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000205
Douglas Gregorf5525442010-01-20 22:45:41 +0000206
207/**
208 * \brief Retrieve the complete file and path name of the given file.
Steve Naroff88145032009-10-27 14:35:18 +0000209 */
Ted Kremenek74844072010-02-17 00:41:20 +0000210CINDEX_LINKAGE CXString clang_getFileName(CXFile SFile);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000211
Douglas Gregorf5525442010-01-20 22:45:41 +0000212/**
213 * \brief Retrieve the last modification time of the given file.
214 */
Douglas Gregor08b0e8d2009-10-31 15:48:08 +0000215CINDEX_LINKAGE time_t clang_getFileTime(CXFile SFile);
Steve Naroff88145032009-10-27 14:35:18 +0000216
Douglas Gregor3c7313d2010-01-18 22:13:09 +0000217/**
Douglas Gregorb9790342010-01-22 21:44:22 +0000218 * \brief Retrieve a file handle within the given translation unit.
219 *
220 * \param tu the translation unit
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000221 *
Douglas Gregorb9790342010-01-22 21:44:22 +0000222 * \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 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000227CINDEX_LINKAGE CXFile clang_getFile(CXTranslationUnit tu,
Douglas Gregorb9790342010-01-22 21:44:22 +0000228 const char *file_name);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000229
Douglas Gregorb9790342010-01-22 21:44:22 +0000230/**
Douglas Gregorf5525442010-01-20 22:45:41 +0000231 * @}
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 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000246
Douglas Gregorf5525442010-01-20 22:45:41 +0000247/**
Douglas Gregor1db19de2010-01-19 21:36:55 +0000248 * \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.
Douglas Gregor3c7313d2010-01-18 22:13:09 +0000253 */
254typedef struct {
Douglas Gregor5352ac02010-01-28 00:27:43 +0000255 void *ptr_data[2];
Douglas Gregor1db19de2010-01-19 21:36:55 +0000256 unsigned int_data;
Douglas Gregor3c7313d2010-01-18 22:13:09 +0000257} CXSourceLocation;
Ted Kremenekfe6fd3d2010-01-05 23:18:49 +0000258
Douglas Gregor3c7313d2010-01-18 22:13:09 +0000259/**
Daniel Dunbard52864b2010-02-14 10:02:57 +0000260 * \brief Identifies a half-open character range in the source code.
Douglas Gregor3c7313d2010-01-18 22:13:09 +0000261 *
Douglas Gregor1db19de2010-01-19 21:36:55 +0000262 * Use clang_getRangeStart() and clang_getRangeEnd() to retrieve the
263 * starting and end locations from a source range, respectively.
Douglas Gregor3c7313d2010-01-18 22:13:09 +0000264 */
265typedef struct {
Douglas Gregor5352ac02010-01-28 00:27:43 +0000266 void *ptr_data[2];
Douglas Gregor1db19de2010-01-19 21:36:55 +0000267 unsigned begin_int_data;
268 unsigned end_int_data;
Douglas Gregor3c7313d2010-01-18 22:13:09 +0000269} CXSourceRange;
Ted Kremenekfe6fd3d2010-01-05 23:18:49 +0000270
Douglas Gregor1db19de2010-01-19 21:36:55 +0000271/**
Douglas Gregorb9790342010-01-22 21:44:22 +0000272 * \brief Retrieve a NULL (invalid) source location.
273 */
274CINDEX_LINKAGE CXSourceLocation clang_getNullLocation();
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000275
Douglas Gregorb9790342010-01-22 21:44:22 +0000276/**
277 * \determine Determine whether two source locations, which must refer into
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000278 * the same translation unit, refer to exactly the same point in the source
Douglas Gregorb9790342010-01-22 21:44:22 +0000279 * 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);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000286
Douglas Gregorb9790342010-01-22 21:44:22 +0000287/**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000288 * \brief Retrieves the source location associated with a given file/line/column
289 * in a particular translation unit.
Douglas Gregorb9790342010-01-22 21:44:22 +0000290 */
291CINDEX_LINKAGE CXSourceLocation clang_getLocation(CXTranslationUnit tu,
292 CXFile file,
293 unsigned line,
294 unsigned column);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000295
Douglas Gregorb9790342010-01-22 21:44:22 +0000296/**
Douglas Gregor5352ac02010-01-28 00:27:43 +0000297 * \brief Retrieve a NULL (invalid) source range.
298 */
299CINDEX_LINKAGE CXSourceRange clang_getNullRange();
Ted Kremenek896b70f2010-03-13 02:50:34 +0000300
Douglas Gregor5352ac02010-01-28 00:27:43 +0000301/**
Douglas Gregorb9790342010-01-22 21:44:22 +0000302 * \brief Retrieve a source range given the beginning and ending source
303 * locations.
304 */
305CINDEX_LINKAGE CXSourceRange clang_getRange(CXSourceLocation begin,
306 CXSourceLocation end);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000307
Douglas Gregorb9790342010-01-22 21:44:22 +0000308/**
Douglas Gregor46766dc2010-01-26 19:19:08 +0000309 * \brief Retrieve the file, line, column, and offset represented by
310 * the given source location.
Douglas Gregor1db19de2010-01-19 21:36:55 +0000311 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000312 * \param location the location within a source file that will be decomposed
313 * into its parts.
Douglas Gregor1db19de2010-01-19 21:36:55 +0000314 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000315 * \param file [out] if non-NULL, will be set to the file to which the given
Douglas Gregor1db19de2010-01-19 21:36:55 +0000316 * source location points.
317 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000318 * \param line [out] if non-NULL, will be set to the line to which the given
Douglas Gregor1db19de2010-01-19 21:36:55 +0000319 * source location points.
320 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000321 * \param column [out] if non-NULL, will be set to the column to which the given
322 * source location points.
Douglas Gregor46766dc2010-01-26 19:19:08 +0000323 *
324 * \param offset [out] if non-NULL, will be set to the offset into the
325 * buffer to which the given source location points.
Douglas Gregor1db19de2010-01-19 21:36:55 +0000326 */
327CINDEX_LINKAGE void clang_getInstantiationLocation(CXSourceLocation location,
328 CXFile *file,
329 unsigned *line,
Douglas Gregor46766dc2010-01-26 19:19:08 +0000330 unsigned *column,
331 unsigned *offset);
Douglas Gregore69517c2010-01-26 03:07:15 +0000332
333/**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000334 * \brief Retrieve a source location representing the first character within a
335 * source range.
Douglas Gregor1db19de2010-01-19 21:36:55 +0000336 */
337CINDEX_LINKAGE CXSourceLocation clang_getRangeStart(CXSourceRange range);
338
339/**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000340 * \brief Retrieve a source location representing the last character within a
341 * source range.
Douglas Gregor1db19de2010-01-19 21:36:55 +0000342 */
343CINDEX_LINKAGE CXSourceLocation clang_getRangeEnd(CXSourceRange range);
344
Douglas Gregorf5525442010-01-20 22:45:41 +0000345/**
346 * @}
347 */
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000348
349/**
Douglas Gregor5352ac02010-01-28 00:27:43 +0000350 * \defgroup CINDEX_DIAG Diagnostic reporting
351 *
352 * @{
353 */
354
355/**
356 * \brief Describes the severity of a particular diagnostic.
357 */
358enum CXDiagnosticSeverity {
359 /**
Ted Kremenek896b70f2010-03-13 02:50:34 +0000360 * \brief A diagnostic that has been suppressed, e.g., by a command-line
Douglas Gregor5352ac02010-01-28 00:27:43 +0000361 * option.
362 */
363 CXDiagnostic_Ignored = 0,
Ted Kremenek896b70f2010-03-13 02:50:34 +0000364
Douglas Gregor5352ac02010-01-28 00:27:43 +0000365 /**
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/**
Douglas Gregor5352ac02010-01-28 00:27:43 +0000391 * \brief A single diagnostic, containing the diagnostic's severity,
392 * location, text, source ranges, and fix-it hints.
393 */
394typedef void *CXDiagnostic;
395
396/**
Douglas Gregora88084b2010-02-18 18:08:43 +0000397 * \brief Determine the number of diagnostics produced for the given
398 * translation unit.
Douglas Gregor5352ac02010-01-28 00:27:43 +0000399 */
Douglas Gregora88084b2010-02-18 18:08:43 +0000400CINDEX_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);
Douglas Gregor5352ac02010-01-28 00:27:43 +0000418
419/**
Douglas Gregor0a812cf2010-02-18 23:07:20 +0000420 * \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 *
Ted Kremenek896b70f2010-03-13 02:50:34 +0000454 * This option corresponds to the clang flag
Douglas Gregor0a812cf2010-02-18 23:07:20 +0000455 * \c -fdiagnostics-print-source-range-info.
456 */
457 CXDiagnostic_DisplaySourceRanges = 0x04
458};
459
460/**
Douglas Gregor274f1902010-02-22 23:17:23 +0000461 * \brief Format the given diagnostic in a manner that is suitable for display.
Douglas Gregor0a812cf2010-02-18 23:07:20 +0000462 *
Douglas Gregor274f1902010-02-22 23:17:23 +0000463 * This routine will format the given diagnostic to a string, rendering
Ted Kremenek896b70f2010-03-13 02:50:34 +0000464 * the diagnostic according to the various options given. The
465 * \c clang_defaultDiagnosticDisplayOptions() function returns the set of
Douglas Gregor0a812cf2010-02-18 23:07:20 +0000466 * options that most closely mimics the behavior of the clang compiler.
467 *
468 * \param Diagnostic The diagnostic to print.
469 *
Ted Kremenek896b70f2010-03-13 02:50:34 +0000470 * \param Options A set of options that control the diagnostic display,
Douglas Gregor0a812cf2010-02-18 23:07:20 +0000471 * created by combining \c CXDiagnosticDisplayOptions values.
Douglas Gregor274f1902010-02-22 23:17:23 +0000472 *
473 * \returns A new string containing for formatted diagnostic.
Douglas Gregor0a812cf2010-02-18 23:07:20 +0000474 */
Douglas Gregor274f1902010-02-22 23:17:23 +0000475CINDEX_LINKAGE CXString clang_formatDiagnostic(CXDiagnostic Diagnostic,
476 unsigned Options);
Douglas Gregor0a812cf2010-02-18 23:07:20 +0000477
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/**
Douglas Gregor5352ac02010-01-28 00:27:43 +0000492 * \brief Determine the severity of the given diagnostic.
493 */
Ted Kremenek896b70f2010-03-13 02:50:34 +0000494CINDEX_LINKAGE enum CXDiagnosticSeverity
Douglas Gregor5352ac02010-01-28 00:27:43 +0000495clang_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);
Douglas Gregora3890ba2010-02-08 23:11:56 +0000509
510/**
511 * \brief Determine the number of source ranges associated with the given
512 * diagnostic.
513 */
514CINDEX_LINKAGE unsigned clang_getDiagnosticNumRanges(CXDiagnostic);
Ted Kremenek896b70f2010-03-13 02:50:34 +0000515
Douglas Gregor5352ac02010-01-28 00:27:43 +0000516/**
Douglas Gregora3890ba2010-02-08 23:11:56 +0000517 * \brief Retrieve a source range associated with the diagnostic.
Douglas Gregor5352ac02010-01-28 00:27:43 +0000518 *
Douglas Gregora3890ba2010-02-08 23:11:56 +0000519 * A diagnostic's source ranges highlight important elements in the source
Douglas Gregor5352ac02010-01-28 00:27:43 +0000520 * code. On the command line, Clang displays source ranges by
Ted Kremenek896b70f2010-03-13 02:50:34 +0000521 * underlining them with '~' characters.
Douglas Gregor5352ac02010-01-28 00:27:43 +0000522 *
Douglas Gregora3890ba2010-02-08 23:11:56 +0000523 * \param Diagnostic the diagnostic whose range is being extracted.
Douglas Gregor5352ac02010-01-28 00:27:43 +0000524 *
Ted Kremenek896b70f2010-03-13 02:50:34 +0000525 * \param Range the zero-based index specifying which range to
Douglas Gregor5352ac02010-01-28 00:27:43 +0000526 *
Douglas Gregora3890ba2010-02-08 23:11:56 +0000527 * \returns the requested source range.
Douglas Gregor5352ac02010-01-28 00:27:43 +0000528 */
Ted Kremenek896b70f2010-03-13 02:50:34 +0000529CINDEX_LINKAGE CXSourceRange clang_getDiagnosticRange(CXDiagnostic Diagnostic,
Douglas Gregora3890ba2010-02-08 23:11:56 +0000530 unsigned Range);
Douglas Gregor5352ac02010-01-28 00:27:43 +0000531
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/**
Douglas Gregor473d7012010-02-19 18:16:06 +0000539 * \brief Retrieve the replacement information for a given fix-it.
Douglas Gregor5352ac02010-01-28 00:27:43 +0000540 *
Douglas Gregor473d7012010-02-19 18:16:06 +0000541 * 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).
Douglas Gregor5352ac02010-01-28 00:27:43 +0000550 *
Douglas Gregor473d7012010-02-19 18:16:06 +0000551 * \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.
Douglas Gregor5352ac02010-01-28 00:27:43 +0000562 */
Ted Kremenek896b70f2010-03-13 02:50:34 +0000563CINDEX_LINKAGE CXString clang_getDiagnosticFixIt(CXDiagnostic Diagnostic,
Douglas Gregor473d7012010-02-19 18:16:06 +0000564 unsigned FixIt,
565 CXSourceRange *ReplacementRange);
Douglas Gregor5352ac02010-01-28 00:27:43 +0000566
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 */
Ted Kremenek896b70f2010-03-13 02:50:34 +0000580
Douglas Gregor5352ac02010-01-28 00:27:43 +0000581/**
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.
613 *
614 * \param diag_callback callback function that will receive any diagnostics
615 * emitted while processing this source file. If NULL, diagnostics will be
616 * suppressed.
617 *
618 * \param diag_client_data client data that will be passed to the diagnostic
619 * callback function.
620 */
621CINDEX_LINKAGE CXTranslationUnit clang_createTranslationUnitFromSourceFile(
622 CXIndex CIdx,
623 const char *source_filename,
624 int num_clang_command_line_args,
625 const char **clang_command_line_args,
626 unsigned num_unsaved_files,
Douglas Gregora88084b2010-02-18 18:08:43 +0000627 struct CXUnsavedFile *unsaved_files);
Ted Kremenek896b70f2010-03-13 02:50:34 +0000628
Douglas Gregor5352ac02010-01-28 00:27:43 +0000629/**
630 * \brief Create a translation unit from an AST file (-emit-ast).
631 */
Ted Kremenek896b70f2010-03-13 02:50:34 +0000632CINDEX_LINKAGE CXTranslationUnit clang_createTranslationUnit(CXIndex,
Douglas Gregora88084b2010-02-18 18:08:43 +0000633 const char *ast_filename);
Douglas Gregor5352ac02010-01-28 00:27:43 +0000634
635/**
636 * \brief Destroy the specified CXTranslationUnit object.
637 */
638CINDEX_LINKAGE void clang_disposeTranslationUnit(CXTranslationUnit);
Ted Kremenek896b70f2010-03-13 02:50:34 +0000639
Douglas Gregor5352ac02010-01-28 00:27:43 +0000640/**
641 * @}
642 */
Ted Kremenek896b70f2010-03-13 02:50:34 +0000643
Douglas Gregor5352ac02010-01-28 00:27:43 +0000644/**
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000645 * \brief Describes the kind of entity that a cursor refers to.
646 */
647enum CXCursorKind {
648 /* Declarations */
649 CXCursor_FirstDecl = 1,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000650 /**
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000651 * \brief A declaration whose specific kind is not exposed via this
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000652 * interface.
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000653 *
654 * Unexposed declarations have the same operations as any other kind
655 * of declaration; one can extract their location information,
656 * spelling, find their definitions, etc. However, the specific kind
657 * of the declaration is not reported.
658 */
659 CXCursor_UnexposedDecl = 1,
660 /** \brief A C or C++ struct. */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000661 CXCursor_StructDecl = 2,
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000662 /** \brief A C or C++ union. */
663 CXCursor_UnionDecl = 3,
664 /** \brief A C++ class. */
665 CXCursor_ClassDecl = 4,
666 /** \brief An enumeration. */
667 CXCursor_EnumDecl = 5,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000668 /**
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000669 * \brief A field (in C) or non-static data member (in C++) in a
670 * struct, union, or C++ class.
671 */
672 CXCursor_FieldDecl = 6,
673 /** \brief An enumerator constant. */
674 CXCursor_EnumConstantDecl = 7,
675 /** \brief A function. */
676 CXCursor_FunctionDecl = 8,
677 /** \brief A variable. */
678 CXCursor_VarDecl = 9,
679 /** \brief A function or method parameter. */
680 CXCursor_ParmDecl = 10,
681 /** \brief An Objective-C @interface. */
682 CXCursor_ObjCInterfaceDecl = 11,
683 /** \brief An Objective-C @interface for a category. */
684 CXCursor_ObjCCategoryDecl = 12,
685 /** \brief An Objective-C @protocol declaration. */
686 CXCursor_ObjCProtocolDecl = 13,
687 /** \brief An Objective-C @property declaration. */
688 CXCursor_ObjCPropertyDecl = 14,
689 /** \brief An Objective-C instance variable. */
690 CXCursor_ObjCIvarDecl = 15,
691 /** \brief An Objective-C instance method. */
692 CXCursor_ObjCInstanceMethodDecl = 16,
693 /** \brief An Objective-C class method. */
694 CXCursor_ObjCClassMethodDecl = 17,
695 /** \brief An Objective-C @implementation. */
696 CXCursor_ObjCImplementationDecl = 18,
697 /** \brief An Objective-C @implementation for a category. */
698 CXCursor_ObjCCategoryImplDecl = 19,
699 /** \brief A typedef */
700 CXCursor_TypedefDecl = 20,
701 CXCursor_LastDecl = 20,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000702
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000703 /* References */
704 CXCursor_FirstRef = 40, /* Decl references */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000705 CXCursor_ObjCSuperClassRef = 40,
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000706 CXCursor_ObjCProtocolRef = 41,
707 CXCursor_ObjCClassRef = 42,
708 /**
709 * \brief A reference to a type declaration.
710 *
711 * A type reference occurs anywhere where a type is named but not
712 * declared. For example, given:
713 *
714 * \code
715 * typedef unsigned size_type;
716 * size_type size;
717 * \endcode
718 *
719 * The typedef is a declaration of size_type (CXCursor_TypedefDecl),
720 * while the type of the variable "size" is referenced. The cursor
721 * referenced by the type of size is the typedef for size_type.
722 */
723 CXCursor_TypeRef = 43,
724 CXCursor_LastRef = 43,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000725
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000726 /* Error conditions */
727 CXCursor_FirstInvalid = 70,
728 CXCursor_InvalidFile = 70,
729 CXCursor_NoDeclFound = 71,
730 CXCursor_NotImplemented = 72,
731 CXCursor_LastInvalid = 72,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000732
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000733 /* Expressions */
734 CXCursor_FirstExpr = 100,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000735
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000736 /**
737 * \brief An expression whose specific kind is not exposed via this
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000738 * interface.
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000739 *
740 * Unexposed expressions have the same operations as any other kind
741 * of expression; one can extract their location information,
742 * spelling, children, etc. However, the specific kind of the
743 * expression is not reported.
744 */
745 CXCursor_UnexposedExpr = 100,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000746
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000747 /**
748 * \brief An expression that refers to some value declaration, such
749 * as a function, varible, or enumerator.
750 */
751 CXCursor_DeclRefExpr = 101,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000752
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000753 /**
754 * \brief An expression that refers to a member of a struct, union,
755 * class, Objective-C class, etc.
756 */
757 CXCursor_MemberRefExpr = 102,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000758
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000759 /** \brief An expression that calls a function. */
760 CXCursor_CallExpr = 103,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000761
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000762 /** \brief An expression that sends a message to an Objective-C
763 object or class. */
764 CXCursor_ObjCMessageExpr = 104,
765 CXCursor_LastExpr = 104,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000766
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000767 /* Statements */
768 CXCursor_FirstStmt = 200,
769 /**
770 * \brief A statement whose specific kind is not exposed via this
771 * interface.
772 *
773 * Unexposed statements have the same operations as any other kind of
774 * statement; one can extract their location information, spelling,
775 * children, etc. However, the specific kind of the statement is not
776 * reported.
777 */
778 CXCursor_UnexposedStmt = 200,
779 CXCursor_LastStmt = 200,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000780
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000781 /**
782 * \brief Cursor that represents the translation unit itself.
783 *
784 * The translation unit cursor exists primarily to act as the root
785 * cursor for traversing the contents of a translation unit.
786 */
Ted Kremeneke77f4432010-02-18 03:09:07 +0000787 CXCursor_TranslationUnit = 300,
788
789 /* Attributes */
790 CXCursor_FirstAttr = 400,
791 /**
792 * \brief An attribute whose specific kind is not exposed via this
793 * interface.
794 */
795 CXCursor_UnexposedAttr = 400,
796
797 CXCursor_IBActionAttr = 401,
798 CXCursor_IBOutletAttr = 402,
Douglas Gregor9f1e3ff2010-03-18 00:42:48 +0000799 CXCursor_LastAttr = CXCursor_IBOutletAttr,
800
801 /* Preprocessing */
802 CXCursor_PreprocessingDirective = 500,
803
804 CXCursor_FirstPreprocessing = CXCursor_PreprocessingDirective,
805 CXCursor_LastPreprocessing = CXCursor_PreprocessingDirective
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000806};
807
808/**
809 * \brief A cursor representing some element in the abstract syntax tree for
810 * a translation unit.
811 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000812 * The cursor abstraction unifies the different kinds of entities in a
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000813 * program--declaration, statements, expressions, references to declarations,
814 * etc.--under a single "cursor" abstraction with a common set of operations.
815 * Common operation for a cursor include: getting the physical location in
816 * a source file where the cursor points, getting the name associated with a
817 * cursor, and retrieving cursors for any child nodes of a particular cursor.
818 *
819 * Cursors can be produced in two specific ways.
820 * clang_getTranslationUnitCursor() produces a cursor for a translation unit,
821 * from which one can use clang_visitChildren() to explore the rest of the
822 * translation unit. clang_getCursor() maps from a physical source location
823 * to the entity that resides at that location, allowing one to map from the
824 * source code into the AST.
825 */
826typedef struct {
827 enum CXCursorKind kind;
828 void *data[3];
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000829} CXCursor;
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000830
831/**
832 * \defgroup CINDEX_CURSOR_MANIP Cursor manipulations
833 *
834 * @{
835 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000836
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000837/**
838 * \brief Retrieve the NULL cursor, which represents no entity.
839 */
840CINDEX_LINKAGE CXCursor clang_getNullCursor(void);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000841
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000842/**
843 * \brief Retrieve the cursor that represents the given translation unit.
844 *
845 * The translation unit cursor can be used to start traversing the
846 * various declarations within the given translation unit.
847 */
848CINDEX_LINKAGE CXCursor clang_getTranslationUnitCursor(CXTranslationUnit);
849
850/**
851 * \brief Determine whether two cursors are equivalent.
852 */
853CINDEX_LINKAGE unsigned clang_equalCursors(CXCursor, CXCursor);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000854
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000855/**
856 * \brief Retrieve the kind of the given cursor.
857 */
858CINDEX_LINKAGE enum CXCursorKind clang_getCursorKind(CXCursor);
859
860/**
861 * \brief Determine whether the given cursor kind represents a declaration.
862 */
863CINDEX_LINKAGE unsigned clang_isDeclaration(enum CXCursorKind);
864
865/**
866 * \brief Determine whether the given cursor kind represents a simple
867 * reference.
868 *
869 * Note that other kinds of cursors (such as expressions) can also refer to
870 * other cursors. Use clang_getCursorReferenced() to determine whether a
871 * particular cursor refers to another entity.
872 */
873CINDEX_LINKAGE unsigned clang_isReference(enum CXCursorKind);
874
875/**
876 * \brief Determine whether the given cursor kind represents an expression.
877 */
878CINDEX_LINKAGE unsigned clang_isExpression(enum CXCursorKind);
879
880/**
881 * \brief Determine whether the given cursor kind represents a statement.
882 */
883CINDEX_LINKAGE unsigned clang_isStatement(enum CXCursorKind);
884
885/**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000886 * \brief Determine whether the given cursor kind represents an invalid
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000887 * cursor.
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000888 */
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000889CINDEX_LINKAGE unsigned clang_isInvalid(enum CXCursorKind);
890
891/**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000892 * \brief Determine whether the given cursor kind represents a translation
893 * unit.
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000894 */
895CINDEX_LINKAGE unsigned clang_isTranslationUnit(enum CXCursorKind);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000896
Ted Kremenekad6eff62010-03-08 21:17:29 +0000897/***
Douglas Gregor9f1e3ff2010-03-18 00:42:48 +0000898 * \brief Determine whether the given cursor represents a preprocessing
899 * element, such as a preprocessor directive or macro instantiation.
900 */
901CINDEX_LINKAGE unsigned clang_isPreprocessing(enum CXCursorKind);
902
903/***
Ted Kremenekad6eff62010-03-08 21:17:29 +0000904 * \brief Determine whether the given cursor represents a currently
905 * unexposed piece of the AST (e.g., CXCursor_UnexposedStmt).
906 */
907CINDEX_LINKAGE unsigned clang_isUnexposed(enum CXCursorKind);
908
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000909/**
Ted Kremenek16b42592010-03-03 06:36:57 +0000910 * \brief Describe the linkage of the entity referred to by a cursor.
911 */
912enum CXLinkageKind {
913 /** \brief This value indicates that no linkage information is available
914 * for a provided CXCursor. */
915 CXLinkage_Invalid,
916 /**
917 * \brief This is the linkage for variables, parameters, and so on that
918 * have automatic storage. This covers normal (non-extern) local variables.
919 */
920 CXLinkage_NoLinkage,
921 /** \brief This is the linkage for static variables and static functions. */
922 CXLinkage_Internal,
923 /** \brief This is the linkage for entities with external linkage that live
924 * in C++ anonymous namespaces.*/
925 CXLinkage_UniqueExternal,
926 /** \brief This is the linkage for entities with true, external linkage. */
927 CXLinkage_External
928};
929
930/**
931 * \brief Determine the linkage of the entity referred to be a given cursor.
932 */
933CINDEX_LINKAGE enum CXLinkageKind clang_getCursorLinkage(CXCursor cursor);
934
935/**
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000936 * @}
937 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000938
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000939/**
940 * \defgroup CINDEX_CURSOR_SOURCE Mapping between cursors and source code
941 *
942 * Cursors represent a location within the Abstract Syntax Tree (AST). These
943 * routines help map between cursors and the physical locations where the
944 * described entities occur in the source code. The mapping is provided in
945 * both directions, so one can map from source code to the AST and back.
946 *
947 * @{
Steve Naroff50398192009-08-28 15:28:48 +0000948 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000949
Steve Naroff6a6de8b2009-10-21 13:56:23 +0000950/**
Douglas Gregorb9790342010-01-22 21:44:22 +0000951 * \brief Map a source location to the cursor that describes the entity at that
952 * location in the source code.
953 *
954 * clang_getCursor() maps an arbitrary source location within a translation
955 * unit down to the most specific cursor that describes the entity at that
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000956 * location. For example, given an expression \c x + y, invoking
Douglas Gregorb9790342010-01-22 21:44:22 +0000957 * clang_getCursor() with a source location pointing to "x" will return the
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000958 * cursor for "x"; similarly for "y". If the cursor points anywhere between
Douglas Gregorb9790342010-01-22 21:44:22 +0000959 * "x" or "y" (e.g., on the + or the whitespace around it), clang_getCursor()
960 * will return a cursor referring to the "+" expression.
961 *
962 * \returns a cursor representing the entity at the given source location, or
963 * a NULL cursor if no such entity can be found.
Steve Naroff6a6de8b2009-10-21 13:56:23 +0000964 */
Douglas Gregorb9790342010-01-22 21:44:22 +0000965CINDEX_LINKAGE CXCursor clang_getCursor(CXTranslationUnit, CXSourceLocation);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000966
Douglas Gregor98258af2010-01-18 22:46:11 +0000967/**
968 * \brief Retrieve the physical location of the source constructor referenced
969 * by the given cursor.
970 *
971 * The location of a declaration is typically the location of the name of that
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000972 * declaration, where the name of that declaration would occur if it is
973 * unnamed, or some keyword that introduces that particular declaration.
974 * The location of a reference is where that reference occurs within the
Douglas Gregor98258af2010-01-18 22:46:11 +0000975 * source code.
976 */
977CINDEX_LINKAGE CXSourceLocation clang_getCursorLocation(CXCursor);
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000978
Douglas Gregorb6998662010-01-19 19:34:47 +0000979/**
980 * \brief Retrieve the physical extent of the source construct referenced by
Douglas Gregora7bde202010-01-19 00:34:46 +0000981 * the given cursor.
982 *
983 * The extent of a cursor starts with the file/line/column pointing at the
984 * first character within the source construct that the cursor refers to and
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000985 * ends with the last character withinin that source construct. For a
Douglas Gregora7bde202010-01-19 00:34:46 +0000986 * declaration, the extent covers the declaration itself. For a reference,
987 * the extent covers the location of the reference (e.g., where the referenced
988 * entity was actually used).
989 */
990CINDEX_LINKAGE CXSourceRange clang_getCursorExtent(CXCursor);
Douglas Gregorc5d1e932010-01-19 01:20:04 +0000991
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000992/**
993 * @}
994 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +0000995
Douglas Gregorc42fefa2010-01-22 22:29:16 +0000996/**
997 * \defgroup CINDEX_CURSOR_TRAVERSAL Traversing the AST with cursors
998 *
999 * These routines provide the ability to traverse the abstract syntax tree
1000 * using cursors.
1001 *
1002 * @{
1003 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001004
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001005/**
1006 * \brief Describes how the traversal of the children of a particular
1007 * cursor should proceed after visiting a particular child cursor.
1008 *
1009 * A value of this enumeration type should be returned by each
1010 * \c CXCursorVisitor to indicate how clang_visitChildren() proceed.
1011 */
1012enum CXChildVisitResult {
1013 /**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001014 * \brief Terminates the cursor traversal.
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001015 */
1016 CXChildVisit_Break,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001017 /**
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001018 * \brief Continues the cursor traversal with the next sibling of
1019 * the cursor just visited, without visiting its children.
1020 */
1021 CXChildVisit_Continue,
1022 /**
1023 * \brief Recursively traverse the children of this cursor, using
1024 * the same visitor and client data.
1025 */
1026 CXChildVisit_Recurse
1027};
1028
1029/**
1030 * \brief Visitor invoked for each cursor found by a traversal.
1031 *
1032 * This visitor function will be invoked for each cursor found by
1033 * clang_visitCursorChildren(). Its first argument is the cursor being
1034 * visited, its second argument is the parent visitor for that cursor,
1035 * and its third argument is the client data provided to
1036 * clang_visitCursorChildren().
1037 *
1038 * The visitor should return one of the \c CXChildVisitResult values
1039 * to direct clang_visitCursorChildren().
1040 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001041typedef enum CXChildVisitResult (*CXCursorVisitor)(CXCursor cursor,
1042 CXCursor parent,
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001043 CXClientData client_data);
1044
1045/**
1046 * \brief Visit the children of a particular cursor.
1047 *
1048 * This function visits all the direct children of the given cursor,
1049 * invoking the given \p visitor function with the cursors of each
1050 * visited child. The traversal may be recursive, if the visitor returns
1051 * \c CXChildVisit_Recurse. The traversal may also be ended prematurely, if
1052 * the visitor returns \c CXChildVisit_Break.
1053 *
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001054 * \param parent the cursor whose child may be visited. All kinds of
Daniel Dunbara57259e2010-01-24 04:10:31 +00001055 * cursors can be visited, including invalid cursors (which, by
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001056 * definition, have no children).
1057 *
1058 * \param visitor the visitor function that will be invoked for each
1059 * child of \p parent.
1060 *
1061 * \param client_data pointer data supplied by the client, which will
1062 * be passed to the visitor each time it is invoked.
1063 *
1064 * \returns a non-zero value if the traversal was terminated
1065 * prematurely by the visitor returning \c CXChildVisit_Break.
1066 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001067CINDEX_LINKAGE unsigned clang_visitChildren(CXCursor parent,
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001068 CXCursorVisitor visitor,
1069 CXClientData client_data);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001070
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001071/**
1072 * @}
1073 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001074
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001075/**
1076 * \defgroup CINDEX_CURSOR_XREF Cross-referencing in the AST
1077 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001078 * These routines provide the ability to determine references within and
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001079 * across translation units, by providing the names of the entities referenced
1080 * by cursors, follow reference cursors to the declarations they reference,
1081 * and associate declarations with their definitions.
1082 *
1083 * @{
1084 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001085
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001086/**
1087 * \brief Retrieve a Unified Symbol Resolution (USR) for the entity referenced
1088 * by the given cursor.
1089 *
1090 * A Unified Symbol Resolution (USR) is a string that identifies a particular
1091 * entity (function, class, variable, etc.) within a program. USRs can be
1092 * compared across translation units to determine, e.g., when references in
1093 * one translation refer to an entity defined in another translation unit.
1094 */
1095CINDEX_LINKAGE CXString clang_getCursorUSR(CXCursor);
1096
1097/**
Ted Kremenek896b70f2010-03-13 02:50:34 +00001098 * \brief Construct a USR for a specified Objective-C class.
1099 */
1100CINDEX_LINKAGE CXString clang_constructUSR_ObjCClass(const char *class_name);
1101
1102/**
1103 * \brief Construct a USR for a specified Objective-C category.
1104 */
1105CINDEX_LINKAGE CXString
Ted Kremenek66ccaec2010-03-15 17:38:58 +00001106 clang_constructUSR_ObjCCategory(const char *class_name,
Ted Kremenek896b70f2010-03-13 02:50:34 +00001107 const char *category_name);
1108
1109/**
1110 * \brief Construct a USR for a specified Objective-C protocol.
1111 */
1112CINDEX_LINKAGE CXString
1113 clang_constructUSR_ObjCProtocol(const char *protocol_name);
1114
1115
1116/**
1117 * \brief Construct a USR for a specified Objective-C instance variable and
1118 * the USR for its containing class.
1119 */
1120CINDEX_LINKAGE CXString clang_constructUSR_ObjCIvar(const char *name,
1121 CXString classUSR);
1122
1123/**
1124 * \brief Construct a USR for a specified Objective-C method and
1125 * the USR for its containing class.
1126 */
1127CINDEX_LINKAGE CXString clang_constructUSR_ObjCMethod(const char *name,
1128 unsigned isInstanceMethod,
1129 CXString classUSR);
1130
1131/**
1132 * \brief Construct a USR for a specified Objective-C property and the USR
1133 * for its containing class.
1134 */
1135CINDEX_LINKAGE CXString clang_constructUSR_ObjCProperty(const char *property,
1136 CXString classUSR);
1137
1138/**
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001139 * \brief Retrieve a name for the entity referenced by this cursor.
1140 */
1141CINDEX_LINKAGE CXString clang_getCursorSpelling(CXCursor);
1142
Douglas Gregorc5d1e932010-01-19 01:20:04 +00001143/** \brief For a cursor that is a reference, retrieve a cursor representing the
1144 * entity that it references.
1145 *
1146 * Reference cursors refer to other entities in the AST. For example, an
1147 * Objective-C superclass reference cursor refers to an Objective-C class.
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001148 * This function produces the cursor for the Objective-C class from the
Douglas Gregorc5d1e932010-01-19 01:20:04 +00001149 * cursor for the superclass reference. If the input cursor is a declaration or
1150 * definition, it returns that declaration or definition unchanged.
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001151 * Otherwise, returns the NULL cursor.
Douglas Gregorc5d1e932010-01-19 01:20:04 +00001152 */
1153CINDEX_LINKAGE CXCursor clang_getCursorReferenced(CXCursor);
Douglas Gregorb6998662010-01-19 19:34:47 +00001154
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001155/**
Douglas Gregorb6998662010-01-19 19:34:47 +00001156 * \brief For a cursor that is either a reference to or a declaration
1157 * of some entity, retrieve a cursor that describes the definition of
1158 * that entity.
1159 *
1160 * Some entities can be declared multiple times within a translation
1161 * unit, but only one of those declarations can also be a
1162 * definition. For example, given:
1163 *
1164 * \code
1165 * int f(int, int);
1166 * int g(int x, int y) { return f(x, y); }
1167 * int f(int a, int b) { return a + b; }
1168 * int f(int, int);
1169 * \endcode
1170 *
1171 * there are three declarations of the function "f", but only the
1172 * second one is a definition. The clang_getCursorDefinition()
1173 * function will take any cursor pointing to a declaration of "f"
1174 * (the first or fourth lines of the example) or a cursor referenced
1175 * that uses "f" (the call to "f' inside "g") and will return a
1176 * declaration cursor pointing to the definition (the second "f"
1177 * declaration).
1178 *
1179 * If given a cursor for which there is no corresponding definition,
1180 * e.g., because there is no definition of that entity within this
1181 * translation unit, returns a NULL cursor.
1182 */
1183CINDEX_LINKAGE CXCursor clang_getCursorDefinition(CXCursor);
1184
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001185/**
Douglas Gregorb6998662010-01-19 19:34:47 +00001186 * \brief Determine whether the declaration pointed to by this cursor
1187 * is also a definition of that entity.
1188 */
1189CINDEX_LINKAGE unsigned clang_isCursorDefinition(CXCursor);
1190
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001191/**
1192 * @}
1193 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001194
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001195/**
Douglas Gregor0045e9f2010-01-26 18:31:56 +00001196 * \defgroup CINDEX_LEX Token extraction and manipulation
1197 *
1198 * The routines in this group provide access to the tokens within a
1199 * translation unit, along with a semantic mapping of those tokens to
1200 * their corresponding cursors.
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001201 *
1202 * @{
1203 */
1204
1205/**
1206 * \brief Describes a kind of token.
1207 */
1208typedef enum CXTokenKind {
1209 /**
1210 * \brief A token that contains some kind of punctuation.
1211 */
1212 CXToken_Punctuation,
Ted Kremenek896b70f2010-03-13 02:50:34 +00001213
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001214 /**
Douglas Gregor0045e9f2010-01-26 18:31:56 +00001215 * \brief A language keyword.
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001216 */
1217 CXToken_Keyword,
Ted Kremenek896b70f2010-03-13 02:50:34 +00001218
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001219 /**
1220 * \brief An identifier (that is not a keyword).
1221 */
1222 CXToken_Identifier,
Ted Kremenek896b70f2010-03-13 02:50:34 +00001223
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001224 /**
1225 * \brief A numeric, string, or character literal.
1226 */
1227 CXToken_Literal,
Ted Kremenek896b70f2010-03-13 02:50:34 +00001228
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001229 /**
1230 * \brief A comment.
1231 */
1232 CXToken_Comment
1233} CXTokenKind;
1234
1235/**
1236 * \brief Describes a single preprocessing token.
1237 */
1238typedef struct {
1239 unsigned int_data[4];
1240 void *ptr_data;
1241} CXToken;
1242
1243/**
1244 * \brief Determine the kind of the given token.
1245 */
1246CINDEX_LINKAGE CXTokenKind clang_getTokenKind(CXToken);
Ted Kremenek896b70f2010-03-13 02:50:34 +00001247
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001248/**
1249 * \brief Determine the spelling of the given token.
1250 *
1251 * The spelling of a token is the textual representation of that token, e.g.,
1252 * the text of an identifier or keyword.
1253 */
1254CINDEX_LINKAGE CXString clang_getTokenSpelling(CXTranslationUnit, CXToken);
Ted Kremenek896b70f2010-03-13 02:50:34 +00001255
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001256/**
1257 * \brief Retrieve the source location of the given token.
1258 */
Ted Kremenek896b70f2010-03-13 02:50:34 +00001259CINDEX_LINKAGE CXSourceLocation clang_getTokenLocation(CXTranslationUnit,
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001260 CXToken);
Ted Kremenek896b70f2010-03-13 02:50:34 +00001261
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001262/**
1263 * \brief Retrieve a source range that covers the given token.
1264 */
1265CINDEX_LINKAGE CXSourceRange clang_getTokenExtent(CXTranslationUnit, CXToken);
1266
1267/**
1268 * \brief Tokenize the source code described by the given range into raw
1269 * lexical tokens.
1270 *
1271 * \param TU the translation unit whose text is being tokenized.
1272 *
1273 * \param Range the source range in which text should be tokenized. All of the
1274 * tokens produced by tokenization will fall within this source range,
1275 *
1276 * \param Tokens this pointer will be set to point to the array of tokens
1277 * that occur within the given source range. The returned pointer must be
1278 * freed with clang_disposeTokens() before the translation unit is destroyed.
1279 *
1280 * \param NumTokens will be set to the number of tokens in the \c *Tokens
1281 * array.
1282 *
1283 */
1284CINDEX_LINKAGE void clang_tokenize(CXTranslationUnit TU, CXSourceRange Range,
1285 CXToken **Tokens, unsigned *NumTokens);
Ted Kremenek896b70f2010-03-13 02:50:34 +00001286
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001287/**
1288 * \brief Annotate the given set of tokens by providing cursors for each token
1289 * that can be mapped to a specific entity within the abstract syntax tree.
1290 *
Douglas Gregor0045e9f2010-01-26 18:31:56 +00001291 * This token-annotation routine is equivalent to invoking
1292 * clang_getCursor() for the source locations of each of the
1293 * tokens. The cursors provided are filtered, so that only those
1294 * cursors that have a direct correspondence to the token are
1295 * accepted. For example, given a function call \c f(x),
1296 * clang_getCursor() would provide the following cursors:
1297 *
1298 * * when the cursor is over the 'f', a DeclRefExpr cursor referring to 'f'.
1299 * * when the cursor is over the '(' or the ')', a CallExpr referring to 'f'.
1300 * * when the cursor is over the 'x', a DeclRefExpr cursor referring to 'x'.
1301 *
1302 * Only the first and last of these cursors will occur within the
1303 * annotate, since the tokens "f" and "x' directly refer to a function
1304 * and a variable, respectively, but the parentheses are just a small
1305 * part of the full syntax of the function call expression, which is
1306 * not provided as an annotation.
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001307 *
1308 * \param TU the translation unit that owns the given tokens.
1309 *
1310 * \param Tokens the set of tokens to annotate.
1311 *
1312 * \param NumTokens the number of tokens in \p Tokens.
1313 *
1314 * \param Cursors an array of \p NumTokens cursors, whose contents will be
1315 * replaced with the cursors corresponding to each token.
1316 */
1317CINDEX_LINKAGE void clang_annotateTokens(CXTranslationUnit TU,
1318 CXToken *Tokens, unsigned NumTokens,
1319 CXCursor *Cursors);
Ted Kremenek896b70f2010-03-13 02:50:34 +00001320
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001321/**
1322 * \brief Free the given set of tokens.
1323 */
Ted Kremenek896b70f2010-03-13 02:50:34 +00001324CINDEX_LINKAGE void clang_disposeTokens(CXTranslationUnit TU,
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001325 CXToken *Tokens, unsigned NumTokens);
Ted Kremenek896b70f2010-03-13 02:50:34 +00001326
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001327/**
1328 * @}
1329 */
Ted Kremenek896b70f2010-03-13 02:50:34 +00001330
Douglas Gregorfc8ea232010-01-26 17:06:03 +00001331/**
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001332 * \defgroup CINDEX_DEBUG Debugging facilities
1333 *
1334 * These routines are used for testing and debugging, only, and should not
1335 * be relied upon.
1336 *
1337 * @{
1338 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001339
Steve Naroff4ade6d62009-09-23 17:52:52 +00001340/* for debug/testing */
Ted Kremeneke68fff62010-02-17 00:41:32 +00001341CINDEX_LINKAGE CXString clang_getCursorKindSpelling(enum CXCursorKind Kind);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001342CINDEX_LINKAGE void clang_getDefinitionSpellingAndExtent(CXCursor,
1343 const char **startBuf,
Steve Naroff4ade6d62009-09-23 17:52:52 +00001344 const char **endBuf,
1345 unsigned *startLine,
1346 unsigned *startColumn,
1347 unsigned *endLine,
1348 unsigned *endColumn);
Douglas Gregor0a812cf2010-02-18 23:07:20 +00001349CINDEX_LINKAGE void clang_enableStackTraces(void);
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001350/**
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001351 * @}
1352 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001353
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001354/**
1355 * \defgroup CINDEX_CODE_COMPLET Code completion
1356 *
1357 * Code completion involves taking an (incomplete) source file, along with
1358 * knowledge of where the user is actively editing that file, and suggesting
1359 * syntactically- and semantically-valid constructs that the user might want to
1360 * use at that particular point in the source code. These data structures and
1361 * routines provide support for code completion.
1362 *
1363 * @{
1364 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001365
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001366/**
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001367 * \brief A semantic string that describes a code-completion result.
1368 *
1369 * A semantic string that describes the formatting of a code-completion
1370 * result as a single "template" of text that should be inserted into the
1371 * source buffer when a particular code-completion result is selected.
1372 * Each semantic string is made up of some number of "chunks", each of which
1373 * contains some text along with a description of what that text means, e.g.,
1374 * the name of the entity being referenced, whether the text chunk is part of
1375 * the template, or whether it is a "placeholder" that the user should replace
1376 * with actual code,of a specific kind. See \c CXCompletionChunkKind for a
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001377 * description of the different kinds of chunks.
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001378 */
1379typedef void *CXCompletionString;
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001380
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001381/**
1382 * \brief A single result of code completion.
1383 */
1384typedef struct {
1385 /**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001386 * \brief The kind of entity that this completion refers to.
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001387 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001388 * The cursor kind will be a macro, keyword, or a declaration (one of the
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001389 * *Decl cursor kinds), describing the entity that the completion is
1390 * referring to.
1391 *
1392 * \todo In the future, we would like to provide a full cursor, to allow
1393 * the client to extract additional information from declaration.
1394 */
1395 enum CXCursorKind CursorKind;
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001396
1397 /**
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001398 * \brief The code-completion string that describes how to insert this
1399 * code-completion result into the editing buffer.
1400 */
1401 CXCompletionString CompletionString;
1402} CXCompletionResult;
1403
1404/**
1405 * \brief Describes a single piece of text within a code-completion string.
1406 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001407 * Each "chunk" within a code-completion string (\c CXCompletionString) is
1408 * either a piece of text with a specific "kind" that describes how that text
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001409 * should be interpreted by the client or is another completion string.
1410 */
1411enum CXCompletionChunkKind {
1412 /**
1413 * \brief A code-completion string that describes "optional" text that
1414 * could be a part of the template (but is not required).
1415 *
1416 * The Optional chunk is the only kind of chunk that has a code-completion
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001417 * string for its representation, which is accessible via
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001418 * \c clang_getCompletionChunkCompletionString(). The code-completion string
1419 * describes an additional part of the template that is completely optional.
1420 * For example, optional chunks can be used to describe the placeholders for
1421 * arguments that match up with defaulted function parameters, e.g. given:
1422 *
1423 * \code
1424 * void f(int x, float y = 3.14, double z = 2.71828);
1425 * \endcode
1426 *
1427 * The code-completion string for this function would contain:
1428 * - a TypedText chunk for "f".
1429 * - a LeftParen chunk for "(".
1430 * - a Placeholder chunk for "int x"
1431 * - an Optional chunk containing the remaining defaulted arguments, e.g.,
1432 * - a Comma chunk for ","
Daniel Dunbar71570182010-02-17 08:07:44 +00001433 * - a Placeholder chunk for "float y"
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001434 * - an Optional chunk containing the last defaulted argument:
1435 * - a Comma chunk for ","
1436 * - a Placeholder chunk for "double z"
1437 * - a RightParen chunk for ")"
1438 *
Daniel Dunbar71570182010-02-17 08:07:44 +00001439 * There are many ways to handle Optional chunks. Two simple approaches are:
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001440 * - Completely ignore optional chunks, in which case the template for the
1441 * function "f" would only include the first parameter ("int x").
1442 * - Fully expand all optional chunks, in which case the template for the
1443 * function "f" would have all of the parameters.
1444 */
1445 CXCompletionChunk_Optional,
1446 /**
1447 * \brief Text that a user would be expected to type to get this
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001448 * code-completion result.
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001449 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001450 * There will be exactly one "typed text" chunk in a semantic string, which
1451 * will typically provide the spelling of a keyword or the name of a
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001452 * declaration that could be used at the current code point. Clients are
1453 * expected to filter the code-completion results based on the text in this
1454 * chunk.
1455 */
1456 CXCompletionChunk_TypedText,
1457 /**
1458 * \brief Text that should be inserted as part of a code-completion result.
1459 *
1460 * A "text" chunk represents text that is part of the template to be
1461 * inserted into user code should this particular code-completion result
1462 * be selected.
1463 */
1464 CXCompletionChunk_Text,
1465 /**
1466 * \brief Placeholder text that should be replaced by the user.
1467 *
1468 * A "placeholder" chunk marks a place where the user should insert text
1469 * into the code-completion template. For example, placeholders might mark
1470 * the function parameters for a function declaration, to indicate that the
1471 * user should provide arguments for each of those parameters. The actual
1472 * text in a placeholder is a suggestion for the text to display before
1473 * the user replaces the placeholder with real code.
1474 */
1475 CXCompletionChunk_Placeholder,
1476 /**
1477 * \brief Informative text that should be displayed but never inserted as
1478 * part of the template.
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001479 *
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001480 * An "informative" chunk contains annotations that can be displayed to
1481 * help the user decide whether a particular code-completion result is the
1482 * right option, but which is not part of the actual template to be inserted
1483 * by code completion.
1484 */
1485 CXCompletionChunk_Informative,
1486 /**
1487 * \brief Text that describes the current parameter when code-completion is
1488 * referring to function call, message send, or template specialization.
1489 *
1490 * A "current parameter" chunk occurs when code-completion is providing
1491 * information about a parameter corresponding to the argument at the
1492 * code-completion point. For example, given a function
1493 *
1494 * \code
1495 * int add(int x, int y);
1496 * \endcode
1497 *
1498 * and the source code \c add(, where the code-completion point is after the
1499 * "(", the code-completion string will contain a "current parameter" chunk
1500 * for "int x", indicating that the current argument will initialize that
1501 * parameter. After typing further, to \c add(17, (where the code-completion
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001502 * point is after the ","), the code-completion string will contain a
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001503 * "current paremeter" chunk to "int y".
1504 */
1505 CXCompletionChunk_CurrentParameter,
1506 /**
1507 * \brief A left parenthesis ('('), used to initiate a function call or
1508 * signal the beginning of a function parameter list.
1509 */
1510 CXCompletionChunk_LeftParen,
1511 /**
1512 * \brief A right parenthesis (')'), used to finish a function call or
1513 * signal the end of a function parameter list.
1514 */
1515 CXCompletionChunk_RightParen,
1516 /**
1517 * \brief A left bracket ('[').
1518 */
1519 CXCompletionChunk_LeftBracket,
1520 /**
1521 * \brief A right bracket (']').
1522 */
1523 CXCompletionChunk_RightBracket,
1524 /**
1525 * \brief A left brace ('{').
1526 */
1527 CXCompletionChunk_LeftBrace,
1528 /**
1529 * \brief A right brace ('}').
1530 */
1531 CXCompletionChunk_RightBrace,
1532 /**
1533 * \brief A left angle bracket ('<').
1534 */
1535 CXCompletionChunk_LeftAngle,
1536 /**
1537 * \brief A right angle bracket ('>').
1538 */
1539 CXCompletionChunk_RightAngle,
1540 /**
1541 * \brief A comma separator (',').
1542 */
Douglas Gregorff5ce6e2009-12-18 18:53:37 +00001543 CXCompletionChunk_Comma,
1544 /**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001545 * \brief Text that specifies the result type of a given result.
Douglas Gregorff5ce6e2009-12-18 18:53:37 +00001546 *
1547 * This special kind of informative chunk is not meant to be inserted into
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001548 * the text buffer. Rather, it is meant to illustrate the type that an
Douglas Gregorff5ce6e2009-12-18 18:53:37 +00001549 * expression using the given completion string would have.
1550 */
Douglas Gregor01dfea02010-01-10 23:08:15 +00001551 CXCompletionChunk_ResultType,
1552 /**
1553 * \brief A colon (':').
1554 */
1555 CXCompletionChunk_Colon,
1556 /**
1557 * \brief A semicolon (';').
1558 */
1559 CXCompletionChunk_SemiColon,
1560 /**
1561 * \brief An '=' sign.
1562 */
1563 CXCompletionChunk_Equal,
1564 /**
1565 * Horizontal space (' ').
1566 */
1567 CXCompletionChunk_HorizontalSpace,
1568 /**
1569 * Vertical space ('\n'), after which it is generally a good idea to
1570 * perform indentation.
1571 */
1572 CXCompletionChunk_VerticalSpace
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001573};
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001574
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001575/**
1576 * \brief Determine the kind of a particular chunk within a completion string.
1577 *
1578 * \param completion_string the completion string to query.
1579 *
1580 * \param chunk_number the 0-based index of the chunk in the completion string.
1581 *
1582 * \returns the kind of the chunk at the index \c chunk_number.
1583 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001584CINDEX_LINKAGE enum CXCompletionChunkKind
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001585clang_getCompletionChunkKind(CXCompletionString completion_string,
1586 unsigned chunk_number);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001587
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001588/**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001589 * \brief Retrieve the text associated with a particular chunk within a
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001590 * completion string.
1591 *
1592 * \param completion_string the completion string to query.
1593 *
1594 * \param chunk_number the 0-based index of the chunk in the completion string.
1595 *
1596 * \returns the text associated with the chunk at index \c chunk_number.
1597 */
Ted Kremenek2ef6f8f2010-02-17 01:42:24 +00001598CINDEX_LINKAGE CXString
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001599clang_getCompletionChunkText(CXCompletionString completion_string,
1600 unsigned chunk_number);
1601
1602/**
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001603 * \brief Retrieve the completion string associated with a particular chunk
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001604 * within a completion string.
1605 *
1606 * \param completion_string the completion string to query.
1607 *
1608 * \param chunk_number the 0-based index of the chunk in the completion string.
1609 *
1610 * \returns the completion string associated with the chunk at index
1611 * \c chunk_number, or NULL if that chunk is not represented by a completion
1612 * string.
1613 */
1614CINDEX_LINKAGE CXCompletionString
1615clang_getCompletionChunkCompletionString(CXCompletionString completion_string,
1616 unsigned chunk_number);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001617
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001618/**
1619 * \brief Retrieve the number of chunks in the given code-completion string.
1620 */
1621CINDEX_LINKAGE unsigned
1622clang_getNumCompletionChunks(CXCompletionString completion_string);
1623
1624/**
Douglas Gregorec6762c2009-12-18 16:20:58 +00001625 * \brief Contains the results of code-completion.
1626 *
1627 * This data structure contains the results of code completion, as
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001628 * produced by \c clang_codeComplete. Its contents must be freed by
Douglas Gregorec6762c2009-12-18 16:20:58 +00001629 * \c clang_disposeCodeCompleteResults.
1630 */
1631typedef struct {
1632 /**
1633 * \brief The code-completion results.
1634 */
1635 CXCompletionResult *Results;
1636
1637 /**
1638 * \brief The number of code-completion results stored in the
1639 * \c Results array.
1640 */
1641 unsigned NumResults;
1642} CXCodeCompleteResults;
1643
1644/**
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001645 * \brief Perform code completion at a given location in a source file.
1646 *
1647 * This function performs code completion at a particular file, line, and
1648 * column within source code, providing results that suggest potential
1649 * code snippets based on the context of the completion. The basic model
1650 * for code completion is that Clang will parse a complete source file,
1651 * performing syntax checking up to the location where code-completion has
1652 * been requested. At that point, a special code-completion token is passed
1653 * to the parser, which recognizes this token and determines, based on the
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001654 * current location in the C/Objective-C/C++ grammar and the state of
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001655 * semantic analysis, what completions to provide. These completions are
Douglas Gregorec6762c2009-12-18 16:20:58 +00001656 * returned via a new \c CXCodeCompleteResults structure.
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001657 *
1658 * Code completion itself is meant to be triggered by the client when the
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001659 * user types punctuation characters or whitespace, at which point the
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001660 * code-completion location will coincide with the cursor. For example, if \c p
1661 * is a pointer, code-completion might be triggered after the "-" and then
1662 * after the ">" in \c p->. When the code-completion location is afer the ">",
1663 * the completion results will provide, e.g., the members of the struct that
1664 * "p" points to. The client is responsible for placing the cursor at the
1665 * beginning of the token currently being typed, then filtering the results
1666 * based on the contents of the token. For example, when code-completing for
1667 * the expression \c p->get, the client should provide the location just after
1668 * the ">" (e.g., pointing at the "g") to this code-completion hook. Then, the
1669 * client can filter the results based on the current token text ("get"), only
1670 * showing those results that start with "get". The intent of this interface
Douglas Gregorec6762c2009-12-18 16:20:58 +00001671 * is to separate the relatively high-latency acquisition of code-completion
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001672 * results from the filtering of results on a per-character basis, which must
1673 * have a lower latency.
1674 *
1675 * \param CIdx the \c CXIndex instance that will be used to perform code
1676 * completion.
1677 *
Daniel Dunbar8506dde2009-12-03 01:54:28 +00001678 * \param source_filename the name of the source file that should be parsed to
1679 * perform code-completion. This source file must be the same as or include the
1680 * filename described by \p complete_filename, or no code-completion results
1681 * will be produced. NOTE: One can also specify NULL for this argument if the
1682 * source file is included in command_line_args.
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001683 *
1684 * \param num_command_line_args the number of command-line arguments stored in
1685 * \p command_line_args.
1686 *
1687 * \param command_line_args the command-line arguments to pass to the Clang
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001688 * compiler to build the given source file. This should include all of the
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001689 * necessary include paths, language-dialect switches, precompiled header
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001690 * includes, etc., but should not include any information specific to
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001691 * code completion.
1692 *
Douglas Gregor735df882009-12-02 09:21:34 +00001693 * \param num_unsaved_files the number of unsaved file entries in \p
1694 * unsaved_files.
1695 *
1696 * \param unsaved_files the files that have not yet been saved to disk
1697 * but may be required for code completion, including the contents of
1698 * those files.
1699 *
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001700 * \param complete_filename the name of the source file where code completion
1701 * should be performed. In many cases, this name will be the same as the
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001702 * source filename. However, the completion filename may also be a file
1703 * included by the source file, which is required when producing
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001704 * code-completion results for a header.
1705 *
1706 * \param complete_line the line at which code-completion should occur.
1707 *
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001708 * \param complete_column the column at which code-completion should occur.
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001709 * Note that the column should point just after the syntactic construct that
1710 * initiated code completion, and not in the middle of a lexical token.
1711 *
Douglas Gregor936ea3b2010-01-28 00:56:43 +00001712 * \param diag_callback callback function that will receive any diagnostics
1713 * emitted while processing this source file. If NULL, diagnostics will be
1714 * suppressed.
1715 *
1716 * \param diag_client_data client data that will be passed to the diagnostic
1717 * callback function.
1718 *
Douglas Gregorec6762c2009-12-18 16:20:58 +00001719 * \returns if successful, a new CXCodeCompleteResults structure
1720 * containing code-completion results, which should eventually be
1721 * freed with \c clang_disposeCodeCompleteResults(). If code
1722 * completion fails, returns NULL.
Douglas Gregor0c8296d2009-11-07 00:00:49 +00001723 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001724CINDEX_LINKAGE
1725CXCodeCompleteResults *clang_codeComplete(CXIndex CIdx,
Douglas Gregorec6762c2009-12-18 16:20:58 +00001726 const char *source_filename,
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001727 int num_command_line_args,
Douglas Gregorec6762c2009-12-18 16:20:58 +00001728 const char **command_line_args,
1729 unsigned num_unsaved_files,
1730 struct CXUnsavedFile *unsaved_files,
1731 const char *complete_filename,
1732 unsigned complete_line,
Douglas Gregora88084b2010-02-18 18:08:43 +00001733 unsigned complete_column);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001734
Douglas Gregorec6762c2009-12-18 16:20:58 +00001735/**
1736 * \brief Free the given set of code-completion results.
1737 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001738CINDEX_LINKAGE
Douglas Gregorec6762c2009-12-18 16:20:58 +00001739void clang_disposeCodeCompleteResults(CXCodeCompleteResults *Results);
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001740
Douglas Gregor20d416c2010-01-20 01:10:47 +00001741/**
Douglas Gregora88084b2010-02-18 18:08:43 +00001742 * \brief Determine the number of diagnostics produced prior to the
1743 * location where code completion was performed.
1744 */
Ted Kremenek896b70f2010-03-13 02:50:34 +00001745CINDEX_LINKAGE
Douglas Gregora88084b2010-02-18 18:08:43 +00001746unsigned clang_codeCompleteGetNumDiagnostics(CXCodeCompleteResults *Results);
1747
1748/**
1749 * \brief Retrieve a diagnostic associated with the given code completion.
1750 *
1751 * \param Result the code completion results to query.
1752 * \param Index the zero-based diagnostic number to retrieve.
1753 *
1754 * \returns the requested diagnostic. This diagnostic must be freed
1755 * via a call to \c clang_disposeDiagnostic().
1756 */
Ted Kremenek896b70f2010-03-13 02:50:34 +00001757CINDEX_LINKAGE
Douglas Gregora88084b2010-02-18 18:08:43 +00001758CXDiagnostic clang_codeCompleteGetDiagnostic(CXCodeCompleteResults *Results,
1759 unsigned Index);
1760
1761/**
Douglas Gregor20d416c2010-01-20 01:10:47 +00001762 * @}
1763 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001764
1765
Ted Kremenek04bb7162010-01-22 22:44:15 +00001766/**
1767 * \defgroup CINDEX_MISC Miscellaneous utility functions
1768 *
1769 * @{
1770 */
Ted Kremenek23e1ad02010-01-23 17:51:23 +00001771
1772/**
1773 * \brief Return a version string, suitable for showing to a user, but not
1774 * intended to be parsed (the format is not guaranteed to be stable).
1775 */
Ted Kremeneka2a9d6e2010-02-12 22:54:40 +00001776CINDEX_LINKAGE CXString clang_getClangVersion();
Ted Kremenek04bb7162010-01-22 22:44:15 +00001777
1778/**
Ted Kremenek16b55a72010-01-26 19:31:51 +00001779 * \brief Return a version string, suitable for showing to a user, but not
1780 * intended to be parsed (the format is not guaranteed to be stable).
1781 */
Ted Kremenek896b70f2010-03-13 02:50:34 +00001782
1783
Ted Kremenek16b55a72010-01-26 19:31:51 +00001784 /**
Ted Kremenek896b70f2010-03-13 02:50:34 +00001785 * \brief Visitor invoked for each file in a translation unit
Ted Kremenek16b55a72010-01-26 19:31:51 +00001786 * (used with clang_getInclusions()).
1787 *
1788 * This visitor function will be invoked by clang_getInclusions() for each
1789 * file included (either at the top-level or by #include directives) within
1790 * a translation unit. The first argument is the file being included, and
1791 * the second and third arguments provide the inclusion stack. The
1792 * array is sorted in order of immediate inclusion. For example,
1793 * the first element refers to the location that included 'included_file'.
1794 */
1795typedef void (*CXInclusionVisitor)(CXFile included_file,
1796 CXSourceLocation* inclusion_stack,
1797 unsigned include_len,
1798 CXClientData client_data);
1799
1800/**
1801 * \brief Visit the set of preprocessor inclusions in a translation unit.
1802 * The visitor function is called with the provided data for every included
1803 * file. This does not include headers included by the PCH file (unless one
1804 * is inspecting the inclusions in the PCH file itself).
1805 */
1806CINDEX_LINKAGE void clang_getInclusions(CXTranslationUnit tu,
1807 CXInclusionVisitor visitor,
1808 CXClientData client_data);
1809
1810/**
Ted Kremenek04bb7162010-01-22 22:44:15 +00001811 * @}
1812 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001813
Douglas Gregorc42fefa2010-01-22 22:29:16 +00001814/**
1815 * @}
1816 */
Daniel Dunbar1efcf3d2010-01-24 02:54:26 +00001817
Ted Kremenekd2fa5662009-08-26 22:36:44 +00001818#ifdef __cplusplus
1819}
1820#endif
1821#endif
1822