Ilya Kirillov
|
d0318f1026
|
Analysis API: add test for file annotations
|
2021-11-22 22:47:00 +01:00 |
|
Ilya Kirillov
|
ba918d45a2
|
Analysis API: introduce KtInitializerValue for initializer of KtPropertySymbol
|
2021-11-22 22:46:59 +01:00 |
|
Ilya Kirillov
|
02adb1924b
|
Analysis API: add tests to check annotations on declarations
|
2021-11-22 22:46:58 +01:00 |
|
Ilya Kirillov
|
fff8eb244c
|
Analysis API: add annotations to KtTypeAliasSymbol
|
2021-11-22 22:46:57 +01:00 |
|
Ilya Kirillov
|
a084ad59de
|
Analysis API: add test for annotations on types
|
2021-11-22 22:46:56 +01:00 |
|
Ilya Kirillov
|
193df3e3c4
|
Analysis API: fix annotation rendering for types
|
2021-11-22 22:46:55 +01:00 |
|
Ilya Kirillov
|
a5a5ff39d6
|
Analysis API: get rid of KtTypeAndAnnotations & add annotations for every type
|
2021-11-22 22:46:53 +01:00 |
|
Tianyu Geng
|
d0d1c8c4b9
|
Analysis API: add test for getReturnExpressionTargetSymbol
Also fix FIR and FE1.0 implementations.
|
2021-11-19 23:29:17 +01:00 |
|
Ilya Chernikov
|
cad57e693f
|
FIR: introduce declaration origin for binary classes from source module
in particular for incremental compilation when module is only partially
recompiled.
#KT-49750 fixed
|
2021-11-19 08:36:15 +01:00 |
|
Jinseong Jeon
|
205866a516
|
FIR IDE: add API to get KtType from KtTypeParameter
|
2021-11-18 17:33:17 +01:00 |
|
Jinseong Jeon
|
d91170ed2c
|
FIR IDE: add more tests about resolving reference to type parameters
|
2021-11-18 17:33:17 +01:00 |
|
Ilya Kirillov
|
7f6afcabf1
|
Analysis API: regenerate tests
|
2021-11-17 20:55:11 +01:00 |
|
Ilya Kirillov
|
7cb1f19a79
|
Analysis API: move component test classes to corresponding dirs
|
2021-11-17 20:55:10 +01:00 |
|
Jiaxiang Chen
|
f8262a2549
|
implement KtSymbolWithTypeParameters interface for KtPropertySymbol
|
2021-11-17 18:22:34 +01:00 |
|
Roman Golyshev
|
13e27a3e06
|
[FIR IDE] Get rid of KtPossiblyMemberSymbol::dispatchType
|
2021-11-15 14:36:35 +03:00 |
|
Roman Golyshev
|
4e1e1570df
|
[FIR IDE] Add getDispatchReceiverType function and use
This function is under a heavy deprecation and should not be used,
since it will most probably be removed in the future
|
2021-11-15 14:36:31 +03:00 |
|
Ilmir Usmanov
|
b7d88be41a
|
Regenerate FIR diagnostics-related files
|
2021-11-13 12:38:49 +01:00 |
|
zhelenskiy
|
c1dc1f7e33
|
Diagnostics renamed
Signed-off-by: zhelenskiy <zhelenskiy2000@yandex.ru>
|
2021-11-13 12:38:45 +01:00 |
|
Tianyu Geng
|
a8ae704c0c
|
FIR IDE: fix property accessor resolution
For property access with implicit receiver, the resolved fir is a
FirPropertyAccessExpression and hence we need to handle it in
KtFirCallResolver.
|
2021-11-12 21:56:46 +01:00 |
|
Ivan Kochurkin
|
d0a4ca199d
|
[FIR] Add UNCHECKED_CAST
Regenerate diagnostics code
|
2021-11-12 15:20:45 +03:00 |
|
Ivan Kochurkin
|
2b5524b18f
|
[FIR] Add CAST_NEVER_SUCCEEDS
|
2021-11-12 15:20:44 +03:00 |
|
Ivan Kochurkin
|
291bc74676
|
[FIR] Add CANNOT_CHECK_FOR_ERASED
|
2021-11-12 15:20:43 +03:00 |
|
Ivan Kochurkin
|
38820d3e41
|
[FIR] Implement WRONG_NUMBER_OF_TYPE_ARGUMENTS for top level type aliases
|
2021-11-12 15:20:42 +03:00 |
|
Yan Zhulanow
|
8d18fa2d00
|
[FIR IDE] Ensure prefixed test output file differs from the default one
|
2021-11-12 20:09:50 +09:00 |
|
Jinseong Jeon
|
4a16027873
|
FIR IDE: find source of deserialized top-level properties
|
2021-11-12 12:11:06 +03:00 |
|
Ilya Kirillov
|
0c7728f64a
|
Analysis API: fix PsiType creation for type parameter type with flexible upper bound
|
2021-11-10 18:49:43 +01:00 |
|
Jinseong Jeon
|
08e181a543
|
FIR IDE: add tests about types of array/list and their element
|
2021-11-09 09:25:45 +01:00 |
|
Jinseong Jeon
|
4eec381d1b
|
FIR IDE/LC: introduce/use KtTypeMappingMode
|
2021-11-08 20:12:17 +01:00 |
|
Jinseong Jeon
|
0da9ef873a
|
FIR LC: use optimal type mapping mode for return type
|
2021-11-08 20:12:17 +01:00 |
|
Jinseong Jeon
|
d3c34fa200
|
FIR LC: use optimal type mapping mode for value parameter
|
2021-11-08 20:12:17 +01:00 |
|
Jinseong Jeon
|
6d150fb7a5
|
FIR IDE: add APIs about FunctionClassKind
|
2021-11-08 20:12:17 +01:00 |
|
Ilya Kirillov
|
711b882e71
|
Analysis API: get rid of KtImportingScope as public API
|
2021-11-05 15:47:49 +01:00 |
|
Ilya Kirillov
|
d9fcea9451
|
Analysis API: simplify fir scope hierarchy
|
2021-11-05 15:46:10 +01:00 |
|
Ilya Kirillov
|
6453f2bdbf
|
Analysis API: simplify scope hierarchy
|
2021-11-05 15:46:09 +01:00 |
|
Ilya Kirillov
|
0dca176e28
|
FIR LC: make fir LC utils internal
|
2021-11-05 15:46:09 +01:00 |
|
Tianyu Geng
|
2c2851af6e
|
Analysis API: add test covering get missing when branches
Also fix FIR implementation to generate boolean branches in the same
order as FE1.0.
|
2021-11-04 23:04:35 +01:00 |
|
Tianyu Geng
|
ae50d52131
|
FIR IDE: add validity token to data classes related to smartcast API
Also move KtImplicitReceiverSmartCast closer to where it's used.
|
2021-11-04 16:00:38 +01:00 |
|
Tianyu Geng
|
197079c85c
|
FIR IDE: make smartcast API return unstable smartcasts
|
2021-11-04 16:00:37 +01:00 |
|
Ilya Kirillov
|
6462642988
|
Analysis API: fix type rendering for ConeDefinitelyNotNullType
|
2021-11-04 12:05:05 +01:00 |
|
Ilya Kirillov
|
da88ddfc71
|
FIR IDE: always approximate non-denotable types for creating PsiType
|
2021-11-04 12:05:04 +01:00 |
|
Ilya Kirillov
|
79f30755a5
|
FIR LC: do not create light classes for non-source declarations
|
2021-11-04 12:05:03 +01:00 |
|
Ilya Kirillov
|
55e6df6920
|
Analysis API: do not consider ValidityToken when comparing symbols and types
Symbols with the same FirDeclaration may come from the different analysis sessions
|
2021-11-04 12:05:02 +01:00 |
|
Ilya Kirillov
|
d63c136854
|
Analysis API: recreate analysis session when not found by resolve state
|
2021-11-04 12:04:54 +01:00 |
|
Jinseong Jeon
|
c3c79b874d
|
FIR IDE: make constant evaluator robust to arithmetic exception
|
2021-11-01 22:50:47 +01:00 |
|
Dmitriy Novozhilov
|
877b53201b
|
[FIR] Prohibit access to members of companion of enum from enum entry initializer
^KT-49110
|
2021-10-29 18:45:23 +03:00 |
|
Roman Golyshev
|
29bb8cea8f
|
[FIR] Add missing ensureResolved to FirClassSubstitutionScope
`createNewTypeParametersAndSubstitutor` call might need resolved types
to be able to work correctly with the generics' type bounds
|
2021-10-29 15:59:35 +03:00 |
|
Tianyu Geng
|
b48870c11f
|
FIR checker: pass expected array type in ASSIGNING_SINGLE_ELEMENT_TO_VARARG_IN_NAMED_FORM_FUNCTION
This is needed by the IDE quickfix to generate the correct `arrayOf` (or
`intArrayOf`, etc`) wrapper call.
|
2021-10-28 16:36:02 +03:00 |
|
Dmitriy Novozhilov
|
4490f64666
|
[FIR] Get rid of FirAnnotatedDeclaration
Now all fir declarations have annotations
^KT-49260 Fixed
|
2021-10-28 15:01:18 +03:00 |
|
Ilya Chernikov
|
da2d3f29da
|
Add multiple renderer sources support to new diagnostics infrastructure
|
2021-10-27 22:17:41 +02:00 |
|
Ilya Chernikov
|
9e60c70db7
|
Add abstract source element and switch diagnostics to it
|
2021-10-27 22:17:40 +02:00 |
|