klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::InterpreterHandler Class Referenceabstract

#include <Interpreter.h>

Inheritance diagram for klee::InterpreterHandler:

Public Member Functions

 InterpreterHandler ()
 
virtual ~InterpreterHandler ()
 
virtual llvm::raw_ostream & getInfoStream () const =0
 
virtual std::string getOutputFilename (const std::string &filename)=0
 
virtual llvm::raw_fd_ostream * openOutputFile (const std::string &filename)=0
 
virtual void incPathsExplored ()=0
 
virtual void processTestCase (const ExecutionState &state, const char *err, const char *suffix)=0
 

Detailed Description

Definition at line 31 of file Interpreter.h.

Constructor & Destructor Documentation

klee::InterpreterHandler::InterpreterHandler ( )
inline

Definition at line 33 of file Interpreter.h.

virtual klee::InterpreterHandler::~InterpreterHandler ( )
inlinevirtual

Definition at line 34 of file Interpreter.h.

Member Function Documentation

virtual llvm::raw_ostream& klee::InterpreterHandler::getInfoStream ( ) const
pure virtual

Implemented in KleeHandler.

Referenced by klee::constructUserSearcher().

Here is the caller graph for this function:

virtual std::string klee::InterpreterHandler::getOutputFilename ( const std::string &  filename)
pure virtual

Implemented in KleeHandler.

Referenced by klee::Executor::Executor(), and klee::Executor::setModule().

Here is the caller graph for this function:

virtual void klee::InterpreterHandler::incPathsExplored ( )
pure virtual

Implemented in KleeHandler.

Referenced by klee::Executor::terminateState().

Here is the caller graph for this function:

virtual llvm::raw_fd_ostream* klee::InterpreterHandler::openOutputFile ( const std::string &  filename)
pure virtual

Implemented in KleeHandler.

Referenced by klee::KModule::prepare(), and klee::StatsTracker::StatsTracker().

Here is the caller graph for this function:

virtual void klee::InterpreterHandler::processTestCase ( const ExecutionState state,
const char *  err,
const char *  suffix 
)
pure virtual

Implemented in KleeHandler.

Referenced by klee::Executor::terminateStateEarly(), klee::Executor::terminateStateOnError(), and klee::Executor::terminateStateOnExit().

Here is the caller graph for this function:


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