Represents a symbolic expression like 'x' + 'y'. More...
#include <SymbolManager.h>
Public Member Functions | |
| SymSymExpr (const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t) | |
| const SymExpr * | getLHS () const |
| const SymExpr * | getRHS () const |
| void | dumpToStream (raw_ostream &os) const override |
| void | Profile (llvm::FoldingSetNodeID &ID) override |
Static Public Member Functions | |
| static void | Profile (llvm::FoldingSetNodeID &ID, const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t) |
| static bool | classof (const SymExpr *SE) |
Detailed Description
Represents a symbolic expression like 'x' + 'y'.
Definition at line 438 of file SymbolManager.h.
Constructor & Destructor Documentation
| clang::ento::SymSymExpr::SymSymExpr | ( | const SymExpr * | lhs, |
| BinaryOperator::Opcode | op, | ||
| const SymExpr * | rhs, | ||
| QualType | t | ||
| ) | [inline] |
Definition at line 443 of file SymbolManager.h.
Member Function Documentation
| static bool clang::ento::SymSymExpr::classof | ( | const SymExpr * | SE | ) | [inline, static] |
Reimplemented from clang::ento::BinarySymExpr.
Definition at line 466 of file SymbolManager.h.
References clang::ento::SymExpr::getKind(), and clang::ento::SymExpr::SymSymKind.
| void SymSymExpr::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::SymExpr.
Definition at line 51 of file SymbolManager.cpp.
References clang::ento::SymExpr::dumpToStream(), getLHS(), clang::ento::BinarySymExpr::getOpcode(), clang::BinaryOperator::getOpcodeStr(), and getRHS().
| const SymExpr* clang::ento::SymSymExpr::getLHS | ( | ) | const [inline] |
Definition at line 447 of file SymbolManager.h.
Referenced by dumpToStream(), and clang::ento::ScanReachableSymbols::scan().
| const SymExpr* clang::ento::SymSymExpr::getRHS | ( | ) | const [inline] |
Definition at line 448 of file SymbolManager.h.
Referenced by dumpToStream(), and clang::ento::ScanReachableSymbols::scan().
| static void clang::ento::SymSymExpr::Profile | ( | llvm::FoldingSetNodeID & | ID, |
| const SymExpr * | lhs, | ||
| BinaryOperator::Opcode | op, | ||
| const SymExpr * | rhs, | ||
| QualType | t | ||
| ) | [inline, static] |
Definition at line 452 of file SymbolManager.h.
References clang::ento::SymExpr::SymSymKind.
Referenced by Profile().
| void clang::ento::SymSymExpr::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | [inline, override, virtual] |
Implements clang::ento::SymExpr.
Definition at line 461 of file SymbolManager.h.
References clang::ento::BinarySymExpr::getOpcode(), clang::ento::BinarySymExpr::getType(), and Profile().
The documentation for this class was generated from the following files: