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
# Copyright (c) Microsoft Corporation. Licensed under the MIT
# License.
cases:
- note: basic
rego: |
package test
import future.keywords
y = 8 {
every x in [2] {
x > 0
every a, b in vals { check(a) }
}
}
policy:
- spec:
head:
compr:
refr:
var: y
assign:
op: "="
value:
number: 8
bodies:
- query:
stmts:
- literal:
every:
value: x
domain:
array:
- number: 2
query:
stmts:
- literal:
expr:
boolexpr:
op: ">"
lhs:
var: x
rhs:
number: 0
- literal:
every:
key: a
value: b
domain:
var: vals
query:
stmts:
- literal:
expr:
call:
fcn:
var: check
params:
- var: a