azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
88,137 Commits 1 Branch 0 Tags
6129d920c79a41858bf50596ea45411038a08171
Commit Graph

5286 Commits

Author SHA1 Message Date
Leonid Startsev 767c570af4 Load default values for annotation members from classfiles 
so that defaults are available to synthetic implementations.

#KT-48181 Fixed

Implementation is for JVM IR; other backends & FIR need to be supported
separately.
 2021-12-07 10:10:04 +00:00
Victor Petukhov 61d40403e7 [FE 1.0] Create captured star projection for self types by replacing type arguments deeply 
^KT-49752 Fixed
 2021-12-07 11:38:45 +03:00
Mikhael Bogdanov a1262a4ecd Rename JVM default flags 2021-12-06 14:20:25 +01:00
Mikhael Bogdanov ea58c858d1 JvmDefault. Support @JvmDefaultWithCompatibility annotation 
#KT-48217 Fixed
 2021-12-06 14:20:24 +01:00
Ilya Kirillov 19dec92247 Analysis API: rework declaration renderer 
- refactor code to use PrettyPrinter instead of ad-hoc one
- do not print nested local declarations as this does not seem to have use-cases
 2021-12-02 20:09:18 +01:00
Ilya Kirillov f722a54c78 Analysis API: separate constant values from annotation values 2021-12-02 20:09:16 +01:00
Anastasiya Shadrina 9e2271399e [FE] Render context receivers for functions, properties, and classes 2021-12-02 20:25:05 +03:00
Anastasiya Shadrina 2954c5cc9c [FE] Use DescriptorFactory.createContextReceiverParameterForCallable 2021-12-02 20:25:02 +03:00
Anastasiya Shadrina a760865767 [PSI2IR] Generate safe calls correctly 2021-12-02 20:24:54 +03:00
Anastasiya Shadrina bd4e51f304 [FE, PSI2IR] Pass context receivers when calling typealias constructor 2021-12-02 20:24:50 +03:00
Anastasiya Shadrina 617af898b0 [FE, IR] Support deserialization 2021-12-02 20:24:37 +03:00
Anastasiya Shadrina f05ca5be33 [PSI2IR] Additional receiver -> context receiver 2021-12-02 20:24:26 +03:00
Anastasiya Shadrina 1357f28be6 [FE] Create separate class for context receiver value 2021-12-02 20:24:21 +03:00
Anastasiya Shadrina d47cf315e7 [Metadata] Add context receivers to metadata.proto 
[Tests] Add JvmVersionRequirementTest
 2021-12-02 20:24:20 +03:00
Anastasiya Shadrina b3591e77be [FE] Prohibit explicit @ContextFunctionTypeParams usage 2021-12-02 20:24:20 +03:00
Anastasiya Shadrina 369c86ebb0 [FE] Fix contextual functional types rendering 2021-12-02 20:24:16 +03:00
Anastasiya Shadrina e3f987459c [PSI, FE] Support functional types 2021-12-02 20:24:11 +03:00
Anastasiya Shadrina af78ec7371 [PSI, FE] Review fixes 2021-12-02 20:24:04 +03:00
Anastasiya Shadrina 1bcaeabd84 [PSI, FE, PSI2IR] Use labels for referencing specific receiver 2021-12-02 20:23:40 +03:00
Anastasiya Shadrina f4ddf66ac4 [FE] Support context receivers on classes 2021-12-02 20:23:25 +03:00
Anastasiya Shadrina c34fe8d547 [FE] Implement temporary resolution algorithm 2021-12-02 20:23:24 +03:00
Anastasiya Shadrina c5687e080d [FE] Pass context receiver parameters where necessary 2021-12-02 20:23:18 +03:00
Anastasiya Shadrina a39fbd3822 [FE] Add getContextReceivers to CallableDescriptor interface 2021-12-02 20:23:17 +03:00
Ilya Muradyan 6917ff7d2a [scripting] Move earlierScripts to the frontend descriptor 
^KT-20488 fixed
 2021-11-30 09:11:59 +03:00
Vladimir Dolzhenko 42837415f0 Use nameFilter if all descriptors have not calculated 
#KT-49821 Fixed
 2021-11-25 02:22:40 +03:00
Quantum64 bfa3f89aeb Fix grammatical error in unsupported reflection exception 2021-11-24 22:43:18 +01:00
Dmitriy Novozhilov cb0705ec03 [FIR] Change scheme of generating declarations by plugins 
Methods `needToGenerateAdditionalMembersInClass` and
  `needToGenerateNestedClassifiersInClass` are removed, now compiler
  uses `get...Names` and `getTopLevel...` methods to determine which
  extension may generate declaration with specific classId/callableId

This is needed to simplify API of FirDeclarationGenerationExtension and
  provide guarantee that `generate...` method will be called with
  specific classId/callableId only if specific extensions returned name
  for this id from `getName...` functions
 2021-11-23 15:01:28 +03:00
Dmitriy Novozhilov 01c0cf80d0 [FIR] Support @kotlin.jvm.PurelyImplements annotation 2021-11-22 17:01:17 +03:00
Alexander Udalov 1b5e3f5d51 Deserialize repeated annotations inside implicit container 
#KT-49651 Fixed
 2021-11-18 15:33:34 +01:00
Dmitriy Novozhilov 93378b1a04 [FE 1.0] Resolve private constructors of sealed classes same as for regular classes 
^KT-44866
^KT-49729
 2021-11-18 13:54:05 +03:00
Artem Kobzar d5dd35cb20 feat(@JsExport for interfaces): add ability to export interfaces in TypeScript. 2021-11-18 10:07:38 +00:00
Yan Zhulanow a653a57593 [FIR IDE] Unwrap typealias SAM constructor in AAPI/FE10 
This commit fixes KtFe10ResolveCallTestGenerated#testSamConstructorCall().
 2021-11-12 20:09:53 +09:00
Tianyu Geng 8ba2e4d221 FIR: move JavaAnnotationMapper.javaToKotlinNameMap to common 
so that FIR IDE logic can reference it
 2021-11-04 20:52:50 +01:00
Jinseong Jeon c3c79b874d FIR IDE: make constant evaluator robust to arithmetic exception 2021-11-01 22:50:47 +01:00
Jinseong Jeon 2dc2a90755 Introduce an API to convert TypeConstructorMarker to TypeParameterMarker 2021-10-28 12:54:45 +03:00
Sergej Jaskiewicz a367b91aa1 [IR] [Refactoring] Add toString and String::plus to IrBuiltins 
Also use `OperatorNameConventions` constants instead of magic strings
 2021-10-28 08:35:11 +00:00
Victor Petukhov 64c682f465 Remove constraints containing stub types after completion of the common system of a builder inference call 
^KT-49285 Fixed
 2021-10-26 19:37:59 +03:00
Victor Petukhov 2261928f4f Process simple CapturedType in ClassicTypeSystemContext.typeConstructorProjection as well 
^KT-49101 Fixed
 2021-10-26 19:37:58 +03:00
Victor Petukhov d015d3bc0e Don't enhance previously erased value parameters for jspecify strict mode 
^KT-48261 Fixed
 2021-10-26 19:37:55 +03:00
Denis.Zharkov 0bdea4f20a FIR: Do not create incorrect synthetic property 2021-10-26 18:45:59 +03:00
Denis.Zharkov fe1b4d61c2 Move some property convention helpers to compiler.common.jvm 
Since it will be used in FIR, too
 2021-10-26 18:45:58 +03:00
Tianyu Geng 6a59dc7fa5 FIR: add bfs helper and use it 
It's also used in Kotlin quickfixes in intellij repo
 2021-10-26 00:42:09 +02:00
Ilya Kirillov a11cd74b28 Revert "FIR: add bfs helper and use it" 
This reverts commit dbb0496d23.
 2021-10-26 00:37:31 +02:00
Tianyu Geng dbb0496d23 FIR: add bfs helper and use it 
It's also used in Kotlin quickfixes in intellij repo
 2021-10-26 00:06:00 +02:00
Tianyu Geng f23256bf49 FIR: filter out builtin symbols in JvmClassFileBasedSymbolProvider 
These symbols are already provided by FirBuiltinSymbolProvider.
 2021-10-23 15:33:31 +02:00
Yan Zhulanow 516dd825c2 [FIR IDE] Initial descriptor-based implementation of the Analysis API 2021-10-20 19:41:24 +03:00
Yan Zhulanow 44a1fe668e [FIR IDE] Extract implicit set parameter name to reuse it in Analysis API 2021-10-20 19:41:21 +03:00
Dmitriy Novozhilov bee44c6e0f [FIR] Split :compiler:fir:resolve module into three different modules 
Those modules are:
- :compiler:fir:providers, which contains Fir and Symbol providers,
    scopes, and different utilities used by them
- :compiler:fir:semantics, which contains different abstractions and
    entities which are used in resolution and in checkers
- :compiler:fir:resolve, which contains all stuff related to resolution
    and inference

There are two pros of this change:
1. It may increase gradle build, because it allows to compile :fir:resolve
  and :fir:checkers modules in parallel
2. Logic of working FIR (scopes, providers, DFA logic system, etc) is
  now separated from logic of resolution phases, so for example checkers,
  which are depend on scopes physically will not be able to run resolve
  in any way
 2021-10-18 11:10:47 +03:00
Mark Punzalan 167dc81d3b FIR/Analysis API: Get parameter name from function type notation or 
`@ParameterName` annotation, which is also now added during type
resolution.
 2021-10-15 16:19:00 +03:00
Dmitriy Novozhilov f3a9d70eb6 [FIR] Add ability to generate members and nested classifiers for generated classes 2021-10-12 17:26:29 +03:00