1 | require("./core");
|
2 | var types = require("../lib/types");
|
3 | var def = types.Type.def;
|
4 | var or = types.Type.or;
|
5 | var shared = require("../lib/shared");
|
6 | var geq = shared.geq;
|
7 | var defaults = shared.defaults;
|
8 |
|
9 | def("Function")
|
10 |
|
11 | .field("body", or(def("BlockStatement"), def("Expression")));
|
12 |
|
13 | def("ForInStatement")
|
14 | .build("left", "right", "body", "each")
|
15 | .field("each", Boolean, defaults["false"]);
|
16 |
|
17 | def("ForOfStatement")
|
18 | .bases("Statement")
|
19 | .build("left", "right", "body")
|
20 | .field("left", or(
|
21 | def("VariableDeclaration"),
|
22 | def("Expression")))
|
23 | .field("right", def("Expression"))
|
24 | .field("body", def("Statement"));
|
25 |
|
26 | def("LetStatement")
|
27 | .bases("Statement")
|
28 | .build("head", "body")
|
29 |
|
30 | .field("head", [def("VariableDeclarator")])
|
31 | .field("body", def("Statement"));
|
32 |
|
33 | def("LetExpression")
|
34 | .bases("Expression")
|
35 | .build("head", "body")
|
36 |
|
37 | .field("head", [def("VariableDeclarator")])
|
38 | .field("body", def("Expression"));
|
39 |
|
40 | def("GraphExpression")
|
41 | .bases("Expression")
|
42 | .build("index", "expression")
|
43 | .field("index", geq(0))
|
44 | .field("expression", def("Literal"));
|
45 |
|
46 | def("GraphIndexExpression")
|
47 | .bases("Expression")
|
48 | .build("index")
|
49 | .field("index", geq(0));
|