Commit Graph

3309 Commits

Author SHA1 Message Date
Evgeny Gerashchenko 790981ba2b Minor. Typo. 2013-12-17 20:28:57 +04:00
Evgeny Gerashchenko a49551dd35 Introduced getFqNameSafe method. 2013-12-17 20:28:57 +04:00
Evgeny Gerashchenko 3352d8a954 Minor. Renamed method. 2013-12-17 20:28:56 +04:00
Evgeny Gerashchenko 5c22787c15 Simplified API of JetNamespaceHeader and its usages. 2013-12-17 20:28:55 +04:00
Evgeny Gerashchenko 0f2d9cfbc3 Removed passing of RedeclarationHandler (in code before refactoring it was always DO_NOTHING). 2013-12-17 20:28:53 +04:00
Evgeny Gerashchenko 73114d7e9c Fragment providers added on higher level. 2013-12-17 20:28:50 +04:00
Evgeny Gerashchenko 3f790f5f0c Minor. Nullability annotations. 2013-12-17 20:28:49 +04:00
Evgeny Gerashchenko 30e668634c Locking scopes of MutablePackageFragmentDescriptors. 2013-12-17 20:28:48 +04:00
Evgeny Gerashchenko 1bbe9b0bd4 Removed DescriptorFinder.findPackage. 2013-12-17 20:28:47 +04:00
Evgeny Gerashchenko 9d2b79c631 Migrated CliLightClassGenerationSupport to package views. 2013-12-17 20:28:42 +04:00
Evgeny Gerashchenko 7e4e3e849d Removed obsolete classes. 2013-12-17 20:28:42 +04:00
Evgeny Gerashchenko 303f2b8c4c Simplified BuiltinsReferenceResolver. 2013-12-17 20:28:42 +04:00
Evgeny Gerashchenko d0605009ae Removed ModuleConfiguration. 2013-12-17 20:28:40 +04:00
Evgeny Gerashchenko 19d8f1394b Big refactoring continued. Migrating to package views and fragments. 2013-12-17 20:28:39 +04:00
Evgeny Gerashchenko 577fb25777 Got rid of useless nested class. 2013-12-17 19:18:33 +04:00
Evgeny Gerashchenko 7abe6a5b4a Big refactoring. Migrating to package views and fragments. 2013-12-17 19:18:33 +04:00
Evgeny Gerashchenko 2a0d81a6fe Introduced package view and fragment classes. 2013-12-17 19:18:31 +04:00
Evgeny Gerashchenko 1b28fb50b9 Removed useless method. 2013-12-17 19:18:31 +04:00
Svetlana Isakova 26f66eaea5 fixed INACCESSIBLE_OUTER_CLASS_EXPRESSION check
for extension lambda (with implicit this) in nested class
2013-12-17 19:04:41 +04:00
Svetlana Isakova 400e6d3f44 KT-4310 Check for definite returns
#KT-4310 Fixed
2013-12-17 19:04:40 +04:00
Andrey Breslav 43cc818506 Fixed: EA-52702 - IAE: JetControlFlowProcessor$CFPVisitor.getResolvedCall 2013-12-17 18:55:23 +04:00
Natalia Ukhorskaya 31ad4f8451 Annotation parameter must be constant 2013-12-17 15:41:24 +04:00
Natalia Ukhorskaya 7a9d822070 'As' function for constants 2013-12-17 15:00:30 +04:00
Alexey Sedunov b4ad149e77 Replace getParentByTypePredicate with getParentByTypesAndPredicate 2013-12-17 01:41:20 +04:00
Alexey Sedunov e13abf2444 KT-4274 #Fixed 2013-12-17 01:41:19 +04:00
Svetlana Isakova 20aa3409c7 variable as function call is safe
if one of variable or function calls is safe
2013-12-16 16:24:21 +04:00
Svetlana Isakova 4c41d19eb1 interpret class in class object as static nested class
removed hack in TaskPrioritizer for import class from class object
2013-12-16 16:24:21 +04:00
Svetlana Isakova 928f77ffce set explicit receiver kind properly for calls 2013-12-16 16:24:21 +04:00
Alexander Udalov cc1d4a033a Rename KotlinBuiltIns.isAny -> isAnyOrNullableAny
Reduce confusion, prevent bugs
2013-12-12 21:38:20 +04:00
Alexander Udalov 9e5c68a8f9 Fix KotlinBuiltIns.isUnit
It didn't check type's nullability
2013-12-12 21:38:20 +04:00
Alexey Sedunov 39211e4759 Implement class inheritors search 2013-12-12 17:30:55 +04:00
Alexey Sedunov d261fe8726 Core classes for declaration search 2013-12-12 17:30:54 +04:00
Alexey Sedunov 6913f42a97 Add support of light classes for local class/object declarations 2013-12-12 17:30:52 +04:00
Alexey Sedunov 594c966c44 Add local class/object declarations to super name index 2013-12-12 17:30:51 +04:00
Alexey Sedunov 72c7399df1 Index object declarations as inheritors 2013-12-12 17:30:50 +04:00
Svetlana Isakova 4d39dc38da fixed: smart cast of boolean variable didn't work in boolean expression 2013-12-11 19:53:52 +04:00
Svetlana Isakova cd6934bee8 fixed bug in 'DataFlowInfo.getPossibleTypes'
parent types should be enriched as well
2013-12-11 19:53:51 +04:00
Svetlana Isakova 4a26c9df04 don't report autocast on left expression in equality
if it was checked for not-null beforehand
2013-12-11 19:53:51 +04:00
Svetlana Isakova 90535283ba refactoring: extracted 'recordCastOrError' method 2013-12-11 19:53:51 +04:00
Svetlana Isakova 4b89c22ba7 Check separately auto casts for nullable types.
It's necessary for functions with generics: constraint system ignores nullability divergence,
the error checks are made afterwards, the auto cast check should be made similarly.
2013-12-11 19:53:51 +04:00
Svetlana Isakova f271cb3609 rename: checkReceiver -> checkReceivers 2013-12-11 19:53:51 +04:00
Svetlana Isakova 41f2fcbb40 while resolve 'equals' as a fake call do not throw away temporary trace 2013-12-11 19:53:51 +04:00
Svetlana Isakova 499783fbc6 rename:
getAutoCastVariantsIncludingReceiver -> getAutoCastVariants
getAutoCastVariants -> getAutoCastVariantsExcludingReceiver
2013-12-11 19:53:50 +04:00
Svetlana Isakova 81e6eb8253 refactoring: removed AutoCastService
used getAutoCastVariantsIncludingReceiver util method instead
2013-12-11 19:53:50 +04:00
Svetlana Isakova ab1d27dd6b don't use data flow info while checking for receiver
receiver with smart cast is checked separately
2013-12-11 19:53:50 +04:00
Svetlana Isakova 46b77f4472 don't report unnecessary smart cast on receiver 2013-12-11 19:53:50 +04:00
Svetlana Isakova c30259dfbe added info about smart casts to diagnostic tests 2013-12-11 19:53:50 +04:00
Svetlana Isakova 4c4e192914 Fixed: control flow graph building for array of functions.
'get' call for array should be get from INDEXED_LVALUE_GET
2013-12-06 15:58:45 +04:00
Andrey Breslav 1849643e52 Got rid of HAS_TAIL_CALL slice 2013-12-06 00:28:13 +04:00
Andrey Breslav d5941e90eb Unused code removed 2013-12-06 00:28:13 +04:00