blob: 4d93afd105dd16291196890d7baa4e205b2d49e3 [file] [log] [blame]
Ted Kremenekb60d87c2009-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 Naroff6231f182009-10-27 14:35:18 +000019#include <sys/stat.h>
Chandler Carruthaacafe52009-12-17 09:27:29 +000020#include <time.h>
Douglas Gregor1e21cc72010-02-18 23:07:20 +000021#include <stdio.h>
Steve Naroff6231f182009-10-27 14:35:18 +000022
Ted Kremenekb60d87c2009-08-26 22:36:44 +000023#ifdef __cplusplus
24extern "C" {
25#endif
26
Steve Naroff6231f182009-10-27 14:35:18 +000027/* MSVC DLL import/export. */
John Thompsonde258b52009-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 Gregor4a4e0eb2011-02-23 17:45:25 +000038/** \defgroup CINDEX libclang: C Interface to Clang
Douglas Gregor52606ff2010-01-20 01:10:47 +000039 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +000040 * The C Interface to Clang provides a relatively small API that exposes
Douglas Gregorc8e390c2010-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 Gregor52606ff2010-01-20 01:10:47 +000045 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +000046 * This C interface to Clang will never provide all of the information
Douglas Gregorc8e390c2010-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 Dunbar62ebf252010-01-24 02:54:26 +000050 *
51 * To avoid namespace pollution, data types are prefixed with "CX" and
Douglas Gregorc8e390c2010-01-20 22:45:41 +000052 * functions are prefixed with "clang_".
Douglas Gregor52606ff2010-01-20 01:10:47 +000053 *
54 * @{
55 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +000056
Douglas Gregor802f12f2010-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 Naroffd5e8e862009-08-27 19:51:58 +000062
Douglas Gregor802f12f2010-01-20 22:28:27 +000063/**
64 * \brief A single translation unit, which resides in an index.
65 */
Ted Kremenek7df92ae2010-11-17 23:24:11 +000066typedef struct CXTranslationUnitImpl *CXTranslationUnit;
Steve Naroffd5e8e862009-08-27 19:51:58 +000067
Douglas Gregor802f12f2010-01-20 22:28:27 +000068/**
Douglas Gregor6007cf22010-01-22 22:29:16 +000069 * \brief Opaque pointer representing client data that will be passed through
70 * to various callbacks and visitors.
Douglas Gregor802f12f2010-01-20 22:28:27 +000071 */
Douglas Gregor6007cf22010-01-22 22:29:16 +000072typedef void *CXClientData;
Daniel Dunbar62ebf252010-01-24 02:54:26 +000073
Douglas Gregor9485bf92009-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 Dunbar62ebf252010-01-24 02:54:26 +000082 /**
83 * \brief The file whose contents have not yet been saved.
Douglas Gregor9485bf92009-12-02 09:21:34 +000084 *
85 * This file must already exist in the file system.
86 */
87 const char *Filename;
88
Daniel Dunbar62ebf252010-01-24 02:54:26 +000089 /**
Douglas Gregor89a56c52010-02-27 01:32:48 +000090 * \brief A buffer containing the unsaved contents of this file.
Douglas Gregor9485bf92009-12-02 09:21:34 +000091 */
92 const char *Contents;
93
94 /**
Douglas Gregor89a56c52010-02-27 01:32:48 +000095 * \brief The length of the unsaved contents of this buffer.
Douglas Gregor9485bf92009-12-02 09:21:34 +000096 */
97 unsigned long Length;
98};
99
Peter Collingbourne5caf5af2010-08-24 00:31:37 +0000100/**
101 * \brief Describes the availability of a particular entity, which indicates
102 * whether the use of this entity will result in a warning or error due to
103 * it being deprecated or unavailable.
104 */
Douglas Gregorf757a122010-08-23 23:00:57 +0000105enum CXAvailabilityKind {
Peter Collingbourne5caf5af2010-08-24 00:31:37 +0000106 /**
107 * \brief The entity is available.
108 */
Douglas Gregorf757a122010-08-23 23:00:57 +0000109 CXAvailability_Available,
Peter Collingbourne5caf5af2010-08-24 00:31:37 +0000110 /**
111 * \brief The entity is available, but has been deprecated (and its use is
112 * not recommended).
113 */
Douglas Gregorf757a122010-08-23 23:00:57 +0000114 CXAvailability_Deprecated,
Peter Collingbourne5caf5af2010-08-24 00:31:37 +0000115 /**
116 * \brief The entity is not available; any use of it will be an error.
117 */
Douglas Gregorf757a122010-08-23 23:00:57 +0000118 CXAvailability_NotAvailable
119};
120
Douglas Gregor802f12f2010-01-20 22:28:27 +0000121/**
Douglas Gregor802f12f2010-01-20 22:28:27 +0000122 * \defgroup CINDEX_STRING String manipulation routines
123 *
124 * @{
125 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000126
Douglas Gregor802f12f2010-01-20 22:28:27 +0000127/**
128 * \brief A character string.
129 *
130 * The \c CXString type is used to return strings from the interface when
131 * the ownership of that string might different from one call to the next.
132 * Use \c clang_getCString() to retrieve the string data and, once finished
133 * with the string data, call \c clang_disposeString() to free the string.
Steve Naroff8675d5c2009-11-09 17:45:52 +0000134 */
135typedef struct {
Ted Kremenek91554282010-11-16 08:15:36 +0000136 void *data;
Ted Kremenek4b4f3692010-11-16 01:56:27 +0000137 unsigned private_flags;
Steve Naroff8675d5c2009-11-09 17:45:52 +0000138} CXString;
139
Douglas Gregor802f12f2010-01-20 22:28:27 +0000140/**
141 * \brief Retrieve the character data associated with the given string.
142 */
Steve Naroff8675d5c2009-11-09 17:45:52 +0000143CINDEX_LINKAGE const char *clang_getCString(CXString string);
144
Douglas Gregor802f12f2010-01-20 22:28:27 +0000145/**
146 * \brief Free the given string,
147 */
Steve Naroff8675d5c2009-11-09 17:45:52 +0000148CINDEX_LINKAGE void clang_disposeString(CXString string);
149
Douglas Gregor802f12f2010-01-20 22:28:27 +0000150/**
151 * @}
152 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000153
154/**
Steve Naroff531e2842009-10-20 14:46:24 +0000155 * \brief clang_createIndex() provides a shared context for creating
156 * translation units. It provides two options:
157 *
158 * - excludeDeclarationsFromPCH: When non-zero, allows enumeration of "local"
159 * declarations (when loading any new translation units). A "local" declaration
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000160 * is one that belongs in the translation unit itself and not in a precompiled
Steve Naroff531e2842009-10-20 14:46:24 +0000161 * header that was used by the translation unit. If zero, all declarations
162 * will be enumerated.
163 *
Steve Naroffbb4568a2009-10-20 16:36:34 +0000164 * Here is an example:
165 *
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000166 * // excludeDeclsFromPCH = 1, displayDiagnostics=1
167 * Idx = clang_createIndex(1, 1);
Steve Naroffbb4568a2009-10-20 16:36:34 +0000168 *
169 * // IndexTest.pch was produced with the following command:
170 * // "clang -x c IndexTest.h -emit-ast -o IndexTest.pch"
171 * TU = clang_createTranslationUnit(Idx, "IndexTest.pch");
172 *
173 * // This will load all the symbols from 'IndexTest.pch'
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000174 * clang_visitChildren(clang_getTranslationUnitCursor(TU),
Douglas Gregor990b5762010-01-20 21:37:00 +0000175 * TranslationUnitVisitor, 0);
Steve Naroffbb4568a2009-10-20 16:36:34 +0000176 * clang_disposeTranslationUnit(TU);
177 *
178 * // This will load all the symbols from 'IndexTest.c', excluding symbols
179 * // from 'IndexTest.pch'.
Daniel Dunbard0159262010-01-25 00:43:14 +0000180 * char *args[] = { "-Xclang", "-include-pch=IndexTest.pch" };
181 * TU = clang_createTranslationUnitFromSourceFile(Idx, "IndexTest.c", 2, args,
182 * 0, 0);
Douglas Gregorfed36b12010-01-20 23:57:43 +0000183 * clang_visitChildren(clang_getTranslationUnitCursor(TU),
184 * TranslationUnitVisitor, 0);
Steve Naroffbb4568a2009-10-20 16:36:34 +0000185 * clang_disposeTranslationUnit(TU);
186 *
187 * This process of creating the 'pch', loading it separately, and using it (via
188 * -include-pch) allows 'excludeDeclsFromPCH' to remove redundant callbacks
189 * (which gives the indexer the same performance benefit as the compiler).
Steve Naroff531e2842009-10-20 14:46:24 +0000190 */
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000191CINDEX_LINKAGE CXIndex clang_createIndex(int excludeDeclarationsFromPCH,
192 int displayDiagnostics);
Ted Kremenekd071c602010-03-13 02:50:34 +0000193
Douglas Gregor408bb742010-02-08 23:03:06 +0000194/**
195 * \brief Destroy the given index.
196 *
197 * The index must not be destroyed until all of the translation units created
198 * within that index have been destroyed.
199 */
Daniel Dunbar11089662009-12-03 01:54:28 +0000200CINDEX_LINKAGE void clang_disposeIndex(CXIndex index);
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000201
202/**
Douglas Gregor6007cf22010-01-22 22:29:16 +0000203 * \defgroup CINDEX_FILES File manipulation routines
Douglas Gregorc8e390c2010-01-20 22:45:41 +0000204 *
205 * @{
206 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000207
Douglas Gregorc8e390c2010-01-20 22:45:41 +0000208/**
209 * \brief A particular source file that is part of a translation unit.
210 */
211typedef void *CXFile;
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000212
Douglas Gregorc8e390c2010-01-20 22:45:41 +0000213
214/**
215 * \brief Retrieve the complete file and path name of the given file.
Steve Naroff6231f182009-10-27 14:35:18 +0000216 */
Ted Kremenekc560b682010-02-17 00:41:20 +0000217CINDEX_LINKAGE CXString clang_getFileName(CXFile SFile);
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000218
Douglas Gregorc8e390c2010-01-20 22:45:41 +0000219/**
220 * \brief Retrieve the last modification time of the given file.
221 */
Douglas Gregor249c1212009-10-31 15:48:08 +0000222CINDEX_LINKAGE time_t clang_getFileTime(CXFile SFile);
Steve Naroff6231f182009-10-27 14:35:18 +0000223
Douglas Gregor49c4baf2010-01-18 22:13:09 +0000224/**
Douglas Gregor816fd362010-01-22 21:44:22 +0000225 * \brief Retrieve a file handle within the given translation unit.
226 *
227 * \param tu the translation unit
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000228 *
Douglas Gregor816fd362010-01-22 21:44:22 +0000229 * \param file_name the name of the file.
230 *
231 * \returns the file handle for the named file in the translation unit \p tu,
232 * or a NULL file handle if the file was not a part of this translation unit.
233 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000234CINDEX_LINKAGE CXFile clang_getFile(CXTranslationUnit tu,
Douglas Gregor816fd362010-01-22 21:44:22 +0000235 const char *file_name);
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000236
Douglas Gregor816fd362010-01-22 21:44:22 +0000237/**
Douglas Gregorc8e390c2010-01-20 22:45:41 +0000238 * @}
239 */
240
241/**
242 * \defgroup CINDEX_LOCATIONS Physical source locations
243 *
244 * Clang represents physical source locations in its abstract syntax tree in
245 * great detail, with file, line, and column information for the majority of
246 * the tokens parsed in the source code. These data types and functions are
247 * used to represent source location information, either for a particular
248 * point in the program or for a range of points in the program, and extract
249 * specific location information from those data types.
250 *
251 * @{
252 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000253
Douglas Gregorc8e390c2010-01-20 22:45:41 +0000254/**
Douglas Gregor4f46e782010-01-19 21:36:55 +0000255 * \brief Identifies a specific source location within a translation
256 * unit.
257 *
Douglas Gregor229bebd2010-11-09 06:24:54 +0000258 * Use clang_getInstantiationLocation() or clang_getSpellingLocation()
259 * to map a source location to a particular file, line, and column.
Douglas Gregor49c4baf2010-01-18 22:13:09 +0000260 */
261typedef struct {
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000262 void *ptr_data[2];
Douglas Gregor4f46e782010-01-19 21:36:55 +0000263 unsigned int_data;
Douglas Gregor49c4baf2010-01-18 22:13:09 +0000264} CXSourceLocation;
Ted Kremeneka44d99c2010-01-05 23:18:49 +0000265
Douglas Gregor49c4baf2010-01-18 22:13:09 +0000266/**
Daniel Dunbar02968e52010-02-14 10:02:57 +0000267 * \brief Identifies a half-open character range in the source code.
Douglas Gregor49c4baf2010-01-18 22:13:09 +0000268 *
Douglas Gregor4f46e782010-01-19 21:36:55 +0000269 * Use clang_getRangeStart() and clang_getRangeEnd() to retrieve the
270 * starting and end locations from a source range, respectively.
Douglas Gregor49c4baf2010-01-18 22:13:09 +0000271 */
272typedef struct {
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000273 void *ptr_data[2];
Douglas Gregor4f46e782010-01-19 21:36:55 +0000274 unsigned begin_int_data;
275 unsigned end_int_data;
Douglas Gregor49c4baf2010-01-18 22:13:09 +0000276} CXSourceRange;
Ted Kremeneka44d99c2010-01-05 23:18:49 +0000277
Douglas Gregor4f46e782010-01-19 21:36:55 +0000278/**
Douglas Gregor816fd362010-01-22 21:44:22 +0000279 * \brief Retrieve a NULL (invalid) source location.
280 */
281CINDEX_LINKAGE CXSourceLocation clang_getNullLocation();
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000282
Douglas Gregor816fd362010-01-22 21:44:22 +0000283/**
284 * \determine Determine whether two source locations, which must refer into
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000285 * the same translation unit, refer to exactly the same point in the source
Douglas Gregor816fd362010-01-22 21:44:22 +0000286 * code.
287 *
288 * \returns non-zero if the source locations refer to the same location, zero
289 * if they refer to different locations.
290 */
291CINDEX_LINKAGE unsigned clang_equalLocations(CXSourceLocation loc1,
292 CXSourceLocation loc2);
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000293
Douglas Gregor816fd362010-01-22 21:44:22 +0000294/**
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000295 * \brief Retrieves the source location associated with a given file/line/column
296 * in a particular translation unit.
Douglas Gregor816fd362010-01-22 21:44:22 +0000297 */
298CINDEX_LINKAGE CXSourceLocation clang_getLocation(CXTranslationUnit tu,
299 CXFile file,
300 unsigned line,
301 unsigned column);
David Chisnall2e16ac52010-10-15 17:07:39 +0000302/**
303 * \brief Retrieves the source location associated with a given character offset
304 * in a particular translation unit.
305 */
306CINDEX_LINKAGE CXSourceLocation clang_getLocationForOffset(CXTranslationUnit tu,
307 CXFile file,
308 unsigned offset);
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000309
Douglas Gregor816fd362010-01-22 21:44:22 +0000310/**
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000311 * \brief Retrieve a NULL (invalid) source range.
312 */
313CINDEX_LINKAGE CXSourceRange clang_getNullRange();
Ted Kremenekd071c602010-03-13 02:50:34 +0000314
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000315/**
Douglas Gregor816fd362010-01-22 21:44:22 +0000316 * \brief Retrieve a source range given the beginning and ending source
317 * locations.
318 */
319CINDEX_LINKAGE CXSourceRange clang_getRange(CXSourceLocation begin,
320 CXSourceLocation end);
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000321
Douglas Gregor816fd362010-01-22 21:44:22 +0000322/**
Douglas Gregor9bd6db52010-01-26 19:19:08 +0000323 * \brief Retrieve the file, line, column, and offset represented by
324 * the given source location.
Douglas Gregor4f46e782010-01-19 21:36:55 +0000325 *
Douglas Gregor229bebd2010-11-09 06:24:54 +0000326 * If the location refers into a macro instantiation, retrieves the
327 * location of the macro instantiation.
328 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000329 * \param location the location within a source file that will be decomposed
330 * into its parts.
Douglas Gregor4f46e782010-01-19 21:36:55 +0000331 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000332 * \param file [out] if non-NULL, will be set to the file to which the given
Douglas Gregor4f46e782010-01-19 21:36:55 +0000333 * source location points.
334 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000335 * \param line [out] if non-NULL, will be set to the line to which the given
Douglas Gregor4f46e782010-01-19 21:36:55 +0000336 * source location points.
337 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000338 * \param column [out] if non-NULL, will be set to the column to which the given
339 * source location points.
Douglas Gregor9bd6db52010-01-26 19:19:08 +0000340 *
341 * \param offset [out] if non-NULL, will be set to the offset into the
342 * buffer to which the given source location points.
Douglas Gregor4f46e782010-01-19 21:36:55 +0000343 */
344CINDEX_LINKAGE void clang_getInstantiationLocation(CXSourceLocation location,
345 CXFile *file,
346 unsigned *line,
Douglas Gregor9bd6db52010-01-26 19:19:08 +0000347 unsigned *column,
348 unsigned *offset);
Douglas Gregor47751d62010-01-26 03:07:15 +0000349
350/**
Douglas Gregor229bebd2010-11-09 06:24:54 +0000351 * \brief Retrieve the file, line, column, and offset represented by
352 * the given source location.
353 *
354 * If the location refers into a macro instantiation, return where the
355 * location was originally spelled in the source file.
356 *
357 * \param location the location within a source file that will be decomposed
358 * into its parts.
359 *
360 * \param file [out] if non-NULL, will be set to the file to which the given
361 * source location points.
362 *
363 * \param line [out] if non-NULL, will be set to the line to which the given
364 * source location points.
365 *
366 * \param column [out] if non-NULL, will be set to the column to which the given
367 * source location points.
368 *
369 * \param offset [out] if non-NULL, will be set to the offset into the
370 * buffer to which the given source location points.
371 */
372CINDEX_LINKAGE void clang_getSpellingLocation(CXSourceLocation location,
373 CXFile *file,
374 unsigned *line,
375 unsigned *column,
376 unsigned *offset);
377
378/**
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000379 * \brief Retrieve a source location representing the first character within a
380 * source range.
Douglas Gregor4f46e782010-01-19 21:36:55 +0000381 */
382CINDEX_LINKAGE CXSourceLocation clang_getRangeStart(CXSourceRange range);
383
384/**
Daniel Dunbar62ebf252010-01-24 02:54:26 +0000385 * \brief Retrieve a source location representing the last character within a
386 * source range.
Douglas Gregor4f46e782010-01-19 21:36:55 +0000387 */
388CINDEX_LINKAGE CXSourceLocation clang_getRangeEnd(CXSourceRange range);
389
Douglas Gregorc8e390c2010-01-20 22:45:41 +0000390/**
391 * @}
392 */
Douglas Gregor6007cf22010-01-22 22:29:16 +0000393
394/**
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000395 * \defgroup CINDEX_DIAG Diagnostic reporting
396 *
397 * @{
398 */
399
400/**
401 * \brief Describes the severity of a particular diagnostic.
402 */
403enum CXDiagnosticSeverity {
404 /**
Ted Kremenekd071c602010-03-13 02:50:34 +0000405 * \brief A diagnostic that has been suppressed, e.g., by a command-line
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000406 * option.
407 */
408 CXDiagnostic_Ignored = 0,
Ted Kremenekd071c602010-03-13 02:50:34 +0000409
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000410 /**
411 * \brief This diagnostic is a note that should be attached to the
412 * previous (non-note) diagnostic.
413 */
414 CXDiagnostic_Note = 1,
415
416 /**
417 * \brief This diagnostic indicates suspicious code that may not be
418 * wrong.
419 */
420 CXDiagnostic_Warning = 2,
421
422 /**
423 * \brief This diagnostic indicates that the code is ill-formed.
424 */
425 CXDiagnostic_Error = 3,
426
427 /**
428 * \brief This diagnostic indicates that the code is ill-formed such
429 * that future parser recovery is unlikely to produce useful
430 * results.
431 */
432 CXDiagnostic_Fatal = 4
433};
434
435/**
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000436 * \brief A single diagnostic, containing the diagnostic's severity,
437 * location, text, source ranges, and fix-it hints.
438 */
439typedef void *CXDiagnostic;
440
441/**
Douglas Gregor33cdd812010-02-18 18:08:43 +0000442 * \brief Determine the number of diagnostics produced for the given
443 * translation unit.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000444 */
Douglas Gregor33cdd812010-02-18 18:08:43 +0000445CINDEX_LINKAGE unsigned clang_getNumDiagnostics(CXTranslationUnit Unit);
446
447/**
448 * \brief Retrieve a diagnostic associated with the given translation unit.
449 *
450 * \param Unit the translation unit to query.
451 * \param Index the zero-based diagnostic number to retrieve.
452 *
453 * \returns the requested diagnostic. This diagnostic must be freed
454 * via a call to \c clang_disposeDiagnostic().
455 */
456CINDEX_LINKAGE CXDiagnostic clang_getDiagnostic(CXTranslationUnit Unit,
457 unsigned Index);
458
459/**
460 * \brief Destroy a diagnostic.
461 */
462CINDEX_LINKAGE void clang_disposeDiagnostic(CXDiagnostic Diagnostic);
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000463
464/**
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000465 * \brief Options to control the display of diagnostics.
466 *
467 * The values in this enum are meant to be combined to customize the
468 * behavior of \c clang_displayDiagnostic().
469 */
470enum CXDiagnosticDisplayOptions {
471 /**
472 * \brief Display the source-location information where the
473 * diagnostic was located.
474 *
475 * When set, diagnostics will be prefixed by the file, line, and
476 * (optionally) column to which the diagnostic refers. For example,
477 *
478 * \code
479 * test.c:28: warning: extra tokens at end of #endif directive
480 * \endcode
481 *
482 * This option corresponds to the clang flag \c -fshow-source-location.
483 */
484 CXDiagnostic_DisplaySourceLocation = 0x01,
485
486 /**
487 * \brief If displaying the source-location information of the
488 * diagnostic, also include the column number.
489 *
490 * This option corresponds to the clang flag \c -fshow-column.
491 */
492 CXDiagnostic_DisplayColumn = 0x02,
493
494 /**
495 * \brief If displaying the source-location information of the
496 * diagnostic, also include information about source ranges in a
497 * machine-parsable format.
498 *
Ted Kremenekd071c602010-03-13 02:50:34 +0000499 * This option corresponds to the clang flag
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000500 * \c -fdiagnostics-print-source-range-info.
501 */
Douglas Gregora750e8e2010-11-19 16:18:16 +0000502 CXDiagnostic_DisplaySourceRanges = 0x04,
503
504 /**
505 * \brief Display the option name associated with this diagnostic, if any.
506 *
507 * The option name displayed (e.g., -Wconversion) will be placed in brackets
508 * after the diagnostic text. This option corresponds to the clang flag
509 * \c -fdiagnostics-show-option.
510 */
511 CXDiagnostic_DisplayOption = 0x08,
512
513 /**
514 * \brief Display the category number associated with this diagnostic, if any.
515 *
516 * The category number is displayed within brackets after the diagnostic text.
517 * This option corresponds to the clang flag
518 * \c -fdiagnostics-show-category=id.
519 */
520 CXDiagnostic_DisplayCategoryId = 0x10,
521
522 /**
523 * \brief Display the category name associated with this diagnostic, if any.
524 *
525 * The category name is displayed within brackets after the diagnostic text.
526 * This option corresponds to the clang flag
527 * \c -fdiagnostics-show-category=name.
528 */
529 CXDiagnostic_DisplayCategoryName = 0x20
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000530};
531
532/**
Douglas Gregord770f732010-02-22 23:17:23 +0000533 * \brief Format the given diagnostic in a manner that is suitable for display.
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000534 *
Douglas Gregord770f732010-02-22 23:17:23 +0000535 * This routine will format the given diagnostic to a string, rendering
Ted Kremenekd071c602010-03-13 02:50:34 +0000536 * the diagnostic according to the various options given. The
537 * \c clang_defaultDiagnosticDisplayOptions() function returns the set of
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000538 * options that most closely mimics the behavior of the clang compiler.
539 *
540 * \param Diagnostic The diagnostic to print.
541 *
Ted Kremenekd071c602010-03-13 02:50:34 +0000542 * \param Options A set of options that control the diagnostic display,
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000543 * created by combining \c CXDiagnosticDisplayOptions values.
Douglas Gregord770f732010-02-22 23:17:23 +0000544 *
545 * \returns A new string containing for formatted diagnostic.
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000546 */
Douglas Gregord770f732010-02-22 23:17:23 +0000547CINDEX_LINKAGE CXString clang_formatDiagnostic(CXDiagnostic Diagnostic,
548 unsigned Options);
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000549
550/**
551 * \brief Retrieve the set of display options most similar to the
552 * default behavior of the clang compiler.
553 *
554 * \returns A set of display options suitable for use with \c
555 * clang_displayDiagnostic().
556 */
557CINDEX_LINKAGE unsigned clang_defaultDiagnosticDisplayOptions(void);
558
559/**
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000560 * \brief Determine the severity of the given diagnostic.
561 */
Ted Kremenekd071c602010-03-13 02:50:34 +0000562CINDEX_LINKAGE enum CXDiagnosticSeverity
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000563clang_getDiagnosticSeverity(CXDiagnostic);
564
565/**
566 * \brief Retrieve the source location of the given diagnostic.
567 *
568 * This location is where Clang would print the caret ('^') when
569 * displaying the diagnostic on the command line.
570 */
571CINDEX_LINKAGE CXSourceLocation clang_getDiagnosticLocation(CXDiagnostic);
572
573/**
574 * \brief Retrieve the text of the given diagnostic.
575 */
576CINDEX_LINKAGE CXString clang_getDiagnosticSpelling(CXDiagnostic);
Douglas Gregor4b8fd6d2010-02-08 23:11:56 +0000577
578/**
Douglas Gregora750e8e2010-11-19 16:18:16 +0000579 * \brief Retrieve the name of the command-line option that enabled this
580 * diagnostic.
581 *
582 * \param Diag The diagnostic to be queried.
583 *
584 * \param Disable If non-NULL, will be set to the option that disables this
585 * diagnostic (if any).
586 *
587 * \returns A string that contains the command-line option used to enable this
588 * warning, such as "-Wconversion" or "-pedantic".
589 */
590CINDEX_LINKAGE CXString clang_getDiagnosticOption(CXDiagnostic Diag,
591 CXString *Disable);
592
593/**
594 * \brief Retrieve the category number for this diagnostic.
595 *
596 * Diagnostics can be categorized into groups along with other, related
597 * diagnostics (e.g., diagnostics under the same warning flag). This routine
598 * retrieves the category number for the given diagnostic.
599 *
600 * \returns The number of the category that contains this diagnostic, or zero
601 * if this diagnostic is uncategorized.
602 */
603CINDEX_LINKAGE unsigned clang_getDiagnosticCategory(CXDiagnostic);
604
605/**
606 * \brief Retrieve the name of a particular diagnostic category.
607 *
608 * \param Category A diagnostic category number, as returned by
609 * \c clang_getDiagnosticCategory().
610 *
611 * \returns The name of the given diagnostic category.
612 */
613CINDEX_LINKAGE CXString clang_getDiagnosticCategoryName(unsigned Category);
614
615/**
Douglas Gregor4b8fd6d2010-02-08 23:11:56 +0000616 * \brief Determine the number of source ranges associated with the given
617 * diagnostic.
618 */
619CINDEX_LINKAGE unsigned clang_getDiagnosticNumRanges(CXDiagnostic);
Ted Kremenekd071c602010-03-13 02:50:34 +0000620
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000621/**
Douglas Gregor4b8fd6d2010-02-08 23:11:56 +0000622 * \brief Retrieve a source range associated with the diagnostic.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000623 *
Douglas Gregor4b8fd6d2010-02-08 23:11:56 +0000624 * A diagnostic's source ranges highlight important elements in the source
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000625 * code. On the command line, Clang displays source ranges by
Ted Kremenekd071c602010-03-13 02:50:34 +0000626 * underlining them with '~' characters.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000627 *
Douglas Gregor4b8fd6d2010-02-08 23:11:56 +0000628 * \param Diagnostic the diagnostic whose range is being extracted.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000629 *
Ted Kremenekd071c602010-03-13 02:50:34 +0000630 * \param Range the zero-based index specifying which range to
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000631 *
Douglas Gregor4b8fd6d2010-02-08 23:11:56 +0000632 * \returns the requested source range.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000633 */
Ted Kremenekd071c602010-03-13 02:50:34 +0000634CINDEX_LINKAGE CXSourceRange clang_getDiagnosticRange(CXDiagnostic Diagnostic,
Douglas Gregor4b8fd6d2010-02-08 23:11:56 +0000635 unsigned Range);
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000636
637/**
638 * \brief Determine the number of fix-it hints associated with the
639 * given diagnostic.
640 */
641CINDEX_LINKAGE unsigned clang_getDiagnosticNumFixIts(CXDiagnostic Diagnostic);
642
643/**
Douglas Gregor836ec942010-02-19 18:16:06 +0000644 * \brief Retrieve the replacement information for a given fix-it.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000645 *
Douglas Gregor836ec942010-02-19 18:16:06 +0000646 * Fix-its are described in terms of a source range whose contents
647 * should be replaced by a string. This approach generalizes over
648 * three kinds of operations: removal of source code (the range covers
649 * the code to be removed and the replacement string is empty),
650 * replacement of source code (the range covers the code to be
651 * replaced and the replacement string provides the new code), and
652 * insertion (both the start and end of the range point at the
653 * insertion location, and the replacement string provides the text to
654 * insert).
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000655 *
Douglas Gregor836ec942010-02-19 18:16:06 +0000656 * \param Diagnostic The diagnostic whose fix-its are being queried.
657 *
658 * \param FixIt The zero-based index of the fix-it.
659 *
660 * \param ReplacementRange The source range whose contents will be
661 * replaced with the returned replacement string. Note that source
662 * ranges are half-open ranges [a, b), so the source code should be
663 * replaced from a and up to (but not including) b.
664 *
665 * \returns A string containing text that should be replace the source
666 * code indicated by the \c ReplacementRange.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000667 */
Ted Kremenekd071c602010-03-13 02:50:34 +0000668CINDEX_LINKAGE CXString clang_getDiagnosticFixIt(CXDiagnostic Diagnostic,
Douglas Gregor836ec942010-02-19 18:16:06 +0000669 unsigned FixIt,
670 CXSourceRange *ReplacementRange);
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000671
672/**
673 * @}
674 */
675
676/**
677 * \defgroup CINDEX_TRANSLATION_UNIT Translation unit manipulation
678 *
679 * The routines in this group provide the ability to create and destroy
680 * translation units from files, either by parsing the contents of the files or
681 * by reading in a serialized representation of a translation unit.
682 *
683 * @{
684 */
Ted Kremenekd071c602010-03-13 02:50:34 +0000685
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000686/**
687 * \brief Get the original translation unit source file name.
688 */
689CINDEX_LINKAGE CXString
690clang_getTranslationUnitSpelling(CXTranslationUnit CTUnit);
691
692/**
693 * \brief Return the CXTranslationUnit for a given source file and the provided
694 * command line arguments one would pass to the compiler.
695 *
696 * Note: The 'source_filename' argument is optional. If the caller provides a
697 * NULL pointer, the name of the source file is expected to reside in the
698 * specified command line arguments.
699 *
700 * Note: When encountered in 'clang_command_line_args', the following options
701 * are ignored:
702 *
703 * '-c'
704 * '-emit-ast'
705 * '-fsyntax-only'
706 * '-o <output file>' (both '-o' and '<output file>' are ignored)
707 *
Ted Kremenekbd4972442010-11-08 04:28:51 +0000708 * \param CIdx The index object with which the translation unit will be
709 * associated.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000710 *
711 * \param source_filename - The name of the source file to load, or NULL if the
Ted Kremenekbd4972442010-11-08 04:28:51 +0000712 * source file is included in \p clang_command_line_args.
713 *
714 * \param num_clang_command_line_args The number of command-line arguments in
715 * \p clang_command_line_args.
716 *
717 * \param clang_command_line_args The command-line arguments that would be
718 * passed to the \c clang executable if it were being invoked out-of-process.
719 * These command-line options will be parsed and will affect how the translation
720 * unit is parsed. Note that the following options are ignored: '-c',
721 * '-emit-ast', '-fsyntex-only' (which is the default), and '-o <output file>'.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000722 *
723 * \param num_unsaved_files the number of unsaved file entries in \p
724 * unsaved_files.
725 *
726 * \param unsaved_files the files that have not yet been saved to disk
727 * but may be required for code completion, including the contents of
Ted Kremenekde24a942010-04-12 18:47:26 +0000728 * those files. The contents and name of these files (as specified by
729 * CXUnsavedFile) are copied when necessary, so the client only needs to
730 * guarantee their validity until the call to this function returns.
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000731 */
732CINDEX_LINKAGE CXTranslationUnit clang_createTranslationUnitFromSourceFile(
733 CXIndex CIdx,
734 const char *source_filename,
735 int num_clang_command_line_args,
Douglas Gregor57879fa2010-09-01 16:43:19 +0000736 const char * const *clang_command_line_args,
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000737 unsigned num_unsaved_files,
Douglas Gregor33cdd812010-02-18 18:08:43 +0000738 struct CXUnsavedFile *unsaved_files);
Ted Kremenekd071c602010-03-13 02:50:34 +0000739
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000740/**
741 * \brief Create a translation unit from an AST file (-emit-ast).
742 */
Ted Kremenekd071c602010-03-13 02:50:34 +0000743CINDEX_LINKAGE CXTranslationUnit clang_createTranslationUnit(CXIndex,
Douglas Gregor33cdd812010-02-18 18:08:43 +0000744 const char *ast_filename);
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000745
Douglas Gregorbe2d8c62010-07-23 00:33:23 +0000746/**
747 * \brief Flags that control the creation of translation units.
748 *
749 * The enumerators in this enumeration type are meant to be bitwise
750 * ORed together to specify which options should be used when
751 * constructing the translation unit.
752 */
Douglas Gregor99d2cf42010-07-21 18:52:53 +0000753enum CXTranslationUnit_Flags {
754 /**
755 * \brief Used to indicate that no special translation-unit options are
756 * needed.
757 */
758 CXTranslationUnit_None = 0x0,
759
760 /**
761 * \brief Used to indicate that the parser should construct a "detailed"
762 * preprocessing record, including all macro definitions and instantiations.
763 *
764 * Constructing a detailed preprocessing record requires more memory
765 * and time to parse, since the information contained in the record
766 * is usually not retained. However, it can be useful for
767 * applications that require more detailed information about the
768 * behavior of the preprocessor.
769 */
Douglas Gregorbe2d8c62010-07-23 00:33:23 +0000770 CXTranslationUnit_DetailedPreprocessingRecord = 0x01,
771
772 /**
Douglas Gregor4a47bca2010-08-09 22:28:58 +0000773 * \brief Used to indicate that the translation unit is incomplete.
Douglas Gregorbe2d8c62010-07-23 00:33:23 +0000774 *
Douglas Gregor4a47bca2010-08-09 22:28:58 +0000775 * When a translation unit is considered "incomplete", semantic
776 * analysis that is typically performed at the end of the
777 * translation unit will be suppressed. For example, this suppresses
778 * the completion of tentative declarations in C and of
779 * instantiation of implicitly-instantiation function templates in
780 * C++. This option is typically used when parsing a header with the
781 * intent of producing a precompiled header.
Douglas Gregorbe2d8c62010-07-23 00:33:23 +0000782 */
Douglas Gregor4a47bca2010-08-09 22:28:58 +0000783 CXTranslationUnit_Incomplete = 0x02,
Douglas Gregorbe2d8c62010-07-23 00:33:23 +0000784
785 /**
786 * \brief Used to indicate that the translation unit should be built with an
787 * implicit precompiled header for the preamble.
788 *
789 * An implicit precompiled header is used as an optimization when a
790 * particular translation unit is likely to be reparsed many times
791 * when the sources aren't changing that often. In this case, an
792 * implicit precompiled header will be built containing all of the
793 * initial includes at the top of the main file (what we refer to as
794 * the "preamble" of the file). In subsequent parses, if the
795 * preamble or the files in it have not changed, \c
796 * clang_reparseTranslationUnit() will re-use the implicit
797 * precompiled header to improve parsing performance.
798 */
Douglas Gregorde051182010-08-11 15:58:42 +0000799 CXTranslationUnit_PrecompiledPreamble = 0x04,
800
801 /**
802 * \brief Used to indicate that the translation unit should cache some
803 * code-completion results with each reparse of the source file.
804 *
805 * Caching of code-completion results is a performance optimization that
806 * introduces some overhead to reparsing but improves the performance of
807 * code-completion operations.
808 */
Douglas Gregorf5a18542010-10-27 17:24:53 +0000809 CXTranslationUnit_CacheCompletionResults = 0x08,
810 /**
811 * \brief Enable precompiled preambles in C++.
812 *
813 * Note: this is a *temporary* option that is available only while
814 * we are testing C++ precompiled preamble support.
815 */
816 CXTranslationUnit_CXXPrecompiledPreamble = 0x10,
817
818 /**
819 * \brief Enabled chained precompiled preambles in C++.
820 *
821 * Note: this is a *temporary* option that is available only while
822 * we are testing C++ precompiled preamble support.
823 */
824 CXTranslationUnit_CXXChainedPCH = 0x20
Douglas Gregor99d2cf42010-07-21 18:52:53 +0000825};
826
827/**
Douglas Gregor4a47bca2010-08-09 22:28:58 +0000828 * \brief Returns the set of flags that is suitable for parsing a translation
829 * unit that is being edited.
830 *
831 * The set of flags returned provide options for \c clang_parseTranslationUnit()
832 * to indicate that the translation unit is likely to be reparsed many times,
833 * either explicitly (via \c clang_reparseTranslationUnit()) or implicitly
834 * (e.g., by code completion (\c clang_codeCompletionAt())). The returned flag
835 * set contains an unspecified set of optimizations (e.g., the precompiled
836 * preamble) geared toward improving the performance of these routines. The
837 * set of optimizations enabled may change from one version to the next.
838 */
Douglas Gregorde051182010-08-11 15:58:42 +0000839CINDEX_LINKAGE unsigned clang_defaultEditingTranslationUnitOptions(void);
Douglas Gregor4a47bca2010-08-09 22:28:58 +0000840
841/**
Douglas Gregor99d2cf42010-07-21 18:52:53 +0000842 * \brief Parse the given source file and the translation unit corresponding
843 * to that file.
844 *
845 * This routine is the main entry point for the Clang C API, providing the
846 * ability to parse a source file into a translation unit that can then be
847 * queried by other functions in the API. This routine accepts a set of
848 * command-line arguments so that the compilation can be configured in the same
849 * way that the compiler is configured on the command line.
850 *
851 * \param CIdx The index object with which the translation unit will be
852 * associated.
853 *
854 * \param source_filename The name of the source file to load, or NULL if the
Ted Kremenekbd4972442010-11-08 04:28:51 +0000855 * source file is included in \p command_line_args.
Douglas Gregor99d2cf42010-07-21 18:52:53 +0000856 *
857 * \param command_line_args The command-line arguments that would be
858 * passed to the \c clang executable if it were being invoked out-of-process.
859 * These command-line options will be parsed and will affect how the translation
860 * unit is parsed. Note that the following options are ignored: '-c',
861 * '-emit-ast', '-fsyntex-only' (which is the default), and '-o <output file>'.
862 *
863 * \param num_command_line_args The number of command-line arguments in
864 * \p command_line_args.
865 *
866 * \param unsaved_files the files that have not yet been saved to disk
Douglas Gregor8e984da2010-08-04 16:47:14 +0000867 * but may be required for parsing, including the contents of
Douglas Gregor99d2cf42010-07-21 18:52:53 +0000868 * those files. The contents and name of these files (as specified by
869 * CXUnsavedFile) are copied when necessary, so the client only needs to
870 * guarantee their validity until the call to this function returns.
871 *
872 * \param num_unsaved_files the number of unsaved file entries in \p
873 * unsaved_files.
874 *
875 * \param options A bitmask of options that affects how the translation unit
876 * is managed but not its compilation. This should be a bitwise OR of the
877 * CXTranslationUnit_XXX flags.
878 *
879 * \returns A new translation unit describing the parsed code and containing
880 * any diagnostics produced by the compiler. If there is a failure from which
881 * the compiler cannot recover, returns NULL.
882 */
883CINDEX_LINKAGE CXTranslationUnit clang_parseTranslationUnit(CXIndex CIdx,
884 const char *source_filename,
Douglas Gregor57879fa2010-09-01 16:43:19 +0000885 const char * const *command_line_args,
Douglas Gregor99d2cf42010-07-21 18:52:53 +0000886 int num_command_line_args,
887 struct CXUnsavedFile *unsaved_files,
888 unsigned num_unsaved_files,
889 unsigned options);
890
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000891/**
Douglas Gregor6bb92ec2010-08-13 15:35:05 +0000892 * \brief Flags that control how translation units are saved.
893 *
894 * The enumerators in this enumeration type are meant to be bitwise
895 * ORed together to specify which options should be used when
896 * saving the translation unit.
897 */
898enum CXSaveTranslationUnit_Flags {
899 /**
900 * \brief Used to indicate that no special saving options are needed.
901 */
902 CXSaveTranslationUnit_None = 0x0
903};
904
905/**
906 * \brief Returns the set of flags that is suitable for saving a translation
907 * unit.
908 *
909 * The set of flags returned provide options for
910 * \c clang_saveTranslationUnit() by default. The returned flag
911 * set contains an unspecified set of options that save translation units with
912 * the most commonly-requested data.
913 */
914CINDEX_LINKAGE unsigned clang_defaultSaveOptions(CXTranslationUnit TU);
915
916/**
Douglas Gregore9386682010-08-13 05:36:37 +0000917 * \brief Saves a translation unit into a serialized representation of
918 * that translation unit on disk.
919 *
920 * Any translation unit that was parsed without error can be saved
921 * into a file. The translation unit can then be deserialized into a
922 * new \c CXTranslationUnit with \c clang_createTranslationUnit() or,
923 * if it is an incomplete translation unit that corresponds to a
924 * header, used as a precompiled header when parsing other translation
925 * units.
926 *
927 * \param TU The translation unit to save.
Douglas Gregor6bb92ec2010-08-13 15:35:05 +0000928 *
Douglas Gregore9386682010-08-13 05:36:37 +0000929 * \param FileName The file to which the translation unit will be saved.
930 *
Douglas Gregor6bb92ec2010-08-13 15:35:05 +0000931 * \param options A bitmask of options that affects how the translation unit
932 * is saved. This should be a bitwise OR of the
933 * CXSaveTranslationUnit_XXX flags.
934 *
Douglas Gregore9386682010-08-13 05:36:37 +0000935 * \returns Zero if the translation unit was saved successfully, a
936 * non-zero value otherwise.
937 */
938CINDEX_LINKAGE int clang_saveTranslationUnit(CXTranslationUnit TU,
Douglas Gregor6bb92ec2010-08-13 15:35:05 +0000939 const char *FileName,
940 unsigned options);
Douglas Gregore9386682010-08-13 05:36:37 +0000941
942/**
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000943 * \brief Destroy the specified CXTranslationUnit object.
944 */
945CINDEX_LINKAGE void clang_disposeTranslationUnit(CXTranslationUnit);
Ted Kremenekd071c602010-03-13 02:50:34 +0000946
Douglas Gregor4f9c3762010-01-28 00:27:43 +0000947/**
Douglas Gregorde051182010-08-11 15:58:42 +0000948 * \brief Flags that control the reparsing of translation units.
949 *
950 * The enumerators in this enumeration type are meant to be bitwise
951 * ORed together to specify which options should be used when
952 * reparsing the translation unit.
953 */
954enum CXReparse_Flags {
955 /**
956 * \brief Used to indicate that no special reparsing options are needed.
957 */
958 CXReparse_None = 0x0
959};
960
961/**
962 * \brief Returns the set of flags that is suitable for reparsing a translation
963 * unit.
964 *
965 * The set of flags returned provide options for
966 * \c clang_reparseTranslationUnit() by default. The returned flag
967 * set contains an unspecified set of optimizations geared toward common uses
968 * of reparsing. The set of optimizations enabled may change from one version
969 * to the next.
970 */
971CINDEX_LINKAGE unsigned clang_defaultReparseOptions(CXTranslationUnit TU);
972
973/**
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000974 * \brief Reparse the source files that produced this translation unit.
975 *
976 * This routine can be used to re-parse the source files that originally
977 * created the given translation unit, for example because those source files
978 * have changed (either on disk or as passed via \p unsaved_files). The
979 * source code will be reparsed with the same command-line options as it
980 * was originally parsed.
981 *
982 * Reparsing a translation unit invalidates all cursors and source locations
983 * that refer into that translation unit. This makes reparsing a translation
984 * unit semantically equivalent to destroying the translation unit and then
985 * creating a new translation unit with the same command-line arguments.
986 * However, it may be more efficient to reparse a translation
987 * unit using this routine.
988 *
989 * \param TU The translation unit whose contents will be re-parsed. The
990 * translation unit must originally have been built with
991 * \c clang_createTranslationUnitFromSourceFile().
992 *
993 * \param num_unsaved_files The number of unsaved file entries in \p
994 * unsaved_files.
995 *
996 * \param unsaved_files The files that have not yet been saved to disk
997 * but may be required for parsing, including the contents of
998 * those files. The contents and name of these files (as specified by
999 * CXUnsavedFile) are copied when necessary, so the client only needs to
1000 * guarantee their validity until the call to this function returns.
1001 *
Douglas Gregorde051182010-08-11 15:58:42 +00001002 * \param options A bitset of options composed of the flags in CXReparse_Flags.
1003 * The function \c clang_defaultReparseOptions() produces a default set of
1004 * options recommended for most uses, based on the translation unit.
1005 *
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001006 * \returns 0 if the sources could be reparsed. A non-zero value will be
1007 * returned if reparsing was impossible, such that the translation unit is
1008 * invalid. In such cases, the only valid call for \p TU is
1009 * \c clang_disposeTranslationUnit(TU).
1010 */
1011CINDEX_LINKAGE int clang_reparseTranslationUnit(CXTranslationUnit TU,
1012 unsigned num_unsaved_files,
Douglas Gregorde051182010-08-11 15:58:42 +00001013 struct CXUnsavedFile *unsaved_files,
1014 unsigned options);
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001015
1016/**
Douglas Gregor4f9c3762010-01-28 00:27:43 +00001017 * @}
1018 */
Ted Kremenekd071c602010-03-13 02:50:34 +00001019
Douglas Gregor4f9c3762010-01-28 00:27:43 +00001020/**
Douglas Gregor6007cf22010-01-22 22:29:16 +00001021 * \brief Describes the kind of entity that a cursor refers to.
1022 */
1023enum CXCursorKind {
1024 /* Declarations */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001025 /**
Douglas Gregor6007cf22010-01-22 22:29:16 +00001026 * \brief A declaration whose specific kind is not exposed via this
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001027 * interface.
Douglas Gregor6007cf22010-01-22 22:29:16 +00001028 *
1029 * Unexposed declarations have the same operations as any other kind
1030 * of declaration; one can extract their location information,
1031 * spelling, find their definitions, etc. However, the specific kind
1032 * of the declaration is not reported.
1033 */
1034 CXCursor_UnexposedDecl = 1,
1035 /** \brief A C or C++ struct. */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001036 CXCursor_StructDecl = 2,
Douglas Gregor6007cf22010-01-22 22:29:16 +00001037 /** \brief A C or C++ union. */
1038 CXCursor_UnionDecl = 3,
1039 /** \brief A C++ class. */
1040 CXCursor_ClassDecl = 4,
1041 /** \brief An enumeration. */
1042 CXCursor_EnumDecl = 5,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001043 /**
Douglas Gregor6007cf22010-01-22 22:29:16 +00001044 * \brief A field (in C) or non-static data member (in C++) in a
1045 * struct, union, or C++ class.
1046 */
1047 CXCursor_FieldDecl = 6,
1048 /** \brief An enumerator constant. */
1049 CXCursor_EnumConstantDecl = 7,
1050 /** \brief A function. */
1051 CXCursor_FunctionDecl = 8,
1052 /** \brief A variable. */
1053 CXCursor_VarDecl = 9,
1054 /** \brief A function or method parameter. */
1055 CXCursor_ParmDecl = 10,
1056 /** \brief An Objective-C @interface. */
1057 CXCursor_ObjCInterfaceDecl = 11,
1058 /** \brief An Objective-C @interface for a category. */
1059 CXCursor_ObjCCategoryDecl = 12,
1060 /** \brief An Objective-C @protocol declaration. */
1061 CXCursor_ObjCProtocolDecl = 13,
1062 /** \brief An Objective-C @property declaration. */
1063 CXCursor_ObjCPropertyDecl = 14,
1064 /** \brief An Objective-C instance variable. */
1065 CXCursor_ObjCIvarDecl = 15,
1066 /** \brief An Objective-C instance method. */
1067 CXCursor_ObjCInstanceMethodDecl = 16,
1068 /** \brief An Objective-C class method. */
1069 CXCursor_ObjCClassMethodDecl = 17,
1070 /** \brief An Objective-C @implementation. */
1071 CXCursor_ObjCImplementationDecl = 18,
1072 /** \brief An Objective-C @implementation for a category. */
1073 CXCursor_ObjCCategoryImplDecl = 19,
1074 /** \brief A typedef */
1075 CXCursor_TypedefDecl = 20,
Ted Kremenek225b8e32010-04-13 23:39:06 +00001076 /** \brief A C++ class method. */
1077 CXCursor_CXXMethod = 21,
Ted Kremenekbd67fb22010-05-06 23:38:21 +00001078 /** \brief A C++ namespace. */
1079 CXCursor_Namespace = 22,
Ted Kremenekb80cba52010-05-07 01:04:29 +00001080 /** \brief A linkage specification, e.g. 'extern "C"'. */
1081 CXCursor_LinkageSpec = 23,
Douglas Gregor12bca222010-08-31 14:41:23 +00001082 /** \brief A C++ constructor. */
1083 CXCursor_Constructor = 24,
1084 /** \brief A C++ destructor. */
1085 CXCursor_Destructor = 25,
1086 /** \brief A C++ conversion function. */
1087 CXCursor_ConversionFunction = 26,
Douglas Gregor713602b2010-08-31 17:01:39 +00001088 /** \brief A C++ template type parameter. */
1089 CXCursor_TemplateTypeParameter = 27,
1090 /** \brief A C++ non-type template parameter. */
1091 CXCursor_NonTypeTemplateParameter = 28,
1092 /** \brief A C++ template template parameter. */
1093 CXCursor_TemplateTemplateParameter = 29,
1094 /** \brief A C++ function template. */
1095 CXCursor_FunctionTemplate = 30,
Douglas Gregor1fbaeb12010-08-31 19:02:00 +00001096 /** \brief A C++ class template. */
1097 CXCursor_ClassTemplate = 31,
Douglas Gregorf96abb22010-08-31 19:31:58 +00001098 /** \brief A C++ class template partial specialization. */
1099 CXCursor_ClassTemplatePartialSpecialization = 32,
Douglas Gregora89314e2010-08-31 23:48:11 +00001100 /** \brief A C++ namespace alias declaration. */
1101 CXCursor_NamespaceAlias = 33,
Douglas Gregor01a430132010-09-01 03:07:18 +00001102 /** \brief A C++ using directive. */
1103 CXCursor_UsingDirective = 34,
Douglas Gregora9aa29c2010-09-01 19:52:22 +00001104 /** \brief A using declaration. */
1105 CXCursor_UsingDeclaration = 35,
Ted Kremenek08de5c12010-05-19 21:51:10 +00001106 CXCursor_FirstDecl = CXCursor_UnexposedDecl,
Douglas Gregora9aa29c2010-09-01 19:52:22 +00001107 CXCursor_LastDecl = CXCursor_UsingDeclaration,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001108
Douglas Gregor6007cf22010-01-22 22:29:16 +00001109 /* References */
1110 CXCursor_FirstRef = 40, /* Decl references */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001111 CXCursor_ObjCSuperClassRef = 40,
Douglas Gregor6007cf22010-01-22 22:29:16 +00001112 CXCursor_ObjCProtocolRef = 41,
1113 CXCursor_ObjCClassRef = 42,
1114 /**
1115 * \brief A reference to a type declaration.
1116 *
1117 * A type reference occurs anywhere where a type is named but not
1118 * declared. For example, given:
1119 *
1120 * \code
1121 * typedef unsigned size_type;
1122 * size_type size;
1123 * \endcode
1124 *
1125 * The typedef is a declaration of size_type (CXCursor_TypedefDecl),
1126 * while the type of the variable "size" is referenced. The cursor
1127 * referenced by the type of size is the typedef for size_type.
1128 */
1129 CXCursor_TypeRef = 43,
Ted Kremenekae9e2212010-08-27 21:34:58 +00001130 CXCursor_CXXBaseSpecifier = 44,
Douglas Gregora23e8f72010-08-31 20:37:03 +00001131 /**
Douglas Gregorf3af3112010-09-09 21:42:20 +00001132 * \brief A reference to a class template, function template, template
1133 * template parameter, or class template partial specialization.
Douglas Gregora23e8f72010-08-31 20:37:03 +00001134 */
1135 CXCursor_TemplateRef = 45,
Douglas Gregora89314e2010-08-31 23:48:11 +00001136 /**
1137 * \brief A reference to a namespace or namespace alias.
1138 */
1139 CXCursor_NamespaceRef = 46,
Douglas Gregorf3af3112010-09-09 21:42:20 +00001140 /**
Douglas Gregora93ab662010-09-10 00:22:18 +00001141 * \brief A reference to a member of a struct, union, or class that occurs in
1142 * some non-expression context, e.g., a designated initializer.
Douglas Gregorf3af3112010-09-09 21:42:20 +00001143 */
1144 CXCursor_MemberRef = 47,
Douglas Gregora93ab662010-09-10 00:22:18 +00001145 /**
1146 * \brief A reference to a labeled statement.
1147 *
1148 * This cursor kind is used to describe the jump to "start_over" in the
1149 * goto statement in the following example:
1150 *
1151 * \code
1152 * start_over:
1153 * ++counter;
1154 *
1155 * goto start_over;
1156 * \endcode
1157 *
1158 * A label reference cursor refers to a label statement.
1159 */
1160 CXCursor_LabelRef = 48,
1161
Douglas Gregor16a2bdd2010-09-13 22:52:57 +00001162 /**
1163 * \brief A reference to a set of overloaded functions or function templates
1164 * that has not yet been resolved to a specific function or function template.
1165 *
1166 * An overloaded declaration reference cursor occurs in C++ templates where
1167 * a dependent name refers to a function. For example:
1168 *
1169 * \code
1170 * template<typename T> void swap(T&, T&);
1171 *
1172 * struct X { ... };
1173 * void swap(X&, X&);
1174 *
1175 * template<typename T>
1176 * void reverse(T* first, T* last) {
1177 * while (first < last - 1) {
1178 * swap(*first, *--last);
1179 * ++first;
1180 * }
1181 * }
1182 *
1183 * struct Y { };
1184 * void swap(Y&, Y&);
1185 * \endcode
1186 *
1187 * Here, the identifier "swap" is associated with an overloaded declaration
1188 * reference. In the template definition, "swap" refers to either of the two
1189 * "swap" functions declared above, so both results will be available. At
1190 * instantiation time, "swap" may also refer to other functions found via
1191 * argument-dependent lookup (e.g., the "swap" function at the end of the
1192 * example).
1193 *
1194 * The functions \c clang_getNumOverloadedDecls() and
1195 * \c clang_getOverloadedDecl() can be used to retrieve the definitions
1196 * referenced by this cursor.
1197 */
1198 CXCursor_OverloadedDeclRef = 49,
1199
1200 CXCursor_LastRef = CXCursor_OverloadedDeclRef,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001201
Douglas Gregor6007cf22010-01-22 22:29:16 +00001202 /* Error conditions */
1203 CXCursor_FirstInvalid = 70,
1204 CXCursor_InvalidFile = 70,
1205 CXCursor_NoDeclFound = 71,
1206 CXCursor_NotImplemented = 72,
Ted Kremeneke184ac52010-03-19 20:39:03 +00001207 CXCursor_InvalidCode = 73,
1208 CXCursor_LastInvalid = CXCursor_InvalidCode,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001209
Douglas Gregor6007cf22010-01-22 22:29:16 +00001210 /* Expressions */
1211 CXCursor_FirstExpr = 100,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001212
Douglas Gregor6007cf22010-01-22 22:29:16 +00001213 /**
1214 * \brief An expression whose specific kind is not exposed via this
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001215 * interface.
Douglas Gregor6007cf22010-01-22 22:29:16 +00001216 *
1217 * Unexposed expressions have the same operations as any other kind
1218 * of expression; one can extract their location information,
1219 * spelling, children, etc. However, the specific kind of the
1220 * expression is not reported.
1221 */
1222 CXCursor_UnexposedExpr = 100,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001223
Douglas Gregor6007cf22010-01-22 22:29:16 +00001224 /**
1225 * \brief An expression that refers to some value declaration, such
1226 * as a function, varible, or enumerator.
1227 */
1228 CXCursor_DeclRefExpr = 101,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001229
Douglas Gregor6007cf22010-01-22 22:29:16 +00001230 /**
1231 * \brief An expression that refers to a member of a struct, union,
1232 * class, Objective-C class, etc.
1233 */
1234 CXCursor_MemberRefExpr = 102,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001235
Douglas Gregor6007cf22010-01-22 22:29:16 +00001236 /** \brief An expression that calls a function. */
1237 CXCursor_CallExpr = 103,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001238
Douglas Gregor6007cf22010-01-22 22:29:16 +00001239 /** \brief An expression that sends a message to an Objective-C
1240 object or class. */
1241 CXCursor_ObjCMessageExpr = 104,
Ted Kremenek33b9a422010-04-11 21:47:37 +00001242
1243 /** \brief An expression that represents a block literal. */
1244 CXCursor_BlockExpr = 105,
1245
1246 CXCursor_LastExpr = 105,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001247
Douglas Gregor6007cf22010-01-22 22:29:16 +00001248 /* Statements */
1249 CXCursor_FirstStmt = 200,
1250 /**
1251 * \brief A statement whose specific kind is not exposed via this
1252 * interface.
1253 *
1254 * Unexposed statements have the same operations as any other kind of
1255 * statement; one can extract their location information, spelling,
1256 * children, etc. However, the specific kind of the statement is not
1257 * reported.
1258 */
1259 CXCursor_UnexposedStmt = 200,
Douglas Gregora93ab662010-09-10 00:22:18 +00001260
1261 /** \brief A labelled statement in a function.
1262 *
1263 * This cursor kind is used to describe the "start_over:" label statement in
1264 * the following example:
1265 *
1266 * \code
1267 * start_over:
1268 * ++counter;
1269 * \endcode
1270 *
1271 */
1272 CXCursor_LabelStmt = 201,
1273
1274 CXCursor_LastStmt = CXCursor_LabelStmt,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001275
Douglas Gregor6007cf22010-01-22 22:29:16 +00001276 /**
1277 * \brief Cursor that represents the translation unit itself.
1278 *
1279 * The translation unit cursor exists primarily to act as the root
1280 * cursor for traversing the contents of a translation unit.
1281 */
Ted Kremenekbff31432010-02-18 03:09:07 +00001282 CXCursor_TranslationUnit = 300,
1283
1284 /* Attributes */
1285 CXCursor_FirstAttr = 400,
1286 /**
1287 * \brief An attribute whose specific kind is not exposed via this
1288 * interface.
1289 */
1290 CXCursor_UnexposedAttr = 400,
1291
1292 CXCursor_IBActionAttr = 401,
1293 CXCursor_IBOutletAttr = 402,
Ted Kremenek26bde772010-05-19 17:38:06 +00001294 CXCursor_IBOutletCollectionAttr = 403,
1295 CXCursor_LastAttr = CXCursor_IBOutletCollectionAttr,
Douglas Gregor92a524f2010-03-18 00:42:48 +00001296
1297 /* Preprocessing */
1298 CXCursor_PreprocessingDirective = 500,
Douglas Gregor06d6d322010-03-18 18:04:21 +00001299 CXCursor_MacroDefinition = 501,
1300 CXCursor_MacroInstantiation = 502,
Douglas Gregor796d76a2010-10-20 22:00:55 +00001301 CXCursor_InclusionDirective = 503,
Douglas Gregor92a524f2010-03-18 00:42:48 +00001302 CXCursor_FirstPreprocessing = CXCursor_PreprocessingDirective,
Douglas Gregor796d76a2010-10-20 22:00:55 +00001303 CXCursor_LastPreprocessing = CXCursor_InclusionDirective
Douglas Gregor6007cf22010-01-22 22:29:16 +00001304};
1305
1306/**
1307 * \brief A cursor representing some element in the abstract syntax tree for
1308 * a translation unit.
1309 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001310 * The cursor abstraction unifies the different kinds of entities in a
Douglas Gregor6007cf22010-01-22 22:29:16 +00001311 * program--declaration, statements, expressions, references to declarations,
1312 * etc.--under a single "cursor" abstraction with a common set of operations.
1313 * Common operation for a cursor include: getting the physical location in
1314 * a source file where the cursor points, getting the name associated with a
1315 * cursor, and retrieving cursors for any child nodes of a particular cursor.
1316 *
1317 * Cursors can be produced in two specific ways.
1318 * clang_getTranslationUnitCursor() produces a cursor for a translation unit,
1319 * from which one can use clang_visitChildren() to explore the rest of the
1320 * translation unit. clang_getCursor() maps from a physical source location
1321 * to the entity that resides at that location, allowing one to map from the
1322 * source code into the AST.
1323 */
1324typedef struct {
1325 enum CXCursorKind kind;
1326 void *data[3];
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001327} CXCursor;
Douglas Gregor6007cf22010-01-22 22:29:16 +00001328
1329/**
1330 * \defgroup CINDEX_CURSOR_MANIP Cursor manipulations
1331 *
1332 * @{
1333 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001334
Douglas Gregor6007cf22010-01-22 22:29:16 +00001335/**
1336 * \brief Retrieve the NULL cursor, which represents no entity.
1337 */
1338CINDEX_LINKAGE CXCursor clang_getNullCursor(void);
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001339
Douglas Gregor6007cf22010-01-22 22:29:16 +00001340/**
1341 * \brief Retrieve the cursor that represents the given translation unit.
1342 *
1343 * The translation unit cursor can be used to start traversing the
1344 * various declarations within the given translation unit.
1345 */
1346CINDEX_LINKAGE CXCursor clang_getTranslationUnitCursor(CXTranslationUnit);
1347
1348/**
1349 * \brief Determine whether two cursors are equivalent.
1350 */
1351CINDEX_LINKAGE unsigned clang_equalCursors(CXCursor, CXCursor);
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001352
Douglas Gregor6007cf22010-01-22 22:29:16 +00001353/**
Douglas Gregor06a3f302010-11-20 00:09:34 +00001354 * \brief Compute a hash value for the given cursor.
1355 */
1356CINDEX_LINKAGE unsigned clang_hashCursor(CXCursor);
1357
1358/**
Douglas Gregor6007cf22010-01-22 22:29:16 +00001359 * \brief Retrieve the kind of the given cursor.
1360 */
1361CINDEX_LINKAGE enum CXCursorKind clang_getCursorKind(CXCursor);
1362
1363/**
1364 * \brief Determine whether the given cursor kind represents a declaration.
1365 */
1366CINDEX_LINKAGE unsigned clang_isDeclaration(enum CXCursorKind);
1367
1368/**
1369 * \brief Determine whether the given cursor kind represents a simple
1370 * reference.
1371 *
1372 * Note that other kinds of cursors (such as expressions) can also refer to
1373 * other cursors. Use clang_getCursorReferenced() to determine whether a
1374 * particular cursor refers to another entity.
1375 */
1376CINDEX_LINKAGE unsigned clang_isReference(enum CXCursorKind);
1377
1378/**
1379 * \brief Determine whether the given cursor kind represents an expression.
1380 */
1381CINDEX_LINKAGE unsigned clang_isExpression(enum CXCursorKind);
1382
1383/**
1384 * \brief Determine whether the given cursor kind represents a statement.
1385 */
1386CINDEX_LINKAGE unsigned clang_isStatement(enum CXCursorKind);
1387
1388/**
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001389 * \brief Determine whether the given cursor kind represents an invalid
Douglas Gregor6007cf22010-01-22 22:29:16 +00001390 * cursor.
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001391 */
Douglas Gregor6007cf22010-01-22 22:29:16 +00001392CINDEX_LINKAGE unsigned clang_isInvalid(enum CXCursorKind);
1393
1394/**
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001395 * \brief Determine whether the given cursor kind represents a translation
1396 * unit.
Douglas Gregor6007cf22010-01-22 22:29:16 +00001397 */
1398CINDEX_LINKAGE unsigned clang_isTranslationUnit(enum CXCursorKind);
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001399
Ted Kremenekff9021b2010-03-08 21:17:29 +00001400/***
Douglas Gregor92a524f2010-03-18 00:42:48 +00001401 * \brief Determine whether the given cursor represents a preprocessing
1402 * element, such as a preprocessor directive or macro instantiation.
1403 */
1404CINDEX_LINKAGE unsigned clang_isPreprocessing(enum CXCursorKind);
1405
1406/***
Ted Kremenekff9021b2010-03-08 21:17:29 +00001407 * \brief Determine whether the given cursor represents a currently
1408 * unexposed piece of the AST (e.g., CXCursor_UnexposedStmt).
1409 */
1410CINDEX_LINKAGE unsigned clang_isUnexposed(enum CXCursorKind);
1411
Douglas Gregor6007cf22010-01-22 22:29:16 +00001412/**
Ted Kremenekfb4961d2010-03-03 06:36:57 +00001413 * \brief Describe the linkage of the entity referred to by a cursor.
1414 */
1415enum CXLinkageKind {
1416 /** \brief This value indicates that no linkage information is available
1417 * for a provided CXCursor. */
1418 CXLinkage_Invalid,
1419 /**
1420 * \brief This is the linkage for variables, parameters, and so on that
1421 * have automatic storage. This covers normal (non-extern) local variables.
1422 */
1423 CXLinkage_NoLinkage,
1424 /** \brief This is the linkage for static variables and static functions. */
1425 CXLinkage_Internal,
1426 /** \brief This is the linkage for entities with external linkage that live
1427 * in C++ anonymous namespaces.*/
1428 CXLinkage_UniqueExternal,
1429 /** \brief This is the linkage for entities with true, external linkage. */
1430 CXLinkage_External
1431};
1432
1433/**
Ted Kremenek4ed29252010-04-12 21:22:16 +00001434 * \brief Determine the linkage of the entity referred to by a given cursor.
Ted Kremenekfb4961d2010-03-03 06:36:57 +00001435 */
1436CINDEX_LINKAGE enum CXLinkageKind clang_getCursorLinkage(CXCursor cursor);
1437
1438/**
Douglas Gregorf757a122010-08-23 23:00:57 +00001439 * \brief Determine the availability of the entity that this cursor refers to.
1440 *
1441 * \param cursor The cursor to query.
1442 *
1443 * \returns The availability of the cursor.
1444 */
1445CINDEX_LINKAGE enum CXAvailabilityKind
1446clang_getCursorAvailability(CXCursor cursor);
1447
1448/**
Ted Kremenek4ed29252010-04-12 21:22:16 +00001449 * \brief Describe the "language" of the entity referred to by a cursor.
1450 */
1451CINDEX_LINKAGE enum CXLanguageKind {
Ted Kremenekee457512010-04-14 20:58:32 +00001452 CXLanguage_Invalid = 0,
Ted Kremenek4ed29252010-04-12 21:22:16 +00001453 CXLanguage_C,
1454 CXLanguage_ObjC,
Ted Kremenekee457512010-04-14 20:58:32 +00001455 CXLanguage_CPlusPlus
Ted Kremenek4ed29252010-04-12 21:22:16 +00001456};
1457
1458/**
1459 * \brief Determine the "language" of the entity referred to by a given cursor.
1460 */
1461CINDEX_LINKAGE enum CXLanguageKind clang_getCursorLanguage(CXCursor cursor);
1462
Ted Kremenekbbedd062010-12-08 23:43:14 +00001463
1464/**
1465 * \brief A fast container representing a set of CXCursors.
1466 */
1467typedef struct CXCursorSetImpl *CXCursorSet;
1468
1469/**
1470 * \brief Creates an empty CXCursorSet.
1471 */
1472CINDEX_LINKAGE CXCursorSet clang_createCXCursorSet();
1473
1474/**
1475 * \brief Disposes a CXCursorSet and releases its associated memory.
1476 */
1477CINDEX_LINKAGE void clang_disposeCXCursorSet(CXCursorSet cset);
1478
1479/**
1480 * \brief Queries a CXCursorSet to see if it contains a specific CXCursor.
1481 *
1482 * \returns non-zero if the set contains the specified cursor.
1483*/
1484CINDEX_LINKAGE unsigned clang_CXCursorSet_contains(CXCursorSet cset,
1485 CXCursor cursor);
1486
1487/**
1488 * \brief Inserts a CXCursor into a CXCursorSet.
1489 *
1490 * \returns zero if the CXCursor was already in the set, and non-zero otherwise.
1491*/
1492CINDEX_LINKAGE unsigned clang_CXCursorSet_insert(CXCursorSet cset,
1493 CXCursor cursor);
1494
Douglas Gregor0576ce72010-09-22 21:22:29 +00001495/**
1496 * \brief Determine the semantic parent of the given cursor.
1497 *
1498 * The semantic parent of a cursor is the cursor that semantically contains
1499 * the given \p cursor. For many declarations, the lexical and semantic parents
1500 * are equivalent (the lexical parent is returned by
1501 * \c clang_getCursorLexicalParent()). They diverge when declarations or
1502 * definitions are provided out-of-line. For example:
1503 *
1504 * \code
1505 * class C {
1506 * void f();
1507 * };
1508 *
1509 * void C::f() { }
1510 * \endcode
1511 *
1512 * In the out-of-line definition of \c C::f, the semantic parent is the
1513 * the class \c C, of which this function is a member. The lexical parent is
1514 * the place where the declaration actually occurs in the source code; in this
1515 * case, the definition occurs in the translation unit. In general, the
1516 * lexical parent for a given entity can change without affecting the semantics
1517 * of the program, and the lexical parent of different declarations of the
1518 * same entity may be different. Changing the semantic parent of a declaration,
1519 * on the other hand, can have a major impact on semantics, and redeclarations
1520 * of a particular entity should all have the same semantic context.
1521 *
1522 * In the example above, both declarations of \c C::f have \c C as their
1523 * semantic context, while the lexical context of the first \c C::f is \c C
1524 * and the lexical context of the second \c C::f is the translation unit.
Douglas Gregor7ecd19e2010-12-21 07:55:45 +00001525 *
1526 * For global declarations, the semantic parent is the translation unit.
Douglas Gregor0576ce72010-09-22 21:22:29 +00001527 */
1528CINDEX_LINKAGE CXCursor clang_getCursorSemanticParent(CXCursor cursor);
1529
1530/**
1531 * \brief Determine the lexical parent of the given cursor.
1532 *
1533 * The lexical parent of a cursor is the cursor in which the given \p cursor
1534 * was actually written. For many declarations, the lexical and semantic parents
1535 * are equivalent (the semantic parent is returned by
1536 * \c clang_getCursorSemanticParent()). They diverge when declarations or
1537 * definitions are provided out-of-line. For example:
1538 *
1539 * \code
1540 * class C {
1541 * void f();
1542 * };
1543 *
1544 * void C::f() { }
1545 * \endcode
1546 *
1547 * In the out-of-line definition of \c C::f, the semantic parent is the
1548 * the class \c C, of which this function is a member. The lexical parent is
1549 * the place where the declaration actually occurs in the source code; in this
1550 * case, the definition occurs in the translation unit. In general, the
1551 * lexical parent for a given entity can change without affecting the semantics
1552 * of the program, and the lexical parent of different declarations of the
1553 * same entity may be different. Changing the semantic parent of a declaration,
1554 * on the other hand, can have a major impact on semantics, and redeclarations
1555 * of a particular entity should all have the same semantic context.
1556 *
1557 * In the example above, both declarations of \c C::f have \c C as their
1558 * semantic context, while the lexical context of the first \c C::f is \c C
1559 * and the lexical context of the second \c C::f is the translation unit.
Douglas Gregor7ecd19e2010-12-21 07:55:45 +00001560 *
1561 * For declarations written in the global scope, the lexical parent is
1562 * the translation unit.
Douglas Gregor0576ce72010-09-22 21:22:29 +00001563 */
1564CINDEX_LINKAGE CXCursor clang_getCursorLexicalParent(CXCursor cursor);
Douglas Gregor99a26af2010-10-01 20:25:15 +00001565
1566/**
1567 * \brief Determine the set of methods that are overridden by the given
1568 * method.
1569 *
1570 * In both Objective-C and C++, a method (aka virtual member function,
1571 * in C++) can override a virtual method in a base class. For
1572 * Objective-C, a method is said to override any method in the class's
1573 * interface (if we're coming from an implementation), its protocols,
1574 * or its categories, that has the same selector and is of the same
1575 * kind (class or instance). If no such method exists, the search
1576 * continues to the class's superclass, its protocols, and its
1577 * categories, and so on.
1578 *
1579 * For C++, a virtual member function overrides any virtual member
1580 * function with the same signature that occurs in its base
1581 * classes. With multiple inheritance, a virtual member function can
1582 * override several virtual member functions coming from different
1583 * base classes.
1584 *
1585 * In all cases, this function determines the immediate overridden
1586 * method, rather than all of the overridden methods. For example, if
1587 * a method is originally declared in a class A, then overridden in B
1588 * (which in inherits from A) and also in C (which inherited from B),
1589 * then the only overridden method returned from this function when
1590 * invoked on C's method will be B's method. The client may then
1591 * invoke this function again, given the previously-found overridden
1592 * methods, to map out the complete method-override set.
1593 *
1594 * \param cursor A cursor representing an Objective-C or C++
1595 * method. This routine will compute the set of methods that this
1596 * method overrides.
1597 *
1598 * \param overridden A pointer whose pointee will be replaced with a
1599 * pointer to an array of cursors, representing the set of overridden
1600 * methods. If there are no overridden methods, the pointee will be
1601 * set to NULL. The pointee must be freed via a call to
1602 * \c clang_disposeOverriddenCursors().
1603 *
1604 * \param num_overridden A pointer to the number of overridden
1605 * functions, will be set to the number of overridden functions in the
1606 * array pointed to by \p overridden.
1607 */
1608CINDEX_LINKAGE void clang_getOverriddenCursors(CXCursor cursor,
1609 CXCursor **overridden,
1610 unsigned *num_overridden);
1611
1612/**
1613 * \brief Free the set of overridden cursors returned by \c
1614 * clang_getOverriddenCursors().
1615 */
1616CINDEX_LINKAGE void clang_disposeOverriddenCursors(CXCursor *overridden);
1617
Ted Kremenek4ed29252010-04-12 21:22:16 +00001618/**
Douglas Gregor796d76a2010-10-20 22:00:55 +00001619 * \brief Retrieve the file that is included by the given inclusion directive
1620 * cursor.
1621 */
1622CINDEX_LINKAGE CXFile clang_getIncludedFile(CXCursor cursor);
1623
1624/**
Douglas Gregor6007cf22010-01-22 22:29:16 +00001625 * @}
1626 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001627
Douglas Gregor6007cf22010-01-22 22:29:16 +00001628/**
1629 * \defgroup CINDEX_CURSOR_SOURCE Mapping between cursors and source code
1630 *
1631 * Cursors represent a location within the Abstract Syntax Tree (AST). These
1632 * routines help map between cursors and the physical locations where the
1633 * described entities occur in the source code. The mapping is provided in
1634 * both directions, so one can map from source code to the AST and back.
1635 *
1636 * @{
Steve Naroffa1c72842009-08-28 15:28:48 +00001637 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001638
Steve Naroff20bad0b2009-10-21 13:56:23 +00001639/**
Douglas Gregor816fd362010-01-22 21:44:22 +00001640 * \brief Map a source location to the cursor that describes the entity at that
1641 * location in the source code.
1642 *
1643 * clang_getCursor() maps an arbitrary source location within a translation
1644 * unit down to the most specific cursor that describes the entity at that
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001645 * location. For example, given an expression \c x + y, invoking
Douglas Gregor816fd362010-01-22 21:44:22 +00001646 * clang_getCursor() with a source location pointing to "x" will return the
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001647 * cursor for "x"; similarly for "y". If the cursor points anywhere between
Douglas Gregor816fd362010-01-22 21:44:22 +00001648 * "x" or "y" (e.g., on the + or the whitespace around it), clang_getCursor()
1649 * will return a cursor referring to the "+" expression.
1650 *
1651 * \returns a cursor representing the entity at the given source location, or
1652 * a NULL cursor if no such entity can be found.
Steve Naroff20bad0b2009-10-21 13:56:23 +00001653 */
Douglas Gregor816fd362010-01-22 21:44:22 +00001654CINDEX_LINKAGE CXCursor clang_getCursor(CXTranslationUnit, CXSourceLocation);
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001655
Douglas Gregor66a58812010-01-18 22:46:11 +00001656/**
1657 * \brief Retrieve the physical location of the source constructor referenced
1658 * by the given cursor.
1659 *
1660 * The location of a declaration is typically the location of the name of that
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001661 * declaration, where the name of that declaration would occur if it is
1662 * unnamed, or some keyword that introduces that particular declaration.
1663 * The location of a reference is where that reference occurs within the
Douglas Gregor66a58812010-01-18 22:46:11 +00001664 * source code.
1665 */
1666CINDEX_LINKAGE CXSourceLocation clang_getCursorLocation(CXCursor);
Douglas Gregor6007cf22010-01-22 22:29:16 +00001667
Douglas Gregor6b8232f2010-01-19 19:34:47 +00001668/**
1669 * \brief Retrieve the physical extent of the source construct referenced by
Douglas Gregor33c34ac2010-01-19 00:34:46 +00001670 * the given cursor.
1671 *
1672 * The extent of a cursor starts with the file/line/column pointing at the
1673 * first character within the source construct that the cursor refers to and
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001674 * ends with the last character withinin that source construct. For a
Douglas Gregor33c34ac2010-01-19 00:34:46 +00001675 * declaration, the extent covers the declaration itself. For a reference,
1676 * the extent covers the location of the reference (e.g., where the referenced
1677 * entity was actually used).
1678 */
1679CINDEX_LINKAGE CXSourceRange clang_getCursorExtent(CXCursor);
Douglas Gregorad27e8b2010-01-19 01:20:04 +00001680
Douglas Gregor6007cf22010-01-22 22:29:16 +00001681/**
1682 * @}
1683 */
Ted Kremeneka5940822010-08-26 01:42:22 +00001684
Douglas Gregor6007cf22010-01-22 22:29:16 +00001685/**
Ted Kremenek6bca9842010-05-14 21:29:26 +00001686 * \defgroup CINDEX_TYPES Type information for CXCursors
1687 *
1688 * @{
1689 */
1690
1691/**
1692 * \brief Describes the kind of type
1693 */
1694enum CXTypeKind {
1695 /**
1696 * \brief Reprents an invalid type (e.g., where no type is available).
1697 */
1698 CXType_Invalid = 0,
1699
1700 /**
1701 * \brief A type whose specific kind is not exposed via this
1702 * interface.
1703 */
1704 CXType_Unexposed = 1,
1705
1706 /* Builtin types */
1707 CXType_Void = 2,
1708 CXType_Bool = 3,
1709 CXType_Char_U = 4,
1710 CXType_UChar = 5,
1711 CXType_Char16 = 6,
1712 CXType_Char32 = 7,
1713 CXType_UShort = 8,
1714 CXType_UInt = 9,
1715 CXType_ULong = 10,
1716 CXType_ULongLong = 11,
1717 CXType_UInt128 = 12,
1718 CXType_Char_S = 13,
1719 CXType_SChar = 14,
1720 CXType_WChar = 15,
1721 CXType_Short = 16,
1722 CXType_Int = 17,
1723 CXType_Long = 18,
1724 CXType_LongLong = 19,
1725 CXType_Int128 = 20,
1726 CXType_Float = 21,
1727 CXType_Double = 22,
1728 CXType_LongDouble = 23,
1729 CXType_NullPtr = 24,
1730 CXType_Overload = 25,
1731 CXType_Dependent = 26,
1732 CXType_ObjCId = 27,
1733 CXType_ObjCClass = 28,
1734 CXType_ObjCSel = 29,
1735 CXType_FirstBuiltin = CXType_Void,
1736 CXType_LastBuiltin = CXType_ObjCSel,
1737
1738 CXType_Complex = 100,
1739 CXType_Pointer = 101,
1740 CXType_BlockPointer = 102,
1741 CXType_LValueReference = 103,
1742 CXType_RValueReference = 104,
1743 CXType_Record = 105,
1744 CXType_Enum = 106,
1745 CXType_Typedef = 107,
1746 CXType_ObjCInterface = 108,
Ted Kremenekc1508872010-06-21 20:15:39 +00001747 CXType_ObjCObjectPointer = 109,
1748 CXType_FunctionNoProto = 110,
1749 CXType_FunctionProto = 111
Ted Kremenek6bca9842010-05-14 21:29:26 +00001750};
1751
1752/**
1753 * \brief The type of an element in the abstract syntax tree.
1754 *
1755 */
1756typedef struct {
1757 enum CXTypeKind kind;
1758 void *data[2];
1759} CXType;
1760
1761/**
1762 * \brief Retrieve the type of a CXCursor (if any).
1763 */
1764CINDEX_LINKAGE CXType clang_getCursorType(CXCursor C);
1765
1766/**
1767 * \determine Determine whether two CXTypes represent the same type.
1768 *
1769 * \returns non-zero if the CXTypes represent the same type and
1770 zero otherwise.
1771 */
1772CINDEX_LINKAGE unsigned clang_equalTypes(CXType A, CXType B);
1773
1774/**
1775 * \brief Return the canonical type for a CXType.
1776 *
1777 * Clang's type system explicitly models typedefs and all the ways
1778 * a specific type can be represented. The canonical type is the underlying
1779 * type with all the "sugar" removed. For example, if 'T' is a typedef
1780 * for 'int', the canonical type for 'T' would be 'int'.
1781 */
1782CINDEX_LINKAGE CXType clang_getCanonicalType(CXType T);
1783
1784/**
Douglas Gregor56a63802011-01-27 16:27:11 +00001785 * \determine Determine whether a CXType has the "const" qualifier set,
1786 * without looking through typedefs that may have added "const" at a different level.
1787 */
1788CINDEX_LINKAGE unsigned clang_isConstQualifiedType(CXType T);
1789
1790/**
1791 * \determine Determine whether a CXType has the "volatile" qualifier set,
1792 * without looking through typedefs that may have added "volatile" at a different level.
1793 */
1794CINDEX_LINKAGE unsigned clang_isVolatileQualifiedType(CXType T);
1795
1796/**
1797 * \determine Determine whether a CXType has the "restrict" qualifier set,
1798 * without looking through typedefs that may have added "restrict" at a different level.
1799 */
1800CINDEX_LINKAGE unsigned clang_isRestrictQualifiedType(CXType T);
1801
1802/**
Ted Kremenek6bca9842010-05-14 21:29:26 +00001803 * \brief For pointer types, returns the type of the pointee.
1804 *
1805 */
1806CINDEX_LINKAGE CXType clang_getPointeeType(CXType T);
1807
1808/**
1809 * \brief Return the cursor for the declaration of the given type.
1810 */
1811CINDEX_LINKAGE CXCursor clang_getTypeDeclaration(CXType T);
1812
David Chisnall50e4eba2010-12-30 14:05:53 +00001813/**
1814 * Returns the Objective-C type encoding for the specified declaration.
1815 */
1816CINDEX_LINKAGE CXString clang_getDeclObjCTypeEncoding(CXCursor C);
Ted Kremenek6bca9842010-05-14 21:29:26 +00001817
1818/**
1819 * \brief Retrieve the spelling of a given CXTypeKind.
1820 */
1821CINDEX_LINKAGE CXString clang_getTypeKindSpelling(enum CXTypeKind K);
1822
1823/**
Ted Kremenekc62ab8d2010-06-21 20:48:56 +00001824 * \brief Retrieve the result type associated with a function type.
Ted Kremenekc1508872010-06-21 20:15:39 +00001825 */
1826CINDEX_LINKAGE CXType clang_getResultType(CXType T);
1827
1828/**
Ted Kremenekc62ab8d2010-06-21 20:48:56 +00001829 * \brief Retrieve the result type associated with a given cursor. This only
1830 * returns a valid type of the cursor refers to a function or method.
1831 */
1832CINDEX_LINKAGE CXType clang_getCursorResultType(CXCursor C);
1833
1834/**
Ted Kremenek0c7476a2010-07-30 00:14:11 +00001835 * \brief Return 1 if the CXType is a POD (plain old data) type, and 0
1836 * otherwise.
1837 */
1838CINDEX_LINKAGE unsigned clang_isPODType(CXType T);
1839
1840/**
Ted Kremenekae9e2212010-08-27 21:34:58 +00001841 * \brief Returns 1 if the base class specified by the cursor with kind
1842 * CX_CXXBaseSpecifier is virtual.
1843 */
1844CINDEX_LINKAGE unsigned clang_isVirtualBase(CXCursor);
1845
1846/**
1847 * \brief Represents the C++ access control level to a base class for a
1848 * cursor with kind CX_CXXBaseSpecifier.
1849 */
1850enum CX_CXXAccessSpecifier {
1851 CX_CXXInvalidAccessSpecifier,
1852 CX_CXXPublic,
1853 CX_CXXProtected,
1854 CX_CXXPrivate
1855};
1856
1857/**
1858 * \brief Returns the access control level for the C++ base specifier
1859 * represented by a cursor with kind CX_CXXBaseSpecifier.
1860 */
1861CINDEX_LINKAGE enum CX_CXXAccessSpecifier clang_getCXXAccessSpecifier(CXCursor);
1862
1863/**
Douglas Gregor16a2bdd2010-09-13 22:52:57 +00001864 * \brief Determine the number of overloaded declarations referenced by a
1865 * \c CXCursor_OverloadedDeclRef cursor.
1866 *
1867 * \param cursor The cursor whose overloaded declarations are being queried.
1868 *
1869 * \returns The number of overloaded declarations referenced by \c cursor. If it
1870 * is not a \c CXCursor_OverloadedDeclRef cursor, returns 0.
1871 */
1872CINDEX_LINKAGE unsigned clang_getNumOverloadedDecls(CXCursor cursor);
1873
1874/**
1875 * \brief Retrieve a cursor for one of the overloaded declarations referenced
1876 * by a \c CXCursor_OverloadedDeclRef cursor.
1877 *
1878 * \param cursor The cursor whose overloaded declarations are being queried.
1879 *
1880 * \param index The zero-based index into the set of overloaded declarations in
1881 * the cursor.
1882 *
1883 * \returns A cursor representing the declaration referenced by the given
1884 * \c cursor at the specified \c index. If the cursor does not have an
1885 * associated set of overloaded declarations, or if the index is out of bounds,
1886 * returns \c clang_getNullCursor();
1887 */
1888CINDEX_LINKAGE CXCursor clang_getOverloadedDecl(CXCursor cursor,
1889 unsigned index);
1890
1891/**
Ted Kremenek6bca9842010-05-14 21:29:26 +00001892 * @}
1893 */
Ted Kremeneka5940822010-08-26 01:42:22 +00001894
1895/**
Ted Kremenek2c2c5f32010-08-27 21:34:51 +00001896 * \defgroup CINDEX_ATTRIBUTES Information for attributes
Ted Kremeneka5940822010-08-26 01:42:22 +00001897 *
1898 * @{
1899 */
1900
1901
1902/**
1903 * \brief For cursors representing an iboutletcollection attribute,
1904 * this function returns the collection element type.
1905 *
1906 */
1907CINDEX_LINKAGE CXType clang_getIBOutletCollectionType(CXCursor);
1908
1909/**
1910 * @}
1911 */
Ted Kremenek6bca9842010-05-14 21:29:26 +00001912
1913/**
Douglas Gregor6007cf22010-01-22 22:29:16 +00001914 * \defgroup CINDEX_CURSOR_TRAVERSAL Traversing the AST with cursors
1915 *
1916 * These routines provide the ability to traverse the abstract syntax tree
1917 * using cursors.
1918 *
1919 * @{
1920 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001921
Douglas Gregor6007cf22010-01-22 22:29:16 +00001922/**
1923 * \brief Describes how the traversal of the children of a particular
1924 * cursor should proceed after visiting a particular child cursor.
1925 *
1926 * A value of this enumeration type should be returned by each
1927 * \c CXCursorVisitor to indicate how clang_visitChildren() proceed.
1928 */
1929enum CXChildVisitResult {
1930 /**
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001931 * \brief Terminates the cursor traversal.
Douglas Gregor6007cf22010-01-22 22:29:16 +00001932 */
1933 CXChildVisit_Break,
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001934 /**
Douglas Gregor6007cf22010-01-22 22:29:16 +00001935 * \brief Continues the cursor traversal with the next sibling of
1936 * the cursor just visited, without visiting its children.
1937 */
1938 CXChildVisit_Continue,
1939 /**
1940 * \brief Recursively traverse the children of this cursor, using
1941 * the same visitor and client data.
1942 */
1943 CXChildVisit_Recurse
1944};
1945
1946/**
1947 * \brief Visitor invoked for each cursor found by a traversal.
1948 *
1949 * This visitor function will be invoked for each cursor found by
1950 * clang_visitCursorChildren(). Its first argument is the cursor being
1951 * visited, its second argument is the parent visitor for that cursor,
1952 * and its third argument is the client data provided to
1953 * clang_visitCursorChildren().
1954 *
1955 * The visitor should return one of the \c CXChildVisitResult values
1956 * to direct clang_visitCursorChildren().
1957 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001958typedef enum CXChildVisitResult (*CXCursorVisitor)(CXCursor cursor,
1959 CXCursor parent,
Douglas Gregor6007cf22010-01-22 22:29:16 +00001960 CXClientData client_data);
1961
1962/**
1963 * \brief Visit the children of a particular cursor.
1964 *
1965 * This function visits all the direct children of the given cursor,
1966 * invoking the given \p visitor function with the cursors of each
1967 * visited child. The traversal may be recursive, if the visitor returns
1968 * \c CXChildVisit_Recurse. The traversal may also be ended prematurely, if
1969 * the visitor returns \c CXChildVisit_Break.
1970 *
Douglas Gregor6007cf22010-01-22 22:29:16 +00001971 * \param parent the cursor whose child may be visited. All kinds of
Daniel Dunbarb9999fd2010-01-24 04:10:31 +00001972 * cursors can be visited, including invalid cursors (which, by
Douglas Gregor6007cf22010-01-22 22:29:16 +00001973 * definition, have no children).
1974 *
1975 * \param visitor the visitor function that will be invoked for each
1976 * child of \p parent.
1977 *
1978 * \param client_data pointer data supplied by the client, which will
1979 * be passed to the visitor each time it is invoked.
1980 *
1981 * \returns a non-zero value if the traversal was terminated
1982 * prematurely by the visitor returning \c CXChildVisit_Break.
1983 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00001984CINDEX_LINKAGE unsigned clang_visitChildren(CXCursor parent,
Douglas Gregor6007cf22010-01-22 22:29:16 +00001985 CXCursorVisitor visitor,
1986 CXClientData client_data);
David Chisnallb2aa0ef2010-11-03 14:12:26 +00001987#ifdef __has_feature
1988# if __has_feature(blocks)
1989/**
1990 * \brief Visitor invoked for each cursor found by a traversal.
1991 *
1992 * This visitor block will be invoked for each cursor found by
1993 * clang_visitChildrenWithBlock(). Its first argument is the cursor being
1994 * visited, its second argument is the parent visitor for that cursor.
1995 *
1996 * The visitor should return one of the \c CXChildVisitResult values
1997 * to direct clang_visitChildrenWithBlock().
1998 */
1999typedef enum CXChildVisitResult
2000 (^CXCursorVisitorBlock)(CXCursor cursor, CXCursor parent);
2001
2002/**
2003 * Visits the children of a cursor using the specified block. Behaves
2004 * identically to clang_visitChildren() in all other respects.
2005 */
2006unsigned clang_visitChildrenWithBlock(CXCursor parent,
2007 CXCursorVisitorBlock block);
2008# endif
2009#endif
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002010
Douglas Gregor6007cf22010-01-22 22:29:16 +00002011/**
2012 * @}
2013 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002014
Douglas Gregor6007cf22010-01-22 22:29:16 +00002015/**
2016 * \defgroup CINDEX_CURSOR_XREF Cross-referencing in the AST
2017 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002018 * These routines provide the ability to determine references within and
Douglas Gregor6007cf22010-01-22 22:29:16 +00002019 * across translation units, by providing the names of the entities referenced
2020 * by cursors, follow reference cursors to the declarations they reference,
2021 * and associate declarations with their definitions.
2022 *
2023 * @{
2024 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002025
Douglas Gregor6007cf22010-01-22 22:29:16 +00002026/**
2027 * \brief Retrieve a Unified Symbol Resolution (USR) for the entity referenced
2028 * by the given cursor.
2029 *
2030 * A Unified Symbol Resolution (USR) is a string that identifies a particular
2031 * entity (function, class, variable, etc.) within a program. USRs can be
2032 * compared across translation units to determine, e.g., when references in
2033 * one translation refer to an entity defined in another translation unit.
2034 */
2035CINDEX_LINKAGE CXString clang_getCursorUSR(CXCursor);
2036
2037/**
Ted Kremenekd071c602010-03-13 02:50:34 +00002038 * \brief Construct a USR for a specified Objective-C class.
2039 */
2040CINDEX_LINKAGE CXString clang_constructUSR_ObjCClass(const char *class_name);
2041
2042/**
2043 * \brief Construct a USR for a specified Objective-C category.
2044 */
2045CINDEX_LINKAGE CXString
Ted Kremenekbc1a67b2010-03-15 17:38:58 +00002046 clang_constructUSR_ObjCCategory(const char *class_name,
Ted Kremenekd071c602010-03-13 02:50:34 +00002047 const char *category_name);
2048
2049/**
2050 * \brief Construct a USR for a specified Objective-C protocol.
2051 */
2052CINDEX_LINKAGE CXString
2053 clang_constructUSR_ObjCProtocol(const char *protocol_name);
2054
2055
2056/**
2057 * \brief Construct a USR for a specified Objective-C instance variable and
2058 * the USR for its containing class.
2059 */
2060CINDEX_LINKAGE CXString clang_constructUSR_ObjCIvar(const char *name,
2061 CXString classUSR);
2062
2063/**
2064 * \brief Construct a USR for a specified Objective-C method and
2065 * the USR for its containing class.
2066 */
2067CINDEX_LINKAGE CXString clang_constructUSR_ObjCMethod(const char *name,
2068 unsigned isInstanceMethod,
2069 CXString classUSR);
2070
2071/**
2072 * \brief Construct a USR for a specified Objective-C property and the USR
2073 * for its containing class.
2074 */
2075CINDEX_LINKAGE CXString clang_constructUSR_ObjCProperty(const char *property,
2076 CXString classUSR);
2077
2078/**
Douglas Gregor6007cf22010-01-22 22:29:16 +00002079 * \brief Retrieve a name for the entity referenced by this cursor.
2080 */
2081CINDEX_LINKAGE CXString clang_getCursorSpelling(CXCursor);
2082
Douglas Gregor97c75712010-10-02 22:49:11 +00002083/**
2084 * \brief Retrieve the display name for the entity referenced by this cursor.
2085 *
2086 * The display name contains extra information that helps identify the cursor,
2087 * such as the parameters of a function or template or the arguments of a
2088 * class template specialization.
2089 */
2090CINDEX_LINKAGE CXString clang_getCursorDisplayName(CXCursor);
2091
Douglas Gregorad27e8b2010-01-19 01:20:04 +00002092/** \brief For a cursor that is a reference, retrieve a cursor representing the
2093 * entity that it references.
2094 *
2095 * Reference cursors refer to other entities in the AST. For example, an
2096 * Objective-C superclass reference cursor refers to an Objective-C class.
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002097 * This function produces the cursor for the Objective-C class from the
Douglas Gregorad27e8b2010-01-19 01:20:04 +00002098 * cursor for the superclass reference. If the input cursor is a declaration or
2099 * definition, it returns that declaration or definition unchanged.
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002100 * Otherwise, returns the NULL cursor.
Douglas Gregorad27e8b2010-01-19 01:20:04 +00002101 */
2102CINDEX_LINKAGE CXCursor clang_getCursorReferenced(CXCursor);
Douglas Gregor6b8232f2010-01-19 19:34:47 +00002103
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002104/**
Douglas Gregor6b8232f2010-01-19 19:34:47 +00002105 * \brief For a cursor that is either a reference to or a declaration
2106 * of some entity, retrieve a cursor that describes the definition of
2107 * that entity.
2108 *
2109 * Some entities can be declared multiple times within a translation
2110 * unit, but only one of those declarations can also be a
2111 * definition. For example, given:
2112 *
2113 * \code
2114 * int f(int, int);
2115 * int g(int x, int y) { return f(x, y); }
2116 * int f(int a, int b) { return a + b; }
2117 * int f(int, int);
2118 * \endcode
2119 *
2120 * there are three declarations of the function "f", but only the
2121 * second one is a definition. The clang_getCursorDefinition()
2122 * function will take any cursor pointing to a declaration of "f"
2123 * (the first or fourth lines of the example) or a cursor referenced
2124 * that uses "f" (the call to "f' inside "g") and will return a
2125 * declaration cursor pointing to the definition (the second "f"
2126 * declaration).
2127 *
2128 * If given a cursor for which there is no corresponding definition,
2129 * e.g., because there is no definition of that entity within this
2130 * translation unit, returns a NULL cursor.
2131 */
2132CINDEX_LINKAGE CXCursor clang_getCursorDefinition(CXCursor);
2133
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002134/**
Douglas Gregor6b8232f2010-01-19 19:34:47 +00002135 * \brief Determine whether the declaration pointed to by this cursor
2136 * is also a definition of that entity.
2137 */
2138CINDEX_LINKAGE unsigned clang_isCursorDefinition(CXCursor);
2139
Douglas Gregor6007cf22010-01-22 22:29:16 +00002140/**
Douglas Gregorfec4dc92010-11-19 23:44:15 +00002141 * \brief Retrieve the canonical cursor corresponding to the given cursor.
2142 *
2143 * In the C family of languages, many kinds of entities can be declared several
2144 * times within a single translation unit. For example, a structure type can
2145 * be forward-declared (possibly multiple times) and later defined:
2146 *
2147 * \code
2148 * struct X;
2149 * struct X;
2150 * struct X {
2151 * int member;
2152 * };
2153 * \endcode
2154 *
2155 * The declarations and the definition of \c X are represented by three
2156 * different cursors, all of which are declarations of the same underlying
2157 * entity. One of these cursor is considered the "canonical" cursor, which
2158 * is effectively the representative for the underlying entity. One can
2159 * determine if two cursors are declarations of the same underlying entity by
2160 * comparing their canonical cursors.
2161 *
2162 * \returns The canonical cursor for the entity referred to by the given cursor.
2163 */
2164CINDEX_LINKAGE CXCursor clang_getCanonicalCursor(CXCursor);
2165
2166/**
Douglas Gregor6007cf22010-01-22 22:29:16 +00002167 * @}
2168 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002169
Douglas Gregor6007cf22010-01-22 22:29:16 +00002170/**
Ted Kremenek9cfe9e62010-05-17 20:06:56 +00002171 * \defgroup CINDEX_CPP C++ AST introspection
2172 *
2173 * The routines in this group provide access information in the ASTs specific
2174 * to C++ language features.
2175 *
2176 * @{
2177 */
2178
2179/**
Douglas Gregorf11309e2010-08-31 22:12:17 +00002180 * \brief Determine if a C++ member function or member function template is
2181 * declared 'static'.
Ted Kremenek9cfe9e62010-05-17 20:06:56 +00002182 */
2183CINDEX_LINKAGE unsigned clang_CXXMethod_isStatic(CXCursor C);
2184
2185/**
Douglas Gregorf11309e2010-08-31 22:12:17 +00002186 * \brief Given a cursor that represents a template, determine
2187 * the cursor kind of the specializations would be generated by instantiating
2188 * the template.
2189 *
2190 * This routine can be used to determine what flavor of function template,
2191 * class template, or class template partial specialization is stored in the
2192 * cursor. For example, it can describe whether a class template cursor is
2193 * declared with "struct", "class" or "union".
2194 *
2195 * \param C The cursor to query. This cursor should represent a template
2196 * declaration.
2197 *
2198 * \returns The cursor kind of the specializations that would be generated
2199 * by instantiating the template \p C. If \p C is not a template, returns
2200 * \c CXCursor_NoDeclFound.
2201 */
2202CINDEX_LINKAGE enum CXCursorKind clang_getTemplateCursorKind(CXCursor C);
2203
2204/**
Douglas Gregord3f48bd2010-09-02 00:07:54 +00002205 * \brief Given a cursor that may represent a specialization or instantiation
2206 * of a template, retrieve the cursor that represents the template that it
2207 * specializes or from which it was instantiated.
2208 *
2209 * This routine determines the template involved both for explicit
2210 * specializations of templates and for implicit instantiations of the template,
2211 * both of which are referred to as "specializations". For a class template
2212 * specialization (e.g., \c std::vector<bool>), this routine will return
2213 * either the primary template (\c std::vector) or, if the specialization was
2214 * instantiated from a class template partial specialization, the class template
2215 * partial specialization. For a class template partial specialization and a
2216 * function template specialization (including instantiations), this
2217 * this routine will return the specialized template.
2218 *
2219 * For members of a class template (e.g., member functions, member classes, or
2220 * static data members), returns the specialized or instantiated member.
2221 * Although not strictly "templates" in the C++ language, members of class
2222 * templates have the same notions of specializations and instantiations that
2223 * templates do, so this routine treats them similarly.
2224 *
2225 * \param C A cursor that may be a specialization of a template or a member
2226 * of a template.
2227 *
2228 * \returns If the given cursor is a specialization or instantiation of a
2229 * template or a member thereof, the template or member that it specializes or
2230 * from which it was instantiated. Otherwise, returns a NULL cursor.
2231 */
2232CINDEX_LINKAGE CXCursor clang_getSpecializedCursorTemplate(CXCursor C);
2233
2234/**
Ted Kremenek9cfe9e62010-05-17 20:06:56 +00002235 * @}
2236 */
2237
2238/**
Douglas Gregor61656112010-01-26 18:31:56 +00002239 * \defgroup CINDEX_LEX Token extraction and manipulation
2240 *
2241 * The routines in this group provide access to the tokens within a
2242 * translation unit, along with a semantic mapping of those tokens to
2243 * their corresponding cursors.
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002244 *
2245 * @{
2246 */
2247
2248/**
2249 * \brief Describes a kind of token.
2250 */
2251typedef enum CXTokenKind {
2252 /**
2253 * \brief A token that contains some kind of punctuation.
2254 */
2255 CXToken_Punctuation,
Ted Kremenekd071c602010-03-13 02:50:34 +00002256
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002257 /**
Douglas Gregor61656112010-01-26 18:31:56 +00002258 * \brief A language keyword.
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002259 */
2260 CXToken_Keyword,
Ted Kremenekd071c602010-03-13 02:50:34 +00002261
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002262 /**
2263 * \brief An identifier (that is not a keyword).
2264 */
2265 CXToken_Identifier,
Ted Kremenekd071c602010-03-13 02:50:34 +00002266
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002267 /**
2268 * \brief A numeric, string, or character literal.
2269 */
2270 CXToken_Literal,
Ted Kremenekd071c602010-03-13 02:50:34 +00002271
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002272 /**
2273 * \brief A comment.
2274 */
2275 CXToken_Comment
2276} CXTokenKind;
2277
2278/**
2279 * \brief Describes a single preprocessing token.
2280 */
2281typedef struct {
2282 unsigned int_data[4];
2283 void *ptr_data;
2284} CXToken;
2285
2286/**
2287 * \brief Determine the kind of the given token.
2288 */
2289CINDEX_LINKAGE CXTokenKind clang_getTokenKind(CXToken);
Ted Kremenekd071c602010-03-13 02:50:34 +00002290
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002291/**
2292 * \brief Determine the spelling of the given token.
2293 *
2294 * The spelling of a token is the textual representation of that token, e.g.,
2295 * the text of an identifier or keyword.
2296 */
2297CINDEX_LINKAGE CXString clang_getTokenSpelling(CXTranslationUnit, CXToken);
Ted Kremenekd071c602010-03-13 02:50:34 +00002298
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002299/**
2300 * \brief Retrieve the source location of the given token.
2301 */
Ted Kremenekd071c602010-03-13 02:50:34 +00002302CINDEX_LINKAGE CXSourceLocation clang_getTokenLocation(CXTranslationUnit,
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002303 CXToken);
Ted Kremenekd071c602010-03-13 02:50:34 +00002304
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002305/**
2306 * \brief Retrieve a source range that covers the given token.
2307 */
2308CINDEX_LINKAGE CXSourceRange clang_getTokenExtent(CXTranslationUnit, CXToken);
2309
2310/**
2311 * \brief Tokenize the source code described by the given range into raw
2312 * lexical tokens.
2313 *
2314 * \param TU the translation unit whose text is being tokenized.
2315 *
2316 * \param Range the source range in which text should be tokenized. All of the
2317 * tokens produced by tokenization will fall within this source range,
2318 *
2319 * \param Tokens this pointer will be set to point to the array of tokens
2320 * that occur within the given source range. The returned pointer must be
2321 * freed with clang_disposeTokens() before the translation unit is destroyed.
2322 *
2323 * \param NumTokens will be set to the number of tokens in the \c *Tokens
2324 * array.
2325 *
2326 */
2327CINDEX_LINKAGE void clang_tokenize(CXTranslationUnit TU, CXSourceRange Range,
2328 CXToken **Tokens, unsigned *NumTokens);
Ted Kremenekd071c602010-03-13 02:50:34 +00002329
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002330/**
2331 * \brief Annotate the given set of tokens by providing cursors for each token
2332 * that can be mapped to a specific entity within the abstract syntax tree.
2333 *
Douglas Gregor61656112010-01-26 18:31:56 +00002334 * This token-annotation routine is equivalent to invoking
2335 * clang_getCursor() for the source locations of each of the
2336 * tokens. The cursors provided are filtered, so that only those
2337 * cursors that have a direct correspondence to the token are
2338 * accepted. For example, given a function call \c f(x),
2339 * clang_getCursor() would provide the following cursors:
2340 *
2341 * * when the cursor is over the 'f', a DeclRefExpr cursor referring to 'f'.
2342 * * when the cursor is over the '(' or the ')', a CallExpr referring to 'f'.
2343 * * when the cursor is over the 'x', a DeclRefExpr cursor referring to 'x'.
2344 *
2345 * Only the first and last of these cursors will occur within the
2346 * annotate, since the tokens "f" and "x' directly refer to a function
2347 * and a variable, respectively, but the parentheses are just a small
2348 * part of the full syntax of the function call expression, which is
2349 * not provided as an annotation.
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002350 *
2351 * \param TU the translation unit that owns the given tokens.
2352 *
2353 * \param Tokens the set of tokens to annotate.
2354 *
2355 * \param NumTokens the number of tokens in \p Tokens.
2356 *
2357 * \param Cursors an array of \p NumTokens cursors, whose contents will be
2358 * replaced with the cursors corresponding to each token.
2359 */
2360CINDEX_LINKAGE void clang_annotateTokens(CXTranslationUnit TU,
2361 CXToken *Tokens, unsigned NumTokens,
2362 CXCursor *Cursors);
Ted Kremenekd071c602010-03-13 02:50:34 +00002363
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002364/**
2365 * \brief Free the given set of tokens.
2366 */
Ted Kremenekd071c602010-03-13 02:50:34 +00002367CINDEX_LINKAGE void clang_disposeTokens(CXTranslationUnit TU,
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002368 CXToken *Tokens, unsigned NumTokens);
Ted Kremenekd071c602010-03-13 02:50:34 +00002369
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002370/**
2371 * @}
2372 */
Ted Kremenekd071c602010-03-13 02:50:34 +00002373
Douglas Gregor27b4fa92010-01-26 17:06:03 +00002374/**
Douglas Gregor6007cf22010-01-22 22:29:16 +00002375 * \defgroup CINDEX_DEBUG Debugging facilities
2376 *
2377 * These routines are used for testing and debugging, only, and should not
2378 * be relied upon.
2379 *
2380 * @{
2381 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002382
Steve Naroff76b8f132009-09-23 17:52:52 +00002383/* for debug/testing */
Ted Kremenek29004672010-02-17 00:41:32 +00002384CINDEX_LINKAGE CXString clang_getCursorKindSpelling(enum CXCursorKind Kind);
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002385CINDEX_LINKAGE void clang_getDefinitionSpellingAndExtent(CXCursor,
2386 const char **startBuf,
Steve Naroff76b8f132009-09-23 17:52:52 +00002387 const char **endBuf,
2388 unsigned *startLine,
2389 unsigned *startColumn,
2390 unsigned *endLine,
2391 unsigned *endColumn);
Douglas Gregor1e21cc72010-02-18 23:07:20 +00002392CINDEX_LINKAGE void clang_enableStackTraces(void);
Daniel Dunbar23420652010-11-04 01:26:29 +00002393CINDEX_LINKAGE void clang_executeOnThread(void (*fn)(void*), void *user_data,
2394 unsigned stack_size);
2395
Douglas Gregor9eb77012009-11-07 00:00:49 +00002396/**
Douglas Gregor6007cf22010-01-22 22:29:16 +00002397 * @}
2398 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002399
Douglas Gregor6007cf22010-01-22 22:29:16 +00002400/**
2401 * \defgroup CINDEX_CODE_COMPLET Code completion
2402 *
2403 * Code completion involves taking an (incomplete) source file, along with
2404 * knowledge of where the user is actively editing that file, and suggesting
2405 * syntactically- and semantically-valid constructs that the user might want to
2406 * use at that particular point in the source code. These data structures and
2407 * routines provide support for code completion.
2408 *
2409 * @{
2410 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002411
Douglas Gregor6007cf22010-01-22 22:29:16 +00002412/**
Douglas Gregor9eb77012009-11-07 00:00:49 +00002413 * \brief A semantic string that describes a code-completion result.
2414 *
2415 * A semantic string that describes the formatting of a code-completion
2416 * result as a single "template" of text that should be inserted into the
2417 * source buffer when a particular code-completion result is selected.
2418 * Each semantic string is made up of some number of "chunks", each of which
2419 * contains some text along with a description of what that text means, e.g.,
2420 * the name of the entity being referenced, whether the text chunk is part of
2421 * the template, or whether it is a "placeholder" that the user should replace
2422 * with actual code,of a specific kind. See \c CXCompletionChunkKind for a
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002423 * description of the different kinds of chunks.
Douglas Gregor9eb77012009-11-07 00:00:49 +00002424 */
2425typedef void *CXCompletionString;
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002426
Douglas Gregor9eb77012009-11-07 00:00:49 +00002427/**
2428 * \brief A single result of code completion.
2429 */
2430typedef struct {
2431 /**
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002432 * \brief The kind of entity that this completion refers to.
Douglas Gregor9eb77012009-11-07 00:00:49 +00002433 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002434 * The cursor kind will be a macro, keyword, or a declaration (one of the
Douglas Gregor9eb77012009-11-07 00:00:49 +00002435 * *Decl cursor kinds), describing the entity that the completion is
2436 * referring to.
2437 *
2438 * \todo In the future, we would like to provide a full cursor, to allow
2439 * the client to extract additional information from declaration.
2440 */
2441 enum CXCursorKind CursorKind;
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002442
2443 /**
Douglas Gregor9eb77012009-11-07 00:00:49 +00002444 * \brief The code-completion string that describes how to insert this
2445 * code-completion result into the editing buffer.
2446 */
2447 CXCompletionString CompletionString;
2448} CXCompletionResult;
2449
2450/**
2451 * \brief Describes a single piece of text within a code-completion string.
2452 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002453 * Each "chunk" within a code-completion string (\c CXCompletionString) is
2454 * either a piece of text with a specific "kind" that describes how that text
Douglas Gregor9eb77012009-11-07 00:00:49 +00002455 * should be interpreted by the client or is another completion string.
2456 */
2457enum CXCompletionChunkKind {
2458 /**
2459 * \brief A code-completion string that describes "optional" text that
2460 * could be a part of the template (but is not required).
2461 *
2462 * The Optional chunk is the only kind of chunk that has a code-completion
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002463 * string for its representation, which is accessible via
Douglas Gregor9eb77012009-11-07 00:00:49 +00002464 * \c clang_getCompletionChunkCompletionString(). The code-completion string
2465 * describes an additional part of the template that is completely optional.
2466 * For example, optional chunks can be used to describe the placeholders for
2467 * arguments that match up with defaulted function parameters, e.g. given:
2468 *
2469 * \code
2470 * void f(int x, float y = 3.14, double z = 2.71828);
2471 * \endcode
2472 *
2473 * The code-completion string for this function would contain:
2474 * - a TypedText chunk for "f".
2475 * - a LeftParen chunk for "(".
2476 * - a Placeholder chunk for "int x"
2477 * - an Optional chunk containing the remaining defaulted arguments, e.g.,
2478 * - a Comma chunk for ","
Daniel Dunbar4053fae2010-02-17 08:07:44 +00002479 * - a Placeholder chunk for "float y"
Douglas Gregor9eb77012009-11-07 00:00:49 +00002480 * - an Optional chunk containing the last defaulted argument:
2481 * - a Comma chunk for ","
2482 * - a Placeholder chunk for "double z"
2483 * - a RightParen chunk for ")"
2484 *
Daniel Dunbar4053fae2010-02-17 08:07:44 +00002485 * There are many ways to handle Optional chunks. Two simple approaches are:
Douglas Gregor9eb77012009-11-07 00:00:49 +00002486 * - Completely ignore optional chunks, in which case the template for the
2487 * function "f" would only include the first parameter ("int x").
2488 * - Fully expand all optional chunks, in which case the template for the
2489 * function "f" would have all of the parameters.
2490 */
2491 CXCompletionChunk_Optional,
2492 /**
2493 * \brief Text that a user would be expected to type to get this
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002494 * code-completion result.
Douglas Gregor9eb77012009-11-07 00:00:49 +00002495 *
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002496 * There will be exactly one "typed text" chunk in a semantic string, which
2497 * will typically provide the spelling of a keyword or the name of a
Douglas Gregor9eb77012009-11-07 00:00:49 +00002498 * declaration that could be used at the current code point. Clients are
2499 * expected to filter the code-completion results based on the text in this
2500 * chunk.
2501 */
2502 CXCompletionChunk_TypedText,
2503 /**
2504 * \brief Text that should be inserted as part of a code-completion result.
2505 *
2506 * A "text" chunk represents text that is part of the template to be
2507 * inserted into user code should this particular code-completion result
2508 * be selected.
2509 */
2510 CXCompletionChunk_Text,
2511 /**
2512 * \brief Placeholder text that should be replaced by the user.
2513 *
2514 * A "placeholder" chunk marks a place where the user should insert text
2515 * into the code-completion template. For example, placeholders might mark
2516 * the function parameters for a function declaration, to indicate that the
2517 * user should provide arguments for each of those parameters. The actual
2518 * text in a placeholder is a suggestion for the text to display before
2519 * the user replaces the placeholder with real code.
2520 */
2521 CXCompletionChunk_Placeholder,
2522 /**
2523 * \brief Informative text that should be displayed but never inserted as
2524 * part of the template.
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002525 *
Douglas Gregor9eb77012009-11-07 00:00:49 +00002526 * An "informative" chunk contains annotations that can be displayed to
2527 * help the user decide whether a particular code-completion result is the
2528 * right option, but which is not part of the actual template to be inserted
2529 * by code completion.
2530 */
2531 CXCompletionChunk_Informative,
2532 /**
2533 * \brief Text that describes the current parameter when code-completion is
2534 * referring to function call, message send, or template specialization.
2535 *
2536 * A "current parameter" chunk occurs when code-completion is providing
2537 * information about a parameter corresponding to the argument at the
2538 * code-completion point. For example, given a function
2539 *
2540 * \code
2541 * int add(int x, int y);
2542 * \endcode
2543 *
2544 * and the source code \c add(, where the code-completion point is after the
2545 * "(", the code-completion string will contain a "current parameter" chunk
2546 * for "int x", indicating that the current argument will initialize that
2547 * parameter. After typing further, to \c add(17, (where the code-completion
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002548 * point is after the ","), the code-completion string will contain a
Douglas Gregor9eb77012009-11-07 00:00:49 +00002549 * "current paremeter" chunk to "int y".
2550 */
2551 CXCompletionChunk_CurrentParameter,
2552 /**
2553 * \brief A left parenthesis ('('), used to initiate a function call or
2554 * signal the beginning of a function parameter list.
2555 */
2556 CXCompletionChunk_LeftParen,
2557 /**
2558 * \brief A right parenthesis (')'), used to finish a function call or
2559 * signal the end of a function parameter list.
2560 */
2561 CXCompletionChunk_RightParen,
2562 /**
2563 * \brief A left bracket ('[').
2564 */
2565 CXCompletionChunk_LeftBracket,
2566 /**
2567 * \brief A right bracket (']').
2568 */
2569 CXCompletionChunk_RightBracket,
2570 /**
2571 * \brief A left brace ('{').
2572 */
2573 CXCompletionChunk_LeftBrace,
2574 /**
2575 * \brief A right brace ('}').
2576 */
2577 CXCompletionChunk_RightBrace,
2578 /**
2579 * \brief A left angle bracket ('<').
2580 */
2581 CXCompletionChunk_LeftAngle,
2582 /**
2583 * \brief A right angle bracket ('>').
2584 */
2585 CXCompletionChunk_RightAngle,
2586 /**
2587 * \brief A comma separator (',').
2588 */
Douglas Gregorb3fa9192009-12-18 18:53:37 +00002589 CXCompletionChunk_Comma,
2590 /**
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002591 * \brief Text that specifies the result type of a given result.
Douglas Gregorb3fa9192009-12-18 18:53:37 +00002592 *
2593 * This special kind of informative chunk is not meant to be inserted into
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002594 * the text buffer. Rather, it is meant to illustrate the type that an
Douglas Gregorb3fa9192009-12-18 18:53:37 +00002595 * expression using the given completion string would have.
2596 */
Douglas Gregor504a6ae2010-01-10 23:08:15 +00002597 CXCompletionChunk_ResultType,
2598 /**
2599 * \brief A colon (':').
2600 */
2601 CXCompletionChunk_Colon,
2602 /**
2603 * \brief A semicolon (';').
2604 */
2605 CXCompletionChunk_SemiColon,
2606 /**
2607 * \brief An '=' sign.
2608 */
2609 CXCompletionChunk_Equal,
2610 /**
2611 * Horizontal space (' ').
2612 */
2613 CXCompletionChunk_HorizontalSpace,
2614 /**
2615 * Vertical space ('\n'), after which it is generally a good idea to
2616 * perform indentation.
2617 */
2618 CXCompletionChunk_VerticalSpace
Douglas Gregor9eb77012009-11-07 00:00:49 +00002619};
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002620
Douglas Gregor9eb77012009-11-07 00:00:49 +00002621/**
2622 * \brief Determine the kind of a particular chunk within a completion string.
2623 *
2624 * \param completion_string the completion string to query.
2625 *
2626 * \param chunk_number the 0-based index of the chunk in the completion string.
2627 *
2628 * \returns the kind of the chunk at the index \c chunk_number.
2629 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002630CINDEX_LINKAGE enum CXCompletionChunkKind
Douglas Gregor9eb77012009-11-07 00:00:49 +00002631clang_getCompletionChunkKind(CXCompletionString completion_string,
2632 unsigned chunk_number);
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002633
Douglas Gregor9eb77012009-11-07 00:00:49 +00002634/**
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002635 * \brief Retrieve the text associated with a particular chunk within a
Douglas Gregor9eb77012009-11-07 00:00:49 +00002636 * completion string.
2637 *
2638 * \param completion_string the completion string to query.
2639 *
2640 * \param chunk_number the 0-based index of the chunk in the completion string.
2641 *
2642 * \returns the text associated with the chunk at index \c chunk_number.
2643 */
Ted Kremenekf602f962010-02-17 01:42:24 +00002644CINDEX_LINKAGE CXString
Douglas Gregor9eb77012009-11-07 00:00:49 +00002645clang_getCompletionChunkText(CXCompletionString completion_string,
2646 unsigned chunk_number);
2647
2648/**
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002649 * \brief Retrieve the completion string associated with a particular chunk
Douglas Gregor9eb77012009-11-07 00:00:49 +00002650 * within a completion string.
2651 *
2652 * \param completion_string the completion string to query.
2653 *
2654 * \param chunk_number the 0-based index of the chunk in the completion string.
2655 *
2656 * \returns the completion string associated with the chunk at index
2657 * \c chunk_number, or NULL if that chunk is not represented by a completion
2658 * string.
2659 */
2660CINDEX_LINKAGE CXCompletionString
2661clang_getCompletionChunkCompletionString(CXCompletionString completion_string,
2662 unsigned chunk_number);
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002663
Douglas Gregor9eb77012009-11-07 00:00:49 +00002664/**
2665 * \brief Retrieve the number of chunks in the given code-completion string.
2666 */
2667CINDEX_LINKAGE unsigned
2668clang_getNumCompletionChunks(CXCompletionString completion_string);
2669
2670/**
Douglas Gregora2db7932010-05-26 22:00:08 +00002671 * \brief Determine the priority of this code completion.
2672 *
2673 * The priority of a code completion indicates how likely it is that this
2674 * particular completion is the completion that the user will select. The
2675 * priority is selected by various internal heuristics.
2676 *
2677 * \param completion_string The completion string to query.
2678 *
2679 * \returns The priority of this completion string. Smaller values indicate
2680 * higher-priority (more likely) completions.
2681 */
2682CINDEX_LINKAGE unsigned
2683clang_getCompletionPriority(CXCompletionString completion_string);
2684
2685/**
Douglas Gregorf757a122010-08-23 23:00:57 +00002686 * \brief Determine the availability of the entity that this code-completion
2687 * string refers to.
2688 *
2689 * \param completion_string The completion string to query.
2690 *
2691 * \returns The availability of the completion string.
2692 */
2693CINDEX_LINKAGE enum CXAvailabilityKind
2694clang_getCompletionAvailability(CXCompletionString completion_string);
2695
2696/**
Douglas Gregorf72b6ac2009-12-18 16:20:58 +00002697 * \brief Contains the results of code-completion.
2698 *
2699 * This data structure contains the results of code completion, as
Douglas Gregor6a9580282010-10-11 21:51:20 +00002700 * produced by \c clang_codeCompleteAt(). Its contents must be freed by
Douglas Gregorf72b6ac2009-12-18 16:20:58 +00002701 * \c clang_disposeCodeCompleteResults.
2702 */
2703typedef struct {
2704 /**
2705 * \brief The code-completion results.
2706 */
2707 CXCompletionResult *Results;
2708
2709 /**
2710 * \brief The number of code-completion results stored in the
2711 * \c Results array.
2712 */
2713 unsigned NumResults;
2714} CXCodeCompleteResults;
2715
2716/**
Douglas Gregorb68bc592010-08-05 09:09:23 +00002717 * \brief Flags that can be passed to \c clang_codeCompleteAt() to
2718 * modify its behavior.
2719 *
2720 * The enumerators in this enumeration can be bitwise-OR'd together to
2721 * provide multiple options to \c clang_codeCompleteAt().
2722 */
2723enum CXCodeComplete_Flags {
2724 /**
2725 * \brief Whether to include macros within the set of code
2726 * completions returned.
2727 */
2728 CXCodeComplete_IncludeMacros = 0x01,
2729
2730 /**
2731 * \brief Whether to include code patterns for language constructs
2732 * within the set of code completions, e.g., for loops.
2733 */
2734 CXCodeComplete_IncludeCodePatterns = 0x02
2735};
2736
2737/**
2738 * \brief Returns a default set of code-completion options that can be
2739 * passed to\c clang_codeCompleteAt().
2740 */
2741CINDEX_LINKAGE unsigned clang_defaultCodeCompleteOptions(void);
2742
2743/**
Douglas Gregor8e984da2010-08-04 16:47:14 +00002744 * \brief Perform code completion at a given location in a translation unit.
2745 *
2746 * This function performs code completion at a particular file, line, and
2747 * column within source code, providing results that suggest potential
2748 * code snippets based on the context of the completion. The basic model
2749 * for code completion is that Clang will parse a complete source file,
2750 * performing syntax checking up to the location where code-completion has
2751 * been requested. At that point, a special code-completion token is passed
2752 * to the parser, which recognizes this token and determines, based on the
2753 * current location in the C/Objective-C/C++ grammar and the state of
2754 * semantic analysis, what completions to provide. These completions are
2755 * returned via a new \c CXCodeCompleteResults structure.
2756 *
2757 * Code completion itself is meant to be triggered by the client when the
2758 * user types punctuation characters or whitespace, at which point the
2759 * code-completion location will coincide with the cursor. For example, if \c p
2760 * is a pointer, code-completion might be triggered after the "-" and then
2761 * after the ">" in \c p->. When the code-completion location is afer the ">",
2762 * the completion results will provide, e.g., the members of the struct that
2763 * "p" points to. The client is responsible for placing the cursor at the
2764 * beginning of the token currently being typed, then filtering the results
2765 * based on the contents of the token. For example, when code-completing for
2766 * the expression \c p->get, the client should provide the location just after
2767 * the ">" (e.g., pointing at the "g") to this code-completion hook. Then, the
2768 * client can filter the results based on the current token text ("get"), only
2769 * showing those results that start with "get". The intent of this interface
2770 * is to separate the relatively high-latency acquisition of code-completion
2771 * results from the filtering of results on a per-character basis, which must
2772 * have a lower latency.
2773 *
2774 * \param TU The translation unit in which code-completion should
2775 * occur. The source files for this translation unit need not be
2776 * completely up-to-date (and the contents of those source files may
2777 * be overridden via \p unsaved_files). Cursors referring into the
2778 * translation unit may be invalidated by this invocation.
2779 *
2780 * \param complete_filename The name of the source file where code
2781 * completion should be performed. This filename may be any file
2782 * included in the translation unit.
2783 *
2784 * \param complete_line The line at which code-completion should occur.
2785 *
2786 * \param complete_column The column at which code-completion should occur.
2787 * Note that the column should point just after the syntactic construct that
2788 * initiated code completion, and not in the middle of a lexical token.
2789 *
2790 * \param unsaved_files the Tiles that have not yet been saved to disk
2791 * but may be required for parsing or code completion, including the
2792 * contents of those files. The contents and name of these files (as
2793 * specified by CXUnsavedFile) are copied when necessary, so the
2794 * client only needs to guarantee their validity until the call to
2795 * this function returns.
2796 *
2797 * \param num_unsaved_files The number of unsaved file entries in \p
2798 * unsaved_files.
2799 *
Douglas Gregorb68bc592010-08-05 09:09:23 +00002800 * \param options Extra options that control the behavior of code
2801 * completion, expressed as a bitwise OR of the enumerators of the
2802 * CXCodeComplete_Flags enumeration. The
2803 * \c clang_defaultCodeCompleteOptions() function returns a default set
2804 * of code-completion options.
2805 *
Douglas Gregor8e984da2010-08-04 16:47:14 +00002806 * \returns If successful, a new \c CXCodeCompleteResults structure
2807 * containing code-completion results, which should eventually be
2808 * freed with \c clang_disposeCodeCompleteResults(). If code
2809 * completion fails, returns NULL.
2810 */
2811CINDEX_LINKAGE
2812CXCodeCompleteResults *clang_codeCompleteAt(CXTranslationUnit TU,
2813 const char *complete_filename,
2814 unsigned complete_line,
2815 unsigned complete_column,
2816 struct CXUnsavedFile *unsaved_files,
Douglas Gregorb68bc592010-08-05 09:09:23 +00002817 unsigned num_unsaved_files,
2818 unsigned options);
Douglas Gregor8e984da2010-08-04 16:47:14 +00002819
2820/**
Douglas Gregor49f67ce2010-08-26 13:48:20 +00002821 * \brief Sort the code-completion results in case-insensitive alphabetical
2822 * order.
2823 *
2824 * \param Results The set of results to sort.
2825 * \param NumResults The number of results in \p Results.
2826 */
2827CINDEX_LINKAGE
2828void clang_sortCodeCompletionResults(CXCompletionResult *Results,
2829 unsigned NumResults);
2830
2831/**
Douglas Gregorf72b6ac2009-12-18 16:20:58 +00002832 * \brief Free the given set of code-completion results.
2833 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002834CINDEX_LINKAGE
Douglas Gregorf72b6ac2009-12-18 16:20:58 +00002835void clang_disposeCodeCompleteResults(CXCodeCompleteResults *Results);
Douglas Gregorf757a122010-08-23 23:00:57 +00002836
Douglas Gregor52606ff2010-01-20 01:10:47 +00002837/**
Douglas Gregor33cdd812010-02-18 18:08:43 +00002838 * \brief Determine the number of diagnostics produced prior to the
2839 * location where code completion was performed.
2840 */
Ted Kremenekd071c602010-03-13 02:50:34 +00002841CINDEX_LINKAGE
Douglas Gregor33cdd812010-02-18 18:08:43 +00002842unsigned clang_codeCompleteGetNumDiagnostics(CXCodeCompleteResults *Results);
2843
2844/**
2845 * \brief Retrieve a diagnostic associated with the given code completion.
2846 *
2847 * \param Result the code completion results to query.
2848 * \param Index the zero-based diagnostic number to retrieve.
2849 *
2850 * \returns the requested diagnostic. This diagnostic must be freed
2851 * via a call to \c clang_disposeDiagnostic().
2852 */
Ted Kremenekd071c602010-03-13 02:50:34 +00002853CINDEX_LINKAGE
Douglas Gregor33cdd812010-02-18 18:08:43 +00002854CXDiagnostic clang_codeCompleteGetDiagnostic(CXCodeCompleteResults *Results,
2855 unsigned Index);
2856
2857/**
Douglas Gregor52606ff2010-01-20 01:10:47 +00002858 * @}
2859 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002860
2861
Ted Kremenekc0f3f722010-01-22 22:44:15 +00002862/**
2863 * \defgroup CINDEX_MISC Miscellaneous utility functions
2864 *
2865 * @{
2866 */
Ted Kremenek3e315a22010-01-23 17:51:23 +00002867
2868/**
2869 * \brief Return a version string, suitable for showing to a user, but not
2870 * intended to be parsed (the format is not guaranteed to be stable).
2871 */
Ted Kremeneka3e65702010-02-12 22:54:40 +00002872CINDEX_LINKAGE CXString clang_getClangVersion();
Ted Kremenekc0f3f722010-01-22 22:44:15 +00002873
Ted Kremenek1ec7b332011-03-18 23:05:39 +00002874
2875/**
2876 * \brief Enable/disable crash recovery.
2877 *
2878 * \param Flag to indicate if crash recovery is enabled. A non-zero value
2879 * enables crash recovery, while 0 disables it.
2880 */
2881CINDEX_LINKAGE void clang_toggleCrashRecovery(unsigned isEnabled);
2882
Ted Kremenek0b86e3a2010-01-26 19:31:51 +00002883 /**
Ted Kremenekd071c602010-03-13 02:50:34 +00002884 * \brief Visitor invoked for each file in a translation unit
Ted Kremenek0b86e3a2010-01-26 19:31:51 +00002885 * (used with clang_getInclusions()).
2886 *
2887 * This visitor function will be invoked by clang_getInclusions() for each
2888 * file included (either at the top-level or by #include directives) within
2889 * a translation unit. The first argument is the file being included, and
2890 * the second and third arguments provide the inclusion stack. The
2891 * array is sorted in order of immediate inclusion. For example,
2892 * the first element refers to the location that included 'included_file'.
2893 */
2894typedef void (*CXInclusionVisitor)(CXFile included_file,
2895 CXSourceLocation* inclusion_stack,
2896 unsigned include_len,
2897 CXClientData client_data);
2898
2899/**
2900 * \brief Visit the set of preprocessor inclusions in a translation unit.
2901 * The visitor function is called with the provided data for every included
2902 * file. This does not include headers included by the PCH file (unless one
2903 * is inspecting the inclusions in the PCH file itself).
2904 */
2905CINDEX_LINKAGE void clang_getInclusions(CXTranslationUnit tu,
2906 CXInclusionVisitor visitor,
2907 CXClientData client_data);
2908
2909/**
Ted Kremenekc0f3f722010-01-22 22:44:15 +00002910 * @}
2911 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002912
Douglas Gregor6007cf22010-01-22 22:29:16 +00002913/**
2914 * @}
2915 */
Daniel Dunbar62ebf252010-01-24 02:54:26 +00002916
Ted Kremenekb60d87c2009-08-26 22:36:44 +00002917#ifdef __cplusplus
2918}
2919#endif
2920#endif
2921