Commit Graph

2328 Commits

Author SHA1 Message Date
Dmitriy Novozhilov 452fb3e723 [FIR] Add stage for resolve contract desription 2020-04-15 11:12:59 +03:00
Dmitriy Novozhilov 9b903b5e13 [FIR] Process implicit receivers in calls with contract 2020-04-15 11:12:59 +03:00
Dmitriy Novozhilov 300c3c30fb [FIR] Fix erasing existing data flow statements 2020-04-15 11:12:59 +03:00
Dmitriy Novozhilov 3c33ee9c68 [FIR-TEST] Move existing contract tests to fromLibrary directory 2020-04-15 11:12:58 +03:00
Dmitriy Novozhilov ba35c43fe9 [FIR] Add forgotten kind initialization in ConeConditionalEffectToFirVisitor 2020-04-15 11:12:58 +03:00
Dmitriy Novozhilov cef6cd765c [FIR] Make ConeEffectDeclaration an abstract class 2020-04-15 11:12:58 +03:00
Dmitriy Novozhilov 258bc62bac [FIR] Replace deprecation on transformer adapters with opt in annotation 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov eef9b87047 [FIR] List for unresolved effects to resolved contract node 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov 4e1bf5f1e2 [FIR] Add extracting contracts in raw fir builder and light tree builder 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov 25cee12421 [FIR] Add contracts to FIR renderer 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov 50627f2c83 [FIR] Add contract renderer 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov a89e0123c7 [FIR] Add fir node for raw contract description 2020-04-15 11:12:56 +03:00
simon.ogorodnik 6d3dccab83 [FIR] Fix obsolete transforms & visit consistency 2020-04-14 20:05:47 +03:00
Jinseong Jeon 08b91da6db FIR: fix body generation for data class's copy method 2020-04-14 11:51:30 +03:00
Jinseong Jeon 948f9debdc FIR: refactor member generations for data class 2020-04-14 11:51:30 +03:00
Mark Punzalan d4cbfcb79e [FIR] Promote numeric types during comparisons
Added support for comparing platform types. Extracted logic to convert
operator expressions to OperatorExpressionGenerator.
2020-04-14 11:51:30 +03:00
simon.ogorodnik 276c393141 [FIR] Support captured type parameters in java symbol provider 2020-04-13 20:26:19 +03:00
simon.ogorodnik af27ca013b [FIR] Fix captured type parameters propagation in deserialization 2020-04-13 20:26:19 +03:00
simon.ogorodnik 356e42196c [FIR2IR] Fix inner class constructor receiver parameter type 2020-04-13 20:26:19 +03:00
simon.ogorodnik 132c8ee210 [FIR] Apply GOOD testData changes after type parameters support 2020-04-13 20:26:18 +03:00
simon.ogorodnik 797b58669b [FIR] Support captured type parameters in lightTree2fir 2020-04-13 20:26:17 +03:00
simon.ogorodnik 9db69c0b08 [FIR2IR] Fix type arguments in generated this receiver 2020-04-13 20:26:17 +03:00
simon.ogorodnik 861cc6ee20 [FIR] Fix default constructors in jvm mapped scope 2020-04-13 20:26:17 +03:00
simon.ogorodnik 21ede8b745 [FIR] Add test for inner class type parameter capturing 2020-04-13 20:26:17 +03:00
simon.ogorodnik b72d0957e4 [FIR] Support captured type arguments of anonymous objects in resolve 2020-04-13 20:26:17 +03:00
simon.ogorodnik 2b114dd2b4 [FIR] Fix fake overrides callable id 2020-04-13 20:26:17 +03:00
simon.ogorodnik c2ea0676e4 [FIR] Split functions & constructors processing 2020-04-13 20:26:17 +03:00
simon.ogorodnik 7a1ecabe0a [FIR2IR] Use deepest matching symbol on fake override calls 2020-04-13 20:26:16 +03:00
simon.ogorodnik d55c6550bb [FIR] Add substitution to classifiers processing 2020-04-13 20:26:16 +03:00
simon.ogorodnik cd4a7a25c3 [FIR] Match ordering of type arguments with type parameters 2020-04-13 20:26:16 +03:00
simon.ogorodnik 27537f71df [FIR] Use constructed class type parameters refs in java symbol provider 2020-04-13 20:26:16 +03:00
simon.ogorodnik 1d249ad279 [FIR] Use constructed class type parameters refs in deserialization 2020-04-13 20:26:16 +03:00
simon.ogorodnik ec39cd3d31 [FIR] Use captured, constructed class type parameters in RawFirBuilder 2020-04-13 20:26:16 +03:00
simon.ogorodnik f174893009 [FIR] Add kotlinx-collections-immutable to raw fir builders 2020-04-13 20:26:15 +03:00
simon.ogorodnik 49d361b6eb [FIR] Improve type-parameter rendering in html dump 2020-04-13 20:26:15 +03:00
simon.ogorodnik cb00a4c136 [FIR] Update type parameter use-sites to use type parameter refs 2020-04-13 20:26:15 +03:00
simon.ogorodnik 7c56209cef [FIR] Introduce type parameter ref in generated tree 2020-04-13 20:26:15 +03:00
Mikhail Glukhikh b6cf08d097 [FIR2IR] Extract createIrSyntheticFunction/Parameter from data class gen 2020-04-13 17:30:06 +03:00
Mikhail Glukhikh 4f1caf24a1 [FIR2IR] Minor: eliminate warning about list under the hood 2020-04-13 17:30:05 +03:00
Mikhail Glukhikh 6827280521 [FIR2IR] Reuse declareThisReceiverParameter in DataClassMembersGenerator 2020-04-13 17:30:05 +03:00
Jinseong Jeon c370b86141 IR: consolidate generation of synthetic members for data class 2020-04-13 17:30:05 +03:00
Mikhail Glukhikh 1500131eb0 [FIR2IR] Re-use applyCallArguments for IrDelegatedConstructorCall 2020-04-13 17:09:05 +03:00
Mikhail Glukhikh 1ba160b3de [FIR] Apply argument mapping to delegated constructor calls 2020-04-13 17:09:04 +03:00
Mikhail Glukhikh 734ddc0369 [FIR] Rename: selectCandidateFrom... -> selectDelegatingConstructorCall 2020-04-13 17:09:04 +03:00
Juan Chen e954aea4cc [FIR2IR] Support argument reordering of constructor calls 2020-04-13 17:09:04 +03:00
Juan Chen bae41ddf6d [FIR2IR] Introduce IrBlock for reordering arguments if needed 2020-04-13 17:09:03 +03:00
Ilya Chernikov acc5633811 [NI] Fix inference of lambda with receiver when wrapped...
in when/if or another lambda.
#KT-37419 fixed
2020-04-13 14:50:49 +02:00
Georgy Bronnikov 9ccda31189 IR: deal with conflicting variances in computeSubstitutedSyntheticAccessor 2020-04-13 14:34:57 +03:00
Georgy Bronnikov 5700da2bae IR: type parameter context for return values in InsertImplicitCasts 2020-04-13 14:34:57 +03:00
Georgy Bronnikov 166b506f63 IR: only require all type parameter references to be local with new inference 2020-04-13 14:34:57 +03:00