Chris Smowton
81ff394533
Be explicit about Kotlin database type
2024-11-01 19:02:28 +00:00
Chris Smowton
5d3f723df9
Kotlin extractor: use special <nulltype> for null literals
...
This matches the Java extractor's treatment of these literals, and so enables dataflow type-tracking to avoid special-casing Kotlin. Natively, Kotlin would regard this as kotlin.Nothing?, the type that can only contain null (kotlin.Nothing without a ? can take nothing at all), which gets Java-ified as java.lang.Void, and this will continue to be used when a null type has to be "boxed", as in representing substituted generic constraints with no possible type.
2024-11-01 16:14:10 +00:00
Ian Lynagh
8ab52dba83
Kotlin: Don't write the erasure relation
...
It's no longer used
2024-10-29 11:32:18 +00:00
Ian Lynagh
196baa99b2
Merge pull request #17769 from igfoo/igfoo/2.1.0-beta2
...
Kotlin: Fix for 2.1.0-Beta2
2024-10-15 14:56:55 +01:00
Ian Lynagh
b5bfd06624
Kotlin: Fix for 2.1.0-Beta2
...
We need to catch a different exception now.
2024-10-15 13:17:26 +01:00
Ian Lynagh
156ddd3fae
Kotlin: Log our verbosity level
...
This happens at `info` level, which is logged by default.
2024-10-11 14:24:25 +01:00
Cornelius Riemenschneider
4c21444dd5
Bazel: Flip --incompatible_use_plus_in_repo_names.
...
We've hardcoded the tilde in a lot of places :(
This improves performance on Windows and gets us ready for Bazel 8.
We need an upgrade of rules_rust for this to work.
2024-10-09 14:04:05 +02:00
Ian Lynagh
2a5b48930a
Kotlin: Fix the return type for lambda constructors
2024-09-27 11:21:40 +01:00
Ian Lynagh
a6fce19b0c
Kotlin: Fix build with 2.1.0-Beta1
2024-09-25 15:23:35 +01:00
Ian Lynagh
5a03c35e9c
Kotlin: Add 2.1.0-Beta1
2024-09-25 15:23:34 +01:00
Ian Lynagh
f193084f9f
Kotlin: Add 2.1.0-Beta1 jars
2024-09-25 15:23:33 +01:00
Ian Lynagh
0be52f9660
Kotlin: Follow removal of sourceid column of the fields relation
2024-09-24 14:06:53 +01:00
Ian Lynagh
b1f5f9a5cd
Kotlin: Follow removal of typeVars.kind
2024-09-17 11:39:06 +01:00
Ian Lynagh
3a864d3de2
Merge pull request #17292 from igfoo/igfoo/open
...
Kotlin: Remove a redundant 'open'
2024-08-27 12:14:04 +01:00
Ian Lynagh
6a7d8b5301
Kotlin: Restrict some TrapWriter types to DiagnosticTrapWriter
...
We never use the greater generality, so this makes it easier to see
what's happening.
2024-08-23 15:41:21 +01:00
Ian Lynagh
7d500cf58c
Kotlin: Remove a redundant 'open'
2024-08-23 15:08:10 +01:00
Paolo Tranquilli
beba032ba5
Kotlin: fix wrapper on windows
2024-08-15 10:31:32 +02:00
Ian Lynagh
e4b9335ce0
Kotlin: Remove support for deprecated SOURCE_ARCHIVE and TRAP_FOLDER
2024-07-25 12:46:13 +01:00
Ian Lynagh
91dd99d7a6
Kotlin: Fixes for 2.0.20-Beta2
2024-07-16 15:07:34 +01:00
Ian Lynagh
06cc74f3aa
Kotlin: Switch from 2.0.20-Beta1 to -Beta2
2024-07-16 15:07:33 +01:00
Ian Lynagh
adaeb01906
Kotlin: Update deps to 2.0.20-Beta2
2024-07-16 15:07:33 +01:00
Ian Lynagh
64ebfc6297
Kotlin: Add 2.0.20-Beta1
2024-07-16 15:07:32 +01:00
Ian Lynagh
eb0bcdd9b2
Kotlin: Add 2.0.20-Beta1 deps
2024-07-16 15:07:32 +01:00
Ian Lynagh
311799c798
Merge pull request #16899 from igfoo/igfoo/semmle_dist
...
Java/Kotlin: Remove legacy $SEMMLE_DIST support
2024-07-11 12:48:53 +01:00
Paolo Tranquilli
a30e7d2cfd
Kotlin: add all .kotlin_* in dev to .gitignore
2024-07-08 13:18:56 +02:00
Paolo Tranquilli
002e1eb730
Kotlin: make wrapper cache downloaded zips
...
Also removed the version check step, as a version not existing will give
a 404 any way later on, and that was adding a delay.
The cache is stored in a `.kotlinc_zips` and will be cleaned up by
`--clear`.
2024-07-08 11:57:07 +02:00
Ian Lynagh
3260966e3b
Kotlin: Remove unused SEMMLE_DIST
2024-07-03 17:10:41 +01:00
Paolo Tranquilli
a52a412c24
Kotlin: exclude KotlinExtractorDbScheme.kt generated by hand
2024-06-26 09:05:09 +02:00
Ian Lynagh
079717bbc0
Merge pull request #16694 from igfoo/igfoo/PopulationSpecFile
...
Kotlin: Remove unused PopulationSpecFile
2024-06-14 15:06:39 +01:00
Paolo Tranquilli
0198806658
Merge branch 'main' into redsun82/kotlin
2024-06-13 16:29:13 +02:00
Paolo Tranquilli
183a825841
Kotlin: expose kotlin version picker for internal packaging
2024-06-12 09:29:57 +02:00
Paolo Tranquilli
90db894d01
Kotlin: remove obsolete scripts and reword comments
2024-06-11 08:52:26 +02:00
Ian Lynagh
97cb0c89c8
Kotlin: Remove unused PopulationSpecFile
2024-06-06 21:14:28 +01:00
Paolo Tranquilli
e4653a80d4
Kotlin: remove kapt wrapper, probably unneeded
2024-06-04 17:55:19 +02:00
Paolo Tranquilli
10584b3a7a
Kotlin: improve posix dev wrappers
2024-06-04 15:36:35 +02:00
Paolo Tranquilli
be5c82cb88
Kotlin: add other tools to dev wrapper
2024-06-04 15:11:59 +02:00
Paolo Tranquilli
c6039b345b
Kotlin: update default kotlinc version
2024-06-04 14:39:16 +02:00
Paolo Tranquilli
e7cec01a81
Kotlin: make current_kotlin_version.py executable
2024-06-04 14:31:59 +02:00
Paolo Tranquilli
4c91bdce48
Kotlin: tgt -> target
2024-06-04 14:27:33 +02:00
Paolo Tranquilli
6a9cb90a57
Kotlin: rework header comment
2024-06-04 14:21:58 +02:00
Paolo Tranquilli
99f70a64e9
Kotlin: address review comments
2024-06-04 09:00:35 +02:00
Paolo Tranquilli
d1a2c0fbe4
Merge branch 'main' into redsun82/kotlin
2024-06-04 08:48:52 +02:00
Ian Lynagh
2550e113a0
Kotlin: Set CI to use 2.0.0 release
2024-06-03 15:26:51 +01:00
Paolo Tranquilli
75709bf1ec
Merge branch 'main' into redsun82/kotlin
2024-05-16 15:55:08 +01:00
Ian Lynagh
b5d6bb9097
Kotlin: Remove unused var SEMMLE_PLATFORM_TOOLS
2024-05-09 15:59:47 +01:00
Ian Lynagh
cfc419b639
Kotlin: Remove unused ODASA_HOME variable
2024-05-09 15:59:47 +01:00
Ian Lynagh
304ad33837
Kotlin: Remove unused ODASA_TOOLS variable
2024-05-09 15:59:47 +01:00
Ian Lynagh
231918f612
Kotlin: Remove redundant variable ODASA_JAVA_LAYOUT
2024-05-09 15:59:47 +01:00
Paolo Tranquilli
e546560d7c
Kotlin: restore kotlin-compiler-embeddable-1.7.0.jar to the maven central version
2024-05-06 17:37:16 +02:00
Paolo Tranquilli
514e24ce62
Kotlin: bring back lazy LFS dependencies
...
This reverts commit d7ecaae245 .
Problems with lazy LFS rules were solved by
https://github.com/github/codeql/pull/16393 and
https://github.com/github/codeql/pull/16434 .
2024-05-06 17:31:50 +02:00