Update entity JSON parsing for changes to entity struct (#544)

Signed-off-by: John Kastner <jkastner@amazon.com>
cedar-policy · Feb 17, 2025 · d60ba77 · d60ba77
1 parent 77e44e8
commit d60ba77
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/cedar-lean/DiffTest/Parser.lean b/cedar-lean/DiffTest/Parser.lean
@@ -277,8 +277,9 @@ def jsonToRequest (json : Lean.Json) : ParseResult Request := do
 
 
 def jsonToEntityData (json : Lean.Json) : ParseResult EntityData := do
-  let ancestorsArr ← getJsonField json "ancestors" >>= jsonToArray
-  let ancestors ← List.mapM jsonToEuid ancestorsArr.toList
+  let parentsArr ← getJsonField json "parents" >>= jsonToArray
+  let indirectAncestorsArr ← getJsonField json "indirect_ancestors" >>= jsonToArray
+  let ancestors ← List.mapM jsonToEuid (parentsArr.toList ++ indirectAncestorsArr.toList)
   let attrsKVs ← getJsonField json "attrs" >>= jsonObjToKVList
   let attrs ← mapMValues attrsKVs jsonToValue
   let tagsKVs ← -- the "tags" field may be absent