Chris Smowton 7a0bded2ac Kotlin: support argument-range specifications for $default methods

2022-10-24 19:31:03 +01:00

..

lib.kt

Kotlin: support argument-range specifications for $default methods

2022-10-24 19:31:03 +01:00

test.expected

Convert test to inline-expectation test

2022-10-24 19:15:35 +01:00

test.py

Java models-as-data: infer Kotlin $default models from that of its parent function

2022-10-18 18:17:08 +01:00

test.ql

Kotlin: support argument-range specifications for $default methods

2022-10-24 19:31:03 +01:00

user.kt

Kotlin: support argument-range specifications for $default methods

2022-10-24 19:31:03 +01:00