Builtins emit default values in JSON results

[ronenh]

The ds.checks builtin returns an array of CheckResponse messages. Each element has a boolean check field indicating the outcome of one check. However, because false is the default value for bool the marshaled JSON object doesn't include the check field at all when it is false.

Dealing with missing fields is difficult in Rego (I couldn't figure it out). The code below takes a resource context of the form:

{
  "object_type": "",
  "checks": [
    {"object_id": "", "relation": ""}
  ]
}

It computes an array of results of the form:

[
  {"object_id": "", "relation": "", "allowed": true/false}
]

If default values are omitted from the returned results, the array will only include checks that evaluated to true.

raw := ds.checks({
  "default": {
    "object_type": input.resource.object_type,
    "subject_type": "user",
    "subject_id": input.user.id
  },
  "checks": checks
})

results := x {
  x := [
    {"object_id": check.object_id, "relation": check.relation, "allowed": result.check } |
    check := checks[i]
    result = raw[i]
  ]
}

This commit adds EmitDefaultValues: true to the protojson.MarshalOptions used by the builtins to marshal rpc responses to JSON.

[coveralls]

Pull Request Test Coverage Report for Build 12144607274

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 0.0%

---

Totals
Change from base Build 12144388917:	0.0%
Covered Lines:	0
Relevant Lines:	0

---

💛 - Coveralls