Jean Privat [Wed, 14 Aug 2013 15:04:31 +0000 (11:04 -0400)]
lexer: `get_token` is now protected
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 14 Aug 2013 00:40:15 +0000 (20:40 -0400)]
Merge branch 'transform_ast'
Conflicts:
src/nit.nit
Update:
src/nitdbg_commons.nit
Jean Privat [Tue, 13 Aug 2013 19:03:01 +0000 (15:03 -0400)]
tests: update cast-failed runtime error
Since location in kernel.nit has changed.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 13 Aug 2013 18:58:04 +0000 (14:58 -0400)]
niti: implements extern method native_int_to_s
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 13 Aug 2013 18:44:00 +0000 (14:44 -0400)]
Merge remote-tracking branch 'lucas/int_boost'
Jean Privat [Wed, 14 Aug 2013 00:37:52 +0000 (20:37 -0400)]
tests: add sav/netdbg.res
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 13 Aug 2013 18:13:49 +0000 (14:13 -0400)]
niti: --help and no arguments exits the program
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 13 Aug 2013 18:11:17 +0000 (14:11 -0400)]
Merge remote-tracking branch 'lucas/netdbg_wip'
Conflicts:
src/Makefile
src/nit.nit
Updated:
src/nitdbg_commons.nit
Jean Privat [Mon, 12 Aug 2013 18:45:09 +0000 (14:45 -0400)]
tests: update sav/error_needed_method
Signed-off-by: Jean Privat <jean@pryen.org>
Lucas Bajolet [Tue, 13 Aug 2013 18:01:33 +0000 (14:01 -0400)]
Kernel : Int, optimization on the digit count method for Base 10 numbers.
Signed-off-by: Lucas Bajolet <lucas.bajolet@hotmail.com>
Jean Privat [Mon, 12 Aug 2013 18:44:20 +0000 (14:44 -0400)]
new modules astbuilder, astvalidation, astprinter, and transform
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 13 Aug 2013 16:27:04 +0000 (12:27 -0400)]
typing: the static type of a blockexpr is the one of the last expression
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 13 Aug 2013 13:27:03 +0000 (09:27 -0400)]
parser: no public setter for parent
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 13 Aug 2013 13:26:26 +0000 (09:26 -0400)]
cache: assigning parent is no more required
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 13 Aug 2013 02:48:32 +0000 (22:48 -0400)]
parser: add setters for non-list attributes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 13 Aug 2013 02:39:32 +0000 (22:39 -0400)]
parser: use ANodes instead of List
Signed-off-by: Jean Privat <jean@pryen.org>
Lucas Bajolet [Tue, 13 Aug 2013 17:59:46 +0000 (13:59 -0400)]
stdlib: Strings, optimized to_s for Int.
Signed-off-by: Lucas Bajolet <lucas.bajolet@hotmail.com>
Jean Privat [Mon, 12 Aug 2013 18:39:40 +0000 (14:39 -0400)]
tests: simplify test_refinement.nit
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 12 Aug 2013 16:04:08 +0000 (12:04 -0400)]
nitg: compile AIntExpr and ACharExpr from the value
TODO: AFloatExpr cannot be implemented correctly yen since there
is no to_s method that do not loose precision in the std libraby.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 12 Aug 2013 15:49:26 +0000 (11:49 -0400)]
typing: marks ADebugTypeExpr as typed
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 12 Aug 2013 15:48:58 +0000 (11:48 -0400)]
nitg/i: extends frontend to avoid some nitc linex issues
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 10 Aug 2013 02:13:16 +0000 (22:13 -0400)]
README: update
Jean Privat [Sat, 10 Aug 2013 02:06:33 +0000 (22:06 -0400)]
modelbuilder: error when using `intrude' on classes and properties
Signed-off-by: Jean Privat <jean@pryen.org>
Lucas Bajolet [Fri, 9 Aug 2013 21:36:46 +0000 (17:36 -0400)]
nitdbg : Added remote debugger to nit standard make program.
Factorized common code between nit.nit and netdbg.nit under nitdbg_commons.nit.
Signed-off-by: Lucas Bajolet <lucas.bajolet@hotmail.com>
Jean Privat [Fri, 9 Aug 2013 20:24:48 +0000 (16:24 -0400)]
nitg/i: implement the `if` as an expression
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 9 Aug 2013 20:24:09 +0000 (16:24 -0400)]
nitg/i: implements var assignment as an expression
The returned value is the right value
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 9 Aug 2013 19:31:05 +0000 (15:31 -0400)]
typing: toggle ASuperExpr::is_typed
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 9 Aug 2013 16:53:25 +0000 (12:53 -0400)]
parser: do not lose location in case of replacement
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 9 Aug 2013 16:51:46 +0000 (12:51 -0400)]
parser: hide ANode::replace_child, add ANode::detach
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 9 Aug 2013 15:37:41 +0000 (11:37 -0400)]
parser: `Visitor::visit` does not accepts `null`
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 9 Aug 2013 15:24:48 +0000 (11:24 -0400)]
parser: clean, intent and comment parser_nodes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 9 Aug 2013 13:41:13 +0000 (09:41 -0400)]
parser: move things from parser_prod to parser_nodes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 8 Aug 2013 14:25:28 +0000 (10:25 -0400)]
nitg/i: can use a ABlockExpr as an expression
This will be useful when AST transformations will be more used
as a single expression could be transformed as a sequence of statements.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 9 Aug 2013 17:00:13 +0000 (13:00 -0400)]
tests: update error_needed_method_alt6 and error_needed_method_alt7
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 8 Aug 2013 13:40:56 +0000 (09:40 -0400)]
model: try_get_primitive_method asks for a MClass (and not a MType)
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 7 Aug 2013 12:59:45 +0000 (08:59 -0400)]
Merge remote-tracking branch 'alexandre/nitg-poset'
Alexandre Terrasa [Wed, 7 Aug 2013 02:57:48 +0000 (22:57 -0400)]
Layout_builders: introduce posets for better performances
Stats for nitg ./nitg.nit
before:
0:21.23 elapsed,
20.68 user,
0.64 system
after:
0:18.50 elapsed,
17.97 user,
0.62 system
Average on 5 samples collected with GNU time.
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Tue, 6 Aug 2013 17:49:42 +0000 (13:49 -0400)]
Merge branch 'ni_nitdoc_tests'
Jean Privat [Tue, 6 Aug 2013 16:52:24 +0000 (12:52 -0400)]
tests: add nitx.nit and ni_nitdoc.nit to sav/
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 16:51:58 +0000 (12:51 -0400)]
tests: remove some old .skip entries
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 16:37:34 +0000 (12:37 -0400)]
ni_nitdoc: print usage synopsys
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 16:37:13 +0000 (12:37 -0400)]
ni_nitdoc: arguments are what remains after process_options
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 16:36:30 +0000 (12:36 -0400)]
ni_nitdoc: do not reset modelbuilder options
we need the -I and others
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 16:07:58 +0000 (12:07 -0400)]
Merge branch 'check_classes'
Jean Privat [Tue, 6 Aug 2013 15:18:43 +0000 (11:18 -0400)]
tests: add error_superclass_superfluous.nit
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 15:15:45 +0000 (11:15 -0400)]
modelbuilder: Check superfluous superclasses
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 15:15:12 +0000 (11:15 -0400)]
tests: remove superfluous super-classes in some tests
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 15:14:30 +0000 (11:14 -0400)]
tests: update error_inh_clash*
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 15:11:23 +0000 (11:11 -0400)]
modelbuilder: check clash of ancestors
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 15:10:24 +0000 (11:10 -0400)]
modelbuilder: return early from build_classes in case of errors
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 15:08:32 +0000 (11:08 -0400)]
parser: remove superfluous super-class in the AST
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 15:07:56 +0000 (11:07 -0400)]
ffi: remove superfluous super-class
Already in ffi_base.nit
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 02:05:00 +0000 (22:05 -0400)]
tests: add error_visibility_protected.nit
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 6 Aug 2013 02:04:32 +0000 (22:04 -0400)]
modelbuilder: error on protected classes and imports
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 19:17:09 +0000 (15:17 -0400)]
Merge branch 'rta'
Jean Privat [Mon, 5 Aug 2013 19:16:57 +0000 (15:16 -0400)]
tests: add some sav/*.res file for lib/*.nit libraries
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 19:09:09 +0000 (15:09 -0400)]
tests: add test_opts
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 18:52:48 +0000 (14:52 -0400)]
tests: add sav/error_redef4_base.res
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 18:50:13 +0000 (14:50 -0400)]
tests: add sav/base_vararg2_alt*
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 18:42:54 +0000 (14:42 -0400)]
tests: add sav/base_isa_formal_type.res
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 18:39:59 +0000 (14:39 -0400)]
tests: add sav/base_gen_reassign*
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 18:32:03 +0000 (14:32 -0400)]
tests: add more bast_attr_init_val*
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 15:50:43 +0000 (11:50 -0400)]
rta: new RTA without customization nor heterogeneous generics
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 17:39:33 +0000 (13:39 -0400)]
model: add MMethodDef::is_abstract
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 17:58:03 +0000 (13:58 -0400)]
tests: update sav/nitmetrics
Jean Privat [Mon, 5 Aug 2013 17:40:13 +0000 (13:40 -0400)]
modelbuilder: abstractize some private methods
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 17:40:46 +0000 (13:40 -0400)]
metrics: rta count dead method definitions of live methods
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 18:11:15 +0000 (14:11 -0400)]
Merge remote-tracking branch 'alexis/prepare-for-ffi'
Alexis Laferrière [Fri, 2 Aug 2013 14:13:20 +0000 (10:13 -0400)]
lib: converts curses.nit to use the FFI
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Wed, 31 Jul 2013 20:27:38 +0000 (16:27 -0400)]
examples: converts examples/extern_methods to use FFI
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 19 Jul 2013 14:31:07 +0000 (10:31 -0400)]
tests: adds an FFI test with strings
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sun, 9 Jun 2013 12:31:31 +0000 (08:31 -0400)]
tests: adds an FFI test with different callbacks
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 19 Jul 2013 11:28:33 +0000 (07:28 -0400)]
tests: adds an FFI test with simple callbacks
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 25 Sep 2012 01:48:58 +0000 (21:48 -0400)]
tests: adds an extra simple test for the FFI
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Mon, 5 Aug 2013 15:38:46 +0000 (11:38 -0400)]
metrics: rta shows live classes and methods. hide customized_methoddefs
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 15:37:27 +0000 (11:37 -0400)]
metrics: rta, does not refine RapidTypeAnalysis
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 14:31:43 +0000 (10:31 -0400)]
tests: avoid potential infinite types with base_formal_isa
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 14:15:56 +0000 (10:15 -0400)]
tests: base_attg_gen.nit force live Int
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 5 Aug 2013 13:40:42 +0000 (09:40 -0400)]
niti: fix the way nullable attributes are initialized
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 3 Aug 2013 02:21:45 +0000 (22:21 -0400)]
model: cache `to_s` for MClassDef, MGenericType, MNullableType, MPropDef
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 3 Aug 2013 02:00:00 +0000 (22:00 -0400)]
phases: stop displaying location for property on verbose level 4
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 3 Aug 2013 01:56:53 +0000 (21:56 -0400)]
nitg-s: compile_class_to_c works less for dead classes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 3 Aug 2013 01:43:23 +0000 (21:43 -0400)]
rta: add RapidTypeAnalysis::live_classes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 3 Aug 2013 01:41:26 +0000 (21:41 -0400)]
nitg-s: do not compile_class_to_c for abstract classes and interfaces
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 2 Aug 2013 20:13:35 +0000 (16:13 -0400)]
Merge branch 'model'
Jean Privat [Fri, 2 Aug 2013 19:18:15 +0000 (15:18 -0400)]
model: add MType::can_resolve_for
Also beef-up most methods that require resolution with preconditions that
rely on `can_resolve_for`
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 2 Aug 2013 19:16:32 +0000 (15:16 -0400)]
model: most anchors can be null
This help the standard case where the type are all resolved.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 2 Aug 2013 18:13:59 +0000 (14:13 -0400)]
make: compile nitg with -O
c7fa2b1c75ce1a90f86be837272d7b460a3cf775 dropped the -O for nitg
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Sat, 20 Jul 2013 15:19:08 +0000 (11:19 -0400)]
tests: converts 6 tests from the old nitni to FFI
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 13 Jun 2013 14:35:23 +0000 (10:35 -0400)]
tests: fix missing code in test_ffi_c_callback_extern_receiver
Some C includes and Nit callbacks were missing.
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Tue, 30 Jul 2013 16:11:52 +0000 (12:11 -0400)]
tests: add missing copyright info to test_ffi_c_simple
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Fri, 2 Aug 2013 17:13:37 +0000 (13:13 -0400)]
model: add Type#length
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Sat, 8 Jun 2013 01:30:16 +0000 (21:30 -0400)]
lib: fix import of stdio.h for String::to_precision
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Fri, 2 Aug 2013 12:54:11 +0000 (08:54 -0400)]
Merge branch 'ast_metrics'
Jean Privat [Fri, 2 Aug 2013 06:58:28 +0000 (02:58 -0400)]
tests: update sav/nitmetrics
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 2 Aug 2013 06:47:39 +0000 (02:47 -0400)]
metrics: add ast_metrics
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 2 Aug 2013 06:42:29 +0000 (02:42 -0400)]
metrics: use print_elements in static_type_metrics
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 2 Aug 2013 06:39:45 +0000 (02:39 -0400)]
metrics: add Counter#print_elements
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 1 Aug 2013 20:54:47 +0000 (16:54 -0400)]
Merge branch 'ni-merge'
Jean Privat [Thu, 1 Aug 2013 20:54:31 +0000 (16:54 -0400)]
Merge branch 'intern_native_arg'
nitlanguage / nit.git / log