Commit Graph

  • fde6a6f60f Better support for number ranges, still not perfect Andrey Breslav 2011-04-07 18:30:18 +04:00
  • 53e4c863e7 More tests for return types Andrey Breslav 2011-04-07 18:09:29 +04:00
  • f99472e9dd Tests for return types Transformation for Java boxed types Lexer fixed for hexadecimal doubles Longs detected from literals compareTo with self defined for numbers (working around an unsupported case) Andrey Breslav 2011-04-07 17:39:40 +04:00
  • 3cc3f374b9 failing test for < on Byte Dmitry Jemerov 2011-04-07 14:58:11 +02:00
  • 339dbbdc8c put IntCompare on stack Dmitry Jemerov 2011-04-07 14:56:17 +02:00
  • 230987392b Byte Dmitry Jemerov 2011-04-07 14:49:15 +02:00
  • 68d3c7a64f fix assertion Dmitry Jemerov 2011-04-07 14:45:49 +02:00
  • df0a2fb62f Short Dmitry Jemerov 2011-04-07 14:27:02 +02:00
  • 72eda24f62 failing test for Java Integer to Int? mapping Dmitry Jemerov 2011-04-07 14:20:08 +02:00
  • 5f2aa9e1f7 failing test for long comparison Dmitry Jemerov 2011-04-07 14:17:23 +02:00
  • 561bcee4e2 long arithmetics initial Dmitry Jemerov 2011-04-07 14:13:00 +02:00
  • 66cfb99ce9 failing test for int boxing Dmitry Jemerov 2011-04-07 13:41:47 +02:00
  • 9a00e73e64 condjump for boolean value on stack Dmitry Jemerov 2011-04-07 13:32:59 +02:00
  • b722300db7 >= Dmitry Jemerov 2011-04-07 13:21:28 +02:00
  • 0af4b3b4c1 correctly generate != Dmitry Jemerov 2011-04-07 12:49:31 +02:00
  • 36ae75de34 delete obsolete test (it's now fully covered by NamespaceGenTest) Dmitry Jemerov 2011-04-07 12:44:58 +02:00
  • 30d8349272 Typechecker logic fixed for one-branch ifs and 'return x' for Unit-returning functions Andrey Breslav 2011-04-07 14:43:25 +04:00
  • e61e908ab7 failing test Dmitry Jemerov 2011-04-07 12:14:25 +02:00
  • dc326ca3cd div/mod Dmitry Jemerov 2011-04-07 12:09:43 +02:00
  • 6cbe151ba8 test for continue; minus works Dmitry Jemerov 2011-04-07 11:45:35 +02:00
  • fcdba8c950 do/while works now Dmitry Jemerov 2011-04-07 11:31:18 +02:00
  • acb433fd2b Codegen tests fixed Andrey Breslav 2011-04-07 12:42:20 +04:00
  • b621f58a83 Some tests for return types Andrey Breslav 2011-04-05 16:16:23 +04:00
  • 83e0018b06 Return values collected from CF data Andrey Breslav 2011-04-05 16:07:25 +04:00
  • 803405f8dd Graphs are dumped only if an env var is set Andrey Breslav 2011-04-05 12:15:32 +04:00
  • 5c0764f1ce CF/DF for '+=' Andrey Breslav 2011-04-05 11:54:28 +04:00
  • 69a39907e2 Tests fixed Andrey Breslav 2011-04-04 21:26:52 +04:00
  • fee824bd78 Tests for basic control flow structures Andrey Breslav 2011-04-04 21:11:15 +04:00
  • 1fc134072c Test framework for instructions Andrey Breslav 2011-04-04 18:40:39 +04:00
  • 90b6e78f89 isBlock fixed for doWhile Andrey Breslav 2011-04-02 23:29:23 +04:00
  • 81d75552a3 break now works; support generation of == for integers Dmitry Jemerov 2011-04-02 20:20:00 +02:00
  • 8650c39e72 don't fail if directory already exists Maxim Shafirov 2011-04-02 18:38:17 +04:00
  • aae94afff2 Ordinal class type mapping. Maxim Shafirov 2011-04-02 18:37:43 +04:00
  • d706383dca make debug output computer independent Maxim Shafirov 2011-04-02 17:52:37 +04:00
  • 50f9b000d6 make debug output computer independent Maxim Shafirov 2011-04-02 17:49:46 +04:00
  • 74daf3dd79 non-working break Dmitry Jemerov 2011-04-01 18:56:18 +02:00
  • 230c6efe99 working while, non-working do/while Dmitry Jemerov 2011-04-01 18:44:10 +02:00
  • d4d9ac7b8e Null checks Andrey Breslav 2011-04-01 18:03:47 +04:00
  • 48fdfc54a0 Local functions allowed by the typechecker. Unresolved labels tolerated by the CF builder Andrey Breslav 2011-04-01 17:58:49 +04:00
  • 783654707a CF for local functions supported Andrey Breslav 2011-04-01 17:51:53 +04:00
  • 12757146d1 Merge remote branch 'origin/master' Andrey Breslav 2011-04-01 16:11:03 +04:00
  • 7433859a51 Blocks denoted in the BindingContext Andrey Breslav 2011-04-01 16:10:48 +04:00
  • d8cdc46fe8 junk Dmitry Jemerov 2011-04-01 14:09:52 +02:00
  • fb5175dbe8 generate comparisons and conditional jumps Dmitry Jemerov 2011-04-01 13:58:10 +02:00
  • 76dc0376e5 Tests for qualified 'this', 'break' and 'continue' Andrey Breslav 2011-04-01 15:57:59 +04:00
  • 15db4c5ad4 Merge remote branch 'origin/master' Andrey Breslav 2011-04-01 15:48:55 +04:00
  • 3425c42b7b use mock JDK from IDEA repo Dmitry Jemerov 2011-04-01 13:45:57 +02:00
  • dd3f2b3afb add mock JDK to Jet repo Dmitry Jemerov 2011-04-01 13:43:43 +02:00
  • 02058efd2c bootstrap.xml generates idea.properties Dmitry Jemerov 2011-04-01 13:31:26 +02:00
  • 1fc037470a move plugin.xml under a source root Dmitry Jemerov 2011-04-01 13:24:14 +02:00
  • de09ce015b move plugin.xml under a source root Dmitry Jemerov 2011-04-01 13:23:48 +02:00
  • 7508dcdaba micro-wtf removed Dmitry Jemerov 2011-04-01 12:50:21 +02:00
  • 1e5673f479 CF for break and continue in nested function literals Andrey Breslav 2011-04-01 14:47:11 +04:00
  • 1dc4554bd8 shared run configuration to run all tests Dmitry Jemerov 2011-04-01 12:43:45 +02:00
  • a97cad116c Debug output removed Andrey Breslav 2011-04-01 14:11:42 +04:00
  • 46fcb1a0eb Merge remote branch 'origin/master' Andrey Breslav 2011-04-01 14:09:38 +04:00
  • aec271150a Compilation errors fixed Andrey Breslav 2011-04-01 14:09:22 +04:00
  • d2c503bd5f CF supported for function literals Andrey Breslav 2011-04-01 14:04:51 +04:00
  • 0f71edcbe9 bootstrap file for CI build Dmitry Jemerov 2011-04-01 11:01:03 +02:00
  • ab1659faed generate assignment expressions Dmitry Jemerov 2011-04-01 10:21:43 +02:00
  • f8a5c25714 Fix for the code to compile Andrey Breslav 2011-04-01 12:52:50 +04:00
  • eb7db21cab Some CF generated for closures Andrey Breslav 2011-03-31 23:34:09 +04:00
  • 01105c8c41 Labeled expressions supported in the type inferrer Andrey Breslav 2011-03-31 21:27:38 +04:00
  • 87d07007a0 Renaming Andrey Breslav 2011-03-31 21:09:59 +04:00
  • 7baa89e441 CF for try's Andrey Breslav 2011-03-31 21:06:48 +04:00
  • 5888ac5a60 Working on CFG building Andrey Breslav 2011-03-31 20:50:16 +04:00
  • ad7115ce20 Qualified 'this' for classes Andrey Breslav 2011-03-28 22:45:16 +04:00
  • f7c76a0d4d Nullability of names Andrey Breslav 2011-03-28 21:00:14 +04:00
  • 16a548ed0a Fewer TypeInferrerVisitor instances generated Andrey Breslav 2011-03-28 20:06:14 +04:00
  • 73bfc57492 Nullability checks for infix operations Andrey Breslav 2011-03-28 18:17:57 +04:00
  • 739fce330c work in progress on codegen rewrite (no boxing for primitive types) Dmitry Jemerov 2011-03-28 14:14:41 +02:00
  • d05066f8f5 generate plus Dmitry Jemerov 2011-03-24 18:34:37 +01:00
  • 3e2b41a225 Classifier lookup fixed Andrey Breslav 2011-03-25 22:56:27 +03:00
  • 065e0f3bf9 Error reporting for class lookup & NPEs in TypeInferrer Andrey Breslav 2011-03-25 19:00:00 +03:00
  • 35f781c713 Nullability requirement violation fixed Andrey Breslav 2011-03-25 17:39:48 +03:00
  • 6291754d3a Equality applicability check for === and !== Andrey Breslav 2011-03-25 17:17:56 +03:00
  • 11f4db08c6 Equality applicability check Andrey Breslav 2011-03-25 16:23:22 +03:00
  • 7debc628b5 rename Andrey Breslav 2011-03-25 16:08:57 +03:00
  • badf79aee5 Closure parameters for constructor invocations Andrey Breslav 2011-03-25 16:07:07 +03:00
  • b4a453ddb7 Tracing in descriptor resolver refactored Andrey Breslav 2011-03-24 21:09:29 +03:00
  • 071f96c1aa Type in node name fixed Andrey Breslav 2011-03-24 21:07:59 +03:00
  • 3b30500055 Jet files can be compiled from within IDEA Dmitry Jemerov 2011-03-24 17:59:53 +01:00
  • af4c777197 hello world can be compiled Dmitry Jemerov 2011-03-24 16:50:37 +01:00
  • 58912bad3e generate static field accesses Dmitry Jemerov 2011-03-24 16:10:42 +01:00
  • ecf10d4c35 Merge branch 'master' of git.labs.intellij.net:jet Dmitry Jemerov 2011-03-24 15:56:51 +01:00
  • bec9f1e89a Types of selectors in DotQualifiedExpressions are recorded Andrey Breslav 2011-03-24 19:50:56 +03:00
  • b51653fe74 Primary constructor parameters supproted properly Andrey Breslav 2011-03-24 19:50:44 +03:00
  • 120a03ccdc Nullable string type cached Andrey Breslav 2011-03-24 17:55:57 +03:00
  • 3ecf927a1a Merge branch 'master' of git.labs.intellij.net:jet Dmitry Jemerov 2011-03-24 15:53:05 +01:00
  • b346c16c83 type mapper refactored; more stuff works for function calls Dmitry Jemerov 2011-03-24 15:49:16 +01:00
  • 0262423d00 java.lang.String becomes Jat's String when Java descriptors are converted Andrey Breslav 2011-03-24 17:46:12 +03:00
  • 802f6e1c7d function call generation works in some trivial cases Dmitry Jemerov 2011-03-24 15:18:29 +01:00
  • 2194e7c419 Warning fixed Andrey Breslav 2011-03-24 15:43:25 +03:00
  • 1c6dc190ff Granular type information for properties Andrey Breslav 2011-03-24 15:38:19 +03:00
  • 090b843eb0 Fix for declaration resolve Andrey Breslav 2011-03-24 15:37:26 +03:00
  • a203886fe0 typo fixed Dmitry Jemerov 2011-03-24 13:37:24 +01:00
  • 162f1a94b7 Checks for non-readable properties Andrey Breslav 2011-03-24 15:36:52 +03:00
  • 501813ced3 typo Dmitry Jemerov 2011-03-24 12:37:33 +01:00
  • 3e6915e709 Type of local variable initializer is checked Andrey Breslav 2011-03-23 17:32:56 +03:00
  • a476377d35 new Out<in T>().produce() returns Any? Andrey Breslav 2011-03-23 17:06:45 +03:00