forked from microsoft/TypeScript
-
Notifications
You must be signed in to change notification settings - Fork 0
/
checkscript.js
75 lines (68 loc) · 2.09 KB
/
checkscript.js
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
function check(val, ty, nullable) {
function hasType(val, ty) {
function primitive(ty) {
return ty === 'number' ||
ty === 'string' ||
ty === 'boolean';
}
if (!ty)
return true;
else if (primitive(ty))
return typeof val === ty;
else if (typeof ty === 'string') { // String literal types
return val === ty;
} else if (ty === Array) {
return val.constructor === Array;
} else if (ty.constructor === Array) {
if (ty.length > 0 && typeof val !== 'object')
return false;
for (var i = 0; i < ty.length; i++) {
if (!(ty[i] in val))
return false;
}
return true;
} else if (ty instanceof Union) {
for (var j = 0; j < ty.types.length; j++) {
if (hasType(val, ty.types[j]))
return true;
}
return false;
} else if (ty instanceof Intersection) {
for (var j = 0; j < ty.types.length; j++) {
if (!hasType(val, ty.types[j]))
return false;
}
return true;
} else if (ty instanceof ArrayLength) {
return val.constructor === Array && val.length >= ty.len;
} else if (ty['chs_enum']) {
return typeof val === 'number' && ty[val] !== undefined;
} else {
return val instanceof ty;
}
}
function checkFail() {
throw new Error("Check failure! " + val + " does not have type " + ty);
}
if (hasType(val, ty) || (nullable && val == null)) {
return val;
} else {
checkFail();
}
}
function Union() {
this.types = Array.prototype.slice.call(arguments);
return this;
}
function Intersection() {
this.types = Array.prototype.slice.call(arguments);
return this;
}
function TypeArgs() {
this.types = Array.prototype.slice.call(arguments);
return this;
}
function ArrayLength(n) {
this.len = n;
return this;
}