erik-krogh 8cb6598f50 fixing that I put a type on the wrong thing in the alert-message

2024-04-08 20:51:19 +02:00

..

Arithmetic

fixing that I put a type on the wrong thing in the alert-message

2024-04-08 20:51:19 +02:00

Cloning

Java: Remove some redundant string concatenations

2022-06-16 16:38:17 +01:00

Collections

Write-only container query: account for implicitly-initialised variables

2023-11-30 11:24:01 +00:00

Comparison

Restrict getCheckedType to unrestricted records, introduce getSyntacticCheckedType and use that where appropriate

2023-11-30 11:24:05 +00:00

Concurrency

Autoformat

2023-10-24 11:06:19 +01:00

Finalization

Java: Performance tweaks

2022-02-21 17:05:00 +00:00

Frameworks

Mass-rename MethodAccess -> MethodCall

2023-10-24 10:30:26 +01:00

I18N

Mass-rename MethodAccess -> MethodCall

2023-10-24 10:30:26 +01:00

Inheritance

Mass-rename MethodAccess -> MethodCall

2023-10-24 10:30:26 +01:00

Likely Typos

Exclude error types from contradictory-type-check query

2024-02-29 14:59:46 +00:00

Nullness

get a few more queries in sync with other languages

2022-10-01 11:17:48 +02:00

Reflection

Mass-rename MethodAccess -> MethodCall

2023-10-24 10:30:26 +01:00

Resource Leaks

Add aliases for public, importable renamed classes and predicates.

2023-10-24 10:54:35 +01:00

Serialization

Kotlin: Enable java/non-serializable-field for Kotlin

2022-11-30 17:58:43 +00:00

Statements

Java: Add a couple of Oxford commas

2024-03-27 15:07:58 +00:00

Termination

Mass rename L/RValue -> VarWrite/Read

2023-10-24 10:58:29 +01:00