Commit Graph

3039 Commits

Author SHA1 Message Date
Svetlana Isakova 491305ff34 todo test improved analysis of unary expressions
added explicit 'isUnaryExpressionDependentOnExpectedType' check
2013-11-01 15:26:11 +04:00
Svetlana Isakova c0890ccc37 improved debug message for temporary traces
added file name
2013-11-01 15:26:11 +04:00
Svetlana Isakova af194ba2e8 added debugName to MemberType 2013-11-01 15:26:11 +04:00
Svetlana Isakova 381fd35e3e do not store context in CallForImplicitInvoke 2013-11-01 15:26:11 +04:00
Natalia Ukhorskaya 3287744415 Add common JetElement for imports: JetImportList 2013-10-25 13:55:40 +04:00
Natalia Ukhorskaya 8bee5628d5 Remove package prefix from imports 2013-10-25 11:05:01 +04:00
Mikhael Bogdanov 88a43fac5f Injectors regenerated 2013-10-24 14:14:49 +04:00
Mikhael Bogdanov 4c459fe62c Added extensions for function body resolve 2013-10-24 14:14:48 +04:00
Mikhael Bogdanov 643aec6c9b Added cached calculation of extensions 2013-10-24 14:14:48 +04:00
Mikhael Bogdanov 592c26e840 New extension parameter added to resolution context 2013-10-24 14:14:48 +04:00
Alexey Sedunov b20a18cf38 Restrict scope of local declarations 2013-10-23 23:00:29 +04:00
Nikolay Krasko d23ad4f262 Process each namespace only once while reporting redeclaration errors 2013-10-23 20:43:39 +04:00
Nikolay Krasko 60ef034330 Make tests reveal errors in number of diagnostics with the same type 2013-10-23 20:43:38 +04:00
Nikolay Krasko d6821ebfb6 Refactoring: Remove misleading that code processes both redeclaration and shadowing
NAME_SHADOWING is a warning so it has never been handled there
2013-10-23 20:43:37 +04:00
Alexey Sedunov 38660dd9a8 Translate JetUsageTypeProvider to Kotlin 2013-10-23 14:15:15 +04:00
Alexey Sedunov 2add0b0810 Translate utility method getParentByTypeAndPredicate() to Kotlin 2013-10-23 13:17:12 +04:00
Alexander Udalov dd50438c78 Deserialize annotations on property setter parameters 2013-10-22 23:08:34 +04:00
Alexander Udalov 73b768a72c Minor, extract Slices.createCollectiveSlice() 2013-10-22 23:08:34 +04:00
Alexander Udalov 938a906bcd Deserialize annotations on value parameters of functions 2013-10-22 23:08:33 +04:00
Alexander Udalov 4105455179 Serialize value parameter indices on JVM
This will help to load annotations on value parameters
2013-10-22 23:08:33 +04:00
Nikolay Krasko 23015b5f64 Get diagnostics for particular element 2013-10-22 22:45:27 +04:00
svtk 0cbbe3e5ea comment added 2013-10-22 19:01:52 +04:00
Andrey Breslav ea2b6e4546 Do not throw an exception when a when-statement with no else makes no match 2013-10-21 19:29:01 +04:00
Alexey Sedunov 12a460a145 KT-4043 "Find usages ignores class names usages as class objects" 2013-10-21 17:18:46 +04:00
Andrey Breslav 51d54661a1 Common logic extracted from lazy type implementations 2013-10-17 18:15:52 +04:00
Andrey Breslav 3960426698 TypeProjection interface extracted 2013-10-17 18:15:51 +04:00
Svetlana Isakova 31e9eb497f rename SKIP_FUNCTION_ARGUMENTS -> SHAPE_FUNCTION_ARGUMENTS 2013-10-16 20:41:25 +04:00
Svetlana Isakova 66678cdda9 refactoring: inlined static factory methods 2013-10-16 20:41:24 +04:00
Svetlana Isakova acf987ae5b added 'toString' "IntegerValueType(1)" to number value types
for debug and erroneously appeared in the places where it can be seen by user
2013-10-16 20:41:24 +04:00
Svetlana Isakova 95c5e7ee23 rename: isSealed -> isFinal 2013-10-16 20:41:24 +04:00
Svetlana Isakova 3663757073 injectors regenerated
BodyResolver doesn't need DescriptorResolver any more
2013-10-16 20:41:22 +04:00
Svetlana Isakova af2efc991d moved methods
getPropertyDeclarationInnerScope to JetScopeUtils
2013-10-16 20:41:22 +04:00
Svetlana Isakova 0cee8cac15 moved class (DelegatedPropertyResolver) 2013-10-16 20:41:22 +04:00
Svetlana Isakova ab7133a1a6 improved error message
added debug info about constraint system status
2013-10-16 20:41:21 +04:00
Svetlana Isakova 9fc66d686e treat function literals without value argument list
as without arguments by default
2013-10-16 20:41:21 +04:00
Svetlana Isakova ab7e3ce78c interpret block with function literal as function literal
(temporary)
2013-10-16 20:41:21 +04:00
Svetlana Isakova 73c5cb07d8 get rid of 'unwrapFromBlock'
do the logic in 'deparenthesize' method
2013-10-16 20:41:20 +04:00
Svetlana Isakova 4bf5bb18e9 rename replaceTypeVariables -> createNewConstraintSystemFromThis 2013-10-16 20:41:20 +04:00
Svetlana Isakova 0f444903f6 refactoring: added hasOnlyErrorsFromPosition(ConstraintPosition)
to use it for errors from completer as well
2013-10-16 20:41:19 +04:00
Svetlana Isakova 6c584fd252 do not add NO_EXPECTED_TYPE as a subtype constraint to constraint system
fixed exception from EA
2013-10-16 20:41:19 +04:00
Svetlana Isakova 0a0f76239f resolve delegated expression always using completer 2013-10-16 19:51:54 +04:00
Svetlana Isakova 249dc4b1ba moved method 2013-10-16 19:51:54 +04:00
Svetlana Isakova a455467f9e made delegated property resolver a component
from DelegatedPropertyUtils
2013-10-16 19:51:54 +04:00
Svetlana Isakova 0cd131fcfe refactoring
use method instead of its realisation, inline method
2013-10-16 19:51:54 +04:00
Svetlana Isakova 4666b0f50c refactoring: removed logic of rendering 'expected type mismatch' error from constraint system 2013-10-16 19:51:53 +04:00
Svetlana Isakova a19acc43e0 removed ExtendedInferenceErrorData
after 'type bound violated' error had gone to constraint system
2013-10-16 19:51:53 +04:00
Svetlana Isakova 0e507e6b40 rename
TypeConstraints -> TypeBounds
2013-10-16 19:51:53 +04:00
Svetlana Isakova 731efd0781 added declared bound constraints directly to constraint system
added status 'hasViolatedUpperBound'
class TypeConstraintsImpl now stores constraint position for each constraint,
so we can filter out bound constraints and find out if the system is successful without them
2013-10-16 19:51:53 +04:00
Svetlana Isakova ac33ccc0fe refactoring: moved method 2013-10-16 19:51:52 +04:00
Svetlana Isakova c150c22473 refactoring: register type variable together
not one by one
2013-10-16 19:51:52 +04:00