Commit Graph

147 Commits

Author SHA1 Message Date
anastasiia.spaseeva 7980db8613 [Spec tests] Add tests for prefix-expressions, logical-not--expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva e5a9a58d65 [Spec tests] Add tests for prefix-expressions, unary-minus-expression and unary-minus-expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva a8af3dc3c9 [Spec tests] Add tests for prefix-decrement-expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva 01a4562076 [Spec tests] Add tests for additive-expression and Multiplicative expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva 72358aa52a [Spec tests] Add tests for range-expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva 84cf4c5049 [Spec tests] Add tests for elvis-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 479fa0e7b8 [Spec tests] Add tests for containment-checking-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 4a94ffa5dd [Spec tests] Add tests for type-checking-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 2a1e084f03 [Spec tests] Add tests for comparison-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 5e42a20575 [Spec tests] Add tests for value-equality-expressions (paragraph 2-3) 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 3bb5ddb224 [Spec tests] Add tests for reference-equality-expressions (paragraph 3) 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 15b561195f [Spec tests] Add tests for logical-conjunction-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 6da8ccb9eb [Spec tests] Add tests for logical-disjunction-expression (paragraph 2) 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva d4a83d535c [Spec tests] Add tests for KT_35565 (local-property-declaration) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 31df799103 [Spec tests] Add codegen tests for logical-disjunction-expression (paragraph 1) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 1ea5eb6850 [Spec tests] Add test for return expression 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva dcfcc9c7b6 [Spec tests] Add tests for when-expression (p-3, 4) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva bd979a12de [Spec tests] Review fix tests for try-expression and if-expression 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva e865327386 [Spec tests] Add tests for try-expression (paragraphs 1, 2, 5-9) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 3aa3f0c50c [Spec tests] Add tests for character-literals 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 8187405dbd [Spec tests] fix test parser exceptions handler 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva fdef51e8b7 [Spec tests] Add tests for boolean-literals (p-1 sentence 2) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 744cc54dff [Spec tests] Add tests for if-expression 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva a41c4c84a6 [Spec-tests] Add tests for prefix increment expression 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva f95a03cba3 [Spec-tests] Add tests for abstract classes 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 6c644448c2 [Spec tests] Add tests for abstract classes 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 20ed66cd82 [Spec tests] Add remove link to the issue KT-27825 from all tests which are not related to the issue 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 6accbf6284 [Spec tests] Add prefix increment expression codegen tests 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 86d072e3aa [Spec tests] Add diag tests for abstract classes and prefix increment 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 44d0a99875 [Spec tests] Add spec tests for kotlin.Nothing, kotlin.Unit, reference equality and cast expressions 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva bf50edee17 [Spec tests] Add tests for kotlin.Nothing and kotlin.Unit built-in types 2020-01-09 17:16:08 +03:00
Pavel Kirpichenkov 2d21b82501 [NI] Remove hack for special functions
Treating special functions for `if`, `when`, `try`, `?:` as not accepting `Nothing` result type is incorrect.
Making so leads to cases with uninferred `Nothing` result type for inner calls and lost data flow info.
2019-12-27 18:40:42 +03:00
Dmitriy Novozhilov d210df9ea3 Update spec testdata according to previous commits 2019-12-26 17:43:28 +03:00
Victor Petukhov d3f63166f3 [JPS] Include Kotlin reflection for tests-spec though explicit specifying in gradle dependencies 2019-12-26 14:27:44 +03:00
Denis Zharkov 0b385cc532 NI: Approximate captured-for-star-projections to *
^KT-35602 Fixed
2019-12-26 12:35:32 +03:00
Pavel Kirpichenkov 77e4212774 [minor] unmute fixed spec tests 2019-12-25 14:59:06 +03:00
Pavel Kirpichenkov 7ee71450bc [NI] Discriminate Nothing? result type from nullability constraints
Nullability constraints should not be chosen when proper
argument constraints for variables in contravariant position present.

^KT-32106 Fixed
^KT-33166 Fixed
2019-12-25 14:59:06 +03:00
Mikhail Zarechenskiy ae1630f376 [NI] Don't discriminate Nothing-type from resulting ones
^KT-32106 Fixed
2019-12-25 14:59:04 +03:00
Nikolay Krasko 5583b57ed7 Regenerate spec tests to activate muting framework for them 2019-12-25 14:05:15 +03:00
victor.petukhov be8ae24713 Temporary mute some spec tests through apply changes after 45e881f03f 2019-12-25 12:44:54 +03:00
Nikolay Krasko e99dc0f87f Show only unique diagnostics in psi checker (KT-35578)
MissingDependencyClassChecker.collectDiagnostics now show only unique diagnostics

As per-file analyzer trace used in checker delegates to resolve session trace, diagnostics might be duplicated because of race condition:
 1. If a non-checker thread performs analyze first, diagnostics for global elements will be stored in the resolve session trace only once.
 2 If the checker threads comes to the analyze first, diagnostics will be stored in the local trace, and after that might be duplicated in the resolve session trace by other analyzers.

 #KT-35578 Fixed
2019-12-20 02:39:05 +03:00
Mikhail Zarechenskiy e0fb586aaf [NI] Don't loose diagnostic after type variable fixation
#KT-24488 Fixed
2019-10-31 11:32:02 +03:00
Mikhail Zarechenskiy 932d84d568 Fix performance regression in NI by fixing totally incorrect hashCode
The actual problem was introduced in 4f1e85b468, note how `hashCode` is implemented:
```
var currentHashCode = cachedHashCode
if (currentHashCode == 0) return currentHashCode
...
```
It's a silly bug, there should be check `if (currentHashCode != 0) ...` because `0` is used a marker for "uncomputed value".

Now, in the commit 0219b86d06 I added map with `KotlinType` as a key and because of constant `hash` for `KotlinType`, we basically got `List` instead of `Map`, which caused this performance regression

 #KT-34063 Fixed
2019-09-30 10:22:30 +03:00
victor.petukhov aa79064a96 Remove deprecated spec tests map generators 2019-08-30 11:39:09 +03:00
victor.petukhov fa29297fb1 Introduce workaround for back-end exception in the test cases parser code 2019-08-19 18:31:48 +03:00
victor.petukhov 9487d291da Fail spec box tests if they have unexpected behaviour and passed 2019-08-19 18:31:48 +03:00
victor.petukhov d8e5b068d5 Relinking spec tests 2019-08-19 18:31:46 +03:00
victor.petukhov 8465d690f1 Add spec tests for 'Type system' (introduction and 'kotlin.Any' type) 2019-08-19 18:31:45 +03:00
victor.petukhov f78faeaa3c Add test for consistency check between the Kotlin specification and spec tests 2019-08-19 18:31:44 +03:00
victor.petukhov 4f73e100d0 Add task to generate tests json map (is used for tool 'spec-tests-relinking recommender') 2019-08-19 18:31:43 +03:00