clang  3.9.0
Public Member Functions | Static Public Member Functions | Protected Member Functions | List of all members
clang::ento::BinarySymExpr Class Reference

Represents a symbolic expression involving a binary operator. More...

#include <SymbolManager.h>

Inheritance diagram for clang::ento::BinarySymExpr:
[legend]
Collaboration diagram for clang::ento::BinarySymExpr:
[legend]

Public Member Functions

QualType getType () const override
 
BinaryOperator::Opcode getOpcode () const
 
- Public Member Functions inherited from clang::ento::SymExpr
virtual ~SymExpr ()
 
Kind getKind () const
 
virtual void dump () const
 
virtual void dumpToStream (raw_ostream &os) const
 
virtual void Profile (llvm::FoldingSetNodeID &profile)=0
 
symbol_iterator symbol_begin () const
 
unsigned computeComplexity () const
 
virtual const MemRegiongetOriginRegion () const
 Find the region from which this symbol originates. More...
 

Static Public Member Functions

static bool classof (const SymExpr *SE)
 
- Static Public Member Functions inherited from clang::ento::SymExpr
static symbol_iterator symbol_end ()
 

Protected Member Functions

 BinarySymExpr (Kind k, BinaryOperator::Opcode op, QualType t)
 
- Protected Member Functions inherited from clang::ento::SymExpr
 SymExpr (Kind k)
 

Additional Inherited Members

- Public Types inherited from clang::ento::SymExpr
enum  Kind
 

Detailed Description

Represents a symbolic expression involving a binary operator.

Definition at line 263 of file SymbolManager.h.

Constructor & Destructor Documentation

clang::ento::BinarySymExpr::BinarySymExpr ( Kind  k,
BinaryOperator::Opcode  op,
QualType  t 
)
inlineprotected

Definition at line 268 of file SymbolManager.h.

Member Function Documentation

static bool clang::ento::BinarySymExpr::classof ( const SymExpr SE)
inlinestatic

Definition at line 279 of file SymbolManager.h.

References clang::ento::SymExpr::getKind().

BinaryOperator::Opcode clang::ento::BinarySymExpr::getOpcode ( ) const
inline
QualType clang::ento::BinarySymExpr::getType ( ) const
inlineoverridevirtual

The documentation for this class was generated from the following file: