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
|
{ "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"}
}
}
}
}
}
}
}
}
|
