Commit Graph
100 Commits
Author SHA1 Message Date
Clément Fournier bf388d7fd0 Propagate unknown type better when mref is unresolved 2024-11-14 17:39:31 +01:00
Clément Fournier 2df68ed168 Disable type inf logging by default 2024-11-14 16:32:09 +01:00
Clément Fournier 04dfb782f0 Merge branch 'typeres-fix-inference-issue' 2024-11-14 16:14:50 +01:00
Clément Fournier a79d3e6557 Add unit tests 2024-11-14 16:13:30 +01:00
Clément Fournier 529693c916 [java] fix inference dependency issue
Reported in #5324

I improved the verbose logging output a bit so
some of the changes are not directly relevant.
2024-11-13 22:39:34 +01:00
Clément Fournier b724b4dd33 Fix DataflowPassTest 2024-10-07 18:18:32 +02:00
Clément Fournier 2c1a7f026e Fix NPE with empty pattern list 2024-10-07 16:51:50 +02:00
Clément Fournier 9ecc8897be Fix #5190 - NPE caused by null type 2024-09-04 13:39:41 +02:00
Clément Fournier 68820a4c77 Fix #5046 - FPs in LocalVariableCouldBeFinal
This adds FNs to UnusedAssignment
2024-09-03 11:35:33 +02:00
Clément Fournier 9d925b513d Add test case for #5190 2024-09-03 11:16:56 +02:00
Clément Fournier fe341cf400 Cleanup things with implicit classes 2024-09-01 21:35:50 +02:00
Clément Fournier 672fd635c9 Improve error handling of semantic exceptions 2024-08-28 13:23:43 +02:00
Clément Fournier 9c0c7f28e2 Throw typeres failures instead of catching them
They will be surfaced as processing errors
2024-08-26 13:21:41 +02:00
Clément Fournier d7a15d1854 Report typeres errors more transparently 2024-08-25 19:46:01 +02:00
Clément Fournier 08b68d7dd0 Fix #5084 - crash in LUB with raw types 2024-08-25 19:28:16 +02:00
Clément Fournier d6736903f0 Fix #5162 SingularField FP with synchronized block 2024-08-25 00:46:45 +02:00
Clément Fournier da864aeccd Fix #5167 - issue with type projection 2024-08-24 16:48:37 +02:00
Clément Fournier 43112078a5 Fix issue #5145 - problem with inference of conditional exprs
Also finally fixes the bug that we swept under the rug in 24c1093b.
2024-08-23 18:23:43 +02:00
Clément Fournier 2ccb39aaba Add tests for record reflection, change API
Record components can be annotated separately
from their corresponding field/method, so I add
a new type for that
2024-06-05 16:58:39 +02:00
Clément Fournier 48512a43f6 Fix #5047 - type inference with enum 2024-06-05 12:41:05 +02:00
Clément Fournier 9bd6540055 Lint 2024-06-05 12:21:33 +02:00
Clément Fournier 16346bbd63 Support properly generic records
TODO test
2024-06-05 12:17:12 +02:00
Clément Fournier 209fc13462 support TreeSet/Map 2024-06-05 11:17:57 +02:00
Clément Fournier 5170a81f79 Merge branch 'master' into issue577-new-rule-use-enum-collections 2024-06-05 11:12:55 +02:00
Clément Fournier 50562185d1 Implement record patterns and fix switch pattern scoping 2024-06-03 16:24:41 +02:00
Clément Fournier 4ea0c07162 Fix pmd warning 2024-05-23 21:17:17 +02:00
Clément Fournier edb733f835 Add test for UnnecessaryCast 2024-05-23 21:10:58 +02:00
Clément Fournier 1bde246b8b Fix some FNs 2024-05-23 21:07:27 +02:00
Clément Fournier f1fc7aacbe Merge branch 'master' into issue4903-unnecessaryboxing 2024-05-23 20:15:47 +02:00
Clément Fournier 05e7724185 [java] Add new rule UseEnumCollections 2024-05-23 19:32:16 +02:00
Clément Fournier 5b24bbea87 Fix #5029 - infinite recursion in TypeOps::projectUpwards 2024-05-22 17:00:25 +02:00
Clément Fournier bbec7fd3a2 Add test for #4990
Ref #4946
2024-05-21 16:43:18 +02:00
Clément Fournier 6be50ec235 Merge branch 'master' into issue4990-package-qualifier-attribute 2024-05-21 16:10:34 +02:00
Clément Fournier 85c4f0f9ce Merge branch 'master' into kotest-fixes 2024-05-21 15:58:20 +02:00
Clément Fournier 762181d715 Merge branch 'pr/5020'
Ref #5020
2024-05-21 15:55:50 +02:00
Clément Fournier d005ed197f Update release notes, ref #5020 2024-05-21 15:52:31 +02:00
Clément Fournier a754bea5cf Merge branch 'master' into pr/5020 2024-05-21 15:47:28 +02:00
Clément Fournier 8b50584af4 Add some tests 2024-05-21 15:46:56 +02:00
Clément Fournier f1ac913a8b Update test references, add tests 2024-05-17 13:29:36 +02:00
Clément Fournier 04214b43ca Improve treatment of lambdas 2024-05-17 12:47:45 +02:00
Clément Fournier 419ff13fe7 Add new tests 2024-05-16 18:04:01 +02:00
Clément Fournier b640194f76 Fix FN with ternary 2024-05-16 16:38:13 +02:00
Clément Fournier bd24b185ea Fix another FN with numeric contexts 2024-05-16 15:44:46 +02:00
Clément Fournier 798b2c31a1 Fix FN 2024-05-16 15:29:17 +02:00
Clément Fournier 4213083554 Remove redundant interface declarations in pmd-java
Related to #4885
2024-05-16 14:20:04 +02:00
Clément Fournier ed18c9d746 Fix PMD warning 2024-05-16 13:52:29 +02:00
Clément Fournier eb17c9aab7 Fix many problems with UnnecessaryBoxing 2024-05-15 21:49:35 +02:00
Clément Fournier 4cfe90cfdc Cleanup symtable factory 2024-05-15 09:36:39 +02:00
Clément Fournier 7341e3c880 Add version check 2024-05-15 09:19:33 +02:00
Clément Fournier 3ec3903425 Fix javadoc error 2024-05-14 22:50:22 +02:00
Clément Fournier 625fb36b14 Fix #4924 - UnnecessaryBoxing FP in lambda
Change a bit the behavior for some test cases.
Previously the rule reported necessary boxing
that could be simplified another way, but that
is an edge case and not worth complexifying
the rule
2024-05-14 22:45:22 +02:00
Clément Fournier fc24eced58 Fix #4903 - UnnecessaryBoxing where explicit conversion is necessary 2024-05-14 12:36:03 +02:00
Clément Fournier 8f23cbb556 Update release notes 2024-05-13 17:25:43 +02:00
Clément Fournier 228a1f5017 [java] Fix #2368 - UnsynchronizedStaticFormatter FP in static initializer 2024-05-13 17:25:31 +02:00
Clément Fournier f1701df7f2 Revert previous two commits - pushed by mistake 2024-05-13 17:22:05 +02:00
Clément Fournier 11743a49fa Update release notes 2024-05-13 17:19:39 +02:00
Clément Fournier a80897fc71 [java] Fix #2326 - UnsynchronizedStaticFormatter FP in static initializer 2024-05-13 17:18:11 +02:00
Clément Fournier 38194a49f7 Fix #4042 - FN with StringBufferInstantiationWithChar 2024-05-13 16:54:08 +02:00
Clément Fournier b6c0a10095 [java] Fix #5006 - bad intersection in capture of recursive types 2024-05-12 15:32:03 +02:00
Clément Fournier ffc71e83a2 Don"t add publicly supported API 2024-05-11 23:15:31 +02:00
Clément Fournier 2e9aa06273 Fix API compatibility
PLSQLParserImpl is public which shouldnt be
2024-05-11 23:13:12 +02:00
Clément Fournier 7484186771 Merge branch 'master' into issue4396-cpd-case-sensitive 2024-05-11 23:07:52 +02:00
Clément Fournier 7f0d148a1b Fix FPs 2024-05-11 23:06:30 +02:00
Clément Fournier ff6f528647 Add tests 2024-05-11 16:14:34 +02:00
Clément Fournier 98d455af45 Update references 2024-05-11 16:13:13 +02:00
Clément Fournier cc17469f4e Fix #4990 - Add attribute @PackageQualifier to ASTClassType 2024-05-11 16:10:37 +02:00
Clément Fournier 40c7ffe03e Update reference files 2024-05-11 16:01:38 +02:00
Clément Fournier 690ff9d6e4 Add tests 2024-05-11 15:56:49 +02:00
Clément Fournier dab89d4806 Don"t add unnamed variables to symtable 2024-05-11 15:47:08 +02:00
Clément Fournier f1b2cda3dc Make variable naming conventions skip unnamed variables
Fix #4954
2024-05-11 15:36:35 +02:00
Clément Fournier c140acd8f9 Fix #3122 - LocalVariableCouldBeFinal should consider blank local variables 2024-05-11 15:30:23 +02:00
Clément Fournier 02cb5701fa Fix #1619 - LocalVariableCouldBeFinal FP with loops 2024-05-11 14:55:14 +02:00
Clément Fournier e5f55c08a5 Add test case for #1160 2024-05-10 20:30:59 +02:00
Clément Fournier 83b28f3f68 Merge branch 'pr/4969'
Ref #4969
2024-05-07 15:09:52 +02:00
Clément Fournier e43312789f Merge branch 'master' into pr/4969 2024-05-07 15:09:24 +02:00
Clément Fournier 3d4f165bbd Add back removed method for compatibility 2024-05-06 12:41:08 +02:00
Clément Fournier a72f851514 Invert booleans 2024-05-06 12:34:38 +02:00
Clément Fournier 62cc3b1349 fix release notes 2024-05-06 12:30:58 +02:00
Clément Fournier 788b07ba14 Move methods in order to avoid carrying around the pure parameter which is error-prone 2024-05-06 12:23:11 +02:00
Clément Fournier b2a1ef714f Fix PMD warning 2024-05-06 12:03:38 +02:00
Clément Fournier b1aaf5d69b Fix conc mod exceptions during incorporation 2024-05-02 10:22:19 -03:00
Clément Fournier 3c39aed55e Fix #4985 UnusedPrivateMethod fp 2024-04-30 17:53:03 +02:00
Clément Fournier e327a548a4 Fix impl of ASTVariableId::isResourceDeclaration 2024-04-30 16:27:26 +02:00
Clément Fournier bca5c0ec09 Remove usages of getStableName
Fix #4930
Fix bug with symbol table in concise resources
2024-04-30 15:26:16 +02:00
Clément Fournier 6c0e736001 Update reference files 2024-04-30 14:45:11 +02:00
Clément Fournier dbfabda735 Merge branch 'master' into issue4912-java-grammar-fix 2024-04-30 14:41:44 +02:00
Clément Fournier 8c708b2193 Check upper bound compatibility during incorporation 2024-04-29 16:00:04 -03:00
Clément Fournier d773088661 Split unit test 2024-04-29 19:00:46 +02:00
Clément Fournier 676767c34a Use typeIsExactly for ReplaceVectorWithList 2024-04-29 14:45:08 +02:00
Clément Fournier e2b666210b [java] Fix #4852 - TypeTestUtil.isA considers intersection type subtype of everything 2024-04-29 14:40:44 +02:00
Clément Fournier 4c96e678af Add test for document fix 2024-04-29 12:46:25 +02:00
Clément Fournier fb17f7ff9a Add test 2024-04-29 12:46:25 +02:00
Clément Fournier e81449db4a fixes 2024-04-29 12:46:24 +02:00
Clément Fournier b70521874a Fix failing tests 2024-04-28 20:10:22 +02:00
Clément Fournier 9a25d90c76 Put back old implementation in place 2024-04-28 18:23:57 +02:00
Clément Fournier beac8ab3ac Merge branch 'master' into cpd-java-no-parse 2024-04-25 11:07:29 +02:00
Clément Fournier af97136018 [java] Stop parsing Java for CPD
Ref #4958
2024-04-23 19:10:41 +02:00
Clément Fournier 59bda4cc99 Merge branch 'pr/4967'
Ref #4967
2024-04-23 10:31:34 +02:00
Clément Fournier 3765e45502 Merge branch 'master' into pr/4967 2024-04-23 10:31:25 +02:00
Clément Fournier 75e50df94a Make @Image have old behavior, remove KEYWORD_UNRESERVED from tree 2024-04-21 22:55:09 +02:00