Anna Kozlova
b2a07e2eee
lambda: stop at method if it's located inside lambda (IDEA-131087)
...
(cherry picked from commit 890ffa719208e467b1ba238d248dbbf102c71b76)
2014-10-13 19:33:05 +02:00
Anna Kozlova
99f55229dc
lambda -> meth ref: fix this qualifier in case of inheritance
...
(cherry picked from commit 5273314961f0fbf32c18ea3d602410c635caf03f)
2014-10-13 19:24:13 +02:00
Anna Kozlova
0438d80f4f
rename: do not delete containing directory during move/rename (IDEA-130992)
...
(cherry picked from commit 77712e308bb0edd5b164b4c95c2ad4c8a6a30648)
2014-10-13 19:20:54 +02:00
Anna Kozlova
edd271b71a
testdata for IDEA-130920
2014-10-08 14:06:00 +02:00
Alexey Kudravtsev
fc68d2a0d6
IDEA-130782 make RemoveUnusedVariableUtil#checkSideEffects Contract(pure) aware
2014-10-08 15:01:58 +04:00
Anna Kozlova
d78b3d6a7b
IDEA-130928 "Quick Documentation" eliminates comma for field
2014-10-07 18:25:04 +02:00
Anna Kozlova
bcdb87573e
new inference: do not cache control flow during conflict resolution (IDEA-130226)
2014-10-07 18:25:03 +02:00
Anna Kozlova
02c3e4395d
testdata for IDEA-127767
2014-10-07 18:25:02 +02:00
Dmitry Batrak
444dce0373
a fix for completion from non-primary caret (IDEA-123396)
2014-10-07 17:45:41 +04:00
Anna Kozlova
39154531ec
unchecked warning: do not traverse through lambda bounds (IDEA-130810)
2014-10-06 10:39:43 +02:00
peter
544385ce69
IDEA-130745 Incorrect auto cast after completion
...
* when merging dfa states, check that they're really equal after stripping complementary facts (there might be additional info in subclasses)
* merge in separate groups in one go
2014-10-04 09:55:23 +02:00
peter
abc7c3eace
IDEA-117626 good code yellow: variable modification inside 'try' clause
...
* maintain separate $exception$ variables to avoid nested try-s clash
2014-10-01 20:09:12 +02:00
peter
be5e2c5a5a
contract checker: relax fail result validation to accept every call as a potential hazard, and don't continue with dfa
2014-10-01 20:09:11 +02:00
peter
eb332c2127
IDEA-130652 Check contract return type against method signature
2014-10-01 20:09:10 +02:00
Anna Kozlova
71e60700a2
api usage inspection: warn if old interface method was made default and class doesn't override it
2014-10-01 18:15:06 +02:00
Ilya Klyuchnikov
582239346e
bytecode analysis: no inference of "true|false->..." contracts
2014-10-01 17:50:41 +04:00
Anna Kozlova
892fe777b0
testdata for IDEA-130547
2014-09-30 19:18:49 +02:00
Anna Kozlova
e6483ac10c
testdata for IDEA-130549
2014-09-30 19:18:48 +02:00
Anna Kozlova
153e90ca1b
prefer methods from interfaces over Object (IDEA-130026)
2014-09-30 19:18:46 +02:00
Anna Kozlova
9f72b14b9c
lambda -> method reference: ambiguity prevented (IDEA-130126)
2014-09-30 19:18:44 +02:00
peter
b0a7ab05aa
contract checker: relax fail result validation to accept every call as a potential hazard
2014-09-30 17:23:49 +02:00
Anna Kozlova
3f940f370f
reference to static method from interface: prefer static import context if provided (IDEA-130136)
2014-09-30 15:47:29 +02:00
Anna Kozlova
30b12e3e25
new inference: same parametrization check tweaked (IDEA-130519)
2014-09-30 15:47:28 +02:00
Anna Kozlova
75f1f14e8c
anonymous type methods: remove too much intelligence (IDEA-130498)
2014-09-30 11:02:23 +02:00
Anna Kozlova
1df6fba2bb
testdata for IDEA-130129
2014-09-29 16:09:18 +02:00
Anna Kozlova
aedcba169d
do not drill inside lambda body during return statement search (IDEA-130123)
2014-09-29 14:08:36 +02:00
Anna Kozlova
d34eaa9ad2
shorten qualified names in change signature return type (IDEA-130277)
2014-09-29 14:08:35 +02:00
Anna Kozlova
7be506a901
do not crash on invalid lambdas/method refs (IDEA-130240)
2014-09-29 14:08:34 +02:00
Roman Shevchenko
1b1d58ce33
java: ensure PSI/document compatibility for decompiled .class files
2014-09-26 18:00:30 +02:00
peter
30beb70ce4
honor super method contracts
2014-09-25 16:34:51 +02:00
peter
853f21d9b1
dfa: flush variables immediately when they're not used anymore to reduce the number of different memory states
2014-09-25 16:34:50 +02:00
Ilya Klyuchnikov
e0f6567a5d
bytecode analysis: test data delta
...
IDEA-129645
2014-09-25 17:01:49 +04:00
Rustam Vishnyakov
cae66e0fb3
Detectable indent options provider implementation
2014-09-25 12:03:20 +04:00
peter
a209cc9b20
JavaDocInfoGeneratorTest.testClickableFieldReference: update test expectations
2014-09-24 16:51:13 +02:00
Rustam Vishnyakov
ec603b4814
File indent options provider API: a flag to skip a provider on full reformat, logging
2014-09-24 11:45:44 +04:00
peter
66e2d53805
dfa: don't forget facts coming from boxed booleans after they're flushed
2014-09-23 18:42:57 +02:00
Alexey Kudravtsev
a03297df6b
do not highlight method unused if referenced via overridden
2014-09-23 16:00:58 +04:00
Eugene Zhuravlev
f7e78891bb
make rules fix: method overriding is not applicable to constructors
2014-09-22 19:58:01 +02:00
peter
12553cb3de
IDEA-130111 "Constant conditions & exceptions" inspection: false positive for possible NPE
2014-09-22 12:44:45 +02:00
peter
b578571fb7
dfa too complex tests: ensure variables are alive all the time
2014-09-21 14:05:50 +02:00
Rustam Vishnyakov
3fb1e5d778
File indent options provider API
2014-09-18 18:30:53 +04:00
Roman Shevchenko
0deba4ca4c
Cleanup (backup files dropped)
2014-09-18 17:57:15 +04:00
Anna Kozlova
38087e7f3b
do not erasure methods from non generics super types of raw types (IDEA-129646)
2014-09-18 15:02:23 +04:00
Anna Kozlova
3e13cddf2b
lambda -> method reference: exclude receiver/non-receiver ambiguity (IDEA-129924)
2014-09-17 20:45:43 +04:00
Anna Kozlova
f1b12f6025
method refs: correct condition on receiver type substitution (IDEA-129905)
2014-09-16 20:11:42 +04:00
peter
70b03fb0f0
correct bytecode analysis test data
2014-09-16 17:34:57 +02:00
peter
7e061f5eef
consider non-annotated method parameters also nullable in paranoid dfa mode (IDEA-129898)
2014-09-16 15:10:50 +02:00
Anna Kozlova
5e79028c99
new inference: checked exceptions inference, ensure throws bound are marked as such
2014-09-16 16:04:04 +04:00
peter
984af0337e
allow dfa inspection to treat all non-annotated members as nullable (IDEA-129898)
2014-09-16 13:50:45 +02:00
peter
e2ee62224c
display hardcoded contracts on the gutter
2014-09-16 13:50:45 +02:00