klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::Context Class Reference

Context - Helper class for storing global information about a KLEE run. More...

#include <Context.h>

Public Member Functions

 Context ()
 
bool isLittleEndian () const
 
Expr::Width getPointerWidth () const
 

Static Public Member Functions

static void initialize (bool IsLittleEndian, Expr::Width PointerWidth)
 initialize - Construct the global Context instance. More...
 
static const Contextget ()
 get - Return the global singleton instance of the Context. More...
 

Protected Member Functions

 Context (bool _IsLittleEndian, Expr::Width _PointerWidth)
 

Private Attributes

bool IsLittleEndian
 Whether the target architecture is little endian or not. More...
 
Expr::Width PointerWidth
 The pointer width of the target architecture. More...
 

Detailed Description

Context - Helper class for storing global information about a KLEE run.

Definition at line 18 of file Context.h.

Constructor & Destructor Documentation

klee::Context::Context ( bool  _IsLittleEndian,
Expr::Width  _PointerWidth 
)
inlineprotected

Definition at line 26 of file Context.h.

klee::Context::Context ( )
inline

Definition at line 30 of file Context.h.

Referenced by initialize().

Here is the caller graph for this function:

Member Function Documentation

Expr::Width klee::Context::getPointerWidth ( ) const
inline
void Context::initialize ( bool  IsLittleEndian,
Expr::Width  PointerWidth 
)
static

initialize - Construct the global Context instance.

Definition at line 29 of file Context.cpp.

References Context(), Initialized, and TheContext.

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

Here is the call graph for this function:

Here is the caller graph for this function:

bool klee::Context::isLittleEndian ( ) const
inline

Definition at line 38 of file Context.h.

References IsLittleEndian.

Referenced by klee::ObjectState::read(), klee::ObjectState::write(), klee::ObjectState::write16(), klee::ObjectState::write32(), and klee::ObjectState::write64().

Here is the caller graph for this function:

Member Data Documentation

bool klee::Context::IsLittleEndian
private

Whether the target architecture is little endian or not.

Definition at line 20 of file Context.h.

Referenced by isLittleEndian().

Expr::Width klee::Context::PointerWidth
private

The pointer width of the target architecture.

Definition at line 23 of file Context.h.

Referenced by getPointerWidth().


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