Commit Graph

  • 839d986f44 KT-385 type inference does not work properly KT-109 Good code is red: type arguments are not inferred KT-441 Exception in type inference when multiple overloads accepting an integer literal are accessible Andrey Breslav 2011-11-10 20:55:12 +03:00
  • 8e147b26a7 Added default getter/setter support and initializer support. Pavel Talanov 2011-11-10 21:29:50 +04:00
  • a4b62868fa KT-424 also check overloads in namespaces Stepan Koltsov 2011-11-10 20:00:34 +04:00
  • 31b049893f fix wrong test (unnecessary overload) Stepan Koltsov 2011-11-10 20:00:26 +04:00
  • d155de2bdc better diagnostics for KT-424 Stepan Koltsov 2011-11-10 20:00:19 +04:00
  • 5218246d80 KT-424: Check declarations for overload-compatibility Stepan Koltsov 2011-11-10 20:00:15 +04:00
  • 1e3f2889a4 KT-336 Can't infer type parameter for ArrayList in a generic function (Exception in type inference) KT-335 Type inference fails on Collections.sort Andrey Breslav 2011-11-10 19:44:47 +03:00
  • 89b4faa6fe started work on "unused value" analysis svtk 2011-11-10 19:42:53 +04:00
  • 5fbf684998 continue work on KT-458 Stepan Koltsov 2011-11-10 19:07:51 +04:00
  • 70b7810c30 KT-458 Need to improve quoted identifiers support Stepan Koltsov 2011-11-10 16:50:23 +04:00
  • ea9b67c5cd regenerate grammar Stepan Koltsov 2011-11-10 16:27:25 +04:00
  • 44b631cdd0 enhancements in character constant parsing Stepan Koltsov 2011-11-10 16:16:31 +04:00
  • dda5759643 More tests for KT-451 Incorrect character literals cause assertion failures Andrey Breslav 2011-11-10 15:42:14 +03:00
  • c8e2e06d59 missing test for KT-451 incorrect character liternals assertion error Stepan Koltsov 2011-11-10 15:13:08 +04:00
  • 763be2af9e fix comment: it is not automatically generated Stepan Koltsov 2011-11-10 15:09:11 +04:00
  • cd2dab3e53 KT-451 Incorrect character literals cause assertion failures Stepan Koltsov 2011-11-10 15:05:07 +04:00
  • c03a256353 Merge remote branch 'origin/master' Andrey Breslav 2011-11-10 14:51:54 +03:00
  • 2c2c6ea099 Clarifying comments added Andrey Breslav 2011-11-10 14:51:41 +03:00
  • fe54dc78e8 Added a test for extractor. Pavel Talanov 2011-11-10 14:15:30 +04:00
  • f4b18c277f Added DeclarationExtractor logic. Pavel Talanov 2011-11-10 14:06:15 +04:00
  • 7ef0debbc7 Merge remote-tracking branch 'origin/master' svtk 2011-11-10 14:00:40 +04:00
  • 1b8e5a4a11 Added return type check for non-local return (despite it is prohibited yet) svtk 2011-11-10 14:00:32 +04:00
  • abec6933cf KT-499 allow class object in static inner classes Stepan Koltsov 2011-11-10 12:59:29 +04:00
  • a28716af1d Constant propagation guarded by the class jet.Number where the properties are defined. NOTE: currently, local extension properties are not allowed, but they may be allowed in future versions, and the old propagation would break Andrey Breslav 2011-11-09 22:29:48 +03:00
  • c6f6f182b6 KT-353 Generic type argument inference sometimes doesn't work KT-459 Type argument inference fails when class names are fully qualified Andrey Breslav 2011-11-09 22:15:37 +03:00
  • 8ab1f1b420 KT-287 Infer constructor type arguments Andrey Breslav 2011-11-09 21:51:01 +03:00
  • 0c492ae0eb KT-287 Infer constructor type arguments Andrey Breslav 2011-11-09 21:48:36 +03:00
  • a24e448973 Simplistic type inference: KT-258 Support equality constraints in type inference KT-399 Type argument inference not implemented for CALL_EXPRESSION Andrey Breslav 2011-11-09 19:52:05 +03:00
  • da1a1a3727 Added simple method call support. Pavel Talanov 2011-11-09 20:29:51 +04:00
  • 787d3aa450 New type checking algorithm is used for subtyping constraint generation Andrey Breslav 2011-11-09 18:54:23 +03:00
  • f3d8b2c3b1 Added constructor calls. Working on method logic. Pavel Talanov 2011-11-09 19:12:10 +04:00
  • b514c180b4 Added string constant support. Pavel Talanov 2011-11-09 18:39:29 +04:00
  • 681100c4bc Added while/do while support Pavel Talanov 2011-11-09 18:18:29 +04:00
  • d4ea1d42c8 CommonSupertypes factored out equalTypes() moved to TypeUtils Lower bounds (stub implementation) introduced to type parameters Andrey Breslav 2011-11-09 16:56:05 +03:00
  • 0a2ad80234 Unused parameter removed Andrey Breslav 2011-11-09 16:53:33 +03:00
  • d9d8a40d5c Added if else support Pavel Talanov 2011-11-09 17:38:05 +04:00
  • 0356bd98ec KT-411 Wrong type expected when returning from a function literal svtk 2011-11-09 16:43:29 +04:00
  • 6654405efc Fixed JDK hack Pavel Talanov 2011-11-09 16:36:40 +04:00
  • 1bf6efce87 Added test files and the infamous jet/Library.jet Pavel Talanov 2011-11-09 16:34:32 +04:00
  • c811814037 Finished reorganising project structure. Pavel Talanov 2011-11-09 16:32:49 +04:00
  • 099725da7f KT-449 class object in inner class must be an error Stepan Koltsov 2011-11-09 16:21:19 +04:00
  • a6898c7c64 simplify KT-249 Stepan Koltsov 2011-11-09 16:21:11 +04:00
  • df79fa2f3d Type checking procedure simplified (dramatically!) Andrey Breslav 2011-11-09 15:22:25 +03:00
  • a4768eda98 TypeInfo should be covariant. Consider the common case in Java when something wants, say, an annotation class. They write Class<? extends Annotation>. We can write just TypeInfo<Annotation> Andrey Breslav 2011-11-09 15:21:17 +03:00
  • 42a252c6a9 split code into modules and lots of other code changes Pavel Talanov 2011-11-09 16:11:13 +04:00
  • fdf18e85fc IdentifierImpl fixed Sergey Ignatov 2011-11-09 16:03:22 +04:00
  • d4b35bc27f EQEQ added as a token type Sergey Ignatov 2011-11-09 15:55:32 +04:00
  • 1bc527cd92 supported two cases for constructor calling Sergey Ignatov 2011-11-09 15:07:02 +04:00
  • 54265da366 improved quoting for identifier added Sergey Ignatov 2011-11-08 15:19:57 +04:00
  • 846ac36fab cleanup Sergey Ignatov 2011-11-08 14:40:41 +04:00
  • 76995743d8 anonymous packages supported Sergey Ignatov 2011-11-08 14:35:31 +04:00
  • 39112d6327 example with customer builder added, initial support for constructors added Sergey Ignatov 2011-11-08 14:23:30 +04:00
  • 33f3350bb0 Makefile added Sergey Ignatov 2011-11-08 13:12:07 +04:00
  • 4e8da83efa test for private init method added Sergey Ignatov 2011-11-07 20:09:43 +04:00
  • 12b03042ea open modifier for functions added Sergey Ignatov 2011-11-07 19:35:49 +04:00
  • fd7fde1058 this statement added Sergey Ignatov 2011-11-07 19:23:45 +04:00
  • 35a6c1973a super statement improved Sergey Ignatov 2011-11-07 19:18:00 +04:00
  • 98c9fcf68f cleanup Sergey Ignatov 2011-11-07 19:05:31 +04:00
  • 733d4f5168 split code into modules and lots of other code changes Pavel Talanov 2011-11-09 16:00:19 +04:00
  • b1df4a0045 KT-419 Strange 'unresolved' bug when using constructor parameters that aren't properties Stepan Koltsov 2011-11-09 14:51:04 +04:00
  • 7c05e4b9b4 Merge remote-tracking branch 'origin/master' svtk 2011-11-09 12:22:14 +04:00
  • 2d6337fe93 KT-456 No check for obligatory return in getters svtk 2011-11-09 12:22:08 +04:00
  • cfc41361ac expressions as functions Alex Tkachman 2011-11-08 22:45:48 +01:00
  • 30e44b1665 to avoid having the test name reset by UsefulTestCase.clearDeclaredFields(), mark it as final Dmitry Jemerov 2011-11-08 18:30:24 +01:00
  • 43dec762e0 description Andrey Breslav 2011-11-08 20:47:48 +03:00
  • 24d663a08f KT-455 Do not repeat errors in definite assignment checks svtk 2011-11-08 17:33:50 +04:00
  • 1cbee4b28f Merge remote branch 'origin/master' Andrey Breslav 2011-11-08 16:25:15 +03:00
  • f62b3f4a42 Trying to fix tests on Ubuntu agents Andrey Breslav 2011-11-08 16:23:44 +03:00
  • dfb17a5f0e KT-58 Allow finally around definite returns svtk 2011-11-08 16:25:04 +04:00
  • f47f462dca KT-418: test for case when safe call on non-null value returns null Stepan Koltsov 2011-11-08 16:00:22 +04:00
  • 1f511db31c KT-418 Make 1.?plus(2) have type Int Stepan Koltsov 2011-11-08 15:44:02 +04:00
  • 35275466bc KT-20 Resolve class objects' contents in the 'static' scope Stepan Koltsov 2011-11-08 14:21:57 +04:00
  • 509ffb2fde refactoring of codegen contexts, and proper this/outer/super/receiver support Alex Tkachman 2011-11-08 11:11:42 +01:00
  • aa1ebbe445 JetCompilerManager (trivially) implements ProjectComponent Andrey Breslav 2011-11-08 13:05:11 +03:00
  • 14526a0263 KT-414 Hello world does not run if defined in an anonymous namesapce Andrey Breslav 2011-11-08 12:29:27 +03:00
  • fb41c3c9c0 debug info for parameters Alex Tkachman 2011-11-07 23:10:28 +01:00
  • ebc508a7b8 commented debug output Alex Tkachman 2011-11-07 22:42:52 +01:00
  • b15321b1bf Debug names of slices are written automatically Andrey Breslav 2011-11-07 22:46:16 +03:00
  • 00d65ebd8f KT-430 Quick info reports references to other files as Unresolved Andrey Breslav 2011-11-07 22:04:10 +03:00
  • c57ae34cf0 Assertion failure fixed on fixpoint generics loaded from Java Andrey Breslav 2011-11-07 20:15:58 +03:00
  • 3e59df95ef IndexOutOfBounds fixed Andrey Breslav 2011-11-07 20:04:58 +03:00
  • 7d7d33b2ee KT-443 Write allowed to super.val svtk 2011-11-07 19:49:32 +04:00
  • 5adbd82557 Merge branch 'master' of ssh://git.labs.intellij.net/jet svtk 2011-11-07 19:47:10 +04:00
  • 2c43bbd210 Merge remote branch 'origin/master' Andrey Breslav 2011-11-07 19:17:07 +03:00
  • d292b6bcfe KT-193: Guard primary constructor modifier list with a lookahead for LPAR Andrey Breslav 2011-11-07 19:16:40 +03:00
  • c71d9796a2 improved processing of local declarations in cfg construction svtk 2011-11-07 18:49:30 +04:00
  • d36c2a46d3 AnonymousClasses supported Sergey Ignatov 2011-11-07 17:49:05 +04:00
  • 15cad77cd0 super expression added Sergey Ignatov 2011-11-07 17:14:36 +04:00
  • 4bab2ba877 cleanup Sergey Ignatov 2011-11-07 16:50:40 +04:00
  • 029e0dc9a9 added test for full path constructor invocation Sergey Ignatov 2011-11-07 16:29:01 +04:00
  • 510fb25e80 nullable safe calls supported (for methods and instances) Sergey Ignatov 2011-11-07 15:58:32 +04:00
  • 8f1727882a nullable safe calls supported (only for fields) Sergey Ignatov 2011-11-07 15:22:36 +04:00
  • 0b6dffb79b KT-446: wrong String.+= Alex Tkachman 2011-11-07 11:18:49 +01:00
  • b4d5ff5ff8 >>> supported in polyadic and binary expressions Sergey Ignatov 2011-11-07 14:16:21 +04:00
  • 43013a6dc8 abstract modifier added for classes and methods Sergey Ignatov 2011-11-07 14:07:42 +04:00
  • 992675a1bc *_mult avoided Sergey Ignatov 2011-11-07 13:36:12 +04:00
  • d1787a5f6e tests fixed svtk 2011-11-07 13:31:52 +04:00
  • 01785cf7bd Merge branch 'master' of ssh://git.labs.intellij.net/jet svtk 2011-11-07 13:28:48 +04:00
  • 4e6e488e28 method_mult avoided Sergey Ignatov 2011-11-07 13:20:46 +04:00
  • c9c153cd72 class_mult avoided Sergey Ignatov 2011-11-07 13:18:50 +04:00