klee
Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
klee::CleanupPhaseUnwindingInformation Struct Reference

#include <ExecutionState.h>

Inheritance diagram for klee::CleanupPhaseUnwindingInformation:
Inheritance graph
[legend]
Collaboration diagram for klee::CleanupPhaseUnwindingInformation:
Collaboration graph
[legend]

Public Member Functions

 CleanupPhaseUnwindingInformation (ref< ConstantExpr > exceptionObject, ref< ConstantExpr > selectorValue, const std::size_t catchingStackIndex)
 
std::unique_ptr< UnwindingInformation > clone () const
 
- Public Member Functions inherited from klee::UnwindingInformation
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
 
- Public Attributes inherited from klee::UnwindingInformation
ref< ConstantExpr > exceptionObject
 

Additional Inherited Members

- Public Types inherited from klee::UnwindingInformation
enum class  Kind { SearchPhase , CleanupPhase }
 

Detailed Description

Definition at line 115 of file ExecutionState.h.

Constructor & Destructor Documentation

◆ CleanupPhaseUnwindingInformation()

klee::CleanupPhaseUnwindingInformation::CleanupPhaseUnwindingInformation ( ref< ConstantExpr >  exceptionObject,
ref< ConstantExpr >  selectorValue,
const std::size_t  catchingStackIndex 
)
inline

Definition at line 129 of file ExecutionState.h.

Member Function Documentation

◆ classof()

static bool klee::CleanupPhaseUnwindingInformation::classof ( const UnwindingInformation *  u)
inlinestatic

Definition at line 141 of file ExecutionState.h.

References klee::UnwindingInformation::CleanupPhase, and klee::UnwindingInformation::getKind().

Here is the call graph for this function:

◆ clone()

std::unique_ptr< UnwindingInformation > klee::CleanupPhaseUnwindingInformation::clone ( ) const
inlinevirtual

Implements klee::UnwindingInformation.

Definition at line 137 of file ExecutionState.h.

Member Data Documentation

◆ catchingStackIndex

const std::size_t klee::CleanupPhaseUnwindingInformation::catchingStackIndex

Definition at line 127 of file ExecutionState.h.

◆ selectorValue

ref<ConstantExpr> klee::CleanupPhaseUnwindingInformation::selectorValue

Definition at line 122 of file ExecutionState.h.

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