Commit Graph
14 Commits
Author SHA1 Message Date
Ilya Klyuchnikov ccc527669a bytecode analysis: embedding direction into long key 2014-07-23 11:02:22 +04:00
peter 4a8c1f7f37 fix BytecodeAnalysisTest? 2014-07-10 15:30:37 +02:00
peter 6563b5617f fix BytecodeAnalysisTest? 2014-07-10 15:30:36 +02:00
Ilya Klyuchnikov 831ab1820a bytecode analysis: compound keys - maximizing shared stuff 2014-07-10 10:36:01 +02:00
Ilya Klyuchnikov e0861b8d65 bytecode analysis: leaking parameters analysis
Leaking parameters are parameters that "leak" into @NotNull/@Contract annotations.
If a parameter doesn't leak, it cannot be @NotNull and cannot contribute to @Contract annotations.
Inference is run only for leaking parameters.
2014-07-10 10:35:57 +02:00
peter 7fc5d9ef36 make BytecodeAnalysisTest more classloader-agnostic 2014-07-10 10:35:51 +02:00
Ilya Klyuchnikov 338481d263 Bytecode analysis tests 2014-07-10 10:35:43 +02:00
Ilya Klyuchnikov 657b7af327 starting integrations tests 2014-07-10 10:35:40 +02:00
Ilya Klyuchnikov eb58968038 a proper disposal of app component in the test 2014-07-10 10:35:38 +02:00
Ilya Klyuchnikov 6dcf377038 comments + refactoring 2014-07-10 10:35:37 +02:00
Ilya Klyuchnikov 383752b4a0 compound indices in action 2014-07-10 10:35:36 +02:00
Ilya Klyuchnikov ff8433736f initial implementation for compound keys 2014-07-10 10:35:36 +02:00
Ilya Klyuchnikov 44ea3071e9 testing contract annotations 2014-07-10 10:35:32 +02:00
Ilya Klyuchnikov a8717a4746 testing hand-coded classes 2014-07-10 10:35:31 +02:00