namespace clang {
namespace ento {
-/// \class DynamicTypeInfo
-///
+
/// \brief Stores the currently inferred strictest bound on the runtime type
/// of a region in a given state along the analysis path.
class DynamicTypeInfo {
-public:
-
private:
QualType T;
bool CanBeASubClass;
DynamicTypeInfo(QualType WithType, bool CanBeSub = true)
: T(WithType), CanBeASubClass(CanBeSub) {}
- /// \brief Return true if no dynamic type info is available.
+ /// \brief Return false if no dynamic type info is available.
bool isValid() const { return !T.isNull(); }
/// \brief Returns the currently inferred upper bound on the runtime type.
bool canBeASubClass() const { return CanBeASubClass; }
void Profile(llvm::FoldingSetNodeID &ID) const {
- T.Profile(ID);
+ ID.Add(T);
ID.AddInteger((unsigned)CanBeASubClass);
}
bool operator==(const DynamicTypeInfo &X) const {
}
};
-}} // end clang::ento namespace
+} // end ento
+} // end clang
#endif