182 if (id >= (int)container.size()) { |
182 if (id >= (int)container.size()) { |
183 container.resize(id + 1); |
183 container.resize(id + 1); |
184 } |
184 } |
185 } |
185 } |
186 |
186 |
|
187 /// \brief Adds more new keys to the map. |
|
188 /// |
|
189 /// It adds more new keys to the map. It called by the observer registry |
|
190 /// and it overrides the add() member function of the observer base. |
|
191 virtual void add(const std::vector<Key>& keys) { |
|
192 for (int i = 0; i < (int)keys.size(); ++i) { |
|
193 add(keys[i]); |
|
194 } |
|
195 } |
|
196 |
187 /// \brief Erase a key from the map. |
197 /// \brief Erase a key from the map. |
188 /// |
198 /// |
189 /// Erase a key from the map. It called by the observer registry |
199 /// Erase a key from the map. It called by the observer registry |
190 /// and it overrides the erase() member function of the observer base. |
200 /// and it overrides the erase() member function of the observer base. |
191 virtual void erase(const Key&) {} |
201 virtual void erase(const Key&) {} |
192 |
202 |
|
203 /// \brief Erase more keys from the map. |
|
204 /// |
|
205 /// Erase more keys from the map. It called by the observer registry |
|
206 /// and it overrides the erase() member function of the observer base. |
|
207 virtual void erase(const std::vector<Key>&) {} |
|
208 |
193 /// \brief Buildes the map. |
209 /// \brief Buildes the map. |
194 /// |
210 /// |
195 /// It buildes the map. It called by the observer registry |
211 /// It buildes the map. It called by the observer registry |
196 /// and it overrides the build() member function of the observer base. |
212 /// and it overrides the build() member function of the observer base. |
197 virtual void build() { |
213 virtual void build() { |