clang::ento::nonloc::SymbolVal Class Reference

Represents symbolic expression. More...

#include <SVals.h>

Inheritance diagram for clang::ento::nonloc::SymbolVal:

Collaboration diagram for clang::ento::nonloc::SymbolVal:

List of all members.

Public Member Functions
	SymbolVal (SymbolRef sym)
SymbolRef	getSymbol () const
bool	isExpression ()
Static Public Member Functions
static bool	classof (const SVal *V)
static bool	classof (const NonLoc *V)

---

Detailed Description

Represents symbolic expression.

Definition at line 268 of file SVals.h.

---

Constructor & Destructor Documentation

clang::ento::nonloc::SymbolVal::SymbolVal

(

SymbolRef

sym

)

[inline]

Definition at line 270 of file SVals.h.

---

Member Function Documentation

static bool clang::ento::nonloc::SymbolVal::classof

(

const SVal *

V

)

[inline, static]

Reimplemented from clang::ento::NonLoc.

Definition at line 280 of file SVals.h.

References clang::ento::SVal::getBaseKind(), clang::ento::SVal::getSubKind(), clang::ento::SVal::NonLocKind, and clang::ento::nonloc::SymbolValKind.

static bool clang::ento::nonloc::SymbolVal::classof

(

const NonLoc *

V

)

[inline, static]

Definition at line 285 of file SVals.h.

References clang::ento::SVal::getSubKind(), and clang::ento::nonloc::SymbolValKind.

SymbolRef clang::ento::nonloc::SymbolVal::getSymbol

(

)

const [inline]

Definition at line 272 of file SVals.h.

References clang::ento::SVal::Data.

Referenced by clang::ento::SimpleConstraintManager::assumeAux(), clang::ento::SimpleConstraintManager::canReasonAbout(), and isExpression().

bool clang::ento::nonloc::SymbolVal::isExpression

(

)

[inline]

Definition at line 276 of file SVals.h.

References getSymbol().

Referenced by clang::ento::SimpleConstraintManager::assumeAux(), clang::ento::SimpleConstraintManager::canReasonAbout(), and clang::ento::ExprEngine::evalEagerlyAssume().

---

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

• SVals.h