45c1fa3741
Support flexible types in DataFlowValues
2014-10-13 15:37:46 +04:00
f7de0e274c
TypeSubstitutor respects flexible types
2014-10-13 15:37:45 +04:00
a2f8def1e8
Tests for Java method calls
2014-10-13 15:37:44 +04:00
605c9f48b4
Added inline annotation check on local funs
2014-10-11 13:53:43 +04:00
2ded7bae73
Test abstract override in enum class
2014-10-10 18:19:57 +04:00
c04b52561e
"abstract" modifier on enum class is an error
...
#KT-3454 Fixed
2014-10-10 17:43:32 +04:00
6eae62c235
Do not report NON_FINAL_MEMBER_IN_FINAL_CLASS on open members in enum classes
2014-10-10 17:43:32 +04:00
4136c80358
Do not report ABSTRACT_MEMBER_NOT_IMPLEMENTED on enum classes
...
Partial fix of KT-3454
2014-10-10 17:43:31 +04:00
e703de5796
Minor: add diagnostic test for entries in enum with abstract members
2014-10-10 17:43:31 +04:00
ce01c61811
Rename: auto cast -> smart cast
2014-10-01 18:52:52 +04:00
54799b1a34
Internal visibility works the same as public
...
Fix test data
This change is needed to preserve old behaviour for M9
isFriend() utilities become unused after this change
2014-09-26 22:06:32 +04:00
cd0551078c
Support static method references
...
#KT-5123 Fixed
2014-09-26 18:48:43 +04:00
c4bfa0edca
Introduce propertyDelegated method in delegates
2014-09-24 15:34:12 +04:00
e796f88b38
Regenerate test data with constructed descriptors for diagnostics tests
2014-09-18 17:58:23 +04:00
040d1693e8
Minor: revert semicolons after package declaration for java parts inside kt file.
2014-09-18 16:00:45 +04:00
30208d5532
Minor: drop semicolon in package declaration everywhere.
2014-09-16 19:32:37 +04:00
a735d67e86
Check noinline annotation on non-local return processing
2014-09-16 15:33:14 +04:00
b763aa9995
Added platform static checker with provider implementation
2014-09-16 14:38:15 +04:00
f1cf446e10
KT-5773 Smart cast doesn't work with Nothing on the rhs of "?:"
...
#KT-5773 FIxed
2014-09-15 18:24:13 +04:00
65d358a066
Don't generate component function in lazy resolve for parameter if it has no val/var
2014-09-11 12:52:56 +04:00
caee19cdc7
Generate copy() in data class even if constructor is empty or not present
2014-09-11 12:52:55 +04:00
b8b0316d97
Reporting ACCIDENTAL_OVERRIDE on jvm signatures that have no descriptors
...
(marking them SYNTHETIC)
2014-09-10 17:35:54 +04:00
5b1993f62a
Resolve "values" and "valueOf" in enum class object
...
Import enum class's static scope into its class object's member scope
2014-09-09 20:42:38 +04:00
b52f337f7f
Drop enum class object hack
...
Place valueOf() and values() into the static scope of the corresponding enum
class
#KT-5580 Fixed
#KT-2410 Fixed
2014-09-09 20:42:37 +04:00
bcfb5f3b09
Rewrite Java resolve to use static class scope instead of synthesized packages
...
#KT-4149 Fixed
#KT-4839 Fixed
2014-09-09 20:42:36 +04:00
7ad88f7799
Minor, add test for obsolete issue
...
#KT-4021 Obsolete
2014-09-09 20:42:35 +04:00
067ac5c94a
Fixed one part of 'Resolution error of this type shouldn't occur for...'
...
Result for "IF<T>(T, T)" can be "hasUnknownParameters"
if both arguments have types 'uninferred type parameter' (incomplete resolve case),
no constraints are added to the system.
2014-09-07 01:03:58 +04:00
61dc110cc7
Report 'break or continue outside a loop'
...
for break/continue outside a loop body (e.g. in loop condition)
#KT-5724 Fixed
2014-09-07 01:03:57 +04:00
17c3eeb7bd
Added error 'NESTED_CLASS_SHOULD_BE_QUALIFIED'
...
when nested class is resolved through implicit this
2014-09-01 12:32:54 +04:00
132c292d32
Don't check class object visibility when it's in qualifier position
...
(visibility for member is checked anyway).
It might be better to underline invisible qualifier in a chain (class or class object), not the last one (member) - for later improvement.
2014-09-01 12:32:54 +04:00
bc3f6e200a
Refactoring in PositioningStrategies
...
Rename: NAME_IDENTIFIER -> DECLARATION_NAME
NAMED_ELEMENT -> DECLARATION_SIGNATURE
DECLARATION, DECLARATION_OR_DEFAULT (merged) -> DECLARATION_SIGNATURE_OR_DEFAULT
2014-09-01 12:32:53 +04:00
bbeb44e6ee
Fixed NPE in ArgumentMatchImpl.getStatus
...
Check value arguments if there is wrong number of type arguments
2014-09-01 12:32:52 +04:00
9d366cb896
Prohibit local objects and enum classes
...
#KT-5402 Fixed
#KT-4838 Fixed
Resolve type of object inside local object as special, not supertype('Any').
Changed visibility of constructor of anonymous object to 'internal' to be able to resolve the following:
fun box(): String {
var foo = object {
val bar = object {
val baz = "ok"
}
}
return foo.bar.baz
}
The containing declaration of property initializers is constructor, so 'baz' was invisible inside private constructor.
2014-09-01 12:32:52 +04:00
eaeed78154
Resolve type of anonymous object in local object as local
2014-09-01 12:32:51 +04:00
f811b9541c
Position error on 'class A' or 'object A' instead of name identifier only
2014-09-01 12:32:51 +04:00
6f4c152f53
Record reference to class object directly
...
not to containing class descriptor
2014-09-01 12:32:50 +04:00
7f33ad90a6
Report 'nested class accessed via instance reference' error
2014-09-01 12:32:50 +04:00
8289f13016
Introduced QualifierReceiver instead of PackageType
2014-09-01 12:32:49 +04:00
8f6f8331ac
DelegationSpecifier resolve depends on expected type (supertype)
2014-09-01 12:32:48 +04:00
e4e09d6c70
Resolve invoke on class objects and enum entries
...
Added FakeCallableDescriptorForObject to make a resolved call
with object as variable in 'variable as function call'
#KT-4321 Fixed
#KT-4863 Fixed
2014-09-01 12:32:48 +04:00
d80907543f
KT-5697 Duplicate Unit type
...
#KT-5697 Fixed
2014-08-29 12:51:07 +04:00
9e971ed2b9
Minor, add test on enum assignability to kotlin.Enum
2014-08-13 17:19:56 +04:00
47d5f83d04
Report unmet trait requirements
...
#KT-3006 Fixed
2014-08-13 17:19:55 +04:00
311166737f
Associate synthetic component function descriptors with corresponding
...
constructor parameters
2014-08-08 18:59:45 +04:00
9fee8600cb
Pseudocode: Do not generate implicit return instruction inside of
...
Unit-typed lambdas
#KT-5549 Fixed
2014-08-05 18:14:40 +04:00
2ae87cae4a
Function literal expression outside the parentheses wrapped into JetFunctionLiteralArgument
...
Extracted JetFunctionLiteralArgument.moveInsideParenthesesAndReplaceWith util function
2014-07-30 17:14:00 +04:00
4477a96ca7
Resolve operation (unary, array access) on error element instead of ignoring it
...
(to record corresponding call for later simplification in control flow)
Generate code for unmapped arguments in control flow
2014-07-30 17:14:00 +04:00
61b70d287e
Update to 138.1283.4 EAP
2014-07-29 16:28:36 +04:00
76845a76b9
Fixed KT-4814: check type when a += b is a = a+b
...
In cases when a += b is a = a + b, check that (a+b) can be safely casted to a
2014-07-28 22:00:14 +04:00
9cbcabffa4
Control-Flow Analysis: Reuse pseudo-value information for unused expression analysis
2014-07-28 13:07:37 +04:00
Andrey Breslav