klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::ExprVisitor Class Reference

#include <ExprVisitor.h>

Inheritance diagram for klee::ExprVisitor:
Collaboration diagram for klee::ExprVisitor:

Classes

class  Action
 

Public Member Functions

ref< Exprvisit (const ref< Expr > &e)
 

Protected Member Functions

 ExprVisitor (bool _recursive=false)
 
virtual ~ExprVisitor ()
 
virtual Action visitExpr (const Expr &)
 
virtual Action visitExprPost (const Expr &)
 
virtual Action visitNotOptimized (const NotOptimizedExpr &)
 
virtual Action visitRead (const ReadExpr &)
 
virtual Action visitSelect (const SelectExpr &)
 
virtual Action visitConcat (const ConcatExpr &)
 
virtual Action visitExtract (const ExtractExpr &)
 
virtual Action visitZExt (const ZExtExpr &)
 
virtual Action visitSExt (const SExtExpr &)
 
virtual Action visitAdd (const AddExpr &)
 
virtual Action visitSub (const SubExpr &)
 
virtual Action visitMul (const MulExpr &)
 
virtual Action visitUDiv (const UDivExpr &)
 
virtual Action visitSDiv (const SDivExpr &)
 
virtual Action visitURem (const URemExpr &)
 
virtual Action visitSRem (const SRemExpr &)
 
virtual Action visitNot (const NotExpr &)
 
virtual Action visitAnd (const AndExpr &)
 
virtual Action visitOr (const OrExpr &)
 
virtual Action visitXor (const XorExpr &)
 
virtual Action visitShl (const ShlExpr &)
 
virtual Action visitLShr (const LShrExpr &)
 
virtual Action visitAShr (const AShrExpr &)
 
virtual Action visitEq (const EqExpr &)
 
virtual Action visitNe (const NeExpr &)
 
virtual Action visitUlt (const UltExpr &)
 
virtual Action visitUle (const UleExpr &)
 
virtual Action visitUgt (const UgtExpr &)
 
virtual Action visitUge (const UgeExpr &)
 
virtual Action visitSlt (const SltExpr &)
 
virtual Action visitSle (const SleExpr &)
 
virtual Action visitSgt (const SgtExpr &)
 
virtual Action visitSge (const SgeExpr &)
 

Private Types

typedef ExprHashMap< ref< Expr > > visited_ty
 

Private Member Functions

ref< ExprvisitActual (const ref< Expr > &e)
 

Private Attributes

visited_ty visited
 
bool recursive
 

Detailed Description

Definition at line 16 of file ExprVisitor.h.

Member Typedef Documentation

Definition at line 84 of file ExprVisitor.h.

Constructor & Destructor Documentation

klee::ExprVisitor::ExprVisitor ( bool  _recursive = false)
inlineexplicitprotected

Definition at line 45 of file ExprVisitor.h.

virtual klee::ExprVisitor::~ExprVisitor ( )
inlineprotectedvirtual

Definition at line 46 of file ExprVisitor.h.

Member Function Documentation

ref< Expr > ExprVisitor::visitActual ( const ref< Expr > &  e)
private
ExprVisitor::Action ExprVisitor::visitAdd ( const AddExpr &  )
protectedvirtual

Definition at line 163 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitAnd ( const AndExpr &  )
protectedvirtual

Definition at line 195 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitAShr ( const AShrExpr &  )
protectedvirtual

Definition at line 215 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitConcat ( const ConcatExpr )
protectedvirtual

Definition at line 147 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitEq ( const EqExpr &  )
protectedvirtual

Definition at line 219 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitExpr ( const Expr )
protectedvirtual

Reimplemented in ExprReplaceVisitor, and klee::ExprEvaluator.

Definition at line 127 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitExprPost ( const Expr )
protectedvirtual

Reimplemented in ExprReplaceVisitor2, and ExprReplaceVisitor.

Definition at line 131 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::skipChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitExtract ( const ExtractExpr )
protectedvirtual

Definition at line 151 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitLShr ( const LShrExpr &  )
protectedvirtual

Definition at line 211 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitMul ( const MulExpr &  )
protectedvirtual

Definition at line 171 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitNe ( const NeExpr &  )
protectedvirtual

Definition at line 223 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitNot ( const NotExpr )
protectedvirtual

Definition at line 191 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitNotOptimized ( const NotOptimizedExpr )
protectedvirtual

Definition at line 135 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitOr ( const OrExpr &  )
protectedvirtual

Definition at line 199 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitRead ( const ReadExpr )
protectedvirtual

Reimplemented in klee::SymbolicObjectFinder, and klee::ExprEvaluator.

Definition at line 139 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitSDiv ( const SDivExpr &  )
protectedvirtual

Reimplemented in klee::ExprEvaluator.

Definition at line 179 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitSelect ( const SelectExpr )
protectedvirtual

Definition at line 143 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitSExt ( const SExtExpr &  )
protectedvirtual

Definition at line 159 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitSge ( const SgeExpr &  )
protectedvirtual

Definition at line 255 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitSgt ( const SgtExpr &  )
protectedvirtual

Definition at line 251 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitShl ( const ShlExpr &  )
protectedvirtual

Definition at line 207 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitSle ( const SleExpr &  )
protectedvirtual

Definition at line 247 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitSlt ( const SltExpr &  )
protectedvirtual

Definition at line 243 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitSRem ( const SRemExpr &  )
protectedvirtual

Reimplemented in klee::ExprEvaluator.

Definition at line 187 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitSub ( const SubExpr &  )
protectedvirtual

Definition at line 167 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitUDiv ( const UDivExpr &  )
protectedvirtual

Reimplemented in klee::ExprEvaluator.

Definition at line 175 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitUge ( const UgeExpr &  )
protectedvirtual

Definition at line 239 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitUgt ( const UgtExpr &  )
protectedvirtual

Definition at line 235 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitUle ( const UleExpr &  )
protectedvirtual

Definition at line 231 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitUlt ( const UltExpr &  )
protectedvirtual

Definition at line 227 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitURem ( const URemExpr &  )
protectedvirtual

Reimplemented in klee::ExprEvaluator.

Definition at line 183 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitXor ( const XorExpr &  )
protectedvirtual

Definition at line 203 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprVisitor::visitZExt ( const ZExtExpr &  )
protectedvirtual

Definition at line 155 of file ExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren().

Referenced by visitActual().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

bool klee::ExprVisitor::recursive
private

Definition at line 86 of file ExprVisitor.h.

Referenced by visitActual().

visited_ty klee::ExprVisitor::visited
private

Definition at line 85 of file ExprVisitor.h.

Referenced by visit().


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