Web MIDI: refine MIDIAccessor and WebMIDIAccessor APIs

public/platform/WebMIDIAccessor.h

 /*
  * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 17 matching lines @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
 #ifndef WebMIDIAccessor_h
 #define WebMIDIAccessor_h
 
 #include "WebString.h"
 
 namespace WebKit {
 
-// Abstract interface to the Chromium MIDI system.
-
 class WebMIDIAccessor {
 public:
     virtual ~WebMIDIAccessor() { }
 
-    // |access| is set to 1 if MIDIOptions.sysexEnabled is true. Otherwise 0.
-    virtual void requestAccess(int access) { }
+    // |access| is set to true if MIDIOptions.sysexEnabled is true. Otherwise false.
+    virtual void requestAccess(bool access) { }
     // |timeStamp| is measured in milliseconds as Web MIDI spec defines.
     virtual void sendMIDIData(unsigned portIndex, const unsigned char* data, size_t length, double timeStamp) { }
 };
 
 } // namespace WebKit
 
 #endif // WebMIDIAccessor_h