Сопоставление и сравнение объектов Rego

Я пытаюсь сопоставить ключ домена («домен»: «example.com») из заданного ввода и возвращаю ошибку, если значения не идентичны. Это то, о чем я думал до сих пор, но я не могу сопоставить ключ домена, поэтому тесты терпят неудачу. Любой совет будет принят во внимание.

Политика ОРА:

package main
import data.config
default warning_mode = []
warning_mode = config.warn_mode { config.warn_mode }
array_contains(arr, elem) {
arr[_] = elem
}
exception[rules] {
rules:= config.exceptions.rules
}
deny_missing_config[msg] {
not config
msg:= "Missing configuration file"
}
## Main
aws_ses_dkim[a] {
a:= input.resource_changes[_]
a.type == "aws_ses_domain_dkim"
}
aws_ses_domain[e] {
e:= input.resource_changes[_]
e.type == "aws_ses_domain_identity"
}
ses_missing_dkim[msg] {
a:= aws_ses_dkim[_]
e:= aws_ses_domain[_]
walk(a, [["values", "domain"], x])
walk(e, [["values", "domain"], y])
err:= x - y
not err == set()
msg:= sprintf("Placeholder error", [err, a.address, e.address])
}
## Test Cases
deny_ses_missing_dkim[msg]{
not array_contains(warning_mode, "ses_missing_dkim")
ses_missing_dkim[_]!= []
msg:= ses_missing_dkim[_]
}
warn_ses_missing_dkim[msg]{
array_contains(warning_mode, "ses_missing_dkim")
ses_missing_dkim[_]!= []
msg:= ses_missing_dkim[_]
}
test_ses_missing_dkim_invalid {
i:= data.mock.invalid_ses_dkim
r1:= warn_ses_missing_dkim with input as i with data.config.warn_mode as []
count(r1) == 0
r2:= warn_ses_missing_dkim with input as i with data.config.warn_mode as ["ses_missing_dkim"]
count(r2) == 1
r3:= deny_ses_missing_dkim with input as i with data.config.warn_mode as []
count(r3) == 1
r4:= deny_ses_missing_dkim with input as i with data.config.warn_mode as ["ses_missing_dkim"]
count(r4) == 0
count(r1) + count(r2) == 1
count(r3) + count(r4) == 1
}
test_ses_missing_dkim_valid {
i:= data.mock.ses_dkim
r1:= warn_ses_missing_dkim with input as i with data.config.warn_mode as []
r2:= warn_ses_missing_dkim with input as i with data.config.warn_mode as ["ses_missing_dkim"]
r3:= deny_ses_missing_dkim with input as i with data.config.warn_mode as []
r4:= deny_ses_missing_dkim with input as i with data.config.warn_mode as ["ses_missing_dkim"]
count(r1) + count(r2) + count(r3) + count(r4) == 0
}


Ввод (терраформ JSON):

"resource_changes":[
{
"address":"aws_ses_domain_dkim.example",
"mode":"managed",
"type":"aws_ses_domain_dkim",
"name":"example",
"provider_name":"registry.terraform.io/hashicorp/aws",
"schema_version":0,
"values":{
"domain":"example.com"
},
"sensitive_values":{
"dkim_tokens":[

]
}
},
{
"address":"aws_ses_domain_identity.example",
"mode":"managed",
"type":"aws_ses_domain_identity",
"name":"example",
"provider_name":"registry.terraform.io/hashicorp/aws",
"schema_version":0,
"values":{
"domain":"example.com"
},
"sensitive_values":{

}
}
]


Решение проблемы

Значения xи y, полученные walkфункцией, будут строками, поэтому они err:= x - sне будут работать. Если вам нужен набор значений, вы можете обернуть walkвызов в понимание набора, чтобы получить набор всех значений:

ses_missing_dkim[msg] {
a:= aws_ses_dkim[_]
e:= aws_ses_domain[_]
xs:= {x | walk(a, [["values", "domain"], x])}
ys:= {y | walk(e, [["values", "domain"], y])}

err:= xs - ys
not err == set()

msg:= sprintf("Placeholder error", [err, a.address, e.address])
}


Вам, вероятно, здесь это не нужно walk, так как значения всегда находятся на известном пути.