Tagir Valeev
1aae19b0df
BytecodeAnalysisIndex: support new/this/paramX contracts
...
IDEA-191302 Introduce new contract return values: this, new, paramX
2018-05-04 17:44:23 +07:00
Maxim.Mossienko
4d165172dd
update testdata to reflect newer mock jdk 1.7
2017-06-13 15:09:42 +02:00
Tagir Valeev
5599cc543f
BytecodeAnalysis: infer failing contracts; infer contracts for input boolean arguments; squash inferred contracts; refactoring
2017-05-24 11:49:05 +07:00
Tagir Valeev
c41245708f
Bytecode analysis: purity inference improvement (also fixes IDEA-172989):
...
1. Lambda/method reference creation is pure
2. String concatenation is pure
3. Constructor which only modifies own fields (calls setters, etc.) is pure
4. Exception creation is pure
5. A few hardcoded native methods
2017-05-18 10:52:53 +07:00
Ilya Klyuchnikov
7944b7a260
IDEA-145494: reformatting test data
2015-10-05 18:27:37 +03:00
Ilya Klyuchnikov
2cec677727
Testing Inference of '@Contract(pure=true)' annotations: delta in test data
2014-10-16 08:51:38 +04:00
Ilya Klyuchnikov
e0f6567a5d
bytecode analysis: test data delta
...
IDEA-129645
2014-09-25 17:01:49 +04:00
Ilya Klyuchnikov
f28955f810
testing new @Nullable annotations
2014-09-01 17:51:25 +04:00
Ilya Klyuchnikov
44f95a9b26
testing inference of @Nullable annotations for parameters
2014-08-25 18:30:43 +04: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
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
Tagir Valeev
Maxim.Mossienko
Ilya Klyuchnikov
