version 0.7.2

Merge: Use --log

Use the option --log to log things.

It is not that hard to add logged things and it helped me, in #1177, to track easily the bug in rta.

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

Merge: Kill cached

Remove the deprecated annotation `is cached` that is fragile and replace the remaining cases with `lazy` attributes that is the way to go.

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

Merge: Nitrpg: add achievements

Not much achievements in this PR:

* Counting issues and rewarding at 1, 100, 1000
* Counting PR and rewarding at 1, 100, 1000
* Counting commits and rewarding at 1, 100, 1000, 10000
* Two achievements based on regexp, just for demo: Nitdoc and FFI

Partially fixes #1165: I fixed the typo in "complaint" and the first playre to unlock the achievement. But the related issue stills not linked for now.

Démo: http://nitlanguage.org/rpg/games/privat/nit (sorry, I had to reset the scores...)

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

tests: tests --log and --log-dir for nitc

So we can check that this rare path does not crashes

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

man: document --log and --log-dir

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

rta: log results of analysis in the log directory

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

toolcontext: log all verbose infos in the log directory

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

contrib/nitrpg: display achievements in front end

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

contrib/nitrpg: introduce achievements

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

tests: remove base_at_cached.nit

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

glesv2: fix bad use of `lazy` annotation (fun instead of var)

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

nitrpg: implement correct caching for User::player

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

modelize: prevent the use of `lazy` on methods

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

frontend: remove deprecated cached annotation and phase

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

code: replace `is cached` by `is lazy`

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

Merge: Guard call

Add option `--guard-call` as an alternative implementation of the link-time optimization `--substitute-monomorph`

The idea is to have the standard VFT call guarded by a symbol when the call is monomorphic.
So the sequence is independent of any client and is roughly

~~~
if SYMBOL != null then
   SYMBOL(ARGS)
else
   (SELF->VFT[COLOR])(ARGS)
end
~~~

where the value of the SYMBOL is set for each specific program at link-time: null when the call is polymorphic and the address of the single target when the call is monomorphic.

Benches show that, on my computer, there is from 0% to 10% in loss so this alternative implementation is pure overcost :)
Still keep it because, I coded it and works, and it may worth something on other architectures.

The benchs shows some quick results:

* first (sc, red) is default
* second (sl, green) is `--substitute-monomorph`, the previous impl
* third (gc, blue) is `--guard-call``, the new one
* last (cd, purple) is `--direct-call-monomorph0`, the optimal with direct calls directly inserted in a global way


Even if the result is deceiving, the PR does some cleanup and refactorization, so we got that goin for us,  which is nice.

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

Merge: Nitdoc: HTML templates related cleaning

This PR reorganizes Nitdoc modules importation for HTML templates.

The main objective is to dissociate `doc_model` from html related things.
This is the last step before template migration from old model templates to `DocComposite`.

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

Merge: Generalized class members

This PR change the way class members are parsed.

Before, the order was strict: class annotations, then extern code block, then super clauses, then properties.
After, annotations and super clauses can appear in any order within the properties

The need is to enable class annotations inside the class (cf #1158) I did not find another simple way to do this.

Now, one can write
~~~nit
class B
   super A
   serializable
   var i: Int
   autoinit x, i
end
~~~

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

nitpretty: handle super and class-level annotation as property

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

tests: update test_parser_args1.res

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

serialization: generate ASuperPropdef instead of ASuperclass

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

astvalidation: skip individual annotations

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

transform: skip if no mpropdef instead of abort

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

modelize: implements services of APropdef as noop (instead of abstract)

So that working on special APropdefs do nothing by default.

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

parser: regenerate with generalized class members

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

grammar: introduce AAnnotPropdef for annotation in classes

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

grammar: introduce ASuperPropdef for super-classes

The suffix `Prodef` is unfortunate, but sablecc3 is the law.
I would have preferred `ASuperDef` or something.

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

grammar: remove `line_annotations_forclass` and `superclass` from classdef

They will be reintroduced as propdefs in next commits

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

grammar: propdefs returns a list

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

src/doc: uniformize HTML output for topmenu

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

src/doc: clean DocPage rendering API.

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

src/doc: make DocPage render itself instead of using a TplPage

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

src/doc: move `doc_templates` to `html_templates` group.

At this point, anything that is related to HTML ouput is only required by the HTML rendering phase.

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

bench: add `bench_call_monomorph` to compare both levels

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

sepcomp: add option -direct-call-monomorph0 a less precise --direct-call-monomorph option

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

Merge: Add tasks in benchmark/bench_engines

More benches for more science

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

Merge: nitrpg: add nitrpg.user.js for enhanced user experience

A script to use with [user-script][1] compliant plugin for your browser to enhance the user experience on github for nitrpg players.

[1]: http://en.wikipedia.org/wiki/Greasemonkey

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

Merge: parser: add `ASTDump` and `ANode::dump_tree`

A simple helper to debug AST. I used it to debug auto-serialization in #1159

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

Merge: nitunit: fix running last test of a module, it was previously ignored

This is a very small commit, but it may reveal some previously ignored nitunits.

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

sepcomp: add option `--guard-call`

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

sepcomp: move out opt_substitute_monomorph from compile_module_to_c

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

nitrpg: add nitrpg.user.js for enhanced user experience

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

contrib/nitrpg: also use `root_url` on site logo.

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

contrib/nitrpg: move statistics to GameEntity.

So even players can have stats.

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

benches: replace niti test_parser task by two niti tasks (nitcc and queens)

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

benches: add markdown as a task in bench_engines

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

lib/github: deactivate assert in broken nitunit

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

Merge: Support Android on 2 different ARMs, x86 and even MIPS

Tested on ARM v7 and x86. MIPS on Android is more rare but it is used on some low-cost phones.

Each extra architecture use less than 1 mo in the release APK, but MIPS is the largest one. I could add an annotation or something else if we ever need smaller APK files. Mineit VR release with the 4 architectures and its textures takes only 2.5 mo.

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

Merge: class annotation `autoinit` to explicitly lists initializers.

A suggestion of @Morriar is to use a class-level annotation `autoinit` to list initializers.
It should ne rarely used, in case of conflict for instance, or to restrict the number of initializers (but this could be fragile).

A step towards #785

~~~nit
class A
  var a: Int
  var b: String
end

class B
   autoinit c, b, a
   super A
   var c: Bool
end

var a = new A(10, "foo")
var b = new B(true, "foo", 10)
~~~

Some issues remains, I my require your input on these

* why I am required to put `autoinit` before the `super` clause?
  because the grammar is ugly.
  Maybe I should find a way to enable the `autoinit` clause everywhere in the body of the class?
  This is a grammar issue that can be solved independently I think.
* what are the validity of initializers?
  The first commit is used to discriminate properties that are initializers and those that are not.
  I am not sure if restricting what can be used an initializer makes sense. In fact I really do not know what is the best expressive-but-safe policy here. See the last point for a related issue
* what about clearing the full list of initializers (so no parameters in the new)?
  The annotation `noautoinit` will do the trick.
* what about setters?
  when one writes `class A var x: Int`, in fact the initializer is not the getter `x` but the setter `x=`. It is obvious once one understand that `var a = new A(10)` is just `var a = alloc A; a.x = 10; a.init`.
  However, I chose to implicitly try to search the setter first when given `x` as an element of the `autoinit` clause, so that one can write `autoinit x` instead of the less POLA `autoinit x=` (that also works by the way).
  Unfortunately this kind of heuristic makes the specification more complex, but also prevents one to use a method `x` as an initializer if a method `x=` exists.

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

parser: add `ASTDump` and `ANode::dump_tree`

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

nitunit: fix executing last test which was previously ignored

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

nitc/android: compile Android projects for x86, mips and 2 versions of arm

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

share/libgc: compile libgc for Android on more than arm: x86 and mips

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

tests: update some `base_init` to use noautoinit instead of noinit

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

tests: add base_init_autoinit3.nit

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

modelize: add class annotation `noautoinit` to clear the list of initializers

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

modelize: accepts `noautoinit` the new name of `noinit`.

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

modelize: add class-annotation `autoinit` to explicitly list the initializers

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

Merge: Misc commits to android, json::dynamic and more_collections

The gamepad events are based on 2 different gamepads. They will probably need to be revisited with different layouts.

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

src/doc: move remaining services from `doc_model` to `doc_base` and delete the module

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

src/doc: move HTML output related services from `doc_model` to `html_model`

So HTML related things are only imported by the HTML rendering phase.

Next commit will finish the `doc_model` cleaning by merging remaining services into `doc_base`.

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

src/doc: use `nitdoc_name` rather than `nitdoc_id` for debug name.

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

src/doc: introduce `html_templates` group.

This group will be used to store all the HTML output related things.

Next commit will extract HTML related services from module `doc_model`.

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

src/doc: make ImportationListSection and InheritanceListSection two MEntity articles since the lists are about a specific MEntity

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

src/doc: make GraphArticle a MEntity article since the graph is about a specific MEntity

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

src/doc: rename `DocComposite::add` into `add_child` to avoid conflict with `Template::add`

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

lib/android: add the gamepad module

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

lib/android: move all android annotations to the `aware` submodule

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

lib/more_collections: add `clean` to `HashMap[23]`

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

lib/json: converting JsonValue to float or int casts between numerics

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

Merge: Nitrpg: introduce game events

Events allow us to keep track of the history.

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

Merge: Nitrpg: minor fixes

Some fixes before next feature.

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

Merge: Nitrpg: minor fixes

Some fixes before next feature.

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

Merge: Rename Streams

Since #466 is not closed yet, here's the follow-up to PR #932.

This one focuses only on introducing new names for Streams, IOS and its derivatives were judged as confusing, so here's a proposition of names for the different Streams of the standard library.

Please let me know if some names are not very explicit, I'll change them if necessary.

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

Merge: lib/glesv2: intro framebuffer related services and try a new style

The main point of this PR is to try a new naming convention for the glesv2 module.

Ideas behind this convention:
1. Be as close as possible to the C API: use the same function and macro names.
2. Modify those names only for compatibility with the Nit language: the macros cannot begin with `GL_` so use `gl_` instead.
3. Apply types and other Nity features when they can help and don't interfere with the original API.

It differs from the previous convention of renaming all entities to the Nit style. It is not heavier in the module definition but should be easier for the users.

In practice, to convert OpenGL ES C code to Nit you would need to change the prefix `GL_` to `gl_`, and remove `;`.

In C:
~~~
glBindFramebuffer(GL_FRAMEBUFFER, my_fbo);
glBindRenderbuffer(GL_RENDERBUFFER, my_renderbuffer);
return glCheckFramebufferStatus(GL_FRAMEBUFFER) == GL_FRAMEBUFFER_COMPLETE;
~~~

In Nit:
~~~
glBindFramebuffer(gl_FRAMEBUFFER, my_fbo)
glBindRenderbuffer(gl_RENDERBUFFER, my_renderbuffer)
return glCheckFramebufferStatus(gl_FRAMEBUFFER) == gl_FRAMEBUFFER_COMPLETE
~~~

What do you think of the new naming convention? I would convert the whole module to it.

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

contrib/nitpg: make player list more easy to read

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

contrib/nitrpg: introduce `link` service in some GameEntities

This should lighten html strings

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

contrib/nitrpg: display events in home and player page

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

contrib/nitrpg: move logging to `listener`

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

contrib/nitrpg: PlayerReactor generate events

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

contrib/nitrg: fix link to puller in `PlayerReviewsPanel`

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

contrib/nitrpg: introduce `GameEvent`

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

contrib/nitrpg: introduce Game::save_in

Also changes the Game::save documentation

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

contrib/nitrpg: also reward player for merged commits.

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

contrib/nitrpg: introduce `link` service in some GameEntities

This should lighten html strings

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

lib/standard: Updated documentation of Streams to fit new names.

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

lib/standard/stream: Renamed streams for more explicit denomination

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

model: add MProperty::is_autoinit to identify method used as initializer

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

Merge: Vim omnifunc diffentiate between types, class declaration and instanciation

The main improvement is the knowledge of constructors. They will be suggested along with their class after a `new`, ex: `new Arr`, it will autocomplete to `Array[E]`, `Array[E].with_items`, etc. It will also show their corresponding documentation.

Also detect the keywords `isa` and `as`.

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

Merge: Link boost

Follow up of #1093

This time some vft optimizations with the option `--substitute-monomorph` that replaces monomorphic trampolines with direct call.
Late-binding is implemented with *trampolines*, that are small functions that just select and jump the to right implementations.
If, at link-time, is it known that the target will always by the same implementation then all calls to the trampoline are replaced by direct calls to this single implementation.

Note that using trampolines as indirection slows down the executable.
However, it is expected that the gain of monomorphic direct-calls overcompensates the additional indirections in polymorphic trampoline-calls.

This PR first implements trampoline then build the substitute thing on it.

For times (nitc/nitc/nitc)

* default: 0m7.216s
* --link-boost: 0m7.024s (-2,7%)

Not that impressive in fact :( but anyway this PR is still required for the next round of link-time optimizations

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

fixup tramp

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

bench_engines: add `bench_linkboost` to bench --link-boost optimizations

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

sep_compiler: add alias option --link-boost

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

sep_compiler: table_send take the original entity instead of the color

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

sep_compiler: add option --substitute-monomorph to substitute monomorph trampoline calls at link-time

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

sep_compiler: optionally use a trampoline before the vft call

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

sep_compiler: SeparateRuntimeFunction save its arguments

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

lib/glesv2: add glCheckFramebufferStatus

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

lib/glesv2: add glHint

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