Commit Graph

2466 Commits

Author SHA1 Message Date
Tagir Valeev
3ce24db8e1 Range analysis: support bitwise and (IDEA-157127) 2017-03-16 18:22:11 +07:00
Tagir Valeev
e27b0199fc CustomMethodHandlers: support Math.max, Math.min, Math.abs; LongRangeSet: useless methods removed; more tests 2017-03-16 14:48:40 +07:00
Tagir Valeev
b550406e5d DataFlowRunner: limit by number of instruction states processed rather than time 2017-03-16 10:39:34 +07:00
Roman Shevchenko
c4dcc9a148 Merge remote-tracking branch 'origin/master' 2017-03-15 20:50:59 +01:00
Roman Shevchenko
19b04b95e3 [java] runs soft keyword highlighting pass on module files only (IDEA-CR-19363) 2017-03-15 20:50:23 +01:00
Anna.Kozlova
1ff37a0c30 usage of inaccessible api: show language level where the api appeared; quickfix to increase language level (IDEA-168695) 2017-03-15 20:07:06 +01:00
Roman Shevchenko
b5c2dc3174 [java] applies soft keyword highlighting pass results to an editor always (IDEA-169094) 2017-03-15 18:10:45 +01:00
Roman Shevchenko
3860d9b94b [java] highlights package access issues in reference expressions (IDEA-169645) 2017-03-15 15:39:31 +01:00
Anna.Kozlova
3c7ed2daec deprecation: javac don't report deprecations inside deprecated members, let's change the default (IDEA-169425) 2017-03-15 14:21:33 +01:00
Tagir Valeev
04cca3fc20 Range analysis: support relations on string length when some common methods are called 2017-03-15 17:59:10 +07:00
Roman Shevchenko
1fa8710e48 Merge remote-tracking branch 'origin/master' 2017-03-15 11:50:04 +01:00
Roman Shevchenko
32741ee3ec [java] highlighting for incompatible modifiers in modules (IDEA-169666) 2017-03-15 11:49:44 +01:00
Alexey Kudravtsev
2f9ac87d26 some methods returning arrays marked notnull 2017-03-15 13:36:23 +03:00
Alexey Kudravtsev
242cfc263d removed unused FileCheckingInspection 2017-03-15 13:36:22 +03:00
Roman Shevchenko
48ed4f2691 Cleanup (duplicates; formatting) 2017-03-15 11:13:15 +01:00
Tagir Valeev
3ba2ee95db Range analysis: support javax.annotation.Nonnegative; do not flush string length (IDEA-CR-19176) 2017-03-15 13:57:20 +07:00
Tagir Valeev
1cefcf8188 StateMerger#mergeByRanges: checkCancelled calls added 2017-03-15 12:45:06 +07:00
Tagir Valeev
74030a3cee StateMerger: mergeByRanges split into smaller methods (IDEA-CR-19260); fixed corner case when two states A {eqClass(var = 0) & range(var >= 0)} and B {range(var >= 0)} were merged into A (even if range is the same, eqClass should be dropped). Additional unit-tests based on real-world examples 2017-03-15 11:42:00 +07:00
Bas Leijdekkers
d4d041422e make "Redundant suppression" inspection work in module-info.java 2017-03-14 20:24:07 +01:00
Anna.Kozlova
1e9f6352f2 make add cast fix available for vararg methods (IDEA-169541) 2017-03-14 14:17:14 +01:00
Tagir Valeev
c0409b583d StateMerger: merge ranges if two states differ only by single variable range (speeds up testLongDisjunctionsNotComplex) 2017-03-14 17:36:29 +07:00
Tagir Valeev
b3ecc77af5 StateMerger various speed optimizations 2017-03-14 11:37:29 +07:00
Tagir Valeev
5000548fb3 IDEA-169413 'Optional.get()' without 'isPresent()' check should accept for 'orElseThrow()' 2017-03-14 10:27:31 +07:00
peter
1e0a2e08bf treat constructor references as notnull method refs (IDEA-169470) 2017-03-13 16:44:01 +01:00
Tagir Valeev
5bc6837e3e StateMerger, LongRangeSetTest: cleanup 2017-03-13 16:28:46 +07:00
Tagir Valeev
97cdb4cdd5 IDEA-169503 Integral range tracking for variables inside dataflow analysis 2017-03-13 16:02:48 +07:00
Bas Leijdekkers
ca51903f4e make suppress intentions work in module-info.java files 2017-03-12 17:08:13 +01:00
Bas Leijdekkers
d803164a12 make @SuppressWarnings work in module-info.java files 2017-03-12 17:08:13 +01:00
Bas Leijdekkers
5e8b71d109 Add module-info.java checking to "Declaration has problems in Javadoc references" inspection 2017-03-12 17:08:12 +01:00
Roman Shevchenko
a984dc4eb3 [java] highlights duplicate 'opens' statements (IDEA-169015)
In addition, provides a quickfix for duplicate exports/opens targets.
2017-03-09 17:57:52 +01:00
Roman Shevchenko
7ba6c5dab1 [java] highlights external implementations in 'provides' (IDEA-169193) 2017-03-09 11:49:13 +01:00
Anna.Kozlova
92d60ede85 enclosing instance check: don't check the inheritance for the class with extends/implements itself 2017-03-08 19:15:20 +01:00
peter
3849e3c228 dfa: fix false positive when throwing parameter
remove complicated code that the tests pass without
2017-03-08 16:02:36 +01:00
Roman Shevchenko
a08786331d [java] tooltips for module-info error messages (IDEA-169101) 2017-03-08 14:38:11 +01:00
Roman Shevchenko
486bd9398f [java] highlights non-static implementations in 'provides' (IDEA-169205) 2017-03-08 14:16:42 +01:00
Anna.Kozlova
0fa0b96dc6 no enclosing instance error for top level classes (IDEA-169088) 2017-03-08 12:37:00 +01:00
Roman Shevchenko
74daf8d522 [java] improves "unsupported language level" message (IDEA-168859) 2017-03-06 11:27:27 +01:00
Anna.Kozlova
5328c5fa2c final field initialization: don't treat anonymous args as inner classes (IDEA-168651) 2017-03-06 10:28:45 +01:00
peter
a0cae94e87 disable "call always fails according to method contract" in tests (IDEA-168613)
1. test might check precisely this failure
2. even if not, the test will fail anyway and the mistake will be obvious quite soon
2017-03-01 16:04:44 +01:00
Tagir Valeev
1e75349a17 InferredAnnotationsManagerImpl: do not use getDeclarationScope (find parent method explicitly); EnumSet.of hardcoded (IDEA-CR-18680) 2017-02-28 18:22:29 +07:00
Alexey Kudravtsev
76041465dc cleanup 2017-02-28 13:11:37 +03:00
Tagir Valeev
ff4a8a824a InferredAnnotationsManagerImpl: hardcoded not-nullness of collection factory methods
(there are too many overloads, so adding them into annotations.xml is impractical)
2017-02-28 16:43:40 +07:00
Dmitry Avdeev
956bd308aa IDEA-168759 AssertionError exception on using jsp files with classes 2017-02-27 18:46:26 +03:00
peter
38776ed827 fix dfa when a notnull parameter is assigned to null 2017-02-27 14:04:04 +01:00
peter
8b0161fdad more diagnostics for EA-96901 - assert: FileTrees.withGreenStub 2017-02-25 12:55:46 +01:00
peter
438046cac2 NullityAnnotationModifier cleanup 2017-02-24 15:32:09 +01:00
peter
1163a8e717 support type inference with nullity annotations across different language levels 2017-02-24 15:27:24 +01:00
peter
b536857a22 support junit5's assertNotNull in dfa (IDEA-168552) 2017-02-23 15:59:04 +01:00
Alexey Kudravtsev
8fd72fd9d6 cleanup 2017-02-22 17:40:00 +03:00
Alexey Kudravtsev
8d3b62d33d more diagnostics for EA-95877 2017-02-21 15:54:31 +03:00