ProgramState.h | 314 typename ProgramStateTrait<T>::context_type get_context() const; 606 typename ProgramStateTrait<T>::context_type get_context() { function in class:clang::ento::ProgramStateManager 720 return getStateManager().add<T>(this, K, get_context<T>()); 724 typename ProgramStateTrait<T>::context_type ProgramState::get_context() const { function in class:clang::ento::ProgramState 725 return getStateManager().get_context<T>(); 730 return getStateManager().remove<T>(this, K, get_context<T>()); 752 return getStateManager().set<T>(this, K, E, get_context<T>());
|