<commit_before>/*
* Copyright 2010-2011 Research In Motion Limited.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/


/*
* Taken from:
* http://www.w3.org/TR/html5/video.html
*/


/**
* @namespace
* All media elements have an associated error status, which records 
* the last error the element encountered since its resource selection 
* algorithm was last invoked. The error attribute, on getting, must 
* return the MediaError object created for this last error, or null if 
* there has not been an error.
* @BB60+
* @PB10
*/
MediaError = function() { }

/**
* The fetching process for the media resource was aborted by the user 
* agent at the user's request.
* @constant
* @type Number
* @BB60+
* @PB10
*/
MediaError.MEDIA_ERR_ABORTED = 1;

/**
* A network error of some description caused the user agent to stop 
* fetching the media resource, after the resource was established to 
* be usable.
* @constant
* @type Number
* @BB60+
* @PB10
*/
MediaError.MEDIA_ERR_NETWORK = 2;

/**
* An error of some description occurred while decoding the media 
* resource, after the resource was established to be usable.
* @constant
* @type Number
* @BB60+
* @PB10
*/
MediaError.MEDIA_ERR_DECODE = 3;

/**
* The media resource indicated by the src attribute was not suitable.
* @constant
* @type Number
* @BB60+
* @PB10
*/
MediaError.MEDIA_ERR_SRC_NOT_SUPPORTED = 4;


/**
* The code attribute of a MediaError object must return the code for 
* the error
* @type Number|MediaError.MEDIA_ERR_ABORTED|MEDIA_ERR_NETWORK|MediaError.MEDIA_ERR_DECODE|MediaError.MEDIA_ERR_SRC_NOT_SUPPORTED
* @readOnly
* @BB60+
* @PB10
*/
MediaError.prototype.code = { }

/**
* @namespace
* Objects implementing the TimeRanges interface represent a list of 
* ranges (periods) of time. <br/><br/>
*
* When a TimeRanges object is said to be a normalized TimeRanges 
* object, the ranges it represents must obey the following criteria:
* The start of a range must be greater than the end of all earlier ranges.
* The start of a range must be less than the end of that same range.
* In other words, the ranges in such an object are ordered, don't 
* overlap, aren't empty, and don't touch (adjacent ranges are folded 
* into one bigger range).
* @BB60+
* @PB10
*/
TimeRanges = function() { }


/**
* Returns a MediaError object representing the current error state of the element.
* Returns null if there is no error.
* @type Number
* @readOnly
* @BB60+
* @PB10
*/
TimeRanges.prototype.length = { };

/**
* Returns the time for the start of the range with the given index.
* @param {Number} index
* @BB60+
* @PB10
*/
TimeRanges.prototype.start = function(index) { };

/**
* Returns the time for the end of the range with the given ind
* @param {Number} index
* @BB60+
* @PB10
*/
TimeRanges.prototype.end = function(index) { };


/**
* @class
* Media elements are used to present audio data, or video and 
* audio data, to the user. This is referred to as media data in 
* this section, since this section applies equally to media 

* elements for audio or for video.
* @extends HTMLElement
*/
HTMLMediaElement = function() { }

/**
* Returns a MediaError object representing the current error state of the element.
* Returns null if there is no error.
* @type MediaError|null
* @readOnly
* @BB60+
* @PB10
*/
HTMLMediaElement.prototype.error = { };

/**
* The src content attribute on media elements gives the address of the 
* media resource (video, audio) to show. The attribute, if present, 
* must contain a valid non-empty URL potentially surrounded by spaces.
*
* If a src attribute of a media element is set or changed, the user 
* agent must invoke the media element's media element load algorithm. 
* (Removing the src attribute does not do this, even if there are 
* source elements present).
* @type String
*/
HTMLMediaElement.prototype.src = { };

/**
* The currentSrc IDL attribute is initially the empty string. If 
* absolute URL in 'src' was obtained successfully, set the currentSrc 
* attribute to absolute URL.
* @readOnly
* @type String
*/
HTMLMediaElement.prototype.currentSRC = { };

/**
* The element has not yet been initialized. All attributes are in their <commit_msg>fixed support tags<commit_after>/*
* Copyright 2010-2011 Research In Motion Limited.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/


/*
* Taken from:
* http://www.w3.org/TR/html5/video.html
*/


/**
* @namespace
* All media elements have an associated error status, which records 
* the last error the element encountered since its resource selection 
* algorithm was last invoked. The error attribute, on getting, must 
* return the MediaError object created for this last error, or null if 
* there has not been an error.
* @BB60+
* @PB10
*/
MediaError = function() { }

/**
* The fetching process for the media resource was aborted by the user 
* agent at the user's request.
* @constant
* @type Number
* @BB60+
* @PB10
*/
MediaError.MEDIA_ERR_ABORTED = 1;

/**
* A network error of some description caused the user agent to stop 
* fetching the media resource, after the resource was established to 
* be usable.
* @constant
* @type Number
* @BB60+
* @PB10
*/
MediaError.MEDIA_ERR_NETWORK = 2;

/**
* An error of some description occurred while decoding the media 
* resource, after the resource was established to be usable.
* @constant
* @type Number
* @BB60+
* @PB10
*/
MediaError.MEDIA_ERR_DECODE = 3;

/**
* The media resource indicated by the src attribute was not suitable.
* @constant
* @type Number
* @BB60+
* @PB10
*/
MediaError.MEDIA_ERR_SRC_NOT_SUPPORTED = 4;


/**
* The code attribute of a MediaError object must return the code for 
* the error
* @type Number|MediaError.MEDIA_ERR_ABORTED|MEDIA_ERR_NETWORK|MediaError.MEDIA_ERR_DECODE|MediaError.MEDIA_ERR_SRC_NOT_SUPPORTED
* @readOnly
* @BB60+
* @PB10
*/
MediaError.prototype.code = { }

/**
* @namespace
* Objects implementing the TimeRanges interface represent a list of 
* ranges (periods) of time. <br/><br/>
*
* When a TimeRanges object is said to be a normalized TimeRanges 
* object, the ranges it represents must obey the following criteria:
* The start of a range must be greater than the end of all earlier ranges.
* The start of a range must be less than the end of that same range.
* In other words, the ranges in such an object are ordered, don't 
* overlap, aren't empty, and don't touch (adjacent ranges are folded 
* into one bigger range).
* @BB60+
* @PB10
*/
TimeRanges = function() { }


/**
* Returns a MediaError object representing the current error state of the element.
* Returns null if there is no error.
* @type Number
* @readOnly
* @BB60+
* @PB10
*/
TimeRanges.prototype.length = { };

/**
* Returns the time for the start of the range with the given index.
* @param {Number} index
* @BB60+
* @PB10
*/
TimeRanges.prototype.start = function(index) { };

/**
* Returns the time for the end of the range with the given ind
* @param {Number} index
* @BB60+
* @PB10
*/
TimeRanges.prototype.end = function(index) { };


/**
* @class
* Media elements are used to present audio data, or video and 
* audio data, to the user. This is referred to as media data in 
* this section, since this section applies equally to media 

* elements for audio or for video.
* @extends HTMLElement
*/
HTMLMediaElement = function() { }

/**
* Returns a MediaError object representing the current error state of the element.
* Returns null if there is no error.
* @type MediaError|null
* @readOnly
* @BB60+
* @PB10
*/
HTMLMediaElement.prototype.error = { };

/**
* The src content attribute on media elements gives the address of the 
* media resource (video, audio) to show. The attribute, if present, 
* must contain a valid non-empty URL potentially surrounded by spaces.
*
* If a src attribute of a media element is set or changed, the user 
* agent must invoke the media element's media element load algorithm. 
* (Removing the src attribute does not do this, even if there are 
* source elements present).
* @type String
* @BB60+
* @PB10
*/
HTMLMediaElement.prototype.src = { };

/**
* The currentSrc IDL attribute is initially the empty string. If 
* absolute URL in 'src' was obtained successfully, set the currentSrc 
* attribute to absolute URL.
* @readOnly
* @type String
* @BB60+
* @PB10
*/
HTMLMediaElement.prototype.currentSRC = { };

/**
* The element has not yet been initialized. All attributes are in their 
{'fraction_non_alphanumeric': 0.09385355424906468, 'fraction_numerical': 0.014110101549973277, 'mean_word_length': 4.027404621171414, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1155985', 'n_tokens_mistral': 2828, 'n_tokens_neox': 2723, 'n_words': 1214}