CodeQL library for Java/Kotlin
codeql/java-all 0.8.8 (changelog, source)

Member predicate Callable::getKotlinParameterDefaultsProxy

Gets this callable’s Kotlin proxy that supplies default parameter values, if one exists.

For example, for the Kotlin declaration fun f(x: Int, y: Int = 0, z: String = "1"), this will get the synthetic proxy method that fills in the default values for y and z if not supplied, and to which the Kotlin extractor dispatches calls to f that are missing one or more parameter value. Similarly, constructors with one or more default parameter values have a corresponding constructor that fills in default values.

Callable getKotlinParameterDefaultsProxy()