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

#include <ExecutionState.h>

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

Public Member Functions

 SearchPhaseUnwindingInformation (ref< ConstantExpr > exceptionObject, std::size_t const unwindingProgress)
 
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

std::size_t unwindingProgress
 
MemoryObject * serializedLandingpad = nullptr
 
- 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 92 of file ExecutionState.h.

Constructor & Destructor Documentation

◆ SearchPhaseUnwindingInformation()

klee::SearchPhaseUnwindingInformation::SearchPhaseUnwindingInformation ( ref< ConstantExpr >  exceptionObject,
std::size_t const  unwindingProgress 
)
inline

Definition at line 100 of file ExecutionState.h.

Member Function Documentation

◆ classof()

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

Definition at line 110 of file ExecutionState.h.

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

Here is the call graph for this function:

◆ clone()

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

Implements klee::UnwindingInformation.

Definition at line 106 of file ExecutionState.h.

Member Data Documentation

◆ serializedLandingpad

MemoryObject* klee::SearchPhaseUnwindingInformation::serializedLandingpad = nullptr

Definition at line 98 of file ExecutionState.h.

◆ unwindingProgress

std::size_t klee::SearchPhaseUnwindingInformation::unwindingProgress

Definition at line 94 of file ExecutionState.h.

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