Skip to content

Added ARGUMENT_LABEL property to expressions#1836

Merged
max-leuthaeuser merged 3 commits intomasterfrom
max/argumentLabel
Feb 6, 2026
Merged

Added ARGUMENT_LABEL property to expressions#1836
max-leuthaeuser merged 3 commits intomasterfrom
max/argumentLabel

Conversation

@max-leuthaeuser
Copy link
Contributor

No description provided.

@max-leuthaeuser max-leuthaeuser requested a review from ml86 February 6, 2026 09:59
Comment on lines +59 to +63
|This field is used to keep track of the argument label for languages that support them, such as Swift.
|It is used in addition to `ARGUMENT_INDEX` and can be used to reconstruct the original call syntax more faithfully.
|For example, in Swift, a method call may look like `foo(arg1: 42, arg2: "hello")` where `arg1` and `arg2`
|are argument labels. In this case, the `ARGUMENT_LABEL` field for the first argument would be set to `arg1`
|and for the second argument it would be set to `arg2`.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

explicitly state here the difference to ARGUMENT_NAME: for dataflow purposes the name should be an exact match of the NAME of a METHOD_PARAMETER_{IN,OUT} and overrides ARGUMENT_INDEX for dataflow purposes. Whereas the label should not be expected to match the name of any parameter, and is not needed for dataflow purposes at all.

@max-leuthaeuser max-leuthaeuser merged commit a494515 into master Feb 6, 2026
1 check passed
@max-leuthaeuser max-leuthaeuser deleted the max/argumentLabel branch February 6, 2026 10:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants