klee::CastExpr Class Reference

#include <Expr.h>

Inheritance diagram for klee::CastExpr:

[legend]

Collaboration diagram for klee::CastExpr:

[legend]

List of all members.

Public Member Functions
	CastExpr (const ref< Expr > &e, Width w)
Width	getWidth () const
unsigned	getNumKids () const
ref< Expr >	getKid (unsigned i) const
int	compareContents (const Expr &b) const
virtual unsigned	computeHash ()
Static Public Member Functions
static bool	needsResultType ()
static bool	classof (const Expr *E)
static bool	classof (const CastExpr *)
Public Attributes
ref< Expr >	src
Width	width

---

Detailed Description

Definition at line 752 of file Expr.h.

---

Constructor & Destructor Documentation

klee::CastExpr::CastExpr	(	const ref< Expr > &	e,
		Width	w
	)			[inline]

Definition at line 758 of file Expr.h.

---

Member Function Documentation

static bool klee::CastExpr::classof

(

const CastExpr *

)

[inline, static]

Definition at line 779 of file Expr.h.

static bool klee::CastExpr::classof

(

const Expr *

E

)

[inline, static]

Reimplemented from klee::Expr.

Definition at line 775 of file Expr.h.

References klee::Expr::CastKindFirst, klee::Expr::CastKindLast, and klee::Expr::getKind().

Here is the call graph for this function:

int klee::CastExpr::compareContents

(

const Expr &

b

)

const [inline, virtual]

Reimplemented from klee::Expr.

Definition at line 767 of file Expr.h.

References width.

unsigned CastExpr::computeHash

(

)

[virtual]

(Re)computes the hash of the current expression. Returns the hash value.

Reimplemented from klee::Expr.

Definition at line 172 of file Expr.cpp.

References getWidth(), klee::Expr::hashValue, klee::Expr::MAGIC_HASH_CONSTANT, and src.

Here is the call graph for this function:

ref<Expr> klee::CastExpr::getKid

(

unsigned

i

)

const [inline, virtual]

Implements klee::Expr.

Definition at line 763 of file Expr.h.

References src.

unsigned klee::CastExpr::getNumKids

(

)

const [inline, virtual]

Implements klee::Expr.

Definition at line 762 of file Expr.h.

Width klee::CastExpr::getWidth

(

)

const [inline, virtual]

Implements klee::Expr.

Definition at line 760 of file Expr.h.

References width.

Referenced by computeHash(), and klee::STPBuilder::constructActual().

Here is the caller graph for this function:

static bool klee::CastExpr::needsResultType

(

)

[inline, static]

Reimplemented from klee::Expr.

Definition at line 765 of file Expr.h.

---

Member Data Documentation

ref<Expr> klee::CastExpr::src

Definition at line 754 of file Expr.h.

Referenced by _getImpliedValue(), computeHash(), klee::STPBuilder::constructActual(), CexData::forceExprToRange(), and getKid().

Width klee::CastExpr::width

Definition at line 755 of file Expr.h.

Referenced by compareContents(), CexData::forceExprToRange(), and getWidth().

---

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

• include/klee/Expr.h
• lib/Expr/Expr.cpp