21e97b408c
Loading java arrays as Array<out T> at method return type position, as well.
2012-11-20 16:16:47 +04:00
f20c4dac15
Cleanup in tests.
2012-11-20 16:16:46 +04:00
00bed4a2a4
Added tests with two superclasses.
...
#KT-2776 in progress
2012-11-20 16:16:46 +04:00
3b63e6e061
Supported variance propagation.
2012-11-20 16:16:45 +04:00
9177080d8b
Fixed loading variance from alternative signature.
2012-11-20 16:16:45 +04:00
044487cf37
Supported propagating read-onliness.
...
#KT-2776 in progress
2012-11-20 16:16:45 +04:00
89b413b7ad
Supported generic subclasses in submethods.
...
#KT-2776 in progress
2012-11-20 16:16:45 +04:00
e2d213f1fd
Loading functions from superclasses before current to avoid heisenbug.
...
Added test with two supertypes.
#KT-2776 in progress
2012-11-20 16:16:45 +04:00
494345ce10
Improved algorithm, added simple tests with generic types.
...
#KT-2776 in progress
2012-11-20 16:16:44 +04:00
1f4d994480
Introduced simple propagation of nullability on loading Java.
...
#KT-2776 in progress
2012-11-20 16:16:44 +04:00
3fc2e5d20c
Attempt to split long or double on the stack exception
...
#KT-3042 Fixed
2012-11-20 13:35:30 +04:00
900788a8e0
Fix javaClass property for long and double
...
#KT-3046 Fixed
2012-11-19 21:19:48 +04:00
7bb7445c57
Fix for invoking abstract method in enum
2012-11-19 20:18:45 +04:00
712fafddb6
DataFlowInfo.getPossibleTypes() now returns Set
...
This solves some performance problems related to DataFlowInfo (lots of nested
conditions etc.)
2012-11-16 17:56:31 +04:00
6c7b32dc03
Fix data flow info after inner loops with continue-outer
...
ControlStructureTypingVisitor.containsBreak() is refined and now also takes
into account continue to outer loops
2012-11-16 17:56:30 +04:00
6b65c44d45
Optimize DataFlowInfo.and()
...
Instead of copying everything, we now only completely copy one data flow info
and use another as a delegation target
2012-11-16 17:56:29 +04:00
57f18fca2e
Retain data flow info after array accesses
2012-11-16 17:56:24 +04:00
ac7ee9d3f5
Retain data flow info after when-expressions
...
This means the subject expression and the common data flow info of all entries'
conditions
2012-11-16 17:56:23 +04:00
d0a2ba5737
Retain data flow info after is-expression
2012-11-16 17:56:22 +04:00
ef3e38071c
Retain data flow info after try-finally
2012-11-16 17:56:21 +04:00
d629fe2d91
Retain data flow info after 'for' loop range expressions
2012-11-16 17:56:20 +04:00
0b1c87a812
Retain data flow info after conditions in do-while statements
2012-11-16 17:56:20 +04:00
b0e9c7aab7
Retain data flow info after conditions in while-statements
2012-11-16 17:56:19 +04:00
ae77bf0a4e
Retain data flow info after conditions in if-statements
2012-11-16 17:56:18 +04:00
2872a0799a
Retain data flow info after string template expressions
2012-11-16 17:56:17 +04:00
950f912154
Retain data flow info after multi-declaration
...
#KT-2825 In Progress
2012-11-16 17:56:17 +04:00
a54e34282a
Retain data flow info after assignment operations (+= etc)
...
#KT-2825 In Progress
2012-11-16 17:56:16 +04:00
f949d9e804
Retain data flow info after assignment statements
...
#KT-2825 In Progress
2012-11-16 17:56:15 +04:00
3cbdb57d5c
Retain data flow info after assignments in initializer
...
#KT-2825 In Progress
2012-11-16 17:56:14 +04:00
d19a824b14
Retain data flow info after elvis operator
...
#KT-2825 In Progress
2012-11-16 17:56:14 +04:00
e4cd0e004f
Retain data flow info after boolean operations
...
#KT-2825 In Progress
2012-11-16 17:56:13 +04:00
2e6500d848
Retain data flow info after in (contains)
...
#KT-2825 In Progress
2012-11-16 17:56:12 +04:00
3358108c3f
Retain data flow info after == (equals)
...
#KT-2825 In Progress
2012-11-16 17:56:11 +04:00
1fbe9b9a31
Retain data flow info after binary calls
...
Make autocasts in CandidateResolver when checking value argument types
#KT-2825 In Progress
2012-11-16 17:56:11 +04:00
96c1564c54
added ExpressionTypingServices.deparenthesize()
...
(with type resolution)
2012-11-16 15:32:59 +04:00
1c059671ba
added test for deparenthesize
2012-11-16 15:32:59 +04:00
41864c29b2
analyze left expression in assignment operation
...
when it's incomplete
2012-11-16 15:32:59 +04:00
c4428496bd
check super type qualifier
...
even if super resolve is unsuccessful
2012-11-16 15:32:59 +04:00
126f5e1668
check debug info errors in diagnostic tests
2012-11-16 15:32:59 +04:00
ba2eab526a
Extension properties in class: don't put receiver on stack for GETFIELD/PUTFIELD instruction
...
#KT-3031 Fixed
2012-11-13 19:03:20 +04:00
e9c8be8449
complete type inference only for one candidate
...
(the most specific)
to avoid exponential resolve of value arguments for several candidates
where type inference is incomplete (or depends on expected type)
2012-11-12 15:32:11 +04:00
b5a3486131
Back-end: correct indexes of local variables for double and long
...
#KT-3033 Fixed
2012-11-12 15:03:54 +04:00
94fbf2bdf4
Add labels for extension properties
...
#KT-2824 Fixed
2012-11-12 13:23:00 +04:00
e691a0bc93
Considering variances when checking for erased casts.
2012-11-08 22:02:52 +04:00
992d84d920
Fixed IsReified diagnostic test. Now it really checks for reified type.
2012-11-08 22:02:51 +04:00
266313a02e
Replaced List and Collection with mutable analogs.
2012-11-08 22:02:51 +04:00
8cff709bfb
#KT-3023 Fixed
2012-11-07 18:33:21 +04:00
415b6f8efe
Generate bridges for super-calls only when needed
...
#KT-2887 Fixed
2012-11-07 17:06:19 +04:00
89b8bbec57
Do not add extra 'this' parameter for TImpl's accessor
...
Fixes weird cases like super-call from a closure inside a trait with a required
class
2012-11-07 17:06:18 +04:00
2edb89b5c5
Refactor mysterious code in ExpressionCodegen
...
'super' receiver is now generated in visitSuperExpression()
2012-11-07 17:06:17 +04:00
Evgeny Gerashchenko