Commit Graph

996 Commits

Author SHA1 Message Date
Evgeny Gerashchenko abdf34418a Got rid of returning empty range list in position strategies (in places where they don't depend on syntax errors). 2012-05-02 00:11:03 +04:00
Evgeny Gerashchenko 0fd34a455f Added assert in DefaultErrorMessages checking that all error factories have default renderer. 2012-05-02 00:11:02 +04:00
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