Handle AnyMemberDeep and ArrayElementDeep in encodeContent

This commit is contained in:
Asger F
2024-06-26 13:38:28 +02:00
parent 6c0c67dce4
commit 3bebd709b3

View File

@@ -263,6 +263,10 @@ private string encodeContentAux(ContentSet cs, string arg) {
result = "Awaited"
or
cs = MkAwaited() and result = "Awaited" and arg = ""
or
cs = MkAnyPropertyDeep() and result = "AnyMemberDeep" and arg = ""
or
cs = MkArrayElementDeep() and result = "ArrayElementDeep" and arg = ""
}
/**