 Svetlana Isakova
|
aa26db0538
|
Updated tests for control flow: call instruction stores call element
instead of callee expression
|
2014-07-08 14:57:38 +04:00 |
|
|
Alexey Sedunov
|
f226d99d36
|
Pseudocode: Add valued instructions and unbound values to AbstractPseudoValueTest
|
2014-06-26 13:06:23 +04:00 |
|
|
Alexey Sedunov
|
5e2c2b4eca
|
Pseudocode: Implement computation of expected type predicates
|
2014-06-23 19:32:25 +04:00 |
|
|
Svetlana Isakova
|
9480907514
|
Mark some expressions after processing their components
when it's semantically correct
Expressions: calls, 'for' loops, elvis operators
It's significant for reporting 'unreachable code' correctly
|
2014-06-21 12:26:32 +04:00 |
|
|
Alexey Sedunov
|
c9c94a59d3
|
Pseudocode: Copy value of JetThisExpression to enclosed JetSimpleNameExpression
|
2014-06-19 22:04:46 +04:00 |
|
|
Alexey Sedunov
|
45bd3a520e
|
Pseudocode: Generate pseudo-values for implicit receivers
|
2014-06-19 22:04:45 +04:00 |
|
|
Alexey Sedunov
|
168b32920b
|
Pseudocode: Do not bind call value to callee expressions
|
2014-06-19 22:04:44 +04:00 |
|
|
Alexey Sedunov
|
4a5d2e6728
|
Add tests for element -> pseudo-value mapping
|
2014-06-03 18:17:07 +04:00 |
|
|
Alexey Sedunov
|
d2c055e9da
|
Pseudocode: Introduce pseudo-value analysis
|
2014-06-03 18:17:05 +04:00 |
|
|
Svetlana Isakova
|
006f3ccbe9
|
Added/updated tests for LexicalScope.
|
2014-03-07 21:08:16 +04:00 |
|
|
Svetlana Isakova
|
1fc4573a8c
|
removed duplication of pseudocode in tests
for local functions
|
2014-03-07 21:08:15 +04:00 |
|
|
Svetlana Isakova
|
ec47821567
|
restructured control flow tests
|
2014-03-07 21:08:14 +04:00 |
|