#include <SymbolManager.h>
Public Member Functions | |
| SymbolConjured (SymbolID sym, const Stmt *s, const LocationContext *lctx, QualType t, unsigned count, const void *symbolTag) | |
| const Stmt * | getStmt () const |
| unsigned | getCount () const |
| const void * | getTag () const |
| QualType | getType () const override |
| void | dumpToStream (raw_ostream &os) const override |
| void | Profile (llvm::FoldingSetNodeID &profile) override |
Static Public Member Functions | |
| static void | Profile (llvm::FoldingSetNodeID &profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) |
| static bool | classof (const SymExpr *SE) |
Detailed Description
A symbol representing the result of an expression in the case when we do not know anything about what the expression is.
Definition at line 154 of file SymbolManager.h.
Constructor & Destructor Documentation
| clang::ento::SymbolConjured::SymbolConjured | ( | SymbolID | sym, |
| const Stmt * | s, | ||
| const LocationContext * | lctx, | ||
| QualType | t, | ||
| unsigned | count, | ||
| const void * | symbolTag | ||
| ) | [inline] |
Definition at line 162 of file SymbolManager.h.
Member Function Documentation
| static bool clang::ento::SymbolConjured::classof | ( | const SymExpr * | SE | ) | [inline, static] |
Reimplemented from clang::ento::SymbolData.
Definition at line 193 of file SymbolManager.h.
References clang::ento::SymExpr::ConjuredKind, and clang::ento::SymExpr::getKind().
| void SymbolConjured::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::SymExpr.
Definition at line 67 of file SymbolManager.cpp.
References clang::QualType::getAsString(), and clang::ento::SymbolData::getSymbolID().
| unsigned clang::ento::SymbolConjured::getCount | ( | ) | const [inline] |
Definition at line 170 of file SymbolManager.h.
| const Stmt* clang::ento::SymbolConjured::getStmt | ( | ) | const [inline] |
Definition at line 169 of file SymbolManager.h.
| const void* clang::ento::SymbolConjured::getTag | ( | ) | const [inline] |
Definition at line 171 of file SymbolManager.h.
| QualType SymbolConjured::getType | ( | ) | const [override, virtual] |
Implements clang::ento::SymExpr.
Definition at line 307 of file SymbolManager.cpp.
| static void clang::ento::SymbolConjured::Profile | ( | llvm::FoldingSetNodeID & | profile, |
| const Stmt * | S, | ||
| QualType | T, | ||
| unsigned | Count, | ||
| const LocationContext * | LCtx, | ||
| const void * | SymbolTag | ||
| ) | [inline, static] |
Definition at line 177 of file SymbolManager.h.
References clang::ento::SymExpr::ConjuredKind.
Referenced by Profile().
| void clang::ento::SymbolConjured::Profile | ( | llvm::FoldingSetNodeID & | profile | ) | [inline, override, virtual] |
Implements clang::ento::SymExpr.
Definition at line 188 of file SymbolManager.h.
References Profile().
The documentation for this class was generated from the following files: