Ian Lynagh
bb50bc0d85
Merge pull request #18075 from igfoo/igfoo/comp
...
KE2: Small refactoring
2024-11-22 15:34:28 +00:00
Ian Lynagh
37e950dcbf
Merge pull request #18076 from igfoo/igfoo/werror
...
KE2: Add warnings-as-error to build system, but commented out for now
2024-11-22 15:33:51 +00:00
Ian Lynagh
b816c1f396
Merge pull request #18077 from igfoo/igfoo/stmt
...
KE2: Reenable more code for ExprParent.stmt
2024-11-22 15:33:38 +00:00
Ian Lynagh
bafee5ec10
Merge pull request #18079 from igfoo/igfoo/dc
...
KE2: Remove some dead code
2024-11-22 15:33:20 +00:00
Ian Lynagh
b3dbd73741
KE2: Remove some dead code
2024-11-22 14:10:47 +00:00
Ian Lynagh
19986f0307
KE2: Reenable more code for ExprParent.stmt
2024-11-22 14:04:02 +00:00
Ian Lynagh
cb8237fe67
KE2: Add warnings-as-error to build system, but commented out for now
...
Once we get closer to completion, it will be useful to have this on.
2024-11-22 13:42:31 +00:00
Ian Lynagh
d280a41062
KE2: Small refactoring
...
Avoids shadowing `trapWriterWriteExpr`, and removes the need to check
for an impossible case.
2024-11-22 13:39:55 +00:00
Ian Lynagh
05fa3328f0
Merge pull request #18064 from igfoo/igfoo/ke2_lang_ver
...
KE2: Use the right language version
2024-11-22 11:41:32 +00:00
Ian Lynagh
6d990d47db
KE2: Use the right language version
...
With this, if I make the testsuite driver use 1.7, then the test code
sealed interface ReadResult
data class Number(val number: Int) : ReadResult
data class Text(val text: String) : ReadResult
data object EndOfFile : ReadResult
makes the extractor print
=== Diagnostics
--- Diagnostic:
WRONG_MODIFIER_TARGET
ERROR
Modifier 'data' is not applicable to 'standalone object'.
Location(startLine=5, startColumn=1, endLine=5, endColumn=4)
--- End diagnostics
2024-11-21 16:36:16 +00:00
Ian Lynagh
82c41316c6
KE2: Populate Kotlin type nullability and alias information
2024-11-21 16:00:01 +00:00
Ian Lynagh
7baeea6365
KE2: Use a more consistent TRAP label
2024-11-21 15:21:35 +00:00
Ian Lynagh
d17e3d521c
KE2: Start working on KtTypes
2024-11-21 15:21:34 +00:00
Ian Lynagh
eae40dbc03
KE2: Keep KE1 building with the kt-type changes
...
It won't work, but it'll still compile
2024-11-21 15:21:33 +00:00
Ian Lynagh
8fe48d6dce
Merge commit 'e3990b7d04db2ca3ac99c029a0afc131e695db0b' into ke2
...
That is the repo ql as at the internal repo's
git merge-base origin/rc/3.16 origin/main
2024-11-20 17:40:00 +00:00
Chris Smowton
e89e0f5c4a
Merge pull request #18027 from igfoo/igfoo/fixbuild
...
KE2: Fix build
2024-11-20 16:48:36 +00:00
Tamás Vajk
1dbf54e9e7
Merge pull request #18028 from tamasvajk/ke2-if
...
KE2: Extract `if` expressions/statements
2024-11-19 18:40:45 +01:00
Tamas Vajk
39aefb8d17
Fix code review finding
2024-11-19 18:06:35 +01:00
Tamas Vajk
28a5634615
KE2: Extract if expressions/statements
2024-11-19 13:57:18 +01:00
Ian Lynagh
e4a82888c0
KE2: Fix build
2024-11-19 11:56:55 +00:00
Ian Lynagh
147f6a10e7
Merge pull request #18016 from igfoo/igfoo/file_numbers
...
KE2: Use the right file numbers
2024-11-19 11:03:55 +00:00
Tamás Vajk
750b8239e7
Merge pull request #18006 from tamasvajk/ke2-parens
...
KE2: Extract parenthesized expressions
2024-11-19 11:23:39 +01:00
Tamas Vajk
ea54eab376
Add todo comment
2024-11-19 08:37:38 +01:00
Ian Lynagh
7bda00cb5b
KE2: Use the right file numbers
...
The thread that did the extraction could see the file number counter
after it had been incremented (possibly multiple times) by the main
thread. This fixes some consistency query failures in tests.
2024-11-18 18:37:56 +00:00
Paolo Tranquilli
5c1f413d44
Java: fix embedded kotlin extractor build
2024-11-18 17:47:24 +01:00
Tamas Vajk
9f3a0ca432
KE2: Extract parenthesized expressions
2024-11-18 13:41:05 +01:00
Owen Mansel-Chan
ba239a1be0
Add change note
2024-11-14 15:02:21 +00:00
Owen Mansel-Chan
bf0fba6c49
Refactor UnreachableBasicBlock to make it clearer
2024-11-14 14:53:12 +00:00
Owen Mansel-Chan
efb34aea45
Fix bug in UnreachableBlocks
2024-11-14 14:50:25 +00:00
Ian Lynagh
c2dfe0ef4a
Merge pull request #17978 from igfoo/igfoo/issafeaccess
...
KE2: Rename safeAccess to isSafeAccess
2024-11-14 11:28:23 +00:00
Tamás Vajk
c3324ee2f4
Merge pull request #17974 from tamasvajk/ke2-code-quality-01
...
KE2: Improve code quality in expression extraction
2024-11-14 08:36:11 +01:00
github-actions[bot]
788a88aaca
Add changed framework coverage reports
2024-11-14 00:20:18 +00:00
Chris Smowton
f12818a96d
Apply review comments
2024-11-13 15:15:09 +00:00
Chris Smowton
fdaa6c5b4b
KE2: implement basic usage of properties, variables and flexible types
2024-11-13 15:06:59 +00:00
Ian Lynagh
22096b1984
KE2: Rename safeAccess to isSafeAccess
...
To follow our standard naming convention.
2024-11-13 12:32:36 +00:00
Tamas Vajk
3ae58d072c
KE2: Improve code quality in expression extraction
2024-11-13 09:38:48 +01:00
Tamas Vajk
70658bcd52
Fix review findings
2024-11-12 15:58:42 +01:00
Tamas Vajk
14150ea78d
KE2: Extract compareTo calls for binary comparisons
2024-11-12 15:49:44 +01:00
Anders Schack-Mulligen
d7fbf68a59
Merge pull request #17597 from aschackmull/java/chararraywriter-tostring
...
Java: Add model for CharArrayWriter.toString().
2024-11-12 12:55:44 +01:00
Tamas Vajk
320905925b
KE2: Extract unary operators
2024-11-12 12:32:51 +01:00
Tamás Vajk
a9e45d8609
Merge pull request #17761 from tamasvajk/ke2-binary-ops
...
KE2: extract binary operators
2024-11-12 12:30:39 +01:00
Tamas Vajk
53460d7ca0
Add comment
2024-11-12 09:19:04 +01:00
Ian Lynagh
cfb269eba9
KE2: Remove erasure
2024-11-11 17:49:23 +00:00
Ian Lynagh
0249c49ce5
Java: Add up/downgrade scripts
2024-11-11 17:48:35 +00:00
Ian Lynagh
66be970b2e
Java/Kotlin: Remove the erasure relation
...
It's no longer used
2024-11-11 17:48:30 +00:00
Ian Lynagh
b8b0fcad67
Kotlin: Don't write the erasure relation
...
It's no longer used
2024-11-11 17:48:24 +00:00
Ian Lynagh
4aed952c7d
Java: Remove redundant getErasure overrides
...
The root definition covers these cases already
2024-11-11 17:48:17 +00:00
Michael Nebel
425b1b17d1
Merge pull request #17952 from michaelnebel/java/movemodels
...
Java: Move non-experimental models out of the experimental folder.
2024-11-11 15:28:53 +01:00
Chris Smowton
89a2f0dc00
Merge pull request #17890 from smowton/smowton/fix/kotlin-use-nulltype
...
Kotlin extractor: use special <nulltype> for null literals
2024-11-11 10:54:21 +00:00
Michael Nebel
404ca27aec
Java: Move non-experimental models out of the experimental folder.
2024-11-11 10:08:45 +01:00
