klee
|
#include <ExecutionState.h>
Public Member Functions | |
CleanupPhaseUnwindingInformation (ref< ConstantExpr > exceptionObject, ref< ConstantExpr > selectorValue, const std::size_t catchingStackIndex) | |
std::unique_ptr< UnwindingInformation > | clone () const |
![]() | |
Kind | getKind () const |
UnwindingInformation (ref< ConstantExpr > exceptionObject, Kind k) | |
virtual | ~UnwindingInformation ()=default |
virtual std::unique_ptr< UnwindingInformation > | clone () const =0 |
Static Public Member Functions | |
static bool | classof (const UnwindingInformation *u) |
Public Attributes | |
ref< ConstantExpr > | selectorValue |
const std::size_t | catchingStackIndex |
![]() | |
ref< ConstantExpr > | exceptionObject |
Additional Inherited Members | |
![]() | |
enum class | Kind { SearchPhase , CleanupPhase } |
Definition at line 115 of file ExecutionState.h.
|
inline |
Definition at line 129 of file ExecutionState.h.
|
inlinestatic |
Definition at line 141 of file ExecutionState.h.
References klee::UnwindingInformation::CleanupPhase, and klee::UnwindingInformation::getKind().
|
inlinevirtual |
Implements klee::UnwindingInformation.
Definition at line 137 of file ExecutionState.h.
const std::size_t klee::CleanupPhaseUnwindingInformation::catchingStackIndex |
Definition at line 127 of file ExecutionState.h.
ref<ConstantExpr> klee::CleanupPhaseUnwindingInformation::selectorValue |
Definition at line 122 of file ExecutionState.h.