klee
Public Types | Public Member Functions | Public Attributes | Private Attributes | List of all members
klee::UnwindingInformation Class Referenceabstract

Contains information related to unwinding (Itanium ABI/2-Phase unwinding) More...

#include <ExecutionState.h>

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

Public Types

enum class  Kind { SearchPhase , CleanupPhase }
 

Public Member Functions

Kind getKind () const
 
 UnwindingInformation (ref< ConstantExpr > exceptionObject, Kind k)
 
virtual ~UnwindingInformation ()=default
 
virtual std::unique_ptr< UnwindingInformation > clone () const =0
 

Public Attributes

ref< ConstantExpr > exceptionObject
 

Private Attributes

const Kind kind
 

Detailed Description

Contains information related to unwinding (Itanium ABI/2-Phase unwinding)

Definition at line 69 of file ExecutionState.h.

Member Enumeration Documentation

◆ Kind

enum class klee::UnwindingInformation::Kind
strong
Enumerator
SearchPhase 
CleanupPhase 

Definition at line 71 of file ExecutionState.h.

Constructor & Destructor Documentation

◆ UnwindingInformation()

klee::UnwindingInformation::UnwindingInformation ( ref< ConstantExpr >  exceptionObject,
Kind  k 
)
inlineexplicit

Definition at line 85 of file ExecutionState.h.

◆ ~UnwindingInformation()

virtual klee::UnwindingInformation::~UnwindingInformation ( )
virtualdefault

Member Function Documentation

◆ clone()

virtual std::unique_ptr< UnwindingInformation > klee::UnwindingInformation::clone ( ) const
pure virtual

Implemented in klee::SearchPhaseUnwindingInformation, and klee::CleanupPhaseUnwindingInformation.

◆ getKind()

Kind klee::UnwindingInformation::getKind ( ) const
inline

Definition at line 83 of file ExecutionState.h.

References kind.

Referenced by klee::SearchPhaseUnwindingInformation::classof(), and klee::CleanupPhaseUnwindingInformation::classof().

Here is the caller graph for this function:

Member Data Documentation

◆ exceptionObject

ref<ConstantExpr> klee::UnwindingInformation::exceptionObject

Definition at line 81 of file ExecutionState.h.

◆ kind

const Kind klee::UnwindingInformation::kind
private

Definition at line 77 of file ExecutionState.h.

Referenced by getKind().

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