C#: Update QL doc for getRuntimeArgumentForParameter.

This commit is contained in:
Michael Nebel
2024-01-11 09:06:29 +01:00
parent 4c1e84b992
commit 1770beea25

View File

@@ -183,7 +183,9 @@ class Call extends DotNet::Call, Expr, @call {
* Gets the argument that corresponds to parameter `p` of a potential * Gets the argument that corresponds to parameter `p` of a potential
* run-time target of this call. * run-time target of this call.
* *
* Does not consider default arguments. * Does not consider
* - default arguments,
* - named arguments.
*/ */
Expr getRuntimeArgumentForParameter(Parameter p) { Expr getRuntimeArgumentForParameter(Parameter p) {
exists(Callable c | exists(Callable c |