nit.git
11 years agobenches: added Scala to gen micro benches
Alexandre Terrasa [Thu, 14 Feb 2013 21:26:02 +0000 (16:26 -0500)]
benches: added Scala to gen micro benches

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg: remove VISITOR in ANode
Jean Privat [Fri, 8 Mar 2013 02:34:11 +0000 (21:34 -0500)]
nitg: remove VISITOR in ANode

76689bac6d03c89abcdb8236163dc867e95a6c3a added the virtual type
VISITOR in ANode. This make no sense

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agotests: really removed generic tree option from Makefile
Jean Privat [Fri, 8 Mar 2013 01:53:27 +0000 (20:53 -0500)]
tests: really removed generic tree option from Makefile

b5ff62c6b16023f77ff163539c8fa9fa7611e17c forgot to remove the
invocation of the rule `nitg-s-tree` in `all`

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agonitg: add missing final new-line
Jean Privat [Thu, 7 Mar 2013 21:17:24 +0000 (16:17 -0500)]
nitg: add missing final new-line

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agonitg: reintroduce 61f51486b07b14 (method supercall)
Jean Privat [Thu, 7 Mar 2013 21:16:33 +0000 (16:16 -0500)]
nitg: reintroduce 61f51486b07b14 (method supercall)

11 years agonitg: reintroduce 12d65b1df22 (use lookup_first_definition)
Jean Privat [Thu, 7 Mar 2013 21:15:53 +0000 (16:15 -0500)]
nitg: reintroduce 12d65b1df22 (use lookup_first_definition)

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agolayout: temporally rename method linearize_mclasses to avoid conflict
Jean Privat [Thu, 7 Mar 2013 21:14:50 +0000 (16:14 -0500)]
layout: temporally rename method linearize_mclasses to avoid conflict

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agoMerge remote-tracking branch 'alexandre/master' into master
Jean Privat [Thu, 7 Mar 2013 21:13:17 +0000 (16:13 -0500)]
Merge remote-tracking branch 'alexandre/master' into master

The merge discard the modification on global_compiled of the commits
12d65b1df223f86679d85f528f9ad76053dd90b7 and
61f51486b07b14f29532ff3fee726f36096d18a9 (those related to
lookup_*_definition and supercall).

Because of this separate_compiler does not compile.

They will be reintroduced in a future commit.

Conflicts:
src/global_compiler.nit

11 years agolayout_builders: optimization of PropertyBMizer using linearization
Alexandre Terrasa [Wed, 6 Mar 2013 20:48:26 +0000 (15:48 -0500)]
layout_builders: optimization of PropertyBMizer using linearization

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: replaced property extraction in specialized methods by redefintion...
Alexandre Terrasa [Wed, 6 Mar 2013 20:28:02 +0000 (15:28 -0500)]
layout_builders: replaced property extraction in specialized methods by redefintion of virtual types

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: introduced PropertyBMizer
Alexandre Terrasa [Wed, 6 Mar 2013 20:24:28 +0000 (15:24 -0500)]
layout_builders: introduced PropertyBMizer

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: modified nitg-s & nitg-e to use PropertyLayoutBuilderInterface
Alexandre Terrasa [Wed, 6 Mar 2013 19:56:55 +0000 (14:56 -0500)]
layout_builders: modified nitg-s & nitg-e to use PropertyLayoutBuilderInterface

Removed old CLPropertyLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: Introduced interface PropertyLayoutBuilder (for future refactoring)
Alexandre Terrasa [Wed, 6 Mar 2013 18:50:45 +0000 (13:50 -0500)]
layout_builders: Introduced interface PropertyLayoutBuilder (for future refactoring)

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: Introduced interface ResolutionLayoutBuilder
Alexandre Terrasa [Tue, 5 Mar 2013 23:08:24 +0000 (18:08 -0500)]
layout_builders: Introduced interface ResolutionLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: Introduced ResolutionHasher (for future refactoring)
Alexandre Terrasa [Tue, 5 Mar 2013 23:02:18 +0000 (18:02 -0500)]
layout_builders: Introduced ResolutionHasher (for future refactoring)

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: Moved routines from CLResolutionLayoutBuilder into ResolutionColorer...
Alexandre Terrasa [Tue, 5 Mar 2013 22:56:01 +0000 (17:56 -0500)]
layout_builders: Moved routines from CLResolutionLayoutBuilder into ResolutionColorer (for future refactoring)

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: Introduced ResolutionBMizer (for future refactoring)
Alexandre Terrasa [Tue, 5 Mar 2013 22:47:34 +0000 (17:47 -0500)]
layout_builders: Introduced ResolutionBMizer (for future refactoring)

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: simplified ResolutionLayoutBuilder (for future refactoring)
Alexandre Terrasa [Tue, 5 Mar 2013 22:42:26 +0000 (17:42 -0500)]
layout_builders: simplified ResolutionLayoutBuilder (for future refactoring)

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: Unified interface for TypingLayoutBuilder
Alexandre Terrasa [Tue, 5 Mar 2013 22:36:02 +0000 (17:36 -0500)]
layout_builders: Unified interface for TypingLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: Introduce TypingHasher (for future refactoring)
Alexandre Terrasa [Tue, 5 Mar 2013 22:10:24 +0000 (17:10 -0500)]
layout_builders: Introduce TypingHasher (for future refactoring)

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: Introduce BMizer class (for future refactoring)
Alexandre Terrasa [Tue, 5 Mar 2013 21:44:26 +0000 (16:44 -0500)]
layout_builders: Introduce BMizer class (for future refactoring)

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: merged CLTypeLayoutBuilder and CLClassLayoutBuilder into CLTypingLay...
Alexandre Terrasa [Tue, 5 Mar 2013 00:08:58 +0000 (19:08 -0500)]
layout_builders: merged CLTypeLayoutBuilder and CLClassLayoutBuilder into CLTypingLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: simplified interface for TypingLayoutBuilder
Alexandre Terrasa [Mon, 4 Mar 2013 23:55:53 +0000 (18:55 -0500)]
layout_builders: simplified interface for TypingLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: delegated linearization to colorer
Alexandre Terrasa [Mon, 4 Mar 2013 23:36:59 +0000 (18:36 -0500)]
layout_builders: delegated linearization to colorer

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: renamed AbstractColorer in TypingColorer
Alexandre Terrasa [Mon, 4 Mar 2013 23:29:20 +0000 (18:29 -0500)]
layout_builders: renamed AbstractColorer in TypingColorer

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: merged PHLayout & PHResolutionLayout
Alexandre Terrasa [Mon, 4 Mar 2013 23:22:44 +0000 (18:22 -0500)]
layout_builders: merged PHLayout & PHResolutionLayout

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: renamed PHTypingLayout in PHLayout (for further abstraction)
Alexandre Terrasa [Mon, 4 Mar 2013 23:17:27 +0000 (18:17 -0500)]
layout_builders: renamed PHTypingLayout in PHLayout (for further abstraction)

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: removed useless ResolutionLayout class
Alexandre Terrasa [Mon, 4 Mar 2013 23:12:30 +0000 (18:12 -0500)]
layout_builders: removed useless ResolutionLayout class

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: renamed TypingLayout in Layout (for further abstraction)
Alexandre Terrasa [Mon, 4 Mar 2013 23:09:25 +0000 (18:09 -0500)]
layout_builders: renamed TypingLayout in Layout (for further abstraction)

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: renamed unanchored in unresolved
Alexandre Terrasa [Mon, 4 Mar 2013 21:39:28 +0000 (16:39 -0500)]
nitg-s: renamed unanchored in unresolved

According to new terminology used in paper

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg: added explicit super calls with arguments to allow compatibilty without warning...
Alexandre Terrasa [Mon, 4 Mar 2013 21:19:26 +0000 (16:19 -0500)]
nitg: added explicit super calls with arguments to allow compatibilty without warning with new MM

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: added static bounds to generic types to allow compatibility with...
Alexandre Terrasa [Mon, 4 Mar 2013 21:16:01 +0000 (16:16 -0500)]
layout_builders: added static bounds to generic types to allow compatibility with new MM

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agotests: updated nitg expected result with new options
Alexandre Terrasa [Mon, 4 Mar 2013 21:08:38 +0000 (16:08 -0500)]
tests: updated nitg expected result with new options

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agotests: removed generic tree option from Makefile
Alexandre Terrasa [Mon, 4 Mar 2013 21:06:13 +0000 (16:06 -0500)]
tests: removed generic tree option from Makefile

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agolayout_builders: better filtering of mproperties in MPropertyColorer
Alexandre Terrasa [Wed, 27 Feb 2013 17:39:53 +0000 (12:39 -0500)]
layout_builders: better filtering of mproperties in MPropertyColorer

Previously using `if mprop isa E then properties.add(mprop)` where `E` was a formal type
but inneficien with compilers using erasure.

Fixed this with hardcoded subtyping test in 3 subclasses : MMethodColorer, MAttributeColorer & MVirtualTypePropColorer

This fix allow better tables computation reducing the total amount of holes.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s/u: changed table metrics computation and output
Alexandre Terrasa [Wed, 27 Feb 2013 00:35:00 +0000 (19:35 -0500)]
nitg-s/u: changed table metrics computation and output

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s removed useless type_layout_builder attribute
Alexandre Terrasa [Tue, 26 Feb 2013 23:52:18 +0000 (18:52 -0500)]
nitg-s removed useless type_layout_builder attribute

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s/e: removed useless classids attribute
Alexandre Terrasa [Tue, 26 Feb 2013 23:41:31 +0000 (18:41 -0500)]
nitg-s/e: removed useless classids attribute

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: renamed coloring module in layout_builders
Alexandre Terrasa [Wed, 27 Feb 2013 17:23:13 +0000 (12:23 -0500)]
nitg-s: renamed coloring module in layout_builders

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-se: fixed bug in subtyping type with phmod
Alexandre Terrasa [Tue, 26 Feb 2013 23:21:15 +0000 (18:21 -0500)]
nitg-se: fixed bug in subtyping type with phmod

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: removed useless perfect hashers from coloring module
Alexandre Terrasa [Tue, 26 Feb 2013 22:52:41 +0000 (17:52 -0500)]
nitg-s: removed useless perfect hashers from coloring module

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: introduced unique perfect hasher
Alexandre Terrasa [Tue, 26 Feb 2013 22:51:14 +0000 (17:51 -0500)]
nitg-s: introduced unique perfect hasher

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg: moved model facilities from coloring to abstract_compiler
Alexandre Terrasa [Tue, 26 Feb 2013 21:59:32 +0000 (16:59 -0500)]
nitg: moved model facilities from coloring to abstract_compiler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-se: MProperty layout does not depend anymore on opt_typing used
Alexandre Terrasa [Tue, 26 Feb 2013 21:51:51 +0000 (16:51 -0500)]
nitg-se: MProperty layout does not depend anymore on opt_typing used

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: removed old unanchored coloring
Alexandre Terrasa [Fri, 8 Feb 2013 07:00:04 +0000 (02:00 -0500)]
nitg-s: removed old unanchored coloring

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: separete compiler now use ResolutionLayoutBuilder
Alexandre Terrasa [Fri, 8 Feb 2013 06:58:33 +0000 (01:58 -0500)]
nitg-s: separete compiler now use ResolutionLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: introduced resolution layout builders
Alexandre Terrasa [Fri, 8 Feb 2013 06:56:38 +0000 (01:56 -0500)]
nitg-s: introduced resolution layout builders

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: moved resolution table building to separate_compiler
Alexandre Terrasa [Fri, 8 Feb 2013 05:20:13 +0000 (00:20 -0500)]
nitg-s: moved resolution table building to separate_compiler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: removed useless retrieve_anchored_livetype method
Alexandre Terrasa [Fri, 8 Feb 2013 04:21:54 +0000 (23:21 -0500)]
nitg-s: removed useless retrieve_anchored_livetype method

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: removed useless property and class coloring
Alexandre Terrasa [Thu, 7 Feb 2013 23:50:30 +0000 (18:50 -0500)]
nitg-s: removed useless property and class coloring

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: mproperty layout construction now use new layout builder
Alexandre Terrasa [Thu, 7 Feb 2013 23:48:01 +0000 (18:48 -0500)]
nitg-s: mproperty layout construction now use new layout builder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: introduced PropertyLayoutBuilder
Alexandre Terrasa [Thu, 7 Feb 2013 23:32:04 +0000 (18:32 -0500)]
nitg-s: introduced PropertyLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: cleaned up attributes used for FT coloring
Alexandre Terrasa [Thu, 7 Feb 2013 22:25:52 +0000 (17:25 -0500)]
nitg-s: cleaned up attributes used for FT coloring

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: removed FTColoring since it was replaced by resolution table
Alexandre Terrasa [Thu, 7 Feb 2013 22:22:44 +0000 (17:22 -0500)]
nitg-s: removed FTColoring since it was replaced by resolution table

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: removed compile_type_fts_table and compile_type_vts_table since they were...
Alexandre Terrasa [Thu, 7 Feb 2013 22:20:42 +0000 (17:20 -0500)]
nitg-s: removed compile_type_fts_table and compile_type_vts_table since they were replaced by compile_type_unanchored_table

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: removed useless LiveEntryColoring since there is no more generic tree option
Alexandre Terrasa [Thu, 7 Feb 2013 22:16:47 +0000 (17:16 -0500)]
nitg-s: removed useless LiveEntryColoring since there is no more generic tree option

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: moved build_property_table from coloring to serparate_compiler
Alexandre Terrasa [Thu, 7 Feb 2013 22:14:10 +0000 (17:14 -0500)]
nitg-s: moved build_property_table from coloring to serparate_compiler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: merged TypeLayoutBuilder and ClassLayoutBuilder into generic TypingLayoutBuilder
Alexandre Terrasa [Thu, 7 Feb 2013 21:46:31 +0000 (16:46 -0500)]
nitg-s: merged TypeLayoutBuilder and ClassLayoutBuilder into generic TypingLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: merged TypeLayout and ClassLayout into generic TypingLayout
Alexandre Terrasa [Thu, 7 Feb 2013 21:37:30 +0000 (16:37 -0500)]
nitg-s: merged TypeLayout and ClassLayout into generic TypingLayout

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: modified PropertyColoring to use mmodule queries for property retrieving
Alexandre Terrasa [Thu, 7 Feb 2013 21:28:23 +0000 (16:28 -0500)]
nitg-s: modified PropertyColoring to use mmodule queries for property retrieving

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: cleaned useless ClassColoring uses
Alexandre Terrasa [Thu, 7 Feb 2013 21:08:18 +0000 (16:08 -0500)]
nitg-s: cleaned useless ClassColoring uses

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-se: now using ClassLayoutBuilder
Alexandre Terrasa [Thu, 7 Feb 2013 21:04:23 +0000 (16:04 -0500)]
nitg-se: now using ClassLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: introduced class table layouts
Alexandre Terrasa [Thu, 7 Feb 2013 21:02:47 +0000 (16:02 -0500)]
nitg-s: introduced class table layouts

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: introduced ancestor AbstractHasher for MTypeHasher
Alexandre Terrasa [Thu, 7 Feb 2013 20:42:38 +0000 (15:42 -0500)]
nitg-s: introduced ancestor AbstractHasher for MTypeHasher

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: organized and cleaned coloring module
Alexandre Terrasa [Thu, 7 Feb 2013 20:10:55 +0000 (15:10 -0500)]
nitg-s: organized and cleaned coloring module

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: merged build_type_table and hash_type_table
Alexandre Terrasa [Thu, 7 Feb 2013 19:37:53 +0000 (14:37 -0500)]
nitg-s: merged build_type_table and hash_type_table

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: merged typeids, type_colors and type_masks into type_layout
Alexandre Terrasa [Thu, 7 Feb 2013 19:33:14 +0000 (14:33 -0500)]
nitg-s: merged typeids, type_colors and type_masks into type_layout

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: replaced TypePerfectHashing by PHTypeLayoutBuilder
Alexandre Terrasa [Thu, 7 Feb 2013 18:18:14 +0000 (13:18 -0500)]
nitg-s: replaced TypePerfectHashing by PHTypeLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: replaced TypeColoring by CLTypeLayoutBuilder
Alexandre Terrasa [Thu, 7 Feb 2013 17:38:23 +0000 (12:38 -0500)]
nitg-s: replaced TypeColoring by CLTypeLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: replaced NaiveTypeColoring by BMTypeLayoutBuilder
Alexandre Terrasa [Thu, 7 Feb 2013 17:36:11 +0000 (12:36 -0500)]
nitg-s: replaced NaiveTypeColoring by BMTypeLayoutBuilder

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: inserted layout builder concept in coloring
Alexandre Terrasa [Thu, 7 Feb 2013 16:55:17 +0000 (11:55 -0500)]
nitg-s: inserted layout builder concept in coloring

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: moved class tables building from coloring to separate erased compiler
Alexandre Terrasa [Thu, 7 Feb 2013 16:41:14 +0000 (11:41 -0500)]
nitg-s: moved class tables building from coloring to separate erased compiler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: moved type tables building from coloring to separate compiler
Alexandre Terrasa [Thu, 7 Feb 2013 16:34:41 +0000 (11:34 -0500)]
nitg-s: moved type tables building from coloring to separate compiler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: changed module importation for module coloring
Alexandre Terrasa [Thu, 7 Feb 2013 16:33:54 +0000 (11:33 -0500)]
nitg-s: changed module importation for module coloring

Coloring now imports typing. Importation of rapid_type_analysis is done by separate_compiler

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: element set is no more required at colorer initialization
Alexandre Terrasa [Thu, 7 Feb 2013 00:02:49 +0000 (19:02 -0500)]
nitg-s: element set is no more required at colorer initialization

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: cleaned AbstractColoring::colorize method
Alexandre Terrasa [Wed, 6 Feb 2013 17:35:42 +0000 (12:35 -0500)]
nitg-s: cleaned AbstractColoring::colorize method

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: changed signature of colorize method to accept set of elements only
Alexandre Terrasa [Wed, 6 Feb 2013 17:21:09 +0000 (12:21 -0500)]
nitg-s: changed signature of colorize method to accept set of elements only

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: replaced model queries from colorers by MModule queries
Alexandre Terrasa [Wed, 6 Feb 2013 16:30:01 +0000 (11:30 -0500)]
nitg-s: replaced model queries from colorers by MModule queries

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: added model exploration facilities in redef MModule
Alexandre Terrasa [Wed, 6 Feb 2013 17:26:03 +0000 (12:26 -0500)]
nitg-s: added model exploration facilities in redef MModule

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: removed OrderedSet replaced it by refinements in Array and HashSet
Alexandre Terrasa [Wed, 6 Feb 2013 14:37:30 +0000 (09:37 -0500)]
nitg-s: removed OrderedSet replaced it by refinements in Array and HashSet

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: removed generic tree option
Alexandre Terrasa [Wed, 6 Feb 2013 00:07:18 +0000 (19:07 -0500)]
nitg-s: removed generic tree option

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg: added class AbstractCompiler to refactor nitg nitg-s nitg-se.
Alexandre Terrasa [Tue, 29 Jan 2013 00:42:25 +0000 (19:42 -0500)]
nitg: added class AbstractCompiler to refactor nitg nitg-s nitg-se.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agonitg-s: Added stats output for compilation process
Alexandre Terrasa [Tue, 22 Jan 2013 17:47:30 +0000 (12:47 -0500)]
nitg-s: Added stats output for compilation process

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

11 years agoni: fix bug when executing a callback to Nit on an extern receiver
Alexis Laferrière [Tue, 22 Jan 2013 00:20:46 +0000 (19:20 -0500)]
ni: fix bug when executing a callback to Nit on an extern receiver

A missing "not" was causing this bug. Only boxed types should be
prepared before a callback to Nit, not tagged types.

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

11 years agoparser: accepts 'extern class XXX'
Jean Privat [Wed, 20 Feb 2013 15:12:55 +0000 (10:12 -0500)]
parser: accepts 'extern class XXX'

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agoparser: remove 'special' keyword
Jean Privat [Wed, 20 Feb 2013 14:48:12 +0000 (09:48 -0500)]
parser: remove 'special' keyword

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agocleanup: remove old 'special' keyword
Jean Privat [Wed, 20 Feb 2013 14:40:27 +0000 (09:40 -0500)]
cleanup: remove old 'special' keyword

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agoupdate c_src (now with ffi)
Jean Privat [Tue, 12 Feb 2013 11:35:38 +0000 (06:35 -0500)]
update c_src (now with ffi)

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agoMerge branch 'al-libs'
Jean Privat [Mon, 11 Feb 2013 14:10:10 +0000 (09:10 -0500)]
Merge branch 'al-libs'

11 years agolib: add missing #include<stdio.h>
Jean Privat [Mon, 11 Feb 2013 14:09:22 +0000 (09:09 -0500)]
lib: add missing #include<stdio.h>

Commit adbf39fb9f8c2df3bc23b5de7dfba34f5058c1e4 forgot to add it

Signed-off-by: Jean Privat <jean@pryen.org>

11 years agoMerge remote-tracking branch 'alexis/ffi-in-nitc'
Jean Privat [Thu, 7 Feb 2013 18:20:52 +0000 (13:20 -0500)]
Merge remote-tracking branch 'alexis/ffi-in-nitc'

11 years agotests: adds tests for the FFI with C
Alexis Laferrière [Tue, 5 Feb 2013 14:13:00 +0000 (09:13 -0500)]
tests: adds tests for the FFI with C

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

11 years agonitc/ffi: adds full FFI support for C to nitc
Alexis Laferrière [Wed, 6 Feb 2013 13:07:04 +0000 (08:07 -0500)]
nitc/ffi: adds full FFI support for C to nitc

This commit adds all required features to use the nested C code, add it
to the compilation script and invoke it.

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

11 years agonitc/ffi: allows to declare C type of extern classes from Nit
Alexis Laferrière [Wed, 6 Feb 2013 13:06:02 +0000 (08:06 -0500)]
nitc/ffi: allows to declare C type of extern classes from Nit

This feature uses the FFI grammar but acts at the level of the native
interface. It allows the user to specify the C equivalent of a Nit
extern class. Instances of extern classes are automatically converted
to this type when passed to C. The equivalent C type must be a pointer
or compatible with a pointer type.

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

11 years agonitc/ffi: adds a variable to know if a module uses the native interface
Alexis Laferrière [Wed, 6 Feb 2013 13:03:05 +0000 (08:03 -0500)]
nitc/ffi: adds a variable to know if a module uses the native interface

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

11 years agonitc/ffi: adds the extern_inline module to manage foreign code blocks
Alexis Laferrière [Tue, 5 Feb 2013 23:37:13 +0000 (18:37 -0500)]
nitc/ffi: adds the extern_inline module to manage foreign code blocks

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

11 years agocompiling: moves up the compiling_writer module to be used by the new FFI
Alexis Laferrière [Fri, 14 Sep 2012 18:23:18 +0000 (14:23 -0400)]
compiling: moves up the compiling_writer module to be used by the new FFI

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

11 years agoniti: adds tools to compile C code
Alexis Laferrière [Fri, 1 Feb 2013 23:29:02 +0000 (18:29 -0500)]
niti: adds tools to compile C code

It will be widely used by the native interface.

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

11 years agonitc: adds module name and license to separate_options
Alexis Laferrière [Tue, 5 Feb 2013 23:32:34 +0000 (18:32 -0500)]
nitc: adds module name and license to separate_options

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

11 years agotests: add base_adaptive.nit
Jean Privat [Tue, 5 Feb 2013 16:34:44 +0000 (11:34 -0500)]
tests: add base_adaptive.nit

Signed-off-by: Jean Privat <jean@pryen.org>