1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
//// [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);
|
