clang API Documentation
#include <SVals.h>
Public Member Functions | |
Loc | getLoc () const |
Loc | getPersistentLoc () const |
unsigned | getNumBits () const |
Friends | |
class | ento::SValBuilder |
class | SVal |
Loc clang::ento::nonloc::LocAsInteger::getLoc | ( | ) | const [inline] |
Definition at line 378 of file SVals.h.
References clang::ento::SVal::castAs(), and clang::ento::SVal::Data.
Referenced by clang::ento::SimpleConstraintManager::assumeAux(), and clang::ento::NonLoc::dumpToStream().
unsigned clang::ento::nonloc::LocAsInteger::getNumBits | ( | ) | const [inline] |
Definition at line 391 of file SVals.h.
References clang::ento::SVal::Data.
Referenced by clang::ento::NonLoc::dumpToStream().
Loc clang::ento::nonloc::LocAsInteger::getPersistentLoc | ( | ) | const [inline] |
Definition at line 384 of file SVals.h.
References clang::ento::SVal::castAs(), and clang::ento::SVal::Data.
friend class ento::SValBuilder [friend] |
friend class SVal [friend] |
Reimplemented from clang::ento::NonLoc.