clang
9.0.0
|
Stores the currently inferred strictest bound on the runtime type of a region in a given state along the analysis path. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h"
Public Member Functions | |
DynamicTypeInfo () | |
DynamicTypeInfo (QualType WithType, bool CanBeSub=true) | |
bool | isValid () const |
Return false if no dynamic type info is available. More... | |
QualType | getType () const |
Returns the currently inferred upper bound on the runtime type. More... | |
bool | canBeASubClass () const |
Returns false if the type information is precise (the type T is the only type in the lattice), true otherwise. More... | |
void | Profile (llvm::FoldingSetNodeID &ID) const |
bool | operator== (const DynamicTypeInfo &X) const |
Stores the currently inferred strictest bound on the runtime type of a region in a given state along the analysis path.
Definition at line 18 of file DynamicTypeInfo.h.
|
inline |
Definition at line 25 of file DynamicTypeInfo.h.
Definition at line 26 of file DynamicTypeInfo.h.
|
inline |
Returns false if the type information is precise (the type T is the only type in the lattice), true otherwise.
Definition at line 37 of file DynamicTypeInfo.h.
Referenced by clang::ento::printDynamicTypeInfoJson().
|
inline |
Returns the currently inferred upper bound on the runtime type.
Definition at line 33 of file DynamicTypeInfo.h.
Referenced by clang::ento::printDynamicTypeInfoJson().
|
inline |
Return false if no dynamic type info is available.
Definition at line 30 of file DynamicTypeInfo.h.
References clang::QualType::isNull().
Referenced by clang::ento::printDynamicTypeInfoJson().
|
inline |
Definition at line 43 of file DynamicTypeInfo.h.
|
inline |
Definition at line 39 of file DynamicTypeInfo.h.