clang::ento::KnownSVal Class Reference

Represents an SVal that is guaranteed to not be UnknownVal. More...

#include <SVals.h>

Inheritance diagram for clang::ento::KnownSVal:

Collaboration diagram for clang::ento::KnownSVal:

List of all members.

Public Member Functions
	KnownSVal (const DefinedSVal &V)
	KnownSVal (const UndefinedVal &V)
Friends
class	SVal

---

Detailed Description

Represents an SVal that is guaranteed to not be UnknownVal.

Definition at line 255 of file SVals.h.

---

Constructor & Destructor Documentation

clang::ento::KnownSVal::KnownSVal

(

const DefinedSVal &

V

)

[inline]

Definition at line 262 of file SVals.h.

clang::ento::KnownSVal::KnownSVal

(

const UndefinedVal &

V

)

[inline]

Definition at line 263 of file SVals.h.

---

Friends And Related Function Documentation

friend class SVal [friend]

Definition at line 257 of file SVals.h.

---

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

• SVals.h