Commit Graph

256 Commits

Author SHA1 Message Date
Stanislav Erokhin b51edf9004 Fixed completion for package, import directive and user type. 2015-09-18 21:00:22 +03:00
Denis Zharkov 9c4564a5a6 Get rid of deprecated annotations and modifiers in project code 2015-09-18 09:34:27 +03:00
Alexey Sedunov 49f0101b70 Pull Up: Approximate anonymous object type with its direct supertype 2015-09-11 02:20:52 +03:00
Zalim Bashorov 7036b36a94 Minor: replace some usages of (old) package facade with new package parts 2015-09-10 18:49:11 +03:00
Valentin Kipyatkov 55558e2969 Use ConstraintSystem.getPartialSubstitutor to get more correct substitution 2015-09-07 19:27:07 +03:00
Valentin Kipyatkov e8dc9ede31 Implemented HiddenDeclaration annotation (doc-comment to be added!) 2015-08-29 10:54:59 +03:00
Stanislav Erokhin 4c7bafce45 Global replace JetScope to LexicalScope 2015-08-29 01:45:56 +03:00
Denis Zharkov 4a3fbcc16e Make project compilable after fixes about generic nullability 2015-08-28 18:50:26 +03:00
Valentin Kipyatkov fbb37f0154 Refactored ReferenceVariantsHelper to allow specifying receiver 2015-08-28 16:22:46 +03:00
Stanislav Erokhin 9a435e332f Fix InnerClassesScopeWrapper - remove properties and functions from this scope. 2015-08-27 12:01:07 +03:00
Valentin Kipyatkov 5a4cd96c75 Fix in extractableAnalysisUtil.kt 2015-08-25 18:56:17 +03:00
Valentin Kipyatkov 0f332bd8b9 Refactored sorting in completion
Also changed semantics of DeclarationDescriptor.importableFqName - it now returns null when descriptor cannot be referenced by import + dropped DeclarationDescriptor.importableFqNameSafe
2015-08-25 18:56:16 +03:00
Pavel V. Talanov 608345df7b Improve ResolutionFacade api: it stores moduleInfo and provides moduleDescriptor
Remove some redundant parameters passed along with ResolutionFacade
2015-08-21 21:11:59 +03:00
Pavel V. Talanov 2432571a8c Get SmartCastManager as a service in ReferenceVariantsHelper 2015-08-19 21:18:47 +03:00
Pavel V. Talanov ea8c17adeb Pass ResolutionFacade into ReferenceVariantsHelper and ShadowedDeclarationsFilter 2015-08-19 21:18:43 +03:00
Pavel V. Talanov d7c1798ee6 Move ResolutionFacade to ide-common module 2015-08-19 21:18:42 +03:00
Pavel V. Talanov 6802973743 Refactor: merge duplicated code for code fragment analysis
Introduce CodeFragmentAnalyzer
2015-08-19 21:18:35 +03:00
Pavel V. Talanov 7cbac51018 Refactor: merge ElementResolver into ResolveElementCache
This is a bit questionable since there are plans to use it in eclipse plugin, but we do it for now
It's possible that we can come up with a better abstraction later
2015-08-19 21:18:32 +03:00
Pavel V. Talanov 84ebc7a0f8 Rename SmartCastUtils -> SmartCastManager and make it a component 2015-08-19 21:18:30 +03:00
Stanislav Erokhin ec43f49ab4 Fixed completion for extension function after removing members for implicit receiver from scope. 2015-08-18 21:28:28 +03:00
Stanislav Erokhin f5c6e8cb77 Minor. Removed unused code. 2015-08-18 21:26:34 +03:00
Valentin Kipyatkov da16a4017e Hopefully fixed EA-71700 and EA-71699
#EA-71700 Fixed
 #EA-71699 Fixed
2015-08-18 18:49:58 +03:00
Zalim Bashorov 595975a66e LookupLocation.NO_LOCATION_FROM_IDE -> NoLookupLocation.FROM_IDE 2015-08-18 12:34:18 +03:00
Zalim Bashorov 69e0f23db9 Classify Location.NO_LOCATION usages 2015-08-18 12:21:31 +03:00
Alexey Sedunov a66ef47887 Push Down: Initial Support 2015-08-17 20:28:08 +03:00
Valentin Kipyatkov ec7c55c9be Synthetic java properties are not always bold in completion and are not sorted as extensions 2015-08-14 18:10:39 +03:00
Denis Zharkov 460c719753 Make constructor of JetTypeImpl private, introduce factory methods 2015-08-06 08:18:18 +03:00
Valentin Kipyatkov 2eb04db95a Extension SAM-adapters shown in completion 2015-08-04 18:05:56 +03:00
Valentin Kipyatkov 977bf593e0 KT-8574 'Convert to block body' inserts spurious < token
#KT-8574 Fixed
2015-07-28 22:39:29 +03:00
Alexey Sedunov 39ff3c3000 Pull Up: Initial support
#KT-7330 Fixed
2015-07-28 18:48:29 +03:00
Alexey Sedunov 83e28b360f Refactoring: Move non-specific TypeSubstitutor factories to substitutionUtils.kt in compiler
Merge typeUtils.kt with changeSignatureUtils.kt
2015-07-28 18:48:24 +03:00
Valentin Kipyatkov 383a4da231 No annotations rendered in completion and other places
KT-5517 Completion shouldn't show inlineOptions annotation

 #KT-5517 Fixed
2015-07-23 22:02:06 +03:00
Pavel V. Talanov 8cc9739f72 Refactor: Pass TargetPlatform instead of configurator, hide DynamicTypesSettings inside configurator 2015-07-23 16:15:38 +03:00
Pavel V. Talanov 84b8ed00c5 Refactor: Move TargetPlatform to frontend, make it expose platform dependant resolve services
AdditionalCheckerProvider -> PlatformConfigurator which operates directly on container
2015-07-23 16:15:35 +03:00
Pavel V. Talanov 3227ae5577 Inject non-context dependent CallCheckers instead of getting them from context 2015-07-23 16:15:28 +03:00
Pavel V. Talanov 2885da8993 Remove AdditionalTypeChecker from context, inject into points of usage 2015-07-23 16:15:18 +03:00
Pavel V. Talanov 985336d6cc Remove SymbolUsageValidator from contexts 2015-07-23 16:15:10 +03:00
Natalia Ukhorskaya 2121f707ab Fix completion for codeFragments on functions with expression body 2015-07-23 11:54:33 +03:00
Valentin Kipyatkov 8c02ce73a4 Corrections on code review 2015-07-22 21:06:14 +03:00
Valentin Kipyatkov 2ad981d5c9 Smart completion: don't use outer call's expected type too much 2015-07-22 21:06:14 +03:00
Valentin Kipyatkov a5384cdc28 Smart completion works for cases when no exact type known (generic parameter substitution is not known) 2015-07-22 21:06:13 +03:00
Nikolay Krasko cbd4b6e204 Additional resolve for annotation on top level classes 2015-07-22 12:59:48 +03:00
Zalim Bashorov e2e3520c3d Add location parameter to JetScope::getClassifier 2015-07-21 22:27:25 +03:00
Dmitry Petrov 6437a4bdc6 Support overload ambiguity resolution for callable references by expected type.
Resolve callable references taking into account expected callable types.

This affects call resolution procedure (resolve 'foo' in for 'foo(::bar)') similar to the approach used for function literals:

* During "shape arguments" phase of call resolution, callable references are resolved in independent context without expected type. If the callable reference is ambiguous, its shape type is a function placeholder type without parameter types and return type information. Otherwise, it is a reflection type for the resolved function or property. Upper-level call is resolved without taking into account ambiguous callable references.

* During "complete call" phase of call resolution, resolve callable reference arguments to actual descriptors (if possible), and update constraint system for the given call accordingly.

 #KT-6982 Fixed
 #KT-5780 Fixed
2015-07-21 18:33:15 +03:00
Dmitry Jemerov 9142d48e81 code cleanup: eval4j, ide-common, idea-analysis 2015-07-21 14:26:18 +02:00
Valentin Kipyatkov e0e7044032 Synthetic properties: fixed completion and inspection for generic class
+ fixed KT-8539 No completion of generic extension function for <*> type arguments

 #KT-8539 Fixed
2015-07-21 08:32:50 +03:00
Valentin Kipyatkov 23cfe88b71 KT-8530 Synthetic properties doesn't work with smart casts
#KT-8530 Fixed
2015-07-21 08:32:50 +03:00
Valentin Kipyatkov 08ac0ae7a0 Renamed classes 2015-07-21 08:32:49 +03:00
Valentin Kipyatkov c1b2ea0b48 More elegant way to achieve the same + fixed KT-7746 Top level package name completion does not work inside class body
#KT-7746 Fixed
2015-07-16 14:03:37 +03:00
Valentin Kipyatkov 82c9cd790e After dot completion optimization: do not ask for packages and classes when searching extensions 2015-07-16 14:03:37 +03:00