 peter
|
1500c8e404
|
dfa: merge states differing in one variable nullability
|
2013-09-29 11:30:30 +02:00 |
|
|
peter
|
c4cb6bbb73
|
dfa: when merging states by instanceof, don't forget null equivalence
|
2013-09-28 15:01:52 +02:00 |
|
|
peter
|
08b715b836
|
IDEA-113710 Complete Current Statement broken for generic methods
|
2013-09-28 15:01:51 +02:00 |
|
|
peter
|
6b0b1bc5da
|
unknown variables should not be nullable-enabled after instanceof
|
2013-09-28 15:01:51 +02:00 |
|
|
peter
|
b370bc5b85
|
dfa: don't forget variable instanceof info when merging states
|
2013-09-27 13:00:16 +02:00 |
|
|
peter
|
667c800b51
|
dfa: fix subroutine offsets when leaving finally via exception route
|
2013-09-27 11:41:57 +02:00 |
|
|
peter
|
12ef8082a1
|
fighting too complex methods: merge states which differ only in unknown variables
|
2013-09-26 23:33:22 +02:00 |
|
|
peter
|
420b4d4542
|
fighting too complex methods: merge states with complementing instanceof
|
2013-09-26 21:34:46 +02:00 |
|
|
peter
|
dea8248bfe
|
dfa: if a variable is not nullable-enabled, don't make it such
|
2013-09-26 21:34:46 +02:00 |
|
 anna
|
2ea47e35b1
|
new inference: move test
|
2013-09-26 19:16:12 +02:00 |
|
|
peter
|
a0fb6a5a63
|
let IsNullCheck mean null->true, the former !null->false meaning was useless
|
2013-09-25 18:42:12 +02:00 |
|
|
anna
|
264025422d
|
test data fixed
|
2013-09-25 18:32:29 +02:00 |
|
|
anna
|
f5257087e9
|
new inference: overload resolution for SAM return type for implicit lambda should be ignored
|
2013-09-25 16:12:44 +02:00 |
|
|
anna
|
8913712ee6
|
parameter popup: escape for annotation methods (IDEA-113971)
|
2013-09-25 11:08:46 +02:00 |
|
|
anna
|
27b76b477a
|
inplace introducer: another case to restore expression (IDEA-113352)
|
2013-09-24 19:53:47 +02:00 |
|
|
peter
|
ed08eabfbe
|
immutable EqClass
|
2013-09-24 10:59:40 +02:00 |
|
|
Anna Kozlova
|
e78ab513a5
|
lambda: check formal params for equality, eliminate wildcards during inference according to 15.27.3
|
2013-09-23 19:50:41 +04:00 |
|
|
peter
|
e8dbc2135e
|
immutable DfaVariableState, for faster copying and less memory usage
|
2013-09-23 16:30:25 +02:00 |
|
|
peter
|
2486e9e229
|
dfa: merge several states to account for variables with several possible values
|
2013-09-22 09:58:42 +02:00 |
|
|
peter
|
f5d03c41ca
|
dfa: don't consider final getters same as immutable fields
|
2013-09-21 09:43:06 +02:00 |
|
|
peter
|
fea88718d0
|
dfa: fighting too complex methods; join complementary memory states after fork to avoid having too many states
|
2013-09-21 00:00:03 +02:00 |
|
|
Anna Kozlova
|
f415702127
|
new inference: default constructor as poly expression argument
|
2013-09-20 20:36:37 +04:00 |
|
|
Anna Kozlova
|
ee56497e3d
|
new inference: symmetric variable bounds
|
2013-09-20 20:36:36 +04:00 |
|
|
Anna Kozlova
|
4a46b24bcb
|
new inference: init inter call inference
|
2013-09-20 20:36:35 +04:00 |
|
|
Anna Kozlova
|
935cdbaf3b
|
new inference: initial tests
|
2013-09-20 12:11:57 +04:00 |
|
|
peter
|
d6086aed93
|
dfa: types with wildcard parameters are not equal
|
2013-09-19 19:10:53 +02:00 |
|
|
peter
|
b016c04ab0
|
correct ephemeral state copy (IDEA-113143 Calling method with contract shouldn't result in nullability suspicion)
|
2013-09-19 18:56:52 +02:00 |
|
|
peter
|
340cf22371
|
Calling method with contract shouldn't result in nullability suspicion (IDEA-113763, IDEA-113699, almost IDEA-113143)
|
2013-09-19 18:32:08 +02:00 |
|
|
peter
|
709af867c6
|
dfa: expand contract test
|
2013-09-19 18:32:08 +02:00 |
|
|
peter
|
b901d90b37
|
IDEA-96713 Incorrect options shown for 'implements'
|
2013-09-19 11:17:20 +02:00 |
|
|
peter
|
85ca653ed0
|
do we have java.applet in mockjdk now?
|
2013-09-18 20:40:51 +02:00 |
|
|
peter
|
077e89f136
|
IDEA-98656 Java doc not generated when an other Java doc has been commented after.
|
2013-09-18 17:28:05 +04:00 |
|
 Bas Leijdekkers
|
bdd7827921
|
IDEA-98275 (Inspection "Unused assignment" does not work with the += operator)
|
2013-09-17 23:05:09 +02:00 |
|
|
peter
|
88df6b0e2b
|
fix dfa false positive in JSTypeofTypeImpl
|
2013-09-17 17:49:57 +04:00 |
|
|
peter
|
c5fbb2e891
|
dfa: fix wrong instanceof detection when using several incarnations of the same generic field with different substitutors
|
2013-09-16 14:07:13 +04:00 |
|
 Roman Shevchenko
|
20150830af
|
java: highlighting for statics in anonymous classes
|
2013-09-16 13:02:14 +04:00 |
|
|
Roman Shevchenko
|
2c8eb0da10
|
Cleanup (formatting)
|
2013-09-16 13:02:13 +04:00 |
|
|
peter
|
0f1494e02a
|
dfa: don't multiply eq classes until really needed
|
2013-09-15 22:48:34 +04:00 |
|
|
Bas Leijdekkers
|
e16694eabf
|
IDEA-63698 (Inconvertible type (assign double to Integer) not highlighted as error)
|
2013-09-14 22:13:13 +02:00 |
|
|
peter
|
0200babeca
|
DfaMemoryState is unfortunately mutable; use defensive copying
|
2013-09-14 23:53:54 +04:00 |
|
|
peter
|
9408a08fd9
|
fix file case
|
2013-09-13 18:20:15 +04:00 |
|
|
peter
|
6af48bbd0a
|
dfa: fix & treatment
|
2013-09-12 22:15:05 +04:00 |
|
 Mike Strobel
|
fbc3d18f9e
|
IDEA-111450 false positive for "Redundant type cast" inspection
|
2013-09-12 21:43:10 +04:00 |
|
|
Bas Leijdekkers
|
8d7f95a137
|
IDEA-26350 (Bad Java code is green: variable might not have been initialized)
|
2013-09-11 16:18:45 +02:00 |
|
|
peter
|
c608b039e5
|
dfa: use human numeration, not programmers' one
|
2013-09-11 14:00:09 +02:00 |
|
|
Bas Leijdekkers
|
ba3c923024
|
IDEA-93530 (bad code green: cannot assign a value to final variable)
|
2013-09-10 23:09:52 +02:00 |
|
|
Bas Leijdekkers
|
816cc8a140
|
IDEA-93515 (Good code red: variable might not have been initialized)
|
2013-09-10 20:08:37 +02:00 |
|
|
Anna Kozlova
|
4cae15713b
|
more specific: lambda extended initial fix (IDEA-113357)
|
2013-09-09 21:42:47 +04:00 |
|
|
Bas Leijdekkers
|
2fa6ff6b69
|
test for IDEA-53184
|
2013-09-09 17:10:59 +02:00 |
|
|
Anna Kozlova
|
286cdc3bae
|
anonym -> lambda: unique param names (IDEA-113338)
|
2013-09-09 13:03:19 +04:00 |
|