azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
96,340 Commits 1 Branch 0 Tags
8883de3f001bf91ff4e913f3a2015e5ec7b54302
Commit Graph

314 Commits

Author SHA1 Message Date
Ivan Kochurkin 8883de3f00 [FIR] Don't resolve Enum.declaringClass and Enum.getDeclaringClass 
^KT-53946 Fixed
 2022-11-23 18:29:29 +00:00
Anna Kozlova 43bd05f470 [LL FIR] make dependency from library on builtins invisible from outside 
^KTIJ-23421

hide explicit builtins to reveal target platform dependencies.
Otherwise, `expect` class from builtin of e.g. JDK
would be found instead of actual dependency from Kotlin Runtime
 2022-11-23 10:46:49 +00:00
Jinseong Jeon c79d65536b Gracefully handle erroneous super type during local type approximation 
^KTIJ-23528 Fixed
 2022-11-22 20:16:40 +01:00
Ilya Kirillov f775778efa [Analysis API FIR] fix containing declaration for value parameter 
now it should also work for non-source declarations
 2022-11-22 18:25:30 +01:00
Dmitriy Novozhilov 01c6c7dc59 [FIR] Properly approximate return type of callable declarations 
- approximate intersection types in all non-local declarations
- approximate local types in non-private non-local declarations
 2022-11-22 15:46:20 +00:00
Anna Kozlova 1906a41d9a fix testdata after merge 2022-11-22 13:31:41 +01:00
Marco Pennekamp 93f560eb4d [Analysis API] Add call resolution tests for KTIJ-23373 
- The Java functions aren't recognized as candidates during the test
  (`FULL_JDK` isn't helping), so I've replicated the tests with local
  extension functions and confirmed that they uncover the same
  exception.
 2022-11-22 13:13:35 +01:00
Anna Kozlova 702d0b4d54 [compiler] missed type parameters in local properties (KTIJ-23583) 
even though local variables won't contain type parameters,
let's build fir for them
 2022-11-22 10:47:45 +00:00
Jaebaek Seo c55efe62a3 [AA] handles FIR isUsedAsExpression for return within function block 
For the following example:

```
fun foo(bar: Int) {
  <expr>if (bar == 4) return "Four"
  else return "Int"</expr>
}
```

AA FE1.0 `isUsedAsExpression` returns `false`.
Since the current AA FIR `isUsedAsExpression` returns `true` for the
above example, this commit fixes it.
 2022-11-21 18:26:41 +01:00
Nikolay Lunyak fb09f139dd [FIR] Unmute receiver annotations tests 
These tests were muted in 89f8821d. Seems they began to work after the
introduction of `FirReceiverParameter` in KT-54417.
 2022-11-21 08:51:43 +00:00
Anna Kozlova e5ce32feeb [ANALYSIS API] introduce dedicated KtCall for incomplete code 
KTIJ-23505 and duplicates
 2022-11-18 20:59:31 +01:00
Marco Pennekamp c5e5140c08 [Analysis API] Fix exceptions around type parameters being treated as callables 
- `toResolvedCallableSymbol`: cast defensively because
  the resolved symbol might not be a callable symbol.
- `toKtCallInfo`: Check that the resolved symbol is actually callable.

^KTIJ-23003 fixed
 2022-11-17 18:58:38 +00:00
Jinseong Jeon 6caf384bad AA FIR: handle Java annotation vararg values 2022-11-17 12:58:14 +01:00
Dmitrii Gridin a0f4c674f5 [AA] KtCallableReceiverRenderer: add annotations renderer 
^KT-54417
 2022-11-17 09:50:19 +00:00
Dmitrii Gridin 032026278c fix compilation and testData after rebase 
^KT-54417
 2022-11-17 09:50:17 +00:00
Dmitrii Gridin 1ebfbc0ee9 [AA] KtCallableSymbol: rename receiver to receiverParameter 
^KT-54417
 2022-11-17 09:50:12 +00:00
Dmitrii Gridin 2741052db3 [AA] integrate KtReceiverParameterSymbol to KtCallableSymbol 
^KT-54417
 2022-11-17 09:50:10 +00:00
Dmitrii Gridin 37d688ae83 [AA] introduce FirReceiverParameter 
^KT-54417
 2022-11-17 09:50:09 +00:00
Dmitrii Gridin be7d282974 [FIR] introduce FirReceiverParameter 
^KT-54417
 2022-11-17 09:50:09 +00:00
Jinseong Jeon fcba1f215a AA: handle erroneous type in nested type argument 2022-11-16 14:13:43 +01:00
Dmitrii Gridin 36f9a8b7b8 [AA] fix symbol pointer for setter 
^KT-54311
 2022-11-15 21:37:27 +00:00
Nikolay Lunyak 89f8821d0a [FIR] KT-53371, KT-53519: Fix annotations arguments mapping 
See: compiler/testData/asJava/lightClasses/
AnnotatedParameterInInnerClassConstructor.kt

The muted tests don't work with the (KT-53371, KT-53519)-related
changes. During this test happens an attempt to access unresolved
annotations via CustomAnnotationTypeAttribute.
Discussion: KTIJ-23547
 2022-11-14 22:40:41 +02:00
Anna Kozlova 9f470e2a4d [LL API] return FirErrorProperty for top level destructuring declaration 
KTIJ-23552
 2022-11-11 17:39:54 +01:00
Anna Kozlova 3590c4ea35 [Analysis API FIR] support generated temp properties 
KTIJ-23492 (array index expression), KTIJ-23138 (inc/dec desugaring)
 2022-11-11 17:39:53 +01:00
Dmitrii Gridin bbe1aa61af [AA FIR] support symbol pointer for property from constructor 
^KT-54311
^KT-54311
 2022-11-11 14:34:52 +00:00
Dmitrii Gridin fe93f49ff7 [AA] KtPsiBasedSymbolPointer: add class type check 
^KT-54311
 2022-11-11 14:34:51 +00:00
Ilya Kirillov 4b7cacd55e [FIR] do not ignore nested type aliases in FirNestedClassifierScope 2022-11-11 12:00:01 +01:00
Ilya Kirillov 2378437b30 [Analysis API FIR] do not create resolved KtTypes for unresolved ones 2022-11-11 12:00:00 +01:00
Ilya Kirillov 10b593ba8c [Analysis API] mute tests for expect/actual rendering as expect/actuals are not suported in symbols yet 
^KT-54036
^KTIJ-23268
 2022-11-11 11:59:59 +01:00
Ilya Kirillov 26ec7ec296 [Analysis API] update testdata after renderer rework 
The new testdata seems to be more correct or just different

^KTIJ-23268
 2022-11-11 11:59:59 +01:00
Ilya Kirillov 068168bc3c [fir] change setter parameter name to value 2022-11-11 11:59:56 +01:00
Jinseong Jeon 2131cb4fe0 AA FIR: functional type for anonymous function 
^KTIJ-17657 In progress
 2022-11-11 10:15:44 +01:00
Dmitrii Gridin 638eccac16 [AA K2] add missing resolve for signature creation 
^KT-54311
 2022-11-10 06:39:23 +00:00
Dmitrii Gridin 202a022b49 [AA K2] implement symbol pointers for value parameters 
^KT-54311
 2022-11-10 06:39:23 +00:00
Dmitrii Gridin 043e3e6840 [AA K2] implement symbol pointers for receiver parameter 
^KT-54311
 2022-11-10 06:39:23 +00:00
Dmitrii Gridin 48f7cdfaa1 [AA K2] implement symbol pointers for property accessors 
^KT-54311
 2022-11-10 06:39:22 +00:00
Dmitrii Gridin 731545573a [AA K2] add more tests on java members 
^KT-54311
 2022-11-10 06:39:22 +00:00
Dmitrii Gridin 42f8e6fbe6 [AA] add more tests on java field symbols 
^KT-54311
 2022-11-10 06:39:20 +00:00
Dmitrii Gridin 897a5b085d [AA K2] implement symbol pointers for enum entry members without psi 
^KT-54311
 2022-11-10 06:39:19 +00:00
Dmitrii Gridin c6a3ca86eb [AA K2] symbol pointers: add tests on enum entry 
^KT-54311
 2022-11-10 06:39:19 +00:00
Dmitrii Gridin 9b6e9e2dd1 [AA K2] implement symbol pointers for type parameters 
^KT-54311
 2022-11-10 06:39:17 +00:00
Dmitrii Gridin 47c9618b79 [AA K2] implement symbol pointers for type aliases 
^KT-54311
 2022-11-10 06:39:17 +00:00
Dmitrii Gridin 0808f4e233 [AA K2] implement symbol pointers for classes and objects 
^KT-54311
 2022-11-10 06:39:16 +00:00
Dmitrii Gridin 85072b0c96 [AA K2] KtFirMemberSymbolPointer: migrate owner to pointer 
^KT-54311
 2022-11-10 06:39:16 +00:00
Dmitrii Gridin f86c9be733 [AA K2] implement symbol pointer for top level properties 
^KT-54311
 2022-11-10 06:39:15 +00:00
Dmitrii Gridin 4bd604f2ed [AA] check symbol pointer restoring without psi anchor 
^KT-54311
 2022-11-10 06:39:14 +00:00
Jinseong Jeon b2e239a542 AA: tests about equals on sealed/data class 
^KT-54844 In Progress
 2022-11-09 07:12:36 +01:00
Anna Kozlova 79bed083e6 [FIR] allow primary constructors in interfaces to support invalid code 
KTIJ-23504
 2022-11-08 14:51:33 +01:00
Jinseong Jeon 4497be0b68 AA: do not parse signature with NO_NAME_PROVIDED 
^KTIJ-23503 Fixed
 2022-11-04 10:42:19 +01:00
Anna Kozlova f18d1e9067 [Analysis API FIR] support call expression resolve in class literal 
KTIJ-23272
 2022-11-04 08:10:09 +01:00