tests: fix savs for nitg-g to reorder output on stderr

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

src: use macro PRINT_ERROR for deferred method error

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

Merge branch 'master' into portable-errors

tests: fix sav for error_annot_c_compiler

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

Merge: Clean some inits

Yet anoner step toward new inits.

In this PR, just some updates on existing constructors to simplify the transition.

Pull-Request: #468
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

parser: drop useless named constructor `empty_init`

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

lib/ropes: use `redef` for inherited named constructors

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

lib/privileges: drop class `OptionDropPrivileges`

And use the commented named constructor instead.

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

lib/opts: clean constructors and prepare for new constructors

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

lib/exec: rationalize constructors

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

lib/strings: Buffers are allocated without capacity.

Wait the fist `append` to allocate things.
Also, this avoids an anonymous init to call a named init.

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

Merge: nitg: Added PNaCl support for Nit

Added pnacl_platform.nit in order to generate all minimum files when compiling the nit.
Added pnacl.nit, it's the module providing the tools for PNaCl support in Nit.

Modified nitg.nit to register the pnacl_platform.
Modified abstract_compiler.nit for a specific main generation and to add an option.

Signed-off-by: Djomanix <johan.kayser@viacesi.fr>

Pull-Request: #416
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: Intro of app.nit and extract features from mnit_android to android

Rename modules and reorganize their features.

Pull-Request: #467
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: Improve doc and intro Process::kill as asked by the community

Should close many open issues.

Pull-Request: #462
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

lib: add log features from mnit_app::android_app to ::android

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

lib/android: move platform declaration to a submodule

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

android: imports app.nit

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

lib: move android.nit to a project ::android

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

lib: mnit_app use app.nit

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

lib: intro app.nit with logging methods

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

lib/signals: fix for nitg-g

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

Modified the generated Makefile for some options,
and added a kind of hack for poll.

Signed-off-by: Djomanix <johan.kayser@viacesi.fr>

tests: add example converter to tests (and not pnacl)

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

examples/pnacl: add server option to Makefile

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

example/pnacl: remove copiler args that are no more necessary

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

pnacl: compile each compilation unit before linking

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

pnacl: generate all files right in .nit_compile

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

pnacl: disable clang warnings on generated code

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

nitg/pnacl: automate option no_main

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

Merge: Improve the bootstrap

The objective of the seires is to simplify the boostrap by using `nith` with some optimizations to do the job.

To achieve this objective:

* commit 1. Fix nith to produce a functional nitg by removing a usage of advanced FFI
* commis 2-4 : Fix option `--direct-call-monomorph` by avoiding lose of typing information in AST transformation
* commit 5: use a partial nitg before a final nitg ; `nith` -> `nitg_0` -> `nitg`
* commit 6: use nith in c_src

Pull-Request: #465
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: Android release compilation mode

The --release option could also be used by pnacl.

Will need to specify usage in the Android and Nit manual. The resulting apk still needs to be signed and aligned before deployment.

Maybe add also suffix the package by ".debug". For now it can be done at the user level.

Pull-Request: #464
Reviewed-by: Jean Privat <jean@pryen.org>

tests: update error_needed_method_alt1.reserror_needed_method_alt1.res

Because the CallSite is now correctly identified at typing.

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

Merge: Java FFI: support inner classes and use of JavaObject across the FFI

Minor incremental improvements to the Java FFI

Pull-Request: #463
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

android: use the release option to set type of compilation

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

nitg: intro the release option

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

lib/signals: use `do end` in empty methods of signals

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

lib/posix: add doc to posix (fix #174)

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

lib/signals: improve doc and add nitunits (fix #175)

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

tests: add test for Process::signal and Process::kill

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

lib/signals: intro Process::kill and Process::signal (fix #180)

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

lib/signals: move signals getter to Object

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

lib/mnit: fix doc of MotionEvent (fix #182)

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

mkcsrc: bootstrap with `nith` instead of `nitg`

also use `--semi-global` to produce efficien and smaller code.

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

bootstrap: add the missing step `nitg_0`

The compiler in c_src might produce code that does not understand
new phases, annotation or whatever ; or that is just broken outside
the bootstrap.

Thus, an additional phase is used to produce the usable compiler in bin

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

astbuilder: `make_new` and `make_call` require a CallSite

a callsite has a lot more information that was previously lost.

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

tranform: drop ASuperstringExpr

It needs to be rewrote

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

typing: AArrayExpr provides callsites

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

ffi/java: support inner classes and JNI format in extern Java types

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

lib/jvm: JavaObject is a Java Object (not a JNI jobject)

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

Merge: github_merge: less crashes

Pull-Request: #460

Merge: Bitset and perfect_hashing

Adding a bitset module in standard library for binary operations required for perfect hashing.

And a perfect_hashing module with perfect numbering.

Pull-Request: #440
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Adding perfect_hashing module (with perfect numbering)

Adding a bitset module in standard for binary operations

github_merge: do not crash if PR is not tested (no status)

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

github_merge: do not crash if a user has no public name

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

Merge: String hash function fix

The generic implementation for hash on Text was not compliant with the optimized version for Strings, however no test was able to catch it since we've never used Buffer and String at the same time in a Hash structure.

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>

Pull-Request: #455
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: Refactor FFI, the framework is now based on MModules

* Should fix #437 by supporting the use of the Java FFI across many modules in global compilation.
* Should also work (but we need an example for it): `nitg cross_platform_prog.nit -m android`

Pull-Request: #456
Reviewed-by: Jean Privat <jean@pryen.org>

kernel: use legacy FFI for `address_is_null`

The point is to sill allow the bootstrap with a minimal engine.

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

Merge: Improve free init to prepare new constructors

Yet another series toward the new constructors.

Some cleanup but also some changes in the current specification to be more compatible with the next one.

In the previous code, there was 3 distinct ways to have free constructors:

1. there is some complex constructors in ONE superclass ; then they are inherited and usable as it ; error if more than one superclass with complex constructors
2. in super-classes there is only constructor named init and without parameters ; then a new free constructor is generated that just invoke the inherited init.
3. there is no inherited consructors ; then all uninitialized attributes are collected to produce a new constructor with parameters

The series generalize the point about uninitialized attributes, so make the 3 ways less distinct:

* in 1, if there is uninitialized attributes a error is generated
* in 2, if there is uninitialized attributes, they are given as parameter do the generated free constructor
* 3 does not change, but just become a special case of 2.

To enable the new behavior, an update was needed on some piece of code. mainly:

1. give a default value to some attributes to avoid their collect in the free constructor
2. give an explicit empty init when some attributes cannot have a default value

Achievement Unlocked: Edit 200 constructors in one PR +50 nitCoins

Pull-Request: #459
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

default_init: fix a NitUnit in template

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

tests: add base_init_combine.nit

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

default_init: can interpret combined init with collected attributes

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

default_init: can compile combined init with collected attributes

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

default_init: error if collected attributes and inherited complex constructors

This unify the fate of collected attributes.
In the introduction of a class without explicit constructors, collectable
attributes are always considered in the providing of construction mechanisms.

This will also prevent programs that will be not exprimable with the first
version of new constructors.

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

lib/standard/string: Fixed implementation of hash function for Text variants.

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>

ffi: fix support for generated calls with generic types (for Java FFI)

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

Merge: FFI with Java - more local refs support

Pull-Request: #457
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: lib: add `union_find`, a union–find algorithm with a disjoint-set data structure

Pull-Request: #446
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

default_init: inherit combined init if alone and empty

Instead of creating a new one everytime

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

default_init: collect attributes on combined empty init

Attribute that are potential parameters for constructors are collected
ans used in the case of a `free combined init`.

~~~
class A
   init do end
end
class B
   init do end
end
class C
   super A
   super B
   var i: Int
   # free init(i:Int) do self.i = i
end
~~~

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

model: implements `MParameter#to_s`

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

rest-of-code: prepare for new init

Give some default values on nullable attributes so they will not be
collected.
Introduce explicit empty init to avoid the collect of non-nullable
attributes.

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

src: prepare for new init

Give some default values on nullable attributes so they will not be
collected.

Introduce explicit empty init to avoid the collect of non-nullable
attributes.

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

parser: prepare for new init

Give some default values on nullable attributes so they will not be
collected.
Introduce explicit empty init to avoid the collect of non-nullable
attributes.

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

lib: prepare for new init

Give some default values on nullable attributes so they will not be
collected.

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

typing: remove `resolve_signature_for`

With new init, the method will become less useful, so just remove it now.

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

rta: micro-factorization of call on `msignature`

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

engines: use `callsite.msignature` in ASuperExpr

instead of `callsite.mproperty.intro.msignature`

This will also be usefull with new constructors when
the signature between the callsite and the propdef differs

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

lib: move mnit::app to mnit::mnit_app to prevent future conflic with ::app

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

Merge: parser_util: drop injected tokens in `parse_someting`

Since injected tokens have a false location, highlight.nit had a bad
behavior when trying to color them.
Thez should not survive `parse_something`.

Fixes #451

Pull-Request: #453
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: misc: do not enforce shiftwidth to 8, let the .vimrc user config

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

Pull-Request: #393
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

Merge: vim: try to color annotation.

indenting still causes issues :(

Pull-Request: #450
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

lib: add `union_find`, a union–find algorithm with a disjoint-set data structure

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

Merge: sepcomp: do not colorize dead method by default

Thanks to the fix of #375, this optimization is the new default if RTA
is available.

Pull-Request: #452
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: fix Nitlight

While messing with #451, I found that nitlight was broken.

These two commit fix it

Pull-Request: #454
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

java: intro JavaObject::delete_local_ref

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

java: intro services for JNI local reference frame

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

android: support use of -m

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

ffi: minor clean up

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

ffi/java: use C callbacks instead of going straight to nitni (for global)

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

ffi/java: callbacks are relative to mainmodule

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

nitg/ffi: mark as private methods internal to compiler_ffi

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

Merge: Simplify AMethPropdef

Prepare the change of the hierarchies of subclasses of AMethPropdef.

The first two commits generalize services of subclasses.
The rest updates clients to not statically rely on such a subclass.

This will permit the refactorization and the rationalization of the parser and the AST.

Pull-Request: #434
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

tests: update tests because of changes in the location of error messages

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

src: remove remaining references of subclasses on AMethPropdef

Only some references of AExternPropdef remain for the moment.

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

nitx: modifiers ARE accessible via the model

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

modelize_property: rely more on fields than on classes to do things

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

model: add `MMethodDef::is_extern`

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

src: use `AMethPropdef` instead of subclasses when is safe to do so.

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

parser: promote all children in AMethPropdef

The point of the series is to refactorize the hierarchy of AMethPropdef
and simplify the complex syntactic variants.

So, put all specific fields in the root class, so clients will not need
to use the current complex hierarchy.

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