IntSymExpr - Represents symbolic expression like 3 - 'x'. More...
#include <SymbolManager.h>
Public Member Functions | |
| IntSymExpr (const llvm::APSInt &lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t) | |
| QualType | getType (ASTContext &C) const |
| BinaryOperator::Opcode | getOpcode () const |
| virtual void | dumpToStream (raw_ostream &os) const |
| const SymExpr * | getRHS () const |
| const llvm::APSInt & | getLHS () const |
| void | Profile (llvm::FoldingSetNodeID &ID) |
Static Public Member Functions | |
| static void | Profile (llvm::FoldingSetNodeID &ID, const llvm::APSInt &lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t) |
| static bool | classof (const SymExpr *SE) |
Detailed Description
IntSymExpr - Represents symbolic expression like 3 - 'x'.
Definition at line 391 of file SymbolManager.h.
Constructor & Destructor Documentation
| clang::ento::IntSymExpr::IntSymExpr | ( | const llvm::APSInt & | lhs, |
| BinaryOperator::Opcode | op, | ||
| const SymExpr * | rhs, | ||
| QualType | t | ||
| ) | [inline] |
Definition at line 398 of file SymbolManager.h.
Member Function Documentation
| static bool clang::ento::IntSymExpr::classof | ( | const SymExpr * | SE | ) | [inline, static] |
Reimplemented from clang::ento::SymExpr.
Definition at line 426 of file SymbolManager.h.
References clang::ento::SymExpr::getKind(), and clang::ento::SymExpr::IntSymKind.
| virtual void clang::ento::IntSymExpr::dumpToStream | ( | raw_ostream & | os | ) | const [virtual] |
Reimplemented from clang::ento::SymExpr.
| const llvm::APSInt& clang::ento::IntSymExpr::getLHS | ( | ) | const [inline] |
Definition at line 409 of file SymbolManager.h.
| BinaryOperator::Opcode clang::ento::IntSymExpr::getOpcode | ( | ) | const [inline] |
Definition at line 404 of file SymbolManager.h.
| const SymExpr* clang::ento::IntSymExpr::getRHS | ( | ) | const [inline] |
Definition at line 408 of file SymbolManager.h.
| QualType clang::ento::IntSymExpr::getType | ( | ASTContext & | C | ) | const [inline, virtual] |
Implements clang::ento::SymExpr.
Definition at line 402 of file SymbolManager.h.
| static void clang::ento::IntSymExpr::Profile | ( | llvm::FoldingSetNodeID & | ID, |
| const llvm::APSInt & | lhs, | ||
| BinaryOperator::Opcode | op, | ||
| const SymExpr * | rhs, | ||
| QualType | t | ||
| ) | [inline, static] |
Definition at line 411 of file SymbolManager.h.
References clang::ento::SymExpr::IntSymKind.
Referenced by Profile().
| void clang::ento::IntSymExpr::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | [inline, virtual] |
Implements clang::ento::SymExpr.
Definition at line 421 of file SymbolManager.h.
References Profile().
The documentation for this class was generated from the following file: