Commit Graph

  • 6319ada926 Nullablility diagnostics for extension functions Andrey Breslav 2011-05-30 20:09:04 +04:00
  • e616c38a9f pass outer instance when calling base inner class constructor in inner class Dmitry Jemerov 2011-05-30 19:55:44 +04:00
  • 8adaf297ef correct generation of 'this' in DImpl classes Dmitry Jemerov 2011-05-30 18:14:57 +04:00
  • 02565f669c Merge remote branch 'origin/master' Dmitry Jemerov 2011-05-30 16:29:39 +04:00
  • 2fd4f39be0 colossal cave WIP Dmitry Jemerov 2011-05-30 16:28:05 +04:00
  • 4fdfcdc541 superclass stuff improvements Dmitry Jemerov 2011-05-30 16:26:12 +04:00
  • 9a9c78da9e JET-67 Property with abstract getter forces class to have primary constructor Andrey Breslav 2011-05-30 16:22:30 +04:00
  • a676c960cf 'this' is resolved to the corresponding declaration in labeled function literals Andrey Breslav 2011-05-30 16:02:51 +04:00
  • d0f284fd5f fix stupid bug introduced during refactoring Dmitry Jemerov 2011-05-30 15:46:57 +04:00
  • d4f0486139 generate 'as' Dmitry Jemerov 2011-05-30 15:40:13 +04:00
  • 5c9a807c57 abstract methods Dmitry Jemerov 2011-05-30 15:26:34 +04:00
  • 867e2f4938 test for abstract property Dmitry Jemerov 2011-05-30 14:39:10 +04:00
  • 2052683de3 ColossalCave wip Dmitry Jemerov 2011-05-29 19:35:36 +04:00
  • 6517a82ee1 generate initializer blocks Dmitry Jemerov 2011-05-29 19:21:24 +04:00
  • 17f7ea9292 refactoring: extract ClassBodyCodegen out of ClassCodegen, separate subclasses for interface and implementation Dmitry Jemerov 2011-05-29 18:40:56 +04:00
  • 9e4567ffc3 initial, barely working implementation of inner classes Dmitry Jemerov 2011-05-29 18:16:58 +04:00
  • a83d6ed8f6 one step towards helpfulness of message Dmitry Jemerov 2011-05-27 19:33:27 +04:00
  • b2df0879b3 24 game done Dmitry Jemerov 2011-05-27 19:10:56 +04:00
  • 78247520c7 correctly handle ensureReceiverOnStack() when the expression is itself a receiver; use correct type when putting/storing fields Dmitry Jemerov 2011-05-27 19:03:11 +04:00
  • 9969b8d7a4 put values of correct type on stack for checking if character is in range Dmitry Jemerov 2011-05-27 18:29:48 +04:00
  • 6dfa8ca8c6 don't forget to put receiver on stack when calling extension functions Dmitry Jemerov 2011-05-27 18:11:42 +04:00
  • ff6fcabd00 Merge remote branch 'origin/master' Dmitry Jemerov 2011-05-27 17:46:24 +04:00
  • 6a03ec3878 Tests fixed + 'this' is resolved to the corresponding declaration Andrey Breslav 2011-05-27 16:16:52 +04:00
  • e4df21c150 Name imports fixed Andrey Breslav 2011-05-27 14:30:49 +04:00
  • b950a82fcd Qualified this resolved correctly Andrey Breslav 2011-05-27 13:54:46 +04:00
  • 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 Andrey Breslav 2011-05-26 21:09:39 +04:00
  • cc26da07df A test for JET-55 Bogus overload ambiguity trying to call Exception.getMessage() Andrey Breslav 2011-05-26 20:00:43 +04:00
  • 009e983b41 JET-58 Make 'as never succeeds' a warning, or even never check for Java (external) types Andrey Breslav 2011-05-26 19:55:36 +04:00
  • 534232fff0 diagnostics Dmitry Jemerov 2011-05-26 19:37:35 +04:00
  • 2a0567d15b map String methods; don't try to push void values on stack Dmitry Jemerov 2011-05-26 19:32:39 +04:00
  • 94788b77f4 JET-54 SOE on trying to call Collections.sort() Andrey Breslav 2011-05-26 19:10:08 +04:00
  • 58f50a8046 initial support for generating extension functions Dmitry Jemerov 2011-05-26 19:07:50 +04:00
  • 1dd62a3560 declare String.substring() Dmitry Jemerov 2011-05-26 19:07:31 +04:00
  • 1cfaf9ff74 Assertion failure fixed Andrey Breslav 2011-05-26 18:21:16 +04:00
  • 71a10295d7 use receiver type as owner when calling Java methods Dmitry Jemerov 2011-05-26 18:08:51 +04:00
  • 815a423dc1 24 game WIP Dmitry Jemerov 2011-05-26 17:57:55 +04:00
  • dcb84c85b4 look for Java methods in superclasses (JET-56) Dmitry Jemerov 2011-05-26 15:01:07 +04:00
  • 0b08815960 psiTypeToAsm() handles type parameters Dmitry Jemerov 2011-05-26 14:36:17 +04:00
  • e6bc303345 24 game wip Dmitry Jemerov 2011-05-26 14:27:10 +04:00
  • 6c9e54d870 correct referenced name for escaped identifiers Dmitry Jemerov 2011-05-26 13:43:46 +04:00
  • 93b30bd7c7 TwentyFourGame wip Dmitry Jemerov 2011-05-26 13:37:29 +04:00
  • 5989fb2bc3 JET-47 Require a ':' in object literals Andrey Breslav 2011-05-24 22:31:21 +04:00
  • 2a2a697953 JET-51 Check generic bounds in method calls + A bug in parseCallExpression() heuristics fixed Andrey Breslav 2011-05-24 21:22:55 +04:00
  • 139af5b36a Cleanup/Refactoring Andrey Breslav 2011-05-24 19:42:38 +04:00
  • 7eded2d57e JET-49 Resolve extension functions with generic receivers Andrey Breslav 2011-05-24 19:29:58 +04:00
  • 1d948b0153 JET-49 Resolve extension functions with generic receivers + Error report fixed for 'new java.util.List<Int>' Andrey Breslav 2011-05-24 19:07:53 +04:00
  • 7e5021d746 JET-3 Convert Java's raw types into Jet types + Default constructors in Java classes loaded from source Andrey Breslav 2011-05-23 13:29:02 +04:00
  • dd612c74e3 JET-39 Process ?. correctly in the receiver types Andrey Breslav 2011-05-23 10:42:50 +04:00
  • 9d123b5c4f JET-39 Process ?. correctly in the receiver types Andrey Breslav 2011-05-21 14:00:18 +04:00
  • caad86e880 JET-40 Check that 'else' entry is the last one in the list of 'when' entries Andrey Breslav 2011-05-21 13:30:58 +04:00
  • be31946f4a Merge remote branch 'origin/master' Andrey Breslav 2011-05-20 22:24:36 +04:00
  • a1e055af89 Decomposer patterns supported: any expression resolvable in the context of the matched one and returning a tuple is a decomposer Andrey Breslav 2011-05-20 22:24:13 +04:00
  • 8cf0524268 generate for in range Dmitry Jemerov 2011-05-20 14:26:49 +02:00
  • 4c7768b47d generate .size property for arrays Dmitry Jemerov 2011-05-20 13:54:15 +02:00
  • c943525e08 generate new array creation Dmitry Jemerov 2011-05-20 13:46:28 +02:00
  • 0afddb4d9e Resolve for receiver-properties (generic arguments are not supported) Andrey Breslav 2011-05-20 18:06:59 +04:00
  • 3e0141ada4 Correct descriptors for properties with receivers Andrey Breslav 2011-05-20 17:42:59 +04:00
  • 805123f4a1 Tuple patterns used to represent decomposer argument lists Andrey Breslav 2011-05-20 17:09:16 +04:00
  • 5ad5a0e5e9 Type checking for basic patterns Andrey Breslav 2011-05-19 23:34:27 +04:00
  • 298407210e Working on patterns + Constructor for Array Andrey Breslav 2011-05-19 22:53:03 +04:00
  • d953079635 generate wildcard patterns Dmitry Jemerov 2011-05-19 20:05:30 +02:00
  • a58672515a pattern matching with type patterns Dmitry Jemerov 2011-05-19 19:48:19 +02:00
  • 0fe2b7ef2f Merge remote-tracking branch 'origin/master' Dmitry Jemerov 2011-05-19 19:39:09 +02:00
  • 1c6dadb36a Support for wildcard patterns Andrey Breslav 2011-05-19 21:24:21 +04:00
  • 197c4a6fee Basic type patterns supported in when() expressions Andrey Breslav 2011-05-19 21:12:09 +04:00
  • d7a2cb07f3 try / finally Dmitry Jemerov 2011-05-19 18:40:42 +02:00
  • 5bbb99e247 pattern matching on ranges Dmitry Jemerov 2011-05-19 16:30:23 +02:00
  • cd96508c63 failing test for pattern matching on patterns Dmitry Jemerov 2011-05-19 16:12:58 +02:00
  • 92a3e9275c pattern matching for expressions Dmitry Jemerov 2011-05-19 16:09:31 +02:00
  • c94b5ca312 do not detect Python facet Dmitry Jemerov 2011-05-19 16:07:33 +02:00
  • 00e2c9dde3 Preliminary support for extension functions: they participate in overload resolution only if no such name is found in the receiver type itself. Andrey Breslav 2011-05-19 00:06:01 +04:00
  • 25799cf2f0 Report an error on a function with two lists of type parameters Andrey Breslav 2011-05-18 21:38:39 +04:00
  • e6117be4d5 Getting ready for receiver-functions: got rid of MutableFunctionDescriptor Andrey Breslav 2011-05-18 21:23:17 +04:00
  • cea7f85648 Fixed a bug in CF for when() expressions Andrey Breslav 2011-05-18 14:24:17 +04:00
  • 891aebf3bc Basic support for when() expressions Andrey Breslav 2011-05-17 22:27:35 +04:00
  • 169f45b97b AST structure refined for different kinds of when entry conditions Andrey Breslav 2011-05-17 19:32:35 +04:00
  • b90d43274b Minor cleanup + JET-32 Display left bar icons for classes, properties and namespaces Andrey Breslav 2011-05-16 23:43:30 +04:00
  • df2ac2a9ff Refactoring/Cleanup Andrey Breslav 2011-05-16 23:12:50 +04:00
  • fe5d5771e1 Cleanup Andrey Breslav 2011-05-16 21:41:49 +04:00
  • cefdf3a266 Test for JET-11 Redeclaration &amp; Forward reference for classes cause an exception Andrey Breslav 2011-05-16 21:31:19 +04:00
  • 7f07ae6aeb Test for JET-17 Do not infer property types by the initializer before the containing scope is ready Granular highlighting for redeclaration errors Andrey Breslav 2011-05-16 21:29:07 +04:00
  • 92e1391ca5 Test for JET-4: Support forward declarations with no type annotations Andrey Breslav 2011-05-16 21:18:22 +04:00
  • 9103923d39 Navigation problems in the IDE fixed Andrey Breslav 2011-05-16 21:07:29 +04:00
  • 0f63489f7c All tests pass Andrey Breslav 2011-05-16 20:48:51 +04:00
  • f61b776c10 Merge remote branch 'origin/master' Andrey Breslav 2011-05-16 15:05:59 +04:00
  • 0dfc7afb29 More delegation tests Maxim Shafirov 2011-05-15 01:29:01 +04:00
  • 3693a2366b Don't generate delegates to a functions, that are locally overriden Maxim Shafirov 2011-05-15 01:28:46 +04:00
  • c40479fa68 fake Maxim Shafirov 2011-05-10 14:28:29 +04:00
  • a6b31b6c25 Beautified line icons and display function signatures Andrey Breslav 2011-05-13 21:58:34 +04:00
  • e087b080e9 A bug with local variable initializers fixed Andrey Breslav 2011-05-13 21:14:57 +04:00
  • c4954ebcc3 'as?' works on types with generics Dmitry Jemerov 2011-05-13 19:07:51 +02:00
  • ffd0119a46 use standard method index Dmitry Jemerov 2011-05-13 18:58:35 +02:00
  • b75354f4b9 Merge remote branch 'origin/master' Andrey Breslav 2011-05-13 20:54:57 +04:00
  • 797f9fcc56 Indices for type parameters Andrey Breslav 2011-05-13 20:53:36 +04:00
  • 6770f309ac 'is' works for type parameters Dmitry Jemerov 2011-05-13 18:42:05 +02:00
  • 63aecd285e Merge remote branch 'origin/master' Andrey Breslav 2011-05-13 20:23:28 +04:00
  • 82dabdc8d5 !is is supported Dmitry Jemerov 2011-05-13 18:21:30 +02:00
  • 26790f1346 'is' works with generic types correctly (initial implementation of reified generics) Dmitry Jemerov 2011-05-13 18:06:25 +02:00
  • b67359a861 Problem caused by the asymmetry of equals() for deferred types solved (ad hoc) Andrey Breslav 2011-05-13 19:48:56 +04:00
  • 5711927522 initial implementation of 'is' operator Dmitry Jemerov 2011-05-13 16:07:32 +02:00