Free the resources used by a context group.

gpu/command_buffer/service/renderbuffer_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_RENDERBUFFER_MANAGER_H_
 #define GPU_COMMAND_BUFFER_SERVICE_RENDERBUFFER_MANAGER_H_
 
 #include <map>
 #include "base/basictypes.h"
 #include "base/logging.h"
@@ skipping 57 matching lines @@
     GLuint service_id_;
 
     // Whether this renderbuffer has been cleared
     bool cleared_;
 
     // Renderbuffer internalformat set through RenderbufferStorage().
     GLenum internal_format_;
   };
 
   RenderbufferManager() { }
+  ~RenderbufferManager();
+
+  // Must call before destruction.
+  void Destroy(bool have_context);
 
   // Creates a RenderbufferInfo for the given renderbuffer.
   void CreateRenderbufferInfo(GLuint client_id, GLuint service_id);
 
   // Gets the renderbuffer info for the given renderbuffer.
   RenderbufferInfo* GetRenderbufferInfo(GLuint client_id);
 
   // Removes a renderbuffer info for the given renderbuffer.
   void RemoveRenderbufferInfo(GLuint client_id);
 
   // Gets a client id for a given service id.
   bool GetClientId(GLuint service_id, GLuint* client_id) const;
 
  private:
   // Info for each renderbuffer in the system.
   // TODO(gman): Choose a faster container.
   typedef std::map<GLuint, RenderbufferInfo::Ref> RenderbufferInfoMap;
   RenderbufferInfoMap renderbuffer_infos_;
 
   DISALLOW_COPY_AND_ASSIGN(RenderbufferManager);
 };
 
 }  // namespace gles2
 }  // namespace gpu
 
 #endif  // GPU_COMMAND_BUFFER_SERVICE_RENDERBUFFER_MANAGER_H_