src/compiler: Added fixint variants to compiler

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

lib/standard/text: Updated to_num to support fix ints

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

Merge: tests: specific mass-definition of tests marked todo

The magic string "NOT YET IMPLEMENTED" that is used to mark tests as *todo* are now extendable as new magic strings can be added to the `todo` file (one per line)
Moreover, specific engines and platforms can define additional magic strings in the `todo` files in their `sav` subdirectories.
E.g. `sav/Darwin/todo` for magic strings that will be used only for tests run on max os x.

Pull-Request: #1626
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: separate_compiler: remove the use of weak symbols.

thus always compile stub of methods to avoid unresolved symbols

weak symbols seem to cause issues on some platforms *cough mac os x cough*

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

Merge: Clean primitive

Cleaning of binary operations on primitive data types:

* `lshift` and `rshift` are replaced by the usual `<<` and `>>`
* `bin_and` is replaced by `&`
* `bin_or` is replaced by `|`
* `bin_not` is replaced by `~`
* `bin_xor` is replaced by `^`

Note: Due to bootstrap issues, `<<` and `>>` are now FFI

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

Merge: More abstract classes

The current leniency of abstract methods (see #808) make that a lot of concrete classes inherit abstract methods (I counted 5048 cases in the whole code base).
Some trivial cases are classes that just should be abstract.

Pull-Request: #1622
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: Stricter default arguments

This change the way that default arguments are handled.

Now, defaults arguments can only follow the used one.
This improve the readability of calls and the association between calls and declarations thus solve a lot of issues of users.

~~~
fun foo(a: nullable Int, b: Int, c: nullable Int) do ...
foo(null,2,null) # OK
foo(null,2) # equivalent
foo(2) # now refused! but previously accepted as equivalent.
~~~

Only exception: the last parameter of an assignment method is always the last argument

~~~
fun foo=(a: nullable Int, b: Int, c: nullable Int, d: nullable Int) do ...
foo(null,2,null) = 0 # OK
foo(null,2) = 0 # equivalent
foo(2) = 0 # now refused! but previously accepted as equivalent
~~~

No specific black magic is added to automatic constructor.
Therefore an optional constructor parameter in a class can becore mandatory in a subclass if a new mandatory attribute is introduced.

~~~
class A
   var a: nullable Int
end
class B
  super A
  var b: Int
end
var a1 = new A(null) # OK
var a2 = new A # equivalent
var b1 = new B(null, 2) # OK
var b2 = new B(2) # now refused! but previously accepted as equivalent
~~~

This issue only required some small adaptation in existing piece of code: nitdoc, sexp, serialization and dom. The latter is PRized independently in #1616 but included here for jenkins.
Most of these changes (first commits) are in fact bugfixes or make the code cleaner so this is an argument in favor of this new stricter specification.

This PR has also the advantage of simplifying the model as the whole policy of the default argument is moved to the typing analysis: it is now just a pure calling convention.

Close #1453

Pull-Request: #1618
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

tests: Update sav for legacy tests

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

lib/standard/: Removed bin_and/or/xor/not from math

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

tests: Darwin special sav for test_regex_check

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

tests: Darwin skips cocoa, mpi and emscripten

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

tests: add Darwin/todo to mass blacklist some tests

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

tests.sh: use `todo` files to store magic strings

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

tests: update tests related to default arguments

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

neo: update because no more default param in the model

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

model: remove things about default parameters

Everything is in typing now.

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

typing: change specification about default arguments. everything is done here

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

separate_compiler: always compile stub of methods to avoid unresolved symbols

week symbols seem to cause issues on some platforms *couch mac os x couch*

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

lib/standard: Remove lshift and rshift from Int and Byte

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

lib/standard/kernel: Use literal bytes in nitunits

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

src/interpreter: Clean uses of recvval in interpreter

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

Merge: Prepare qualified identifiers

First step to solve #1260: do not lose qualifiers in the AST.

This is just a API change without new features. qualifiers are still ignored but now they are in the AST.

Pull-Request: #1620
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: Own rand seed

Inject a basic patform-independent reproducible pseudo-random generator when `srand_form` (thus NIT_SRAND) is used.
This will allows to have more reproductible tests on various architecture.

Related with #1387

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

Merge: Benitlux report tool

Intro a tool to print a pretty report on the availability of beers at the excellent Brasserie Bénélux.

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

Merge: UTF-8 byte reading error

A small bug in char_at and length_of_char_at found their way and up until now did not pose any problem, however on some borderline cases (such as the 0x10FFFF example below) the char was misread as 0xFFFD.

The standard specifies the first byte of a 4 byte sequence to start with a `0b1111_0xxx` form, that the masks used in these methods did not check properly.

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

astutil: update nitunit related to AST

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

tests: update sav related to AST

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

src: update AST client to handle qualified identifiers (no semantic change)

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

parser: regenerate with qualifiers in the AST

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

grammar: keep qualified information in the AST. Does not change the CST.

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

src: make AUnaryopExpr abstract

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

lib: make some classes abstract

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

tests: update some sav because change in random

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

ffi: compile extern C files with -Wno-unused-function to avoid warning on C dead code

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

contrib/benitlux: add a report tool

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

contrib/benitlux: add services to list known beers and days

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

lib/sepx: provide location to each parsed node

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

nitdoc: explicitly set titles of articles to null in constructor call

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

serialization: initialize `keep_going` to null

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

Merge: Cleanup lib/dom

This part was required while developing some change in the spec of default parameter (see #1453)
But this series of commit seems good enough and could be independently useful.
It also remove all warnings in the lib/dom directory

Pull-Request: #1616
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: Add debug option to compiler

Addition of a `-g` option to the compiler, right now it just disables gdb-side optimisation, but it may become more capable in the long run.

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

Merge: example: optional attribute with a default value

This one comes from a discussion with @R4PaSs

I'm not sure I want to really expose it as I still think that current constructors need more love and work.
So at least test the current behavior.

If you people have other alternatives, you can show them.

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

tests: Added tests for char_at method on borderline cases

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

lib/standard: Fix NativeString::length_of_char_at and char_at

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

share/man: Update nitc.md for debug option

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

compiler: Add -g option to compiler

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

lib/dom: remove useless visibility

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

lib/dom: remove `null` call warning

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

lib/dom: add missing documentation

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

tests: update sav for text_xml_read

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

lib/dom: give location to all parsed XML nodes

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

lib/dom: remove urequired use of named arguments

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

lib/dom: initialize `XMLEntity::parent` to null

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

lib/dom: remove useless variable

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

Merge: Text::to_bytes

Simple addition to the Bytes module, to build one from any Text type

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

example: optional attribute with a default value

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

lib/standard/bytes: Text::to_bytes method

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

Merge: lib/maths: add `nan` and `inf` as special Float

with bits of IEEE 754

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

Merge: Can use lib/github/github_curl without a oauth token

Nothing fancy but I wanted to merge PR tonight and I found the oauth token requirement a bit harsh

Pull-Request: #1611
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: contrib: add a simple planner that use lib/ai

This is a basic implementation for a TP given by a professor who wants to remain anonymous.
I'm quite sure the algorithm and the implementation can be improved, but it does the job in a quite acceptable time performance.

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

contrib: add a simple planner that use lib/ai

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

lib/maths: add `nan` and `inf` as special Float

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

Merge: jwrapper reproduces Java class hierarchy in Nit and serialize model

Continuing the work of #1578, #1589 and #1599, this PR adds the last big feature missing from jwrapper: duplicating the class hierarchy from Java to the generated wrapper classes. This allows user code to benefit from polymorphism when invoking Java methods wrappers.

This is done by collecting the implements and extends declaration from the javap output, rebuilding the class hierarchy and adding the super declarations needed to reproduce the hierarchy in Nit. To support a compatible hierarchy across modules, the model can now be serialized to a file and read by the following passes. Note that jwrapper wraps classes and interfaces in the same way so the implements and the extends hierarchy are merge into one on the Nit side.

What's to do next:
* Integrate generated modules in the `::java` and `::android` libraries!
* Add tools to extract concerns from a Jar archive to subdivide the wrappers in many modules. This could be done by targeting types, but more experimentation is needed.
* Clean up the duplicated features from the grep search and the serialized models. This is also an evolution as the grep features should be phased out in favor of a better `::java` lib and the serialized models.
* Automate declaring importations by using knowledge from the serialized models.
* Generate casts between the Java wrapper classes?
* Update the documentation with the latest changes.

What I'm probably not gonna do unless someone needs it:
* Full vararg types support, this would probably require using the JNI from C. In the time being, it can be done manually with a fixed number of parameters, as needed.

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

lib/performance_analysis: relax unit test expected results

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

contrib/jwrapper examples: update android_api to use a serialized model

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

contrib/jwrapper examples: update java_api to benefit from polymorphism

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

contrib/jwrapper: saving the model must be asked by an option

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

contrib/jwrapper: only reference to `java.lang.Object` if known by the model

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

contrib/jwrapper: add an option to not generate methods

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

contrib/jwrapper: use serialized models to build the complete class hierarchy

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

contrib/jwrapper: intro reading models from file

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

contrib/jwrapper: write the model to a file next to the Nit module

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

contrib/jwrapper: enable serialization of model

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

contrib/jwrapper: generate classes in linearization order

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

contrib/jwrapper: prevent name conflicts with inherited properties

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

contrib/jwrapper: generate only locally introduced methods in each class

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

contrib/jwrapper: silence all useless-superclass warnings

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

contrib/jwrapper: compute the methods introduced by each classes

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

contrib/jwrapper: copy class hierarchy over to Nit

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

contrib/jwrapper: build class hierarchy into a POSet

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

contrib/jwrapper: collect super-classes data

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

contrib/jwrapper: revamp class header generation

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

contrib/jwrapper: create the tmp directory as needed

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

contrib/jwrapper: implement == and hash in JavaClass and JavaMethod

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

contrib/jwrapper: close module file stream after writing

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

contrib/jwrapper grammar: reorder of the grammar file (no other changes)

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

contrib/jwrapper grammar: unify all lists of things that look like a type

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

Merge: curl: implement CURLOPT_TIMEOUT and CURLOPT_TIMEOUT_MS

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

Pull-Request: #1610
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Jean-Philippe Caissy <jpcaissy@piji.ca>

Merge: lib/performance_analysis: relax nitunit expected results

This should be enough to fix #1562.

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

contrib/github_merge: can merge localy without github oauth (need readonly)

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

lib/github: can connect without OAuth token

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

lib/curl: Collection::to_curlslist do not crash on empty lists

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

curl: implement CURLOPT_TIMEOUT and CURLOPT_TIMEOUT_MS

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

lib/performance_analysis: relax unit test expected results

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

Merge: Tinks! fix frame lock between clients and servers

This PR greatly improve multiplayer performance by removing the synchronous frames between the clients and server.

There is still a lot of stuff to do on Tinks! see the notes in #1601.

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

Merge: Simplify integer parsing

As a follow-up to #1602, a more aggressive factorization of the parser, along with a few methods that produce Numeric values of the right type.

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

Merge: Fix nitcorn `Content-Length` when working with UTF-8 files

Changes:
* use `bytelen` instead of `length` when setting `Content-Length` header
* add media types for web fonts

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

tests: Update sav for parser updates

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

src: Parser regeneration

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

src: Modified compilers for the support of the new Integers

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