CIndexUSRs.cpp revision 0ddaeb9b031070ec64afe92d9892875ac44df427
1//===- CIndexUSR.cpp - Clang-C Source Indexing Library --------------------===//
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 file implements the generation and use of USRs from CXEntities.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CIndexer.h"
15#include "CXCursor.h"
16#include "CXString.h"
17#include "clang/AST/DeclTemplate.h"
18#include "clang/AST/DeclVisitor.h"
19#include "clang/Frontend/ASTUnit.h"
20#include "clang/Lex/PreprocessingRecord.h"
21#include "llvm/ADT/SmallString.h"
22#include "llvm/Support/raw_ostream.h"
23
24using namespace clang;
25using namespace clang::cxstring;
26
27//===----------------------------------------------------------------------===//
28// USR generation.
29//===----------------------------------------------------------------------===//
30
31namespace {
32class USRGenerator : public DeclVisitor<USRGenerator> {
33  llvm::OwningPtr<llvm::SmallString<128> > OwnedBuf;
34  SmallVectorImpl<char> &Buf;
35  llvm::raw_svector_ostream Out;
36  bool IgnoreResults;
37  ASTContext *Context;
38  bool generatedLoc;
39
40  llvm::DenseMap<const Type *, unsigned> TypeSubstitutions;
41
42public:
43  explicit USRGenerator(ASTContext *Ctx = 0, SmallVectorImpl<char> *extBuf = 0)
44  : OwnedBuf(extBuf ? 0 : new llvm::SmallString<128>()),
45    Buf(extBuf ? *extBuf : *OwnedBuf.get()),
46    Out(Buf),
47    IgnoreResults(false),
48    Context(Ctx),
49    generatedLoc(false)
50  {
51    // Add the USR space prefix.
52    Out << "c:";
53  }
54
55  StringRef str() {
56    return Out.str();
57  }
58
59  USRGenerator* operator->() { return this; }
60
61  template <typename T>
62  llvm::raw_svector_ostream &operator<<(const T &x) {
63    Out << x;
64    return Out;
65  }
66
67  bool ignoreResults() const { return IgnoreResults; }
68
69  // Visitation methods from generating USRs from AST elements.
70  void VisitDeclContext(DeclContext *D);
71  void VisitFieldDecl(FieldDecl *D);
72  void VisitFunctionDecl(FunctionDecl *D);
73  void VisitNamedDecl(NamedDecl *D);
74  void VisitNamespaceDecl(NamespaceDecl *D);
75  void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
76  void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
77  void VisitClassTemplateDecl(ClassTemplateDecl *D);
78  void VisitObjCClassDecl(ObjCClassDecl *CD);
79  void VisitObjCContainerDecl(ObjCContainerDecl *CD);
80  void VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *P);
81  void VisitObjCMethodDecl(ObjCMethodDecl *MD);
82  void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
83  void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
84  void VisitTagDecl(TagDecl *D);
85  void VisitTypedefDecl(TypedefDecl *D);
86  void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
87  void VisitVarDecl(VarDecl *D);
88  void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
89  void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
90  void VisitLinkageSpecDecl(LinkageSpecDecl *D) {
91    IgnoreResults = true;
92  }
93  void VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
94    IgnoreResults = true;
95  }
96  void VisitUsingDecl(UsingDecl *D) {
97    IgnoreResults = true;
98  }
99  void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
100    IgnoreResults = true;
101  }
102  void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D) {
103    IgnoreResults = true;
104  }
105
106  /// Generate the string component containing the location of the
107  ///  declaration.
108  bool GenLoc(const Decl *D);
109
110  /// String generation methods used both by the visitation methods
111  /// and from other clients that want to directly generate USRs.  These
112  /// methods do not construct complete USRs (which incorporate the parents
113  /// of an AST element), but only the fragments concerning the AST element
114  /// itself.
115
116  /// Generate a USR for an Objective-C class.
117  void GenObjCClass(StringRef cls);
118  /// Generate a USR for an Objective-C class category.
119  void GenObjCCategory(StringRef cls, StringRef cat);
120  /// Generate a USR fragment for an Objective-C instance variable.  The
121  /// complete USR can be created by concatenating the USR for the
122  /// encompassing class with this USR fragment.
123  void GenObjCIvar(StringRef ivar);
124  /// Generate a USR fragment for an Objective-C method.
125  void GenObjCMethod(StringRef sel, bool isInstanceMethod);
126  /// Generate a USR fragment for an Objective-C property.
127  void GenObjCProperty(StringRef prop);
128  /// Generate a USR for an Objective-C protocol.
129  void GenObjCProtocol(StringRef prot);
130
131  void VisitType(QualType T);
132  void VisitTemplateParameterList(const TemplateParameterList *Params);
133  void VisitTemplateName(TemplateName Name);
134  void VisitTemplateArgument(const TemplateArgument &Arg);
135
136  /// Emit a Decl's name using NamedDecl::printName() and return true if
137  ///  the decl had no name.
138  bool EmitDeclName(const NamedDecl *D);
139};
140
141} // end anonymous namespace
142
143//===----------------------------------------------------------------------===//
144// Generating USRs from ASTS.
145//===----------------------------------------------------------------------===//
146
147bool USRGenerator::EmitDeclName(const NamedDecl *D) {
148  Out.flush();
149  const unsigned startSize = Buf.size();
150  D->printName(Out);
151  Out.flush();
152  const unsigned endSize = Buf.size();
153  return startSize == endSize;
154}
155
156static bool InAnonymousNamespace(const Decl *D) {
157  if (const NamespaceDecl *ND = dyn_cast<NamespaceDecl>(D->getDeclContext()))
158    return ND->isAnonymousNamespace();
159  return false;
160}
161
162static inline bool ShouldGenerateLocation(const NamedDecl *D) {
163  return D->getLinkage() != ExternalLinkage && !InAnonymousNamespace(D);
164}
165
166void USRGenerator::VisitDeclContext(DeclContext *DC) {
167  if (NamedDecl *D = dyn_cast<NamedDecl>(DC))
168    Visit(D);
169}
170
171void USRGenerator::VisitFieldDecl(FieldDecl *D) {
172  VisitDeclContext(D->getDeclContext());
173  Out << (isa<ObjCIvarDecl>(D) ? "@" : "@FI@");
174  if (EmitDeclName(D)) {
175    // Bit fields can be anonymous.
176    IgnoreResults = true;
177    return;
178  }
179}
180
181void USRGenerator::VisitFunctionDecl(FunctionDecl *D) {
182  if (ShouldGenerateLocation(D) && GenLoc(D))
183    return;
184
185  VisitDeclContext(D->getDeclContext());
186  if (FunctionTemplateDecl *FunTmpl = D->getDescribedFunctionTemplate()) {
187    Out << "@FT@";
188    VisitTemplateParameterList(FunTmpl->getTemplateParameters());
189  } else
190    Out << "@F@";
191  D->printName(Out);
192
193  ASTContext &Ctx = *Context;
194  if (!Ctx.getLangOptions().CPlusPlus || D->isExternC())
195    return;
196
197  // Mangle in type information for the arguments.
198  for (FunctionDecl::param_iterator I = D->param_begin(), E = D->param_end();
199       I != E; ++I) {
200    Out << '#';
201    if (ParmVarDecl *PD = *I)
202      VisitType(PD->getType());
203  }
204  if (D->isVariadic())
205    Out << '.';
206  Out << '#';
207  if (CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(D)) {
208    if (MD->isStatic())
209      Out << 'S';
210    if (unsigned quals = MD->getTypeQualifiers())
211      Out << (char)('0' + quals);
212  }
213}
214
215void USRGenerator::VisitNamedDecl(NamedDecl *D) {
216  VisitDeclContext(D->getDeclContext());
217  Out << "@";
218
219  if (EmitDeclName(D)) {
220    // The string can be empty if the declaration has no name; e.g., it is
221    // the ParmDecl with no name for declaration of a function pointer type,
222    // e.g.: void  (*f)(void *);
223    // In this case, don't generate a USR.
224    IgnoreResults = true;
225  }
226}
227
228void USRGenerator::VisitVarDecl(VarDecl *D) {
229  // VarDecls can be declared 'extern' within a function or method body,
230  // but their enclosing DeclContext is the function, not the TU.  We need
231  // to check the storage class to correctly generate the USR.
232  if (ShouldGenerateLocation(D) && GenLoc(D))
233    return;
234
235  VisitDeclContext(D->getDeclContext());
236
237  // Variables always have simple names.
238  StringRef s = D->getName();
239
240  // The string can be empty if the declaration has no name; e.g., it is
241  // the ParmDecl with no name for declaration of a function pointer type, e.g.:
242  //    void  (*f)(void *);
243  // In this case, don't generate a USR.
244  if (s.empty())
245    IgnoreResults = true;
246  else
247    Out << '@' << s;
248}
249
250void USRGenerator::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
251  GenLoc(D);
252  return;
253}
254
255void USRGenerator::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
256  GenLoc(D);
257  return;
258}
259
260void USRGenerator::VisitNamespaceDecl(NamespaceDecl *D) {
261  if (D->isAnonymousNamespace()) {
262    Out << "@aN";
263    return;
264  }
265
266  VisitDeclContext(D->getDeclContext());
267  if (!IgnoreResults)
268    Out << "@N@" << D->getName();
269}
270
271void USRGenerator::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
272  VisitFunctionDecl(D->getTemplatedDecl());
273}
274
275void USRGenerator::VisitClassTemplateDecl(ClassTemplateDecl *D) {
276  VisitTagDecl(D->getTemplatedDecl());
277}
278
279void USRGenerator::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
280  VisitDeclContext(D->getDeclContext());
281  if (!IgnoreResults)
282    Out << "@NA@" << D->getName();
283}
284
285void USRGenerator::VisitObjCMethodDecl(ObjCMethodDecl *D) {
286  DeclContext *container = D->getDeclContext();
287  if (ObjCProtocolDecl *pd = dyn_cast<ObjCProtocolDecl>(container)) {
288    Visit(pd);
289  }
290  else {
291    // The USR for a method declared in a class extension or category is based on
292    // the ObjCInterfaceDecl, not the ObjCCategoryDecl.
293    ObjCInterfaceDecl *ID = D->getClassInterface();
294    if (!ID) {
295      IgnoreResults = true;
296      return;
297    }
298    Visit(ID);
299  }
300  // Ideally we would use 'GenObjCMethod', but this is such a hot path
301  // for Objective-C code that we don't want to use
302  // DeclarationName::getAsString().
303  Out << (D->isInstanceMethod() ? "(im)" : "(cm)");
304  DeclarationName N(D->getSelector());
305  N.printName(Out);
306}
307
308void USRGenerator::VisitObjCClassDecl(ObjCClassDecl *D) {
309  // FIXME: @class declarations can refer to multiple classes.  We need
310  //  to be able to traverse these.
311  IgnoreResults = true;
312}
313
314void USRGenerator::VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *D) {
315  // FIXME: @protocol declarations can refer to multiple protocols.  We need
316  //  to be able to traverse these.
317  IgnoreResults = true;
318}
319
320void USRGenerator::VisitObjCContainerDecl(ObjCContainerDecl *D) {
321  switch (D->getKind()) {
322    default:
323      llvm_unreachable("Invalid ObjC container.");
324    case Decl::ObjCInterface:
325    case Decl::ObjCImplementation:
326      GenObjCClass(D->getName());
327      break;
328    case Decl::ObjCCategory: {
329      ObjCCategoryDecl *CD = cast<ObjCCategoryDecl>(D);
330      ObjCInterfaceDecl *ID = CD->getClassInterface();
331      if (!ID) {
332        // Handle invalid code where the @interface might not
333        // have been specified.
334        // FIXME: We should be able to generate this USR even if the
335        // @interface isn't available.
336        IgnoreResults = true;
337        return;
338      }
339      // Specially handle class extensions, which are anonymous categories.
340      // We want to mangle in the location to uniquely distinguish them.
341      if (CD->IsClassExtension()) {
342        Out << "objc(ext)" << ID->getName() << '@';
343        GenLoc(CD);
344      }
345      else
346        GenObjCCategory(ID->getName(), CD->getName());
347
348      break;
349    }
350    case Decl::ObjCCategoryImpl: {
351      ObjCCategoryImplDecl *CD = cast<ObjCCategoryImplDecl>(D);
352      ObjCInterfaceDecl *ID = CD->getClassInterface();
353      if (!ID) {
354        // Handle invalid code where the @interface might not
355        // have been specified.
356        // FIXME: We should be able to generate this USR even if the
357        // @interface isn't available.
358        IgnoreResults = true;
359        return;
360      }
361      GenObjCCategory(ID->getName(), CD->getName());
362      break;
363    }
364    case Decl::ObjCProtocol:
365      GenObjCProtocol(cast<ObjCProtocolDecl>(D)->getName());
366      break;
367  }
368}
369
370void USRGenerator::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
371  Visit(cast<Decl>(D->getDeclContext()));
372  GenObjCProperty(D->getName());
373}
374
375void USRGenerator::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
376  if (ObjCPropertyDecl *PD = D->getPropertyDecl()) {
377    VisitObjCPropertyDecl(PD);
378    return;
379  }
380
381  IgnoreResults = true;
382}
383
384void USRGenerator::VisitTagDecl(TagDecl *D) {
385  // Add the location of the tag decl to handle resolution across
386  // translation units.
387  if (ShouldGenerateLocation(D) && GenLoc(D))
388    return;
389
390  D = D->getCanonicalDecl();
391  VisitDeclContext(D->getDeclContext());
392
393  bool AlreadyStarted = false;
394  if (CXXRecordDecl *CXXRecord = dyn_cast<CXXRecordDecl>(D)) {
395    if (ClassTemplateDecl *ClassTmpl = CXXRecord->getDescribedClassTemplate()) {
396      AlreadyStarted = true;
397
398      switch (D->getTagKind()) {
399      case TTK_Struct: Out << "@ST"; break;
400      case TTK_Class:  Out << "@CT"; break;
401      case TTK_Union:  Out << "@UT"; break;
402      case TTK_Enum: llvm_unreachable("enum template"); break;
403      }
404      VisitTemplateParameterList(ClassTmpl->getTemplateParameters());
405    } else if (ClassTemplatePartialSpecializationDecl *PartialSpec
406                = dyn_cast<ClassTemplatePartialSpecializationDecl>(CXXRecord)) {
407      AlreadyStarted = true;
408
409      switch (D->getTagKind()) {
410      case TTK_Struct: Out << "@SP"; break;
411      case TTK_Class:  Out << "@CP"; break;
412      case TTK_Union:  Out << "@UP"; break;
413      case TTK_Enum: llvm_unreachable("enum partial specialization"); break;
414      }
415      VisitTemplateParameterList(PartialSpec->getTemplateParameters());
416    }
417  }
418
419  if (!AlreadyStarted) {
420    switch (D->getTagKind()) {
421      case TTK_Struct: Out << "@S"; break;
422      case TTK_Class:  Out << "@C"; break;
423      case TTK_Union:  Out << "@U"; break;
424      case TTK_Enum:   Out << "@E"; break;
425    }
426  }
427
428  Out << '@';
429  Out.flush();
430  assert(Buf.size() > 0);
431  const unsigned off = Buf.size() - 1;
432
433  if (EmitDeclName(D)) {
434    if (const TypedefNameDecl *TD = D->getTypedefNameForAnonDecl()) {
435      Buf[off] = 'A';
436      Out << '@' << *TD;
437    }
438    else
439      Buf[off] = 'a';
440  }
441
442  // For a class template specialization, mangle the template arguments.
443  if (ClassTemplateSpecializationDecl *Spec
444                              = dyn_cast<ClassTemplateSpecializationDecl>(D)) {
445    const TemplateArgumentList &Args = Spec->getTemplateInstantiationArgs();
446    Out << '>';
447    for (unsigned I = 0, N = Args.size(); I != N; ++I) {
448      Out << '#';
449      VisitTemplateArgument(Args.get(I));
450    }
451  }
452}
453
454void USRGenerator::VisitTypedefDecl(TypedefDecl *D) {
455  if (ShouldGenerateLocation(D) && GenLoc(D))
456    return;
457  DeclContext *DC = D->getDeclContext();
458  if (NamedDecl *DCN = dyn_cast<NamedDecl>(DC))
459    Visit(DCN);
460  Out << "@T@";
461  Out << D->getName();
462}
463
464void USRGenerator::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
465  GenLoc(D);
466  return;
467}
468
469bool USRGenerator::GenLoc(const Decl *D) {
470  if (generatedLoc)
471    return IgnoreResults;
472  generatedLoc = true;
473
474  // Guard against null declarations in invalid code.
475  if (!D) {
476    IgnoreResults = true;
477    return true;
478  }
479
480  // Use the location of canonical decl.
481  D = D->getCanonicalDecl();
482
483  const SourceManager &SM = Context->getSourceManager();
484  SourceLocation L = D->getLocStart();
485  if (L.isInvalid()) {
486    IgnoreResults = true;
487    return true;
488  }
489  L = SM.getExpansionLoc(L);
490  const std::pair<FileID, unsigned> &Decomposed = SM.getDecomposedLoc(L);
491  const FileEntry *FE = SM.getFileEntryForID(Decomposed.first);
492  if (FE) {
493    Out << llvm::sys::path::filename(FE->getName());
494  }
495  else {
496    // This case really isn't interesting.
497    IgnoreResults = true;
498    return true;
499  }
500  // Use the offest into the FileID to represent the location.  Using
501  // a line/column can cause us to look back at the original source file,
502  // which is expensive.
503  Out << '@' << Decomposed.second;
504  return IgnoreResults;
505}
506
507void USRGenerator::VisitType(QualType T) {
508  // This method mangles in USR information for types.  It can possibly
509  // just reuse the naming-mangling logic used by codegen, although the
510  // requirements for USRs might not be the same.
511  ASTContext &Ctx = *Context;
512
513  do {
514    T = Ctx.getCanonicalType(T);
515    Qualifiers Q = T.getQualifiers();
516    unsigned qVal = 0;
517    if (Q.hasConst())
518      qVal |= 0x1;
519    if (Q.hasVolatile())
520      qVal |= 0x2;
521    if (Q.hasRestrict())
522      qVal |= 0x4;
523    if(qVal)
524      Out << ((char) ('0' + qVal));
525
526    // Mangle in ObjC GC qualifiers?
527
528    if (const PackExpansionType *Expansion = T->getAs<PackExpansionType>()) {
529      Out << 'P';
530      T = Expansion->getPattern();
531    }
532
533    if (const BuiltinType *BT = T->getAs<BuiltinType>()) {
534      unsigned char c = '\0';
535      switch (BT->getKind()) {
536        case BuiltinType::Void:
537          c = 'v'; break;
538        case BuiltinType::Bool:
539          c = 'b'; break;
540        case BuiltinType::Char_U:
541        case BuiltinType::UChar:
542          c = 'c'; break;
543        case BuiltinType::Char16:
544          c = 'q'; break;
545        case BuiltinType::Char32:
546          c = 'w'; break;
547        case BuiltinType::UShort:
548          c = 's'; break;
549        case BuiltinType::UInt:
550          c = 'i'; break;
551        case BuiltinType::ULong:
552          c = 'l'; break;
553        case BuiltinType::ULongLong:
554          c = 'k'; break;
555        case BuiltinType::UInt128:
556          c = 'j'; break;
557        case BuiltinType::Char_S:
558        case BuiltinType::SChar:
559          c = 'C'; break;
560        case BuiltinType::WChar_S:
561        case BuiltinType::WChar_U:
562          c = 'W'; break;
563        case BuiltinType::Short:
564          c = 'S'; break;
565        case BuiltinType::Int:
566          c = 'I'; break;
567        case BuiltinType::Long:
568          c = 'L'; break;
569        case BuiltinType::LongLong:
570          c = 'K'; break;
571        case BuiltinType::Int128:
572          c = 'J'; break;
573        case BuiltinType::Half:
574          c = 'h'; break;
575        case BuiltinType::Float:
576          c = 'f'; break;
577        case BuiltinType::Double:
578          c = 'd'; break;
579        case BuiltinType::LongDouble:
580          c = 'D'; break;
581        case BuiltinType::NullPtr:
582          c = 'n'; break;
583        case BuiltinType::Overload:
584        case BuiltinType::BoundMember:
585        case BuiltinType::Dependent:
586        case BuiltinType::UnknownAny:
587        case BuiltinType::ARCUnbridgedCast:
588          IgnoreResults = true;
589          return;
590        case BuiltinType::ObjCId:
591          c = 'o'; break;
592        case BuiltinType::ObjCClass:
593          c = 'O'; break;
594        case BuiltinType::ObjCSel:
595          c = 'e'; break;
596      }
597      Out << c;
598      return;
599    }
600
601    // If we have already seen this (non-built-in) type, use a substitution
602    // encoding.
603    llvm::DenseMap<const Type *, unsigned>::iterator Substitution
604      = TypeSubstitutions.find(T.getTypePtr());
605    if (Substitution != TypeSubstitutions.end()) {
606      Out << 'S' << Substitution->second << '_';
607      return;
608    } else {
609      // Record this as a substitution.
610      unsigned Number = TypeSubstitutions.size();
611      TypeSubstitutions[T.getTypePtr()] = Number;
612    }
613
614    if (const PointerType *PT = T->getAs<PointerType>()) {
615      Out << '*';
616      T = PT->getPointeeType();
617      continue;
618    }
619    if (const ReferenceType *RT = T->getAs<ReferenceType>()) {
620      Out << '&';
621      T = RT->getPointeeType();
622      continue;
623    }
624    if (const FunctionProtoType *FT = T->getAs<FunctionProtoType>()) {
625      Out << 'F';
626      VisitType(FT->getResultType());
627      for (FunctionProtoType::arg_type_iterator
628            I = FT->arg_type_begin(), E = FT->arg_type_end(); I!=E; ++I) {
629        VisitType(*I);
630      }
631      if (FT->isVariadic())
632        Out << '.';
633      return;
634    }
635    if (const BlockPointerType *BT = T->getAs<BlockPointerType>()) {
636      Out << 'B';
637      T = BT->getPointeeType();
638      continue;
639    }
640    if (const ComplexType *CT = T->getAs<ComplexType>()) {
641      Out << '<';
642      T = CT->getElementType();
643      continue;
644    }
645    if (const TagType *TT = T->getAs<TagType>()) {
646      Out << '$';
647      VisitTagDecl(TT->getDecl());
648      return;
649    }
650    if (const TemplateTypeParmType *TTP = T->getAs<TemplateTypeParmType>()) {
651      Out << 't' << TTP->getDepth() << '.' << TTP->getIndex();
652      return;
653    }
654    if (const TemplateSpecializationType *Spec
655                                    = T->getAs<TemplateSpecializationType>()) {
656      Out << '>';
657      VisitTemplateName(Spec->getTemplateName());
658      Out << Spec->getNumArgs();
659      for (unsigned I = 0, N = Spec->getNumArgs(); I != N; ++I)
660        VisitTemplateArgument(Spec->getArg(I));
661      return;
662    }
663
664    // Unhandled type.
665    Out << ' ';
666    break;
667  } while (true);
668}
669
670void USRGenerator::VisitTemplateParameterList(
671                                         const TemplateParameterList *Params) {
672  if (!Params)
673    return;
674  Out << '>' << Params->size();
675  for (TemplateParameterList::const_iterator P = Params->begin(),
676                                          PEnd = Params->end();
677       P != PEnd; ++P) {
678    Out << '#';
679    if (isa<TemplateTypeParmDecl>(*P)) {
680      if (cast<TemplateTypeParmDecl>(*P)->isParameterPack())
681        Out<< 'p';
682      Out << 'T';
683      continue;
684    }
685
686    if (NonTypeTemplateParmDecl *NTTP = dyn_cast<NonTypeTemplateParmDecl>(*P)) {
687      if (NTTP->isParameterPack())
688        Out << 'p';
689      Out << 'N';
690      VisitType(NTTP->getType());
691      continue;
692    }
693
694    TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*P);
695    if (TTP->isParameterPack())
696      Out << 'p';
697    Out << 't';
698    VisitTemplateParameterList(TTP->getTemplateParameters());
699  }
700}
701
702void USRGenerator::VisitTemplateName(TemplateName Name) {
703  if (TemplateDecl *Template = Name.getAsTemplateDecl()) {
704    if (TemplateTemplateParmDecl *TTP
705                              = dyn_cast<TemplateTemplateParmDecl>(Template)) {
706      Out << 't' << TTP->getDepth() << '.' << TTP->getIndex();
707      return;
708    }
709
710    Visit(Template);
711    return;
712  }
713
714  // FIXME: Visit dependent template names.
715}
716
717void USRGenerator::VisitTemplateArgument(const TemplateArgument &Arg) {
718  switch (Arg.getKind()) {
719  case TemplateArgument::Null:
720    break;
721
722  case TemplateArgument::Declaration:
723    if (Decl *D = Arg.getAsDecl())
724      Visit(D);
725    break;
726
727  case TemplateArgument::TemplateExpansion:
728    Out << 'P'; // pack expansion of...
729    // Fall through
730  case TemplateArgument::Template:
731    VisitTemplateName(Arg.getAsTemplateOrTemplatePattern());
732    break;
733
734  case TemplateArgument::Expression:
735    // FIXME: Visit expressions.
736    break;
737
738  case TemplateArgument::Pack:
739    Out << 'p' << Arg.pack_size();
740    for (TemplateArgument::pack_iterator P = Arg.pack_begin(), PEnd = Arg.pack_end();
741         P != PEnd; ++P)
742      VisitTemplateArgument(*P);
743    break;
744
745  case TemplateArgument::Type:
746    VisitType(Arg.getAsType());
747    break;
748
749  case TemplateArgument::Integral:
750    Out << 'V';
751    VisitType(Arg.getIntegralType());
752    Out << *Arg.getAsIntegral();
753    break;
754  }
755}
756
757//===----------------------------------------------------------------------===//
758// General purpose USR generation methods.
759//===----------------------------------------------------------------------===//
760
761void USRGenerator::GenObjCClass(StringRef cls) {
762  Out << "objc(cs)" << cls;
763}
764
765void USRGenerator::GenObjCCategory(StringRef cls, StringRef cat) {
766  Out << "objc(cy)" << cls << '@' << cat;
767}
768
769void USRGenerator::GenObjCIvar(StringRef ivar) {
770  Out << '@' << ivar;
771}
772
773void USRGenerator::GenObjCMethod(StringRef meth, bool isInstanceMethod) {
774  Out << (isInstanceMethod ? "(im)" : "(cm)") << meth;
775}
776
777void USRGenerator::GenObjCProperty(StringRef prop) {
778  Out << "(py)" << prop;
779}
780
781void USRGenerator::GenObjCProtocol(StringRef prot) {
782  Out << "objc(pl)" << prot;
783}
784
785//===----------------------------------------------------------------------===//
786// API hooks.
787//===----------------------------------------------------------------------===//
788
789static inline StringRef extractUSRSuffix(StringRef s) {
790  return s.startswith("c:") ? s.substr(2) : "";
791}
792
793bool cxcursor::getDeclCursorUSR(Decl *D, SmallVectorImpl<char> &Buf) {
794  // Don't generate USRs for things with invalid locations.
795  if (!D || D->getLocStart().isInvalid())
796    return true;
797
798  // Check if the cursor has 'NoLinkage'.
799  if (const NamedDecl *ND = dyn_cast<NamedDecl>(D))
800    switch (ND->getLinkage()) {
801      case ExternalLinkage:
802        // Generate USRs for all entities with external linkage.
803        break;
804      case NoLinkage:
805      case UniqueExternalLinkage:
806        // We allow enums, typedefs, and structs that have no linkage to
807        // have USRs that are anchored to the file they were defined in
808        // (e.g., the header).  This is a little gross, but in principal
809        // enums/anonymous structs/etc. defined in a common header file
810        // are referred to across multiple translation units.
811        if (isa<TagDecl>(ND) || isa<TypedefDecl>(ND) ||
812            isa<EnumConstantDecl>(ND) || isa<FieldDecl>(ND) ||
813            isa<VarDecl>(ND) || isa<NamespaceDecl>(ND))
814          break;
815        // Fall-through.
816      case InternalLinkage:
817        if (isa<FunctionDecl>(ND))
818          break;
819    }
820
821  {
822    USRGenerator UG(&D->getASTContext(), &Buf);
823    UG->Visit(D);
824
825    if (UG->ignoreResults())
826      return true;
827  }
828
829  return false;
830}
831
832extern "C" {
833
834CXString clang_getCursorUSR(CXCursor C) {
835  const CXCursorKind &K = clang_getCursorKind(C);
836
837  if (clang_isDeclaration(K)) {
838    Decl *D = cxcursor::getCursorDecl(C);
839    CXTranslationUnit TU = cxcursor::getCursorTU(C);
840    if (!TU)
841      return createCXString("");
842
843    CXStringBuf *buf = cxstring::getCXStringBuf(TU);
844    if (!buf)
845      return createCXString("");
846
847    bool Ignore = cxcursor::getDeclCursorUSR(D, buf->Data);
848    if (Ignore) {
849      disposeCXStringBuf(buf);
850      return createCXString("");
851    }
852
853    // Return the C-string, but don't make a copy since it is already in
854    // the string buffer.
855    buf->Data.push_back('\0');
856    return createCXString(buf);
857  }
858
859  if (K == CXCursor_MacroDefinition) {
860    CXTranslationUnit TU = cxcursor::getCursorTU(C);
861    if (!TU)
862      return createCXString("");
863
864    CXStringBuf *buf = cxstring::getCXStringBuf(TU);
865    if (!buf)
866      return createCXString("");
867
868    {
869      USRGenerator UG(&cxcursor::getCursorASTUnit(C)->getASTContext(),
870                      &buf->Data);
871      UG << "macro@"
872        << cxcursor::getCursorMacroDefinition(C)->getName()->getNameStart();
873    }
874    buf->Data.push_back('\0');
875    return createCXString(buf);
876  }
877
878  return createCXString("");
879}
880
881CXString clang_constructUSR_ObjCIvar(const char *name, CXString classUSR) {
882  USRGenerator UG;
883  UG << extractUSRSuffix(clang_getCString(classUSR));
884  UG->GenObjCIvar(name);
885  return createCXString(UG.str(), true);
886}
887
888CXString clang_constructUSR_ObjCMethod(const char *name,
889                                       unsigned isInstanceMethod,
890                                       CXString classUSR) {
891  USRGenerator UG;
892  UG << extractUSRSuffix(clang_getCString(classUSR));
893  UG->GenObjCMethod(name, isInstanceMethod);
894  return createCXString(UG.str(), true);
895}
896
897CXString clang_constructUSR_ObjCClass(const char *name) {
898  USRGenerator UG;
899  UG->GenObjCClass(name);
900  return createCXString(UG.str(), true);
901}
902
903CXString clang_constructUSR_ObjCProtocol(const char *name) {
904  USRGenerator UG;
905  UG->GenObjCProtocol(name);
906  return createCXString(UG.str(), true);
907}
908
909CXString clang_constructUSR_ObjCCategory(const char *class_name,
910                                         const char *category_name) {
911  USRGenerator UG;
912  UG->GenObjCCategory(class_name, category_name);
913  return createCXString(UG.str(), true);
914}
915
916CXString clang_constructUSR_ObjCProperty(const char *property,
917                                         CXString classUSR) {
918  USRGenerator UG;
919  UG << extractUSRSuffix(clang_getCString(classUSR));
920  UG->GenObjCProperty(property);
921  return createCXString(UG.str(), true);
922}
923
924} // end extern "C"
925