Update pretty printing predicates

This commit is contained in:
Owen Mansel-Chan
2023-06-20 11:04:03 +01:00
parent a01169eec2
commit 732b14ee38

View File

@@ -106,6 +106,8 @@ private string getContentSpecific(Content c) {
c instanceof MapKeyContent and result = "MapKey"
or
c instanceof MapValueContent and result = "MapValue"
or
c instanceof PointerContent and result = "Dereference"
}
/** Gets the textual representation of the content in the format used for flow summaries. */