Represent ReturnValue[n] correctly in test output

This commit is contained in:
Owen Mansel-Chan
2022-01-13 08:26:50 +00:00
parent 691bb97fdc
commit 44641de91b

View File

@@ -95,6 +95,12 @@ private string getContentSpecificCsv(Content c) {
/** Gets the textual representation of the content in the format used for flow summaries. */
string getComponentSpecificCsv(SummaryComponent sc) {
exists(Content c | sc = TContentSummaryComponent(c) and result = getContentSpecificCsv(c))
or
exists(ReturnKind rk, int n | n = rk.getIndex() |
sc = TReturnSummaryComponent(rk) and
result = "ReturnValue[" + n + "]" and
n != 0
)
}
/** Holds if input specification component `c` needs a reference. */