Support setting an explicit duration on MediaSource objects

webkit/media/webmediaplayer_impl.h

 // Copyright (c) 2012 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.
 
 // Delegate calls from WebCore::MediaPlayerPrivate to Chrome's video player.
 // It contains Pipeline which is the actual media player pipeline, it glues
 // the media player pipeline, data source, audio renderer and renderer.
 // Pipeline would creates multiple threads and access some public methods
 // of this class, so we need to be extra careful about concurrent access of
 // methods and members.
@@ skipping 180 matching lines @@
   virtual AddIdStatus sourceAddId(
       const WebKit::WebString& id,
       const WebKit::WebString& type,
       const WebKit::WebVector<WebKit::WebString>& codecs);
   virtual bool sourceRemoveId(const WebKit::WebString& id);
   virtual WebKit::WebTimeRanges sourceBuffered(const WebKit::WebString& id);
   virtual bool sourceAppend(const WebKit::WebString& id,
                             const unsigned char* data,
                             unsigned length);
   virtual bool sourceAbort(const WebKit::WebString& id);
+  virtual void sourceSetDuration(double new_duration);
   virtual void sourceEndOfStream(EndOfStreamStatus status);
   virtual bool sourceSetTimestampOffset(const WebKit::WebString& id,
                                         double offset);
 
   virtual MediaKeyException generateKeyRequest(
       const WebKit::WebString& key_system,
       const unsigned char* init_data,
       unsigned init_data_length);
 
   virtual MediaKeyException addKey(const WebKit::WebString& key_system,
@@ skipping 132 matching lines @@
   ProxyDecryptor decryptor_;
 
   bool starting_;
 
   DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerImpl);
 };
 
 }  // namespace webkit_media
 
 #endif  // WEBKIT_MEDIA_WEBMEDIAPLAYER_IMPL_H_