Stepan Koltsov
8278ed8aa5
ImportPath.toString
2012-05-01 17:39:51 +04:00
Svetlana Isakova
2bd0be5638
reverted: 'A doubtful try to save compilation' (no more needed)
2012-05-01 14:56:34 +04:00
Svetlana Isakova
823b6733c2
A doubtful try to save compilation
2012-04-30 16:21:17 +04:00
Svetlana Isakova
09c065b371
usage 'call.getCallElement' instead of 'call.getCalleeExpression' while 'invisible member' error reporting
2012-04-30 15:44:23 +04:00
Svetlana Isakova
36224dd32c
ResolutionCandidate's small change
2012-04-30 15:44:23 +04:00
Svetlana Isakova
c698f791c8
navigate to variable (not to 'invoke' function) while 'variable as function' call resolve
2012-04-30 15:44:22 +04:00
Svetlana Isakova
2654534ede
ChainedTemporaryBindingTrace added
2012-04-30 15:44:22 +04:00
Svetlana Isakova
a2e11821de
resolvedCalls set instead of multiMap stored in ResolutionTask
2012-04-30 15:44:22 +04:00
Svetlana Isakova
a8f959fee8
receiver for second ('invoke') call for 'variable as function' call case added to context
2012-04-30 15:44:22 +04:00
Svetlana Isakova
24082a67d7
correspondence between CallableDescriptorCollector and CallTransformer (special treatment only for function invocations)
2012-04-30 15:44:22 +04:00
Svetlana Isakova
2fa8fd50fc
'getNonMembersByName' instead of 'getExtensionsByName' not to throw out invocation of variables with members-extensions
2012-04-30 15:44:22 +04:00
Svetlana Isakova
aeed586fba
'thisObject' is known in 'variable as function' call case, while constructing second 'invoke' call
2012-04-30 15:44:22 +04:00
Svetlana Isakova
5b49869cac
changed CallTransformer responsible for resolving second call ('invoke') for 'variable as function' case
2012-04-30 15:44:22 +04:00
Svetlana Isakova
e2c7267ecc
added VariableAsFunctionResolvedCall containing two calls (for variable and for 'invoke' function)
2012-04-30 15:44:22 +04:00
Svetlana Isakova
28526afbde
interface ResolvedCallWithTrace added
2012-04-30 15:44:22 +04:00
Svetlana Isakova
655ac949ba
'invoke' method added to standard function types
2012-04-30 15:44:22 +04:00
Stepan Koltsov
0073959224
intersection of empty types is widest possible type (Any?)
2012-04-28 17:43:52 +04:00
Svetlana Isakova
ebff94a632
NPE from EA fixed
2012-04-27 22:27:38 +04:00
Andrey Breslav
3ee8c5e469
A warning added: parameter names disagree upon override
...
This should be an error, but there is an issue with Java interop: Java parameters may change names or not have them.
2012-04-27 21:33:48 +04:00
Andrey Breslav
553b99f198
Unused method removed
2012-04-27 20:05:43 +04:00
Andrey Breslav
ebfb1ec792
KT-1558 Exception while analyzing
...
KT-1558 Fixed
2012-04-27 20:05:42 +04:00
Andrey Breslav
5453598b2f
Declared vs inherited default values
...
A value parameter _declares _a default value when the value is explicitly provided in the declaration of the parameter.
A value parameter _has_ a default value when it declares a default value or an overridden function declares it for the same parameter
2012-04-27 20:05:42 +04:00
Andrey Breslav
d67cc468d8
KT-1862 Wrong MANY_IMPL_MEMBERS_NOT_IMPLEMENTED when trait extends class
...
#KT-1862 Fixed
2012-04-27 10:58:27 +04:00
Andrey Breslav
dc7e6cd3f6
A clarifying message added to an assertion
2012-04-27 10:53:02 +04:00
Andrey Breslav
83de1581ca
Trust your spell-checker: it's "overridden"
2012-04-27 10:47:28 +04:00
Andrey Breslav
227d50945c
Cleanup
2012-04-27 10:43:14 +04:00
Andrey Breslav
1795ca9830
Unnecessary casts removed
2012-04-27 10:29:52 +04:00
Andrey Breslav
b1627e3897
Provide separate access to declared callable members as opposed to all callable members
...
All callable members contain "fake overrides", declared don't
2012-04-27 00:05:31 +04:00
Andrey Breslav
5f75be6253
No need to expose this scope as writable
2012-04-26 23:58:36 +04:00
Andrey Breslav
058e4b833b
Checks for default parameter value consistency
...
Inheriting default values from multiple superclasses is prohibited
2012-04-26 17:33:16 +04:00
Andrey Breslav
07c5f8e12a
MutableClassDescriptor.getCallableDescriptors() now includes "fake overrides"
...
Otherwise, it was necessary to call getAllDescriptors() on the member scope, which seems like a bad idea.
Adjustments have been made to the client code, to exclude "fake overrides" from irrelevant checks.
2012-04-26 17:33:16 +04:00
Andrey Breslav
3a56b7905d
Default parameter values are not allowed in overriding functions
2012-04-26 17:33:15 +04:00
Andrey Breslav
136b07e7e1
Introduced the notion of "overriding" for value parameters
...
Example:
trait A {
fun foo(a : Int)
}
class B : A {
override fun foo(a : Int) {}
}
B.foo.a overrides A.foo.a
2012-04-26 17:33:15 +04:00
Nikolay Krasko
800f289ba3
Some new icons - kotlin file icon
2012-04-26 13:50:37 +04:00
Andrey Breslav
d0bd5cf9c6
Properly positioning compilation exceptions in the IDE
2012-04-25 12:25:00 +04:00
Stepan Koltsov
ae913f4c0e
replace assert with exception
...
* assert hides errors when code is executed without -ea
* it is easier to set up breakpoint
2012-04-24 22:14:00 +04:00
Andrey Breslav
c686184847
KT-1860 Resolve annotations of function parameters
...
#KT-1860 Fixed
2012-04-24 21:53:23 +04:00
Evgeny Gerashchenko
cc7284c67e
Fixed failed assertions on navigating to 'Assertions' class of Kotlin runtime
2012-04-24 17:50:57 +04:00
Nikolay Krasko
d9b04edcf8
EA-34996 Old assert that is difficult to maintain
2012-04-23 17:59:04 +04:00
Andrey Breslav
789ff0b273
KT-1838 Constructor with a vararg
...
Resolution for properties declared as primary constructor parameters used to ignore the varargs annotation.
#KT-1838 Fixed
2012-04-23 14:16:07 +04:00
Evgeny Gerashchenko
82b4304f0e
Added auto-importing in JetChangePropertyActions.addTypeAnnotation(). It is used in "specify type explicitly" intention and "introduce variable" refactoring. Corrected auto-importing for cases of nested classes (e.g. Map.Entry).
2012-04-21 02:39:23 +04:00
Evgeny Gerashchenko
7147998c5c
Replaced "namespace header" with "package directive" in parser error.
...
#KT-1799 fixed
2012-04-20 22:02:28 +04:00
Evgeny Gerashchenko
9bec7b5e9d
Merge branch 'diagnostics'
...
Conflicts:
compiler/cli/src/org/jetbrains/jet/compiler/CompileSession.java
compiler/frontend/src/org/jetbrains/jet/lang/diagnostics/Errors.java
2012-04-20 21:58:05 +04:00
Stepan Koltsov
3b0c9244c9
di: @PreDestroy
...
I need in my private experiments
2012-04-20 21:33:18 +04:00
Stepan Koltsov
994e6fe009
di: store everything in fields
...
needed to implement @PreDestroy
2012-04-20 21:33:17 +04:00
Evgeny Gerashchenko
0f0330a4b4
Added rendering vararg keywords and valid parameter type in this case.
...
#KT-1840 fixed
2012-04-20 20:44:09 +04:00
Evgeny Gerashchenko
9a3af476e5
Implemented getDiagnostics() in BindingContext returned by DelegatingBindingTrace.
2012-04-20 20:44:09 +04:00
Evgeny Gerashchenko
90ac45f3f9
Added extra space after function type arguments list in DescriptorRenderer. Added test.
2012-04-20 20:44:08 +04:00
Evgeny Gerashchenko
1f7c435a24
Removed val/var soft keywords in renderer for functions
2012-04-20 20:44:08 +04:00
Andrey Breslav
a31edfc3bd
KT-1835 cannot call a Java API which has a method from(String) and from(String...)
...
The problem was in the "more specific" relation, that didn't pay enough attention to varargs.
The correct behavior is in the spirit of JLS 15.12.2 (as of Java 5):
* a fixed-arity function always wins over a variable-arity functions
* if two vararg functions are compared, their parameters are checked for subtyping.
In the latter case, the candidates may have different number of formal parameters, so we
compare the matching parts and then check the rest against the vararg parameter.
#KT-1835 Fixed
2012-04-20 20:00:41 +04:00