//// [library_DatePrototypeProperties.ts]
// Properties of the Date prototype object as per ES5 spec
// http://www.ecma-international.org/ecma-262/5.1/#sec-15.9.5
Date.prototype.constructor;
Date.prototype.toString();
Date.prototype.toDateString();
Date.prototype.toTimeString();
Date.prototype.toLocaleString();
Date.prototype.toLocaleDateString();
Date.prototype.toLocaleTimeString();
Date.prototype.valueOf();

Date.prototype.getTime();
Date.prototype.getFullYear();
Date.prototype.getUTCFullYear();
Date.prototype.getMonth();
Date.prototype.getUTCMonth();
Date.prototype.getDate();
Date.prototype.getUTCDate();
Date.prototype.getDay();
Date.prototype.getUTCDay();
Date.prototype.getHours();
Date.prototype.getUTCHours();
Date.prototype.getMinutes();
Date.prototype.getUTCMinutes();
Date.prototype.getSeconds();
Date.prototype.getUTCSeconds();
Date.prototype.getMilliseconds();
Date.prototype.getUTCMilliseconds();
Date.prototype.getTimezoneOffset();

Date.prototype.setTime(0);
Date.prototype.setMilliseconds(0);
Date.prototype.setUTCMilliseconds(0);
Date.prototype.setSeconds(0);
Date.prototype.setUTCSeconds(0);
Date.prototype.setMinutes(0);
Date.prototype.setUTCMinutes(0);
Date.prototype.setHours(0);
Date.prototype.setUTCHours(0);
Date.prototype.setDate(0);
Date.prototype.setUTCDate(0);
Date.prototype.setMonth(0);
Date.prototype.setUTCMonth(0);
Date.prototype.setFullYear(0);
Date.prototype.setUTCFullYear(0);

Date.prototype.toUTCString();
Date.prototype.toISOString();
Date.prototype.toJSON(null);

//// [library_DatePrototypeProperties.js]
// Properties of the Date prototype object as per ES5 spec
// http://www.ecma-international.org/ecma-262/5.1/#sec-15.9.5
Date.prototype.constructor;
Date.prototype.toString();
Date.prototype.toDateString();
Date.prototype.toTimeString();
Date.prototype.toLocaleString();
Date.prototype.toLocaleDateString();
Date.prototype.toLocaleTimeString();
Date.prototype.valueOf();
Date.prototype.getTime();
Date.prototype.getFullYear();
Date.prototype.getUTCFullYear();
Date.prototype.getMonth();
Date.prototype.getUTCMonth();
Date.prototype.getDate();
Date.prototype.getUTCDate();
Date.prototype.getDay();
Date.prototype.getUTCDay();
Date.prototype.getHours();
Date.prototype.getUTCHours();
Date.prototype.getMinutes();
Date.prototype.getUTCMinutes();
Date.prototype.getSeconds();
Date.prototype.getUTCSeconds();
Date.prototype.getMilliseconds();
Date.prototype.getUTCMilliseconds();
Date.prototype.getTimezoneOffset();
Date.prototype.setTime(0);
Date.prototype.setMilliseconds(0);
Date.prototype.setUTCMilliseconds(0);
Date.prototype.setSeconds(0);
Date.prototype.setUTCSeconds(0);
Date.prototype.setMinutes(0);
Date.prototype.setUTCMinutes(0);
Date.prototype.setHours(0);
Date.prototype.setUTCHours(0);
Date.prototype.setDate(0);
Date.prototype.setUTCDate(0);
Date.prototype.setMonth(0);
Date.prototype.setUTCMonth(0);
Date.prototype.setFullYear(0);
Date.prototype.setUTCFullYear(0);
Date.prototype.toUTCString();
Date.prototype.toISOString();
Date.prototype.toJSON(null);
