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
  148     using context_type = typename data_type::Factory &;
  153     static data_type MakeData(void *const *p) {
  154       return p ? data_type((typename data_type::TreeTy *) *p)
  155                : data_type(nullptr);
  158     static void *MakeVoidPtr(data_type B) {
  162     static lookup_type Lookup(data_type B, key_type K) {
  166     static data_type Set(data_type B, key_type K, value_type E,
  166     static data_type Set(data_type B, key_type K, value_type E,
  171     static data_type Remove(data_type B, key_type K, context_type F) {
  171     static data_type Remove(data_type B, key_type K, context_type F) {
  175     static bool Contains(data_type B, key_type K) {
  184       return new typename data_type::Factory(Alloc);