reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  379   typename ProgramStateTrait<T>::data_type
  592   ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
  821 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
  196     using context_type = typename data_type::Factory &;
  199     static data_type MakeData(void *const *p) {
  200       return p ? data_type((typename data_type::TreeTy *) *p)
  201                : data_type(nullptr);
  204     static void *MakeVoidPtr(data_type B) {
  208     static data_type Add(data_type B, key_type K, context_type F) {
  208     static data_type Add(data_type B, key_type K, context_type F) {
  212     static data_type Remove(data_type B, key_type K, context_type F) {
  212     static data_type Remove(data_type B, key_type K, context_type F) {
  216     static bool Contains(data_type B, key_type K) {
  225       return new typename data_type::Factory(Alloc);