| Index: public/platform/WebVector.h
|
| diff --git a/public/platform/WebVector.h b/public/platform/WebVector.h
|
| index e83a2d0d2cd56d627ae2b4d50fed0c0e3fcfa591..b22327bba676842cee2f6a7b08f71356936463d4 100644
|
| --- a/public/platform/WebVector.h
|
| +++ b/public/platform/WebVector.h
|
| @@ -152,6 +152,14 @@ public:
|
| std::swap(m_size, other.m_size);
|
| }
|
|
|
| + void shrink(size_t size)
|
| + {
|
| + BLINK_ASSERT(size <= m_size);
|
| + for (size_t index = m_size - 1; index >= size; --index)
|
| + m_ptr[index].~T();
|
| + m_size = size;
|
| + }
|
| +
|
| private:
|
| void initialize(size_t size)
|
| {
|
|
|