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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
  197     using key_type = Key;
  237     using key_type = T;

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  386   get(typename ProgramStateTrait<T>::key_type key) const {
  421   bool contains(typename ProgramStateTrait<T>::key_type key) const {
  599                      typename ProgramStateTrait<T>::key_type K,
  609                      typename ProgramStateTrait<T>::key_type K,
  617                         typename ProgramStateTrait<T>::key_type K,
  795 ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
  805 ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
  826 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::key_type K,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
  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,
  171     static data_type Remove(data_type B, key_type K, context_type F) {
  175     static bool Contains(data_type B, key_type K) {
  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) {
  216     static bool Contains(data_type B, key_type K) {
  240     static data_type Add(data_type L, key_type K, context_type F) {
  244     static bool Contains(data_type L, key_type K) {