9082 Commits

Author SHA1 Message Date
Andrey Breslav 8cffea6bc2 JET-84 Support generic parameter constraints for class objects
JET-89 Report a warning is the only upper bound is final
JET-87 Support where-clause for generic parameter constraints
2011-06-05 11:41:08 +04:00
Andrey Breslav 9450e1bdf9 JET-84 Support generic parameter constraints for class objects
Test for classes + small fixes
2011-06-05 01:25:03 +04:00
Andrey Breslav 4204db9cb0 JET-84 Support generic parameter constraints for class objects
Done for classes only, not for functions
2011-06-05 01:05:55 +04:00
Andrey Breslav a32c7a4d87 A test for JET-53 Support import of individual classes from Java packages 2011-06-04 18:35:30 +04:00
Andrey Breslav cc54631209 JET-86: Report errors for class objects 2011-06-04 15:32:45 +04:00
Andrey Breslav 7e2e46ec71 JET-61 Support class objects
JET-83 Interpret Java static methods as class objects' members
2011-06-03 19:03:33 +04:00
Andrey Breslav 2350a8a731 JET-81 Assertion fails when processing in self-referring anonymous objects 2011-06-03 17:11:27 +04:00
Andrey Breslav 2446179949 JET-79 Don't allow objects, classes, properties or namespaces with the same name 2011-06-03 16:52:12 +04:00
Andrey Breslav f0b8ef6946 Support for local objects 2011-06-03 16:02:26 +04:00
Andrey Breslav 36470388c4 Tests for objects + delegation specifier resolution + override bindings for objects 2011-06-03 15:09:47 +04:00
Andrey Breslav efd417e043 Parsing object declarations 2011-06-02 18:44:56 +04:00
Andrey Breslav 7a8ea7fd88 JET-65 Identifier in initializer block resolves to constructor parameter instead of property
+
Scopes for secondary constructors fixed
2011-06-02 13:35:45 +04:00
Andrey Breslav 826936785a A bug with single-parameter closures without type annotations fixed 2011-06-02 06:27:56 +04:00
Andrey Breslav 97de457f79 JET-72 Type inference doesn't work when iterating over ArrayList:
substitutions fixed for methods inherited from generic superclasses
2011-06-01 18:17:28 +04:00
Andrey Breslav dc25c7bb3b Test for JET-68 + regression tests turned on 2011-06-01 15:25:11 +04:00
Dmitry Jemerov 0a1161f5c1 support qualified this 2011-05-30 21:41:15 +04:00
Dmitry Jemerov 664eeb6d54 Merge remote branch 'origin/master' 2011-05-30 21:29:00 +04:00
Dmitry Jemerov 15f55d852d first step of refactoring code to generate 'this' expressions and receivers in ExpressionCodegen; correctly generate references to outer class properties in inner superclass constructor call 2011-05-30 20:35:58 +04:00
Andrey Breslav c1dc1ebdac JET-69 Lookup equals() in a non-null type of the receiver. 2011-05-30 20:12:31 +04:00
Andrey Breslav 6319ada926 Nullablility diagnostics for extension functions 2011-05-30 20:09:04 +04:00
Dmitry Jemerov e616c38a9f pass outer instance when calling base inner class constructor in inner class 2011-05-30 19:55:44 +04:00
Dmitry Jemerov 8adaf297ef correct generation of 'this' in DImpl classes 2011-05-30 18:14:57 +04:00
Dmitry Jemerov 02565f669c Merge remote branch 'origin/master' 2011-05-30 16:29:39 +04:00
Dmitry Jemerov 4fdfcdc541 superclass stuff improvements 2011-05-30 16:26:12 +04:00
Andrey Breslav 9a9c78da9e JET-67 Property with abstract getter forces class to have primary constructor 2011-05-30 16:22:30 +04:00
Andrey Breslav a676c960cf 'this' is resolved to the corresponding declaration in labeled function literals 2011-05-30 16:02:51 +04:00
Dmitry Jemerov d0f284fd5f fix stupid bug introduced during refactoring 2011-05-30 15:46:57 +04:00
Dmitry Jemerov 6517a82ee1 generate initializer blocks 2011-05-29 19:21:24 +04:00
Dmitry Jemerov 9e4567ffc3 initial, barely working implementation of inner classes 2011-05-29 18:16:58 +04:00
Dmitry Jemerov 78247520c7 correctly handle ensureReceiverOnStack() when the expression is itself a receiver; use correct type when putting/storing fields 2011-05-27 19:03:11 +04:00
Dmitry Jemerov 9969b8d7a4 put values of correct type on stack for checking if character is in range 2011-05-27 18:29:48 +04:00
Dmitry Jemerov 6dfa8ca8c6 don't forget to put receiver on stack when calling extension functions 2011-05-27 18:11:42 +04:00
Dmitry Jemerov ff6fcabd00 Merge remote branch 'origin/master' 2011-05-27 17:46:24 +04:00
Andrey Breslav 6a03ec3878 Tests fixed
+
'this' is resolved to the corresponding declaration
2011-05-27 16:16:52 +04:00
Andrey Breslav e4df21c150 Name imports fixed 2011-05-27 14:30:49 +04:00
Andrey Breslav b950a82fcd Qualified this resolved correctly 2011-05-27 13:54:46 +04:00
Andrey Breslav d69f845902 JET-53 Support import of individual classes from Java packages
NOTE: imports for classes to be used as namespaces (eg, 'Collections.sort()') do not work yet
2011-05-26 21:09:39 +04:00
Andrey Breslav cc26da07df A test for JET-55 Bogus overload ambiguity trying to call Exception.getMessage() 2011-05-26 20:00:43 +04:00
Andrey Breslav 009e983b41 JET-58 Make 'as never succeeds' a warning, or even never check for Java (external) types 2011-05-26 19:55:36 +04:00
Dmitry Jemerov 58f50a8046 initial support for generating extension functions 2011-05-26 19:07:50 +04:00
Andrey Breslav 1cfaf9ff74 Assertion failure fixed 2011-05-26 18:21:16 +04:00
Andrey Breslav 5989fb2bc3 JET-47 Require a ':' in object literals 2011-05-24 22:31:21 +04:00
Andrey Breslav 2a2a697953 JET-51 Check generic bounds in method calls
+
A bug in parseCallExpression() heuristics fixed
2011-05-24 21:22:55 +04:00
Andrey Breslav 1d948b0153 JET-49 Resolve extension functions with generic receivers
+
Error report fixed for 'new java.util.List<Int>'
2011-05-24 19:07:53 +04:00
Andrey Breslav dd612c74e3 JET-39 Process ?. correctly in the receiver types 2011-05-23 10:42:50 +04:00
Andrey Breslav 9d123b5c4f JET-39 Process ?. correctly in the receiver types 2011-05-21 14:00:18 +04:00
Andrey Breslav caad86e880 JET-40 Check that 'else' entry is the last one in the list of 'when' entries 2011-05-21 13:30:58 +04:00
Andrey Breslav a1e055af89 Decomposer patterns supported: any expression resolvable in the context of the matched one and returning a tuple is a decomposer 2011-05-20 22:24:13 +04:00
Andrey Breslav 0afddb4d9e Resolve for receiver-properties (generic arguments are not supported) 2011-05-20 18:06:59 +04:00
Andrey Breslav 5ad5a0e5e9 Type checking for basic patterns 2011-05-19 23:34:27 +04:00