Free the resources used by a context group.

gpu/command_buffer/service/shader_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_SHADER_MANAGER_H_
 #define GPU_COMMAND_BUFFER_SERVICE_SHADER_MANAGER_H_
 
 #include <map>
 #include <string>
 #include "base/basictypes.h"
@@ skipping 73 matching lines @@
     // True if compilation succeeded.
     bool valid_;
 
     // The shader source as passed to glShaderSource.
     std::string source_;
 
     // The shader translation log.
     std::string log_info_;
   };
 
-  ShaderManager() {
-  }
+  ShaderManager() { }
+  ~ShaderManager();
+
+  // Must call before destruction.
+  void Destroy(bool have_context);
 
   // Creates a shader info for the given shader ID.
   void CreateShaderInfo(GLuint client_id,
                         GLuint service_id,
                         GLenum shader_type);
 
   // Gets an existing shader info for the given shader ID. Returns NULL if none
   // exists.
   ShaderInfo* GetShaderInfo(GLuint client_id);
 
   // Deletes the shader info for the given shader.
   void RemoveShaderInfo(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 shader by service side shader Id.
   typedef std::map<GLuint, ShaderInfo::Ref> ShaderInfoMap;
   ShaderInfoMap shader_infos_;
 
   DISALLOW_COPY_AND_ASSIGN(ShaderManager);
 };
 
 }  // namespace gles2
 }  // namespace gpu
 
 #endif  // GPU_COMMAND_BUFFER_SERVICE_SHADER_MANAGER_H_