 peter
|
135a5d5c48
|
IDEA-153564 @Contract annotation for constructors; report non-trivial always failing calls
|
2016-09-28 16:46:40 +02:00 |
|
|
peter
|
0ddd1243b9
|
honor vararg calls when inferring contracts (IDEA-148862)
|
2015-12-03 17:32:53 +01:00 |
|
|
peter
|
4ec8011316
|
relax "!null" contract checking to accept exceptions thrown (IDEA-133488)
|
2015-04-08 18:13:15 +02:00 |
|
|
peter
|
8d2f9b07e8
|
contract nulls are compatible with array return types (IDEA-137323)
|
2015-03-06 14:59:53 +01:00 |
|
|
peter
|
03ddd9dcea
|
IDEA-136580 "Contract violation" warnings are reported for manual method contract
|
2015-02-16 12:13:26 +01:00 |
|
|
peter
|
a88ab17b3f
|
IDEA-136079 "Contract violation" warnings are reported for inferred method contract for method with varargs
|
2015-02-06 16:11:11 +01: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 |
|
|
peter
|
b0a7ab05aa
|
contract checker: relax fail result validation to accept every call as a potential hazard
|
2014-09-30 17:23:49 +02:00 |
|
|
peter
|
30beb70ce4
|
honor super method contracts
|
2014-09-25 16:34:51 +02:00 |
|
|
peter
|
bc12a14cb9
|
extract contract checking to a separatate inspection
|
2014-06-06 21:53:58 +02:00 |
|
|
peter
|
5d8ee45b19
|
IDEA-112222 Validate @Contract annotation is related to the code
|
2014-06-01 17:20:57 +02:00 |
|