PrettyPrinter.h revision 1bfb00dabf83d8c8b95b7276b4c0ae3fd64832c8
142a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek//===--- PrettyPrinter.h - Classes for aiding with AST printing -*- C++ -*-===// 242a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek// 342a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek// The LLVM Compiler Infrastructure 442a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 742a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek// 842a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek//===----------------------------------------------------------------------===// 942a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek// 1042a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek// This file defines the PrinterHelper interface. 1142a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek// 1242a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek//===----------------------------------------------------------------------===// 1342a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek 1442a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek#ifndef LLVM_CLANG_AST_PRETTY_PRINTER_H 1542a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek#define LLVM_CLANG_AST_PRETTY_PRINTER_H 1642a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek 179313aac61d425f14fa0b82c3dfe1eb2c3626d38cArgyrios Kyrtzidis#include "clang/Basic/LangOptions.h" 18d47d3b0cfeb7e8564ff77f48130fe63282b6d127Chris Lattner#include "clang/Basic/LLVM.h" 197107d360db751aa974285ae2136aed76b6691b86Chandler Carruth 2042a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremeneknamespace clang { 2142a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek 2242a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenekclass Stmt; 23d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregorclass TagDecl; 24e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattnerclass LangOptions; 25d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor 2642a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenekclass PrinterHelper { 2742a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenekpublic: 2842a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek virtual ~PrinterHelper(); 29d47d3b0cfeb7e8564ff77f48130fe63282b6d127Chris Lattner virtual bool handledStmt(Stmt* E, raw_ostream& OS) = 0; 3042a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek}; 3142a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek 32d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor/// \brief Describes how types, statements, expressions, and 33d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor/// declarations should be printed. 34d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregorstruct PrintingPolicy { 35d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// \brief Create a default printing policy for C. 361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump PrintingPolicy(const LangOptions &LO) 37d1420c6fa788669e49f21e184927c7833881e399Richard Smith : LangOpts(LO), Indentation(2), SuppressSpecifiers(false), 380daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara SuppressTagKeyword(false), SuppressTag(false), SuppressScope(false), 3925270b6e6a8416b7532cfe552b41794418ea19b1Douglas Gregor SuppressUnwrittenScope(false), SuppressInitializers(false), 40d1420c6fa788669e49f21e184927c7833881e399Richard Smith ConstantArraySizeAsWritten(false), AnonymousTagLocations(true), 41d1420c6fa788669e49f21e184927c7833881e399Richard Smith SuppressStrongLifetime(false), Bool(LO.Bool), 421bfb00dabf83d8c8b95b7276b4c0ae3fd64832c8Fariborz Jahanian TerseOutput(false), SuppressAttributes(false), 431bfb00dabf83d8c8b95b7276b4c0ae3fd64832c8Fariborz Jahanian DumpSourceManager(0) { } 44d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor 45e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner /// \brief What language we're printing. 468987b2385d9ba63ada66e1344ace79b04d5cb5c3Douglas Gregor LangOptions LangOpts; 47d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor 48d1420c6fa788669e49f21e184927c7833881e399Richard Smith /// \brief The number of spaces to use to indent each line. 49d1420c6fa788669e49f21e184927c7833881e399Richard Smith unsigned Indentation : 8; 50d1420c6fa788669e49f21e184927c7833881e399Richard Smith 5142f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// \brief Whether we should suppress printing of the actual specifiers for 5242f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// the given type or declaration. 53d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// 54d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// This flag is only used when we are printing declarators beyond 55d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// the first declarator within a declaration group. For example, given: 56d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// 57d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// \code 58d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// const int *x, *y; 59d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// \endcode 60d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// 6142f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// SuppressSpecifiers will be false when printing the 62d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// declaration for "x", so that we will print "int *x"; it will be 63d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// \c true when we print "y", so that we suppress printing the 64d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor /// "const int" type specifier and instead only print the "*y". 6542f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman bool SuppressSpecifiers : 1; 6642f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman 670daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara /// \brief Whether type printing should skip printing the tag keyword. 680daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara /// 690daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara /// This is used when printing the inner type of elaborated types, 700daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara /// (as the tag keyword is part of the elaborated type): 710daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara /// 720daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara /// \code 730daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara /// struct Geometry::Point; 740daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara /// \endcode 750daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara bool SuppressTagKeyword : 1; 760daaf32723ac78549c507c2a68a5300502703673Abramo Bagnara 7742f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// \brief Whether type printing should skip printing the actual tag type. 7842f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// 7942f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// This is used when the caller needs to print a tag definition in front 8042f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// of the type, as in constructs like the following: 8142f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// 8242f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// \code 8342f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// typedef struct { int x, y; } Point; 8442f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman /// \endcode 8542f42c0dd5cf71fbfc6fa282d03079a902f6e342Eli Friedman bool SuppressTag : 1; 86d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor 872191b20bfb31fc0e22a158f6b4204cd0b7dbd0fdJohn McCall /// \brief Suppresses printing of scope specifiers. 882191b20bfb31fc0e22a158f6b4204cd0b7dbd0fdJohn McCall bool SuppressScope : 1; 892191b20bfb31fc0e22a158f6b4204cd0b7dbd0fdJohn McCall 9025270b6e6a8416b7532cfe552b41794418ea19b1Douglas Gregor /// \brief Suppress printing parts of scope specifiers that don't need 9125270b6e6a8416b7532cfe552b41794418ea19b1Douglas Gregor /// to be written, e.g., for inline or anonymous namespaces. 9225270b6e6a8416b7532cfe552b41794418ea19b1Douglas Gregor bool SuppressUnwrittenScope : 1; 9325270b6e6a8416b7532cfe552b41794418ea19b1Douglas Gregor 94ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// \brief Suppress printing of variable initializers. 95ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// 96ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// This flag is used when printing the loop variable in a for-range 97ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// statement. For example, given: 98ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// 99ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// \code 100ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// for (auto x : coll) 101ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// \endcode 102ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// 103ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// SuppressInitializers will be true when printing "auto x", so that the 104ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith /// internal initializer constructed for x will not be printed. 105ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith bool SuppressInitializers : 1; 106ad762fcdc16b9e4705b12b09d92b8c026212b906Richard Smith 1077e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// \brief Whether we should print the sizes of constant array expressions 1087e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// as written in the sources. 1097e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// 1107e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// This flag is determines whether arrays types declared as 1117e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// 1127e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// \code 1137e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// int a[4+10*10]; 1147e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// char a[] = "A string"; 1157e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// \endcode 1167e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// 1177e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// will be printed as written or as follows: 1187e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// 1197e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// \code 1207e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// int a[104]; 1217e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// char a[9] = "A string"; 1227e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor /// \endcode 1237e7eb3da052a6d80ddf2377cab0384c798f73f75Douglas Gregor bool ConstantArraySizeAsWritten : 1; 12484139d6ef8967cfdb70d37378a7a65cc4827d44dDouglas Gregor 12584139d6ef8967cfdb70d37378a7a65cc4827d44dDouglas Gregor /// \brief When printing an anonymous tag name, also print the location of 12684139d6ef8967cfdb70d37378a7a65cc4827d44dDouglas Gregor /// that entity (e.g., "enum <anonymous at t.h:10:5>"). Otherwise, just 12784139d6ef8967cfdb70d37378a7a65cc4827d44dDouglas Gregor /// prints "<anonymous>" for the name. 12884139d6ef8967cfdb70d37378a7a65cc4827d44dDouglas Gregor bool AnonymousTagLocations : 1; 129f85e193739c953358c865005855253af4f68a497John McCall 130f85e193739c953358c865005855253af4f68a497John McCall /// \brief When true, suppress printing of the __strong lifetime qualifier in 131f85e193739c953358c865005855253af4f68a497John McCall /// ARC. 132f85e193739c953358c865005855253af4f68a497John McCall unsigned SuppressStrongLifetime : 1; 13330c42404202d2e2512e51efc6066bd614cfdb5a4Douglas Gregor 13430c42404202d2e2512e51efc6066bd614cfdb5a4Douglas Gregor /// \brief Whether we can use 'bool' rather than '_Bool', even if the language 13530c42404202d2e2512e51efc6066bd614cfdb5a4Douglas Gregor /// doesn't actually have 'bool' (because, e.g., it is defined as a macro). 13630c42404202d2e2512e51efc6066bd614cfdb5a4Douglas Gregor unsigned Bool : 1; 137d1420c6fa788669e49f21e184927c7833881e399Richard Smith 138d1fc82efd53ffda30f4f16041399d78f3bf0705fDmitri Gribenko /// \brief Provide a 'terse' output. 139eb8f2efb17c74620510a38cb437e792ea9c76021Dmitri Gribenko /// 140eb8f2efb17c74620510a38cb437e792ea9c76021Dmitri Gribenko /// For example, in this mode we don't print function bodies, class members, 141eb8f2efb17c74620510a38cb437e792ea9c76021Dmitri Gribenko /// declarations inside namespaces etc. Effectively, this should print 142eb8f2efb17c74620510a38cb437e792ea9c76021Dmitri Gribenko /// only the requested declaration. 143d1fc82efd53ffda30f4f16041399d78f3bf0705fDmitri Gribenko unsigned TerseOutput : 1; 1441bfb00dabf83d8c8b95b7276b4c0ae3fd64832c8Fariborz Jahanian 1451bfb00dabf83d8c8b95b7276b4c0ae3fd64832c8Fariborz Jahanian /// \brief When true, do not print attributes attached to the declaration. 1461bfb00dabf83d8c8b95b7276b4c0ae3fd64832c8Fariborz Jahanian /// 1471bfb00dabf83d8c8b95b7276b4c0ae3fd64832c8Fariborz Jahanian unsigned SuppressAttributes : 1; 14849795ae2c7cbb0845ed07b6626ac24275234e3d1Dmitri Gribenko 149d1420c6fa788669e49f21e184927c7833881e399Richard Smith /// \brief If we are "dumping" rather than "pretty-printing", this points to 150d1420c6fa788669e49f21e184927c7833881e399Richard Smith /// a SourceManager which will be used to dump SourceLocations. Dumping 151d1420c6fa788669e49f21e184927c7833881e399Richard Smith /// involves printing the internal details of the AST and pretty-printing 152d1420c6fa788669e49f21e184927c7833881e399Richard Smith /// involves printing something similar to source code. 153d1420c6fa788669e49f21e184927c7833881e399Richard Smith SourceManager *DumpSourceManager; 154d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor}; 155d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor 15642a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek} // end namespace clang 15742a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek 1588467583c2704e7a9691ea56939a029015f0ade0aGabor Greif#endif 159