typing: also type signature for intern methods

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

nitj: compile concrete methods bodies

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

nitj: implement instance initialization and ANewExprs

Attributes are not handled in this commit.

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

nitj: avoid calls to abstract methods

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

nitj: implements AReturnExprs

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

nitj: shortcut calls on primitive instances

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

nitj: implement static and polymorphic sends

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

nitj: implement boxing for Java primitives

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

nitj: implement variable declaration

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

nitj: compile native instances of Int, Byte, Float, Char and Bool

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

nitj: implement `self` accesses

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

nitj: implement aborts

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

nitj: implement static frame to handle calls

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

nitj: prepare node visit of method bodies

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

nitj: implement variable handling

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

nitj: build naive type tables using Java HashMaps

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

nitj: build naive vfts using Java HashMaps

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

nitj: generate runtime mmethodef structure stubs

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

nitj: generate runtime class structure stubs

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

nitj: introduce JavaRuntimeModel used to represent Nit entities in Java runtime

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

nitj: introduce JavaCompilerVisitor to generate java code

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

nitj: add tests for the nitj engine

Reused tests from `nitg-e`.

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

nitj: compile generated Java files using make and Javac

This will be used to compile generated files into an executable jar.
Also introduce a shell script to directly run the generated jar to come like it was a binary.

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

nitj: introduce compiler to Java code

This commit only introduce a stub and a way to test it.
Code generation will be added in next commits.

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

Merge: Opportunity i18n & traduction française

This PR brings partial i18n support to Opportunity with a french translation. Most strings from the
 UI are covered but not the error messages. This PR also fixes a few bugs in the i18n phase.

I still have difficulty with the deployment. Launching my web server use `LANGUAGE=fr sudo bin/xymus_net` works, but not when using `daemonize -E LANGUAGE=fr ...`. @R4PaSs do you have an idea for a solution?

http://xymus.net/opportunity/ temporary serves the French version of the site. I may have to revert tot the English version if I need monit and I can't fix the locale issue.

Pull-Request: #1531
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Geometry fix

There was a big mistake in the boxes API where you would get the bottom of a line when calling for it's top and get the top when you were calling for the bottom xD, so fixed it.
There also was a bug with the usage of the Numerics in the quadtree API.
Also implemented a to_s for quadtree, but not sure if it needs to stay here.

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

Merge: Use light FFI instead of the legacy NI in the lib

Update all extern methods previously implemented with the legacy NI to use the light FFI. Also cleans up the `_nit.[ch]` files and a few redundant `is extern` declarations.

There could be a performance hit because we add at least one layer of indirection when invoking the extern method code. And some were previously only macros applied within the generated internal code... However I don't see a difference with the performance of nitc and it can be optimized by the C compiler.

The C structure used in the `exec` module should be replaced by a Nit class. I've added 2 FIXMEs to make it clear. The C structure makes dealing with calls to `pipe` easier but it also makes the rest of the code more complex than needed.

The only use of the legacy NI left is the parser generated by the modified SableCC.

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

Merge: Nitunit fails bad code

Documentation that contains only bad code (not tagged) is now reported by nitunit as it should be.

Pull-Request: #1522
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Adaptive typing: fix buggy warning messages

 #1257 relaxed some rules about untyped code in order to allow the compiler to compute a fixed point. So an inconsistent state with untyped code was permitted during the typing.

The problem is that errors messages or warnings could be prematurely displayed during the analysis thus be false because based on non final information.
The solution is to add a post-processing after the fixed point and delay the premature warning so that the information used is computed and reliable.

Moreover, the `useless null test because always null` is now brought back (it was disabled because caused too much unreliable noise)

Close #1257

Pull-Request: #1524
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

tests: skip nitpick args1 in niti and nitvm

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

contrib/opportunity: gitignore .pot and .mo files

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

src/i18n_phase: there's no need to unescape

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

src/i18n_phase: breakup 2 complexe lines of code

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

src/i18n_phase: use an escape custom to gettext

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

contrib/opportunity: add rule to build .mo files

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

contrib/opportunity: intro french translation

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

contrib/opportunity: hack to circumvent #1530

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

contrib/opportunity: prepare for i18n by separating the localized strings from the rest

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

geometry/quadtree: fixed use of the numerics

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

geometry/boxes: top and bottom in ILine were inversed...

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

lib/text: protect the `format` method against inconsistencies

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

src/i18n_phase: accepts string literals within a superstring

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

Merge: Check for errors in regex within string literals at compilation

This is the first part for #1511.

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

Merge: niti-ffi: NativeString is re-a `char*` since #1502

This removes a warning during the initial make.

Pull-Request: #1529
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

niti-ffi: NativeString is re-a `char*` since #1502

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

Merge: Bug fixes in SSA module

This small PR fixes two bugs in SSA.

First: A property was unecessary specific in the hierarchy.
Second: Bad initialization of two attributes which cause runtime error in new tests.

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

Merge: Fix FFI with private extern classes not needing a "C Header" block

According to the [manual of the C FFI for wrappers](http://nitlanguage.org/FFI/wrapping_C_libraries/), a private extern class does not need to import (or declare) its C equivalent type in the "C header" it can be done only in the "C body" (or the default "C" block).

This bug broke this feature. It may have been reintroduced by 16f94e0, or maybe even before. This PR adds a test to prevent future regression.

Bug referenced in #1520.

Pull-Request: #1521
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

tests: test regular expression validation phase

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

src/frontend: add a phase to validate regular expression

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

ssa: Delete an unused variable

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

ssa: Bug fixe with a wrong initialization

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

ssa: Make a property more general

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

tests: mark as undefined tests using NativeFile, hacked in niti

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

lib/signals: fix missing import and initializer for GCC

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

lib/signals: do no pin references if the FFI feature is not available

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

lib/signals: clean up whitespaces and style

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

lib/signals: remove full FFI features from the module blocks

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

tests: intro a test with the different FFI module block

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

src/ffi: do not declare the impl signature before the custom C code

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

Merge branch 'master' into lib-use-light-ffi

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

Merge: Second batch of RosettaCode

In this one, I rewrote the commits to squash them, clean them and add tests.

Since the commits are rewrote, their sha1 differ so the PR numbers are added in the descriptions of the commits to keep track of the original request.

Pull-Request: #1519
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Do not compile dead modules

Separate compilation implies that a module is compiled independently of its clients.
This point ensure us that the recompilation of programs is fast since only modified modules need to be recompiled and that modules used by multiples clients need to be compiled only once.

Unfortunately, currently an already compiled module need to still to be fully compiled in C on each compilation (avoiding doing it is a very complex matter). Fortunately, most of the compilation time is spend by the C compiler (especially when #1498) and this time is safely decimated by ccache.

However, a thing that some modules are imported by programs (thus provide declarations, introductions, importations) but are only made of method definitions that will never be executed by the program. Such a module is called a *dead* module and our static analysis RTA can approximate them.
So, now, the generation of C code for such a module is skipped (and its associated C compilation, obviously)

This will benefit mostly small programs that imports standard and other libraries but only use a small portion of them. Eg: programs in `tests/` or in `examples/rossetacode`.

For numbers, lets try with `time ./tests.sh ../examples/rosettacode/*.nit` to test the 32 (currently) programs.

* before: 30s
* after: 21s

I hope that CI servers will like what we, human masters, do for them!

Pull-Request: #1509
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

tests: other update related to adaptive typing messages

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

tests: new tests base_adaptive_loop_null2.nit base_adaptive_loop_isa.nit

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

typing: warn about useless null when the target is always `null`

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

typing: warnings related to adaptive typing are moved to the post_typing

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

lib/markdown: fix markdown used in documentation (how ironic)

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

typing: new PostTypingVisitor that is run after the visit

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

typing: factorize AEqExpr and ANeExpr into AEqFormExpr

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

ast: new class AEqFormExpr to factorize AEqExpr and ANeExpr

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

typing: `or else` on null is no more an error

A warning at most

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

tests: update line number with latest changes to the lib

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

fixup: add first_letter_last_letter niti.skip

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

Merge: Light FFI for the interpreter

Intro an FFI for the interpreter. This is a first draft/proof of concept to support the light FFI and few more features, more work is needed to implement the full FFI and support for other languages.

When the interpreter has to execute an extern method, it compiles all the extern code of the modules into an external native shared library (.so). Then the interpreter load dynamically the module, and invoke the C implementation function. The handle to the library is cached so a module isn't compiled twice per execution.

The current version is limited to the light FFI with a few more features. So there is extern methods, native type support and extern classes but it does not support callbacks.

The interpreter can now run 7 out of the 24 tests for the FFI with C.

This version was kept "simple" by design, it lacks some not-so-hard to implement features as well as portability concerns:
* Choosing the compiler (hard coded gcc) and the compile folder.
* Recompile the extern library only when the source is updated.
* Clear the compile folder.
* Support shared library format on OS X.
* Ensure call compatibility between the interpreter and extern libraries

The remaining features of the FFI, the callbacks and the other languages, require a decent amount of work but less than this PR.

Note that not a single line of code was added to the FFI folder, it uses the exact same backend as the compiler without modifications.

The design was inspired by other interpreters and VM-based languages. The JNI expect the user to manually compile the extern code into a native shared library before executing the Java code. This FFI automates the same process.

---

Please ignore the first 6 commits from #1441 and #1442.

Pull-Request: #1443
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: More limit on tests

Implemented more kind of size and time limits in `tests.sh` so that broken tests will not fill the disk with useless garbage.

realtimelimit is the existing time limit (in seconds)
It is used to avoid waiting or sleeping tests.
It requires timeout or timelimit, or else is not used.
The main change is the name (there is one now) and is lowered to 5 min

usertimelimit is an additional user CPU time limit (in seconds)
It is used to avoid to CPU intensive test (infinite loops). See ulimit -t
Is set to 1 CPU minute

filelimit is the user limit for write files (in kilo-bytes)
Is used to avoid execution that loop and fill the hard drive. See ulimit -f
Note that a test might require a lot of temporary disk space (eg. nitc+gcc) so it is set to approximately 100MB

reslimit is the limit (in bytes) for generated .res file.
Larger ones are truncated and will fail tests
It is used to avoid processing huge crappy res file (diff, xml, etc)
Is set to approximately 100KB

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

Merge: code: cleanup some docunits

They where detected since #1332 is merged

Pull-Request: #1508
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

tests: force compilation of the test error_annot_pkgconfig

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

tests: skip raspberry pi tests on niti and nitvm

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

tests: nitvm also skip the mpi_simple test

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

src: fix interpreter FFI to support nitvm

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

tests: make as UNDEFINED tests that break niti at the FFI level

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

tests: test bad code in nitunits

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

nitunit: bad code count as code (to avoid more failures that code)

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

nitunit: process failures (bad code) before leaving

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

lib/mnit: remove the `is extern` declaration

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

lib: update the text group to the light FFI

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

lib/file: move macros to the light FFI

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

lib/file: move implementation code to light FFI

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

lib/file: wrap a long signature and add some space between methods

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

lib: update the math module to use the light FFI

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

lib/exec: move the C structure se_exec_data to the light FFI

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

tests: add sav files for some rosettacode

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

RosettaCode: Random numbers

Close #1466

rosettacode: cleanup and test guess_the_number.nit

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

RosettaCode: Guess the Number

Close #1476

Signed-off-by: Istvan SZALAI <szalai972@gmail.com>

Rosetta Code: added HTML Table

Close #1486

Rosetta Code: added dot_product

Close #1481

Rosetta Code: Added Even/Odd

Rosettacode: add Tokenizer

Close #1475

tests: blacklist most things from src in nitg-g.skip

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