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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
{ "field_artifacts":
{ "vars": ["fieldname", "transition"]
, "expression":
{ "type": "map_union"
, "$1":
{ "type": "foreach"
, "var": "x"
, "range":
{"type": "FIELD", "name": {"type": "var", "name": "fieldname"}}
, "body":
{ "type": "DEP_ARTIFACTS"
, "dep": {"type": "var", "name": "x"}
, "transition":
{ "type": "var"
, "name": "transition"
, "default": {"type": "empty_map"}
}
}
}
}
}
, "field_runfiles":
{ "vars": ["fieldname", "transition"]
, "expression":
{ "type": "map_union"
, "$1":
{ "type": "foreach"
, "var": "x"
, "range":
{"type": "FIELD", "name": {"type": "var", "name": "fieldname"}}
, "body":
{ "type": "DEP_RUNFILES"
, "dep": {"type": "var", "name": "x"}
, "transition":
{ "type": "var"
, "name": "transition"
, "default": {"type": "empty_map"}
}
}
}
}
}
, "action_env":
{ "vars": ["ENV"]
, "expression":
{ "type": "map_union"
, "$1":
[ {"type": "singleton_map", "key": "PATH", "value": "/bin:/usr/bin"}
, {"type": "var", "name": "ENV", "default": {"type": "empty_map"}}
]
}
}
, "stage_singleton_field":
{ "vars": ["fieldname", "transition", "location"]
, "expression":
{ "type": "assert_non_empty"
, "msg":
["No artifact specified in field", {"type": "var", "name": "fieldname"}]
, "$1":
{ "type": "disjoint_map_union"
, "msg":
[ "Expecting (essentially) a single artifact in field"
, {"type": "var", "name": "fieldname"}
]
, "$1":
{ "type": "foreach"
, "var": "src"
, "range":
{"type": "FIELD", "name": {"type": "var", "name": "fieldname"}}
, "body":
{ "type": "disjoint_map_union"
, "$1":
{ "type": "foreach"
, "var": "artifact"
, "range":
{ "type": "values"
, "$1":
{ "type": "DEP_ARTIFACTS"
, "dep": {"type": "var", "name": "src"}
, "transition":
{ "type": "var"
, "name": "transition"
, "default": {"type": "empty_map"}
}
}
}
, "body":
{ "type": "singleton_map"
, "key": {"type": "var", "name": "location"}
, "value": {"type": "var", "name": "artifact"}
}
}
}
}
}
}
}
, "stage_artifact_to_singleton_field":
{ "vars": ["artifact", "fieldname", "transition"]
, "expression":
{ "type": "let*"
, "bindings":
[ [ "location"
, { "type": "++"
, "$1":
{ "type": "foreach"
, "var": "src"
, "range":
{"type": "FIELD", "name": {"type": "var", "name": "fieldname"}}
, "body":
{ "type": "keys"
, "$1":
{ "type": "DEP_ARTIFACTS"
, "dep": {"type": "var", "name": "src"}
, "transition":
{ "type": "var"
, "name": "transition"
, "default": {"type": "empty_map"}
}
}
}
}
}
]
, [ "staged_artifact"
, { "type": "foreach_map"
, "range": {"type": "var", "name": "artifact"}
, "var_val": "val"
, "body":
{ "type": "foreach"
, "range": {"type": "var", "name": "location"}
, "var": "pos"
, "body":
{ "type": "singleton_map"
, "key": {"type": "var", "name": "pos"}
, "value": {"type": "var", "name": "val"}
}
}
}
]
]
, "body":
{ "type": "disjoint_map_union"
, "$1": {"type": "++", "$1": {"type": "var", "name": "staged_artifact"}}
}
}
}
}
|