Attr.h revision 239462
1//===--- Attr.h - Classes for representing attributes ----------*- C++ -*-===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10//  This file defines the Attr interface and subclasses.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_CLANG_AST_ATTR_H
15#define LLVM_CLANG_AST_ATTR_H
16
17#include "clang/Basic/LLVM.h"
18#include "clang/Basic/AttrKinds.h"
19#include "clang/AST/Type.h"
20#include "clang/Basic/SourceLocation.h"
21#include "clang/Basic/VersionTuple.h"
22#include "llvm/ADT/SmallVector.h"
23#include "llvm/ADT/StringRef.h"
24#include "llvm/ADT/StringSwitch.h"
25#include "llvm/Support/ErrorHandling.h"
26#include "llvm/Support/raw_ostream.h"
27#include <cassert>
28#include <cstring>
29#include <algorithm>
30
31namespace clang {
32  class ASTContext;
33  class IdentifierInfo;
34  class ObjCInterfaceDecl;
35  class Expr;
36  class QualType;
37  class FunctionDecl;
38  class TypeSourceInfo;
39}
40
41// Defined in ASTContext.h
42void *operator new(size_t Bytes, const clang::ASTContext &C,
43                   size_t Alignment = 16);
44// FIXME: Being forced to not have a default argument here due to redeclaration
45//        rules on default arguments sucks
46void *operator new[](size_t Bytes, const clang::ASTContext &C,
47                     size_t Alignment);
48
49// It is good practice to pair new/delete operators.  Also, MSVC gives many
50// warnings if a matching delete overload is not declared, even though the
51// throw() spec guarantees it will not be implicitly called.
52void operator delete(void *Ptr, const clang::ASTContext &C, size_t);
53void operator delete[](void *Ptr, const clang::ASTContext &C, size_t);
54
55namespace clang {
56
57/// Attr - This represents one attribute.
58class Attr {
59private:
60  SourceRange Range;
61  unsigned AttrKind : 16;
62
63protected:
64  bool Inherited : 1;
65
66  virtual ~Attr();
67
68  void* operator new(size_t bytes) throw() {
69    llvm_unreachable("Attrs cannot be allocated with regular 'new'.");
70  }
71  void operator delete(void* data) throw() {
72    llvm_unreachable("Attrs cannot be released with regular 'delete'.");
73  }
74
75public:
76  // Forward so that the regular new and delete do not hide global ones.
77  void* operator new(size_t Bytes, ASTContext &C,
78                     size_t Alignment = 16) throw() {
79    return ::operator new(Bytes, C, Alignment);
80  }
81  void operator delete(void *Ptr, ASTContext &C,
82                       size_t Alignment) throw() {
83    return ::operator delete(Ptr, C, Alignment);
84  }
85
86protected:
87  Attr(attr::Kind AK, SourceRange R)
88    : Range(R), AttrKind(AK), Inherited(false) {}
89
90public:
91
92  attr::Kind getKind() const {
93    return static_cast<attr::Kind>(AttrKind);
94  }
95
96  SourceLocation getLocation() const { return Range.getBegin(); }
97  SourceRange getRange() const { return Range; }
98  void setRange(SourceRange R) { Range = R; }
99
100  bool isInherited() const { return Inherited; }
101
102  // Clone this attribute.
103  virtual Attr* clone(ASTContext &C) const = 0;
104
105  virtual bool isLateParsed() const { return false; }
106
107  // Pretty print this attribute.
108  virtual void printPretty(llvm::raw_ostream &OS,
109                           const PrintingPolicy &Policy) const = 0;
110
111  // Implement isa/cast/dyncast/etc.
112  static bool classof(const Attr *) { return true; }
113};
114
115class InheritableAttr : public Attr {
116  virtual void anchor();
117protected:
118  InheritableAttr(attr::Kind AK, SourceRange R)
119    : Attr(AK, R) {}
120
121public:
122  void setInherited(bool I) { Inherited = I; }
123
124  // Implement isa/cast/dyncast/etc.
125  static bool classof(const Attr *A) {
126    return A->getKind() <= attr::LAST_INHERITABLE;
127  }
128  static bool classof(const InheritableAttr *) { return true; }
129};
130
131class InheritableParamAttr : public InheritableAttr {
132  virtual void anchor();
133protected:
134  InheritableParamAttr(attr::Kind AK, SourceRange R)
135    : InheritableAttr(AK, R) {}
136
137public:
138  // Implement isa/cast/dyncast/etc.
139  static bool classof(const Attr *A) {
140    return A->getKind() <= attr::LAST_INHERITABLE_PARAM;
141  }
142  static bool classof(const InheritableParamAttr *) { return true; }
143};
144
145#include "clang/AST/Attrs.inc"
146
147/// AttrVec - A vector of Attr, which is how they are stored on the AST.
148typedef SmallVector<Attr*, 2> AttrVec;
149typedef SmallVector<const Attr*, 2> ConstAttrVec;
150
151/// specific_attr_iterator - Iterates over a subrange of an AttrVec, only
152/// providing attributes that are of a specifc type.
153template <typename SpecificAttr, typename Container = AttrVec>
154class specific_attr_iterator {
155  typedef typename Container::const_iterator Iterator;
156
157  /// Current - The current, underlying iterator.
158  /// In order to ensure we don't dereference an invalid iterator unless
159  /// specifically requested, we don't necessarily advance this all the
160  /// way. Instead, we advance it when an operation is requested; if the
161  /// operation is acting on what should be a past-the-end iterator,
162  /// then we offer no guarantees, but this way we do not dererence a
163  /// past-the-end iterator when we move to a past-the-end position.
164  mutable Iterator Current;
165
166  void AdvanceToNext() const {
167    while (!isa<SpecificAttr>(*Current))
168      ++Current;
169  }
170
171  void AdvanceToNext(Iterator I) const {
172    while (Current != I && !isa<SpecificAttr>(*Current))
173      ++Current;
174  }
175
176public:
177  typedef SpecificAttr*             value_type;
178  typedef SpecificAttr*             reference;
179  typedef SpecificAttr*             pointer;
180  typedef std::forward_iterator_tag iterator_category;
181  typedef std::ptrdiff_t            difference_type;
182
183  specific_attr_iterator() : Current() { }
184  explicit specific_attr_iterator(Iterator i) : Current(i) { }
185
186  reference operator*() const {
187    AdvanceToNext();
188    return cast<SpecificAttr>(*Current);
189  }
190  pointer operator->() const {
191    AdvanceToNext();
192    return cast<SpecificAttr>(*Current);
193  }
194
195  specific_attr_iterator& operator++() {
196    ++Current;
197    return *this;
198  }
199  specific_attr_iterator operator++(int) {
200    specific_attr_iterator Tmp(*this);
201    ++(*this);
202    return Tmp;
203  }
204
205  friend bool operator==(specific_attr_iterator Left,
206                         specific_attr_iterator Right) {
207    if (Left.Current < Right.Current)
208      Left.AdvanceToNext(Right.Current);
209    else
210      Right.AdvanceToNext(Left.Current);
211    return Left.Current == Right.Current;
212  }
213  friend bool operator!=(specific_attr_iterator Left,
214                         specific_attr_iterator Right) {
215    return !(Left == Right);
216  }
217};
218
219template <typename SpecificAttr, typename Container>
220inline specific_attr_iterator<SpecificAttr, Container>
221          specific_attr_begin(const Container& container) {
222  return specific_attr_iterator<SpecificAttr, Container>(container.begin());
223}
224template <typename SpecificAttr, typename Container>
225inline specific_attr_iterator<SpecificAttr, Container>
226          specific_attr_end(const Container& container) {
227  return specific_attr_iterator<SpecificAttr, Container>(container.end());
228}
229
230template <typename SpecificAttr, typename Container>
231inline bool hasSpecificAttr(const Container& container) {
232  return specific_attr_begin<SpecificAttr>(container) !=
233          specific_attr_end<SpecificAttr>(container);
234}
235template <typename SpecificAttr, typename Container>
236inline SpecificAttr *getSpecificAttr(const Container& container) {
237  specific_attr_iterator<SpecificAttr, Container> i =
238      specific_attr_begin<SpecificAttr>(container);
239  if (i != specific_attr_end<SpecificAttr>(container))
240    return *i;
241  else
242    return 0;
243}
244
245/// getMaxAlignment - Returns the highest alignment value found among
246/// AlignedAttrs in an AttrVec, or 0 if there are none.
247inline unsigned getMaxAttrAlignment(const AttrVec& V, ASTContext &Ctx) {
248  unsigned Align = 0;
249  specific_attr_iterator<AlignedAttr> i(V.begin()), e(V.end());
250  for(; i != e; ++i)
251    Align = std::max(Align, i->getAlignment(Ctx));
252  return Align;
253}
254
255}  // end namespace clang
256
257#endif
258