misc/vim: use case insensitive search for entity names

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

vim autocomplete: always write generated doc to metadata files

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

misc/vim: add a function to search for instances of the word under the cursor

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

misc/vim: add a function to show the doc of the entity under the cursor

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

misc/vim: extract the service to find metadata files from the omnifunc

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

Merge: Optimize nitc

Some minor optimizations after looking at reports of valgrind.

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

Merge: Reuse Array Iterators

on nitc/nitc/nit this reduce a lot the number of allocated iterators.

before:

* 0m7.168s
* 2,706,498 new ArrayIterator
* the second most allocated class (after NativeArray)

after:

* 0m7.060s (-1.5%)
* 785,781 new ArrayIterator (-70%)
* the 7th most allocated class

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

Merge: More lazyness in standard

Make lazy some attributes of often used classes. So that the attribute creation cost only when they are really used.

More impact that initially imagined:

for nitc/nitc/nitc
before: 7.188
after: 7.008 (-2.5%)

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

Merge: Autosuperinit in refinements

Remove an old FIXME for compatibility with the old nitc that prevents the inclusion of autosuperinit calls in refinements.

Close #1186 (thus bring back the the feature from #916)

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

Merge: Extends chars, string and stream with some whitespace-related function

While thinking about the remaining task of #466 (simple parsing), I though that there useful functions where missing in order to have a sane `Reader::read_word` method

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

tests: update test_new_native_alt1.res because line change

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

lib/poset: avoid useless call of `to_a` in `add_edge`

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

compiler: do not initialize attributes at NULL in NEW_*

is is already done by the zeroing

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

lib/array: remember the last used iterator so it could be used again

on nitc/nitc/nit this reduce a lot the number of allocated iterators.

before:

* 0m7.168s
* 2,706,498 new ArrayIterator
* the second most allocated class (after NativeArray)

after:

* 0m7.060s (-1.5%)
* 785,781 new ArrayIterator (-70%)
* the 7th most allocated class

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

astvalidatior: small refactorisation to make it more efficient

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

phase: do not display the each phase for each module

it is noise at this point

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

tests: update sav/nituml_args*.res because the new method `is_whitespace` in Char

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

stream: add `read_word` and `read_nonwhitespace`

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

string: add `is_whitespace`

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

string: update *trim to use `is_whitespace`

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

lib/map: make concrete `Map.keys` and `Map.values` lazy

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

lib/map: document `Map.has_key` and implement it efficienlty

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

lib/string: make FlatString#chars lazy

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

lib/file: make stdin, stdout and strerr lazy

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

lib/file: move the call of `stdout.set_buffering_mode` to Stdout

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

tests: add base_init_raf2.nit

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

autosuperinit: remove old FIXME that prevented autosuperinit in redefs

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

autosuperinit: verbose info for debuging

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

parser: fix default init for ALabel and ASelfExpr

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

Merge: compiler: fast path is the hot path in once and literal strings

`once` structure and literal strings are implemented with a guard so that
onced-expression and literal strings are evaluated/created once then
stored in a static variable.

This patch just informs GCC that the fast path (get the saved value)
it the frequent path. It's up to GCC to do something useful with this
information.

It seems it does since number for nitc/nitc/nitc are

before: 0m7.324s
after: 0m7.156s (-2.3%)

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

Merge: Inline intern methods in standard objects

Those in primitive types where already inlined, this time it is the ones in Object, NativeArray and other.

A special case remain for `object_id` since the value in standard objects is redefined in primitive type.
So this one is not inlined.

The gain in nitc/nitc/nitc is less that I expected but not that bad.
before: 0m7.276s
after: 0m7.100s (-2.5%)

Bonus: an old bug related to native arrays in --semi-global related to inlining is also fixed.

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

Merge: Introduce Cloneable interface

As exposed by #917 a standard API to clone objects could be useful.

This PR propose a Cloneable interface that class can implement.
The specif semantic of what a clone is is domain-dependent, the only suggestion I define is to be POLA and to consider the post condition `self == clone`. It seems sane since the precise semantic of `==` is also domain-dependent. The post-condition is not mandatory since not all classes redefines `==` and maybe some classes could be cloneable without being `==`-able. The reason is that `clone` is instantaneous but the semantic `==` should remain valid all the time. For instance, It could make sense to clone some Iterators but I am not sure what is a sane definition of `==` on them.

As a POC, clone is implemented is the three Array-related classes, Array, ArraySet and ArrayMap.

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

compiler: fast path is the hot path in once and literal strings

`once` structure and literal strings are implemented with a guard so that
onced-expression and literal strings are evaluated/created once then
stored in a static variable.

This patch just informs GCC that the fast path (get the saved value)
it the frequent path. It's up to GCC to do something useful with this
information.

It seems it does since number for nitc/nitc/nitc are

before: 0m7.324s
after: 0m7.156s (-2.3%)

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

version 0.7.2

tests: update because changes in kernel and array

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

lib/array: Array, ArraySet and ArrayMap are cloneable

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

kernel: new interface `Cloneable` to provide a `clone` method

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

tests: remove nitg-sg/fixme/test_gen.res because native arrays is fixed

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

sepcomp: shortcut an inline most intern methods of Object

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

sepcomp: extract `direct_call` from `compile_callsite`

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

sepcomp: fix compilation of NativeArray[] in an inlined context.

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

kernel: add Char::is_whitespace

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

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>

collection: implements `MapRead::==`

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