Push API: define push event on Service Worker.

public/web/WebServiceWorkerPushEventCallback.h

+// Copyright 2014 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 WebServiceWorkerPushEventCallback_h
+#define WebServiceWorkerPushEventCallback_h
+
+namespace blink {
+
+class WebServiceWorkerPushEventCallback {
+public:
+    // Method to be invoked after PushEvent is handled by the ServiceWorker's
+    // script context.
+    virtual void didHandlePushEvent(int eventID) const = 0;
+
+protected:
+    // This object is to be destroyed after the callback is invoked;
+    // it should not be directly destroyed.
+    virtual ~WebServiceWorkerPushEventCallback() { }

[Peter Beverloo, 2014/05/22 16:09:49]

We don't need this destructor. You could emphasize on its lifetime with a
class-level comment.

[Michael van Ouwerkerk, 2014/05/23 18:32:03]

Done.

+};
+
+} // namespace blink
+
+#endif // WebServiceWorkerPushEventCallback_h