Ian Lynagh bfd0a19d85 Kotlin: Define DiagnosticTrapWriter, for type safety ...

In some cases, we were writing diagnostics to TRAP files where they
shouldn't be written. Such TRAP files don't define #compilation, so TRAP
import gave errors.

Now we use DiagnosticTrapWriter to get the type system to check that we
are writing diagnostics to the right place.

2023-06-21 18:38:27 +01:00

..

java/com/semmle

Kotlin: Remove use of AccessControlException

2023-06-14 17:45:58 +01:00

kotlin

Kotlin: Define DiagnosticTrapWriter, for type safety

2023-06-21 18:38:27 +01:00

resources/META-INF/services

Kotlin: Add kotlin-extractor

2022-05-10 18:45:51 +01:00