safe_sequence.h
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030 #ifndef _GLIBCXX_DEBUG_SAFE_SEQUENCE_H
00031 #define _GLIBCXX_DEBUG_SAFE_SEQUENCE_H 1
00032
00033 #include <debug/debug.h>
00034 #include <debug/macros.h>
00035 #include <debug/functions.h>
00036 #include <debug/safe_base.h>
00037
00038 namespace __gnu_debug
00039 {
00040 template<typename _Iterator, typename _Sequence>
00041 class _Safe_iterator;
00042
00043
00044
00045
00046
00047 template<typename _Type>
00048 class _Not_equal_to
00049 {
00050 _Type __value;
00051
00052 public:
00053 explicit _Not_equal_to(const _Type& __v) : __value(__v) { }
00054
00055 bool
00056 operator()(const _Type& __x) const
00057 { return __value != __x; }
00058 };
00059
00060
00061
00062 template<typename _Iterator>
00063 class _After_nth_from
00064 {
00065 typedef typename std::iterator_traits<_Iterator>::difference_type
00066 difference_type;
00067
00068 _Iterator _M_base;
00069 difference_type _M_n;
00070
00071 public:
00072 _After_nth_from(const difference_type& __n, const _Iterator& __base)
00073 : _M_base(__base), _M_n(__n) { }
00074
00075 bool
00076 operator()(const _Iterator& __x) const
00077 { return __x - _M_base >= _M_n; }
00078 };
00079
00080
00081
00082
00083
00084
00085
00086
00087
00088
00089
00090
00091
00092
00093
00094
00095
00096 template<typename _Sequence>
00097 class _Safe_sequence : public _Safe_sequence_base
00098 {
00099 public:
00100
00101
00102
00103
00104
00105 template<typename _Predicate>
00106 void
00107 _M_invalidate_if(_Predicate __pred);
00108
00109
00110
00111
00112 template<typename _Iterator>
00113 void
00114 _M_transfer_iter(const _Safe_iterator<_Iterator, _Sequence>& __x);
00115 };
00116
00117 template<typename _Sequence>
00118 template<typename _Predicate>
00119 void
00120 _Safe_sequence<_Sequence>::
00121 _M_invalidate_if(_Predicate __pred)
00122 {
00123 typedef typename _Sequence::iterator iterator;
00124 typedef typename _Sequence::const_iterator const_iterator;
00125
00126 __gnu_cxx::__scoped_lock sentry(this->_M_get_mutex());
00127 for (_Safe_iterator_base* __iter = _M_iterators; __iter;)
00128 {
00129 iterator* __victim = static_cast<iterator*>(__iter);
00130 __iter = __iter->_M_next;
00131 if (!__victim->_M_singular())
00132 {
00133 if (__pred(__victim->base()))
00134 __victim->_M_invalidate_single();
00135 }
00136 }
00137
00138 for (_Safe_iterator_base* __iter2 = _M_const_iterators; __iter2;)
00139 {
00140 const_iterator* __victim = static_cast<const_iterator*>(__iter2);
00141 __iter2 = __iter2->_M_next;
00142 if (!__victim->_M_singular())
00143 {
00144 if (__pred(__victim->base()))
00145 __victim->_M_invalidate_single();
00146 }
00147 }
00148 }
00149
00150 template<typename _Sequence>
00151 template<typename _Iterator>
00152 void
00153 _Safe_sequence<_Sequence>::
00154 _M_transfer_iter(const _Safe_iterator<_Iterator, _Sequence>& __x)
00155 {
00156 _Safe_sequence_base* __from = __x._M_sequence;
00157 if (!__from)
00158 return;
00159
00160 typedef typename _Sequence::iterator iterator;
00161 typedef typename _Sequence::const_iterator const_iterator;
00162
00163 __gnu_cxx::__scoped_lock sentry(this->_M_get_mutex());
00164 for (_Safe_iterator_base* __iter = __from->_M_iterators; __iter;)
00165 {
00166 iterator* __victim = static_cast<iterator*>(__iter);
00167 __iter = __iter->_M_next;
00168 if (!__victim->_M_singular() && __victim->base() == __x.base())
00169 __victim->_M_attach_single(static_cast<_Sequence*>(this));
00170 }
00171
00172 for (_Safe_iterator_base* __iter2 = __from->_M_const_iterators;
00173 __iter2;)
00174 {
00175 const_iterator* __victim = static_cast<const_iterator*>(__iter2);
00176 __iter2 = __iter2->_M_next;
00177 if (!__victim->_M_singular() && __victim->base() == __x.base())
00178 __victim->_M_attach_single(static_cast<_Sequence*>(this));
00179 }
00180 }
00181 }
00182
00183 #endif