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 
70  if (!T)
71  return;
72 
73  JOS.attribute("kind", (llvm::Twine(T->getTypeClassName()) + "Type").str());
74  JOS.attribute("type", createQualType(QualType(T, 0), /*Desugar*/ false));
75  attributeOnlyIfTrue("isDependent", T->isDependentType());
76  attributeOnlyIfTrue("isInstantiationDependent",
78  attributeOnlyIfTrue("isVariablyModified", T->isVariablyModifiedType());
79  attributeOnlyIfTrue("containsUnexpandedPack",
81  attributeOnlyIfTrue("isImported", T->isFromAST());
83 }
84 
86  JOS.attribute("id", createPointerRepresentation(T.getAsOpaquePtr()));
87  JOS.attribute("kind", "QualType");
88  JOS.attribute("type", createQualType(T));
89  JOS.attribute("qualifiers", T.split().Quals.getAsString());
90 }
91 
92 void JSONNodeDumper::Visit(const Decl *D) {
93  JOS.attribute("id", createPointerRepresentation(D));
94 
95  if (!D)
96  return;
97 
98  JOS.attribute("kind", (llvm::Twine(D->getDeclKindName()) + "Decl").str());
99  JOS.attributeObject("loc",
100  [D, this] { writeSourceLocation(D->getLocation()); });
101  JOS.attributeObject("range",
102  [D, this] { writeSourceRange(D->getSourceRange()); });
103  attributeOnlyIfTrue("isImplicit", D->isImplicit());
104  attributeOnlyIfTrue("isInvalid", D->isInvalidDecl());
105 
106  if (D->isUsed())
107  JOS.attribute("isUsed", true);
108  else if (D->isThisDeclarationReferenced())
109  JOS.attribute("isReferenced", true);
110 
111  if (const auto *ND = dyn_cast<NamedDecl>(D))
112  attributeOnlyIfTrue("isHidden", ND->isHidden());
113 
114  if (D->getLexicalDeclContext() != D->getDeclContext()) {
115  // Because of multiple inheritance, a DeclContext pointer does not produce
116  // the same pointer representation as a Decl pointer that references the
117  // same AST Node.
118  const auto *ParentDeclContextDecl = dyn_cast<Decl>(D->getDeclContext());
119  JOS.attribute("parentDeclContextId",
120  createPointerRepresentation(ParentDeclContextDecl));
121  }
122 
123  addPreviousDeclaration(D);
125 }
126 
128  const comments::FullComment *FC) {
129  if (!C)
130  return;
131 
132  JOS.attribute("id", createPointerRepresentation(C));
133  JOS.attribute("kind", C->getCommentKindName());
134  JOS.attributeObject("loc",
135  [C, this] { writeSourceLocation(C->getLocation()); });
136  JOS.attributeObject("range",
137  [C, this] { writeSourceRange(C->getSourceRange()); });
138 
140 }
141 
143  const Decl *From, StringRef Label) {
144  JOS.attribute("kind", "TemplateArgument");
145  if (R.isValid())
146  JOS.attributeObject("range", [R, this] { writeSourceRange(R); });
147 
148  if (From)
149  JOS.attribute(Label.empty() ? "fromDecl" : Label, createBareDeclRef(From));
150 
152 }
153 
155  JOS.attribute("kind", "CXXCtorInitializer");
156  if (Init->isAnyMemberInitializer())
157  JOS.attribute("anyInit", createBareDeclRef(Init->getAnyMember()));
158  else if (Init->isBaseInitializer())
159  JOS.attribute("baseInit",
160  createQualType(QualType(Init->getBaseClass(), 0)));
161  else if (Init->isDelegatingInitializer())
162  JOS.attribute("delegatingInit",
163  createQualType(Init->getTypeSourceInfo()->getType()));
164  else
165  llvm_unreachable("Unknown initializer type");
166 }
167 
169 
171  JOS.attribute("kind", "Capture");
172  attributeOnlyIfTrue("byref", C.isByRef());
173  attributeOnlyIfTrue("nested", C.isNested());
174  if (C.getVariable())
175  JOS.attribute("var", createBareDeclRef(C.getVariable()));
176 }
177 
179  JOS.attribute("associationKind", A.getTypeSourceInfo() ? "case" : "default");
180  attributeOnlyIfTrue("selected", A.isSelected());
181 }
182 
183 void JSONNodeDumper::writeIncludeStack(PresumedLoc Loc, bool JustFirst) {
184  if (Loc.isInvalid())
185  return;
186 
187  JOS.attributeBegin("includedFrom");
188  JOS.objectBegin();
189 
190  if (!JustFirst) {
191  // Walk the stack recursively, then print out the presumed location.
192  writeIncludeStack(SM.getPresumedLoc(Loc.getIncludeLoc()));
193  }
194 
195  JOS.attribute("file", Loc.getFilename());
196  JOS.objectEnd();
197  JOS.attributeEnd();
198 }
199 
200 void JSONNodeDumper::writeBareSourceLocation(SourceLocation Loc,
201  bool IsSpelling) {
202  PresumedLoc Presumed = SM.getPresumedLoc(Loc);
203  unsigned ActualLine = IsSpelling ? SM.getSpellingLineNumber(Loc)
204  : SM.getExpansionLineNumber(Loc);
205  if (Presumed.isValid()) {
206  JOS.attribute("offset", SM.getDecomposedLoc(Loc).second);
207  if (LastLocFilename != Presumed.getFilename()) {
208  JOS.attribute("file", Presumed.getFilename());
209  JOS.attribute("line", ActualLine);
210  } else if (LastLocLine != ActualLine)
211  JOS.attribute("line", ActualLine);
212 
213  unsigned PresumedLine = Presumed.getLine();
214  if (ActualLine != PresumedLine && LastLocPresumedLine != PresumedLine)
215  JOS.attribute("presumedLine", PresumedLine);
216 
217  JOS.attribute("col", Presumed.getColumn());
218  JOS.attribute("tokLen",
219  Lexer::MeasureTokenLength(Loc, SM, Ctx.getLangOpts()));
220  LastLocFilename = Presumed.getFilename();
221  LastLocPresumedLine = PresumedLine;
222  LastLocLine = ActualLine;
223 
224  // Orthogonal to the file, line, and column de-duplication is whether the
225  // given location was a result of an include. If so, print where the
226  // include location came from.
227  writeIncludeStack(SM.getPresumedLoc(Presumed.getIncludeLoc()),
228  /*JustFirst*/ true);
229  }
230 }
231 
232 void JSONNodeDumper::writeSourceLocation(SourceLocation Loc) {
233  SourceLocation Spelling = SM.getSpellingLoc(Loc);
234  SourceLocation Expansion = SM.getExpansionLoc(Loc);
235 
236  if (Expansion != Spelling) {
237  // If the expansion and the spelling are different, output subobjects
238  // describing both locations.
239  JOS.attributeObject("spellingLoc", [Spelling, this] {
240  writeBareSourceLocation(Spelling, /*IsSpelling*/ true);
241  });
242  JOS.attributeObject("expansionLoc", [Expansion, Loc, this] {
243  writeBareSourceLocation(Expansion, /*IsSpelling*/ false);
244  // If there is a macro expansion, add extra information if the interesting
245  // bit is the macro arg expansion.
246  if (SM.isMacroArgExpansion(Loc))
247  JOS.attribute("isMacroArgExpansion", true);
248  });
249  } else
250  writeBareSourceLocation(Spelling, /*IsSpelling*/ true);
251 }
252 
253 void JSONNodeDumper::writeSourceRange(SourceRange R) {
254  JOS.attributeObject("begin",
255  [R, this] { writeSourceLocation(R.getBegin()); });
256  JOS.attributeObject("end", [R, this] { writeSourceLocation(R.getEnd()); });
257 }
258 
259 std::string JSONNodeDumper::createPointerRepresentation(const void *Ptr) {
260  // Because JSON stores integer values as signed 64-bit integers, trying to
261  // represent them as such makes for very ugly pointer values in the resulting
262  // output. Instead, we convert the value to hex and treat it as a string.
263  return "0x" + llvm::utohexstr(reinterpret_cast<uint64_t>(Ptr), true);
264 }
265 
266 llvm::json::Object JSONNodeDumper::createQualType(QualType QT, bool Desugar) {
267  SplitQualType SQT = QT.split();
268  llvm::json::Object Ret{{"qualType", QualType::getAsString(SQT, PrintPolicy)}};
269 
270  if (Desugar && !QT.isNull()) {
272  if (DSQT != SQT)
273  Ret["desugaredQualType"] = QualType::getAsString(DSQT, PrintPolicy);
274  if (const auto *TT = QT->getAs<TypedefType>())
275  Ret["typeAliasDeclId"] = createPointerRepresentation(TT->getDecl());
276  }
277  return Ret;
278 }
279 
280 void JSONNodeDumper::writeBareDeclRef(const Decl *D) {
281  JOS.attribute("id", createPointerRepresentation(D));
282  if (!D)
283  return;
284 
285  JOS.attribute("kind", (llvm::Twine(D->getDeclKindName()) + "Decl").str());
286  if (const auto *ND = dyn_cast<NamedDecl>(D))
287  JOS.attribute("name", ND->getDeclName().getAsString());
288  if (const auto *VD = dyn_cast<ValueDecl>(D))
289  JOS.attribute("type", createQualType(VD->getType()));
290 }
291 
292 llvm::json::Object JSONNodeDumper::createBareDeclRef(const Decl *D) {
293  llvm::json::Object Ret{{"id", createPointerRepresentation(D)}};
294  if (!D)
295  return Ret;
296 
297  Ret["kind"] = (llvm::Twine(D->getDeclKindName()) + "Decl").str();
298  if (const auto *ND = dyn_cast<NamedDecl>(D))
299  Ret["name"] = ND->getDeclName().getAsString();
300  if (const auto *VD = dyn_cast<ValueDecl>(D))
301  Ret["type"] = createQualType(VD->getType());
302  return Ret;
303 }
304 
305 llvm::json::Array JSONNodeDumper::createCastPath(const CastExpr *C) {
306  llvm::json::Array Ret;
307  if (C->path_empty())
308  return Ret;
309 
310  for (auto I = C->path_begin(), E = C->path_end(); I != E; ++I) {
311  const CXXBaseSpecifier *Base = *I;
312  const auto *RD =
313  cast<CXXRecordDecl>(Base->getType()->castAs<RecordType>()->getDecl());
314 
315  llvm::json::Object Val{{"name", RD->getName()}};
316  if (Base->isVirtual())
317  Val["isVirtual"] = true;
318  Ret.push_back(std::move(Val));
319  }
320  return Ret;
321 }
322 
323 #define FIELD2(Name, Flag) if (RD->Flag()) Ret[Name] = true
324 #define FIELD1(Flag) FIELD2(#Flag, Flag)
325 
326 static llvm::json::Object
328  llvm::json::Object Ret;
329 
330  FIELD2("exists", hasDefaultConstructor);
331  FIELD2("trivial", hasTrivialDefaultConstructor);
332  FIELD2("nonTrivial", hasNonTrivialDefaultConstructor);
333  FIELD2("userProvided", hasUserProvidedDefaultConstructor);
334  FIELD2("isConstexpr", hasConstexprDefaultConstructor);
335  FIELD2("needsImplicit", needsImplicitDefaultConstructor);
336  FIELD2("defaultedIsConstexpr", defaultedDefaultConstructorIsConstexpr);
337 
338  return Ret;
339 }
340 
341 static llvm::json::Object
343  llvm::json::Object Ret;
344 
345  FIELD2("simple", hasSimpleCopyConstructor);
346  FIELD2("trivial", hasTrivialCopyConstructor);
347  FIELD2("nonTrivial", hasNonTrivialCopyConstructor);
348  FIELD2("userDeclared", hasUserDeclaredCopyConstructor);
349  FIELD2("hasConstParam", hasCopyConstructorWithConstParam);
350  FIELD2("implicitHasConstParam", implicitCopyConstructorHasConstParam);
351  FIELD2("needsImplicit", needsImplicitCopyConstructor);
352  FIELD2("needsOverloadResolution", needsOverloadResolutionForCopyConstructor);
354  FIELD2("defaultedIsDeleted", defaultedCopyConstructorIsDeleted);
355 
356  return Ret;
357 }
358 
359 static llvm::json::Object
361  llvm::json::Object Ret;
362 
363  FIELD2("exists", hasMoveConstructor);
364  FIELD2("simple", hasSimpleMoveConstructor);
365  FIELD2("trivial", hasTrivialMoveConstructor);
366  FIELD2("nonTrivial", hasNonTrivialMoveConstructor);
367  FIELD2("userDeclared", hasUserDeclaredMoveConstructor);
368  FIELD2("needsImplicit", needsImplicitMoveConstructor);
369  FIELD2("needsOverloadResolution", needsOverloadResolutionForMoveConstructor);
371  FIELD2("defaultedIsDeleted", defaultedMoveConstructorIsDeleted);
372 
373  return Ret;
374 }
375 
376 static llvm::json::Object
378  llvm::json::Object Ret;
379 
380  FIELD2("trivial", hasTrivialCopyAssignment);
381  FIELD2("nonTrivial", hasNonTrivialCopyAssignment);
382  FIELD2("hasConstParam", hasCopyAssignmentWithConstParam);
383  FIELD2("implicitHasConstParam", implicitCopyAssignmentHasConstParam);
384  FIELD2("userDeclared", hasUserDeclaredCopyAssignment);
385  FIELD2("needsImplicit", needsImplicitCopyAssignment);
386  FIELD2("needsOverloadResolution", needsOverloadResolutionForCopyAssignment);
387 
388  return Ret;
389 }
390 
391 static llvm::json::Object
393  llvm::json::Object Ret;
394 
395  FIELD2("exists", hasMoveAssignment);
396  FIELD2("simple", hasSimpleMoveAssignment);
397  FIELD2("trivial", hasTrivialMoveAssignment);
398  FIELD2("nonTrivial", hasNonTrivialMoveAssignment);
399  FIELD2("userDeclared", hasUserDeclaredMoveAssignment);
400  FIELD2("needsImplicit", needsImplicitMoveAssignment);
401  FIELD2("needsOverloadResolution", needsOverloadResolutionForMoveAssignment);
402 
403  return Ret;
404 }
405 
406 static llvm::json::Object
408  llvm::json::Object Ret;
409 
410  FIELD2("simple", hasSimpleDestructor);
411  FIELD2("irrelevant", hasIrrelevantDestructor);
412  FIELD2("trivial", hasTrivialDestructor);
413  FIELD2("nonTrivial", hasNonTrivialDestructor);
414  FIELD2("userDeclared", hasUserDeclaredDestructor);
415  FIELD2("needsImplicit", needsImplicitDestructor);
416  FIELD2("needsOverloadResolution", needsOverloadResolutionForDestructor);
418  FIELD2("defaultedIsDeleted", defaultedDestructorIsDeleted);
419 
420  return Ret;
421 }
422 
423 llvm::json::Object
424 JSONNodeDumper::createCXXRecordDefinitionData(const CXXRecordDecl *RD) {
425  llvm::json::Object Ret;
426 
427  // This data is common to all C++ classes.
428  FIELD1(isGenericLambda);
429  FIELD1(isLambda);
430  FIELD1(isEmpty);
431  FIELD1(isAggregate);
432  FIELD1(isStandardLayout);
433  FIELD1(isTriviallyCopyable);
434  FIELD1(isPOD);
435  FIELD1(isTrivial);
436  FIELD1(isPolymorphic);
437  FIELD1(isAbstract);
438  FIELD1(isLiteral);
440  FIELD1(hasUserDeclaredConstructor);
441  FIELD1(hasConstexprNonCopyMoveConstructor);
442  FIELD1(hasMutableFields);
443  FIELD1(hasVariantMembers);
444  FIELD2("canConstDefaultInit", allowConstDefaultInit);
445 
446  Ret["defaultCtor"] = createDefaultConstructorDefinitionData(RD);
447  Ret["copyCtor"] = createCopyConstructorDefinitionData(RD);
448  Ret["moveCtor"] = createMoveConstructorDefinitionData(RD);
449  Ret["copyAssign"] = createCopyAssignmentDefinitionData(RD);
450  Ret["moveAssign"] = createMoveAssignmentDefinitionData(RD);
451  Ret["dtor"] = createDestructorDefinitionData(RD);
452 
453  return Ret;
454 }
455 
456 #undef FIELD1
457 #undef FIELD2
458 
459 std::string JSONNodeDumper::createAccessSpecifier(AccessSpecifier AS) {
460  switch (AS) {
461  case AS_none: return "none";
462  case AS_private: return "private";
463  case AS_protected: return "protected";
464  case AS_public: return "public";
465  }
466  llvm_unreachable("Unknown access specifier");
467 }
468 
469 llvm::json::Object
470 JSONNodeDumper::createCXXBaseSpecifier(const CXXBaseSpecifier &BS) {
471  llvm::json::Object Ret;
472 
473  Ret["type"] = createQualType(BS.getType());
474  Ret["access"] = createAccessSpecifier(BS.getAccessSpecifier());
475  Ret["writtenAccess"] =
476  createAccessSpecifier(BS.getAccessSpecifierAsWritten());
477  if (BS.isVirtual())
478  Ret["isVirtual"] = true;
479  if (BS.isPackExpansion())
480  Ret["isPackExpansion"] = true;
481 
482  return Ret;
483 }
484 
486  JOS.attribute("decl", createBareDeclRef(TT->getDecl()));
487 }
488 
491  attributeOnlyIfTrue("noreturn", E.getNoReturn());
492  attributeOnlyIfTrue("producesResult", E.getProducesResult());
493  if (E.getHasRegParm())
494  JOS.attribute("regParm", E.getRegParm());
495  JOS.attribute("cc", FunctionType::getNameForCallConv(E.getCC()));
496 }
497 
500  attributeOnlyIfTrue("trailingReturn", E.HasTrailingReturn);
501  attributeOnlyIfTrue("const", T->isConst());
502  attributeOnlyIfTrue("volatile", T->isVolatile());
503  attributeOnlyIfTrue("restrict", T->isRestrict());
504  attributeOnlyIfTrue("variadic", E.Variadic);
505  switch (E.RefQualifier) {
506  case RQ_LValue: JOS.attribute("refQualifier", "&"); break;
507  case RQ_RValue: JOS.attribute("refQualifier", "&&"); break;
508  case RQ_None: break;
509  }
510  switch (E.ExceptionSpec.Type) {
511  case EST_DynamicNone:
512  case EST_Dynamic: {
513  JOS.attribute("exceptionSpec", "throw");
514  llvm::json::Array Types;
515  for (QualType QT : E.ExceptionSpec.Exceptions)
516  Types.push_back(createQualType(QT));
517  JOS.attribute("exceptionTypes", std::move(Types));
518  } break;
519  case EST_MSAny:
520  JOS.attribute("exceptionSpec", "throw");
521  JOS.attribute("throwsAny", true);
522  break;
523  case EST_BasicNoexcept:
524  JOS.attribute("exceptionSpec", "noexcept");
525  break;
526  case EST_NoexceptTrue:
527  case EST_NoexceptFalse:
528  JOS.attribute("exceptionSpec", "noexcept");
529  JOS.attribute("conditionEvaluatesTo",
531  //JOS.attributeWithCall("exceptionSpecExpr",
532  // [this, E]() { Visit(E.ExceptionSpec.NoexceptExpr); });
533  break;
534  case EST_NoThrow:
535  JOS.attribute("exceptionSpec", "nothrow");
536  break;
537  // FIXME: I cannot find a way to trigger these cases while dumping the AST. I
538  // suspect you can only run into them when executing an AST dump from within
539  // the debugger, which is not a use case we worry about for the JSON dumping
540  // feature.
542  case EST_Unevaluated:
543  case EST_Uninstantiated:
544  case EST_Unparsed:
545  case EST_None: break;
546  }
548 }
549 
551  attributeOnlyIfTrue("spelledAsLValue", RT->isSpelledAsLValue());
552 }
553 
555  switch (AT->getSizeModifier()) {
556  case ArrayType::Star:
557  JOS.attribute("sizeModifier", "*");
558  break;
559  case ArrayType::Static:
560  JOS.attribute("sizeModifier", "static");
561  break;
562  case ArrayType::Normal:
563  break;
564  }
565 
566  std::string Str = AT->getIndexTypeQualifiers().getAsString();
567  if (!Str.empty())
568  JOS.attribute("indexTypeQualifiers", Str);
569 }
570 
572  // FIXME: this should use ZExt instead of SExt, but JSON doesn't allow a
573  // narrowing conversion to int64_t so it cannot be expressed.
574  JOS.attribute("size", CAT->getSize().getSExtValue());
575  VisitArrayType(CAT);
576 }
577 
579  const DependentSizedExtVectorType *VT) {
580  JOS.attributeObject(
581  "attrLoc", [VT, this] { writeSourceLocation(VT->getAttributeLoc()); });
582 }
583 
585  JOS.attribute("numElements", VT->getNumElements());
586  switch (VT->getVectorKind()) {
588  break;
590  JOS.attribute("vectorKind", "altivec");
591  break;
593  JOS.attribute("vectorKind", "altivec pixel");
594  break;
596  JOS.attribute("vectorKind", "altivec bool");
597  break;
599  JOS.attribute("vectorKind", "neon");
600  break;
602  JOS.attribute("vectorKind", "neon poly");
603  break;
604  }
605 }
606 
608  JOS.attribute("decl", createBareDeclRef(UUT->getDecl()));
609 }
610 
612  switch (UTT->getUTTKind()) {
614  JOS.attribute("transformKind", "underlying_type");
615  break;
616  }
617 }
618 
620  JOS.attribute("decl", createBareDeclRef(TT->getDecl()));
621 }
622 
624  const TemplateTypeParmType *TTPT) {
625  JOS.attribute("depth", TTPT->getDepth());
626  JOS.attribute("index", TTPT->getIndex());
627  attributeOnlyIfTrue("isPack", TTPT->isParameterPack());
628  JOS.attribute("decl", createBareDeclRef(TTPT->getDecl()));
629 }
630 
632  JOS.attribute("undeduced", !AT->isDeduced());
633  switch (AT->getKeyword()) {
635  JOS.attribute("typeKeyword", "auto");
636  break;
638  JOS.attribute("typeKeyword", "decltype(auto)");
639  break;
641  JOS.attribute("typeKeyword", "__auto_type");
642  break;
643  }
644 }
645 
647  const TemplateSpecializationType *TST) {
648  attributeOnlyIfTrue("isAlias", TST->isTypeAlias());
649 
650  std::string Str;
651  llvm::raw_string_ostream OS(Str);
652  TST->getTemplateName().print(OS, PrintPolicy);
653  JOS.attribute("templateName", OS.str());
654 }
655 
657  const InjectedClassNameType *ICNT) {
658  JOS.attribute("decl", createBareDeclRef(ICNT->getDecl()));
659 }
660 
662  JOS.attribute("decl", createBareDeclRef(OIT->getDecl()));
663 }
664 
667  JOS.attribute("numExpansions", *N);
668 }
669 
671  if (const NestedNameSpecifier *NNS = ET->getQualifier()) {
672  std::string Str;
673  llvm::raw_string_ostream OS(Str);
674  NNS->print(OS, PrintPolicy, /*ResolveTemplateArgs*/ true);
675  JOS.attribute("qualifier", OS.str());
676  }
677  if (const TagDecl *TD = ET->getOwnedTagDecl())
678  JOS.attribute("ownedTagDecl", createBareDeclRef(TD));
679 }
680 
682  JOS.attribute("macroName", MQT->getMacroIdentifier()->getName());
683 }
684 
686  attributeOnlyIfTrue("isData", MPT->isMemberDataPointer());
687  attributeOnlyIfTrue("isFunction", MPT->isMemberFunctionPointer());
688 }
689 
691  if (ND && ND->getDeclName())
692  JOS.attribute("name", ND->getNameAsString());
693 }
694 
696  VisitNamedDecl(TD);
697  JOS.attribute("type", createQualType(TD->getUnderlyingType()));
698 }
699 
701  VisitNamedDecl(TAD);
702  JOS.attribute("type", createQualType(TAD->getUnderlyingType()));
703 }
704 
706  VisitNamedDecl(ND);
707  attributeOnlyIfTrue("isInline", ND->isInline());
708  if (!ND->isOriginalNamespace())
709  JOS.attribute("originalNamespace",
710  createBareDeclRef(ND->getOriginalNamespace()));
711 }
712 
714  JOS.attribute("nominatedNamespace",
715  createBareDeclRef(UDD->getNominatedNamespace()));
716 }
717 
719  VisitNamedDecl(NAD);
720  JOS.attribute("aliasedNamespace",
721  createBareDeclRef(NAD->getAliasedNamespace()));
722 }
723 
725  std::string Name;
726  if (const NestedNameSpecifier *NNS = UD->getQualifier()) {
727  llvm::raw_string_ostream SOS(Name);
728  NNS->print(SOS, UD->getASTContext().getPrintingPolicy());
729  }
730  Name += UD->getNameAsString();
731  JOS.attribute("name", Name);
732 }
733 
735  JOS.attribute("target", createBareDeclRef(USD->getTargetDecl()));
736 }
737 
739  VisitNamedDecl(VD);
740  JOS.attribute("type", createQualType(VD->getType()));
741 
742  StorageClass SC = VD->getStorageClass();
743  if (SC != SC_None)
744  JOS.attribute("storageClass", VarDecl::getStorageClassSpecifierString(SC));
745  switch (VD->getTLSKind()) {
746  case VarDecl::TLS_Dynamic: JOS.attribute("tls", "dynamic"); break;
747  case VarDecl::TLS_Static: JOS.attribute("tls", "static"); break;
748  case VarDecl::TLS_None: break;
749  }
750  attributeOnlyIfTrue("nrvo", VD->isNRVOVariable());
751  attributeOnlyIfTrue("inline", VD->isInline());
752  attributeOnlyIfTrue("constexpr", VD->isConstexpr());
753  attributeOnlyIfTrue("modulePrivate", VD->isModulePrivate());
754  if (VD->hasInit()) {
755  switch (VD->getInitStyle()) {
756  case VarDecl::CInit: JOS.attribute("init", "c"); break;
757  case VarDecl::CallInit: JOS.attribute("init", "call"); break;
758  case VarDecl::ListInit: JOS.attribute("init", "list"); break;
759  }
760  }
761  attributeOnlyIfTrue("isParameterPack", VD->isParameterPack());
762 }
763 
765  VisitNamedDecl(FD);
766  JOS.attribute("type", createQualType(FD->getType()));
767  attributeOnlyIfTrue("mutable", FD->isMutable());
768  attributeOnlyIfTrue("modulePrivate", FD->isModulePrivate());
769  attributeOnlyIfTrue("isBitfield", FD->isBitField());
770  attributeOnlyIfTrue("hasInClassInitializer", FD->hasInClassInitializer());
771 }
772 
774  VisitNamedDecl(FD);
775  JOS.attribute("type", createQualType(FD->getType()));
776  StorageClass SC = FD->getStorageClass();
777  if (SC != SC_None)
778  JOS.attribute("storageClass", VarDecl::getStorageClassSpecifierString(SC));
779  attributeOnlyIfTrue("inline", FD->isInlineSpecified());
780  attributeOnlyIfTrue("virtual", FD->isVirtualAsWritten());
781  attributeOnlyIfTrue("pure", FD->isPure());
782  attributeOnlyIfTrue("explicitlyDeleted", FD->isDeletedAsWritten());
783  attributeOnlyIfTrue("constexpr", FD->isConstexpr());
784  attributeOnlyIfTrue("variadic", FD->isVariadic());
785 
786  if (FD->isDefaulted())
787  JOS.attribute("explicitlyDefaulted",
788  FD->isDeleted() ? "deleted" : "default");
789 }
790 
792  VisitNamedDecl(ED);
793  if (ED->isFixed())
794  JOS.attribute("fixedUnderlyingType", createQualType(ED->getIntegerType()));
795  if (ED->isScoped())
796  JOS.attribute("scopedEnumTag",
797  ED->isScopedUsingClassTag() ? "class" : "struct");
798 }
800  VisitNamedDecl(ECD);
801  JOS.attribute("type", createQualType(ECD->getType()));
802 }
803 
805  VisitNamedDecl(RD);
806  JOS.attribute("tagUsed", RD->getKindName());
807  attributeOnlyIfTrue("completeDefinition", RD->isCompleteDefinition());
808 }
810  VisitRecordDecl(RD);
811 
812  // All other information requires a complete definition.
813  if (!RD->isCompleteDefinition())
814  return;
815 
816  JOS.attribute("definitionData", createCXXRecordDefinitionData(RD));
817  if (RD->getNumBases()) {
818  JOS.attributeArray("bases", [this, RD] {
819  for (const auto &Spec : RD->bases())
820  JOS.value(createCXXBaseSpecifier(Spec));
821  });
822  }
823 }
824 
826  VisitNamedDecl(D);
827  JOS.attribute("tagUsed", D->wasDeclaredWithTypename() ? "typename" : "class");
828  JOS.attribute("depth", D->getDepth());
829  JOS.attribute("index", D->getIndex());
830  attributeOnlyIfTrue("isParameterPack", D->isParameterPack());
831 
832  if (D->hasDefaultArgument())
833  JOS.attributeObject("defaultArg", [=] {
834  Visit(D->getDefaultArgument(), SourceRange(),
835  D->getDefaultArgStorage().getInheritedFrom(),
836  D->defaultArgumentWasInherited() ? "inherited from" : "previous");
837  });
838 }
839 
841  const NonTypeTemplateParmDecl *D) {
842  VisitNamedDecl(D);
843  JOS.attribute("type", createQualType(D->getType()));
844  JOS.attribute("depth", D->getDepth());
845  JOS.attribute("index", D->getIndex());
846  attributeOnlyIfTrue("isParameterPack", D->isParameterPack());
847 
848  if (D->hasDefaultArgument())
849  JOS.attributeObject("defaultArg", [=] {
850  Visit(D->getDefaultArgument(), SourceRange(),
851  D->getDefaultArgStorage().getInheritedFrom(),
852  D->defaultArgumentWasInherited() ? "inherited from" : "previous");
853  });
854 }
855 
857  const TemplateTemplateParmDecl *D) {
858  VisitNamedDecl(D);
859  JOS.attribute("depth", D->getDepth());
860  JOS.attribute("index", D->getIndex());
861  attributeOnlyIfTrue("isParameterPack", D->isParameterPack());
862 
863  if (D->hasDefaultArgument())
864  JOS.attributeObject("defaultArg", [=] {
865  Visit(D->getDefaultArgument().getArgument(),
866  D->getDefaultArgStorage().getInheritedFrom()->getSourceRange(),
867  D->getDefaultArgStorage().getInheritedFrom(),
868  D->defaultArgumentWasInherited() ? "inherited from" : "previous");
869  });
870 }
871 
873  StringRef Lang;
874  switch (LSD->getLanguage()) {
875  case LinkageSpecDecl::lang_c: Lang = "C"; break;
876  case LinkageSpecDecl::lang_cxx: Lang = "C++"; break;
878  Lang = "C++11";
879  break;
881  Lang = "C++14";
882  break;
883  }
884  JOS.attribute("language", Lang);
885  attributeOnlyIfTrue("hasBraces", LSD->hasBraces());
886 }
887 
889  JOS.attribute("access", createAccessSpecifier(ASD->getAccess()));
890 }
891 
893  if (const TypeSourceInfo *T = FD->getFriendType())
894  JOS.attribute("type", createQualType(T->getType()));
895 }
896 
898  VisitNamedDecl(D);
899  JOS.attribute("type", createQualType(D->getType()));
900  attributeOnlyIfTrue("synthesized", D->getSynthesize());
901  switch (D->getAccessControl()) {
902  case ObjCIvarDecl::None: JOS.attribute("access", "none"); break;
903  case ObjCIvarDecl::Private: JOS.attribute("access", "private"); break;
904  case ObjCIvarDecl::Protected: JOS.attribute("access", "protected"); break;
905  case ObjCIvarDecl::Public: JOS.attribute("access", "public"); break;
906  case ObjCIvarDecl::Package: JOS.attribute("access", "package"); break;
907  }
908 }
909 
911  VisitNamedDecl(D);
912  JOS.attribute("returnType", createQualType(D->getReturnType()));
913  JOS.attribute("instance", D->isInstanceMethod());
914  attributeOnlyIfTrue("variadic", D->isVariadic());
915 }
916 
918  VisitNamedDecl(D);
919  JOS.attribute("type", createQualType(D->getUnderlyingType()));
920  attributeOnlyIfTrue("bounded", D->hasExplicitBound());
921  switch (D->getVariance()) {
923  break;
925  JOS.attribute("variance", "covariant");
926  break;
928  JOS.attribute("variance", "contravariant");
929  break;
930  }
931 }
932 
934  VisitNamedDecl(D);
935  JOS.attribute("interface", createBareDeclRef(D->getClassInterface()));
936  JOS.attribute("implementation", createBareDeclRef(D->getImplementation()));
937 
938  llvm::json::Array Protocols;
939  for (const auto* P : D->protocols())
940  Protocols.push_back(createBareDeclRef(P));
941  if (!Protocols.empty())
942  JOS.attribute("protocols", std::move(Protocols));
943 }
944 
946  VisitNamedDecl(D);
947  JOS.attribute("interface", createBareDeclRef(D->getClassInterface()));
948  JOS.attribute("categoryDecl", createBareDeclRef(D->getCategoryDecl()));
949 }
950 
952  VisitNamedDecl(D);
953 
954  llvm::json::Array Protocols;
955  for (const auto *P : D->protocols())
956  Protocols.push_back(createBareDeclRef(P));
957  if (!Protocols.empty())
958  JOS.attribute("protocols", std::move(Protocols));
959 }
960 
962  VisitNamedDecl(D);
963  JOS.attribute("super", createBareDeclRef(D->getSuperClass()));
964  JOS.attribute("implementation", createBareDeclRef(D->getImplementation()));
965 
966  llvm::json::Array Protocols;
967  for (const auto* P : D->protocols())
968  Protocols.push_back(createBareDeclRef(P));
969  if (!Protocols.empty())
970  JOS.attribute("protocols", std::move(Protocols));
971 }
972 
974  const ObjCImplementationDecl *D) {
975  VisitNamedDecl(D);
976  JOS.attribute("super", createBareDeclRef(D->getSuperClass()));
977  JOS.attribute("interface", createBareDeclRef(D->getClassInterface()));
978 }
979 
981  const ObjCCompatibleAliasDecl *D) {
982  VisitNamedDecl(D);
983  JOS.attribute("interface", createBareDeclRef(D->getClassInterface()));
984 }
985 
987  VisitNamedDecl(D);
988  JOS.attribute("type", createQualType(D->getType()));
989 
990  switch (D->getPropertyImplementation()) {
991  case ObjCPropertyDecl::None: break;
992  case ObjCPropertyDecl::Required: JOS.attribute("control", "required"); break;
993  case ObjCPropertyDecl::Optional: JOS.attribute("control", "optional"); break;
994  }
995 
997  if (Attrs != ObjCPropertyDecl::OBJC_PR_noattr) {
999  JOS.attribute("getter", createBareDeclRef(D->getGetterMethodDecl()));
1001  JOS.attribute("setter", createBareDeclRef(D->getSetterMethodDecl()));
1002  attributeOnlyIfTrue("readonly", Attrs & ObjCPropertyDecl::OBJC_PR_readonly);
1003  attributeOnlyIfTrue("assign", Attrs & ObjCPropertyDecl::OBJC_PR_assign);
1004  attributeOnlyIfTrue("readwrite",
1006  attributeOnlyIfTrue("retain", Attrs & ObjCPropertyDecl::OBJC_PR_retain);
1007  attributeOnlyIfTrue("copy", Attrs & ObjCPropertyDecl::OBJC_PR_copy);
1008  attributeOnlyIfTrue("nonatomic",
1010  attributeOnlyIfTrue("atomic", Attrs & ObjCPropertyDecl::OBJC_PR_atomic);
1011  attributeOnlyIfTrue("weak", Attrs & ObjCPropertyDecl::OBJC_PR_weak);
1012  attributeOnlyIfTrue("strong", Attrs & ObjCPropertyDecl::OBJC_PR_strong);
1013  attributeOnlyIfTrue("unsafe_unretained",
1015  attributeOnlyIfTrue("class", Attrs & ObjCPropertyDecl::OBJC_PR_class);
1016  attributeOnlyIfTrue("nullability",
1018  attributeOnlyIfTrue("null_resettable",
1020  }
1021 }
1022 
1025  JOS.attribute("implKind", D->getPropertyImplementation() ==
1027  ? "synthesize"
1028  : "dynamic");
1029  JOS.attribute("propertyDecl", createBareDeclRef(D->getPropertyDecl()));
1030  JOS.attribute("ivarDecl", createBareDeclRef(D->getPropertyIvarDecl()));
1031 }
1032 
1034  attributeOnlyIfTrue("variadic", D->isVariadic());
1035  attributeOnlyIfTrue("capturesThis", D->capturesCXXThis());
1036 }
1037 
1039  JOS.attribute("encodedType", createQualType(OEE->getEncodedType()));
1040 }
1041 
1043  std::string Str;
1044  llvm::raw_string_ostream OS(Str);
1045 
1046  OME->getSelector().print(OS);
1047  JOS.attribute("selector", OS.str());
1048 
1049  switch (OME->getReceiverKind()) {
1051  JOS.attribute("receiverKind", "instance");
1052  break;
1054  JOS.attribute("receiverKind", "class");
1055  JOS.attribute("classType", createQualType(OME->getClassReceiver()));
1056  break;
1058  JOS.attribute("receiverKind", "super (instance)");
1059  JOS.attribute("superType", createQualType(OME->getSuperType()));
1060  break;
1062  JOS.attribute("receiverKind", "super (class)");
1063  JOS.attribute("superType", createQualType(OME->getSuperType()));
1064  break;
1065  }
1066 
1067  QualType CallReturnTy = OME->getCallReturnType(Ctx);
1068  if (OME->getType() != CallReturnTy)
1069  JOS.attribute("callReturnType", createQualType(CallReturnTy));
1070 }
1071 
1073  if (const ObjCMethodDecl *MD = OBE->getBoxingMethod()) {
1074  std::string Str;
1075  llvm::raw_string_ostream OS(Str);
1076 
1077  MD->getSelector().print(OS);
1078  JOS.attribute("selector", OS.str());
1079  }
1080 }
1081 
1083  std::string Str;
1084  llvm::raw_string_ostream OS(Str);
1085 
1086  OSE->getSelector().print(OS);
1087  JOS.attribute("selector", OS.str());
1088 }
1089 
1091  JOS.attribute("protocol", createBareDeclRef(OPE->getProtocol()));
1092 }
1093 
1095  if (OPRE->isImplicitProperty()) {
1096  JOS.attribute("propertyKind", "implicit");
1097  if (const ObjCMethodDecl *MD = OPRE->getImplicitPropertyGetter())
1098  JOS.attribute("getter", createBareDeclRef(MD));
1099  if (const ObjCMethodDecl *MD = OPRE->getImplicitPropertySetter())
1100  JOS.attribute("setter", createBareDeclRef(MD));
1101  } else {
1102  JOS.attribute("propertyKind", "explicit");
1103  JOS.attribute("property", createBareDeclRef(OPRE->getExplicitProperty()));
1104  }
1105 
1106  attributeOnlyIfTrue("isSuperReceiver", OPRE->isSuperReceiver());
1107  attributeOnlyIfTrue("isMessagingGetter", OPRE->isMessagingGetter());
1108  attributeOnlyIfTrue("isMessagingSetter", OPRE->isMessagingSetter());
1109 }
1110 
1112  const ObjCSubscriptRefExpr *OSRE) {
1113  JOS.attribute("subscriptKind",
1114  OSRE->isArraySubscriptRefExpr() ? "array" : "dictionary");
1115 
1116  if (const ObjCMethodDecl *MD = OSRE->getAtIndexMethodDecl())
1117  JOS.attribute("getter", createBareDeclRef(MD));
1118  if (const ObjCMethodDecl *MD = OSRE->setAtIndexMethodDecl())
1119  JOS.attribute("setter", createBareDeclRef(MD));
1120 }
1121 
1123  JOS.attribute("decl", createBareDeclRef(OIRE->getDecl()));
1124  attributeOnlyIfTrue("isFreeIvar", OIRE->isFreeIvar());
1125  JOS.attribute("isArrow", OIRE->isArrow());
1126 }
1127 
1129  JOS.attribute("value", OBLE->getValue() ? "__objc_yes" : "__objc_no");
1130 }
1131 
1133  JOS.attribute("referencedDecl", createBareDeclRef(DRE->getDecl()));
1134  if (DRE->getDecl() != DRE->getFoundDecl())
1135  JOS.attribute("foundReferencedDecl",
1136  createBareDeclRef(DRE->getFoundDecl()));
1137  switch (DRE->isNonOdrUse()) {
1138  case NOUR_None: break;
1139  case NOUR_Unevaluated: JOS.attribute("nonOdrUseReason", "unevaluated"); break;
1140  case NOUR_Constant: JOS.attribute("nonOdrUseReason", "constant"); break;
1141  case NOUR_Discarded: JOS.attribute("nonOdrUseReason", "discarded"); break;
1142  }
1143 }
1144 
1146  JOS.attribute("name", PredefinedExpr::getIdentKindName(PE->getIdentKind()));
1147 }
1148 
1150  JOS.attribute("isPostfix", UO->isPostfix());
1151  JOS.attribute("opcode", UnaryOperator::getOpcodeStr(UO->getOpcode()));
1152  if (!UO->canOverflow())
1153  JOS.attribute("canOverflow", false);
1154 }
1155 
1157  JOS.attribute("opcode", BinaryOperator::getOpcodeStr(BO->getOpcode()));
1158 }
1159 
1161  const CompoundAssignOperator *CAO) {
1162  VisitBinaryOperator(CAO);
1163  JOS.attribute("computeLHSType", createQualType(CAO->getComputationLHSType()));
1164  JOS.attribute("computeResultType",
1165  createQualType(CAO->getComputationResultType()));
1166 }
1167 
1169  // Note, we always write this Boolean field because the information it conveys
1170  // is critical to understanding the AST node.
1171  ValueDecl *VD = ME->getMemberDecl();
1172  JOS.attribute("name", VD && VD->getDeclName() ? VD->getNameAsString() : "");
1173  JOS.attribute("isArrow", ME->isArrow());
1174  JOS.attribute("referencedMemberDecl", createPointerRepresentation(VD));
1175  switch (ME->isNonOdrUse()) {
1176  case NOUR_None: break;
1177  case NOUR_Unevaluated: JOS.attribute("nonOdrUseReason", "unevaluated"); break;
1178  case NOUR_Constant: JOS.attribute("nonOdrUseReason", "constant"); break;
1179  case NOUR_Discarded: JOS.attribute("nonOdrUseReason", "discarded"); break;
1180  }
1181 }
1182 
1184  attributeOnlyIfTrue("isGlobal", NE->isGlobalNew());
1185  attributeOnlyIfTrue("isArray", NE->isArray());
1186  attributeOnlyIfTrue("isPlacement", NE->getNumPlacementArgs() != 0);
1187  switch (NE->getInitializationStyle()) {
1188  case CXXNewExpr::NoInit: break;
1189  case CXXNewExpr::CallInit: JOS.attribute("initStyle", "call"); break;
1190  case CXXNewExpr::ListInit: JOS.attribute("initStyle", "list"); break;
1191  }
1192  if (const FunctionDecl *FD = NE->getOperatorNew())
1193  JOS.attribute("operatorNewDecl", createBareDeclRef(FD));
1194  if (const FunctionDecl *FD = NE->getOperatorDelete())
1195  JOS.attribute("operatorDeleteDecl", createBareDeclRef(FD));
1196 }
1198  attributeOnlyIfTrue("isGlobal", DE->isGlobalDelete());
1199  attributeOnlyIfTrue("isArray", DE->isArrayForm());
1200  attributeOnlyIfTrue("isArrayAsWritten", DE->isArrayFormAsWritten());
1201  if (const FunctionDecl *FD = DE->getOperatorDelete())
1202  JOS.attribute("operatorDeleteDecl", createBareDeclRef(FD));
1203 }
1204 
1206  attributeOnlyIfTrue("implicit", TE->isImplicit());
1207 }
1208 
1210  JOS.attribute("castKind", CE->getCastKindName());
1211  llvm::json::Array Path = createCastPath(CE);
1212  if (!Path.empty())
1213  JOS.attribute("path", std::move(Path));
1214  // FIXME: This may not be useful information as it can be obtusely gleaned
1215  // from the inner[] array.
1216  if (const NamedDecl *ND = CE->getConversionFunction())
1217  JOS.attribute("conversionFunc", createBareDeclRef(ND));
1218 }
1219 
1221  VisitCastExpr(ICE);
1222  attributeOnlyIfTrue("isPartOfExplicitCast", ICE->isPartOfExplicitCast());
1223 }
1224 
1226  attributeOnlyIfTrue("adl", CE->usesADL());
1227 }
1228 
1230  const UnaryExprOrTypeTraitExpr *TTE) {
1231  switch (TTE->getKind()) {
1232  case UETT_SizeOf: JOS.attribute("name", "sizeof"); break;
1233  case UETT_AlignOf: JOS.attribute("name", "alignof"); break;
1234  case UETT_VecStep: JOS.attribute("name", "vec_step"); break;
1235  case UETT_PreferredAlignOf: JOS.attribute("name", "__alignof"); break;
1237  JOS.attribute("name", "__builtin_omp_required_simd_align"); break;
1238  }
1239  if (TTE->isArgumentType())
1240  JOS.attribute("argType", createQualType(TTE->getArgumentType()));
1241 }
1242 
1244  VisitNamedDecl(SOPE->getPack());
1245 }
1246 
1248  const UnresolvedLookupExpr *ULE) {
1249  JOS.attribute("usesADL", ULE->requiresADL());
1250  JOS.attribute("name", ULE->getName().getAsString());
1251 
1252  JOS.attributeArray("lookups", [this, ULE] {
1253  for (const NamedDecl *D : ULE->decls())
1254  JOS.value(createBareDeclRef(D));
1255  });
1256 }
1257 
1259  JOS.attribute("name", ALE->getLabel()->getName());
1260  JOS.attribute("labelDeclId", createPointerRepresentation(ALE->getLabel()));
1261 }
1262 
1264  if (CTE->isTypeOperand()) {
1265  QualType Adjusted = CTE->getTypeOperand(Ctx);
1266  QualType Unadjusted = CTE->getTypeOperandSourceInfo()->getType();
1267  JOS.attribute("typeArg", createQualType(Unadjusted));
1268  if (Adjusted != Unadjusted)
1269  JOS.attribute("adjustedTypeArg", createQualType(Adjusted));
1270  }
1271 }
1272 
1274  if (CE->getResultAPValueKind() != APValue::None) {
1275  std::string Str;
1276  llvm::raw_string_ostream OS(Str);
1277  CE->getAPValueResult().printPretty(OS, Ctx, CE->getType());
1278  JOS.attribute("value", OS.str());
1279  }
1280 }
1281 
1283  if (const FieldDecl *FD = ILE->getInitializedFieldInUnion())
1284  JOS.attribute("field", createBareDeclRef(FD));
1285 }
1286 
1288  const GenericSelectionExpr *GSE) {
1289  attributeOnlyIfTrue("resultDependent", GSE->isResultDependent());
1290 }
1291 
1293  const CXXUnresolvedConstructExpr *UCE) {
1294  if (UCE->getType() != UCE->getTypeAsWritten())
1295  JOS.attribute("typeAsWritten", createQualType(UCE->getTypeAsWritten()));
1296  attributeOnlyIfTrue("list", UCE->isListInitialization());
1297 }
1298 
1300  CXXConstructorDecl *Ctor = CE->getConstructor();
1301  JOS.attribute("ctorType", createQualType(Ctor->getType()));
1302  attributeOnlyIfTrue("elidable", CE->isElidable());
1303  attributeOnlyIfTrue("list", CE->isListInitialization());
1304  attributeOnlyIfTrue("initializer_list", CE->isStdInitListInitialization());
1305  attributeOnlyIfTrue("zeroing", CE->requiresZeroInitialization());
1306  attributeOnlyIfTrue("hadMultipleCandidates", CE->hadMultipleCandidates());
1307 
1308  switch (CE->getConstructionKind()) {
1310  JOS.attribute("constructionKind", "complete");
1311  break;
1313  JOS.attribute("constructionKind", "delegating");
1314  break;
1316  JOS.attribute("constructionKind", "non-virtual base");
1317  break;
1319  JOS.attribute("constructionKind", "virtual base");
1320  break;
1321  }
1322 }
1323 
1325  attributeOnlyIfTrue("cleanupsHaveSideEffects",
1326  EWC->cleanupsHaveSideEffects());
1327  if (EWC->getNumObjects()) {
1328  JOS.attributeArray("cleanups", [this, EWC] {
1329  for (const ExprWithCleanups::CleanupObject &CO : EWC->getObjects())
1330  JOS.value(createBareDeclRef(CO));
1331  });
1332  }
1333 }
1334 
1336  const CXXBindTemporaryExpr *BTE) {
1337  const CXXTemporary *Temp = BTE->getTemporary();
1338  JOS.attribute("temp", createPointerRepresentation(Temp));
1339  if (const CXXDestructorDecl *Dtor = Temp->getDestructor())
1340  JOS.attribute("dtor", createBareDeclRef(Dtor));
1341 }
1342 
1344  const MaterializeTemporaryExpr *MTE) {
1345  if (const ValueDecl *VD = MTE->getExtendingDecl())
1346  JOS.attribute("extendingDecl", createBareDeclRef(VD));
1347 
1348  switch (MTE->getStorageDuration()) {
1349  case SD_Automatic:
1350  JOS.attribute("storageDuration", "automatic");
1351  break;
1352  case SD_Dynamic:
1353  JOS.attribute("storageDuration", "dynamic");
1354  break;
1355  case SD_FullExpression:
1356  JOS.attribute("storageDuration", "full expression");
1357  break;
1358  case SD_Static:
1359  JOS.attribute("storageDuration", "static");
1360  break;
1361  case SD_Thread:
1362  JOS.attribute("storageDuration", "thread");
1363  break;
1364  }
1365 
1366  attributeOnlyIfTrue("boundToLValueRef", MTE->isBoundToLvalueReference());
1367 }
1368 
1370  const CXXDependentScopeMemberExpr *DSME) {
1371  JOS.attribute("isArrow", DSME->isArrow());
1372  JOS.attribute("member", DSME->getMember().getAsString());
1373  attributeOnlyIfTrue("hasTemplateKeyword", DSME->hasTemplateKeyword());
1374  attributeOnlyIfTrue("hasExplicitTemplateArgs",
1375  DSME->hasExplicitTemplateArgs());
1376 
1377  if (DSME->getNumTemplateArgs()) {
1378  JOS.attributeArray("explicitTemplateArgs", [DSME, this] {
1379  for (const TemplateArgumentLoc &TAL : DSME->template_arguments())
1380  JOS.object(
1381  [&TAL, this] { Visit(TAL.getArgument(), TAL.getSourceRange()); });
1382  });
1383  }
1384 }
1385 
1387  JOS.attribute("value",
1388  IL->getValue().toString(
1389  /*Radix=*/10, IL->getType()->isSignedIntegerType()));
1390 }
1392  // FIXME: This should probably print the character literal as a string,
1393  // rather than as a numerical value. It would be nice if the behavior matched
1394  // what we do to print a string literal; right now, it is impossible to tell
1395  // the difference between 'a' and L'a' in C from the JSON output.
1396  JOS.attribute("value", CL->getValue());
1397 }
1399  JOS.attribute("value", FPL->getValueAsString(/*Radix=*/10));
1400 }
1403  FL->getValue().toString(Buffer);
1404  JOS.attribute("value", Buffer);
1405 }
1407  std::string Buffer;
1408  llvm::raw_string_ostream SS(Buffer);
1409  SL->outputString(SS);
1410  JOS.attribute("value", SS.str());
1411 }
1413  JOS.attribute("value", BLE->getValue());
1414 }
1415 
1417  attributeOnlyIfTrue("hasInit", IS->hasInitStorage());
1418  attributeOnlyIfTrue("hasVar", IS->hasVarStorage());
1419  attributeOnlyIfTrue("hasElse", IS->hasElseStorage());
1420  attributeOnlyIfTrue("isConstexpr", IS->isConstexpr());
1421 }
1422 
1424  attributeOnlyIfTrue("hasInit", SS->hasInitStorage());
1425  attributeOnlyIfTrue("hasVar", SS->hasVarStorage());
1426 }
1428  attributeOnlyIfTrue("isGNURange", CS->caseStmtIsGNURange());
1429 }
1430 
1432  JOS.attribute("name", LS->getName());
1433  JOS.attribute("declId", createPointerRepresentation(LS->getDecl()));
1434 }
1436  JOS.attribute("targetLabelDeclId",
1437  createPointerRepresentation(GS->getLabel()));
1438 }
1439 
1441  attributeOnlyIfTrue("hasVar", WS->hasVarStorage());
1442 }
1443 
1445  // FIXME: it would be nice for the ASTNodeTraverser would handle the catch
1446  // parameter the same way for C++ and ObjC rather. In this case, C++ gets a
1447  // null child node and ObjC gets no child node.
1448  attributeOnlyIfTrue("isCatchAll", OACS->getCatchParamDecl() == nullptr);
1449 }
1450 
1452  JOS.attribute("isNull", true);
1453 }
1455  JOS.attribute("type", createQualType(TA.getAsType()));
1456 }
1458  const TemplateArgument &TA) {
1459  JOS.attribute("decl", createBareDeclRef(TA.getAsDecl()));
1460 }
1462  JOS.attribute("isNullptr", true);
1463 }
1465  JOS.attribute("value", TA.getAsIntegral().getSExtValue());
1466 }
1468  // FIXME: cannot just call dump() on the argument, as that doesn't specify
1469  // the output format.
1470 }
1472  const TemplateArgument &TA) {
1473  // FIXME: cannot just call dump() on the argument, as that doesn't specify
1474  // the output format.
1475 }
1477  const TemplateArgument &TA) {
1478  JOS.attribute("isExpr", true);
1479 }
1481  JOS.attribute("isPack", true);
1482 }
1483 
1484 StringRef JSONNodeDumper::getCommentCommandName(unsigned CommandID) const {
1485  if (Traits)
1486  return Traits->getCommandInfo(CommandID)->Name;
1487  if (const comments::CommandInfo *Info =
1489  return Info->Name;
1490  return "<invalid>";
1491 }
1492 
1494  const comments::FullComment *) {
1495  JOS.attribute("text", C->getText());
1496 }
1497 
1500  JOS.attribute("name", getCommentCommandName(C->getCommandID()));
1501 
1502  switch (C->getRenderKind()) {
1504  JOS.attribute("renderKind", "normal");
1505  break;
1507  JOS.attribute("renderKind", "bold");
1508  break;
1510  JOS.attribute("renderKind", "emphasized");
1511  break;
1513  JOS.attribute("renderKind", "monospaced");
1514  break;
1515  }
1516 
1517  llvm::json::Array Args;
1518  for (unsigned I = 0, E = C->getNumArgs(); I < E; ++I)
1519  Args.push_back(C->getArgText(I));
1520 
1521  if (!Args.empty())
1522  JOS.attribute("args", std::move(Args));
1523 }
1524 
1527  JOS.attribute("name", C->getTagName());
1528  attributeOnlyIfTrue("selfClosing", C->isSelfClosing());
1529  attributeOnlyIfTrue("malformed", C->isMalformed());
1530 
1531  llvm::json::Array Attrs;
1532  for (unsigned I = 0, E = C->getNumAttrs(); I < E; ++I)
1533  Attrs.push_back(
1534  {{"name", C->getAttr(I).Name}, {"value", C->getAttr(I).Value}});
1535 
1536  if (!Attrs.empty())
1537  JOS.attribute("attrs", std::move(Attrs));
1538 }
1539 
1542  JOS.attribute("name", C->getTagName());
1543 }
1544 
1547  JOS.attribute("name", getCommentCommandName(C->getCommandID()));
1548 
1549  llvm::json::Array Args;
1550  for (unsigned I = 0, E = C->getNumArgs(); I < E; ++I)
1551  Args.push_back(C->getArgText(I));
1552 
1553  if (!Args.empty())
1554  JOS.attribute("args", std::move(Args));
1555 }
1556 
1559  switch (C->getDirection()) {
1561  JOS.attribute("direction", "in");
1562  break;
1564  JOS.attribute("direction", "out");
1565  break;
1567  JOS.attribute("direction", "in,out");
1568  break;
1569  }
1570  attributeOnlyIfTrue("explicit", C->isDirectionExplicit());
1571 
1572  if (C->hasParamName())
1573  JOS.attribute("param", C->isParamIndexValid() ? C->getParamName(FC)
1574  : C->getParamNameAsWritten());
1575 
1576  if (C->isParamIndexValid() && !C->isVarArgParam())
1577  JOS.attribute("paramIdx", C->getParamIndex());
1578 }
1579 
1582  if (C->hasParamName())
1583  JOS.attribute("param", C->isPositionValid() ? C->getParamName(FC)
1584  : C->getParamNameAsWritten());
1585  if (C->isPositionValid()) {
1586  llvm::json::Array Positions;
1587  for (unsigned I = 0, E = C->getDepth(); I < E; ++I)
1588  Positions.push_back(C->getIndex(I));
1589 
1590  if (!Positions.empty())
1591  JOS.attribute("positions", std::move(Positions));
1592  }
1593 }
1594 
1597  JOS.attribute("name", getCommentCommandName(C->getCommandID()));
1598  JOS.attribute("closeName", C->getCloseName());
1599 }
1600 
1603  const comments::FullComment *) {
1604  JOS.attribute("text", C->getText());
1605 }
1606 
1609  JOS.attribute("text", C->getText());
1610 }
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:2206
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:5205
bool path_empty() const
Definition: Expr.h:3195
NamedDecl * getTargetDecl() const
Gets the underlying declaration which has been brought into the local scope.
Definition: DeclCXX.h:3130
const CXXDestructorDecl * getDestructor() const
Definition: ExprCXX.h:1352
Represents a function declaration or definition.
Definition: Decl.h:1784
NamedDecl * getFoundDecl()
Get the NamedDecl through which this reference occurred.
Definition: Expr.h:1259
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:3957
Represents the dependent type named by a dependently-scoped typename using declaration, e.g.
Definition: Type.h:4160
StringRef getArgText(unsigned Idx) const
Definition: Comment.h:672
A (possibly-)qualified type.
Definition: Type.h:643
Static storage duration.
Definition: Specifiers.h:310
const char * getDeclKindName() const
Definition: DeclBase.cpp:123
base_class_range bases()
Definition: DeclCXX.h:589
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:2894
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:583
__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:1892
bool isListInitialization() const
Determine whether this expression models list-initialization.
Definition: ExprCXX.h:3444
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:3393
bool isArrayFormAsWritten() const
Definition: ExprCXX.h:2387
IfStmt - This represents an if/then/else.
Definition: Stmt.h:1822
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:2855
void VisitObjCIvarRefExpr(const ObjCIvarRefExpr *OIRE)
StorageClass getStorageClass() const
Returns the storage class as written in the source.
Definition: Decl.h:1034
Represents the declaration of a typedef-name via the &#39;typedef&#39; type specifier.
Definition: Decl.h:3087
bool isConstexpr() const
Whether this is a (C++11) constexpr function or constexpr constructor.
Definition: Decl.h:2144
ArrayRef< CleanupObject > getObjects() const
Definition: ExprCXX.h:3332
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:957
TagDecl * getDecl() const
Definition: Type.cpp:3293
llvm::APFloat getValue() const
Definition: Expr.h:1572
ObjCMethodDecl * getImplicitPropertySetter() const
Definition: ExprObjC.h:717
void VisitUnaryTransformType(const UnaryTransformType *UTT)
FunctionDecl * getOperatorNew() const
Definition: ExprCXX.h:2218
bool isVirtual() const
Determines whether the base class is a virtual base class (or not).
Definition: DeclCXX.h:200
A reference to a name which we were able to look up during parsing but could not resolve to a specifi...
Definition: ExprCXX.h:3037
Opcode getOpcode() const
Definition: Expr.h:3444
SourceLocation getLocation() const LLVM_READONLY
Definition: Comment.h:221
Represents a C++11 auto or C++14 decltype(auto) type.
Definition: Type.h:4823
void VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *OPRE)
The base class of the type hierarchy.
Definition: Type.h:1436
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called...
Definition: ExprCXX.h:1533
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:2860
Represent a C++ namespace.
Definition: Decl.h:522
Represents a call to a C++ constructor.
Definition: ExprCXX.h:1422
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:113
StringRef getParamName(const FullComment *FC) const
Definition: Comment.cpp:371
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:2085
IdentKind getIdentKind() const
Definition: Expr.h:1926
void VisitMemberPointerType(const MemberPointerType *MPT)
void visitTextComment(const comments::TextComment *C, const comments::FullComment *)
TemplateTypeParmDecl * getDecl() const
Definition: Type.h:4643
Represents a C++ constructor within a class.
Definition: DeclCXX.h:2365
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:4419
void VisitTemplateTypeParmType(const TemplateTypeParmType *TTPT)
bool isVirtualAsWritten() const
Whether this function is marked as virtual explicitly.
Definition: Decl.h:2050
bool needsOverloadResolutionForCopyConstructor() const
Determine whether we need to eagerly declare a defaulted copy constructor for this class...
Definition: DeclCXX.h:774
bool hasInClassInitializer() const
Determine whether this member has a C++11 default member initializer.
Definition: Decl.h:2783
This name appears in an unevaluated operand.
Definition: Specifiers.h:164
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
Definition: Decl.h:3238
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:827
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:3598
const T * getAs() const
Member-template getAs<specific type>&#39;.
Definition: Type.h:6858
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:3805
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:2082
DeclarationName getName() const
Gets the name looked up.
Definition: ExprCXX.h:2953
bool isConst() const
Definition: Type.h:3668
const char * getName() const
Definition: Stmt.cpp:351
bool isInvalidDecl() const
Definition: DeclBase.h:553
unsigned getNumPlacementArgs() const
Definition: ExprCXX.h:2236
bool requiresADL() const
True if this declaration should be extended by argument-dependent lookup.
Definition: ExprCXX.h:3105
Not a TLS variable.
Definition: Decl.h:844
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:3306
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:75
SourceLocation getAttributeLoc() const
Definition: Type.h:3183
LabelStmt - Represents a label, which has a substatement.
Definition: Stmt.h:1720
Represents a struct/union/class.
Definition: Decl.h:3662
LanguageIDs getLanguage() const
Return the language specified by this linkage specification.
Definition: DeclCXX.h:2789
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:3344
QualType getComputationResultType() const
Definition: Expr.h:3655
unsigned getRegParm() const
Definition: Type.h:3556
bool isImplicit() const
Returns true if the attribute has been implicitly created instead of explicitly written by the user...
Definition: Attr.h:98
bool isInline() const
Returns true if this is an inline namespace declaration.
Definition: Decl.h:583
is ARM Neon vector
Definition: Type.h:3222
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:2737
Represents a member of a struct/union/class.
Definition: Decl.h:2643
TemplateName getTemplateName() const
Retrieve the name of the template that we are specializing.
Definition: Type.h:4980
TypeSourceInfo * getTypeSourceInfo() const
Returns the declarator information for a base class or delegating initializer.
Definition: DeclCXX.h:2267
StringRef getText() const LLVM_READONLY
Definition: Comment.h:883
const IdentifierInfo * getMacroIdentifier() const
Definition: Type.h:4234
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:5255
int Category
Definition: Format.cpp:1810
Represents an access specifier followed by colon &#39;:&#39;.
Definition: DeclCXX.h:87
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:125
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:3551
StringRef getOpcodeStr() const
Definition: Expr.h:3465
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:4375
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
Definition: ExprCXX.h:764
Represents a C++ using-declaration.
Definition: DeclCXX.h:3275
bool isArrow() const
Definition: ExprObjC.h:584
static llvm::json::Object createMoveAssignmentDefinitionData(const CXXRecordDecl *RD)
UnresolvedUsingTypenameDecl * getDecl() const
Definition: Type.h:4171
AssociationTy< true > ConstAssociation
Definition: Expr.h:5366
bool isBitField() const
Determines whether this field is a bitfield.
Definition: Decl.h:2721
void VisitSizeOfPackExpr(const SizeOfPackExpr *SOPE)
An lvalue ref-qualifier was provided (&).
Definition: Type.h:1392
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:2399
void VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D)
bool isElidable() const
Whether this construction is elidable.
Definition: ExprCXX.h:1500
void VisitCharacterLiteral(const CharacterLiteral *CL)
bool isGlobalNew() const
Definition: ExprCXX.h:2259
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:227
LabelDecl * getDecl() const
Definition: Stmt.h:1737
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:134
bool isTypeAlias() const
Determine if this template specialization type is for a type alias template that has been substituted...
Definition: Type.h:4965
path_iterator path_begin()
Definition: Expr.h:3197
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:4216
const clang::PrintingPolicy & getPrintingPolicy() const
Definition: ASTContext.h:670
bool isByRef() const
Whether this is a "by ref" capture, i.e.
Definition: Decl.h:3982
bool containsUnexpandedParameterPack() const
Whether this type is or contains an unexpanded parameter pack, used to support C++0x variadic templat...
Definition: Type.h:1871
void VisitObjCAtCatchStmt(const ObjCAtCatchStmt *OACS)
unsigned getNumTemplateArgs() const
Retrieve the number of template arguments provided as part of this template-id.
Definition: ExprCXX.h:3713
A builtin binary operation expression such as "x + y" or "x <= y".
Definition: Expr.h:3409
static bool isPostfix(Opcode Op)
isPostfix - Return true if this is a postfix operation, like x++.
Definition: Expr.h:2068
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:1895
CXXRecordDecl * getDecl() const
Definition: Type.cpp:3383
bool isArrow() const
Definition: Expr.h:2995
bool isConstexpr() const
Whether this variable is (C++11) constexpr.
Definition: Decl.h:1417
void VisitImplicitCastExpr(const ImplicitCastExpr *ICE)
New-expression has a C++98 paren-delimited initializer.
Definition: ExprCXX.h:2157
void VisitIntegerLiteral(const IntegerLiteral *IL)
void VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D)
void VisitAutoType(const AutoType *AT)
CaseStmt - Represent a case statement.
Definition: Stmt.h:1488
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:2214
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
Definition: Expr.h:3125
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:1373
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:1392
FieldDecl * getAnyMember() const
Definition: DeclCXX.h:2279
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:3511
Represents an ObjC class declaration.
Definition: DeclObjC.h:1171
This is an odr-use.
Definition: Specifiers.h:162
Represents a linkage specification.
Definition: DeclCXX.h:2753
QualType getReturnType() const
Definition: DeclObjC.h:322
bool getNoReturn() const
Definition: Type.h:3550
void VisitIfStmt(const IfStmt *IS)
is ARM Neon polynomial vector
Definition: Type.h:3225
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:3166
Represents the this expression in C++.
Definition: ExprCXX.h:1097
ObjCIvarDecl * getDecl()
Definition: ExprObjC.h:576
New-expression has no initializer as written.
Definition: ExprCXX.h:2154
bool isArrayForm() const
Definition: ExprCXX.h:2386
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:2798
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:4479
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:1524
Represents the declaration of a typedef-name via a C++11 alias-declaration.
Definition: Decl.h:3107
void VisitArrayType(const ArrayType *AT)
Represents a prototype with parameter type info, e.g.
Definition: Type.h:3725
void VisitRecordDecl(const RecordDecl *RD)
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
Definition: ExprCXX.h:1494
QualType getComputationLHSType() const
Definition: Expr.h:3652
void VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *BTE)
bool isDelegatingInitializer() const
Determine whether this initializer is creating a delegating constructor.
Definition: DeclCXX.h:2234
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand...
Definition: Expr.h:2347
bool isParameterPack() const
Whether this parameter is a non-type template parameter pack.
bool isConstexpr() const
Definition: Stmt.h:1995
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
Definition: Expr.h:953
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:1103
void VisitNullPtrTemplateArgument(const TemplateArgument &TA)
void VisitExprWithCleanups(const ExprWithCleanups *EWC)
unsigned getValue() const
Definition: Expr.h:1539
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:2413
void visitVerbatimBlockComment(const comments::VerbatimBlockComment *C, const comments::FullComment *)
Represents a block literal declaration, which is like an unnamed FunctionDecl.
Definition: Decl.h:3951
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition: Decl.h:644
StringRef getKindName() const
Definition: Decl.h:3308
void VisitCaseStmt(const CaseStmt *CS)
bool isVariadic() const
Whether this function is variadic.
Definition: Decl.cpp:2807
bool isDefaulted() const
Whether this function is defaulted per C++0x.
Definition: Decl.h:2084
bool isInvalid() const
Return true if this object is invalid or uninitialized.
std::string Label
bool isScopedUsingClassTag() const
Returns true if this is a C++11 scoped enumeration.
Definition: Decl.h:3592
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:444
Declaration of a template type parameter.
unsigned getIndex() const
Definition: Type.h:4640
bool getHasRegParm() const
Definition: Type.h:3554
const T * castAs() const
Member-template castAs<specific type>.
Definition: Type.h:6923
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:3035
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:167
Represents a C++ destructor within a class.
Definition: DeclCXX.h:2629
New-expression has a C++11 list-initializer.
Definition: ExprCXX.h:2160
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:2754
void VisitFunctionProtoType(const FunctionProtoType *T)
QualType getArgumentType() const
Definition: Expr.h:2384
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:1983
Represents an expression that computes the length of a parameter pack.
Definition: ExprCXX.h:4091
StorageClass getStorageClass() const
Returns the storage class as written in the source.
Definition: Decl.h:2402
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:1931
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:235
void VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *MTE)
A unary type transform, which is a type constructed from another.
Definition: Type.h:4363
void VisitBinaryOperator(const BinaryOperator *BO)
Direct list-initialization (C++11)
Definition: Decl.h:838
Qualifiers Quals
The local qualifiers.
Definition: Type.h:587
bool isDirectionExplicit() const LLVM_READONLY
Definition: Comment.h:749
LabelDecl * getLabel() const
Definition: Stmt.h:2478
StorageDuration getStorageDuration() const
Retrieve the storage duration for the materialized temporary.
Definition: ExprCXX.h:4460
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:2021
bool isInstanceMethod() const
Definition: DeclObjC.h:421
Represents a GCC generic vector type.
Definition: Type.h:3206
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:2883
QualType getTypeOperand(ASTContext &Context) const
Retrieves the type operand of this typeid() expression after various required adjustments (removing r...
Definition: ExprCXX.cpp:146
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:4391
ValueDecl * getDecl()
Definition: Expr.h:1222
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:1314
void VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D)
QualType getType() const
Definition: DeclObjC.h:828
bool getValue() const
Definition: ExprCXX.h:657
void VisitObjCEncodeExpr(const ObjCEncodeExpr *OEE)
APValue getAPValueResult() const
Definition: Expr.cpp:351
Dynamic storage duration.
Definition: Specifiers.h:311
SplitQualType split() const
Divides a QualType into its unqualified type and a set of local qualifiers.
Definition: Type.h:6156
const char * getFilename() const
Return the presumed filename of this location.
noexcept(expression), evals to &#39;false&#39;
Thread storage duration.
Definition: Specifiers.h:309
void visitInlineCommandComment(const comments::InlineCommandComment *C, const comments::FullComment *)
is AltiVec &#39;vector Pixel&#39;
Definition: Type.h:3216
static StringRef getIdentKindName(IdentKind IK)
Definition: Expr.cpp:646
not a target-specific vector type
Definition: Type.h:3210
ExceptionSpecificationType Type
The kind of exception specification this is.
Definition: Type.h:3781
bool isImplicitProperty() const
Definition: ExprObjC.h:704
ExtProtoInfo getExtProtoInfo() const
Definition: Type.h:3938
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:5827
bool isPure() const
Whether this virtual function is pure, i.e.
Definition: Decl.h:2059
bool hasVarStorage() const
True if this WhileStmt has storage for a condition variable.
Definition: Stmt.h:2257
bool isMemberDataPointer() const
Returns true if the member type (i.e.
Definition: Type.h:2834
void VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *ULE)
void VisitVectorType(const VectorType *VT)
Represents a C++ temporary.
Definition: ExprCXX.h:1341
bool hasExplicitTemplateArgs() const
Determines whether this member expression actually had a C++ template argument list explicitly specif...
Definition: ExprCXX.h:3692
Interfaces are the core concept in Objective-C for object oriented design.
Definition: Type.h:5814
bool isVariablyModifiedType() const
Whether this type is a variably-modified type (C99 6.7.5).
Definition: Type.h:2137
static llvm::json::Object createDefaultConstructorDefinitionData(const CXXRecordDecl *RD)
static bool Ret(InterpState &S, CodePtr &PC, APValue &Result)
Definition: Interp.cpp:34
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:2100
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:3133
SourceRange getSourceRange() const LLVM_READONLY
Definition: Comment.h:215
ASTContext & getASTContext() const LLVM_READONLY
Definition: DeclBase.cpp:377
CallingConv getCC() const
Definition: Type.h:3563
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:3670
std::string getValueAsString(unsigned Radix) const
Definition: Expr.cpp:955
void VisitFixedPointLiteral(const FixedPointLiteral *FPL)
bool canOverflow() const
Returns true if the unary operator can cause an overflow.
Definition: Expr.h:2064
void VisitUsingDirectiveDecl(const UsingDirectiveDecl *UDD)
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
No ref-qualifier was provided.
Definition: Type.h:1389
C-style initialization with assignment.
Definition: Decl.h:832
bool isPackExpansion() const
Determine whether this base specifier is a pack expansion.
Definition: DeclCXX.h:207
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:4492
bool isParameterPack() const
Definition: Type.h:4641
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:2378
bool isArray() const
Definition: ExprCXX.h:2223
bool isScoped() const
Returns true if this is a C++11 scoped enumeration.
Definition: Decl.h:3589
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:3219
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:3249
bool hasTemplateKeyword() const
Determines whether the member name was preceded by the template keyword.
Definition: ExprCXX.h:3688
NestedNameSpecifier * getQualifier() const
Retrieve the qualification on this type.
Definition: Type.h:5242
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:3213
AutoTypeKeyword getKeyword() const
Definition: Type.h:4838
Qualifiers getIndexTypeQualifiers() const
Definition: Type.h:2887
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:398
bool isOriginalNamespace() const
Return true if this declaration is an original (first) declaration of the namespace.
Definition: DeclCXX.cpp:2749
VarDecl * getVariable() const
The variable being captured.
Definition: Decl.h:3978
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:473
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:1395
ObjCBoxedExpr - used for generalized expression boxing.
Definition: ExprObjC.h:124
void VisitTemplateTemplateArgument(const TemplateArgument &TA)
bool isArgumentType() const
Definition: Expr.h:2383
ArrayRef< TemplateArgumentLoc > template_arguments() const
Definition: ExprCXX.h:3720
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:5456
bool isPartOfExplicitCast() const
Definition: Expr.h:3268
std::string getAsString() const
FunctionDecl * getOperatorDelete() const
Definition: ExprCXX.h:2220
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:2127
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:1346
The injected class name of a C++ class template or class template partial specialization.
Definition: Type.h:5054
Represents a pack expansion of types.
Definition: Type.h:5431
InitializationStyle getInitializationStyle() const
The kind of initializer this new-expression has.
Definition: ExprCXX.h:2267
CompoundAssignOperator - For compound assignments (e.g.
Definition: Expr.h:3629
static const char * getStorageClassSpecifierString(StorageClass SC)
Return the string used to specify the storage class SC.
Definition: Decl.cpp:1935
Represents a C11 generic selection.
Definition: Expr.h:5206
StringRef getName() const
Return the actual identifier string.
void VisitMemberExpr(const MemberExpr *ME)
void VisitMacroQualifiedType(const MacroQualifiedType *MQT)
void VisitAddrLabelExpr(const AddrLabelExpr *ALE)
AddrLabelExpr - The GNU address of label extension, representing &&label.
Definition: Expr.h:3882
#define FIELD1(Flag)
TLS with a dynamic initializer.
Definition: Decl.h:850
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:4812
This name appears as a potential result of a discarded value expression.
Definition: Specifiers.h:170
const ObjCInterfaceDecl * getClassInterface() const
Definition: DeclObjC.h:2439
bool isTypeOperand() const
Definition: ExprCXX.h:804
NamespaceDecl * getNominatedNamespace()
Returns the namespace nominated by this using-directive.
Definition: DeclCXX.cpp:2704
void VisitGenericSelectionExpr(const GenericSelectionExpr *GSE)
Dataflow Directional Tag Classes.
bool isResultDependent() const
Whether this generic selection is result-dependent.
Definition: Expr.h:5386
ExtInfo getExtInfo() const
Definition: Type.h:3662
not evaluated yet, for special member function
[C99 6.4.2.2] - A predefined identifier such as func.
Definition: Expr.h:1878
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:2359
bool isNested() const
Whether this is a nested capture, i.e.
Definition: Decl.h:3994
bool isVariadic() const
Definition: Decl.h:4026
Kind getPropertyImplementation() const
Definition: DeclObjC.h:2822
void VisitSwitchStmt(const SwitchStmt *SS)
void VisitLabelStmt(const LabelStmt *LS)
bool isImplicit() const
Definition: ExprCXX.h:1118
bool NE(InterpState &S, CodePtr OpPC)
Definition: Interp.h:226
bool hasInitStorage() const
True if this IfStmt has the storage for an init statement.
Definition: Stmt.h:1889
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:3040
AccessSpecifier getAccess() const
Definition: DeclBase.h:473
NamespaceDecl * getOriginalNamespace()
Get the original (first) namespace declaration.
Definition: DeclCXX.cpp:2735
unsigned getIndex() const
Retrieve the index of the template parameter.
bool usesADL() const
Definition: Expr.h:2648
DeclarationName getMember() const
Retrieve the name of the member that this expression refers to.
Definition: ExprCXX.h:3657
void VisitTypedefDecl(const TypedefDecl *TD)
Represents the declaration of an Objective-C type parameter.
Definition: DeclObjC.h:558
VectorKind getVectorKind() const
Definition: Type.h:3251
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:1513
const Type * getBaseClass() const
If this is a base class initializer, returns the type of the base class.
Definition: DeclCXX.cpp:2400
Represents an enum.
Definition: Decl.h:3395
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:2804
bool isParameterPack() const
Determine whether this variable is actually a function parameter pack or init-capture pack...
Definition: Decl.cpp:2449
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:811
llvm::APInt getValue() const
Definition: Expr.h:1405
void VisitBlockDecl(const BlockDecl *D)
LabelDecl * getLabel() const
Definition: Expr.h:3904
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:3198
StringRef getTagName() const LLVM_READONLY
Definition: Comment.h:395
SwitchStmt - This represents a &#39;switch&#39; stmt.
Definition: Stmt.h:2027
bool needsOverloadResolutionForMoveConstructor() const
Determine whether we need to eagerly declare a defaulted move constructor for this class...
Definition: DeclCXX.h:864
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:4444
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:2137
void VisitObjCPropertyDecl(const ObjCPropertyDecl *D)
unsigned getNumObjects() const
Definition: ExprCXX.h:3337
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:1854
const llvm::APInt & getSize() const
Definition: Type.h:2929
void VisitGotoStmt(const GotoStmt *GS)
void VisitCastExpr(const CastExpr *CE)
Opcode getOpcode() const
Definition: Expr.h:2046
Base for LValueReferenceType and RValueReferenceType.
Definition: Type.h:2721
static const char * getCastKindName(CastKind CK)
Definition: Expr.cpp:1882
bool isVolatile() const
Definition: Type.h:3669
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:1930
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:3618
Represents a base class of a C++ class.
Definition: DeclCXX.h:147
ObjCIvarRefExpr - A reference to an ObjC instance variable.
Definition: ExprObjC.h:546
ArrayRef< QualType > Exceptions
Explicitly-specified list of exception types.
Definition: Type.h:3784
void visitBlockCommandComment(const comments::BlockCommandComment *C, const comments::FullComment *)
bool capturesCXXThis() const
Definition: Decl.h:4083
llvm::iterator_range< decls_iterator > decls() const
Definition: ExprCXX.h:2942
Describes an explicit type conversion that uses functional notion but could not be resolved because o...
Definition: ExprCXX.h:3390
GotoStmt - This represents a direct goto.
Definition: Stmt.h:2465
TypedefNameDecl * getDecl() const
Definition: Type.h:4206
llvm::json::OStream JOS
void VisitTagType(const TagType *TT)
unsigned getDepth() const
Definition: Type.h:4639
bool isFreeIvar() const
Definition: ExprObjC.h:585
Call-style initialization (C++98)
Definition: Decl.h:835
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
Definition: Expr.h:2811
void VisitEnumConstantDecl(const EnumConstantDecl *ECD)
void VisitObjCMethodDecl(const ObjCMethodDecl *D)
bool isMutable() const
Determines whether this field is mutable (C++ only).
Definition: Decl.h:2718
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:255
void VisitRValueReferenceType(const ReferenceType *RT)
const char * getCommentKindName() const
Definition: Comment.cpp:35
bool isValid() const
bool isMemberFunctionPointer() const
Returns true if the member type (i.e.
Definition: Type.h:2828
bool isNRVOVariable() const
Determine whether this local variable can be used with the named return value optimization (NRVO)...
Definition: Decl.h:1360
ObjCIvarDecl - Represents an ObjC instance variable.
Definition: DeclObjC.h:1944
There is no such object (it&#39;s outside its lifetime).
Definition: APValue.h:121
WhileStmt - This represents a &#39;while&#39; stmt.
Definition: Stmt.h:2210
bool isInherited() const
Definition: Attr.h:94
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:262
bool isGlobalDelete() const
Definition: ExprCXX.h:2385
void VisitNamespaceAliasDecl(const NamespaceAliasDecl *NAD)
StringLiteral - This represents a string literal expression, e.g.
Definition: Expr.h:1686
Full-expression storage duration (for temporaries).
Definition: Specifiers.h:307
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Definition: Expr.h:2521
TLS with a known-constant initializer.
Definition: Decl.h:847
QualType getIntegerType() const
Return the integer type this enum decl corresponds to.
Definition: Decl.h:3549
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:3318
void VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D)
unsigned getNumElements() const
Definition: Type.h:3242
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:2121
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:1146
Represents a type template specialization; the template must be a class template, a type alias templa...
Definition: Type.h:4917
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:2199
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:4487
bool hadMultipleCandidates() const
Whether the referred constructor was resolved from an overloaded set having size greater than 1...
Definition: ExprCXX.h:1505
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:3425
static StringRef getNameForCallConv(CallingConv CC)
Definition: Type.cpp:2934
void visitVerbatimLineComment(const comments::VerbatimLineComment *C, const comments::FullComment *)
QualType getType() const
Definition: Decl.h:655
AccessSpecifier getAccessSpecifierAsWritten() const
Retrieves the access specifier as written in the source code (which may mean that no access specifier...
Definition: DeclCXX.h:239
void VisitCXXThisExpr(const CXXThisExpr *TE)
An l-value expression is a reference to an object with independent storage.
Definition: Specifiers.h:129
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:1291
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:645
StringRef getParamName(const FullComment *FC) const
Definition: Comment.cpp:378
void VisitTemplateTemplateParmDecl(const TemplateTemplateParmDecl *D)
Represents a C++ namespace alias.
Definition: DeclCXX.h:2949
APValue::ValueKind getResultAPValueKind() const
Definition: Expr.h:1025
Automatic storage duration (most local variables).
Definition: Specifiers.h:308
bool isInline() const
Whether this variable is (C++1z) inline.
Definition: Decl.h:1399
AccessControl getAccessControl() const
Definition: DeclObjC.h:1983
Represents C++ using-directive.
Definition: DeclCXX.h:2845
SourceLocation getIncludeLoc() const
Return the presumed include location of this location.
attr::Kind getKind() const
Definition: Attr.h:85
The receiver is a superclass.
Definition: ExprObjC.h:1104
bool hasInit() const
Definition: Decl.cpp:2211
SourceLocation getBegin() const
void VisitObjCImplementationDecl(const ObjCImplementationDecl *D)
void VisitFunctionDecl(const FunctionDecl *FD)
const LangOptions & getLangOpts() const
Definition: ASTContext.h:723
NamedDecl * getPack() const
Retrieve the parameter pack.
Definition: ExprCXX.h:4162
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:1557
Represents the canonical version of C arrays with a specified constant size.
Definition: Type.h:2906
The parameter is invariant: must match exactly.
ExceptionSpecInfo ExceptionSpec
Definition: Type.h:3811
A class which abstracts out some details necessary for making a call.
Definition: Type.h:3504
Attr - This represents one attribute.
Definition: Attr.h:45
bool isDeletedAsWritten() const
Definition: Decl.h:2203
SourceLocation getLocation() const
Definition: DeclBase.h:429
Represents a shadow declaration introduced into a scope by a (resolved) using declaration.
Definition: DeclCXX.h:3068
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
std::pair< FileID, unsigned > getDecomposedLoc(SourceLocation Loc) const
Decompose the specified location into a raw FileID + Offset pair.
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:3045
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:1542
QualType getType() const
Retrieves the type of the base class.
Definition: DeclCXX.h:246