ProgramStateTrait.h | 39 typedef typename data_type::Factory& context_type; typedef in struct:clang::ento::ProgramStatePartialTrait 53 static data_type Set(data_type B, key_type K, value_type E,context_type F){ 57 static data_type Remove(data_type B, key_type K, context_type F) { 61 static inline context_type MakeContext(void *p) { 80 typedef typename data_type::Factory& context_type; typedef in struct:clang::ento::ProgramStatePartialTrait 91 static data_type Add(data_type B, key_type K, context_type F) { 95 static data_type Remove(data_type B, key_type K, context_type F) { 103 static inline context_type MakeContext(void *p) { 122 typedef typename data_type::Factory& context_type; typedef in struct:clang::ento::ProgramStatePartialTrait 124 static data_type Add(data_type L, key_type K, context_type F) [all...] |