| /third_party/boost/libs/contract/example/n1962/ |
| D | vector_n1962.hpp | 77 : vect_()
86 : vect_(alloc)
97 : vect_(count)
110 : vect_(count, value)
125 : vect_(count, value, alloc)
138 : vect_(first, last)
149 : vect_(first, last, alloc)
161 : vect_(other.vect_)
176 if(this != &other) vect_ = other.vect_;
204 vect_.reserve(count);
[all …]
|
| D | vector.cpp | 73 vector() : vect_() { in vector()
81 explicit vector(Allocator const& alloc) : vect_(alloc) { in vector()
90 explicit vector(size_type count) : vect_(count) { in vector()
103 vector(size_type count, T const& value) : vect_(count, value) { in vector()
118 vect_(count, value, alloc) { in vector()
134 vector(InputIter first, InputIter last) : vect_(first, last) { in vector()
145 vect_(first, last, alloc) { in vector()
155 /* implicit */ vector(vector const& other) : vect_(other.vect_) { in vector()
187 if(this != &other) vect_ = other.vect_; in operator =()
206 vect_.reserve(count); in reserve()
[all …]
|
| /third_party/boost/libs/contract/example/features/ |
| D | assertion_level.cpp | 28 iterator begin() { return vect_.begin(); } in begin()
29 iterator end() { return vect_.end(); } in end()
30 unsigned capacity() const { return vect_.capacity(); } in capacity()
31 bool operator==(vector const& other) { return vect_ == other.vect_; } in operator ==()
50 return result = vect_.insert(where, value); in insert()
70 vect_.swap(other.vect_); in swap()
78 std::vector<T> vect_; member in vector
|
| D | ifdef_macro.cpp | 88 vect_(to - from + 1)
96 for(int x = from; x <= to; ++x) vect_.at(x - from) = x;
124 vect_.push_back(x); in push_back()
134 unsigned size() const { return vect_.size(); } in size()
135 unsigned max_size() const { return vect_.max_size(); } in max_size()
136 unsigned capacity() const { return vect_.capacity(); } in capacity()
139 std::vector<int> vect_; member in integers
|
| D | pure_virtual_public.cpp | 66 return result = vect_.begin(); in begin()
71 iterator end() { return vect_.end(); } in BOOST_CONTRACT_OVERRIDE()
72 bool empty() const { return vect_.empty(); } in empty()
73 T const& front() const { return vect_.front(); } in front()
74 void push_back(T const& value) { vect_.push_back(value); } in push_back()
77 std::vector<T> vect_; member in vector
|
| D | optional_result_virtual.cpp | 62 return *(result = vect_[index]); in at()
66 T const& operator[](unsigned index) const { return vect_[index]; } in operator []()
67 unsigned size() const { return vect_.size(); } in size()
68 T const& front() const { return vect_.front(); } in front()
69 void push_back(T const& value) { vect_.push_back(value); } in push_back()
74 std::vector<T> vect_; member in vector
|
| D | ifdef.cpp | 128 vect_(to - from + 1)
140 for(int x = from; x <= to; ++x) vect_.at(x - from) = x;
185 vect_.push_back(x); in push_back()
197 unsigned size() const { return vect_.size(); } in size()
198 unsigned max_size() const { return vect_.max_size(); } in max_size()
199 unsigned capacity() const { return vect_.capacity(); } in capacity()
202 std::vector<int> vect_; member in integers
|
| D | base_types.cpp | 63 for(char x = from; x <= to; ++x) vect_.push_back(x);
72 return vect_.size(); in size()
83 return result = std::find(vect_.begin(), vect_.end(), x) != vect_.end(); in find()
103 vect_.push_back(x); in push_back()
109 std::vector<char> const& vect() const { return vect_; } in vect()
112 std::vector<char> vect_; member in unique_chars
|
| D | base_types_no_macro.cpp | 63 for(char x = from; x <= to; ++x) vect_.push_back(x);
72 return vect_.size(); in size()
83 return result = std::find(vect_.begin(), vect_.end(), x) != vect_.end(); in find()
103 vect_.push_back(x); in push_back()
109 std::vector<char> const& vect() const { return vect_; } in vect()
112 std::vector<char> vect_; member in unique_chars
|
| D | public.cpp | 38 for(int id = from; id <= to; ++id) vect_.push_back(id);
56 return vect_.size(); in size()
74 return result = std::find(vect_.begin(), vect_.end(), id) != in find()
75 vect_.end(); in find()
104 vect_.push_back(id); in push_back()
110 std::vector<int> vect_; member in unique_identifiers
|
| D | introduction_public.cpp | 69 vect_.push_back(value); in push_back()
74 unsigned size() const { return vect_.size(); } in BOOST_CONTRACT_OVERRIDE()
75 unsigned max_size() const { return vect_.max_size(); } in max_size()
76 unsigned capacity() const { return vect_.capacity(); } in capacity()
79 std::vector<T> vect_; member in vector
|
| D | access.cpp | 75 vect_.push_back(value); in push_back()
81 unsigned size() const { return vect_.size(); } in size()
82 unsigned max_size() const { return vect_.max_size(); } in max_size()
83 unsigned capacity() const { return vect_.capacity(); } in capacity()
86 std::vector<T> vect_; member in vector
|
| D | old_no_macro.cpp | 28 vect_.push_back(value); in push_back()
34 unsigned size() const { return vect_.size(); } in size()
37 std::vector<T> vect_; member in vector
|
| D | condition_if.cpp | 33 vect_.push_back(value); in push_back()
39 T const& back() const { return vect_.back(); } in back()
42 std::vector<T> vect_; member in vector
|
| /third_party/boost/libs/contract/example/cline90/ |
| D | vstack.cpp | 163 vect_(count), // OK, executed after precondition so count >= 0.
192 return result = vect_.size(); in capacity()
200 return *(result = vect_[len_ - 1]); in item()
207 vect_[len_++] = value; in push()
214 return *(result = vect_[--len_]); in pop()
224 vector<T> vect_; member in vstack
|
| /third_party/boost/libs/contract/doc/ |
| D | extras.qbk | 145 vect_.push_back(value);
|