Commit Graph

4890 Commits

Author SHA1 Message Date
Clément Fournier
36d6896221 Merge branch '7.0.x' into pmd7-test-cleanups 2020-10-17 16:28:39 +02:00
Andreas Dangel
5290102b96 [java] Add doc pointers for GLB and LUB 2020-10-17 11:19:32 +02:00
Andreas Dangel
7d58181264 Merge branch 'pmd/7.0.x' into pr-2800 2020-10-15 15:06:00 +02:00
Andreas Dangel
ebc0dd16f2 Change rule ref to renamed rule (DoNotTerminateVM) 2020-10-15 15:04:49 +02:00
Clément Fournier
9fc24fd037 Merge branch 'master' into 7.0.x 2020-10-13 23:06:27 +02:00
Clément Fournier
e3804da978 Update and rename DoNotTerminateVM.java to DoNotTerminateVMTest.java 2020-10-13 23:04:43 +02:00
Clément Fournier
3cc4313654 Give up trying to prune incompatible types from LB
In the general case this is possible but complex,
I don't want to introduce that kind of complexity yet.

The complex case is when you have a diamond like

List<? extends Number> & Collection<Integer>

If we try to remove incompatible bounds, we have to
minimize aggressively to `List<Integer>` if we want
to preserve associativity properties. This looks simple
but in general requires finding the most specific type
arguments (comparing Collection<? extends Number> and
Collection<Integer>), then an inversion function that
maps this Collection<Integer> type back to List<Integer>.
In this case
`forall T. List<T> <:Collection<T>`
but there could be an arbitrary transform F st. Sub<X1..Xn> <: Sup<F(X1..Xn)>,
which must be inverted.

I don't think it's worth the effort for now. This kind
of inconsistencies may only be present in user-created
intersections anyway, or invalid programs
2020-10-13 22:52:46 +02:00
Andreas Dangel
1130ee45a7 Merge branch 'pr-2813' into master
[core] Use JUnit's TemporaryFolder rule #2813
2020-10-10 14:01:03 +02:00
Andreas Dangel
e76b0b6946 Merge branch 'pr-2803' into master
[java] Improve DoNotCallSystemExit (Fixes #2157) #2803
2020-10-10 13:07:05 +02:00
Andreas Dangel
1150e61ddd [java] Rename DoNotCallSystemExit -> DoNotTerminateVM 2020-10-10 13:05:58 +02:00
Andreas Dangel
907cf768c1 Merge branch 'master' into pmd/7.0.x 2020-10-09 11:24:59 +02:00
Clément Fournier
22baddaec7 Ignore nondeterministic tests
Refs #2819
2020-10-09 00:42:31 +02:00
Clément Fournier
d95144a7ba Cleanup build log
Remove some log statements that
were only used for debugging

There are still other things, like
"unresolved reference" warnings which
should be captured silently by the
test logger implementation, but we
can do that later
2020-10-08 23:54:22 +02:00
Clément Fournier
7849db4c0c Fix corner case with glb associativity
Discovered in this build:
https://travis-ci.org/github/pmd/pmd/jobs/733962075
2020-10-08 21:24:43 +02:00
Clément Fournier
e7fc1ca8c7 Merge branch '7.0.x' into reimplement-missing-override 2020-10-03 23:53:03 +02:00
Stefan Birkner
22db2fdebc Use JUnit's TemporaryFolder rule
Don't reinvent the wheel. TemporaryFolder already takes care of cleaning
up the created files.
2020-10-03 22:59:16 +02:00
Vitaly Polonetsky
095f96a966 Added tests to verify the fix for #2157 2020-10-02 00:09:31 -07:00
Stefan Birkner
6b23b13497 Move test config from file to test class
Keep it simple. The config file stored only a single line for years.
2020-09-30 22:48:43 +02:00
Clément Fournier
1089da7da2 Hide most methods of RuleTst
The supported API is now just the junit integration
2020-09-30 13:21:02 +02:00
Clément Fournier
f3d2591a80 Checkstyle 2020-09-28 20:37:30 +02:00
Clément Fournier
5c047b0e3e Fix java tests 2020-09-28 20:20:32 +02:00
Clément Fournier
020fa899d5 Fix tests 2020-09-28 20:12:04 +02:00
Clément Fournier
5c59de5d52 Checkout changes to test utils 2020-09-28 19:46:34 +02:00
Clément Fournier
0560245298 Refactor DefaultRVFactory 2020-09-28 19:32:54 +02:00
Andreas Dangel
97906950dd Merge branch 'master' into pmd/7.0.x 2020-09-26 10:43:36 +02:00
Andreas Dangel
aa245c6e1b [maven-release-plugin] prepare for next development iteration 2020-09-26 10:25:16 +02:00
Andreas Dangel
722f3ca997 [maven-release-plugin] prepare release pmd_releases/6.28.0 2020-09-26 10:25:05 +02:00
Vitaly Polonetsky
e8b95f1a21 Fixes #2157
System.exit() and its equivalents should be allowed in static main() methods, added check for Runtime.getRuntime().halt()
2020-09-25 09:42:51 -07:00
Clément Fournier
d3ca0319b3 Merge branch 'master' into issue-2755 2020-09-25 14:24:08 +02:00
Clément Fournier
06f95d5b92 Fix test instability because of incorrect normalization
Capture ids may be negative
2020-09-24 14:16:40 +02:00
Clément Fournier
4004919737 Remove one collector 2020-09-24 13:52:46 +02:00
Clément Fournier
7728c9c4f1 Remove duplicate override-eq routine 2020-09-24 13:34:39 +02:00
Clément Fournier
32d19f631f Doc 2020-09-24 13:34:39 +02:00
Clément Fournier
df7b997d4e Update MissingOverride
Also, fix 2 long standing issues
2020-09-24 13:34:39 +02:00
Andreas Dangel
70f1aec87b Merge branch 'pr-2794' into pmd/7.0.x
[java] Update UnusedAssignmentRule to PMD 7 grammar #2794
2020-09-24 12:27:56 +02:00
Clément Fournier
2f7d6d747a Merge branch '7.0.x' into java-sym-fixes 2020-09-22 14:54:15 +02:00
Clément Fournier
818349f622 Merge branch 'master' into 7.0.x 2020-09-21 22:40:17 +02:00
Andreas Dangel
f046268058 [java] CloseResource: add simple test case for var 2020-09-21 19:47:42 +02:00
Andreas Dangel
87890b852a [java] CloseResource: Fix test code 2020-09-21 19:39:24 +02:00
Clément Fournier
23c6c3700c Fix constant value crash on reference cycle 2020-09-19 16:12:34 +02:00
Clément Fournier
46cff92e45 Fix todo test 2020-09-18 18:48:17 +02:00
Clément Fournier
dc76ec93e0 Fix compil 2020-09-18 18:42:38 +02:00
Clément Fournier
0753e2452b Add test case for later 2020-09-18 18:04:21 +02:00
Clément Fournier
ddb0acb561 Fix call chains with side effects 2020-09-18 17:59:52 +02:00
Clément Fournier
7caaa6e666 Update UnusedAssignmentRule 2020-09-18 17:48:24 +02:00
Clément Fournier
0cc25f6747 Merge branch 'typeres-array-fixes' into java-sym-fixes 2020-09-18 17:35:15 +02:00
Clément Fournier
8c97300af8 Fix doc
Parameters were in the wrong order.
2020-09-18 04:04:35 +02:00
Clément Fournier
2093011913 Fix array & annot subtyping 2020-09-18 03:58:05 +02:00
Clément Fournier
7cbf14219a Fix some things about annotations 2020-09-18 03:14:36 +02:00
Clément Fournier
47ff7b1c8b Fix TypeTestUtil for arrays 2020-09-18 03:14:08 +02:00