clang  10.0.0svn
JSONNodeDumper.cpp
Go to the documentation of this file.
2 #include "clang/Lex/Lexer.h"
3 #include "llvm/ADT/StringSwitch.h"
4 
5 using namespace clang;
6 
7 void JSONNodeDumper::addPreviousDeclaration(const Decl *D) {
8  switch (D->getKind()) {
9 #define DECL(DERIVED, BASE) \
10  case Decl::DERIVED: \
11  return writePreviousDeclImpl(cast<DERIVED##Decl>(D));
12 #define ABSTRACT_DECL(DECL)
13 #include "clang/AST/DeclNodes.inc"
14 #undef ABSTRACT_DECL
15 #undef DECL
16  }
17  llvm_unreachable("Decl that isn't part of DeclNodes.inc!");
18 }
19 
20 void JSONNodeDumper::Visit(const Attr *A) {
21  const char *AttrName = nullptr;
22  switch (A->getKind()) {
23 #define ATTR(X) \
24  case attr::X: \
25  AttrName = #X"Attr"; \
26  break;
27 #include "clang/Basic/AttrList.inc"
28 #undef ATTR
29  }
30  JOS.attribute("id", createPointerRepresentation(A));
31  JOS.attribute("kind", AttrName);
32  JOS.attributeObject("range", [A, this] { writeSourceRange(A->getRange()); });
33  attributeOnlyIfTrue("inherited", A->isInherited());
34  attributeOnlyIfTrue("implicit", A->isImplicit());
35 
36  // FIXME: it would be useful for us to output the spelling kind as well as
37  // the actual spelling. This would allow us to distinguish between the
38  // various attribute syntaxes, but we don't currently track that information
39  // within the AST.
40  //JOS.attribute("spelling", A->getSpelling());
41 
43 }
44 
45 void JSONNodeDumper::Visit(const Stmt *S) {
46  if (!S)
47  return;
48 
49  JOS.attribute("id", createPointerRepresentation(S));
50  JOS.attribute("kind", S->getStmtClassName());
51  JOS.attributeObject("range",
52  [S, this] { writeSourceRange(S->getSourceRange()); });
53 
54  if (const auto *E = dyn_cast<Expr>(S)) {
55  JOS.attribute("type", createQualType(E->getType()));
56  const char *Category = nullptr;
57  switch (E->getValueKind()) {
58  case VK_LValue: Category = "lvalue"; break;
59  case VK_XValue: Category = "xvalue"; break;
60  case VK_RValue: Category = "rvalue"; break;
61  }
62  JOS.attribute("valueCategory", Category);
63  }
65 }
66 
67 void JSONNodeDumper::Visit(const Type *T) {
68  JOS.attribute("id", createPointerRepresentation(T));
69  JOS.attribute("kind", (llvm::Twine(T->getTypeClassName()) + "Type").str());
70  JOS.attribute("type", createQualType(QualType(T, 0), /*Desugar*/ false));
71  attributeOnlyIfTrue("isDependent", T->isDependentType());
72  attributeOnlyIfTrue("isInstantiationDependent",
74  attributeOnlyIfTrue("isVariablyModified", T->isVariablyModifiedType());
75  attributeOnlyIfTrue("containsUnexpandedPack",
77  attributeOnlyIfTrue("isImported", T->isFromAST());
79 }
80 
82  JOS.attribute("id", createPointerRepresentation(T.getAsOpaquePtr()));
83  JOS.attribute("kind", "QualType");
84  JOS.attribute("type", createQualType(T));
85  JOS.attribute("qualifiers", T.split().Quals.getAsString());
86 }
87 
88 void JSONNodeDumper::Visit(const Decl *D) {
89  JOS.attribute("id", createPointerRepresentation(D));
90 
91  if (!D)
92  return;
93 
94  JOS.attribute("kind", (llvm::Twine(D->getDeclKindName()) + "Decl").str());
95  JOS.attributeObject("loc",
96  [D, this] { writeSourceLocation(D->getLocation()); });
97  JOS.attributeObject("range",
98  [D, this] { writeSourceRange(D->getSourceRange()); });
99  attributeOnlyIfTrue("isImplicit", D->isImplicit());
100  attributeOnlyIfTrue("isInvalid", D->isInvalidDecl());
101 
102  if (D->isUsed())
103  JOS.attribute("isUsed", true);
104  else if (D->isThisDeclarationReferenced())
105  JOS.attribute("isReferenced", true);
106 
107  if (const auto *ND = dyn_cast<NamedDecl>(D))
108  attributeOnlyIfTrue("isHidden", ND->isHidden());
109 
110  if (D->getLexicalDeclContext() != D->getDeclContext())
111  JOS.attribute("parentDeclContext",
112  createPointerRepresentation(D->getDeclContext()));
113 
114  addPreviousDeclaration(D);
116 }
117 
119  const comments::FullComment *FC) {
120  if (!C)
121  return;
122 
123  JOS.attribute("id", createPointerRepresentation(C));
124  JOS.attribute("kind", C->getCommentKindName());
125  JOS.attributeObject("loc",
126  [C, this] { writeSourceLocation(C->getLocation()); });
127  JOS.attributeObject("range",
128  [C, this] { writeSourceRange(C->getSourceRange()); });
129 
131 }
132 
134  const Decl *From, StringRef Label) {
135  JOS.attribute("kind", "TemplateArgument");
136  if (R.isValid())
137  JOS.attributeObject("range", [R, this] { writeSourceRange(R); });
138 
139  if (From)
140  JOS.attribute(Label.empty() ? "fromDecl" : Label, createBareDeclRef(From));
141 
143 }
144 
146  JOS.attribute("kind", "CXXCtorInitializer");
147  if (Init->isAnyMemberInitializer())
148  JOS.attribute("anyInit", createBareDeclRef(Init->getAnyMember()));
149  else if (Init->isBaseInitializer())
150  JOS.attribute("baseInit",
151  createQualType(QualType(Init->getBaseClass(), 0)));
152  else if (Init->isDelegatingInitializer())
153  JOS.attribute("delegatingInit",
154  createQualType(Init->getTypeSourceInfo()->getType()));
155  else
156  llvm_unreachable("Unknown initializer type");
157 }
158 
160 
162  JOS.attribute("kind", "Capture");
163  attributeOnlyIfTrue("byref", C.isByRef());
164  attributeOnlyIfTrue("nested", C.isNested());
165  if (C.getVariable())
166  JOS.attribute("var", createBareDeclRef(C.getVariable()));
167 }
168 
170  JOS.attribute("associationKind", A.getTypeSourceInfo() ? "case" : "default");
171  attributeOnlyIfTrue("selected", A.isSelected());
172 }
173 
174 void JSONNodeDumper::writeBareSourceLocation(SourceLocation Loc,
175  bool IsSpelling) {
176  PresumedLoc Presumed = SM.getPresumedLoc(Loc);
177  unsigned ActualLine = IsSpelling ? SM.getSpellingLineNumber(Loc)
178  : SM.getExpansionLineNumber(Loc);
179  if (Presumed.isValid()) {
180  if (LastLocFilename != Presumed.getFilename()) {
181  JOS.attribute("file", Presumed.getFilename());
182  JOS.attribute("line", ActualLine);
183  } else if (LastLocLine != ActualLine)
184  JOS.attribute("line", ActualLine);
185 
186  unsigned PresumedLine = Presumed.getLine();
187  if (ActualLine != PresumedLine && LastLocPresumedLine != PresumedLine)
188  JOS.attribute("presumedLine", PresumedLine);
189 
190  JOS.attribute("col", Presumed.getColumn());
191  JOS.attribute("tokLen",
192  Lexer::MeasureTokenLength(Loc, SM, Ctx.getLangOpts()));
193  LastLocFilename = Presumed.getFilename();
194  LastLocPresumedLine = PresumedLine;
195  LastLocLine = ActualLine;
196  }
197 }
198 
199 void JSONNodeDumper::writeSourceLocation(SourceLocation Loc) {
200  SourceLocation Spelling = SM.getSpellingLoc(Loc);
201  SourceLocation Expansion = SM.getExpansionLoc(Loc);
202 
203  if (Expansion != Spelling) {
204  // If the expansion and the spelling are different, output subobjects
205  // describing both locations.
206  JOS.attributeObject("spellingLoc", [Spelling, this] {
207  writeBareSourceLocation(Spelling, /*IsSpelling*/ true);
208  });
209  JOS.attributeObject("expansionLoc", [Expansion, Loc, this] {
210  writeBareSourceLocation(Expansion, /*IsSpelling*/ false);
211  // If there is a macro expansion, add extra information if the interesting
212  // bit is the macro arg expansion.
213  if (SM.isMacroArgExpansion(Loc))
214  JOS.attribute("isMacroArgExpansion", true);
215  });
216  } else
217  writeBareSourceLocation(Spelling, /*IsSpelling*/ true);
218 }
219 
220 void JSONNodeDumper::writeSourceRange(SourceRange R) {
221  JOS.attributeObject("begin",
222  [R, this] { writeSourceLocation(R.getBegin()); });
223  JOS.attributeObject("end", [R, this] { writeSourceLocation(R.getEnd()); });
224 }
225 
226 std::string JSONNodeDumper::createPointerRepresentation(const void *Ptr) {
227  // Because JSON stores integer values as signed 64-bit integers, trying to
228  // represent them as such makes for very ugly pointer values in the resulting
229  // output. Instead, we convert the value to hex and treat it as a string.
230  return "0x" + llvm::utohexstr(reinterpret_cast<uint64_t>(Ptr), true);
231 }
232 
233 llvm::json::Object JSONNodeDumper::createQualType(QualType QT, bool Desugar) {
234  SplitQualType SQT = QT.split();
235  llvm::json::Object Ret{{"qualType", QualType::getAsString(SQT, PrintPolicy)}};
236 
237  if (Desugar && !QT.isNull()) {
239  if (DSQT != SQT)
240  Ret["desugaredQualType"] = QualType::getAsString(DSQT, PrintPolicy);
241  }
242  return Ret;
243 }
244 
245 void JSONNodeDumper::writeBareDeclRef(const Decl *D) {
246  JOS.attribute("id", createPointerRepresentation(D));
247  if (!D)
248  return;
249 
250  JOS.attribute("kind", (llvm::Twine(D->getDeclKindName()) + "Decl").str());
251  if (const auto *ND = dyn_cast<NamedDecl>(D))
252  JOS.attribute("name", ND->getDeclName().getAsString());
253  if (const auto *VD = dyn_cast<ValueDecl>(D))
254  JOS.attribute("type", createQualType(VD->getType()));
255 }
256 
257 llvm::json::Object JSONNodeDumper::createBareDeclRef(const Decl *D) {
258  llvm::json::Object Ret{{"id", createPointerRepresentation(D)}};
259  if (!D)
260  return Ret;
261 
262  Ret["kind"] = (llvm::Twine(D->getDeclKindName()) + "Decl").str();
263  if (const auto *ND = dyn_cast<NamedDecl>(D))
264  Ret["name"] = ND->getDeclName().getAsString();
265  if (const auto *VD = dyn_cast<ValueDecl>(D))
266  Ret["type"] = createQualType(VD->getType());
267  return Ret;
268 }
269 
270 llvm::json::Array JSONNodeDumper::createCastPath(const CastExpr *C) {
271  llvm::json::Array Ret;
272  if (C->path_empty())
273  return Ret;
274 
275  for (auto I = C->path_begin(), E = C->path_end(); I != E; ++I) {
276  const CXXBaseSpecifier *Base = *I;
277  const auto *RD =
278  cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl());
279 
280  llvm::json::Object Val{{"name", RD->getName()}};
281  if (Base->isVirtual())
282  Val["isVirtual"] = true;
283  Ret.push_back(std::move(Val));
284  }
285  return Ret;
286 }
287 
288 #define FIELD2(Name, Flag) if (RD->Flag()) Ret[Name] = true
289 #define FIELD1(Flag) FIELD2(#Flag, Flag)
290 
291 static llvm::json::Object
293  llvm::json::Object Ret;
294 
295  FIELD2("exists", hasDefaultConstructor);
296  FIELD2("trivial", hasTrivialDefaultConstructor);
297  FIELD2("nonTrivial", hasNonTrivialDefaultConstructor);
298  FIELD2("userProvided", hasUserProvidedDefaultConstructor);
299  FIELD2("isConstexpr", hasConstexprDefaultConstructor);
300  FIELD2("needsImplicit", needsImplicitDefaultConstructor);
301  FIELD2("defaultedIsConstexpr", defaultedDefaultConstructorIsConstexpr);
302 
303  return Ret;
304 }
305 
306 static llvm::json::Object
308  llvm::json::Object Ret;
309 
310  FIELD2("simple", hasSimpleCopyConstructor);
311  FIELD2("trivial", hasTrivialCopyConstructor);
312  FIELD2("nonTrivial", hasNonTrivialCopyConstructor);
313  FIELD2("userDeclared", hasUserDeclaredCopyConstructor);
314  FIELD2("hasConstParam", hasCopyConstructorWithConstParam);
315  FIELD2("implicitHasConstParam", implicitCopyConstructorHasConstParam);
316  FIELD2("needsImplicit", needsImplicitCopyConstructor);
317  FIELD2("needsOverloadResolution", needsOverloadResolutionForCopyConstructor);
319  FIELD2("defaultedIsDeleted", defaultedCopyConstructorIsDeleted);
320 
321  return Ret;
322 }
323 
324 static llvm::json::Object
326  llvm::json::Object Ret;
327 
328  FIELD2("exists", hasMoveConstructor);
329  FIELD2("simple", hasSimpleMoveConstructor);
330  FIELD2("trivial", hasTrivialMoveConstructor);
331  FIELD2("nonTrivial", hasNonTrivialMoveConstructor);
332  FIELD2("userDeclared", hasUserDeclaredMoveConstructor);
333  FIELD2("needsImplicit", needsImplicitMoveConstructor);
334  FIELD2("needsOverloadResolution", needsOverloadResolutionForMoveConstructor);
336  FIELD2("defaultedIsDeleted", defaultedMoveConstructorIsDeleted);
337 
338  return Ret;
339 }
340 
341 static llvm::json::Object
343  llvm::json::Object Ret;
344 
345  FIELD2("trivial", hasTrivialCopyAssignment);
346  FIELD2("nonTrivial", hasNonTrivialCopyAssignment);
347  FIELD2("hasConstParam", hasCopyAssignmentWithConstParam);
348  FIELD2("implicitHasConstParam", implicitCopyAssignmentHasConstParam);
349  FIELD2("userDeclared", hasUserDeclaredCopyAssignment);
350  FIELD2("needsImplicit", needsImplicitCopyAssignment);
351  FIELD2("needsOverloadResolution", needsOverloadResolutionForCopyAssignment);
352 
353  return Ret;
354 }
355 
356 static llvm::json::Object
358  llvm::json::Object Ret;
359 
360  FIELD2("exists", hasMoveAssignment);
361  FIELD2("simple", hasSimpleMoveAssignment);
362  FIELD2("trivial", hasTrivialMoveAssignment);
363  FIELD2("nonTrivial", hasNonTrivialMoveAssignment);
364  FIELD2("userDeclared", hasUserDeclaredMoveAssignment);
365  FIELD2("needsImplicit", needsImplicitMoveAssignment);
366  FIELD2("needsOverloadResolution", needsOverloadResolutionForMoveAssignment);
367 
368  return Ret;
369 }
370 
371 static llvm::json::Object
373  llvm::json::Object Ret;
374 
375  FIELD2("simple", hasSimpleDestructor);
376  FIELD2("irrelevant", hasIrrelevantDestructor);
377  FIELD2("trivial", hasTrivialDestructor);
378  FIELD2("nonTrivial", hasNonTrivialDestructor);
379  FIELD2("userDeclared", hasUserDeclaredDestructor);
380  FIELD2("needsImplicit", needsImplicitDestructor);
381  FIELD2("needsOverloadResolution", needsOverloadResolutionForDestructor);
383  FIELD2("defaultedIsDeleted", defaultedDestructorIsDeleted);
384 
385  return Ret;
386 }
387 
388 llvm::json::Object
389 JSONNodeDumper::createCXXRecordDefinitionData(const CXXRecordDecl *RD) {
390  llvm::json::Object Ret;
391 
392  // This data is common to all C++ classes.
393  FIELD1(isGenericLambda);
394  FIELD1(isLambda);
395  FIELD1(isEmpty);
396  FIELD1(isAggregate);
397  FIELD1(isStandardLayout);
398  FIELD1(isTriviallyCopyable);
399  FIELD1(isPOD);
400  FIELD1(isTrivial);
401  FIELD1(isPolymorphic);
402  FIELD1(isAbstract);
403  FIELD1(isLiteral);
405  FIELD1(hasUserDeclaredConstructor);
406  FIELD1(hasConstexprNonCopyMoveConstructor);
407  FIELD1(hasMutableFields);
408  FIELD1(hasVariantMembers);
409  FIELD2("canConstDefaultInit", allowConstDefaultInit);
410 
411  Ret["defaultCtor"] = createDefaultConstructorDefinitionData(RD);
412  Ret["copyCtor"] = createCopyConstructorDefinitionData(RD);
413  Ret["moveCtor"] = createMoveConstructorDefinitionData(RD);
414  Ret["copyAssign"] = createCopyAssignmentDefinitionData(RD);
415  Ret["moveAssign"] = createMoveAssignmentDefinitionData(RD);
416  Ret["dtor"] = createDestructorDefinitionData(RD);
417 
418  return Ret;
419 }
420 
421 #undef FIELD1
422 #undef FIELD2
423 
424 std::string JSONNodeDumper::createAccessSpecifier(AccessSpecifier AS) {
425  switch (AS) {
426  case AS_none: return "none";
427  case AS_private: return "private";
428  case AS_protected: return "protected";
429  case AS_public: return "public";
430  }
431  llvm_unreachable("Unknown access specifier");
432 }
433 
434 llvm::json::Object
435 JSONNodeDumper::createCXXBaseSpecifier(const CXXBaseSpecifier &BS) {
436  llvm::json::Object Ret;
437 
438  Ret["type"] = createQualType(BS.getType());
439  Ret["access"] = createAccessSpecifier(BS.getAccessSpecifier());
440  Ret["writtenAccess"] =
441  createAccessSpecifier(BS.getAccessSpecifierAsWritten());
442  if (BS.isVirtual())
443  Ret["isVirtual"] = true;
444  if (BS.isPackExpansion())
445  Ret["isPackExpansion"] = true;
446 
447  return Ret;
448 }
449 
451  JOS.attribute("decl", createBareDeclRef(TT->getDecl()));
452 }
453 
456  attributeOnlyIfTrue("noreturn", E.getNoReturn());
457  attributeOnlyIfTrue("producesResult", E.getProducesResult());
458  if (E.getHasRegParm())
459  JOS.attribute("regParm", E.getRegParm());
460  JOS.attribute("cc", FunctionType::getNameForCallConv(E.getCC()));
461 }
462 
465  attributeOnlyIfTrue("trailingReturn", E.HasTrailingReturn);
466  attributeOnlyIfTrue("const", T->isConst());
467  attributeOnlyIfTrue("volatile", T->isVolatile());
468  attributeOnlyIfTrue("restrict", T->isRestrict());
469  attributeOnlyIfTrue("variadic", E.Variadic);
470  switch (E.RefQualifier) {
471  case RQ_LValue: JOS.attribute("refQualifier", "&"); break;
472  case RQ_RValue: JOS.attribute("refQualifier", "&&"); break;
473  case RQ_None: break;
474  }
475  switch (E.ExceptionSpec.Type) {
476  case EST_DynamicNone:
477  case EST_Dynamic: {
478  JOS.attribute("exceptionSpec", "throw");
479  llvm::json::Array Types;
480  for (QualType QT : E.ExceptionSpec.Exceptions)
481  Types.push_back(createQualType(QT));
482  JOS.attribute("exceptionTypes", std::move(Types));
483  } break;
484  case EST_MSAny:
485  JOS.attribute("exceptionSpec", "throw");
486  JOS.attribute("throwsAny", true);
487  break;
488  case EST_BasicNoexcept:
489  JOS.attribute("exceptionSpec", "noexcept");
490  break;
491  case EST_NoexceptTrue:
492  case EST_NoexceptFalse:
493  JOS.attribute("exceptionSpec", "noexcept");
494  JOS.attribute("conditionEvaluatesTo",
496  //JOS.attributeWithCall("exceptionSpecExpr",
497  // [this, E]() { Visit(E.ExceptionSpec.NoexceptExpr); });
498  break;
499  case EST_NoThrow:
500  JOS.attribute("exceptionSpec", "nothrow");
501  break;
502  // FIXME: I cannot find a way to trigger these cases while dumping the AST. I
503  // suspect you can only run into them when executing an AST dump from within
504  // the debugger, which is not a use case we worry about for the JSON dumping
505  // feature.
507  case EST_Unevaluated:
508  case EST_Uninstantiated:
509  case EST_Unparsed:
510  case EST_None: break;
511  }
513 }
514 
516  attributeOnlyIfTrue("spelledAsLValue", RT->isSpelledAsLValue());
517 }
518 
520  switch (AT->getSizeModifier()) {
521  case ArrayType::Star:
522  JOS.attribute("sizeModifier", "*");
523  break;
524  case ArrayType::Static:
525  JOS.attribute("sizeModifier", "static");
526  break;
527  case ArrayType::Normal:
528  break;
529  }
530 
531  std::string Str = AT->getIndexTypeQualifiers().getAsString();
532  if (!Str.empty())
533  JOS.attribute("indexTypeQualifiers", Str);
534 }
535 
537  // FIXME: this should use ZExt instead of SExt, but JSON doesn't allow a
538  // narrowing conversion to int64_t so it cannot be expressed.
539  JOS.attribute("size", CAT->getSize().getSExtValue());
540  VisitArrayType(CAT);
541 }
542 
544  const DependentSizedExtVectorType *VT) {
545  JOS.attributeObject(
546  "attrLoc", [VT, this] { writeSourceLocation(VT->getAttributeLoc()); });
547 }
548 
550  JOS.attribute("numElements", VT->getNumElements());
551  switch (VT->getVectorKind()) {
553  break;
555  JOS.attribute("vectorKind", "altivec");
556  break;
558  JOS.attribute("vectorKind", "altivec pixel");
559  break;
561  JOS.attribute("vectorKind", "altivec bool");
562  break;
564  JOS.attribute("vectorKind", "neon");
565  break;
567  JOS.attribute("vectorKind", "neon poly");
568  break;
569  }
570 }
571 
573  JOS.attribute("decl", createBareDeclRef(UUT->getDecl()));
574 }
575 
577  switch (UTT->getUTTKind()) {
579  JOS.attribute("transformKind", "underlying_type");
580  break;
581  }
582 }
583 
585  JOS.attribute("decl", createBareDeclRef(TT->getDecl()));
586 }
587 
589  const TemplateTypeParmType *TTPT) {
590  JOS.attribute("depth", TTPT->getDepth());
591  JOS.attribute("index", TTPT->getIndex());
592  attributeOnlyIfTrue("isPack", TTPT->isParameterPack());
593  JOS.attribute("decl", createBareDeclRef(TTPT->getDecl()));
594 }
595 
597  JOS.attribute("undeduced", !AT->isDeduced());
598  switch (AT->getKeyword()) {
600  JOS.attribute("typeKeyword", "auto");
601  break;
603  JOS.attribute("typeKeyword", "decltype(auto)");
604  break;
606  JOS.attribute("typeKeyword", "__auto_type");
607  break;
608  }
609 }
610 
612  const TemplateSpecializationType *TST) {
613  attributeOnlyIfTrue("isAlias", TST->isTypeAlias());
614 
615  std::string Str;
616  llvm::raw_string_ostream OS(Str);
617  TST->getTemplateName().print(OS, PrintPolicy);
618  JOS.attribute("templateName", OS.str());
619 }
620 
622  const InjectedClassNameType *ICNT) {
623  JOS.attribute("decl", createBareDeclRef(ICNT->getDecl()));
624 }
625 
627  JOS.attribute("decl", createBareDeclRef(OIT->getDecl()));
628 }
629 
632  JOS.attribute("numExpansions", *N);
633 }
634 
636  if (const NestedNameSpecifier *NNS = ET->getQualifier()) {
637  std::string Str;
638  llvm::raw_string_ostream OS(Str);
639  NNS->print(OS, PrintPolicy, /*ResolveTemplateArgs*/ true);
640  JOS.attribute("qualifier", OS.str());
641  }
642  if (const TagDecl *TD = ET->getOwnedTagDecl())
643  JOS.attribute("ownedTagDecl", createBareDeclRef(TD));
644 }
645 
647  JOS.attribute("macroName", MQT->getMacroIdentifier()->getName());
648 }
649 
651  attributeOnlyIfTrue("isData", MPT->isMemberDataPointer());
652  attributeOnlyIfTrue("isFunction", MPT->isMemberFunctionPointer());
653 }
654 
656  if (ND && ND->getDeclName())
657  JOS.attribute("name", ND->getNameAsString());
658 }
659 
661  VisitNamedDecl(TD);
662  JOS.attribute("type", createQualType(TD->getUnderlyingType()));
663 }
664 
666  VisitNamedDecl(TAD);
667  JOS.attribute("type", createQualType(TAD->getUnderlyingType()));
668 }
669 
671  VisitNamedDecl(ND);
672  attributeOnlyIfTrue("isInline", ND->isInline());
673  if (!ND->isOriginalNamespace())
674  JOS.attribute("originalNamespace",
675  createBareDeclRef(ND->getOriginalNamespace()));
676 }
677 
679  JOS.attribute("nominatedNamespace",
680  createBareDeclRef(UDD->getNominatedNamespace()));
681 }
682 
684  VisitNamedDecl(NAD);
685  JOS.attribute("aliasedNamespace",
686  createBareDeclRef(NAD->getAliasedNamespace()));
687 }
688 
690  std::string Name;
691  if (const NestedNameSpecifier *NNS = UD->getQualifier()) {
692  llvm::raw_string_ostream SOS(Name);
693  NNS->print(SOS, UD->getASTContext().getPrintingPolicy());
694  }
695  Name += UD->getNameAsString();
696  JOS.attribute("name", Name);
697 }
698 
700  JOS.attribute("target", createBareDeclRef(USD->getTargetDecl()));
701 }
702 
704  VisitNamedDecl(VD);
705  JOS.attribute("type", createQualType(VD->getType()));
706 
707  StorageClass SC = VD->getStorageClass();
708  if (SC != SC_None)
709  JOS.attribute("storageClass", VarDecl::getStorageClassSpecifierString(SC));
710  switch (VD->getTLSKind()) {
711  case VarDecl::TLS_Dynamic: JOS.attribute("tls", "dynamic"); break;
712  case VarDecl::TLS_Static: JOS.attribute("tls", "static"); break;
713  case VarDecl::TLS_None: break;
714  }
715  attributeOnlyIfTrue("nrvo", VD->isNRVOVariable());
716  attributeOnlyIfTrue("inline", VD->isInline());
717  attributeOnlyIfTrue("constexpr", VD->isConstexpr());
718  attributeOnlyIfTrue("modulePrivate", VD->isModulePrivate());
719  if (VD->hasInit()) {
720  switch (VD->getInitStyle()) {
721  case VarDecl::CInit: JOS.attribute("init", "c"); break;
722  case VarDecl::CallInit: JOS.attribute("init", "call"); break;
723  case VarDecl::ListInit: JOS.attribute("init", "list"); break;
724  }
725  }
726  attributeOnlyIfTrue("isParameterPack", VD->isParameterPack());
727 }
728 
730  VisitNamedDecl(FD);
731  JOS.attribute("type", createQualType(FD->getType()));
732  attributeOnlyIfTrue("mutable", FD->isMutable());
733  attributeOnlyIfTrue("modulePrivate", FD->isModulePrivate());
734  attributeOnlyIfTrue("isBitfield", FD->isBitField());
735  attributeOnlyIfTrue("hasInClassInitializer", FD->hasInClassInitializer());
736 }
737 
739  VisitNamedDecl(FD);
740  JOS.attribute("type", createQualType(FD->getType()));
741  StorageClass SC = FD->getStorageClass();
742  if (SC != SC_None)
743  JOS.attribute("storageClass", VarDecl::getStorageClassSpecifierString(SC));
744  attributeOnlyIfTrue("inline", FD->isInlineSpecified());
745  attributeOnlyIfTrue("virtual", FD->isVirtualAsWritten());
746  attributeOnlyIfTrue("pure", FD->isPure());
747  attributeOnlyIfTrue("explicitlyDeleted", FD->isDeletedAsWritten());
748  attributeOnlyIfTrue("constexpr", FD->isConstexpr());
749  attributeOnlyIfTrue("variadic", FD->isVariadic());
750 
751  if (FD->isDefaulted())
752  JOS.attribute("explicitlyDefaulted",
753  FD->isDeleted() ? "deleted" : "default");
754 }
755 
757  VisitNamedDecl(ED);
758  if (ED->isFixed())
759  JOS.attribute("fixedUnderlyingType", createQualType(ED->getIntegerType()));
760  if (ED->isScoped())
761  JOS.attribute("scopedEnumTag",
762  ED->isScopedUsingClassTag() ? "class" : "struct");
763 }
765  VisitNamedDecl(ECD);
766  JOS.attribute("type", createQualType(ECD->getType()));
767 }
768 
770  VisitNamedDecl(RD);
771  JOS.attribute("tagUsed", RD->getKindName());
772  attributeOnlyIfTrue("completeDefinition", RD->isCompleteDefinition());
773 }
775  VisitRecordDecl(RD);
776 
777  // All other information requires a complete definition.
778  if (!RD->isCompleteDefinition())
779  return;
780 
781  JOS.attribute("definitionData", createCXXRecordDefinitionData(RD));
782  if (RD->getNumBases()) {
783  JOS.attributeArray("bases", [this, RD] {
784  for (const auto &Spec : RD->bases())
785  JOS.value(createCXXBaseSpecifier(Spec));
786  });
787  }
788 }
789 
791  VisitNamedDecl(D);
792  JOS.attribute("tagUsed", D->wasDeclaredWithTypename() ? "typename" : "class");
793  JOS.attribute("depth", D->getDepth());
794  JOS.attribute("index", D->getIndex());
795  attributeOnlyIfTrue("isParameterPack", D->isParameterPack());
796 
797  if (D->hasDefaultArgument())
798  JOS.attributeObject("defaultArg", [=] {
799  Visit(D->getDefaultArgument(), SourceRange(),
800  D->getDefaultArgStorage().getInheritedFrom(),
801  D->defaultArgumentWasInherited() ? "inherited from" : "previous");
802  });
803 }
804 
806  const NonTypeTemplateParmDecl *D) {
807  VisitNamedDecl(D);
808  JOS.attribute("type", createQualType(D->getType()));
809  JOS.attribute("depth", D->getDepth());
810  JOS.attribute("index", D->getIndex());
811  attributeOnlyIfTrue("isParameterPack", D->isParameterPack());
812 
813  if (D->hasDefaultArgument())
814  JOS.attributeObject("defaultArg", [=] {
815  Visit(D->getDefaultArgument(), SourceRange(),
816  D->getDefaultArgStorage().getInheritedFrom(),
817  D->defaultArgumentWasInherited() ? "inherited from" : "previous");
818  });
819 }
820 
822  const TemplateTemplateParmDecl *D) {
823  VisitNamedDecl(D);
824  JOS.attribute("depth", D->getDepth());
825  JOS.attribute("index", D->getIndex());
826  attributeOnlyIfTrue("isParameterPack", D->isParameterPack());
827 
828  if (D->hasDefaultArgument())
829  JOS.attributeObject("defaultArg", [=] {
830  Visit(D->getDefaultArgument().getArgument(),
831  D->getDefaultArgStorage().getInheritedFrom()->getSourceRange(),
832  D->getDefaultArgStorage().getInheritedFrom(),
833  D->defaultArgumentWasInherited() ? "inherited from" : "previous");
834  });
835 }
836 
838  StringRef Lang;
839  switch (LSD->getLanguage()) {
840  case LinkageSpecDecl::lang_c: Lang = "C"; break;
841  case LinkageSpecDecl::lang_cxx: Lang = "C++"; break;
842  }
843  JOS.attribute("language", Lang);
844  attributeOnlyIfTrue("hasBraces", LSD->hasBraces());
845 }
846 
848  JOS.attribute("access", createAccessSpecifier(ASD->getAccess()));
849 }
850 
852  if (const TypeSourceInfo *T = FD->getFriendType())
853  JOS.attribute("type", createQualType(T->getType()));
854 }
855 
857  VisitNamedDecl(D);
858  JOS.attribute("type", createQualType(D->getType()));
859  attributeOnlyIfTrue("synthesized", D->getSynthesize());
860  switch (D->getAccessControl()) {
861  case ObjCIvarDecl::None: JOS.attribute("access", "none"); break;
862  case ObjCIvarDecl::Private: JOS.attribute("access", "private"); break;
863  case ObjCIvarDecl::Protected: JOS.attribute("access", "protected"); break;
864  case ObjCIvarDecl::Public: JOS.attribute("access", "public"); break;
865  case ObjCIvarDecl::Package: JOS.attribute("access", "package"); break;
866  }
867 }
868 
870  VisitNamedDecl(D);
871  JOS.attribute("returnType", createQualType(D->getReturnType()));
872  JOS.attribute("instance", D->isInstanceMethod());
873  attributeOnlyIfTrue("variadic", D->isVariadic());
874 }
875 
877  VisitNamedDecl(D);
878  JOS.attribute("type", createQualType(D->getUnderlyingType()));
879  attributeOnlyIfTrue("bounded", D->hasExplicitBound());
880  switch (D->getVariance()) {
882  break;
884  JOS.attribute("variance", "covariant");
885  break;
887  JOS.attribute("variance", "contravariant");
888  break;
889  }
890 }
891 
893  VisitNamedDecl(D);
894  JOS.attribute("interface", createBareDeclRef(D->getClassInterface()));
895  JOS.attribute("implementation", createBareDeclRef(D->getImplementation()));
896 
897  llvm::json::Array Protocols;
898  for (const auto* P : D->protocols())
899  Protocols.push_back(createBareDeclRef(P));
900  if (!Protocols.empty())
901  JOS.attribute("protocols", std::move(Protocols));
902 }
903 
905  VisitNamedDecl(D);
906  JOS.attribute("interface", createBareDeclRef(D->getClassInterface()));
907  JOS.attribute("categoryDecl", createBareDeclRef(D->getCategoryDecl()));
908 }
909 
911  VisitNamedDecl(D);
912 
913  llvm::json::Array Protocols;
914  for (const auto *P : D->protocols())
915  Protocols.push_back(createBareDeclRef(P));
916  if (!Protocols.empty())
917  JOS.attribute("protocols", std::move(Protocols));
918 }
919 
921  VisitNamedDecl(D);
922  JOS.attribute("super", createBareDeclRef(D->getSuperClass()));
923  JOS.attribute("implementation", createBareDeclRef(D->getImplementation()));
924 
925  llvm::json::Array Protocols;
926  for (const auto* P : D->protocols())
927  Protocols.push_back(createBareDeclRef(P));
928  if (!Protocols.empty())
929  JOS.attribute("protocols", std::move(Protocols));
930 }
931 
933  const ObjCImplementationDecl *D) {
934  VisitNamedDecl(D);
935  JOS.attribute("super", createBareDeclRef(D->getSuperClass()));
936  JOS.attribute("interface", createBareDeclRef(D->getClassInterface()));
937 }
938 
940  const ObjCCompatibleAliasDecl *D) {
941  VisitNamedDecl(D);
942  JOS.attribute("interface", createBareDeclRef(D->getClassInterface()));
943 }
944 
946  VisitNamedDecl(D);
947  JOS.attribute("type", createQualType(D->getType()));
948 
949  switch (D->getPropertyImplementation()) {
950  case ObjCPropertyDecl::None: break;
951  case ObjCPropertyDecl::Required: JOS.attribute("control", "required"); break;
952  case ObjCPropertyDecl::Optional: JOS.attribute("control", "optional"); break;
953  }
954 
956  if (Attrs != ObjCPropertyDecl::OBJC_PR_noattr) {
958  JOS.attribute("getter", createBareDeclRef(D->getGetterMethodDecl()));
960  JOS.attribute("setter", createBareDeclRef(D->getSetterMethodDecl()));
961  attributeOnlyIfTrue("readonly", Attrs & ObjCPropertyDecl::OBJC_PR_readonly);
962  attributeOnlyIfTrue("assign", Attrs & ObjCPropertyDecl::OBJC_PR_assign);
963  attributeOnlyIfTrue("readwrite",
965  attributeOnlyIfTrue("retain", Attrs & ObjCPropertyDecl::OBJC_PR_retain);
966  attributeOnlyIfTrue("copy", Attrs & ObjCPropertyDecl::OBJC_PR_copy);
967  attributeOnlyIfTrue("nonatomic",
969  attributeOnlyIfTrue("atomic", Attrs & ObjCPropertyDecl::OBJC_PR_atomic);
970  attributeOnlyIfTrue("weak", Attrs & ObjCPropertyDecl::OBJC_PR_weak);
971  attributeOnlyIfTrue("strong", Attrs & ObjCPropertyDecl::OBJC_PR_strong);
972  attributeOnlyIfTrue("unsafe_unretained",
974  attributeOnlyIfTrue("class", Attrs & ObjCPropertyDecl::OBJC_PR_class);
975  attributeOnlyIfTrue("nullability",
977  attributeOnlyIfTrue("null_resettable",
979  }
980 }
981 
984  JOS.attribute("implKind", D->getPropertyImplementation() ==
986  ? "synthesize"
987  : "dynamic");
988  JOS.attribute("propertyDecl", createBareDeclRef(D->getPropertyDecl()));
989  JOS.attribute("ivarDecl", createBareDeclRef(D->getPropertyIvarDecl()));
990 }
991 
993  attributeOnlyIfTrue("variadic", D->isVariadic());
994  attributeOnlyIfTrue("capturesThis", D->capturesCXXThis());
995 }
996 
998  JOS.attribute("encodedType", createQualType(OEE->getEncodedType()));
999 }
1000 
1002  std::string Str;
1003  llvm::raw_string_ostream OS(Str);
1004 
1005  OME->getSelector().print(OS);
1006  JOS.attribute("selector", OS.str());
1007 
1008  switch (OME->getReceiverKind()) {
1010  JOS.attribute("receiverKind", "instance");
1011  break;
1013  JOS.attribute("receiverKind", "class");
1014  JOS.attribute("classType", createQualType(OME->getClassReceiver()));
1015  break;
1017  JOS.attribute("receiverKind", "super (instance)");
1018  JOS.attribute("superType", createQualType(OME->getSuperType()));
1019  break;
1021  JOS.attribute("receiverKind", "super (class)");
1022  JOS.attribute("superType", createQualType(OME->getSuperType()));
1023  break;
1024  }
1025 
1026  QualType CallReturnTy = OME->getCallReturnType(Ctx);
1027  if (OME->getType() != CallReturnTy)
1028  JOS.attribute("callReturnType", createQualType(CallReturnTy));
1029 }
1030 
1032  if (const ObjCMethodDecl *MD = OBE->getBoxingMethod()) {
1033  std::string Str;
1034  llvm::raw_string_ostream OS(Str);
1035 
1036  MD->getSelector().print(OS);
1037  JOS.attribute("selector", OS.str());
1038  }
1039 }
1040 
1042  std::string Str;
1043  llvm::raw_string_ostream OS(Str);
1044 
1045  OSE->getSelector().print(OS);
1046  JOS.attribute("selector", OS.str());
1047 }
1048 
1050  JOS.attribute("protocol", createBareDeclRef(OPE->getProtocol()));
1051 }
1052 
1054  if (OPRE->isImplicitProperty()) {
1055  JOS.attribute("propertyKind", "implicit");
1056  if (const ObjCMethodDecl *MD = OPRE->getImplicitPropertyGetter())
1057  JOS.attribute("getter", createBareDeclRef(MD));
1058  if (const ObjCMethodDecl *MD = OPRE->getImplicitPropertySetter())
1059  JOS.attribute("setter", createBareDeclRef(MD));
1060  } else {
1061  JOS.attribute("propertyKind", "explicit");
1062  JOS.attribute("property", createBareDeclRef(OPRE->getExplicitProperty()));
1063  }
1064 
1065  attributeOnlyIfTrue("isSuperReceiver", OPRE->isSuperReceiver());
1066  attributeOnlyIfTrue("isMessagingGetter", OPRE->isMessagingGetter());
1067  attributeOnlyIfTrue("isMessagingSetter", OPRE->isMessagingSetter());
1068 }
1069 
1071  const ObjCSubscriptRefExpr *OSRE) {
1072  JOS.attribute("subscriptKind",
1073  OSRE->isArraySubscriptRefExpr() ? "array" : "dictionary");
1074 
1075  if (const ObjCMethodDecl *MD = OSRE->getAtIndexMethodDecl())
1076  JOS.attribute("getter", createBareDeclRef(MD));
1077  if (const ObjCMethodDecl *MD = OSRE->setAtIndexMethodDecl())
1078  JOS.attribute("setter", createBareDeclRef(MD));
1079 }
1080 
1082  JOS.attribute("decl", createBareDeclRef(OIRE->getDecl()));
1083  attributeOnlyIfTrue("isFreeIvar", OIRE->isFreeIvar());
1084  JOS.attribute("isArrow", OIRE->isArrow());
1085 }
1086 
1088  JOS.attribute("value", OBLE->getValue() ? "__objc_yes" : "__objc_no");
1089 }
1090 
1092  JOS.attribute("referencedDecl", createBareDeclRef(DRE->getDecl()));
1093  if (DRE->getDecl() != DRE->getFoundDecl())
1094  JOS.attribute("foundReferencedDecl",
1095  createBareDeclRef(DRE->getFoundDecl()));
1096  switch (DRE->isNonOdrUse()) {
1097  case NOUR_None: break;
1098  case NOUR_Unevaluated: JOS.attribute("nonOdrUseReason", "unevaluated"); break;
1099  case NOUR_Constant: JOS.attribute("nonOdrUseReason", "constant"); break;
1100  case NOUR_Discarded: JOS.attribute("nonOdrUseReason", "discarded"); break;
1101  }
1102 }
1103 
1105  JOS.attribute("name", PredefinedExpr::getIdentKindName(PE->getIdentKind()));
1106 }
1107 
1109  JOS.attribute("isPostfix", UO->isPostfix());
1110  JOS.attribute("opcode", UnaryOperator::getOpcodeStr(UO->getOpcode()));
1111  if (!UO->canOverflow())
1112  JOS.attribute("canOverflow", false);
1113 }
1114 
1116  JOS.attribute("opcode", BinaryOperator::getOpcodeStr(BO->getOpcode()));
1117 }
1118 
1120  const CompoundAssignOperator *CAO) {
1121  VisitBinaryOperator(CAO);
1122  JOS.attribute("computeLHSType", createQualType(CAO->getComputationLHSType()));
1123  JOS.attribute("computeResultType",
1124  createQualType(CAO->getComputationResultType()));
1125 }
1126 
1128  // Note, we always write this Boolean field because the information it conveys
1129  // is critical to understanding the AST node.
1130  ValueDecl *VD = ME->getMemberDecl();
1131  JOS.attribute("name", VD && VD->getDeclName() ? VD->getNameAsString() : "");
1132  JOS.attribute("isArrow", ME->isArrow());
1133  JOS.attribute("referencedMemberDecl", createPointerRepresentation(VD));
1134  switch (ME->isNonOdrUse()) {
1135  case NOUR_None: break;
1136  case NOUR_Unevaluated: JOS.attribute("nonOdrUseReason", "unevaluated"); break;
1137  case NOUR_Constant: JOS.attribute("nonOdrUseReason", "constant"); break;
1138  case NOUR_Discarded: JOS.attribute("nonOdrUseReason", "discarded"); break;
1139  }
1140 }
1141 
1143  attributeOnlyIfTrue("isGlobal", NE->isGlobalNew());
1144  attributeOnlyIfTrue("isArray", NE->isArray());
1145  attributeOnlyIfTrue("isPlacement", NE->getNumPlacementArgs() != 0);
1146  switch (NE->getInitializationStyle()) {
1147  case CXXNewExpr::NoInit: break;
1148  case CXXNewExpr::CallInit: JOS.attribute("initStyle", "call"); break;
1149  case CXXNewExpr::ListInit: JOS.attribute("initStyle", "list"); break;
1150  }
1151  if (const FunctionDecl *FD = NE->getOperatorNew())
1152  JOS.attribute("operatorNewDecl", createBareDeclRef(FD));
1153  if (const FunctionDecl *FD = NE->getOperatorDelete())
1154  JOS.attribute("operatorDeleteDecl", createBareDeclRef(FD));
1155 }
1157  attributeOnlyIfTrue("isGlobal", DE->isGlobalDelete());
1158  attributeOnlyIfTrue("isArray", DE->isArrayForm());
1159  attributeOnlyIfTrue("isArrayAsWritten", DE->isArrayFormAsWritten());
1160  if (const FunctionDecl *FD = DE->getOperatorDelete())
1161  JOS.attribute("operatorDeleteDecl", createBareDeclRef(FD));
1162 }
1163 
1165  attributeOnlyIfTrue("implicit", TE->isImplicit());
1166 }
1167 
1169  JOS.attribute("castKind", CE->getCastKindName());
1170  llvm::json::Array Path = createCastPath(CE);
1171  if (!Path.empty())
1172  JOS.attribute("path", std::move(Path));
1173  // FIXME: This may not be useful information as it can be obtusely gleaned
1174  // from the inner[] array.
1175  if (const NamedDecl *ND = CE->getConversionFunction())
1176  JOS.attribute("conversionFunc", createBareDeclRef(ND));
1177 }
1178 
1180  VisitCastExpr(ICE);
1181  attributeOnlyIfTrue("isPartOfExplicitCast", ICE->isPartOfExplicitCast());
1182 }
1183 
1185  attributeOnlyIfTrue("adl", CE->usesADL());
1186 }
1187 
1189  const UnaryExprOrTypeTraitExpr *TTE) {
1190  switch (TTE->getKind()) {
1191  case UETT_SizeOf: JOS.attribute("name", "sizeof"); break;
1192  case UETT_AlignOf: JOS.attribute("name", "alignof"); break;
1193  case UETT_VecStep: JOS.attribute("name", "vec_step"); break;
1194  case UETT_PreferredAlignOf: JOS.attribute("name", "__alignof"); break;
1196  JOS.attribute("name", "__builtin_omp_required_simd_align"); break;
1197  }
1198  if (TTE->isArgumentType())
1199  JOS.attribute("argType", createQualType(TTE->getArgumentType()));
1200 }
1201 
1203  VisitNamedDecl(SOPE->getPack());
1204 }
1205 
1207  const UnresolvedLookupExpr *ULE) {
1208  JOS.attribute("usesADL", ULE->requiresADL());
1209  JOS.attribute("name", ULE->getName().getAsString());
1210 
1211  JOS.attributeArray("lookups", [this, ULE] {
1212  for (const NamedDecl *D : ULE->decls())
1213  JOS.value(createBareDeclRef(D));
1214  });
1215 }
1216 
1218  JOS.attribute("name", ALE->getLabel()->getName());
1219  JOS.attribute("labelDeclId", createPointerRepresentation(ALE->getLabel()));
1220 }
1221 
1223  if (CTE->isTypeOperand()) {
1224  QualType Adjusted = CTE->getTypeOperand(Ctx);
1225  QualType Unadjusted = CTE->getTypeOperandSourceInfo()->getType();
1226  JOS.attribute("typeArg", createQualType(Unadjusted));
1227  if (Adjusted != Unadjusted)
1228  JOS.attribute("adjustedTypeArg", createQualType(Adjusted));
1229  }
1230 }
1231 
1233  if (CE->getResultAPValueKind() != APValue::None) {
1234  std::string Str;
1235  llvm::raw_string_ostream OS(Str);
1236  CE->getAPValueResult().printPretty(OS, Ctx, CE->getType());
1237  JOS.attribute("value", OS.str());
1238  }
1239 }
1240 
1242  if (const FieldDecl *FD = ILE->getInitializedFieldInUnion())
1243  JOS.attribute("field", createBareDeclRef(FD));
1244 }
1245 
1247  const GenericSelectionExpr *GSE) {
1248  attributeOnlyIfTrue("resultDependent", GSE->isResultDependent());
1249 }
1250 
1252  const CXXUnresolvedConstructExpr *UCE) {
1253  if (UCE->getType() != UCE->getTypeAsWritten())
1254  JOS.attribute("typeAsWritten", createQualType(UCE->getTypeAsWritten()));
1255  attributeOnlyIfTrue("list", UCE->isListInitialization());
1256 }
1257 
1259  CXXConstructorDecl *Ctor = CE->getConstructor();
1260  JOS.attribute("ctorType", createQualType(Ctor->getType()));
1261  attributeOnlyIfTrue("elidable", CE->isElidable());
1262  attributeOnlyIfTrue("list", CE->isListInitialization());
1263  attributeOnlyIfTrue("initializer_list", CE->isStdInitListInitialization());
1264  attributeOnlyIfTrue("zeroing", CE->requiresZeroInitialization());
1265  attributeOnlyIfTrue("hadMultipleCandidates", CE->hadMultipleCandidates());
1266 
1267  switch (CE->getConstructionKind()) {
1269  JOS.attribute("constructionKind", "complete");
1270  break;
1272  JOS.attribute("constructionKind", "delegating");
1273  break;
1275  JOS.attribute("constructionKind", "non-virtual base");
1276  break;
1278  JOS.attribute("constructionKind", "virtual base");
1279  break;
1280  }
1281 }
1282 
1284  attributeOnlyIfTrue("cleanupsHaveSideEffects",
1285  EWC->cleanupsHaveSideEffects());
1286  if (EWC->getNumObjects()) {
1287  JOS.attributeArray("cleanups", [this, EWC] {
1288  for (const ExprWithCleanups::CleanupObject &CO : EWC->getObjects())
1289  JOS.value(createBareDeclRef(CO));
1290  });
1291  }
1292 }
1293 
1295  const CXXBindTemporaryExpr *BTE) {
1296  const CXXTemporary *Temp = BTE->getTemporary();
1297  JOS.attribute("temp", createPointerRepresentation(Temp));
1298  if (const CXXDestructorDecl *Dtor = Temp->getDestructor())
1299  JOS.attribute("dtor", createBareDeclRef(Dtor));
1300 }
1301 
1303  const MaterializeTemporaryExpr *MTE) {
1304  if (const ValueDecl *VD = MTE->getExtendingDecl())
1305  JOS.attribute("extendingDecl", createBareDeclRef(VD));
1306 
1307  switch (MTE->getStorageDuration()) {
1308  case SD_Automatic:
1309  JOS.attribute("storageDuration", "automatic");
1310  break;
1311  case SD_Dynamic:
1312  JOS.attribute("storageDuration", "dynamic");
1313  break;
1314  case SD_FullExpression:
1315  JOS.attribute("storageDuration", "full expression");
1316  break;
1317  case SD_Static:
1318  JOS.attribute("storageDuration", "static");
1319  break;
1320  case SD_Thread:
1321  JOS.attribute("storageDuration", "thread");
1322  break;
1323  }
1324 
1325  attributeOnlyIfTrue("boundToLValueRef", MTE->isBoundToLvalueReference());
1326 }
1327 
1329  const CXXDependentScopeMemberExpr *DSME) {
1330  JOS.attribute("isArrow", DSME->isArrow());
1331  JOS.attribute("member", DSME->getMember().getAsString());
1332  attributeOnlyIfTrue("hasTemplateKeyword", DSME->hasTemplateKeyword());
1333  attributeOnlyIfTrue("hasExplicitTemplateArgs",
1334  DSME->hasExplicitTemplateArgs());
1335 
1336  if (DSME->getNumTemplateArgs()) {
1337  JOS.attributeArray("explicitTemplateArgs", [DSME, this] {
1338  for (const TemplateArgumentLoc &TAL : DSME->template_arguments())
1339  JOS.object(
1340  [&TAL, this] { Visit(TAL.getArgument(), TAL.getSourceRange()); });
1341  });
1342  }
1343 }
1344 
1346  JOS.attribute("value",
1347  IL->getValue().toString(
1348  /*Radix=*/10, IL->getType()->isSignedIntegerType()));
1349 }
1351  // FIXME: This should probably print the character literal as a string,
1352  // rather than as a numerical value. It would be nice if the behavior matched
1353  // what we do to print a string literal; right now, it is impossible to tell
1354  // the difference between 'a' and L'a' in C from the JSON output.
1355  JOS.attribute("value", CL->getValue());
1356 }
1358  JOS.attribute("value", FPL->getValueAsString(/*Radix=*/10));
1359 }
1362  FL->getValue().toString(Buffer);
1363  JOS.attribute("value", Buffer);
1364 }
1366  std::string Buffer;
1367  llvm::raw_string_ostream SS(Buffer);
1368  SL->outputString(SS);
1369  JOS.attribute("value", SS.str());
1370 }
1372  JOS.attribute("value", BLE->getValue());
1373 }
1374 
1376  attributeOnlyIfTrue("hasInit", IS->hasInitStorage());
1377  attributeOnlyIfTrue("hasVar", IS->hasVarStorage());
1378  attributeOnlyIfTrue("hasElse", IS->hasElseStorage());
1379  attributeOnlyIfTrue("isConstexpr", IS->isConstexpr());
1380 }
1381 
1383  attributeOnlyIfTrue("hasInit", SS->hasInitStorage());
1384  attributeOnlyIfTrue("hasVar", SS->hasVarStorage());
1385 }
1387  attributeOnlyIfTrue("isGNURange", CS->caseStmtIsGNURange());
1388 }
1389 
1391  JOS.attribute("name", LS->getName());
1392  JOS.attribute("declId", createPointerRepresentation(LS->getDecl()));
1393 }
1395  JOS.attribute("targetLabelDeclId",
1396  createPointerRepresentation(GS->getLabel()));
1397 }
1398 
1400  attributeOnlyIfTrue("hasVar", WS->hasVarStorage());
1401 }
1402 
1404  // FIXME: it would be nice for the ASTNodeTraverser would handle the catch
1405  // parameter the same way for C++ and ObjC rather. In this case, C++ gets a
1406  // null child node and ObjC gets no child node.
1407  attributeOnlyIfTrue("isCatchAll", OACS->getCatchParamDecl() == nullptr);
1408 }
1409 
1411  JOS.attribute("isNull", true);
1412 }
1414  JOS.attribute("type", createQualType(TA.getAsType()));
1415 }
1417  const TemplateArgument &TA) {
1418  JOS.attribute("decl", createBareDeclRef(TA.getAsDecl()));
1419 }
1421  JOS.attribute("isNullptr", true);
1422 }
1424  JOS.attribute("value", TA.getAsIntegral().getSExtValue());
1425 }
1427  // FIXME: cannot just call dump() on the argument, as that doesn't specify
1428  // the output format.
1429 }
1431  const TemplateArgument &TA) {
1432  // FIXME: cannot just call dump() on the argument, as that doesn't specify
1433  // the output format.
1434 }
1436  const TemplateArgument &TA) {
1437  JOS.attribute("isExpr", true);
1438 }
1440  JOS.attribute("isPack", true);
1441 }
1442 
1443 StringRef JSONNodeDumper::getCommentCommandName(unsigned CommandID) const {
1444  if (Traits)
1445  return Traits->getCommandInfo(CommandID)->Name;
1446  if (const comments::CommandInfo *Info =
1448  return Info->Name;
1449  return "<invalid>";
1450 }
1451 
1453  const comments::FullComment *) {
1454  JOS.attribute("text", C->getText());
1455 }
1456 
1459  JOS.attribute("name", getCommentCommandName(C->getCommandID()));
1460 
1461  switch (C->getRenderKind()) {
1463  JOS.attribute("renderKind", "normal");
1464  break;
1466  JOS.attribute("renderKind", "bold");
1467  break;
1469  JOS.attribute("renderKind", "emphasized");
1470  break;
1472  JOS.attribute("renderKind", "monospaced");
1473  break;
1474  }
1475 
1476  llvm::json::Array Args;
1477  for (unsigned I = 0, E = C->getNumArgs(); I < E; ++I)
1478  Args.push_back(C->getArgText(I));
1479 
1480  if (!Args.empty())
1481  JOS.attribute("args", std::move(Args));
1482 }
1483 
1486  JOS.attribute("name", C->getTagName());
1487  attributeOnlyIfTrue("selfClosing", C->isSelfClosing());
1488  attributeOnlyIfTrue("malformed", C->isMalformed());
1489 
1490  llvm::json::Array Attrs;
1491  for (unsigned I = 0, E = C->getNumAttrs(); I < E; ++I)
1492  Attrs.push_back(
1493  {{"name", C->getAttr(I).Name}, {"value", C->getAttr(I).Value}});
1494 
1495  if (!Attrs.empty())
1496  JOS.attribute("attrs", std::move(Attrs));
1497 }
1498 
1501  JOS.attribute("name", C->getTagName());
1502 }
1503 
1506  JOS.attribute("name", getCommentCommandName(C->getCommandID()));
1507 
1508  llvm::json::Array Args;
1509  for (unsigned I = 0, E = C->getNumArgs(); I < E; ++I)
1510  Args.push_back(C->getArgText(I));
1511 
1512  if (!Args.empty())
1513  JOS.attribute("args", std::move(Args));
1514 }
1515 
1518  switch (C->getDirection()) {
1520  JOS.attribute("direction", "in");
1521  break;
1523  JOS.attribute("direction", "out");
1524  break;
1526  JOS.attribute("direction", "in,out");
1527  break;
1528  }
1529  attributeOnlyIfTrue("explicit", C->isDirectionExplicit());
1530 
1531  if (C->hasParamName())
1532  JOS.attribute("param", C->isParamIndexValid() ? C->getParamName(FC)
1533  : C->getParamNameAsWritten());
1534 
1535  if (C->isParamIndexValid() && !C->isVarArgParam())
1536  JOS.attribute("paramIdx", C->getParamIndex());
1537 }
1538 
1541  if (C->hasParamName())
1542  JOS.attribute("param", C->isPositionValid() ? C->getParamName(FC)
1543  : C->getParamNameAsWritten());
1544  if (C->isPositionValid()) {
1545  llvm::json::Array Positions;
1546  for (unsigned I = 0, E = C->getDepth(); I < E; ++I)
1547  Positions.push_back(C->getIndex(I));
1548 
1549  if (!Positions.empty())
1550  JOS.attribute("positions", std::move(Positions));
1551  }
1552 }
1553 
1556  JOS.attribute("name", getCommentCommandName(C->getCommandID()));
1557  JOS.attribute("closeName", C->getCloseName());
1558 }
1559 
1562  const comments::FullComment *) {
1563  JOS.attribute("text", C->getText());
1564 }
1565 
1568  JOS.attribute("text", C->getText());
1569 }
void VisitFieldDecl(const FieldDecl *FD)
void VisitObjCProtocolDecl(const ObjCProtocolDecl *D)
ObjCPropertyRefExpr - A dot-syntax expression to access an ObjC property.
Definition: ExprObjC.h:614
bool isBaseInitializer() const
Determine whether this initializer is initializing a base class.
Definition: DeclCXX.h:2407
The receiver is the instance of the superclass object.
Definition: ExprObjC.h:1107
Represents a type that was referred to using an elaborated type keyword, e.g., struct S...
Definition: Type.h:5199
bool path_empty() const
Definition: Expr.h:3191
NamedDecl * getTargetDecl() const
Gets the underlying declaration which has been brought into the local scope.
Definition: DeclCXX.h:3329
const CXXDestructorDecl * getDestructor() const
Definition: ExprCXX.h:1256
Represents a function declaration or definition.
Definition: Decl.h:1748
NamedDecl * getFoundDecl()
Get the NamedDecl through which this reference occurred.
Definition: Expr.h:1254
bool isVarArgParam() const LLVM_READONLY
Definition: Comment.h:776
bool getValue() const
Definition: ExprObjC.h:97
The receiver is an object instance.
Definition: ExprObjC.h:1101
protocol_range protocols() const
Definition: DeclObjC.h:1365
no exception specification
A class which contains all the information about a particular captured value.
Definition: Decl.h:3921
Represents the dependent type named by a dependently-scoped typename using declaration, e.g.
Definition: Type.h:4154
StringRef getArgText(unsigned Idx) const
Definition: Comment.h:672
A (possibly-)qualified type.
Definition: Type.h:643
Static storage duration.
Definition: Specifiers.h:309
const char * getDeclKindName() const
Definition: DeclBase.cpp:122
base_class_range bases()
Definition: DeclCXX.h:825
void visitParamCommandComment(const comments::ParamCommandComment *C, const comments::FullComment *FC)
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
Definition: Expr.h:2890
void VisitObjCBoxedExpr(const ObjCBoxedExpr *OBE)
void VisitFloatingLiteral(const FloatingLiteral *FL)
ObjCMethodDecl * getAtIndexMethodDecl() const
Definition: ExprObjC.h:896
void VisitObjCSelectorExpr(const ObjCSelectorExpr *OSE)
ObjCInterfaceDecl * getClassInterface()
Definition: DeclObjC.h:2324
Selector getSelector() const
Definition: ExprObjC.cpp:337
unsigned getNumBases() const
Retrieves the number of base classes of this class.
Definition: DeclCXX.h:819
__auto_type (GNU extension)
ObjCIvarDecl * getPropertyIvarDecl() const
Definition: DeclObjC.h:2826
bool isSuperReceiver() const
Definition: ExprObjC.h:776
void VisitCXXDependentScopeMemberExpr(const CXXDependentScopeMemberExpr *ME)
bool hasVarStorage() const
True if this IfStmt has storage for a variable declaration.
Definition: Stmt.h:1882
bool isListInitialization() const
Determine whether this expression models list-initialization.
Definition: ExprCXX.h:3345
void VisitCXXNewExpr(const CXXNewExpr *NE)
bool isPositionValid() const LLVM_READONLY
Definition: Comment.h:842
void VisitInjectedClassNameType(const InjectedClassNameType *ICNT)
ObjCProtocolDecl * getProtocol() const
Definition: ExprObjC.h:519
Stmt - This represents one statement.
Definition: Stmt.h:66
FunctionType - C99 6.7.5.3 - Function Declarators.
Definition: Type.h:3387
bool isArrayFormAsWritten() const
Definition: ExprCXX.h:2288
IfStmt - This represents an if/then/else.
Definition: Stmt.h:1812
void VisitUsingDecl(const UsingDecl *UD)
ObjCMethodDecl * setAtIndexMethodDecl() const
Definition: ExprObjC.h:900
An instance of this object exists for each enum constant that is defined.
Definition: Decl.h:2819
void VisitObjCIvarRefExpr(const ObjCIvarRefExpr *OIRE)
StorageClass getStorageClass() const
Returns the storage class as written in the source.
Definition: Decl.h:1019
Represents the declaration of a typedef-name via the &#39;typedef&#39; type specifier.
Definition: Decl.h:3051
bool isConstexpr() const
Whether this is a (C++11) constexpr function or constexpr constructor.
Definition: Decl.h:2108
ArrayRef< CleanupObject > getObjects() const
Definition: ExprCXX.h:3233
static llvm::json::Object createCopyConstructorDefinitionData(const CXXRecordDecl *RD)
void VisitNamedDecl(const NamedDecl *ND)
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:88
bool needsOverloadResolutionForDestructor() const
Determine whether we need to eagerly declare a destructor for this class.
Definition: DeclCXX.h:1193
TagDecl * getDecl() const
Definition: Type.cpp:3224
llvm::APFloat getValue() const
Definition: Expr.h:1567
ObjCMethodDecl * getImplicitPropertySetter() const
Definition: ExprObjC.h:717
void VisitUnaryTransformType(const UnaryTransformType *UTT)
FunctionDecl * getOperatorNew() const
Definition: ExprCXX.h:2119
bool isVirtual() const
Determines whether the base class is a virtual base class (or not).
Definition: DeclCXX.h:245
A reference to a name which we were able to look up during parsing but could not resolve to a specifi...
Definition: ExprCXX.h:2938
Opcode getOpcode() const
Definition: Expr.h:3440
SourceLocation getLocation() const LLVM_READONLY
Definition: Comment.h:221
Represents a C++11 auto or C++14 decltype(auto) type.
Definition: Type.h:4817
void VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *OPRE)
The base class of the type hierarchy.
Definition: Type.h:1433
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called...
Definition: ExprCXX.h:1437
The parameter is covariant, e.g., X<T> is a subtype of X<U> when the type parameter is covariant and ...
void VisitTypedefType(const TypedefType *TT)
Represents an array type, per C99 6.7.5.2 - Array Declarators.
Definition: Type.h:2844
Represent a C++ namespace.
Definition: Decl.h:514
Represents a call to a C++ constructor.
Definition: ExprCXX.h:1326
ObjCSubscriptRefExpr - used for array and dictionary subscripting.
Definition: ExprObjC.h:845
void Visit(const Type *T)
Performs the operation associated with this visitor object.
Definition: TypeVisitor.h:68
void VisitObjCMessageExpr(const ObjCMessageExpr *OME)
AccessSpecifier
A C++ access specifier (public, private, protected), plus the special value "none" which means differ...
Definition: Specifiers.h:112
StringRef getParamName(const FullComment *FC) const
Definition: Comment.cpp:356
A container of type source information.
Definition: Decl.h:86
void VisitDependentSizedExtVectorType(const DependentSizedExtVectorType *VT)
bool hasVarStorage() const
True if this SwitchStmt has storage for a condition variable.
Definition: Stmt.h:2075
IdentKind getIdentKind() const
Definition: Expr.h:1921
void VisitMemberPointerType(const MemberPointerType *MPT)
void visitTextComment(const comments::TextComment *C, const comments::FullComment *)
TemplateTypeParmDecl * getDecl() const
Definition: Type.h:4637
Represents a C++ constructor within a class.
Definition: DeclCXX.h:2566
void VisitWhileStmt(const WhileStmt *WS)
Represents a prvalue temporary that is written into memory so that a reference can bind to it...
Definition: ExprCXX.h:4320
void VisitTemplateTypeParmType(const TemplateTypeParmType *TTPT)
bool isVirtualAsWritten() const
Whether this function is marked as virtual explicitly.
Definition: Decl.h:2014
bool needsOverloadResolutionForCopyConstructor() const
Determine whether we need to eagerly declare a defaulted copy constructor for this class...
Definition: DeclCXX.h:1010
bool hasInClassInitializer() const
Determine whether this member has a C++11 default member initializer.
Definition: Decl.h:2747
This name appears in an unevaluated operand.
Definition: Specifiers.h:163
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
Definition: Decl.h:3202
void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *TTE)
void VisitDeclRefExpr(const DeclRefExpr *DRE)
unsigned getDepth() const
Get the nesting depth of the template parameter.
void VisitTypeTemplateArgument(const TemplateArgument &TA)
FriendDecl - Represents the declaration of a friend entity, which can be a function, a type, or a templated function or type.
Definition: DeclFriend.h:53
void VisitIntegralTemplateArgument(const TemplateArgument &TA)
Represents a variable declaration or definition.
Definition: Decl.h:812
StringRef getArgText(unsigned Idx) const
Definition: Comment.h:360
bool isFixed() const
Returns true if this is an Objective-C, C++11, or Microsoft-style enumeration with a fixed underlying...
Definition: Decl.h:3562
const T * getAs() const
Member-template getAs<specific type>&#39;.
Definition: Type.h:6851
ObjCCategoryImplDecl * getImplementation() const
Definition: DeclObjC.cpp:2019
bool hasDefaultArgument() const
Determine whether this template parameter has a default argument.
Extra information about a function prototype.
Definition: Type.h:3799
ObjCMethodDecl - Represents an instance or class method declaration.
Definition: DeclObjC.h:138
static llvm::json::Object createMoveConstructorDefinitionData(const CXXRecordDecl *RD)
bool hasInitStorage() const
True if this SwitchStmt has storage for an init statement.
Definition: Stmt.h:2072
DeclarationName getName() const
Gets the name looked up.
Definition: ExprCXX.h:2854
bool isConst() const
Definition: Type.h:3662
const char * getName() const
Definition: Stmt.cpp:340
bool isInvalidDecl() const
Definition: DeclBase.h:553
unsigned getNumPlacementArgs() const
Definition: ExprCXX.h:2137
bool requiresADL() const
True if this declaration should be extended by argument-dependent lookup.
Definition: ExprCXX.h:3006
Not a TLS variable.
Definition: Decl.h:829
unsigned getIndex(unsigned Depth) const
Definition: Comment.h:851
protocol_range protocols() const
Definition: DeclObjC.h:2128
Represents an expression – generally a full-expression – that introduces cleanups to be run at the ...
Definition: ExprCXX.h:3207
noexcept(expression), value-dependent
void VisitObjCIvarDecl(const ObjCIvarDecl *D)
const ObjCInterfaceDecl * getSuperClass() const
Definition: DeclObjC.h:2688
ObjCPropertyDecl * getExplicitProperty() const
Definition: ExprObjC.h:707
void VisitCXXConstructExpr(const CXXConstructExpr *CE)
Information about a single command.
const char * getStmtClassName() const
Definition: Stmt.cpp:74
SourceLocation getAttributeLoc() const
Definition: Type.h:3177
LabelStmt - Represents a label, which has a substatement.
Definition: Stmt.h:1710
Represents a struct/union/class.
Definition: Decl.h:3626
LanguageIDs getLanguage() const
Return the language specified by this linkage specification.
Definition: DeclCXX.h:2988
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Definition: Decl.h:297
TypeSourceInfo * getFriendType() const
If this friend declaration names an (untemplated but possibly dependent) type, return the type; other...
Definition: DeclFriend.h:123
unsigned getDepth() const
Retrieve the depth of the template parameter.
void print(raw_ostream &OS, const PrintingPolicy &Policy, bool SuppressNNS=false) const
Print the template name.
bool cleanupsHaveSideEffects() const
Definition: ExprCXX.h:3245
QualType getComputationResultType() const
Definition: Expr.h:3651
unsigned getRegParm() const
Definition: Type.h:3550
bool isImplicit() const
Returns true if the attribute has been implicitly created instead of explicitly written by the user...
Definition: Attr.h:101
bool isInline() const
Returns true if this is an inline namespace declaration.
Definition: Decl.h:575
is ARM Neon vector
Definition: Type.h:3216
RenderKind getRenderKind() const
Definition: Comment.h:352
void VisitNamespaceDecl(const NamespaceDecl *ND)
Used for GCC&#39;s __alignof.
Definition: TypeTraits.h:106
The parameter is contravariant, e.g., X<T> is a subtype of X<U> when the type parameter is covariant ...
bool isSpelledAsLValue() const
Definition: Type.h:2721
Represents a member of a struct/union/class.
Definition: Decl.h:2607
TemplateName getTemplateName() const
Retrieve the name of the template that we are specializing.
Definition: Type.h:4974
TypeSourceInfo * getTypeSourceInfo() const
Returns the declarator information for a base class or delegating initializer.
Definition: DeclCXX.h:2468
StringRef getText() const LLVM_READONLY
Definition: Comment.h:883
const IdentifierInfo * getMacroIdentifier() const
Definition: Type.h:4228
void VisitDeclarationTemplateArgument(const TemplateArgument &TA)
ObjCMethodDecl * getSetterMethodDecl() const
Definition: DeclObjC.h:924
virtual SourceRange getSourceRange() const LLVM_READONLY
Source range that this declaration covers.
Definition: DeclBase.h:417
void VisitFriendDecl(const FriendDecl *FD)
TagDecl * getOwnedTagDecl() const
Return the (re)declaration of this type owned by this occurrence of this type, or nullptr if there is...
Definition: Type.h:5249
int Category
Definition: Format.cpp:1714
Represents an access specifier followed by colon &#39;:&#39;.
Definition: DeclCXX.h:132
void VisitCXXUnresolvedConstructExpr(const CXXUnresolvedConstructExpr *UCE)
void VisitObjCCompatibleAliasDecl(const ObjCCompatibleAliasDecl *D)
An r-value expression (a pr-value in the C++11 taxonomy) produces a temporary value.
Definition: Specifiers.h:124
Selector getSelector() const
Definition: ExprObjC.h:467
void VisitUnaryOperator(const UnaryOperator *UO)
void VisitExpressionTemplateArgument(const TemplateArgument &TA)
Represents Objective-C&#39;s @catch statement.
Definition: StmtObjC.h:77
void VisitAccessSpecDecl(const AccessSpecDecl *ASD)
bool getProducesResult() const
Definition: Type.h:3545
StringRef getOpcodeStr() const
Definition: Expr.h:3461
A command with word-like arguments that is considered inline content.
Definition: Comment.h:298
Describes an C or C++ initializer list.
Definition: Expr.h:4371
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
Definition: ExprCXX.h:668
Represents a C++ using-declaration.
Definition: DeclCXX.h:3480
bool isArrow() const
Definition: ExprObjC.h:584
static llvm::json::Object createMoveAssignmentDefinitionData(const CXXRecordDecl *RD)
UnresolvedUsingTypenameDecl * getDecl() const
Definition: Type.h:4165
AssociationTy< true > ConstAssociation
Definition: Expr.h:5356
bool isBitField() const
Determines whether this field is a bitfield.
Definition: Decl.h:2685
void VisitSizeOfPackExpr(const SizeOfPackExpr *SOPE)
An lvalue ref-qualifier was provided (&).
Definition: Type.h:1389
A line of text contained in a verbatim block.
Definition: Comment.h:863
bool isMessagingSetter() const
True if the property reference will result in a message to the setter.
Definition: ExprObjC.h:744
FunctionDecl * getOperatorDelete() const
Definition: ExprCXX.h:2300
void VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D)
bool isElidable() const
Whether this construction is elidable.
Definition: ExprCXX.h:1404
void VisitCharacterLiteral(const CharacterLiteral *CL)
bool isGlobalNew() const
Definition: ExprCXX.h:2160
Microsoft throw(...) extension.
A verbatim line command.
Definition: Comment.h:943
AccessSpecifier getAccessSpecifier() const
Returns the access specifier for this base specifier.
Definition: DeclCXX.h:272
LabelDecl * getDecl() const
Definition: Stmt.h:1727
void VisitObjCTypeParamDecl(const ObjCTypeParamDecl *D)
An x-value expression is a reference to an object with independent storage but which can be "moved"...
Definition: Specifiers.h:133
bool isTypeAlias() const
Determine if this template specialization type is for a type alias template that has been substituted...
Definition: Type.h:4959
path_iterator path_begin()
Definition: Expr.h:3193
SourceLocation getExpansionLoc(SourceLocation Loc) const
Given a SourceLocation object Loc, return the expansion location referenced by the ID...
PropertyAttributeKind getPropertyAttributes() const
Definition: DeclObjC.h:839
Sugar type that represents a type that was qualified by a qualifier written as a macro invocation...
Definition: Type.h:4210
const clang::PrintingPolicy & getPrintingPolicy() const
Definition: ASTContext.h:657
bool isByRef() const
Whether this is a "by ref" capture, i.e.
Definition: Decl.h:3946
bool containsUnexpandedParameterPack() const
Whether this type is or contains an unexpanded parameter pack, used to support C++0x variadic templat...
Definition: Type.h:1859
void VisitObjCAtCatchStmt(const ObjCAtCatchStmt *OACS)
unsigned getNumTemplateArgs() const
Retrieve the number of template arguments provided as part of this template-id.
Definition: ExprCXX.h:3614
A builtin binary operation expression such as "x + y" or "x <= y".
Definition: Expr.h:3405
static bool isPostfix(Opcode Op)
isPostfix - Return true if this is a postfix operation, like x++.
Definition: Expr.h:2063
Any part of the comment.
Definition: Comment.h:52
unsigned getSpellingLineNumber(SourceLocation Loc, bool *Invalid=nullptr) const
bool hasElseStorage() const
True if this IfStmt has storage for an else statement.
Definition: Stmt.h:1885
CXXRecordDecl * getDecl() const
Definition: Type.cpp:3314
bool isArrow() const
Definition: Expr.h:2991
bool isConstexpr() const
Whether this variable is (C++11) constexpr.
Definition: Decl.h:1386
void VisitImplicitCastExpr(const ImplicitCastExpr *ICE)
New-expression has a C++98 paren-delimited initializer.
Definition: ExprCXX.h:2057
void VisitIntegerLiteral(const IntegerLiteral *IL)
void VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D)
void VisitAutoType(const AutoType *AT)
CaseStmt - Represent a case statement.
Definition: Stmt.h:1478
void VisitPredefinedExpr(const PredefinedExpr *PE)
unsigned getIndex() const
Get the index of the template parameter within its parameter list.
bool isAnyMemberInitializer() const
Definition: DeclCXX.h:2415
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
Definition: Expr.h:3121
bool hasDefaultArgument() const
Determine whether this template parameter has a default argument.
Represents an Objective-C protocol declaration.
Definition: DeclObjC.h:2063
unsigned getParamIndex() const LLVM_READONLY
Definition: Comment.h:785
Represents binding an expression to a temporary.
Definition: ExprCXX.h:1277
DeclContext * getLexicalDeclContext()
getLexicalDeclContext - The declaration context where this Decl was lexically declared (LexicalDC)...
Definition: DeclBase.h:828
SourceLocation getSpellingLoc(SourceLocation Loc) const
Given a SourceLocation object, return the spelling location referenced by the ID. ...
CXXTemporary * getTemporary()
Definition: ExprCXX.h:1296
FieldDecl * getAnyMember() const
Definition: DeclCXX.h:2480
void VisitTemplateExpansionTemplateArgument(const TemplateArgument &TA)
PropertyControl getPropertyImplementation() const
Definition: DeclObjC.h:932
void * getAsOpaquePtr() const
Definition: Type.h:688
bool hasExplicitBound() const
Whether this type parameter has an explicitly-written type bound, e.g., "T : NSView".
Definition: DeclObjC.h:618
Represents a C++ member access expression where the actual member referenced could not be resolved be...
Definition: ExprCXX.h:3412
Represents an ObjC class declaration.
Definition: DeclObjC.h:1171
This is an odr-use.
Definition: Specifiers.h:161
Represents a linkage specification.
Definition: DeclCXX.h:2954
QualType getReturnType() const
Definition: DeclObjC.h:322
bool getNoReturn() const
Definition: Type.h:3544
void VisitIfStmt(const IfStmt *IS)
is ARM Neon polynomial vector
Definition: Type.h:3219
bool isParameterPack() const
Whether this template template parameter is a template parameter pack.
SplitQualType getSplitDesugaredType() const
Definition: Type.h:947
void VisitTypeAliasDecl(const TypeAliasDecl *TAD)
Represents an extended vector type where either the type or size is dependent.
Definition: Type.h:3160
Represents the this expression in C++.
Definition: ExprCXX.h:1001
ObjCIvarDecl * getDecl()
Definition: ExprObjC.h:576
New-expression has no initializer as written.
Definition: ExprCXX.h:2054
bool isArrayForm() const
Definition: ExprCXX.h:2287
static bool canPassInRegisters(Sema &S, CXXRecordDecl *D, TargetInfo::CallingConvKind CCK)
Determine whether a type is permitted to be passed or returned in registers, per C++ [class...
ObjCPropertyImplDecl - Represents implementation declaration of a property in a class or category imp...
Definition: DeclObjC.h:2758
A verbatim block command (e.
Definition: Comment.h:891
bool hasBraces() const
Determines whether this linkage specification had braces in its syntactic form.
Definition: DeclCXX.h:2997
void VisitPackExpansionType(const PackExpansionType *PET)
const ValueDecl * getExtendingDecl() const
Get the declaration which triggered the lifetime-extension of this temporary, if any.
Definition: ExprCXX.h:4383
StringRef getText() const LLVM_READONLY
Definition: Comment.h:282
bool isStdInitListInitialization() const
Whether this constructor call was written as list-initialization, but was interpreted as forming a st...
Definition: ExprCXX.h:1428
Represents the declaration of a typedef-name via a C++11 alias-declaration.
Definition: Decl.h:3071
void VisitArrayType(const ArrayType *AT)
Represents a prototype with parameter type info, e.g.
Definition: Type.h:3719
void VisitRecordDecl(const RecordDecl *RD)
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
Definition: ExprCXX.h:1398
QualType getComputationLHSType() const
Definition: Expr.h:3648
void VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *BTE)
bool isDelegatingInitializer() const
Determine whether this initializer is creating a delegating constructor.
Definition: DeclCXX.h:2435
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand...
Definition: Expr.h:2342
bool isParameterPack() const
Whether this parameter is a non-type template parameter pack.
bool isConstexpr() const
Definition: Stmt.h:1985
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
Definition: Expr.h:948
ValueDecl * getAsDecl() const
Retrieve the declaration for a declaration non-type template argument.
Definition: TemplateBase.h:263
void outputString(raw_ostream &OS) const
Definition: Expr.cpp:1097
void VisitNullPtrTemplateArgument(const TemplateArgument &TA)
void VisitExprWithCleanups(const ExprWithCleanups *EWC)
unsigned getValue() const
Definition: Expr.h:1534
ObjCMethodDecl * getBoxingMethod() const
Definition: ExprObjC.h:145
bool isValid() const
void VisitCompoundAssignOperator(const CompoundAssignOperator *CAO)
void VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D)
bool isInlineSpecified() const
Determine whether the "inline" keyword was specified for this function.
Definition: Decl.h:2377
void visitVerbatimBlockComment(const comments::VerbatimBlockComment *C, const comments::FullComment *)
Represents a block literal declaration, which is like an unnamed FunctionDecl.
Definition: Decl.h:3915
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition: Decl.h:636
StringRef getKindName() const
Definition: Decl.h:3272
void VisitCaseStmt(const CaseStmt *CS)
bool isVariadic() const
Whether this function is variadic.
Definition: Decl.cpp:2766
bool isDefaulted() const
Whether this function is defaulted per C++0x.
Definition: Decl.h:2048
std::string Label
bool isScopedUsingClassTag() const
Returns true if this is a C++11 scoped enumeration.
Definition: Decl.h:3556
static unsigned MeasureTokenLength(SourceLocation Loc, const SourceManager &SM, const LangOptions &LangOpts)
MeasureTokenLength - Relex the token at the specified location and return its length in bytes in the ...
Definition: Lexer.cpp:435
Declaration of a template type parameter.
unsigned getIndex() const
Definition: Type.h:4634
bool getHasRegParm() const
Definition: Type.h:3548
NonOdrUseReason isNonOdrUse() const
Is this expression a non-odr-use reference, and if so, why? This is only meaningful if the named memb...
Definition: Expr.h:3031
unsigned getLine() const
Return the presumed line number of this location.
This name appears as a potential result of an lvalue-to-rvalue conversion that is a constant expressi...
Definition: Specifiers.h:166
Represents a C++ destructor within a class.
Definition: DeclCXX.h:2830
New-expression has a C++11 list-initializer.
Definition: ExprCXX.h:2060
std::string getAsString() const
Retrieve the human-readable string for this name.
bool isImplicit() const
isImplicit - Indicates whether the declaration was implicitly generated by the implementation.
Definition: DeclBase.h:558
const char * getTypeClassName() const
Definition: Type.cpp:2689
void VisitFunctionProtoType(const FunctionProtoType *T)
QualType getArgumentType() const
Definition: Expr.h:2379
A command that has zero or more word-like arguments (number of word-like arguments depends on command...
Definition: Comment.h:596
DeclContext * getDeclContext()
Definition: DeclBase.h:438
ObjCSelectorExpr used for @selector in Objective-C.
Definition: ExprObjC.h:454
ObjCInterfaceDecl * getSuperClass() const
Definition: DeclObjC.cpp:337
TLSKind getTLSKind() const
Definition: Decl.cpp:1970
Represents an expression that computes the length of a parameter pack.
Definition: ExprCXX.h:3992
StorageClass getStorageClass() const
Returns the storage class as written in the source.
Definition: Decl.h:2366
NonTypeTemplateParmDecl - Declares a non-type template parameter, e.g., "Size" in.
static llvm::json::Object createDestructorDefinitionData(const CXXRecordDecl *RD)
void VisitElaboratedType(const ElaboratedType *ET)
A std::pair-like structure for storing a qualified type split into its local qualifiers and its local...
Definition: Type.h:582
bool isSignedIntegerType() const
Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char, signed char, short, int, long..], or an enum decl which has a signed representation.
Definition: Type.cpp:1875
void VisitObjCProtocolExpr(const ObjCProtocolExpr *OPE)
void print(llvm::raw_ostream &OS) const
Prints the full selector name (e.g. "foo:bar:").
QualType getType() const
Definition: Expr.h:137
void VisitTemplateSpecializationType(const TemplateSpecializationType *TST)
StorageClass
Storage classes.
Definition: Specifiers.h:234
void VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *MTE)
A unary type transform, which is a type constructed from another.
Definition: Type.h:4357
void VisitBinaryOperator(const BinaryOperator *BO)
Direct list-initialization (C++11)
Definition: Decl.h:823
Qualifiers Quals
The local qualifiers.
Definition: Type.h:587
bool isDirectionExplicit() const LLVM_READONLY
Definition: Comment.h:749
LabelDecl * getLabel() const
Definition: Stmt.h:2468
StorageDuration getStorageDuration() const
Retrieve the storage duration for the materialized temporary.
Definition: ExprCXX.h:4364
QualType getEncodedType() const
Definition: ExprObjC.h:428
An expression that sends a message to the given Objective-C object or class.
Definition: ExprObjC.h:950
Represents an unpacked "presumed" location which can be presented to the user.
ObjCMethodDecl * getImplicitPropertyGetter() const
Definition: ExprObjC.h:712
SourceLocation getEnd() const
UnaryOperator - This represents the unary-expression&#39;s (except sizeof and alignof), the postinc/postdec operators from postfix-expression, and various extensions.
Definition: Expr.h:2016
bool isInstanceMethod() const
Definition: DeclObjC.h:421
Represents a GCC generic vector type.
Definition: Type.h:3200
An opening HTML tag with attributes.
Definition: Comment.h:413
ReceiverKind getReceiverKind() const
Determine the kind of receiver that this message is being sent to.
Definition: ExprObjC.h:1234
ArraySizeModifier getSizeModifier() const
Definition: Type.h:2881
QualType getTypeOperand(ASTContext &Context) const
Retrieves the type operand of this typeid() expression after various required adjustments (removing r...
Definition: ExprCXX.cpp:76
QualType getCallReturnType(ASTContext &Ctx) const
Definition: ExprObjC.cpp:296
TemplateTemplateParmDecl - Declares a template template parameter, e.g., "T" in.
UTTKind getUTTKind() const
Definition: Type.h:4385
ValueDecl * getDecl()
Definition: Expr.h:1217
void VisitUnresolvedUsingType(const UnresolvedUsingType *UUT)
std::string getAsString() const
static QualType Desugar(ASTContext &Context, QualType QT, bool &ShouldAKA)
unsigned getExpansionLineNumber(SourceLocation Loc, bool *Invalid=nullptr) const
void VisitObjCCategoryDecl(const ObjCCategoryDecl *D)
bool isNull() const
Return true if this QualType doesn&#39;t point to a type yet.
Definition: Type.h:708
InitializationStyle getInitStyle() const
The style of initialization for this declaration.
Definition: Decl.h:1283
void VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D)
QualType getType() const
Definition: DeclObjC.h:828
bool getValue() const
Definition: ExprCXX.h:561
void VisitObjCEncodeExpr(const ObjCEncodeExpr *OEE)
APValue getAPValueResult() const
Definition: Expr.cpp:345
Dynamic storage duration.
Definition: Specifiers.h:310
SplitQualType split() const
Divides a QualType into its unqualified type and a set of local qualifiers.
Definition: Type.h:6150
const char * getFilename() const
Return the presumed filename of this location.
noexcept(expression), evals to &#39;false&#39;
Thread storage duration.
Definition: Specifiers.h:308
void visitInlineCommandComment(const comments::InlineCommandComment *C, const comments::FullComment *)
is AltiVec &#39;vector Pixel&#39;
Definition: Type.h:3210
static StringRef getIdentKindName(IdentKind IK)
Definition: Expr.cpp:640
not a target-specific vector type
Definition: Type.h:3204
ExceptionSpecificationType Type
The kind of exception specification this is.
Definition: Type.h:3775
bool isImplicitProperty() const
Definition: ExprObjC.h:704
ExtProtoInfo getExtProtoInfo() const
Definition: Type.h:3932
void Visit(const Attr *A)
unsigned getColumn() const
Return the presumed column number of this location.
bool isParameterPack() const
Returns whether this is a parameter pack.
Encodes a location in the source.
bool getSynthesize() const
Definition: DeclObjC.h:1990
ObjCInterfaceDecl * getDecl() const
Get the declaration of this interface.
Definition: Type.h:5821
bool isPure() const
Whether this virtual function is pure, i.e.
Definition: Decl.h:2023
bool hasVarStorage() const
True if this WhileStmt has storage for a condition variable.
Definition: Stmt.h:2247
bool isMemberDataPointer() const
Returns true if the member type (i.e.
Definition: Type.h:2818
void VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *ULE)
void VisitVectorType(const VectorType *VT)
Represents a C++ temporary.
Definition: ExprCXX.h:1245
bool hasExplicitTemplateArgs() const
Determines whether this member expression actually had a C++ template argument list explicitly specif...
Definition: ExprCXX.h:3593
Interfaces are the core concept in Objective-C for object oriented design.
Definition: Type.h:5808
bool isVariablyModifiedType() const
Whether this type is a variably-modified type (C99 6.7.5).
Definition: Type.h:2124
static llvm::json::Object createDefaultConstructorDefinitionData(const CXXRecordDecl *RD)
std::string getNameAsString() const
Get a human-readable name for the declaration, even if it is one of the special kinds of names (C++ c...
Definition: Decl.h:291
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)"...
Definition: ExprCXX.h:2000
void VisitCXXDeleteExpr(const CXXDeleteExpr *DE)
bool wasDeclaredWithTypename() const
Whether this template type parameter was declared with the &#39;typename&#39; keyword.
void VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *BLE)
Represents the declaration of a struct/union/class/enum.
Definition: Decl.h:3097
SourceRange getSourceRange() const LLVM_READONLY
Definition: Comment.h:215
ASTContext & getASTContext() const LLVM_READONLY
Definition: DeclBase.cpp:376
CallingConv getCC() const
Definition: Type.h:3557
ObjCCategoryDecl * getCategoryDecl() const
Definition: DeclObjC.cpp:2063
bool isParamIndexValid() const LLVM_READONLY
Definition: Comment.h:772
static llvm::json::Object createCopyAssignmentDefinitionData(const CXXRecordDecl *RD)
const CommandInfo * getCommandInfo(StringRef Name) const
bool isRestrict() const
Definition: Type.h:3664
std::string getValueAsString(unsigned Radix) const
Definition: Expr.cpp:949
void VisitFixedPointLiteral(const FixedPointLiteral *FPL)
bool canOverflow() const
Returns true if the unary operator can cause an overflow.
Definition: Expr.h:2059
void VisitUsingDirectiveDecl(const UsingDirectiveDecl *UDD)
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
No ref-qualifier was provided.
Definition: Type.h:1386
C-style initialization with assignment.
Definition: Decl.h:817
bool isPackExpansion() const
Determine whether this base specifier is a pack expansion.
Definition: DeclCXX.h:252
bool isBoundToLvalueReference() const
Determine whether this materialized temporary is bound to an lvalue reference; otherwise, it&#39;s bound to an rvalue reference.
Definition: ExprCXX.h:4396
bool isParameterPack() const
Definition: Type.h:4635
bool isLiteral(TokenKind K)
Return true if this is a "literal" kind, like a numeric constant, string, etc.
Definition: TokenKinds.h:85
ObjCCategoryDecl - Represents a category declaration.
Definition: DeclObjC.h:2279
This is a basic class for representing single OpenMP clause.
Definition: OpenMPClause.h:50
void VisitUsingShadowDecl(const UsingShadowDecl *USD)
UnaryExprOrTypeTrait getKind() const
Definition: Expr.h:2373
bool isArray() const
Definition: ExprCXX.h:2124
bool isScoped() const
Returns true if this is a C++11 scoped enumeration.
Definition: Decl.h:3553
ObjCProtocolExpr used for protocol expression in Objective-C.
Definition: ExprObjC.h:503
StringRef getParamNameAsWritten() const
Definition: Comment.h:834
bool hasDefaultArgument() const
Determine whether this template parameter has a default argument.
is AltiVec &#39;vector bool ...&#39;
Definition: Type.h:3213
Represents one property declaration in an Objective-C interface.
Definition: DeclObjC.h:728
void VisitObjCInterfaceType(const ObjCInterfaceType *OIT)
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
Definition: Expr.h:3245
bool hasTemplateKeyword() const
Determines whether the member name was preceded by the template keyword.
Definition: ExprCXX.h:3589
NestedNameSpecifier * getQualifier() const
Retrieve the qualification on this type.
Definition: Type.h:5236
bool isMessagingGetter() const
True if the property reference will result in a message to the getter.
Definition: ExprObjC.h:737
PassDirection getDirection() const LLVM_READONLY
Definition: Comment.h:745
is AltiVec vector
Definition: Type.h:3207
AutoTypeKeyword getKeyword() const
Definition: Type.h:4832
Qualifiers getIndexTypeQualifiers() const
Definition: Type.h:2885
Used for C&#39;s _Alignof and C++&#39;s alignof.
Definition: TypeTraits.h:100
bool isUsed(bool CheckUsedAttr=true) const
Whether any (re-)declaration of the entity was used, meaning that a definition is required...
Definition: DeclBase.cpp:397
bool isOriginalNamespace() const
Return true if this declaration is an original (first) declaration of the namespace.
Definition: DeclCXX.cpp:2696
VarDecl * getVariable() const
The variable being captured.
Definition: Decl.h:3942
llvm::APSInt getAsIntegral() const
Retrieve the template argument as an integral value.
Definition: TemplateBase.h:300
void VisitVarDecl(const VarDecl *VD)
void printPretty(raw_ostream &OS, const ASTContext &Ctx, QualType Ty) const
Definition: APValue.cpp:459
Indicates that the nullability of the type was spelled with a property attribute rather than a type q...
Definition: DeclObjC.h:748
A closing HTML tag.
Definition: Comment.h:507
An rvalue ref-qualifier was provided (&&).
Definition: Type.h:1392
ObjCBoxedExpr - used for generalized expression boxing.
Definition: ExprObjC.h:124
void VisitTemplateTemplateArgument(const TemplateArgument &TA)
bool isArgumentType() const
Definition: Expr.h:2378
ArrayRef< TemplateArgumentLoc > template_arguments() const
Definition: ExprCXX.h:3621
ObjCImplementationDecl * getImplementation() const
Definition: DeclObjC.cpp:1548
Optional< unsigned > getNumExpansions() const
Retrieve the number of expansions that this pack expansion will generate, if known.
Definition: Type.h:5450
bool isPartOfExplicitCast() const
Definition: Expr.h:3264
std::string getAsString() const
FunctionDecl * getOperatorDelete() const
Definition: ExprCXX.h:2121
void VisitConstantExpr(const ConstantExpr *CE)
void visitHTMLStartTagComment(const comments::HTMLStartTagComment *C, const comments::FullComment *)
bool isInstantiationDependentType() const
Determine whether this type is an instantiation-dependent type, meaning that the type involves a temp...
Definition: Type.h:2114
void VisitFunctionType(const FunctionType *T)
Doxygen \tparam command, describes a template parameter.
Definition: Comment.h:799
protocol_range protocols() const
Definition: DeclObjC.h:2355
NonOdrUseReason isNonOdrUse() const
Is this expression a non-odr-use reference, and if so, why?
Definition: Expr.h:1341
The injected class name of a C++ class template or class template partial specialization.
Definition: Type.h:5048
Represents a pack expansion of types.
Definition: Type.h:5425
InitializationStyle getInitializationStyle() const
The kind of initializer this new-expression has.
Definition: ExprCXX.h:2168
CompoundAssignOperator - For compound assignments (e.g.
Definition: Expr.h:3625
static const char * getStorageClassSpecifierString(StorageClass SC)
Return the string used to specify the storage class SC.
Definition: Decl.cpp:1922
Represents a C11 generic selection.
Definition: Expr.h:5196
StringRef getName() const
Return the actual identifier string.
void VisitMemberExpr(const MemberExpr *ME)
SourceRange getRange() const
Definition: Attr.h:94
void VisitMacroQualifiedType(const MacroQualifiedType *MQT)
void VisitAddrLabelExpr(const AddrLabelExpr *ALE)
AddrLabelExpr - The GNU address of label extension, representing &&label.
Definition: Expr.h:3878
#define FIELD1(Flag)
TLS with a dynamic initializer.
Definition: Decl.h:835
Represents a template argument.
Definition: TemplateBase.h:50
bool isThisDeclarationReferenced() const
Whether this declaration was referenced.
Definition: DeclBase.h:586
bool isDeduced() const
Definition: Type.h:4806
This name appears as a potential result of a discarded value expression.
Definition: Specifiers.h:169
const ObjCInterfaceDecl * getClassInterface() const
Definition: DeclObjC.h:2439
bool isTypeOperand() const
Definition: ExprCXX.h:708
NamespaceDecl * getNominatedNamespace()
Returns the namespace nominated by this using-directive.
Definition: DeclCXX.cpp:2651
void VisitGenericSelectionExpr(const GenericSelectionExpr *GSE)
Dataflow Directional Tag Classes.
bool isResultDependent() const
Whether this generic selection is result-dependent.
Definition: Expr.h:5376
ExtInfo getExtInfo() const
Definition: Type.h:3656
not evaluated yet, for special member function
[C99 6.4.2.2] - A predefined identifier such as func.
Definition: Expr.h:1873
void visitVerbatimBlockLineComment(const comments::VerbatimBlockLineComment *C, const comments::FullComment *)
void VisitInitListExpr(const InitListExpr *ILE)
Represents a delete expression for memory deallocation and destructor calls, e.g. ...
Definition: ExprCXX.h:2260
bool isNested() const
Whether this is a nested capture, i.e.
Definition: Decl.h:3958
bool isVariadic() const
Definition: Decl.h:3990
Kind getPropertyImplementation() const
Definition: DeclObjC.h:2822
void VisitSwitchStmt(const SwitchStmt *SS)
void VisitLabelStmt(const LabelStmt *LS)
bool isImplicit() const
Definition: ExprCXX.h:1022
bool hasInitStorage() const
True if this IfStmt has the storage for an init statement.
Definition: Stmt.h:1879
QualType getSuperType() const
Retrieve the type referred to by &#39;super&#39;.
Definition: ExprObjC.h:1336
void VisitCXXTypeidExpr(const CXXTypeidExpr *CTE)
QualType getUnderlyingType() const
Definition: Decl.h:3004
AccessSpecifier getAccess() const
Definition: DeclBase.h:473
NamespaceDecl * getOriginalNamespace()
Get the original (first) namespace declaration.
Definition: DeclCXX.cpp:2682
unsigned getIndex() const
Retrieve the index of the template parameter.
bool usesADL() const
Definition: Expr.h:2644
DeclarationName getMember() const
Retrieve the name of the member that this expression refers to.
Definition: ExprCXX.h:3558
void VisitTypedefDecl(const TypedefDecl *TD)
Represents the declaration of an Objective-C type parameter.
Definition: DeclObjC.h:558
VectorKind getVectorKind() const
Definition: Type.h:3245
void VisitCallExpr(const CallExpr *CE)
Kind getKind() const
Definition: DeclBase.h:432
void visitTParamCommandComment(const comments::TParamCommandComment *C, const comments::FullComment *FC)
bool isListInitialization() const
Whether this constructor call was written as list-initialization.
Definition: ExprCXX.h:1417
const Type * getBaseClass() const
If this is a base class initializer, returns the type of the base class.
Definition: DeclCXX.cpp:2346
Represents an enum.
Definition: Decl.h:3359
PresumedLoc getPresumedLoc(SourceLocation Loc, bool UseLineDirectives=true) const
Returns the "presumed" location of a SourceLocation specifies.
A pointer to member type per C++ 8.3.3 - Pointers to members.
Definition: Type.h:2788
bool isParameterPack() const
Determine whether this variable is actually a function parameter pack or init-capture pack...
Definition: Decl.cpp:2420
void VisitCXXRecordDecl(const CXXRecordDecl *RD)
void VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *OSRE)
const ObjCInterfaceDecl * getClassInterface() const
Definition: DeclObjC.h:2746
TypeSourceInfo * getTypeOperandSourceInfo() const
Retrieve source information for the type operand.
Definition: ExprCXX.h:715
llvm::APInt getValue() const
Definition: Expr.h:1400
void VisitBlockDecl(const BlockDecl *D)
LabelDecl * getLabel() const
Definition: Expr.h:3900
QualType getClassReceiver() const
Returns the type of a class message send, or NULL if the message is not a class message.
Definition: ExprObjC.h:1279
path_iterator path_end()
Definition: Expr.h:3194
StringRef getTagName() const LLVM_READONLY
Definition: Comment.h:395
SwitchStmt - This represents a &#39;switch&#39; stmt.
Definition: Stmt.h:2017
bool needsOverloadResolutionForMoveConstructor() const
Determine whether we need to eagerly declare a defaulted move constructor for this class...
Definition: DeclCXX.h:1100
ObjCImplementationDecl - Represents a class definition - this is where method definitions are specifi...
Definition: DeclObjC.h:2551
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...
Definition: Type.h:4438
Location wrapper for a TemplateArgument.
Definition: TemplateBase.h:449
bool isMacroArgExpansion(SourceLocation Loc, SourceLocation *StartLoc=nullptr) const
Tests whether the given source location represents a macro argument&#39;s expansion into the function-lik...
static const CommandInfo * getBuiltinCommandInfo(StringRef Name)
Represents a C++ base or member initializer.
Definition: DeclCXX.h:2338
void VisitObjCPropertyDecl(const ObjCPropertyDecl *D)
unsigned getNumObjects() const
Definition: ExprCXX.h:3238
ObjCEncodeExpr, used for @encode in Objective-C.
Definition: ExprObjC.h:407
bool isFromAST() const
Whether this type comes from an AST file.
Definition: Type.h:1842
const llvm::APInt & getSize() const
Definition: Type.h:2922
void VisitGotoStmt(const GotoStmt *GS)
void VisitCastExpr(const CastExpr *CE)
Opcode getOpcode() const
Definition: Expr.h:2041
Base for LValueReferenceType and RValueReferenceType.
Definition: Type.h:2705
static const char * getCastKindName(CastKind CK)
Definition: Expr.cpp:1876
bool isVolatile() const
Definition: Type.h:3663
void VisitPackTemplateArgument(const TemplateArgument &TA)
void VisitEnumDecl(const EnumDecl *ED)
NamedDecl * getConversionFunction() const
If this cast applies a user-defined conversion, retrieve the conversion function that it invokes...
Definition: Expr.cpp:1924
void VisitConstantArrayType(const ConstantArrayType *CAT)
bool isArrow() const
Determine whether this member expression used the &#39;->&#39; operator; otherwise, it used the &#39;...
Definition: ExprCXX.h:3519
Represents a base class of a C++ class.
Definition: DeclCXX.h:192
ObjCIvarRefExpr - A reference to an ObjC instance variable.
Definition: ExprObjC.h:546
ArrayRef< QualType > Exceptions
Explicitly-specified list of exception types.
Definition: Type.h:3778
void visitBlockCommandComment(const comments::BlockCommandComment *C, const comments::FullComment *)
bool capturesCXXThis() const
Definition: Decl.h:4047
llvm::iterator_range< decls_iterator > decls() const
Definition: ExprCXX.h:2843
Describes an explicit type conversion that uses functional notion but could not be resolved because o...
Definition: ExprCXX.h:3291
GotoStmt - This represents a direct goto.
Definition: Stmt.h:2455
TypedefNameDecl * getDecl() const
Definition: Type.h:4200
llvm::json::OStream JOS
void VisitTagType(const TagType *TT)
unsigned getDepth() const
Definition: Type.h:4633
bool isFreeIvar() const
Definition: ExprObjC.h:585
Call-style initialization (C++98)
Definition: Decl.h:820
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
Definition: Expr.h:2807
void VisitEnumConstantDecl(const EnumConstantDecl *ECD)
void VisitObjCMethodDecl(const ObjCMethodDecl *D)
bool isMutable() const
Determines whether this field is mutable (C++ only).
Definition: Decl.h:2682
static bool isTrivial(ASTContext &Ctx, const Expr *E)
Checks if the expression is constant or does not have non-trivial function calls. ...
Represents a C++ struct/union/class.
Definition: DeclCXX.h:300
void VisitRValueReferenceType(const ReferenceType *RT)
const char * getCommentKindName() const
Definition: Comment.cpp:20
bool isValid() const
bool isMemberFunctionPointer() const
Returns true if the member type (i.e.
Definition: Type.h:2812
bool isNRVOVariable() const
Determine whether this local variable can be used with the named return value optimization (NRVO)...
Definition: Decl.h:1329
ObjCIvarDecl - Represents an ObjC instance variable.
Definition: DeclObjC.h:1944
There is no such object (it&#39;s outside its lifetime).
Definition: APValue.h:82
WhileStmt - This represents a &#39;while&#39; stmt.
Definition: Stmt.h:2200
bool isInherited() const
Definition: Attr.h:97
bool isVariadic() const
Definition: DeclObjC.h:426
The receiver is a class.
Definition: ExprObjC.h:1098
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
Definition: Stmt.cpp:251
bool isGlobalDelete() const
Definition: ExprCXX.h:2286
void VisitNamespaceAliasDecl(const NamespaceAliasDecl *NAD)
StringLiteral - This represents a string literal expression, e.g.
Definition: Expr.h:1681
Full-expression storage duration (for temporaries).
Definition: Specifiers.h:306
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Definition: Expr.h:2516
TLS with a known-constant initializer.
Definition: Decl.h:832
QualType getIntegerType() const
Return the integer type this enum decl corresponds to.
Definition: Decl.h:3513
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
Definition: Decl.h:275
void VisitStringLiteral(const StringLiteral *SL)
StringRef getParamNameAsWritten() const
Definition: Comment.h:764
NestedNameSpecifier * getQualifier() const
Retrieve the nested-name-specifier that qualifies the name.
Definition: DeclCXX.h:3523
void VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D)
unsigned getNumElements() const
Definition: Type.h:3236
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
Definition: ExprObjC.h:85
Microsoft __declspec(nothrow) extension.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
Definition: Type.h:2108
QualType getAsType() const
Retrieve the type for a type template argument.
Definition: TemplateBase.h:256
#define FIELD2(Name, Flag)
A reference to a declared variable, function, enum, etc.
Definition: Expr.h:1141
Represents a type template specialization; the template must be a class template, a type alias templa...
Definition: Type.h:4911
ObjCPropertyDecl * getPropertyDecl() const
Definition: DeclObjC.h:2817
ObjCTypeParamVariance getVariance() const
Determine the variance of this type parameter.
Definition: DeclObjC.h:601
Doxygen \param command.
Definition: Comment.h:711
bool isDeleted() const
Whether this function has been deleted.
Definition: Decl.h:2163
const VarDecl * getCatchParamDecl() const
Definition: StmtObjC.h:97
void VisitLinkageSpecDecl(const LinkageSpecDecl *LSD)
FieldDecl * getInitializedFieldInUnion()
If this initializes a union, specifies which field in the union to initialize.
Definition: Expr.h:4483
bool hadMultipleCandidates() const
Whether the referred constructor was resolved from an overloaded set having size greater than 1...
Definition: ExprCXX.h:1409
void VisitNullTemplateArgument(const TemplateArgument &TA)
bool isArraySubscriptRefExpr() const
Definition: ExprObjC.h:904
QualType getTypeAsWritten() const
Retrieve the type that is being constructed, as specified in the source code.
Definition: ExprCXX.h:3326
static StringRef getNameForCallConv(CallingConv CC)
Definition: Type.cpp:2865
void visitVerbatimLineComment(const comments::VerbatimLineComment *C, const comments::FullComment *)
QualType getType() const
Definition: Decl.h:647
AccessSpecifier getAccessSpecifierAsWritten() const
Retrieves the access specifier as written in the source code (which may mean that no access specifier...
Definition: DeclCXX.h:284
void VisitCXXThisExpr(const CXXThisExpr *TE)
An l-value expression is a reference to an object with independent storage.
Definition: Specifiers.h:128
A trivial tuple used to represent a source range.
bool isModulePrivate() const
Whether this declaration was marked as being private to the module in which it was defined...
Definition: DeclBase.h:607
static StringRef getOpcodeStr(Opcode Op)
getOpcodeStr - Turn an Opcode enum value into the punctuation char it corresponds to...
Definition: Expr.cpp:1285
ObjCMethodDecl * getGetterMethodDecl() const
Definition: DeclObjC.h:921
This represents a decl that may have a name.
Definition: Decl.h:248
A boolean literal, per ([C++ lex.bool] Boolean literals).
Definition: ExprCXX.h:549
StringRef getParamName(const FullComment *FC) const
Definition: Comment.cpp:363
void VisitTemplateTemplateParmDecl(const TemplateTemplateParmDecl *D)
Represents a C++ namespace alias.
Definition: DeclCXX.h:3148
APValue::ValueKind getResultAPValueKind() const
Definition: Expr.h:1020
Automatic storage duration (most local variables).
Definition: Specifiers.h:307
bool isInline() const
Whether this variable is (C++1z) inline.
Definition: Decl.h:1368
AccessControl getAccessControl() const
Definition: DeclObjC.h:1983
Represents C++ using-directive.
Definition: DeclCXX.h:3044
attr::Kind getKind() const
Definition: Attr.h:86
The receiver is a superclass.
Definition: ExprObjC.h:1104
bool hasInit() const
Definition: Decl.cpp:2198
SourceLocation getBegin() const
void VisitObjCImplementationDecl(const ObjCImplementationDecl *D)
void VisitFunctionDecl(const FunctionDecl *FD)
const LangOptions & getLangOpts() const
Definition: ASTContext.h:710
NamedDecl * getPack() const
Retrieve the parameter pack.
Definition: ExprCXX.h:4063
ObjCCategoryImplDecl - An object of this class encapsulates a category @implementation declaration...
Definition: DeclObjC.h:2498
bool caseStmtIsGNURange() const
True if this case statement is of the form case LHS ...
Definition: Stmt.h:1547
Represents the canonical version of C arrays with a specified constant size.
Definition: Type.h:2904
The parameter is invariant: must match exactly.
ExceptionSpecInfo ExceptionSpec
Definition: Type.h:3805
A class which abstracts out some details necessary for making a call.
Definition: Type.h:3498
Attr - This represents one attribute.
Definition: Attr.h:43
bool isDeletedAsWritten() const
Definition: Decl.h:2167
SourceLocation getLocation() const
Definition: DeclBase.h:429
Represents a shadow declaration introduced into a scope by a (resolved) using declaration.
Definition: DeclCXX.h:3267
A full comment attached to a declaration, contains block content.
Definition: Comment.h:1091
QualType getType() const
Return the type wrapped by this type source info.
Definition: Decl.h:97
noexcept(expression), evals to &#39;true&#39;
NamedDecl * getAliasedNamespace() const
Retrieve the namespace that this alias refers to, which may either be a NamespaceDecl or a NamespaceA...
Definition: DeclCXX.h:3244
ObjCCompatibleAliasDecl - Represents alias of a class.
Definition: DeclObjC.h:2728
void VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *OBLE)
void visitHTMLEndTagComment(const comments::HTMLEndTagComment *C, const comments::FullComment *)
ConstructionKind getConstructionKind() const
Determine whether this constructor is actually constructing a base class (rather than a complete obje...
Definition: ExprCXX.h:1446
QualType getType() const
Retrieves the type of the base class.
Definition: DeclCXX.h:291