Ian Lynagh
1efecc099c
Kotlin: Avoid infinite recursion when extracting recursive interfaces
2025-10-31 13:42:43 +00:00
Ian Lynagh
e589019e04
Kotlin: Use 2.2.20-Beta2 rather than 2.2.20-Beta1
2025-07-30 14:14:14 +01:00
Ian Lynagh
709c111522
Kotlin: Add getJvmModuleNameForDeserializedDescriptor wrapper
...
It has been removed in 2.2.20.
2025-07-23 12:51:12 +01:00
Chris Smowton
084222ec58
Inline version-specific override code where there is now only one version
2025-05-15 12:13:14 +01:00
Chris Smowton
79171a9232
Fold v_1_5_0 and v_1_5_20 files forwards into v_1_6_0, dropping any that are overridden
2025-05-15 11:39:26 +01:00
Chris Smowton
fecad025de
Fix handling of X/jvm-default intermediate modes such as 'compatibility', the new default as of 2.2.0
2025-05-13 18:10:21 +01:00
Chris Smowton
29d369f22f
Don't try to decode a class from a .java file
2025-05-13 14:42:12 +01:00
Chris Smowton
a36fc30d44
Fix build for Kotlin 2.2.0
2025-05-13 14:42:06 +01:00
Ian Lynagh
cec503eecd
Kotlin: Fix build with 2.1.20-Beta1
2025-01-20 14:31:58 +00:00
Ian Lynagh
dedb0cb11f
Kotlin: Support CODEQL_PATH_TRANSFORMER
2025-01-03 16:02:36 +00:00
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
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
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
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
3260966e3b
Kotlin: Remove unused SEMMLE_DIST
2024-07-03 17:10:41 +01:00
Ian Lynagh
97cb0c89c8
Kotlin: Remove unused PopulationSpecFile
2024-06-06 21:14:28 +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
239b6d8c8e
Merge branch 'main' into redsun82/kotlin
2024-05-06 17:24:53 +02:00
Ian Lynagh
676bcf39a5
Java: Remove support for deprecated ODASA_BUILD_ERROR_DIR env var
2024-04-29 18:02:28 +01:00
Paolo Tranquilli
bc89742979
Kotlin: fix space indentation in OdasaOutput.java
2024-04-12 10:50:02 +02:00
Paolo Tranquilli
fe35902222
Merge branch 'main' into redsun82/kotlin
2024-04-11 15:07:39 +02:00
Ian Lynagh
7ce7685b91
Kotlin: FirMetadataSource.File.files has been removed
...
In new versions, but not old versions, we want FirMetadataSource.File.fir
instead.
2024-04-11 11:58:59 +01:00
Ian Lynagh
1698ccff9a
Kotlin: Add 2.0.0-RC1 support (and remove 2.0.0-Beta4)
2024-04-11 11:58:59 +01:00
Paolo Tranquilli
c242466d31
Kotlin: first support for Kotlin extractor build
2024-04-03 16:30:57 +02:00
Ian Lynagh
33fe5abf94
Kotlin: Remove references to legacy ODASA_SNAPSHOT env var
2024-03-21 13:29:40 +00:00
Ian Lynagh
245ce2208e
Kotlin: Update to 2.0.0-Beta4
2024-02-22 12:33:00 +00:00
Ian Lynagh
48ea94ba23
Kotlin: Handle PsiSourceManager moving
2024-02-14 11:55:54 +00:00
Ian Lynagh
1b40b595fa
Kotlin: Handle forAllMethodsWithBody being removed
...
Per:
commit 28797a31b4d9b7f5c99d162ab19fc6b46f8e529d
Author: Alexander Udalov <alexander.udalov@jetbrains.com >
Date: Thu Feb 1 13:22:48 2024 +0100
JVM: refactor JvmDefaultMode, remove/rename some entries
[...]
- remove forAllMethodsWithBody because its behavior is now equivalent to
isEnabled
[...]
2024-02-14 11:55:54 +00:00
Ian Lynagh
68f267798e
Kotlin: Add support for path transformers
2024-02-01 18:07:47 +00:00
Ian Lynagh
79d9109850
Merge pull request #15428 from igfoo/igfoo/catch_illegal_arg
...
Kotlin: Catch/ignore a IllegalArgumentException exception
2024-01-29 11:27:38 +00:00
Ian Lynagh
76e417c23e
Merge pull request #14940 from igfoo/igfoo/comments
...
Kotlin 2: Comment improvements
2024-01-29 11:27:19 +00:00
Ian Lynagh
c0a9c11101
Kotlin: Catch/ignore a IllegalArgumentException exception
...
This works around
https://youtrack.jetbrains.com/issue/KT-63847/K2-IllegalStateException-IrFieldPublicSymbolImpl-for-java.time-Clock.OffsetClock.offset0-is-already-bound
2024-01-25 16:04:08 +00:00
Ian Lynagh
60a59cb89e
Kotlin: Update 2.0.0 version support
2024-01-19 17:52:38 +00:00
Ian Lynagh
5d3166cfef
Kotlin: Tweak code formatting
2024-01-10 16:39:49 +00:00
Ian Lynagh
80163c5aac
Kotlin 2: Just accept the remaining comment differences for now
2024-01-10 16:39:47 +00:00