Svetlana Isakova
54dffd6aad
tests for obsolete tasks
...
#KT-3007 obsolete
#KT-3038 obsolete
2012-12-26 13:01:48 +04:00
Svetlana Isakova
76a62d8b7d
added PLACEHOLDER_FUNCTION_TYPE tests
2012-12-25 19:12:01 +04:00
Svetlana Isakova
4089ac68bd
improved error reporting
...
when error type is a generic parameter
2012-12-25 19:12:01 +04:00
Svetlana Isakova
19e6b02da8
CANNOT_INFER_PARAMETER_TYPE reporting improvement
2012-12-25 19:12:01 +04:00
Svetlana Isakova
2077faa76a
no ambiguity when overloading with different function type
...
(in incomplete resolve)
2012-12-25 19:12:01 +04:00
Svetlana Isakova
c37d7352a5
improved reporting TYPE_MISMATCH error for function literals
...
(introduced EXPECTED_PARAMETER_TYPE_MISMATCH, EXPECTED_RETURN_TYPE_MISMATCH, EXPECTED_PARAMETERS_NUMBER_MISMATCH
instead of reporting TYPE_MISMATCH on the whole function literal)
2012-12-25 19:12:00 +04:00
Svetlana Isakova
972b234db6
KT-3150 Kotlin m4 don't recognize function literals
...
#KT-3150 fixed
added check for PLACEHOLDER_FUNCTION_TYPE to constraint system
2012-12-25 19:12:00 +04:00
Evgeny Gerashchenko
ce02c3e058
Removed unused code from NamespaceComparator.
2012-12-25 15:20:57 +04:00
Evgeny Gerashchenko
e3a30b10a9
Not writing fake parameters of enum constructors to generic signature.
2012-12-25 15:20:57 +04:00
Evgeny Gerashchenko
2daf9a10d0
Renamed test methods.
2012-12-20 19:26:52 +04:00
Evgeny Gerashchenko
1ab555a51b
Checking primary flag in constructors loaded from Java.
2012-12-20 18:48:47 +04:00
Evgeny Gerashchenko
68d8b6b4c3
Added test with @KotlinSignature on method returning array.
...
#KT-2840 can't reproduce
2012-12-20 18:48:46 +04:00
Svetlana Isakova
a5cf54d370
do not miss repeated 'uninitialized' error for properties
2012-12-18 19:47:55 +04:00
Svetlana Isakova
67d0d8b1a9
fix: val can be reassigned through backing field inside its own getter
2012-12-18 19:47:54 +04:00
Svetlana Isakova
11bc01795f
check package declaration in a file
...
to have the right properties initialization order
not to report errors if isDeclaredLocally (only recordInitializedVariables)
2012-12-18 19:47:54 +04:00
Svetlana Isakova
f697098fb4
KT-2960 Perform control flow checks for package property initializers
...
#KT-2960 fixed
2012-12-18 19:47:52 +04:00
Svetlana Isakova
d7a60f5fed
added tests for KT-2369, KT-2585 and KT-2972
...
KT-2369 Variable is not marked as uninitialized in 'finally' section
#KT-2369 fixed
KT-2585 Code in try-finally is incorrectly marked as unreachable
#KT-2585 fixed
KT-2972 Wrong "unused value" warning when finally is present
#KT-2972 fixed
2012-12-18 16:00:26 +04:00
Svetlana Isakova
93327a3e31
check uninitialized vars inside local declarations
...
added parameter 'includeInsideLocalDeclarations' to getDeclaredVariables
2012-12-18 16:00:26 +04:00
Svetlana Isakova
d92e989c6e
add assert to ControlFlowTest
2012-12-18 16:00:25 +04:00
Svetlana Isakova
8141229744
added edge from try start to error through finally block
...
KT-2845 Wrong cf-analysys for variable initialization in try..finally
#KT-2845 fixed
todo: some errors now are reported for several times (each time when analyzing finally block)
2012-12-18 16:00:25 +04:00
Evgeny Gerashchenko
1cfc5f366e
Extracted DescriptorRenderer interface.
2012-12-17 16:35:59 +04:00
Evgeny Gerashchenko
f6e9b0e234
Removed renderTypeWithShortNames from API of DescriptorRenderer.
2012-12-17 16:35:57 +04:00
Evgeny Gerashchenko
8a946c6ef9
Renamed DescriptorRenderer and moved to 'renderer' package.
...
Moved DescriptorRendererTest to 'renderer' package, as well.
2012-12-17 16:35:56 +04:00
Evgeny Gerashchenko
b07d6d56a0
Escaping keywords used as identifiers in DescriptorRenderer.
...
#KT-2810 fixed
2012-12-17 16:35:55 +04:00
Andrey Breslav
947ab99f53
Tests fixed after default nullability for type arguments changed to NotNull
2012-12-14 15:28:22 +04:00
Andrey Breslav
becd68b98d
Nullability propagation with NotNull as default for type arguments
2012-12-14 15:28:22 +04:00
Andrey Breslav
f925bfccd0
Changing default nullability for type arguments to NotNull
2012-12-14 15:28:21 +04:00
Andrey Breslav
f09054d1a0
Java compiler error reporting fixed
2012-12-14 15:28:21 +04:00
Evgeny Gerashchenko
820152b97c
Reverted test file.
2012-12-13 17:41:02 +04:00
Evgeny Gerashchenko
b8eb0c84ff
Added 'synthetic' flag for bridge method.
...
#KT-3155 fixed
2012-12-13 14:36:41 +04:00
Andrey Breslav
e324d3914f
KT-3120 The compiler should not depend on the file directory of the libs
...
#KT-3120 In Progress
2012-12-12 17:37:32 +04:00
Evgeny Gerashchenko
34f9ae77ba
Getting super methods correctly for inheritors of Collection, etc.
2012-12-10 21:43:42 +04:00
Evgeny Gerashchenko
fc0750b504
Renamed JdkAnnotationsSanityTest -> JdkAnnotationsValidityTest.
2012-12-10 19:13:18 +04:00
Evgeny Gerashchenko
77876f9a44
Optimized memory usage in test checking for errors in JDK annotations.
2012-12-10 19:13:18 +04:00
Evgeny Gerashchenko
feb484cccb
Fixed JdkAnnotationsSanityTest.
2012-12-10 19:13:18 +04:00
Evgeny Gerashchenko
1dc928b5db
Disabled error checking for if super/sub method has raw types in signature.
2012-12-10 19:13:17 +04:00
Andrey Breslav
7995013abb
main() added to quickly compile runtime for tests
2012-12-07 21:54:11 +04:00
Evgeny Gerashchenko
6c6abab033
Supported propagation for Java subclass of Kotlin class.
2012-12-07 14:41:58 +04:00
Evgeny Gerashchenko
0bbc33755b
Migrated CompileJavaAgainstKotlinTest to generated test framework.
2012-12-07 14:41:57 +04:00
Evgeny Gerashchenko
95c9c4c0c4
Fixed direction of substitution when checking bounds of type parameters.
2012-12-07 14:41:57 +04:00
Evgeny Gerashchenko
5e86cbe004
Checking for return type in kotlin signature if have super methods.
2012-12-07 14:41:56 +04:00
Evgeny Gerashchenko
6975691e7a
Supported cases with two superclasses when they have different variances.
2012-12-07 14:41:55 +04:00
Andrey Breslav
74212bd2a4
Generate mockJDK from real JDK
2012-12-07 14:06:59 +04:00
Evgeny Gerashchenko
83d5b1e6a0
Supported propagation for subclass of j.u.Collection and similar classes.
2012-12-07 14:06:59 +04:00
Evgeny Gerashchenko
01b3d75374
Removing redundant projections when loading from Java.
2012-12-07 14:02:54 +04:00
Evgeny Gerashchenko
46a485da01
Supported star projection in alternative signatures.
2012-12-07 14:02:54 +04:00
Evgeny Gerashchenko
91825a404c
Added test for loading Foo<?> type from Java.
2012-12-07 14:02:54 +04:00
Evgeny Gerashchenko
3d8b86040d
Better output in failed test.
2012-12-07 14:02:54 +04:00
Natalia.Ukhorskaya
a739964c74
Back-end: write correct visibility flags for private inner classes
2012-12-06 17:25:13 +04:00
Natalia.Ukhorskaya
17fa105116
Generate INVOKESPECIAL instruction for private method with default argument
2012-12-06 15:20:43 +04:00