Clang Project

clang_source_code/include/clang/AST/StmtIterator.h
1//===- StmtIterator.h - Iterators for Statements ----------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines the StmtIterator and ConstStmtIterator classes.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_CLANG_AST_STMTITERATOR_H
14#define LLVM_CLANG_AST_STMTITERATOR_H
15
16#include <cassert>
17#include <cstddef>
18#include <cstdint>
19#include <iterator>
20
21namespace clang {
22
23class Decl;
24class Stmt;
25class VariableArrayType;
26
27class StmtIteratorBase {
28protected:
29  enum {
30    StmtMode = 0x0,
31    SizeOfTypeVAMode = 0x1,
32    DeclGroupMode = 0x2,
33    Flags = 0x3
34  };
35
36  union {
37    Stmt **stmt;
38    Decl **DGI;
39  };
40  uintptr_t RawVAPtr = 0;
41  Decl **DGE;
42
43  StmtIteratorBase(Stmt **s) : stmt(s) {}
44  StmtIteratorBase(const VariableArrayType *t);
45  StmtIteratorBase(Decl **dgiDecl **dge);
46  StmtIteratorBase() : stmt(nullptr) {}
47
48  bool inDeclGroup() const {
49    return (RawVAPtr & Flags) == DeclGroupMode;
50  }
51
52  bool inSizeOfTypeVA() const {
53    return (RawVAPtr & Flags) == SizeOfTypeVAMode;
54  }
55
56  bool inStmt() const {
57    return (RawVAPtr & Flags) == StmtMode;
58  }
59
60  const VariableArrayType *getVAPtr() const {
61    return reinterpret_cast<const VariableArrayType*>(RawVAPtr & ~Flags);
62  }
63
64  void setVAPtr(const VariableArrayType *P) {
65    assert(inDeclGroup() || inSizeOfTypeVA());
66    RawVAPtr = reinterpret_cast<uintptr_t>(P) | (RawVAPtr & Flags);
67  }
68
69  void NextDecl(bool ImmediateAdvance = true);
70  bool HandleDecl(DeclD);
71  void NextVA();
72
73  Stmt*& GetDeclExpr() const;
74};
75
76template <typename DERIVED, typename REFERENCE>
77class StmtIteratorImpl : public StmtIteratorBase,
78                         public std::iterator<std::forward_iterator_tag,
79                                              REFERENCE, ptrdiff_t,
80                                              REFERENCE, REFERENCE> {
81protected:
82  StmtIteratorImpl(const StmtIteratorBaseRHS) : StmtIteratorBase(RHS) {}
83
84public:
85  StmtIteratorImpl() = default;
86  StmtIteratorImpl(Stmt **s) : StmtIteratorBase(s) {}
87  StmtIteratorImpl(Decl **dgiDecl **dge) : StmtIteratorBase(dgidge) {}
88  StmtIteratorImpl(const VariableArrayType *t) : StmtIteratorBase(t) {}
89
90  DERIVED& operator++() {
91    if (inStmt())
92      ++stmt;
93    else if (getVAPtr())
94      NextVA();
95    else
96      NextDecl();
97
98    return static_cast<DERIVED&>(*this);
99  }
100
101  DERIVED operator++(int) {
102    DERIVED tmp = static_cast<DERIVED&>(*this);
103    operator++();
104    return tmp;
105  }
106
107  bool operator==(const DERIVED& RHSconst {
108    return stmt == RHS.stmt && DGI == RHS.DGI && RawVAPtr == RHS.RawVAPtr;
109  }
110
111  bool operator!=(const DERIVED& RHSconst {
112    return stmt != RHS.stmt || DGI != RHS.DGI || RawVAPtr != RHS.RawVAPtr;
113  }
114
115  REFERENCE operator*() const {
116    return inStmt() ? *stmt : GetDeclExpr();
117  }
118
119  REFERENCE operator->() const { return operator*(); }
120};
121
122struct ConstStmtIterator;
123
124struct StmtIterator : public StmtIteratorImpl<StmtIteratorStmt*&> {
125  explicit StmtIterator() = default;
126  StmtIterator(Stmt** S) : StmtIteratorImpl<StmtIteratorStmt*&>(S) {}
127  StmtIterator(Decl** dgiDecl** dge)
128      : StmtIteratorImpl<StmtIteratorStmt*&>(dgidge) {}
129  StmtIterator(const VariableArrayType *t)
130      : StmtIteratorImpl<StmtIteratorStmt*&>(t) {}
131
132private:
133  StmtIterator(const StmtIteratorBase &RHS)
134      : StmtIteratorImpl<StmtIteratorStmt *&>(RHS) {}
135
136  inline friend StmtIterator
137  cast_away_const(const ConstStmtIterator &RHS);
138};
139
140struct ConstStmtIterator : public StmtIteratorImpl<ConstStmtIterator,
141                                                   const Stmt*> {
142  explicit ConstStmtIterator() = default;
143  ConstStmtIterator(const StmtIteratorRHS)
144      : StmtIteratorImpl<ConstStmtIteratorconst Stmt*>(RHS) {}
145
146  ConstStmtIterator(Stmt * const *S)
147      : StmtIteratorImpl<ConstStmtIteratorconst Stmt *>(
148            const_cast<Stmt **>(S)) {}
149};
150
151inline StmtIterator cast_away_const(const ConstStmtIterator &RHS) {
152  return RHS;
153}
154
155// namespace clang
156
157#endif // LLVM_CLANG_AST_STMTITERATOR_H
158
clang::StmtIteratorBase::(anonymous union)::stmt
clang::StmtIteratorBase::(anonymous union)::DGI
clang::StmtIteratorBase::RawVAPtr
clang::StmtIteratorBase::DGE
clang::StmtIteratorBase::inDeclGroup
clang::StmtIteratorBase::inSizeOfTypeVA
clang::StmtIteratorBase::inStmt
clang::StmtIteratorBase::getVAPtr
clang::StmtIteratorBase::setVAPtr
clang::StmtIteratorBase::NextDecl
clang::StmtIteratorBase::HandleDecl
clang::StmtIteratorBase::NextVA
clang::StmtIteratorBase::GetDeclExpr