examples/moles: intro new traps; nukes and big cacti disguised as moles

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

examples/moles: add graphical effects; particles and flashes

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

examples/moles: update the top UI

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

examples/moles: use a darker background

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

examples/moles: update and add new art

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

examples/moles: avoid tapping the moles in the back first

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

examples/moles: extract selection of what appears in holes

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

examples/moles: revamp the hole state logic with HoleContent

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

examples/moles: update style and doc

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

examples/moles: update Makefile

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

examples/moles: clean up management of `App::screen`

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

examples/moles: update to inkscape_tools instead of the old bash script

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

Merge: Markdown fix

Fix a small bug in Markdown, in some cases pos could be negative if `skip_spaces` at line 2093 returned -1

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

examples/moles: check android version using adb monkey and an emulator

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

lib/markdown: Fix a bug in check_link

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

mongodb: avoid MongoCollection finalization by garbage collection

Related to #1629

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

mongodb: fix C warnings

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

Merge: c_tool: reorder CC arguments since the semantic between gcc and clang differs

Just a reordering to really silent the warning on osx

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

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>

c_tool: reorder CC arguments since the semantic between gcc and clang difers

Signed-off-by: Jean Privat <jean@pryen.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>