ponder-lab / Hybridize-Functions-Refactoring / #2065

80%

main: 79%

push

github

Classify type-hinted keyword-only parameters as tensors (#607) (#646)

Wrap a function's keyword-only parameters (declared after a bare `*`,
held in `argumentsType.kwonlyargs`) as `Parameter`s so they appear in
`Function.getParameters()`. Keyword-only tensor parameters are idiomatic
in Keras `call()` methods and were previously missed entirely.

Classify a keyword-only parameter as a tensor from its type hint by
reading `kwonlyargannotation` directly in `Parameter.getTypeInfo()`.
PyDev's by-name resolver (`NodeUtils.getTypeForParameterFromStaticTyping`)
scans only the positional arrays, so a keyword-only parameter's annotation
is otherwise invisible (ponder-lab/Pydev#11).

Classifying a keyword-only parameter purely from a call-site keyword
argument remains blocked upstream: WALA's Python frontend does not model
keyword-only parameters as formal parameters in the IR, so no pointer key
corresponds to them (wala/ML#596). `testKwonlyTensorParameterCallSite`
pins that behavior with a TODO to invert when the gap closes.

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

16 of 18 new or added lines in 2 files covered. (88.89%)

1612 of 2012 relevant lines covered (80.12%)

0.8 hits per line