Remove bindingsets

This commit is contained in:
Asger F
2024-06-25 13:33:06 +02:00
parent 6e32f27652
commit f0d7c3a7f0

View File

@@ -285,13 +285,11 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
}
/** Gets the textual representation of a parameter position in the format used for flow summaries. */
bindingset[pos]
string encodeParameterPosition(ParameterPosition pos) {
positionName(pos, result) and result != "any"
}
/** Gets the textual representation of an argument position in the format used for flow summaries. */
bindingset[pos]
string encodeArgumentPosition(ArgumentPosition pos) {
positionName(pos, result) and result != "any"
}