src/doc: introduce `html_comment` and `html_short_comment` services

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

src/doc: move components generation from `doc_model` to `doc_html` phase

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

parser: regenerate

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

grammar: add bitwise operators `|`, `^`, `&`, and `~`

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

src: use AUnaryopExpr

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

parser: new class AUnaryopExpr to factorize unary operations

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

parser: new class AOperatorMethid to factorize operator methods

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

nitrpg: add new player panel for work to do

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

nitrpg: extends PlayerReviewsPanel to add `request_for_comments` tags

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

contrib/nitrpg: `save_in` uses string key instead of GameEntity

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

Merge: Small clean up and improvements to MNit from WBTW

The new OpenGL parameters affect the display of images for a better pixelated look:
* When zoomed out, the image is smoother, the color values are interpolated from the nearest source pixels.
* When zoomed in, the image is displayed pixelated.

You may recognize the `Int::next_pow` method, `inkscape_tools` use something similar for the same purpose. Actually, with this PR, `inkscape_tools` may not need it anymore and produce smaller PNG files.

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

Merge: share/man: Update man for `nitpretty`

Fixes #1130

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

Merge: Inkscape tool revamp and gamnit support

* Clean up old style inits, add missing doc and refactor main code into classes and methods.
* Adds the gamnit target option, the generated code is much more simple, but the generation a bit more complex.
* Allow to specify the full path to the Nit source file to generate.
* Make rounding to the next power of 2 optional, it will no more be required for mnit programs on Android with #1284.

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

Merge: Nitdoc: more cleaning and uniformize method names

Démos:

* [stdlib](http://gresil.org/jenkins/job/CI-nitdoc/ws/doc/stdlib/index.html)
* [nitc](http://gresil.org/jenkins/job/CI-nitdoc/ws/doc/nitc/index.html)

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

Merge: nitrpg: minor enhancements

Mainly designed to fully close #1168 and work on #1161.

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

nitpretty: fixes typo in option comment

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

share/man: Update man for `nitpretty`

Fixes #1130

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

contrib/nitrpg: add a Comparator to sort games by number of players

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

contrib/nitrpg: return 404 on bad urls

Fixes #1168

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

contrib/nitrpg: display the list of active games in /games

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

contrib/nitrpg: display the readme and the active game list in homepage.

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

contrib/nitrpg: factorize game loading service from GameAction

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

contrib/nitrpg: add GamesListPanel to display the list of active games

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

contrib/nitrpg: add MDPanel to display MDContent

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

contrib/nitrpg: add a README file

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

contrib/nitrpg: add some achievements on IssueComments

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

model: add missing service to retrieve a AClassDef from a MClassDef.

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

model: avoid running phase on fictive module

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

contrib/inkscape_tools: update README.md file

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

contrib/inkscape_tools: make rounding to the next power of 2 optional

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

contrib/inkscape_tools: add alternative code generation for gamnit target

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

contrib/inkscape_tools: refactor main code into 2 new classes

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

src/doc: clean signature HTML output with `html_signature` and `html_short_signature`

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

src/doc: rename `tpl_namespace` in `html_namespace` also clean comments

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

src/doc: rename `tpl_declaration` in `html_declaration` and uniformize output

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

src/doc: rename `tpl_anchor` into `html_link_to_anchor` and use bootstrap template

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

src/doc: rename `tpl_link` into `html_link` and use bootstrap template

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

contrib/inkscape_tools: add option for the full path to the generated source

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

contrib/inkscape_tools: revamp doc of svg_to_png_and_nit

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

lib/mnit: fix and improve magnification for a pixelized (to smooth) look

The new OpenGL paramenter act of the display of images:
* When zoomed out, the image is smoother, the color values are interpolated
  from the neares source pixels.
* When zoomed in, the image is displayed pixelized.

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

lib/mnit: print the approximate memory used by textures loaded in memory

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

lib/mnit: expand images to the nearest power of 2 for OpenGL ES 1.0

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

lib/mnit: use PRINT_ERROR instead of printf on portable code

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

contrib/inkscape_tools: remove old_style constructor and whitespace error

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

Merge: Default arguments

Default arguments (aka parameters with a default value) are often a nice way to provide a complex operation with a lot of variations but allow the client to use it in a simple form when no complexity is required.
Also, it allows to extends the signature of existing operations while being API-compatible with previous versions.

This PR introduces default arguments to Nit as another tool in the toolbox of library designers.

The specification is quite simple:

* a nullable parameter can be ignored, the value of the argument will default to null

~~~nit
fun foo(a: Int, b: nullable Int) do ...
foo(1)
foo(1, null)  # equivalent thing
~~~

* default parameters can be anywhere (not necessarily at the end)

~~~nit
fun foo(a: nullable Int, b: Int) do ...
foo(1)
foo(null, 1)  # equivalent thing
~~~

* when there is multiple possible associations between arguments and parameters, arguments will be associated to the leftmost (first) parameter first.

~~~nit
fun foo(a, b: nullable Int) do ...
foo(1)
foo(1, null)  # equivalent thing
~~~

* if there is a vararg, all other parameters are mandatory (no default)

~~~nit
fun foo(a: Int..., b: nullable Int) do ...
foo(1) # Error: minimum 2 arguments (we chose that varargs require a minimum of 1 argument, but this old choice is a different issue)
foo(1, 2) # OK
foo([1]..., 2) # equivalent thing
~~~

* the last parameter of an assignment method (that is the right value of the assignment) is never default. For POLA reasons, the last argument is distinguished and syntactically mandatory, so the association with the parameter is always direct and unambiguous.

~~~nit
fun foo=(a, b: nullable Int) do ...
foo = 1
foo(null) = 1 # equivalent thing
~~~

I chose this specification because it uses the nullable facility of Nit in a nice way and is somewhat semantic: `null` means nothing to say, or keep it blank.
I prefer it over the specification of other languages that is to declare a specific default value on the declaration of parameters.

* no need not to update the grammar
* no need to specify the language of the default value (any expressions? only literal? other?)
* no need to specify when and by who the default value is evaluated (and what is the value of self? are the other parameters usable in the expression? etc.)
* no need to specify how to deal with default values on redefinitions in a OO point of view (do I inherit the default value? can I `super` the default value?)
* no need to expose the expressions used as default values in the metamodel
* no need to expose the expressions used as default values in the doc

Most of these things make the language less KISS (obviously), and less POLA because whatever spec we can choose for these points, 1) not 100% of user will find them obvious; and 2) for some cases the wanted behavior will not be the specified one.

Note that in Python, while they allow to define a specific default value on parameters, they recommend to use `null` as a default to avoid most of these aforementioned problems.

Note2: this PR was unlocked by #1269 and #1268

Pull-Request: #1280
Reviewed-by: Etienne M. Gagnon <egagnon@j-meg.com>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

tests: add base_arg_default*.nit

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

neo: save MParameter::is_default

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

typing&engines: implement default arguments

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

model&modelize: introduce default parameters

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

Merge: Snake phase names

Default name of phases where based on a lower cased version of their classnames.
That was bad. eg `FFILanguageAssignationPhase` -> `ffilanguageassignation`

So this PR snakecase them instead.

But the spec of `to_snake_case` was awful: `f_f_i_language_assignation`

So also fix the spec of this method and get something nice `ffi_language_assignation`.

Pull-Request: #1276
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: Microbenches for niti

Some update on tests/ so that niti (and nitvm) can pass more tests

Pull-Request: #1275
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Autocast and literal arrays

Small bugfixes

* forbid autocasts in combined assignments and literal arrays
* keep autocast information in transform
* rta visits implicit methods of literal arrays

Only the first one was the original bug I wanted to fix, the two others where discovered and solved while writing the PR.

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

Merge: Option --keep-going

Follow up of #959 and #1241. Now an option is exposed so people can happily try to use it on various tools that will turn them berserk and make them want to kill you.

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

Merge: Check operator

Previously, no checking was done on the signature of operators.
While this is not an issue for the model nor the tools this could yield to not POLA error messages when the operator is used. eg.

~~~nit
class A
   fun +(other: A) do print "hello"
end
var a = new A
var b = a + a # Error expected expression
a + a # Error unexpected operator +
# no way do invoke `+` in fact.
~~~

With the PR, we have

~~~
Error: mandatory return type for `+`.
fun +(other: A) do print "hello"
    ^
~~~

The following errors are added by the PR:

* mandatory return
* not enough parameters
* too much parameters
* illegal variadic parameter

Pull-Request: #1269
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Signature map

Provide an abstraction `SingatureMap` to factorize (and simplify) the association between arguments and parameters (not that easy in the context of varargs).

This PR is also required by a future PR.

Pull-Request: #1268
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

tests: update test_ffi_c_operators for << and >>

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

tests: add error_operators.nit

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

modelize_property: implement special validity rules for operators

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

tests: update test_new_native.res because line change in array.nit

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

interpreter: use SignatureMap to make varargize more robust

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

compiler: use SignatureMap to make varargize more robust

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

lib/standard/array: add `Array::sub`

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

phases: default names is the snake_cased version of the classname

use `nitc --disable-phase list` to see them

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

strings: reimplement to_snake_case with a correct semantic

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

tests: add output for benchs that does not have some

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

update niti.skip and nitvm.skip to allow more tests (including benches)

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

tests: update benchs*.nit to have a common default time and an non-linear grow

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

tests: add base_autocast_array.nit

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

lib/string_search: avoid covariant array on `split_once_on`

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

transform: do not lose autocast information

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

rta: visit implicit methods of literal arrays

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

tests: update sav/test_toolcontext* because of the new option

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

metrics/detect_covariance: update check_subtype

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

typing: do not autocast on arrays or combined assignment

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

man: add --keep-going

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

toolcontext: add --keep-going to keep going

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

typing: introduce SignatureMap to factorize parameters<->arguments mapping work

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

Merge: Extends operators

* Add missing combined assignments: `*=`, `/=`, `%=`, `**=`, `<<=`, `>>=`
* Add missing unary + operator (why?)
* Keep operators in the AST for better messages
* Factorize some information in the AST to simplify code in other modules

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

tests: update other sav for new AST of location in error messages

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

tests: extends base_combined_assignment and test_ffi_c_operators

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

lib/stc/kernel: add << and >> in Int

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

nitpretty: handle AUplusExpr and simplify binary operations

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

typing: use new `operator` and `n_op` from ABinopExpr and AAssignOp

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

src: implement unary plus

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

parser: regenerate

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

grammar: add more combined assignment operator

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

grammar: introduce n_op and operator in AAssignOp

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

parser: add ABinopExpr::operator to avoid refining each operator class in other modules

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

grammar: keep operators in the AST for better messages

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

grammar: as unary plus operation (only for thr sake on completion)

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

Merge: Review errors messages

A big PR but that just review the errors and warning messages printed by the tools.

I tries to follow a standard format:

eg. "Error: cannot find method `foo`."

* start with a message type like "Error:", "Syntax Error:", "Warning:".
  The type is capitalized and terminated by a column.
  The rest on the message starts with a lowercase letter and is terminated with a dot.

* be short and fit on a single line.

* have meaningful information first.
  This helps the reader and remain usable
  when truncated, by an IDE for instance.

* enclose identifiers, keywords and pieces of code with back-quotes.

Do not hesitate no nitpick phrasing or wording or propose better messages.

Close #931

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

Merge: Check contrib

Add a script `misc/jenkins/check_contrib.sh` to automatically compile and tests things in contrib and examples.

New (and existing) programs in these directory should try to add some basic (or extensive) checking.

Note that I used the name `check` that is the standard name for Makefiles (`tests` seems to be an invention of myself) http://www.gnu.org/software/make/manual/make.html#Standard-Targets

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

Merge: tests: add --autosav to automatically update the sav directory.

Advantages:

* avoid manual error-prone update (especially on large tests)
* diffs on the sav/ files may be easier to see with git tools

Drawbacks:

* the wrong sav dir can by used for specific engines/uname/etc.
* manual inspection still required

Is used for #1253 because manual updates are a PITA

Pull-Request: #1258
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

tests: update sav with new error messages

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

src: improve messages (and sometime location) of errors and warnings

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

model: add `MClass::signature_to_s` to use in messages.

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

typing: identify the node associated to method name

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

contrib: add some check rules

`check` is the expected name for Makefile, `tests` is a nitism

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

jenkins: add check_contrib.sh to automatically compile and check contribs

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

tests: add --autosav to automatically update the sav directory.

Advantages:

* avoid manual error-prone update (especially on large tests)
* diffs on the sav/ files may be easier to see with git tools

Drawbacks:

* the wrong sav dir can by used for specific engines/uname/etc.
* manual inspection still required

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