a0f0fa5a47
[Analysis API FIR] fix candidate collection for delegatedConstructor call
...
^KTIJ-20446
2022-07-22 00:58:59 +02:00
76d5d3a2ec
Extract separate FirModifierRenderer
2022-07-14 09:38:39 +00:00
6a145b52aa
[Analysis API] update testdata after adding context receivers
2022-07-05 10:34:28 +02:00
2b235e1188
FE10 Analysis API: use compact renderer for flexible types even in debug
2022-06-29 16:50:06 +00:00
38f4a35be2
FIR: introduce flexible types pretty rendering for no arguments case
...
#KT-52020 Fixed
2022-06-29 16:50:05 +00:00
31ec10142b
FirRenderer: add renderAllModifiers and renderDetailedTypeReferences
...
Related to KT-52020
2022-06-29 16:50:04 +00:00
66851c7afd
[Analysis API] Add KtReceiverParameterSymbol#correspondingSymbol
2022-06-27 19:32:44 +00:00
bb7b34b3a1
[Analysis API] introduce KtSymbolOrigin.SUBSTITUTION_OVERRIDE
...
^KT-52043
2022-06-24 10:41:05 +02:00
2234813363
[Analysis API] Add KtCallableMemberCall#typeArgumentsMapping
2022-06-23 07:50:21 +00:00
8d8fc6e291
[Analysis API] Add type to KtReceiverValue
...
Maybe in the future we could remove type from the
KtImplicitReceiverValue, because it has ktSymbol, and in theory
that should be enough to create corresponding KtType.
Unfortunately that is not the case for KtClassOrObjectSymbol --
it doesn't have the API for "default" type creation currently.
Regarding code in KtFirCallResolver.kt -- it seems like code there
needs some love in the future. Psi created via custom code there,
because for call x() FIR has receiver x with psi = null
2022-06-23 07:50:21 +00:00
d8b88e9b69
[Analysis API] add testcases, add comments to tests
2022-06-22 09:31:48 +02:00
36f370f501
[Analysis API] add tests for KtTypeScope
2022-06-22 09:31:47 +02:00
b9907963fe
[Analysis API] add tests for KtSubstitutor
2022-06-22 09:31:47 +02:00
2c1074ac37
[Analysis API] actualize testdata
2022-06-22 09:31:45 +02:00
ffdfa05015
[Analysis API] use existing test utilities for rendering
2022-06-22 09:31:45 +02:00
dafb132a17
[Analysis API] add few tests which checks contracts of signature substitutions
2022-06-22 09:31:43 +02:00
3525e42f11
[Analysis API] introduce substitutor builder
2022-06-22 09:31:43 +02:00
c95ac9f845
[Analysis API] add some basic tests for symbol substitution
2022-06-22 09:31:42 +02:00
581ae5fcb7
[FIR IDE] Add a special type of KtCall for generic type qualifiers
...
^KTIJ-21672 Fixed
2022-06-14 15:00:13 +00:00
4d6b424280
[FIR IDE] Properly handle generic types qualifiers
...
In code like `foo.Bar<Bazz>`, `Bar<Bazz>` is considered to be
`KtCallExpression` from the PSI point
^KT-52779 Fixed
2022-06-14 15:00:12 +00:00
a3db2e13b2
FE10 analysis API: render type parameter bounds as FIR does
2022-05-31 11:34:58 +00:00
133f874351
Fix origin calculation in CliFe10AnalysisFacade
...
After this commit, all tests in
Fe10IdeNormalAnalysisSourceModuleFileScopeTestGenerated pass
2022-05-25 12:04:57 +00:00
21b86123e8
FIR: Adjust analysis test data after changes in how we load Java types
...
Especially, it's about types based on type parameters
2022-05-19 16:54:05 +00:00
61cca31b6b
AA: special handling for converted constants
2022-04-22 18:55:30 +02:00
faf6939515
AA: showcase strange const evaluation for -1
2022-04-22 18:55:30 +02:00
46707b0426
AA: test evaluation mode with same test inputs
2022-03-11 13:51:16 +01:00
a7fcbfb717
AA: move logic to evaluate constant property initializer
...
so as to handle composite expressions w/ constant property
2022-03-11 13:51:16 +01:00
606033e1e6
AA: introduce KtConstantEvaluationMode
2022-03-11 13:51:15 +01:00
1f93630a9c
AA: evaluate constant property initializers
2022-03-11 13:51:14 +01:00
7ec7cc47a9
AA: ignore evaluating named reference (to avoid exceptions)
2022-03-11 13:51:14 +01:00
e36bf55807
AA: avoid NPE while evaluating operations with non-numbers
2022-03-11 13:51:13 +01:00
8bcdc70adc
FIR IDE: Add IDE tests for sample compiler plugin
2022-02-25 23:08:26 +03:00
53d6ac24e5
Switch kotlin version to 1.7
...
* Change 1.6 to 1.7 constants
* Fix SAFE_CALL_WILL_CHANGE_NULLABILITY for testData
* Change EXPOSED_PROPERTY_TYPE_IN_CONSTRUCTOR_WARNING to EXPOSED_PROPERTY_TYPE_IN_CONSTRUCTOR_ERROR
* Change NON_EXHAUSTIVE_WHEN_STATEMENT to NO_ELSE_IN_WHEN
* Fix testData for SafeCallsAreAlwaysNullable
* Change T -> T & Any in test dumps
* Change INVALID_CHARACTERS_NATIVE_WARNING -> INVALID_CHARACTERS_NATIVE_ERROR
* TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM_WARNING -> TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM_ERROR
2022-02-25 11:46:27 +00:00
23af5510a6
[FIR] Render full declaration header in diagnostic messages
2022-02-18 17:44:38 +03:00
afb34d3193
Analysis API: Implement KtCallResolver.collectAllCandidates for FE 1.0.
2022-02-17 19:51:35 +01:00
3f3873dc50
Analysis API: Return KtCallCandidateInfo instead of KtCallInfo in
...
KtCallResolver.collectAllCandidates().
2022-02-11 13:22:58 +01:00
58c6c25fe9
Analysis API: Handle other FirElements in
...
KtCallResolver.resolveCandidates() and copy over remaining tests.
2022-02-11 13:22:58 +01:00
9b9da94a09
Analysis API: Fix issues related to implicit invoke calls:
...
- Correctly set explicit receiver value.
- Restore original function call from FirImplicitFunctionCall (i.e.,
calls implicitly resolved to `invoke`) to get the correct name for
getting all candidates.
- Collect candidates at all tower levels.
Also make order of candidate calls in tests deterministic.
2022-02-11 13:22:58 +01:00
ace826c570
Analysis API: Get argument mapping from candidate and type parameters
...
from candidate symbol.
2022-02-11 13:22:58 +01:00
0ed802bca4
Analysis API: Add tests for KtCallResolver.resolveCandidates().
2022-02-11 13:22:57 +01:00
918a91dbdf
Escape special names with backticks in test data
...
#KT-51248
2022-02-10 21:20:47 +00:00
aadfc59d0f
[FIR] Complete delegated constructor calls without proper constructed type
...
This is needed to definitely complete arguments of such calls
2022-02-07 13:36:38 +03:00
f0f2f67024
KT-50862 Unwrap use-site substitution overrides
...
Use-site substitution override happens in situations like this:
```
interface List<A> { fun get(i: Int): A }
fun take(list: List<String>) {
list.get(10) // this call
}
```
We want to have those overrides unwrapped, because we don't want
to deal with a different KtSymbol for each possible use-site
^KT-50862 Fixed
2022-01-29 07:42:18 +00:00
564e408434
KT-50862 Add name property to KtSignature
...
See the KDoc of the property for the reasons why
it was created
2022-01-29 07:42:17 +00:00
8befbc6375
KTIJ-20826 Approximate builder inference stub types as type parameters
...
This is a temporary fix to avoid crashes in FIR IDE
Of all stub types, only `ConeStubTypeForChainInference` is handled now,
so we can catch the other possible errors with stub types (in the
delegates' inference, for example)
The fix introduced in this commit should be reworked when KT-50916 is
fixed
^KTIJ-20826 Fixed
2022-01-25 17:09:03 +03:00
3b943706d8
Analysis API: fix call resolve inside plusAssign target
...
^KT-50864 fixed
2022-01-20 23:26:28 +03:00
11c50a48ba
Analysis API: add isSubclassOf tests
2022-01-02 21:56:53 +03:00
af789346f5
Analysis API: fix getKtExpressionType for array assignment target
2022-01-02 21:56:49 +03:00
3f8fff55cf
FIR IDE: Fix ImportOptimizer for types used as generics' parameters
2021-12-24 16:31:34 +00:00
e3219cc5b6
FIR IDE: Avoid resolving elvis operator, because it doesn't make sense
...
There are intrinsics to which elvis operator's usages are resolved;
however, we do not want to expose those intrinsics through the
high-level resolve
2021-12-21 18:48:00 +03:00
Ilya Kirillov