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 () const
Friends
class	SVal

---

Detailed Description

Represents symbolic expression.

Definition at line 313 of file SVals.h.

---

Constructor & Destructor Documentation

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

(

SymbolRef

sym

)

[inline]

Definition at line 315 of file SVals.h.

---

Member Function Documentation

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

(

)

const [inline]

Definition at line 317 of file SVals.h.

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

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

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

(

)

const [inline]

Definition at line 321 of file SVals.h.

References getSymbol().

Referenced by clang::ento::SimpleConstraintManager::assumeAux().

---

Friends And Related Function Documentation

friend class SVal [friend]

Reimplemented from clang::ento::NonLoc.

Definition at line 326 of file SVals.h.

---

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

• SVals.h