ProgramState.h | 336 typename ProgramStateTrait<T>::context_type get_context() const; 585 typename ProgramStateTrait<T>::context_type get_context() { function in class:clang::ento::ProgramStateManager 701 return getStateManager().add<T>(this, K, get_context<T>()); 705 typename ProgramStateTrait<T>::context_type ProgramState::get_context() const { function in class:clang::ento::ProgramState 706 return getStateManager().get_context<T>(); 711 return getStateManager().remove<T>(this, K, get_context<T>()); 733 return getStateManager().set<T>(this, K, E, get_context<T>());
|