Free the resources used by a context group.

gpu/command_buffer/service/buffer_manager.h

 // Copyright (c) 2010 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef GPU_COMMAND_BUFFER_SERVICE_BUFFER_MANAGER_H_
 #define GPU_COMMAND_BUFFER_SERVICE_BUFFER_MANAGER_H_
 
 #include <map>
 #include "base/basictypes.h"
 #include "base/logging.h"
@@ skipping 125 matching lines @@
     scoped_array<int8> shadow_;
 
     // A map of ranges to the highest value in that range of a certain type.
     typedef std::map<Range, GLuint, Range::Less> RangeToMaxValueMap;
     RangeToMaxValueMap range_set_;
   };
 
   BufferManager()
       : allow_buffers_on_multiple_targets_(false) {
   }
+  ~BufferManager();
+
+  // Must call before destruction.
+  void Destroy(bool have_context);
 
   // Creates a BufferInfo for the given buffer.
   void CreateBufferInfo(GLuint client_id, GLuint service_id);
 
   // Gets the buffer info for the given buffer.
   BufferInfo* GetBufferInfo(GLuint client_id);
 
   // Removes a buffer info for the given buffer.
   void RemoveBufferInfo(GLuint client_id);
 
@@ skipping 21 matching lines @@
 
   DISALLOW_COPY_AND_ASSIGN(BufferManager);
 };
 
 }  // namespace gles2
 }  // namespace gpu
 
 #endif  // GPU_COMMAND_BUFFER_SERVICE_BUFFER_MANAGER_H_