Address review comments.

This commit is contained in:
Michael Nebel
2023-07-03 15:45:38 +02:00
parent b942cd9085
commit 243c592447
6 changed files with 12 additions and 12 deletions

View File

@@ -203,10 +203,10 @@ private string positionToString(int pos) {
if pos = -1 then result = "this" else result = pos.toString()
}
/** Gets the textual representation of a parameter position in the format used for MaD models. */
/** Gets the textual representation of a parameter position in the format used for flow summaries. */
string getParameterPosition(ParameterPosition pos) { result = positionToString(pos) }
/** Gets the textual representation of an argument position in the format used for MaD models. */
/** Gets the textual representation of an argument position in the format used for flow summaries. */
string getArgumentPosition(ArgumentPosition pos) { result = positionToString(pos) }
/** Holds if input specification component `c` needs a reference. */