Commit Graph

337 Commits

Author SHA1 Message Date
Yan Zhulanow 46ac3571d5 Fix "infix modifier required" errors in project 2015-11-27 15:51:11 +03:00
Ilya Gorbunov 32151c077e Replace map { ... }.filterNotNull() with mapNotNull { ... } 2015-11-21 00:54:01 +03:00
Pavel V. Talanov 6bb89021dd Rename: KtClassInitializer -> KtAnonymousInitializer 2015-11-19 22:57:05 +03:00
Alexander Udalov 3e27fdb964 Inline and move out utilities from ConstraintSystem 2015-11-18 16:40:49 +03:00
Alexander Udalov d4664af4e5 Get rid of originalToVariableSubstitutor and descriptorToVariable
Move the composite substitutor to GenericCandidateResolver where it was used,
other places don't need it since they know the exact call (or NO_CALL), the
substitutor for which should be used
2015-11-18 16:40:48 +03:00
Alexander Udalov 178ca3daae Add call to type variable and mapping descriptor -> variable
Since type parameter descriptor represents a single declaration of a type
parameter, multiple variables in one system may correspond to one type
parameter (e.g. in case of nested calls). Hence it's not possible to map type
parameters uniquely onto type variables and additional information is required
2015-11-18 16:40:47 +03:00
Alexander Udalov 27ce61a3be Always alpha-convert non-external type parameters before registering in system 2015-11-18 16:40:45 +03:00
Alexander Udalov 13abc265ad First steps to make distinction between variables and descriptors in ConstraintSystem
A type variable is an entity, the value of which should be solved by the
system; a descriptor is an actual TypeParameterDescriptor declaration
2015-11-18 16:40:43 +03:00
Alexander Udalov 89dfd52363 Remove ConstraintSystem.partialSubstitutor, move logic to FuzzyType 2015-11-18 16:40:42 +03:00
Alexander Udalov d72a4c8037 Cleanup constraint system, convert functions to properties, delete unused 2015-11-18 16:40:41 +03:00
Alexander Udalov 265c135e89 Rename ConstraintSystemImpl -> ConstraintSystemBuilderImpl 2015-11-18 16:40:40 +03:00
Alexander Udalov bb918a2742 Move mutating methods of ConstraintSystem to Builder
Extract immutable ConstraintSystemSnapshot from ConstraintSystemImpl
2015-11-18 16:40:39 +03:00
Alexander Udalov 393852bf70 Simplify signature of ConstraintSystem#registerTypeVariables
Drop unused variance from TypeBounds and ConstraintSystem, provide default
values, inline methods used only once
2015-11-18 16:40:37 +03:00
Dmitry Petrov 99b411c8ca companionObjectType --> classValueType
(NB: it IS NOT a companion object in case of OBJECT or ENUM_ENTRY)
Unify related names.
2015-11-18 16:27:26 +03:00
Dmitry Petrov ba8372cc11 Fixes for IDE tests after qualifier modifications:
- CallType should look into QUALIFIER,
 so that completion works for (companion) object qualifiers.
- Record type and reference target for object qualifiers (not only for companions).
- "Create (function/...)" should understand ClassQualifier as possible receiver.
- Cleanup after rebase on master.
2015-11-18 14:35:54 +03:00
Mikhail Glukhikh 59e54d1db1 Rename: ThisReceiver ---> ImplicitReceiver 2015-11-17 13:02:16 +03:00
Mikhail Glukhikh 7ba297db81 ThisReceiver converted to Kotlin 2015-11-17 13:02:12 +03:00
Stanislav Erokhin 5a7e879c0c Convert ExpressionReceiver to kotlin. 2015-11-17 01:25:17 +03:00
Stanislav Erokhin 1c9136a8cd Minor. introduce method ExpressionReceiver.create and replace almost all usages of constructor ExpressionReceiver. 2015-11-17 01:25:15 +03:00
Valentin Kipyatkov 927df1c4cd KT-5072 Values of extension function type are not seen in completion
#KT-5072 Fixed
2015-11-16 18:24:37 +03:00
Dmitry Jemerov e64a270d1a more renames to get rid of "Jet" in class and method names 2015-11-09 19:07:11 +01:00
Valentin Kipyatkov 4c5d5ed18f Do not show "assertFailsWith" in any smart completion 2015-11-09 15:37:47 +03:00
Valentin Kipyatkov 63b5966212 Top-level callables are added one by one 2015-11-09 15:37:47 +03:00
Valentin Kipyatkov b73c574d19 Correct completion after "super."
#KT-8406 Fixed
2015-11-05 17:47:54 +03:00
Stanislav Erokhin 2c3f58eeb7 Renamed methods in MemberScope from getSmth to getContributedSmth 2015-11-05 14:34:00 +03:00
Stanislav Erokhin 21fdd2ffc3 Created common supertype for LexicalScope & ImportingScope -- HierarchicalScope 2015-11-04 12:41:33 +03:00
Valentin Kipyatkov c11bf32594 More correct shadowed declarations filtering in completion 2015-11-03 11:46:19 +03:00
Pavel V. Talanov dc1fbe89ec J2K ValueParameterDescriptor inteface in one go 2015-11-02 18:38:30 +03:00
Valentin Kipyatkov 4c6f6c2a2e Minor refactoring: excludeNonInitializedVariable() moved into ReferenceVariantsHelper 2015-10-30 12:03:52 +03:00
Valentin Kipyatkov 3e3d86aebb A little bit more correct filtering 2015-10-30 12:03:51 +03:00
Valentin Kipyatkov c9048266c8 Fixed extensions completion for runtime receiver type in debugger (broken by previos changes in extensions completion) 2015-10-30 12:03:51 +03:00
Valentin Kipyatkov 9feed9c3ef Fixed filtering of shadowed declarations after changes in extensions treatment 2015-10-30 12:03:50 +03:00
Valentin Kipyatkov be5569d31a Performance optimization in completion: do not analyze all extensions available from imports - use index 2015-10-30 12:03:50 +03:00
Alexander Udalov 4d909d9012 Move LexicalScope to frontend 2015-10-29 21:16:05 +03:00
Alexander Udalov 86bc21da30 Make getUpperBoundsAsType an utility, remove from TypeParameterDescriptor 2015-10-28 19:17:53 +03:00
Valentin Kipyatkov 91ff27f78c Rename 2015-10-27 18:24:56 +03:00
Valentin Kipyatkov 59fa639ab4 Refactored ReferenceVariantsHelper to not require KtSimpleNameExpression 2015-10-27 18:24:55 +03:00
Valentin Kipyatkov 4fcd35a5a9 Introduced LexicalScope for file top-level to obtain ownerDescriptor 2015-10-26 19:30:05 +03:00
Valentin Kipyatkov c239e84aa0 Removed hack for package directive completion 2015-10-26 19:30:05 +03:00
Valentin Kipyatkov a5982281af Temporary fix for problem with ownerDescriptor in ImportingScope 2015-10-26 19:30:05 +03:00
Valentin Kipyatkov 95a0372b43 Using PsiElement.getResolutionScope instead of LEXICAL_SCOPE from BindingContext 2015-10-26 19:30:04 +03:00
Valentin Kipyatkov 6af71caaa9 Moved PsiElement.getResolutionScope utliity into ide-common 2015-10-26 19:30:04 +03:00
Valentin Kipyatkov ed6f845377 Added utility functions for synthetic extensions in scope 2015-10-26 19:30:04 +03:00
Valentin Kipyatkov c09cf63424 Added utility functions for functions and variables in scope 2015-10-26 19:30:03 +03:00
Valentin Kipyatkov 5f06f53bfd Renames 2015-10-26 19:30:03 +03:00
Valentin Kipyatkov 470e9ba776 Fixed 2015-10-26 19:30:01 +03:00
Valentin Kipyatkov 44415cf321 Less use of RESOLUTUON_SCOPE from BindingContext 2015-10-26 19:30:01 +03:00
Valentin Kipyatkov 3eb1cff36a Less use of KtScope 2015-10-26 19:30:00 +03:00
Valentin Kipyatkov 375ecb4026 Refactored CompletionKind removing duplication with CallType 2015-10-22 18:48:14 +03:00
Nikolay Krasko 2f26480e6b Auto-imports for index functions, += like operators, invoke, delegates and components
#KT-9482 Fixed
 #KT-9397 Fixed
 #KT-8060 Fixed
2015-10-21 14:06:04 +03:00