6a1ca7b9c9
Fix an exception caused by objects literals in supertype list not considered local
2015-12-23 14:56:27 +03:00
0d7c8635b3
Refine INSTANCE_ACCESS_BEFORE_SUPER_CALL check
...
- Detect usages of unitialized `this` as extension receiver argument
- Make it work within object literal created before super call
#KT-9120 Fixed
#KT-8289 Fixed
2015-12-17 19:56:38 +03:00
f5989aa4f2
CallableMemberDescriptor.isOverridable / ClassDescriptor.isFinal refactoring
...
Extra JvmField and integer constants tests
2015-12-17 18:11:41 +03:00
b4bb92d136
Fix overload resolution ambiguity for types intersection
...
There are two different forms of types intestion:
1. Type parameters with multiple bounds
2. Smart casts
The problem was that when member scope of type intersection contained
effective duplicates and that lead to overload resolution ambiguity in
strange cases like `x.hashCode()`
For first type we do effectively the same thing as when building member
scope for class extending several interfaces: group all descriptors by
both-way-overridability relation and then choose most-specific in each
group.
For smart casts we do basically the same thing but with special
treatments:
1. From all descriptors that _equal_ to most specific we choose
the one that works without smartcast if possible (i.e. we choose first from candidates list)
2. If smart-cast value seems to be unstable we use only member scope
of receiver type + all descriptors from smart cast possible types
that has incompatible signature. If we'd include all of them and
choose one as more specific, and it would lead to false
SMART_CAST_IMPOSIBLE (see test unstableSmartCast.kt)
#KT-3996 Fixed
#KT-10315 Fixed
2015-12-15 16:18:31 +03:00
8db3fb03f9
remove support for "package.foo.bar" syntax inside files
2015-12-14 13:22:54 +01:00
fe78f944a6
Private setter for open property: is now an error, not a warning
2015-12-11 18:54:40 +03:00
239502368a
Update test data for tower resolution algorithm
...
- locals win
- unary calls to plus/minus are not supported in favor of unaryPlus/unaryMinus
- unqualified nested classes are temporarily reported as unresolved
- function without receiver win against extension function
- explicit import win against star import
2015-12-11 17:01:02 +03:00
d024045638
Data flow values for Elvis / parenthesized expressions, smart casts on them
2015-12-11 15:17:29 +03:00
745a3aeeac
Accurate representation of smart casts on complex expressions
2015-12-11 15:17:25 +03:00
70c200d265
Fix diagnostic messages for properties.
...
Fix IDE tests.
Update quick fixes in IDE
(TODO: review new inheritance-related diagnostics with regards to quick fixes)
2015-12-09 17:43:48 +03:00
e97e82d119
use terms "lambda expression" and "anonymous function" instead of "function literal" and "function expression"
2015-12-09 13:55:40 +01:00
b1fa740341
Do not report "inconsistent bounds" when there are repeated bounds
...
Also slightly refactor DeclarationsChecker#checkSupertypesForConsistency
2015-12-07 15:47:47 +03:00
5fbb9bfe3b
Report error on repeated upper bounds for type parameters
2015-12-07 15:47:47 +03:00
21e64e02bd
Report error on more than one class bound for type parameters
...
Such code may behave unexpectedly when compiled to JVM
2015-12-07 15:47:47 +03:00
89e56093a2
Limit "always null" scope: only for !!, is and dot; senseless comparison rolled back; "smart constant" information for nulls #KT-10029 Fixed
2015-11-25 18:26:08 +03:00
46f4191185
Unnecessary safe call is now reported in CallExpressionResolver, removed code duplication for safe call receivers
...
See also KT-10175
2015-11-25 16:19:48 +03:00
dc60c62781
Enum.values is now deprecated but Enum.values() is no more deprecated
2015-11-23 17:29:36 +03:00
1c609663a4
Private setters are now deprecated for open properties
2015-11-23 17:29:23 +03:00
5b02a59cb7
Fix JvmStatic applicability diagnostics test after COMPANION_OBJECT became distinct KotlinTarget
2015-11-21 00:43:35 +03:00
aebcebe8ca
Add simple checker tests for scripts
2015-11-19 22:56:55 +03:00
811ba8110f
Implicit receiver smart casts implementation and highlighting
2015-11-17 10:26:42 +03:00
03287d5d66
Diagnostics corrected for smart cast impossible
2015-11-17 10:26:26 +03:00
5f675c55ed
Fix deprecated ranges and range member usages in tests.
2015-11-11 03:53:42 +03:00
f5c4f82971
Fix exception from backend in light classes mode for null passed as annotation argument
2015-11-10 14:30:50 +03:00
2d9fbf5696
Always null detection
2015-11-09 16:36:34 +03:00
52dc23012f
Changed parsing of object and enum entries to drop "KtObjectDeclarationName"
2015-11-05 23:21:22 +03:00
41ebfd025e
More precise diagnostics of smart cast impossible #KT-7240 Fixed
2015-11-03 13:38:51 +03:00
0a5a5a2e36
More precise diagnostics is added for smart cast impossible #KT-8810 Fixed
2015-11-03 11:15:58 +03:00
09f0b3fe87
KT-9721:
...
- Kotlin/JS still uses package facades.
Handle them properly in StubClassBuilder parentStack.
- Generate backend-related diagnostics in IDE
using light class generation for file facades.
- Drop PackageFacadeStubCache.
2015-10-26 19:37:52 +03:00
d6988ad69e
Get rid of FIELD_IDENTIFIER at syntax level, two errors dropped, a set of tests fixed / deleted #KT-9539 Fixed
2015-10-21 16:36:55 +03:00
3151d4ca9d
Check of type parameter bounds consistency #KT-9438 Fixed
2015-10-20 11:02:19 +03:00
8c64279419
Drop package facades: fix testData in duplicate JVM signature test
...
(declaration origins are now ordered alphabetically)
2015-10-19 16:03:20 +03:00
b2470a6aad
Report warning on unary plus()/minus()
2015-10-19 11:51:54 +03:00
d8ede6d03e
Transform Enum.values to property
2015-10-17 17:46:16 +03:00
4b35e3b135
Preliminary declaration visitor for estimating local variable's predictability for smart casts
...
Predictability estimation algorithm is completely new, but backward compatibility should present.
A large set of tests. Some updated tests.
Smart casts allowed for captured variables if they are not modified in closure #KT-9051 Fixed
Also #KT-8643 Fixed
Also #KT-7976 Fixed
Correct handling of lambda arguments in functions #KT-9143 Fixed
2015-10-16 20:47:47 +03:00
487501a7a4
Fixed test data after changes in parser
2015-10-15 19:20:08 +03:00
6a965c9a06
Update IDE tests to use KProperty instead of PropertyMetadata
2015-10-14 20:45:55 +03:00
17c906658d
Transform Throwable members to properties
2015-10-14 20:39:59 +03:00
f0e3fd617d
Adjust testData to CharSequence.length transformation
2015-10-14 20:39:35 +03:00
62c25c0370
Replace is Array<T> with .isArrayOf<T>()
2015-10-14 18:36:53 +03:00
47cca7db1f
Test data: adjust test data after prohibiting properties with typeparameters not used in receiver
2015-10-14 13:42:13 +03:00
275f3f8954
'operator' checks
2015-10-14 01:29:10 +03:00
dc8e796e49
getValue()/setValue() should be marked with 'operator'
2015-10-14 01:29:09 +03:00
e121ba549e
Accessor visibilities are now forbidden for abstract properties
2015-10-12 18:12:39 +03:00
a76a8fcc3f
Adjust various testData to remove/charAt transformation
2015-10-11 19:59:31 +03:00
1f2b4e20fe
Replace get() and set() to getValue() and setValue() (property delegates)
2015-10-09 22:49:16 +03:00
6914d09297
Old backing field with dollar is now forbidden
2015-10-09 21:06:26 +03:00
45d1129dbb
quickfix to move type constraint to 'where' clause
2015-10-08 17:09:58 +02:00
1b01e7a85a
Fix tests ('infix')
2015-10-07 15:50:23 +03:00
7c20630272
diagnostics for deprecated syntax of function type parameter list
2015-10-06 16:20:47 +02:00
Pavel V. Talanov