projects / Benchmarks_CSolver.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Adding JMCR-Stable version
[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.wst.jsdt.core / libraries / dom5.js
diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.wst.jsdt.core/libraries/dom5.js b/JMCR-Stable/.metadata/.plugins/org.eclipse.wst.jsdt.core/libraries/dom5.js
new file mode 100644 (file)
index 0000000..a75f175
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.wst.jsdt.core/libraries/dom5.js
@@ -0,0 +1,922 @@
+/*******************************************************************************\r
+ * Copyright (c) 2013 IBM Corporation and others.\r
+ * All rights reserved. This program and the accompanying materials\r
+ * are made available under the terms of the Eclipse Public License v1.0\r
+ * which accompanies this distribution, and is available at\r
+ * http://www.eclipse.org/legal/epl-v10.html\r
+ *\r
+ * Contributors:\r
+ *     IBM Corporation - initial API and implementation\r
+ ******************************************************************************/\r
+\r
+/**\r
+ * function querySelector(selectors)\r
+ * http://www.w3.org/TR/2012/PR-selectors-api-20121213\r
+ * @param {String} selectors\r
+ * @memberOf Document\r
+ * @returns {Element}      \r
+ */ \r
+Document.prototype.querySelector=function(selectors){return new Element();};\r
+\r
+/**\r
+ * function querySelectorAll(selectors)\r
+ * http://www.w3.org/TR/2012/PR-selectors-api-20121213\r
+ * @param {String} selectors\r
+ * @memberOf Document\r
+ * @returns {NodeList}      \r
+ */ \r
+Document.prototype.querySelectorAll=function(selectors){return new NodeList();};\r
+\r
+/**\r
+ * function querySelector(selectors)\r
+ * http://www.w3.org/TR/2012/PR-selectors-api-20121213\r
+ * @param {String} selectors\r
+ * @memberOf DocumentFragment\r
+ * @returns {Element}      \r
+ */ \r
+DocumentFragment.prototype.querySelector=function(selectors){return new Element();};\r
+\r
+/**\r
+ * function querySelectorAll(selectors)\r
+ * http://www.w3.org/TR/2012/PR-selectors-api-20121213\r
+ * @param {String} selectors\r
+ * @memberOf DocumentFragment\r
+ * @returns {NodeList}      \r
+ */ \r
+DocumentFragment.prototype.querySelectorAll=function(selectors){return new NodeList();};\r
+\r
+/**\r
+ * function querySelector(selectors)\r
+ * http://www.w3.org/TR/2012/PR-selectors-api-20121213\r
+ * @param {String} selectors\r
+ * @memberOf Element\r
+ * @returns {Element}      \r
+ */ \r
+Element.prototype.querySelector=function(selectors){return new Element();};\r
+\r
+/**\r
+ * function querySelectorAll(selectors)\r
+ * http://www.w3.org/TR/2012/PR-selectors-api-20121213\r
+ * @param {String} selectors\r
+ * @memberOf Element\r
+ * @returns {NodeList}      \r
+ */ \r
+Element.prototype.querySelectorAll=function(selectors){return new NodeList();};\r
+\r
+/**\r
+ * Property state\r
+ * @type Object\r
+ * @memberOf History\r
+ */\r
+History.prototype.state=new Object();\r
+\r
+/**\r
+ * function pushState(data,title,url)\r
+ * http://www.w3.org/TR/2012/CR-html5-20121217/browsers.html#history\r
+ * @param {Object} data\r
+ * @param {String} title\r
+ * @param {String} url - optional\r
+ * @memberOf History\r
+ */\r
+History.prototype.pushState=function(data,title,url){};\r
+\r
+/**\r
+ * function replaceState(data,title,url)\r
+ * http://www.w3.org/TR/2012/CR-html5-20121217/browsers.html#history\r
+ * @param {Object} data\r
+ * @param {String} title\r
+ * @param {String} url - optional\r
+ * @memberOf History\r
+ */\r
+History.prototype.replaceState=function(data,title,url){};\r
+\r
+/**\r
+ * Property sessionStorage\r
+ * http://www.w3.org/TR/2011/CR-webstorage-20111208\r
+ * @type Storage\r
+ * @memberOf Window\r
+ */\r
+Window.prototype.sessionStorage=new Storage();\r
+\r
+/**\r
+ * Property localStorage\r
+ * http://www.w3.org/TR/2011/CR-webstorage-20111208\r
+ * @type Storage\r
+ * @memberOf Window\r
+ */\r
+Window.prototype.localStorage=new Storage();\r
+\r
+/**\r
+ * Object Storage\r
+ * http://www.w3.org/TR/2011/CR-webstorage-20111208\r
+ */\r
+function Storage(){};\r
+Storage.prototype=new Object();\r
+\r
+/**\r
+ * Property length\r
+ * http://www.w3.org/TR/2011/CR-webstorage-20111208\r
+ * @type Number\r
+ * @memberOf Storage\r
+ */\r
+Storage.prototype.length=new Number();\r
+\r
+/**\r
+ * function key(index)\r
+ * http://www.w3.org/TR/2011/CR-webstorage-20111208\r
+ * @param {Number} index\r
+ * @memberOf Storage\r
+ * @returns String\r
+ */\r
+Storage.prototype.key=function(index){return new String();};\r
+\r
+/**\r
+ * function getItem(key)\r
+ * http://www.w3.org/TR/2011/CR-webstorage-20111208\r
+ * @param {String} key\r
+ * @memberOf Storage\r
+ * @returns String\r
+ */\r
+Storage.prototype.getItem=function(key){return new String();};\r
+\r
+/**\r
+ * function setItem(key,value)\r
+ * http://www.w3.org/TR/2011/CR-webstorage-20111208\r
+ * @param {String} key\r
+ * @param {String} value\r
+ * @memberOf Storage\r
+ */\r
+Storage.prototype.setItem=function(key,value){};\r
+\r
+/**\r
+ * function removeItem(key)\r
+ * http://www.w3.org/TR/2011/CR-webstorage-20111208\r
+ * @param {String} key\r
+ * @memberOf Storage\r
+ */\r
+Storage.prototype.removeItem=function(key){};\r
+\r
+/**\r
+ * function clear()\r
+ * http://www.w3.org/TR/2011/CR-webstorage-20111208\r
+ * @memberOf Storage\r
+ */\r
+Storage.prototype.clear=function(){};\r
+\r
+/**\r
+ * Object WebSocket\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @constructor\r
+ * @param {String} url\r
+ */\r
+function WebSocket(url){};\r
+WebSocket.prototype=new Object();\r
+\r
+/**\r
+ * Constant WebSocket.CONNECTING=0\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @constant\r
+ * @type Number\r
+ */\r
+WebSocket.prototype.CONNECTING=0;\r
+\r
+/**\r
+ * Constant WebSocket.OPEN=1\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @constant\r
+ * @type Number\r
+ */\r
+WebSocket.prototype.OPEN=1;\r
+\r
+/**\r
+ * Constant WebSocket.CLOSING=2\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @constant\r
+ * @type Number\r
+ */\r
+WebSocket.prototype.CLOSING=2;\r
+\r
+/**\r
+ * Constant WebSocket.CLOSED=3\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @constant\r
+ * @type Number\r
+ */\r
+WebSocket.prototype.CLOSED=3;\r
+\r
+/**\r
+ * Property url\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @type String\r
+ * @memberOf WebSocket\r
+ */\r
+WebSocket.prototype.url=new String();\r
+\r
+/**\r
+ * Property readyState\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @type Number\r
+ * @memberOf WebSocket\r
+ */\r
+WebSocket.prototype.readyState=new Number();\r
+\r
+/**\r
+ * Property bufferedAmount\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @type Number\r
+ * @memberOf WebSocket\r
+ */\r
+WebSocket.prototype.bufferedAmount=new Number();\r
+\r
+/**\r
+ * Property extensions\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @type String\r
+ * @memberOf WebSocket\r
+ */\r
+WebSocket.prototype.extensions=new String();\r
+\r
+/**\r
+ * Property protocol\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @type String\r
+ * @memberOf WebSocket\r
+ */\r
+WebSocket.prototype.protocol=new String();\r
+\r
+/**\r
+ * Property binaryType\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @type String\r
+ * @memberOf WebSocket\r
+ */\r
+WebSocket.prototype.binaryType=new String();\r
+\r
+/**\r
+ * function close(code,reason)\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @param {Number} code - optional\r
+ * @param {String} reason - optional\r
+ * @memberOf WebSocket\r
+ */\r
+WebSocket.prototype.close=function(code,reason){};\r
+\r
+/**\r
+ * function send(data)\r
+ * http://www.w3.org/TR/2012/CR-websockets-20120920\r
+ * @param {Object} data - may be a String, Blob, ArrayBuffer, or ArrayBufferView \r
+ * @memberOf WebSocket\r
+ */\r
+WebSocket.prototype.send=function(data){};\r
+\r
+/**\r
+ * Property geolocation\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Geolocation\r
+ * @memberOf Navigator\r
+ */\r
+Navigator.prototype.geolocation=new Geolocation();\r
+\r
+/**\r
+ * Object Geolocation\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ */\r
+function Geolocation(){};\r
+Geolocation.prototype=new Object();\r
+\r
+/**\r
+ * function getCurrentPosition(successCallback,errorCallback,options)\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510/\r
+ * @param {Function} successCallback (Position pos)\r
+ * @param {Function} errorCallback (PositionError error) - optional\r
+ * @param {PositionOptions} options - optional\r
+ * @memberOf Geolocation\r
+ */\r
+Geolocation.prototype.getCurrentPosition=function(successCallback,errorCallback,options){};\r
+\r
+/**\r
+ * function watchPosition(successCallback,errorCallback,options)\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510/\r
+ * @param {Function} successCallback (Position pos)\r
+ * @param {Function} errorCallback (PositionError error) - optional\r
+ * @param {PositionOptions} options - optional\r
+ * @memberOf Geolocation\r
+ * @returns {Number}\r
+ */\r
+Geolocation.prototype.watchPosition=function(successCallback,errorCallback,options){return new Number();};\r
+\r
+/**\r
+ * function clearWatch(watchId)\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @param {Number} watchId\r
+ * @memberOf Geolocation\r
+ */\r
+Geolocation.prototype.clearWatch=function(watchId){};\r
+\r
+/**\r
+ * Object Coordinates\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ */\r
+function Coordinates(){};\r
+Coordinates.prototype=new Object();\r
+\r
+/**\r
+ * Property latitude\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf Coordinates\r
+ */\r
+Coordinates.prototype.latitude=new Number();;\r
+\r
+/**\r
+ * Property longitude\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf Coordinates\r
+ */\r
+Coordinates.prototype.longitude=new Number();;\r
+\r
+/**\r
+ * Property altitude\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf Coordinates\r
+ */\r
+Coordinates.prototype.altitude=new Number();;\r
+\r
+/**\r
+ * Property accuracy\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf Coordinates\r
+ */\r
+Coordinates.prototype.accuracy=new Number();;\r
+\r
+/**\r
+ * Property altitudeAccuracy\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf Coordinates\r
+ */\r
+Coordinates.prototype.altitudeAccuracy=new Number();;\r
+\r
+/**\r
+ * Property heading\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf Coordinates\r
+ */\r
+Coordinates.prototype.heading=new Number();;\r
+\r
+/**\r
+ * Property speed\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf Coordinates\r
+ */\r
+Coordinates.prototype.speed=new Number();\r
+\r
+/**\r
+ * Object Position\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ */\r
+function Position(){};\r
+Position.prototype=new Object();\r
+\r
+/**\r
+ * Property coords\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Coordinates\r
+ * @memberOf Position\r
+ */\r
+Position.prototype.coords=new Coordinates();\r
+\r
+/**\r
+ * Property timestamp\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf Position\r
+ */\r
+Position.prototype.timestamp=new Number;\r
+\r
+/**\r
+ * Object PositionError\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ */\r
+function PositionError(){};\r
+PositionError.prototype=new Object();\r
+\r
+/**\r
+ * Constant PositionError.PERMISSION_DENIED=1\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @constant\r
+ * @type Number\r
+ */\r
+PositionError.prototype.PERMISSION_DENIED=1;\r
+\r
+/**\r
+ * Constant PositionError.POSITION_UNAVAILABLE=2\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @constant\r
+ * @type Number\r
+ */\r
+PositionError.prototype.POSITION_UNAVAILABLE=2;\r
+\r
+/**\r
+ * Constant PositionError.TIMEOUT=3\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @constant\r
+ * @type Number\r
+ */\r
+PositionError.prototype.TIMEOUT=3;\r
+\r
+/**\r
+ * Property code\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf PositionError\r
+ */\r
+PositionError.prototype.code=new Number();\r
+\r
+/**\r
+ * Property message\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type String\r
+ * @memberOf PositionError\r
+ */\r
+PositionError.prototype.message=new String();\r
+\r
+/**\r
+ * Object PositionOptions\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ */\r
+function PositionOptions(){};\r
+PositionOptions.prototype=new Object();\r
+\r
+/**\r
+ * Property enableHighAccuracy\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Boolean\r
+ * @memberOf PositionOptions\r
+ */\r
+PositionOptions.prototype.enableHighAccuracy=new Boolean();\r
+\r
+/**\r
+ * Property timeout\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf PositionOptions\r
+ */\r
+PositionOptions.prototype.timeout=new Number();\r
+\r
+/**\r
+ * Property maximumAge\r
+ * http://www.w3.org/TR/2012/PR-geolocation-API-20120510\r
+ * @type Number\r
+ * @memberOf PositionOptions\r
+ */\r
+PositionOptions.prototype.maximumAge=new Number();\r
+\r
+/**\r
+ * Object TimeRanges\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ */\r
+function TimeRanges(){};\r
+TimeRanges.prototype=new Object();\r
+\r
+/**\r
+ * Property length\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf TimeRanges\r
+ */\r
+TimeRanges.prototype.length=new Number();\r
+\r
+/**\r
+ * function start(index)\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @param {Number} index\r
+ * @memberOf TimeRanges\r
+ * @returns {Number}\r
+ */\r
+function start(index) {return new Number();};\r
+\r
+/**\r
+ * function end(index)\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @param {Number} index\r
+ * @memberOf TimeRanges\r
+ * @returns {Number}\r
+ */\r
+function end(index) {return new Number();};\r
+\r
+/**\r
+ * Object MediaError\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ */\r
+function MediaError(){};\r
+MediaError.prototype=new Object();\r
+\r
+/**\r
+ * Constant MediaError.MEDIA_ERR_ABORTED=1\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+MediaError.prototype.MEDIA_ERR_ABORTED=1;\r
+\r
+/**\r
+ * Constant MediaError.MEDIA_ERR_NETWORK=2\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+MediaError.prototype.MEDIA_ERR_NETWORK=2;\r
+\r
+/**\r
+ * Constant MediaError.MEDIA_ERR_DECODED=3\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+MediaError.prototype.MEDIA_ERR_DECODE=3;\r
+\r
+/**\r
+ * Constant MediaError.MEDIA_ERR_SRC_NOT_SUPPORTED=4\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+MediaError.prototype.MEDIA_ERR_SRC_NOT_SUPPORTED=4;\r
+\r
+/**\r
+ * Property code\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf MediaError\r
+ */\r
+MediaError.prototype.code=new Number();\r
+\r
+/**\r
+ * Object HTMLMediaElement\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @augments HTMLElement\r
+ * @see HTMLElement\r
+ */\r
+function HTMLMediaElement(){};\r
+HTMLMediaElement.prototype = new HTMLElement();\r
+\r
+/**\r
+ * Property src\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type String\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.src=new String();\r
+\r
+/**\r
+ * Property currentSrc\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type String\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.currentSrc=new String();\r
+\r
+/**\r
+ * Property crossOrigin\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type String\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.crossOrigin=new String();\r
+\r
+/**\r
+ * Constant HTMLMediaElement.NETWORK_EMPTY=0\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+HTMLMediaElement.prototype.NETWORK_EMPTY=0;\r
+\r
+/**\r
+ * Constant HTMLMediaElement.NETWORK_IDLE=1\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+HTMLMediaElement.prototype.NETWORK_IDLE=1;\r
+\r
+/**\r
+ * Constant HTMLMediaElement.NETWORK_LOADING=2\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+HTMLMediaElement.prototype.NETWORK_LOADING=2;\r
+\r
+/**\r
+ * Constant HTMLMediaElement.NETWORK_NO_SOURCE=3\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+HTMLMediaElement.prototype.NETWORK_NO_SOURCE=3;\r
+\r
+/**\r
+ * Property networkState\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.networkState=new Number();\r
+\r
+/**\r
+ * Property preload\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type String\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.preload=new String();\r
+\r
+/**\r
+ * Property buffered\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type TimeRanges\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.buffered=new TimeRanges();\r
+\r
+/**\r
+ * function load()\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.load=function(){};\r
+\r
+/**\r
+ * function canPlayType(type)\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @param {String} type\r
+ * @memberOf HTMLMediaElement\r
+ * @returns {String}\r
+ */\r
+HTMLMediaElement.prototype.canPlayType=function(type){new String();};\r
+\r
+/**\r
+ * Constant HTMLMediaElement.HAVE_NOTHING=0\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+HTMLMediaElement.prototype.HAVE_NOTHING=0;\r
+\r
+/**\r
+ * Constant HTMLMediaElement.HAVE_METADATA=1\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+HTMLMediaElement.prototype.HAVE_METADATA=1;\r
+\r
+/**\r
+ * Constant HTMLMediaElement.HAVE_CURRENT_DATA=2\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+HTMLMediaElement.prototype.HAVE_CURRENT_DATA=2;\r
+\r
+/**\r
+ * Constant HTMLMediaElement.HAVE_FUTURE_DATA=3\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+HTMLMediaElement.prototype.HAVE_FUTURE_DATA=3;\r
+\r
+/**\r
+ * Constant HTMLMediaElement.HAVE_ENOUGH_DATA=4\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @constant\r
+ * @type Number\r
+ */\r
+HTMLMediaElement.prototype.HAVE_ENOUGH_DATA=4;\r
+\r
+/**\r
+ * Property readyState\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.readyState=new Number();\r
+\r
+/**\r
+ * Property seeking\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Boolean\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.seeking=new Boolean();\r
+\r
+/**\r
+ * Property currentTime\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.currentTime=new Number();\r
+\r
+/**\r
+ * Property initialTime\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLMediaElement\r
+ */         \r
+HTMLMediaElement.prototype.initialTime=new Number();\r
+\r
+/**\r
+ * Property duration\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.duration=new Number();\r
+\r
+/**\r
+ * Property startOffsetTime\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Date\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.startOffsetTime=new Date();\r
+\r
+/**\r
+ * Property paused\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Boolean\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.paused=new Boolean();\r
+\r
+/**\r
+ * Property defaultPlaybackRate\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.defaultPlaybackRate=new Number();\r
+\r
+/**\r
+ * Property playbackRate\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.playbackRate=new Number();\r
+\r
+/**\r
+ * Property played\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type TimeRanges\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.played=new TimeRanges();\r
+\r
+/**\r
+ * Property seekable\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type TimeRanges\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.seekable=new TimeRanges();\r
+\r
+/**\r
+ * Property ended\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Boolean\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.ended=new Boolean();\r
+\r
+/**\r
+ * Property autoplay\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Boolean\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.autoplay=new Boolean();\r
+\r
+/**\r
+ * Property loop\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Boolean\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.loop=new Boolean();\r
+\r
+/**\r
+ * function play()\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.play=function(){};\r
+\r
+/**\r
+ * function pause()\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.pause=function(){};\r
+\r
+/**\r
+ * Property controls\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Boolean\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.controls=new Boolean();\r
+\r
+/**\r
+ * Property volume\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.volume=new Number();\r
+\r
+/**\r
+ * Property muted\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Boolean\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.muted=new Boolean();\r
+         \r
+/**\r
+ * Property defaultMuted\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Boolean\r
+ * @memberOf HTMLMediaElement\r
+ */\r
+HTMLMediaElement.prototype.defaultMuted=new Boolean();\r
+\r
+/**\r
+ * Object HTMLAudioElement\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/the-audio-element.html\r
+ * @augments HTMLMediaElement\r
+ * @constructor\r
+ * @param {String} src\r
+ * @see HTMLMediaElement\r
+ */\r
+function HTMLAudioElement(src){};\r
+HTMLAudioElement.prototype = new HTMLMediaElement();\r
+\r
+/**\r
+ * Object HTMLVideoElement\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/the-audio-element.html\r
+ * @augments HTMLMediaElement\r
+ * @see HTMLMediaElement\r
+ */\r
+function HTMLVideoElement(){};\r
+HTMLVideoElement.prototype = new HTMLMediaElement();\r
+\r
+/**\r
+ * Property width\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLVideoElement\r
+ */\r
+HTMLVideoElement.prototype.width=new Number();\r
+\r
+/**\r
+ * Property height\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLVideoElement\r
+ */\r
+HTMLVideoElement.prototype.height=new Number();\r
+\r
+/**\r
+ * Property videoWidth\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLVideoElement\r
+ */\r
+HTMLVideoElement.prototype.videoWidth=new Number();\r
+\r
+/**\r
+ * Property videoHeight\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type Number\r
+ * @memberOf HTMLVideoElement\r
+ */\r
+HTMLVideoElement.prototype.videoHeight=new Number();\r
+\r
+/**\r
+ * Property poster\r
+ * http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html\r
+ * @type String\r
+ * @memberOf HTMLVideoElement\r
+ */\r
+HTMLVideoElement.prototype.poster=new String();\r
+\r
Unnamed repository; edit this file 'description' to name the repository.