Represents a symbolic expression involving a binary operator. More...
#include <SymbolManager.h>
Inheritance diagram for clang::ento::BinarySymExpr:
Collaboration diagram for clang::ento::BinarySymExpr:
Public Member Functions | |
| QualType | getType () const override |
| BinaryOperator::Opcode | getOpcode () const |
Static Public Member Functions | |
| static bool | classof (const SymExpr *SE) |
Protected Member Functions | |
| BinarySymExpr (Kind k, BinaryOperator::Opcode op, QualType t) | |
Detailed Description
Represents a symbolic expression involving a binary operator.
Definition at line 345 of file SymbolManager.h.
Constructor & Destructor Documentation
| clang::ento::BinarySymExpr::BinarySymExpr | ( | Kind | k, |
| BinaryOperator::Opcode | op, | ||
| QualType | t | ||
| ) | [inline, protected] |
Definition at line 350 of file SymbolManager.h.
Member Function Documentation
| static bool clang::ento::BinarySymExpr::classof | ( | const SymExpr * | SE | ) | [inline, static] |
Reimplemented in clang::ento::SymSymExpr, clang::ento::IntSymExpr, and clang::ento::SymIntExpr.
Definition at line 361 of file SymbolManager.h.
References clang::ento::SymExpr::BEGIN_BINARYSYMEXPRS, clang::ento::SymExpr::END_BINARYSYMEXPRS, and clang::ento::SymExpr::getKind().
| BinaryOperator::Opcode clang::ento::BinarySymExpr::getOpcode | ( | ) | const [inline] |
| QualType clang::ento::BinarySymExpr::getType | ( | ) | const [inline, override, virtual] |
Implements clang::ento::SymExpr.
Definition at line 356 of file SymbolManager.h.
Referenced by clang::ento::SymIntExpr::Profile(), clang::ento::IntSymExpr::Profile(), and clang::ento::SymSymExpr::Profile().
The documentation for this class was generated from the following file: