 peter
|
141f3f059c
|
contract inference: support type casts
|
2014-09-24 14:19:53 +02:00 |
|
|
peter
|
56f6a73de7
|
purity inference: take into account constructor calls
|
2014-09-24 14:19:52 +02:00 |
|
|
peter
|
b315ca0ed5
|
don't infer contracts for library source (getOriginalElement doesn't work well for anonymous classes)
|
2014-09-24 11:57:38 +02:00 |
|
|
peter
|
93283c8255
|
System.exit is not pure
|
2014-09-24 11:57:38 +02:00 |
|
|
peter
|
f8827da0ff
|
show comma between external/inferred annotation attributes on the gutter
|
2014-09-24 11:42:45 +02:00 |
|
|
peter
|
9d57b07c32
|
dfa: perform expensive state merge only after method calls that have chances to produce mergeable states, i.e. have contracts
|
2014-09-24 11:19:10 +02: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
|
e9c1a15ee7
|
stress tests crash with PCE
|
2014-09-23 19:01:27 +04:00 |
|
|
Alexey Kudravtsev
|
a03297df6b
|
do not highlight method unused if referenced via overridden
|
2014-09-23 16:00:58 +04:00 |
|
|
peter
|
12553cb3de
|
IDEA-130111 "Constant conditions & exceptions" inspection: false positive for possible NPE
|
2014-09-22 12:44:45 +02:00 |
|
|
peter
|
db95c2203d
|
add hardcoded contracts for spring's Assert.notNull (IDEA-130145)
|
2014-09-22 12:44:45 +02:00 |
|
 Bas Leijdekkers
|
05cc19b7fa
|
remove fault @NotNull annotation
|
2014-09-22 11:50:21 +02:00 |
|
|
peter
|
a8e3f571c2
|
cache costly dfa analysis results for dataflow to this
|
2014-09-21 14:05:51 +02:00 |
|
|
peter
|
5bd3b58cd5
|
twice as less instances of DfaTypeValue
|
2014-09-21 14:05:50 +02:00 |
|
|
peter
|
1625b70c40
|
dfa: avoid reflective array creation
|
2014-09-21 14:05:50 +02:00 |
|
|
Alexey Kudravtsev
|
a56e9cf71d
|
number of moves to make processElementUsages() available in java-analysis
|
2014-09-21 14:22:16 +04:00 |
|
|
Alexey Kudravtsev
|
7d8fca018b
|
moved to analysis
|
2014-09-21 14:22:13 +04:00 |
|
|
peter
|
219258fb8c
|
dfa: revert accidentally committed changes
|
2014-09-19 11:33:14 +02:00 |
|
|
peter
|
dab0ab9f8f
|
DfaVariableState: cache hashCode
|
2014-09-19 11:30:05 +02:00 |
|
|
peter
|
0eeb1e65fb
|
DfaVariableState: avoid superfluous instanceof facts
|
2014-09-19 11:30:04 +02:00 |
|
 Anna Kozlova
|
e49a3a28f8
|
EA-60452 - assert: AnonymousCanBeLambdaInspection.hasForbiddenRefsInsideBody
|
2014-09-17 20:50:37 +04:00 |
|
|
Anna Kozlova
|
3e13cddf2b
|
lambda -> method reference: exclude receiver/non-receiver ambiguity (IDEA-129924)
|
2014-09-17 20:45:43 +04:00 |
|
|
peter
|
118cb9f6cd
|
add hardcoded contracts for apache Validate.notNull
|
2014-09-16 15:18:55 +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 |
|
|
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 |
|
|
peter
|
a466800fd4
|
add a hardcoded contract for Objects.requireNonNull
|
2014-09-16 13:50:44 +02:00 |
|
|
peter
|
1255df72f2
|
don't infer purity for constructors
|
2014-09-16 13:50:44 +02:00 |
|
|
Alexey Kudravtsev
|
ec689734b6
|
more logging in tests
|
2014-09-16 15:27:22 +04:00 |
|
|
peter
|
8a71cfc404
|
don't blink with pure contract on gutter when starting to write a method
|
2014-09-15 14:49:58 +02:00 |
|
|
peter
|
2c20268f48
|
IDEA-129829 Good code is red: @TypeQualifierDefault and method overriding
|
2014-09-15 14:49:57 +02:00 |
|
|
peter
|
2c8b544248
|
NullableStuffInspection: don't serialize new fields with default values
|
2014-09-15 14:49:57 +02:00 |
|
|
peter
|
6a8383b12b
|
IDEA-114891 Adding @NotNull annotation in overridden method incompatible with Eclipse
|
2014-09-15 14:49:56 +02:00 |
|
|
peter
|
2781f30195
|
allow to ignore external super parameter annotations in nullable stuff inspection (IDEA-114892)
|
2014-09-15 14:49:56 +02:00 |
|
|
peter
|
08374746b5
|
a simple purity contract inference (IDEA-128879)
|
2014-09-13 20:53:51 +02:00 |
|
|
peter
|
4d0c8ab748
|
IDEA-127352 no warning when @NotNull annotated method returns null
|
2014-09-13 13:02:21 +02:00 |
|
 nik
|
12fc100bc8
|
annotations reformatted
|
2014-09-12 21:53:46 +04:00 |
|
|
Anna Kozlova
|
724425f20f
|
allow access inner class object from super expression (IDEA-129795)
|
2014-09-12 21:36:56 +04:00 |
|
|
Anna Kozlova
|
ea883dd1e7
|
stream migration: do not suggest to migrate if exceptions are thrown inside the block (IDEA-129484)
|
2014-09-12 21:36:55 +04:00 |
|
|
peter
|
31a3c1e234
|
ensure external/inferred annotations are correctly shown on the gutter for decompiled files; test this
|
2014-09-12 16:29:46 +02:00 |
|
|
Anna Kozlova
|
aa6d50ddc5
|
hide "static methods should have body" message for interface methods < 1.8 (DEA-129765)
|
2014-09-12 16:24:24 +04:00 |
|
|
Anna Kozlova
|
a9c44fb386
|
block lambda -> exp lambda: more accurate check for conflict (IDEA-129780)
|
2014-09-12 16:24:22 +04:00 |
|
|
peter
|
f8dca6401f
|
don't duplicate method @NotNull annotation in inferred contracts (IDEA-129481)
|
2014-09-11 18:33:33 +02:00 |
|
|
Anna Kozlova
|
32448804ae
|
redundant lambda code block: do not suggest change void/value compatibility
|
2014-09-03 16:54:34 +04:00 |
|
|
Bas Leijdekkers
|
ffff2ffd0c
|
IDEA-79962 (Inspection "equals() and hashCode() not paired " does not provide miss method insertion)
|
2014-09-02 18:53:25 +02:00 |
|
|
peter
|
7ee5a8a188
|
let InferredAnnotationsManagerImpl itself prefer compiled psi instead of its clients; make this work for library source parameters as well
|
2014-09-02 13:44:52 +02:00 |
|
|
peter
|
a0e738dbc2
|
don't use inferred contracts for overrideable methods
|
2014-09-02 13:44:51 +02:00 |
|
|
Alexey Kudravtsev
|
2bc3f7a024
|
cleanup: Condition.TRUE
|
2014-09-02 15:27:55 +04:00 |
|
 Ilya Klyuchnikov
|
952c1efaf8
|
bytecode analysis index version +1
(Inference of @Nullable methods)
|
2014-09-02 08:48:27 +04:00 |
|
|
peter
|
9fd3080ca5
|
contract inference: honor delegate notnullness
|
2014-09-01 20:28:36 +02:00 |
|