Index: ppapi/cpp/dev/buffer_dev.h |
diff --git a/ppapi/cpp/dev/buffer_dev.h b/ppapi/cpp/dev/buffer_dev.h |
index 83c265c2bfa29acf639593f3dd1bab4d12b9157f..55912387d8f20cb51c45635aa68758c38d1a7ac0 100644 |
--- a/ppapi/cpp/dev/buffer_dev.h |
+++ b/ppapi/cpp/dev/buffer_dev.h |
@@ -15,11 +15,13 @@ class Buffer_Dev : public Resource { |
public: |
// Creates an is_null() Buffer object. |
Buffer_Dev(); |
- |
Buffer_Dev(const Buffer_Dev& other); |
- // Allocates a new Buffer in the browser with the given size. The |
- // resulting object will be is_null() if the allocation failed. |
+ // Unmap the underlying shared memory. |
+ virtual ~Buffer_Dev(); |
piman
2011/06/09 23:11:32
nit: move this after the other constructor.
Ami GONE FROM CHROMIUM
2011/06/09 23:35:28
Done.
|
+ |
+ // Creates & Maps a new Buffer in the browser with the given size. The |
+ // resulting object will be is_null() if either Create() or Map() fails. |
Buffer_Dev(Instance* instance, uint32_t size); |
uint32_t size() const { return size_; } |
@@ -33,4 +35,3 @@ class Buffer_Dev : public Resource { |
} // namespace pp |
#endif // PPAPI_CPP_DEV_BUFFER_DEV_H_ |
- |