Anna Kozlova
502a3e9a65
new inference: check also variable instantiation for primitive wrappers (IDEA-127752)
2014-07-23 19:19:13 +02:00
Anna Kozlova
24be503eb2
new inference: missed condition in conditional expression (IDEA-127752)
2014-07-23 19:19:12 +02:00
Dmitry Batrak
1d198e18bb
IDEA-127695 Formatting is breaking on typing
2014-07-23 20:10:16 +04:00
Anna Kozlova
381c7fc817
ensure type parameters contain fully qualified names (IDEA-127714)
2014-07-23 17:53:18 +02:00
Alexey Kudravtsev
1b9ba31da8
cast from Short to char is prohibited
2014-07-23 13:35:58 +04:00
Anna Kozlova
e9a17dfad8
field can be local: when field is used in method for read it can't be converted to local if used in another methods (IDEA-127159)
2014-07-22 20:37:38 +02:00
peter
0299b302c6
auto-import context variable declaration type when completing (IDEA-90157)
2014-07-22 18:26:56 +02:00
peter
f81e96ef9d
java chained completion: qualifier class items shouldn't be inserted as constructors
2014-07-22 18:26:55 +02:00
Anna Kozlova
9cce5c76b7
do not split annotations on multiple lines for params (IDEA-127017)
2014-07-22 17:08:03 +02:00
Anna Kozlova
b585c95984
inline method: check unique names for this variable in initial class scope (IDEA-127411)
2014-07-22 13:49:32 +02:00
Anna Kozlova
bacc3c2ad6
lambda -> method refs: collapse when acceptable method without supers found
2014-07-21 20:47:52 +02:00
Anna Kozlova
4b7122b83d
shorten FQNs when insert casts (IDEA-127573)
2014-07-21 19:19:15 +02:00
Anna Kozlova
91f505e2f7
create static method from usage in interface (IDEA-127563)
2014-07-21 19:19:14 +02:00
Anna Kozlova
824f4329b2
workaround for <p/> inside <pre> in javadoc preview in JEditorPane (IDEA-127430)
2014-07-21 17:56:23 +02:00
Anna Kozlova
a46f4cef52
anonym -> lambda: disable in case when inferred type differs from type of anonymous class and parameter of param type is used inside (IDEA-127603);
...
BTW param.toString would be also rejected
2014-07-21 17:56:21 +02:00
Anna Kozlova
89dc528242
new inference: no substitution during most specific inference by means of new spec (IDEA-127584)
2014-07-21 17:56:20 +02:00
Roman Shevchenko
322e539fc5
IDEA-127077 (highlighting test)
2014-07-21 16:08:23 +02:00
Anna Kozlova
9b4912c5a0
lambda: do not start inference from void type (IDEA-127596)
2014-07-21 12:12:28 +02:00
Roman Shevchenko
e35d9d846c
IDEA-127077 (incorrect parsing of type annotations)
2014-07-21 11:33:46 +02:00
Anna Kozlova
067ef9e309
method refs: check first parameter if it could be a receiver for varargs methods (IDEA-127506)
2014-07-18 18:19:20 +02:00
Andrey Starovoyt
6bf1409b85
postfix template fix ternary operator + test
2014-07-18 19:48:54 +04:00
peter
5379b771ca
turn off contract inference for overrideable methods; hopefully, not forever (IDEA-127518)
2014-07-18 15:34:11 +02:00
peter
49a119a0e7
IDEA-121276 Constant conditions: work with arrays
2014-07-18 15:34:10 +02:00
Alexey Kudravtsev
0a6a37496e
Reverted: cast from Short to char is prohibited ( 1c5a03589e)
2014-07-18 17:21:10 +04:00
Alexey Kudravtsev
1c5a03589e
cast from Short to char is prohibited
2014-07-18 14:58:43 +04:00
Anna Kozlova
aea7066c18
allow to pull methods in super interface as default ones when super interface already contains a method with the same signature; remove @Override in such case (IDEA-126988)
2014-07-18 10:34:56 +02:00
Anna Kozlova
7d19e0e85e
method refs: missed super class substitution (IDEA-126969)
2014-07-18 10:34:55 +02:00
peter
df68af8efe
require that notnull fields be initialized (IDEA-114889)
2014-07-18 09:14:08 +02:00
peter
5a22fdcf73
IDEA-126660 Incorrect 'condition is always true' for a final field if an overridden method is called from the constructor
2014-07-18 09:14:08 +02:00
peter
a7ec8b7660
IDEA-126173 Specify exception type thrown by @NotNull annotations
2014-07-18 09:14:07 +02:00
peter
f4d3703103
IDEA-126531 Completion inserts unwanted semicolon
2014-07-18 09:14:07 +02:00
peter
28870690fd
dfa: take into account known variable values when handling number comparisons (IDEA-126446)
2014-07-18 09:14:06 +02:00
peter
1aa6e7ac2b
add cast to disambiguate method calls when replacing their argument with null (IDEA-126466)
2014-07-18 09:14:06 +02:00
peter
4853112682
dfa: we don't replace nontrivial references with constants, so remove the corresponding code and tests
2014-07-18 09:14:05 +02:00
peter
3eea5bc05c
hardcode Guava Preconditions.checkNotNull contract
2014-07-18 09:14:04 +02:00
peter
6d9cf39e0e
dfa: understand assertThat notnull (IDEA-125977, IDEA-65004)
2014-07-18 09:14:04 +02:00
Roman Shevchenko
d5032e571a
java: parser changes temporarily reverted
2014-07-15 17:46:16 +02:00
Roman Shevchenko
6521af0d3e
IDEA-127077 (incorrect parsing of type annotations)
2014-07-15 13:32:20 +02:00
Anna Kozlova
590ed4cc23
disable create instance field inside interface (IDEA-127211)
2014-07-14 20:58:24 +02:00
peter
3f7935aec2
dfa: turn on contract inference from source
2014-07-14 19:07:02 +02:00
Ilya Klyuchnikov
b6b6ea1880
bytecode analysis: lite persistent hashCode for Configuration
...
Also subtle bug with Configuration generalization was fixed - so, update in annotations.xml
2014-07-11 16:05:43 +04:00
peter
fbb28259a1
ignore inferred annotation in @NotNull propagation to overridden methods
2014-07-10 10:35:56 +02:00
peter
1b75318697
adapt testdata to inferred jdk annotations
2014-07-10 10:35:56 +02:00
peter
a11744ca35
adapt dfa testAlexBug to jdk notnull inference
2014-07-10 10:35:54 +02:00
Ilya Klyuchnikov and peter
ce6450136f
no contract annotation if method is already @NotNull
2014-07-10 10:35:49 +02:00
Ilya Klyuchnikov and peter
6dd49cb404
update annotations after mockJDK update
2014-07-10 10:35:48 +02:00
Ilya Klyuchnikov and peter
1e54e26b25
simple smoke test that inferred annotations are visible to codeInspection
2014-07-10 10:35:46 +02:00
Ilya Klyuchnikov and peter
0db25e9166
arrays and primitive collections
...
(annotations.xml was changed because the order of graph construction was changed - this particular case is a tricky one with loop, exception and synchronization)
2014-07-10 10:35:46 +02:00
Ilya Klyuchnikov and peter
658b710762
aligned with faba
2014-07-10 10:35:46 +02:00
Ilya Klyuchnikov and peter
338481d263
Bytecode analysis tests
2014-07-10 10:35:43 +02:00
Anna Kozlova
Dmitry Batrak
Alexey Kudravtsev
peter
Roman Shevchenko
Andrey Starovoyt
Ilya Klyuchnikov