df0cf3da84
"Simplify using destructuring declaration" is now applicable for function literals #KT-13941 Fixed
2016-10-06 21:03:08 +03:00
1e51ba7d00
Run classifier usage checkers for ambiguous references when possible
...
See comment in getReferencedClassifier and importJavaSamInterface.kt for
explanation
2016-10-06 14:40:21 +03:00
ec53efd869
Run classifier usage checkers after all imports are resolved
...
Otherwise the diagnostic was not reported on an unused import of a deprecated
class in diagnostic tests, see the test case
2016-10-06 14:40:20 +03:00
f7b4d7d35b
Move ClassifierUsageChecker and DeclarationChecker to checkers/
2016-10-06 14:40:20 +03:00
0905b361d0
Drop LazyTopDownAnalyzerForTopLevel
...
Replace it everywhere with LazyTopDownAnalyzer
2016-10-06 14:40:20 +03:00
9c70094ceb
Move resolveImportsInAllFiles to LazyTDA#analyzeDeclarations
...
This does not change the behavior: in the other usage of analyzeDeclarations,
a local class is being resolved and therefore TopDownAnalysisContext there does
not contain any files where imports would be resolved
2016-10-06 14:40:20 +03:00
7070b88ea4
Move PlatformToKotlinClassMap out from ModuleParameters
...
Configure it in the same way as other platform-specific components instead,
simplify some code
2016-10-06 14:40:20 +03:00
b77388bd48
Pass PlatformToKotlinClassMap instance to PlatformTypesMappedToKotlinChecker
...
The purpose of this change is to allow PlatformToKotlinClassMap to be removed
from ModuleDescriptor
2016-10-06 14:40:19 +03:00
7353b08f09
Change parsing of statements starting with annotations
...
If a block statement starts with annotations treat them as they
belong to node of the statement rather than to the closest prefix expression
#KT-10210 Fixed
2016-10-05 10:29:29 +03:00
001a058529
Remove effectively dead code in parser
...
`parseLabeledExpression` can only be called from `parsePrefixExpression`,
but the latter in the beginning tries to parse annotated expression,
thus advances any number of AT symbols
2016-10-05 10:29:29 +03:00
d8b0c7aaec
Binding trace filtering: do not calculate diagnostics if no one is going to query them
2016-10-04 18:50:30 +02:00
b365e547c4
DelegatingBindingTrace: remove unnecessary secondary constructor
2016-10-04 18:50:30 +02:00
bcde67dc91
DelegatingBindingTrace: J2K
2016-10-04 18:50:30 +02:00
9e6f03cd94
DelegatingBindingTrace: rename to .kt
2016-10-04 18:50:30 +02:00
af0b027952
All operator usages are searched with new searcher
2016-10-04 19:34:58 +03:00
df680305ba
Improve diagnostic message for UNSUPPORTED_FEATURE
...
Render lowercase words separated by spaces instead of CamelCase in the
diagnostic message
2016-10-04 10:24:43 +03:00
73652f309f
Do not create synthesized equals/hashCode/toString in data classes in compatibility mode
...
To simplify migration from 1.0 to 1.1, do not allow data classes to
automatically implement abstract equals/hashCode/toString declared in
super-interfaces (KT-11306) if "-language-version 1.0" is specified
2016-10-04 10:24:41 +03:00
06101dba52
KT-13961 REDECLARATION not reported on private-in-file 'foo' vs public 'foo' in different file
...
Private-in-file declarations conflict with public overload-equivalent declarations
in other files in the same package.
Move functions for grouping possible redeclarations to OverloadResolver
(since they are used only there).
Refactor redeclarations / conflicting overloads reporting.
2016-10-03 11:50:29 +03:00
214abea4d6
Minor, introduce DeclarationProviderFactory.EMPTY
2016-10-02 21:03:35 +03:00
0ed9897b03
Minor refactorings related to PackagePartProvider and implementations
...
- Document what exactly should findPackageParts return
- Make EMPTY a named object instead of a val in the companion
- Do not use JvmPackagePartProvider in tests where Empty works fine
- Add a couple default values to arguments of setupResolverForProject
2016-10-02 21:03:34 +03:00
610c549225
Filter out equivalent calls before reporting "none applicable"
...
If a module is configured in such a way that the same function appears multiple
times via different dependencies, it's not helpful to report "none of the
following functions can be called", listing the same function multiple times
2016-10-02 21:03:30 +03:00
9fb9c12f5e
Inline LazyTopDownAnalyzerForTopLevel#analyzeFiles
...
To make module initialization more explicit and configurable (especially in
TopDownAnalyzerFacadeForJVM)
2016-10-02 21:03:27 +03:00
87fe6c41df
Drop ExternalDeclarationsProvider
...
It was added for Android extensions, but now another mechanism is used there
(PackageFragmentProviderExtension), and there were no other implementations of
ExternalDeclarationsProvider in the project
2016-10-02 21:03:19 +03:00
1d6abc32bc
Minor, delete ModuleContext#builtIns
2016-10-02 21:03:18 +03:00
a55273646a
Fixed check for convention operator
2016-09-30 21:37:48 +03:00
17adee68cd
Fixed optimize imports for operators
2016-09-30 21:37:47 +03:00
725df49c8c
KT-9839: intention introduced: convert secondary constructor to primary one #KT-9839 Fixed
...
(cherry picked from commit f3fa779)
2016-09-30 16:39:24 +03:00
7f50e6e70e
KT-9839: intention introduced: convert primary constructor to secondary one
...
(cherry picked from commit 93aaa48)
2016-09-30 16:39:01 +03:00
d4418d5686
Prohibit not-Unit suspend functions
...
#KT-13560 Fixed
2016-09-30 12:25:59 +03:00
96186c6217
Prohibit star-projections in last parameter of suspend functions
2016-09-30 12:25:59 +03:00
bd95d2ef4c
KT-14071 Type alias cannot be used as a qualifier for super
...
Use corresponding class for type alias in super qualifier resolution.
2016-09-30 10:17:30 +03:00
f95dcad179
CFA minor: retain initialization state while analyzing variable declaration
...
(cherry picked from commit c89f4db)
2016-09-29 15:57:01 +03:00
436b0ec873
CFA merge for definition / initialization : more accurate handling of unknown variables #KT-13969 Fixed
...
(cherry picked from commit 4a96589)
2016-09-29 15:56:47 +03:00
c884cffeea
Prohibit return type mismatch for delegation members
...
#KT-13952 Fixed
#KT-13005 Fixed
2016-09-28 11:40:20 +03:00
ddb7a6aa13
Minor. Extract subinterface for specific strategy
...
It contains only methods related to explicitly declared overrides
2016-09-28 11:40:20 +03:00
22271f0af0
Pull Up/Push Down/Extract Super: Show member dependencies in the refactoring dialog
2016-09-27 21:26:29 +03:00
8a5628cde5
Pull Up/Extract Super: Support members declared in the companion object of the original class
2016-09-27 21:26:28 +03:00
982d4d4ead
Pull Up/Extract Super: Support properties declared in the primary constructor
2016-09-27 21:26:27 +03:00
025d063b27
UNNECESSARY_LATEINIT: do not report if property is not initialized at use-site #KT-13806 Fixed
...
(cherry picked from commit 09c0865)
2016-09-27 18:49:02 +03:00
4da9a101cf
UNNECESSARY_LATEINIT warning introduced #KT-13295 Fixed
...
(cherry picked from commit 88f9938)
2016-09-27 18:48:50 +03:00
32daf048c2
PlatformConfigurator: create container for each platform (it contains static services, mostly checkers) ahead of time
2016-09-26 14:42:57 +03:00
9bc6d6ae92
Remove recursion workaround from DeprecatedClassifierUsageChecker
2016-09-24 11:26:57 +03:00
dca99c3fd2
Move ClassifierUsageChecker invocation lower in LazyTopDownAnalyzer
...
Invoking checkers right after resolution of qualified expressions is too early:
DeprecatedClassifierUsageChecker tries to load the annotations of a referenced
classifier to report deprecation, and that may result in building light classes
for not yet analyzed declarations
#KT-13954 Fixed
2016-09-24 11:26:56 +03:00
8f5725345f
ModuleDescriptor: invert "friends" relation
...
Fixes memory leak caused by modules storing their friends (which can be potentially recreated many times)
2016-09-22 18:20:43 +03:00
68f0953b02
Random-order variable sets are no more in use in CFG #KT-13990 Fixed
...
(cherry picked from commit fc89385)
2016-09-22 13:32:01 +03:00
07198cf86d
SAM constructors for type aliases.
2016-09-22 10:38:34 +03:00
6663054f4d
Fix false positive "Cannot capture" error reporting
...
There is no need to report an error in case of non-top-level
capture conversion, just don't add relevant capture type in the system instead
If system can be solved successfully without captured type, then it's just fine
(see KT-13950)
In case of contradiction TYPE_INFERENCE_PARAMETER_CONSTRAINT_ERROR is reported
#KT-13950 Fixed
2016-09-21 18:05:26 +03:00
4431c6ad02
Fix inference when captured type is used as a lambda parameter type
...
Use lower approximation bound to obtain acceptable types for lambda parameters
those types depend on captured type
#KT-12238 Fixed
#KT-10627 Fixed
2016-09-21 18:05:26 +03:00
8a0107ea5f
Move property with template to script definition interface
2016-09-20 16:23:42 +03:00
b18cbc37c6
Do not generate properties from script constructor
...
From now all script parameter properties are generated by template class
2016-09-20 16:22:42 +03:00
Mikhail Glukhikh