clang  3.9.0svn
Classes | Public Types | Public Member Functions | Static Public Member Functions | Protected Member Functions | List of all members
clang::ento::SymExpr Class Referenceabstract

Symbolic value. More...

#include <SymExpr.h>

Inheritance diagram for clang::ento::SymExpr:
Inheritance graph
Collaboration diagram for clang::ento::SymExpr:
Collaboration graph


class  symbol_iterator
 Iterator over symbols that the current symbol depends on. More...

Public Types

enum  Kind

Public Member Functions

virtual ~SymExpr ()
Kind getKind () const
virtual void dump () const
virtual void dumpToStream (raw_ostream &os) const
virtual QualType getType () const =0
virtual void Profile (llvm::FoldingSetNodeID &profile)=0
symbol_iterator symbol_begin () const
unsigned computeComplexity () const

Static Public Member Functions

static symbol_iterator symbol_end ()

Protected Member Functions

 SymExpr (Kind k)

Detailed Description

Symbolic value.

These values used to capture symbolic execution of the program.

Definition at line 27 of file SymExpr.h.

Member Enumeration Documentation

Definition at line 31 of file SymExpr.h.

Constructor & Destructor Documentation

clang::ento::SymExpr::SymExpr ( Kind  k)

Definition at line 41 of file SymExpr.h.

virtual clang::ento::SymExpr::~SymExpr ( )

Definition at line 44 of file SymExpr.h.

Member Function Documentation

unsigned SymExpr::computeComplexity ( ) const

Definition at line 143 of file SymbolManager.cpp.

References symbol_begin(), and symbol_end().

Referenced by clang::ento::SValBuilder::makeSymExprValNN(), and symbol_end().

LLVM_DUMP_METHOD void SymExpr::dump ( ) const

Definition at line 26 of file SymbolManager.cpp.

References dumpToStream().

Referenced by getKind().

virtual void clang::ento::SymExpr::dumpToStream ( raw_ostream &  os) const
Kind clang::ento::SymExpr::getKind ( ) const
virtual QualType clang::ento::SymExpr::getType ( ) const
pure virtual
virtual void clang::ento::SymExpr::Profile ( llvm::FoldingSetNodeID &  profile)
pure virtual
symbol_iterator clang::ento::SymExpr::symbol_begin ( ) const
static symbol_iterator clang::ento::SymExpr::symbol_end ( )

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