clang  6.0.0svn
clang::ento::ProgramStateManager Member List

This is the complete list of members for clang::ento::ProgramStateManager, including all inherited members.

add(ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C)clang::ento::ProgramStateManagerinline
addGDM(ProgramStateRef St, void *Key, void *Data)clang::ento::ProgramStateManager
ArrayToPointer(Loc Array, QualType ElementTy)clang::ento::ProgramStateManagerinline
EndPath(ProgramStateRef St)clang::ento::ProgramStateManagerinline
FindGDMContext(void *index, void *(*CreateContext)(llvm::BumpPtrAllocator &), void(*DeleteContext)(void *))clang::ento::ProgramStateManager
get_context()clang::ento::ProgramStateManagerinline
getAllocator()clang::ento::ProgramStateManagerinline
getBasicVals()clang::ento::ProgramStateManagerinline
getCallEventManager()clang::ento::ProgramStateManagerinline
getConstraintManager()clang::ento::ProgramStateManagerinline
getContext()clang::ento::ProgramStateManagerinline
getContext() constclang::ento::ProgramStateManagerinline
getInitialState(const LocationContext *InitLoc)clang::ento::ProgramStateManager
getOwningEngine()clang::ento::ProgramStateManagerinline
getPersistentState(ProgramState &Impl)clang::ento::ProgramStateManager
getPersistentStateWithGDM(ProgramStateRef FromState, ProgramStateRef GDMState)clang::ento::ProgramStateManager
getRegionManager()clang::ento::ProgramStateManagerinline
getRegionManager() constclang::ento::ProgramStateManagerinline
getStoreManager()clang::ento::ProgramStateManagerinline
getSValBuilder()clang::ento::ProgramStateManagerinline
getSymbolManager()clang::ento::ProgramStateManagerinline
getSymbolManager() constclang::ento::ProgramStateManagerinline
haveEqualEnvironments(ProgramStateRef S1, ProgramStateRef S2)clang::ento::ProgramStateManagerinline
haveEqualStores(ProgramStateRef S1, ProgramStateRef S2)clang::ento::ProgramStateManagerinline
iterBindings(ProgramStateRef state, StoreManager::BindingsHandler &F)clang::ento::ProgramStateManagerinline
ProgramState classclang::ento::ProgramStateManagerfriend
ProgramStateManager(ASTContext &Ctx, StoreManagerCreator CreateStoreManager, ConstraintManagerCreator CreateConstraintManager, llvm::BumpPtrAllocator &alloc, SubEngine *subeng)clang::ento::ProgramStateManager
ProgramStateRelease(const ProgramState *state)clang::ento::ProgramStateManagerfriend
remove(ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C)clang::ento::ProgramStateManagerinline
remove(ProgramStateRef st)clang::ento::ProgramStateManagerinline
removeDeadBindings(ProgramStateRef St, const StackFrameContext *LCtx, SymbolReaper &SymReaper)clang::ento::ProgramStateManager
removeGDM(ProgramStateRef state, void *Key)clang::ento::ProgramStateManager
set(ProgramStateRef st, typename ProgramStateTrait< T >::data_type D)clang::ento::ProgramStateManagerinline
set(ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type V, typename ProgramStateTrait< T >::context_type C)clang::ento::ProgramStateManagerinline
~ProgramStateManager()clang::ento::ProgramStateManager