Commit Graph

  • b4ded8702c failing test Maxim Shafirov 2011-06-20 14:45:27 +04:00
  • ef601c5710 JetTypeInferrer refactored to enable transactional traces (needed for multi-trial type inference) Andrey Breslav 2011-06-18 21:54:16 +04:00
  • f1d00f3f59 Cosmetics + Debug info Andrey Breslav 2011-06-18 21:04:10 +04:00
  • 88f4beb85c Expected test result for JET-113 Andrey Breslav 2011-06-18 16:18:32 +04:00
  • 665b59ffd1 Utility method extracted Andrey Breslav 2011-06-18 16:07:52 +04:00
  • 2c5c92c728 JET-114 Do not allow an anonymous initializer on the same line after 'get' of a property + 'Toggle Error Reporting' Action Andrey Breslav 2011-06-17 21:20:05 +04:00
  • 35ee989a70 implementation so far Dmitry Jemerov 2011-06-17 17:32:57 +02:00
  • 1816ff7c76 StackValue.Property also needs to implement dupReceiver() Dmitry Jemerov 2011-06-17 17:24:14 +02:00
  • 6e1d79e5e1 tiny bit of diagnostics Dmitry Jemerov 2011-06-17 17:17:12 +02:00
  • b7e6de73e8 putting a compare on stack as void type is a nop, not an error Dmitry Jemerov 2011-06-17 17:01:30 +02:00
  • 167e5bb400 correctly generate Java superclass constructor calls; don't replace owner when Java method is called via a Jet class Dmitry Jemerov 2011-06-17 16:45:45 +02:00
  • 39636950f4 NPE once again Dmitry Jemerov 2011-06-17 16:06:39 +02:00
  • 7b9ea52b7a initial support for secondary constructors; constructor generation refactored a bit Dmitry Jemerov 2011-06-17 15:38:10 +02:00
  • 54d2f25d75 generate checkcast instruction for 'as' calls; use accessors for accessing fields of other instances of the same class Dmitry Jemerov 2011-06-17 13:36:51 +02:00
  • 6d1823ac2a JET-113 Check returns in secondary constructors Andrey Breslav 2011-06-17 18:31:51 +04:00
  • 03460e2bcc Returns forbidden outside functions Andrey Breslav 2011-06-17 18:20:24 +04:00
  • 94f00509e2 JET-34 Require a return statement in a function with a block body JET-77 Require a return type annotation for non-Unit returning functions with block bodies Andrey Breslav 2011-06-17 18:03:30 +04:00
  • c4eecea575 JET-107 Standard library classes are not shown in completion list Andrey Breslav 2011-06-17 15:32:48 +04:00
  • 646b8d4fa3 Merge remote branch 'origin/master' Andrey Breslav 2011-06-17 15:23:59 +04:00
  • 29fa1c9c11 toString() extension added to the standard library Andrey Breslav 2011-06-17 15:23:42 +04:00
  • f234961baa another test fix Dmitry Jemerov 2011-06-17 12:54:19 +02:00
  • ddecfcb5b6 test fix Dmitry Jemerov 2011-06-17 12:53:04 +02:00
  • 1e0eb7692e avoid NPE in reference Dmitry Jemerov 2011-06-17 12:48:01 +02:00
  • 392dce3207 JetClass -> JetClassOrObject Dmitry Jemerov 2011-06-17 12:10:40 +02:00
  • 4b5fd5556a implement JetNamespace.getFQName() for nested namespaces Dmitry Jemerov 2011-06-16 19:19:04 +02:00
  • e6fc0a316f pass our binding context when generating nested namespace Dmitry Jemerov 2011-06-16 19:10:05 +02:00
  • 90c5a66362 allow namespace-qualified references; generate nested namespaces Dmitry Jemerov 2011-06-16 19:04:35 +02:00
  • a05b65f1a6 initial version of codegen for objects Dmitry Jemerov 2011-06-16 18:26:01 +02:00
  • 67689f4ed2 check if element is valid Dmitry Jemerov 2011-06-16 17:41:08 +02:00
  • 5968740638 'this()' resolution fixed for generic classes Andrey Breslav 2011-06-16 20:06:57 +04:00
  • 0c274a7651 Class descriptors for objects marked explicitly Andrey Breslav 2011-06-16 19:44:58 +04:00
  • a502438771 all the little dances required to have Find Usages working Dmitry Jemerov 2011-06-16 12:59:03 +02:00
  • b5f0c2e390 couple of fixes needed to have rename work Dmitry Jemerov 2011-06-16 12:46:16 +02:00
  • 3f2654c123 run configuration producer Dmitry Jemerov 2011-06-15 21:24:02 +02:00
  • 1001b4ae65 initial, really basic implementation of formatter Dmitry Jemerov 2011-06-15 20:43:03 +02:00
  • 41bb4ce4d9 use standard base class Dmitry Jemerov 2011-06-15 19:30:44 +02:00
  • 75092449f9 action to show type of selected expression or expression under caret Dmitry Jemerov 2011-06-15 19:29:14 +02:00
  • 8786c6a667 Type annotations required on functions Andrey Breslav 2011-06-15 21:21:19 +04:00
  • 317877d67a some folding Dmitry Jemerov 2011-06-15 19:02:56 +02:00
  • a5fdcf9fb1 moving stuff around Dmitry Jemerov 2011-06-15 18:54:41 +02:00
  • a12a6f8c3d nicer looking completion items Dmitry Jemerov 2011-06-15 18:45:29 +02:00
  • 9a7e43b0f1 Merge remote-tracking branch 'origin/master' Dmitry Jemerov 2011-06-15 18:43:24 +02:00
  • dcdb39a716 Parent scopes are shown in completion Andrey Breslav 2011-06-15 20:42:52 +04:00
  • bf84878a73 Assertion failure fixed Andrey Breslav 2011-06-15 19:45:08 +04:00
  • 9625ae5d95 remove ?. which is now redundant thanks to nullability inference Dmitry Jemerov 2011-06-15 17:36:57 +02:00
  • 98459cfdcb JetCallExpression.getCalleeExpression() is actually nullable with the current parser Dmitry Jemerov 2011-06-15 17:32:10 +02:00
  • 0210a495c3 Services for completion Andrey Breslav 2011-06-15 19:29:51 +04:00
  • 46208ad14f get rid of 'new' Dmitry Jemerov 2011-06-15 17:26:33 +02:00
  • c10c19b848 Services for completion Andrey Breslav 2011-06-15 19:20:12 +04:00
  • c2fbbff782 JET-50 Drop the 'new' keyword Andrey Breslav 2011-06-15 18:00:10 +04:00
  • c9d9001ad8 structure view is in general working Dmitry Jemerov 2011-06-15 14:29:22 +02:00
  • f16a4bb752 structure view (dummy) Dmitry Jemerov 2011-06-15 12:56:15 +02:00
  • 41d2c73c06 No propagation of names bound in patterns to else-branches Andrey Breslav 2011-06-15 14:38:19 +04:00
  • e3dda48d09 Test for JET-94 Support enum classes Andrey Breslav 2011-06-14 22:08:58 +04:00
  • e4e5c7b0dc JET-94 Support enum classes Andrey Breslav 2011-06-14 22:06:56 +04:00
  • 400e939c21 Bindings are propagated over control flow, only directly, otherwise it is confusing Andrey Breslav 2011-06-14 18:48:27 +04:00
  • 79d3f318b9 Bindings are propagated over control flow, scope intersections are not supported yet Andrey Breslav 2011-06-13 16:12:32 +04:00
  • 3cacb512a3 Working on bindings in ifs Andrey Breslav 2011-06-13 14:33:32 +04:00
  • c2aceefe76 Working on bindings Andrey Breslav 2011-06-12 21:54:35 +04:00
  • d4b1658bde Autocasts & binding patterns in 'when'-expressions Andrey Breslav 2011-06-12 21:30:22 +04:00
  • 7536501607 LIFO order for autocasts Andrey Breslav 2011-06-12 18:38:05 +04:00
  • d64b5b3a74 Autocasts implemented Andrey Breslav 2011-06-12 18:21:35 +04:00
  • 11c0d924a6 One more case for nullability: comparison to a non-null expression Andrey Breslav 2011-06-12 15:32:50 +04:00
  • 70ed1f8083 Tests fixed Andrey Breslav 2011-06-12 15:14:13 +04:00
  • 2c02a9b982 Info extraction for is-conditions in if's Andrey Breslav 2011-06-10 20:13:06 +04:00
  • c3854c939c Negations supported Andrey Breslav 2011-06-10 19:21:39 +04:00
  • 49b60c3af8 More cases for nullability analysis Andrey Breslav 2011-06-10 19:07:23 +04:00
  • 9d3abf782c Nullability analysis supported for a little more simple cases Andrey Breslav 2011-06-10 17:21:28 +04:00
  • 41322a8658 Nullability analysis supported for simple cases Andrey Breslav 2011-06-10 17:06:35 +04:00
  • accb2dd89d Primitive tree-traversal-based implementation of nullability. Compound conditions are not supported yet Andrey Breslav 2011-06-08 22:17:32 +04:00
  • ccbb482b08 Infinite loop in the parser fixed Andrey Breslav 2011-06-08 18:49:02 +04:00
  • 9e3453a44e Tests fixed JET-85 Generate code for Java's fully qualified names -- is still open Andrey Breslav 2011-06-06 21:14:11 +04:00
  • 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 Andrey Breslav 2011-06-05 11:41:08 +04:00
  • 9450e1bdf9 JET-84 Support generic parameter constraints for class objects Test for classes + small fixes Andrey Breslav 2011-06-05 01:25:03 +04:00
  • 4204db9cb0 JET-84 Support generic parameter constraints for class objects Done for classes only, not for functions Andrey Breslav 2011-06-05 00:32:17 +04:00
  • a32c7a4d87 A test for JET-53 Support import of individual classes from Java packages Andrey Breslav 2011-06-04 18:35:30 +04:00
  • cc54631209 JET-86: Report errors for class objects Andrey Breslav 2011-06-04 15:32:45 +04:00
  • a1ce9eefb5 JET-86: Report errors for class objects Andrey Breslav 2011-06-04 15:08:14 +04:00
  • e2d6df7047 JET-61 Support class objects JET-83 Interpret Java static methods as class objects' members Andrey Breslav 2011-06-03 19:23:54 +04:00
  • 7e2e46ec71 JET-61 Support class objects JET-83 Interpret Java static methods as class objects' members Andrey Breslav 2011-06-03 19:03:33 +04:00
  • 4884af389f JET-61 Support class objects Andrey Breslav 2011-06-03 18:37:47 +04:00
  • 2350a8a731 JET-81 Assertion fails when processing in self-referring anonymous objects Andrey Breslav 2011-06-03 17:11:27 +04:00
  • 2446179949 JET-79 Don't allow objects, classes, properties or namespaces with the same name Andrey Breslav 2011-06-03 16:52:12 +04:00
  • f0b8ef6946 Support for local objects Andrey Breslav 2011-06-03 16:02:26 +04:00
  • 36470388c4 Tests for objects + delegation specifier resolution + override bindings for objects Andrey Breslav 2011-06-03 15:09:47 +04:00
  • e3f9978e4d An object declaration does not generate a visible class Andrey Breslav 2011-06-02 21:46:17 +04:00
  • ed16a29a5f JET-76 Support object declarations JET-62 Support object-expressions No tests yet Andrey Breslav 2011-06-02 20:56:01 +04:00
  • efd417e043 Parsing object declarations Andrey Breslav 2011-06-02 18:44:56 +04:00
  • 7ad600220b Comment Andrey Breslav 2011-06-02 17:30:04 +04:00
  • 7a8ea7fd88 JET-65 Identifier in initializer block resolves to constructor parameter instead of property + Scopes for secondary constructors fixed Andrey Breslav 2011-06-02 13:35:45 +04:00
  • 826936785a A bug with single-parameter closures without type annotations fixed Andrey Breslav 2011-06-02 06:26:33 +04:00
  • 13808dcf9b Receiver type exposed as a lookup element Andrey Breslav 2011-06-01 22:58:44 +04:00
  • 97de457f79 JET-72 Type inference doesn't work when iterating over ArrayList: substitutions fixed for methods inherited from generic superclasses Andrey Breslav 2011-06-01 18:17:28 +04:00
  • dc25c7bb3b Test for JET-68 + regression tests turned on Andrey Breslav 2011-06-01 15:25:11 +04:00
  • ffba7af73a JET-68 Add default equals() to the library Andrey Breslav 2011-06-01 14:38:37 +04:00
  • 5413bebd33 colossal cave wip Dmitry Jemerov 2011-05-30 21:51:16 +04:00
  • 0a1161f5c1 support qualified this Dmitry Jemerov 2011-05-30 21:41:15 +04:00
  • 664eeb6d54 Merge remote branch 'origin/master' Dmitry Jemerov 2011-05-30 21:29:00 +04:00
  • 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 Dmitry Jemerov 2011-05-30 20:35:58 +04:00
  • c1dc1ebdac JET-69 Lookup equals() in a non-null type of the receiver. Andrey Breslav 2011-05-30 20:12:31 +04:00