ProgramState.h | 376 typename ProgramStateTrait<T>::context_type get_context() const; 606 typename ProgramStateTrait<T>::context_type get_context() { function in class:clang::ento::ProgramStateManager 730 return getStateManager().add<T>(this, K, get_context<T>()); 734 typename ProgramStateTrait<T>::context_type ProgramState::get_context() const { function in class:clang::ento::ProgramState 735 return getStateManager().get_context<T>(); 740 return getStateManager().remove<T>(this, K, get_context<T>()); 762 return getStateManager().set<T>(this, K, E, get_context<T>());
|