nitc: fix closing manifest writer when done for #1216

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

Merge: compiler: introduce and use `MType::is_c_primitive`

Thus remove all comparaison to "val*" in the code, this is cleaner.

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

Merge: Simplify management of primitive types

Add direct methods to access primitive types

Simplify and improve the generation of primitive values in the compiler.

More (and improved) `*_instance` methods are now available in AbstractCompilerVisitor.
One of the point is the simplification of the generated C so that less local variables are generated, maybe this will also help the C compiler to work faster.

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

compiler: introduce and use `MType::is_c_primitive`

Thus remove all comparison to "val*" in the code, this is cleaner.

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

compiler: introduce and use char_instance, float_instance and null_instance

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

compiler: `int_instance` and `bool_instance` return a inlined runtimevariable

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

compiler: use `bool_instance` and `int_instance` when possible

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

model: provide direct methods to access primitive types

This avoid that each module re-search class by their names

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

Merge: compiler: improve `poset_from_mtypes` used for type coloring.

Instead of doing the full matrix mtypes X cast_types, a grouping is done by the base classes of the types so that we compare only types whose base classes are in inheritance.

For nitc/nitc/nitc the result is not that bad:

before:
0m6.584s
17.605 GIr
time passed in poset_from_mtypes: 26.01% (4.579 GIr)

now:
0m5.880s (-10%)
15.088 GIr (-14%)
time passed in poset_from_mtypes: 11.72% (1.768 GIr)

In the best condition, I can now expect to compile in less than 6s.

Note that coloring is still a MAJOR issue in term of compile time since 1/4 of the Ir are used to compute coloration.

 * type_coloring: 17.23%
 * property_coloring: 9.35%

Pull-Request: #1212
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Handle signal

This PR improves slightly the handling of signal by providing better defaults.

A side effect is that this close #754

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

Merge: contrib/header_keeper: a cog in the toolchains to generate FFI wrapper for C-like languages

This is needed by @Tagachi for the Objective-C wrapper.

Once again, everything is in the doc:

### Filters preprocessed C-like header files to remove included files

This tool is used in the process of parsing header files to extract
information on the declared services (the functions and structures).
This information is then used to generate bindings for Nit code
to access these services.

The C preprocessor extends macros, inline files marked with `#include`,
and more. This tool acts after the C preprocessor, in a way to keep
everything but the included files. It searches for line pragmas
to identify the source of each line. The result is printed to stdout.

Typical usage on the output of `gcc -E` (it would be the same with `clang`):

~~~
gcc -E /usr/include/SDL/SDL_image.h | header_keeper SDL_image.h > preprocessed_header.h
~~~

This module can also be used as a library. The main service is the method `header_keeper`.

Pull-Request: #1210
Reviewed-by: ArthurDelamare <>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>

sepcomp: rename `compile_resolution_tables` as `compute_resolution_tables`

because there is no C generation, only abstract data-structures.

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

sepcomp: `do_type_coloring` can work directly with RTA results

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

sepcomp: add a missing undead type

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

compiler: improve `poset_from_mtypes` used for type coloring.

Instead of doing the full matrix mtypes X cast_types, a grouping is done by the base classes of the types so that we compare only types whose base classes are in inheritance.

For nitc/nitc/nitc the result is not that bad:

before:
0m6.584s
17.605 GIr
time passed in poset_from_mtypes: 26.01% (4.579 GIr)

now:
0m5.880s (-10%)
15.088 GIr (-14%)
time passed in poset_from_mtypes: 11.72% (1.768 GIr)

In the best condition, I can now expect to compile in less than 6s.

Note that coloring is still a MAJOR issue in term of compile time since 1/4 of the Ir are used to compute coloration.

 * type_coloring: 17.23%
 * property_coloring: 9.35%

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

lib/std/exec: `signal` will forward ^C (SIGINT) to the main program

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

comp: forward signals instead of exiting

Exit status of process distinguishes normal termination `WIFEXITED`
and signal-caused termination `WIFSIGNALED`.
Shells and other commands use this information to handle sub-commands.

Therefore, compiled programs should not, by default, terminate
their signal handler by an `exit` but should rethrow the original signal.

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

compiler: rename `show_backtrace` as `fatal_exit`

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

contrib: intro header_keeper, a cog in the toolchains to generate FFI bindings

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

Merge: lib: add `meta` as a user-level empty shell for meta-classes

Cleaning from old branches: a small useless meta-level.

The lib define meta-objects as some kind of multiton so you have a specific object to represent each class in the runtime-system (in fact each types because of genericity).

You can even define complex meta-deep hierarchy of meta-classes (with meta-loops).

The only issue is that these meta-objects are empty so basically useless (and meta-useless).

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

Merge: contrib/opportunity: prevent null receiver error

This error crashed the server 52 times in the last month.

Opportunity on xymus.net has already been updated.

Thanks to @isra17 and @ageei exec members for forging broken requests and revealing this problem.

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

Merge: Intro NitActivity an Android entry point in pure Nit, Java, and C (almost no NDK)

This PR could be described in 3 steps.

* Clean up lib/android and move up `dalvik` in the module hierarchy.
* Intro NitActivity.java (the most important commit)
* Update calculator (only) to use the new NitActivity with all its perks.

See the doc of the nit_activity module for the details on the polyglot implementation, copied hre for your convenience:

This module is implemented in 3 languages:

* The Java code, in `NitActivity.java` acts as the entry point registered
   to the Android OS. It relays most of the Android callbacks to C.
   In theory, there may be more than one instance of `NitActivity` alive at
   a given time. They hold a reference to the corresponding Nit `Activity`
   in the attribute `nitActivity`.

* The C code is defined in the top part of this source file. It acts as a
   glue between Java and Nit by relaying calls between both languages.
   It keeps a global variables reference to the Java VM and the Nit `App`.

* The Nit code defines the `Activity` class with the callbacks from Android.
   The callback methods should be redefined by user modules.

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

lib: add `meta` as a user-level empty shell for meta-classes

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

contrib/opportunity: prevent null receiver error

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

lib/jvm: fix missing import

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

examples/calculator: save and load state on request

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

examples/calculator: add services to save and load from Json

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

examples/calculator: update Android UI to latest API

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

examples/calculator: use the new nit_activity

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

examples/calculator: Makefile defines the `android-install` rule

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

lib/android: update `ui` to use NitActivity and be on the UI thread

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

lib/android: remove popup hack in `ui`

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

lib/android: intro our very own NitActivity

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

Merge: Optimize variable access in the nitvm

The first commit change the way variables are accessed in the vm.

For each method or attribute block (to init them), we recursively go into the AST to find each variable declaration in order to give them a fixed position (in the environment).
This is a small recursion since we only need to go deeper for block constructions.

During execution, the access are made by using this position instead of using the old ```HashMap[Variable, Instance]``` of the interpreter.

The second commit completely replace the frames of the interpreter to avoid allocation of these hashmaps in the virtual machine, the commit is pretty verbose but this is mainly code from the interpreter.

The overall gain is good since the vm is now faster than the interpreter :)

For the small benchmark ```nitvm src/nit.nit tests/base_simple3.nit```, we have 2.9 seconds with nitvm before.
Now, nitvm take 2.67 seconds, 2.83 for niti: 8% better.
The overall gain on a few benchmarks I made are between 5% and little more than 10% but always positive.

Pro: faster
Con: work will be required to maintain the two engines...

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

Merge: lib/string: `Int::to_s` shortcuts 0 and 1

Valgrid said it is used a lot.

So I mixed (`-m`) nitc with the following module

~~~nit
import counter

redef class Int
redef fun to_s
do
sys.itos_cpt.inc(self)
return super
end
end

redef class Sys
var itos_cpt = new Counter[Int]
redef fun run
do
super
itos_cpt.print_summary
itos_cpt.print_elements(10)
end
end
~~~

The result shows that `0` and `1` are the top `to_s`-ized numbers.

~~~
  0: 13554 (9.29%)
  1: 10012 (6.86%)
  2: 5671 (3.88%)
~~~

So I just shortcut-them to reduce allocations.

With nitc/nitc/nitc:
before: 0m6.756s
after: 0m6.632s (-2%)

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

Merge: Enable tagging of primitive types

Another old optimization since it was present in PRM, the Australopithecus compiler.

This PR bring back tagging of the primitives types Int, Bool and Char.

Previously, all primitive types where boxed.
It means that when a Bool, or any primitive object, must be manipulated in a polymorphic way (i.e. as an Object in a `val*`), a small box is allocated that contain the value and the reference (the `val*`) points to the box.
The boxes use the layout of real objects (with a pointer to the class table and everything) so that boxes are compatible with the various implementation of OO mechanism, eg `obj->class->vtf[METHODID]` to implement a method invocation.

Basically boxes work like Java auxiliary classes (eg. `Integer`) except that they are fully transparent for the user and, more important, a implementation detail unrelated to the specification of the language.
Therefore, one can provide a different implementation, like tagging, without worrying about breaking the specification and existing programs.

The principle of tagging is that `val*` values are overloaded to store primitive value in addition to genuine pointers to allocated object.
The two low bits of the `val*` (so 4 combinations) is used to distinguish if the value is a real pointer (in this case, bits are 00) or one of the masqueraded common type (Int, Bool and Char).
If it is a pointer there is nothing to do and the value can be used as is.
If it is a primitive value, then the real value is stored in the remaining bits (but shifted).
The trick works because allocated objects are aligned so that pointer of genuine allocated object have always their last two bits at 00.

The advantage of tagging is that this reduces the cost of manipulating primitive values in a polymorphic way, especially this reduce the numerous allocations of short lived boxes that is slow to do and increase the workload of the GC.
By comparison, with tagging, masquerading a Bool as a `val*` is easily done with few bit-to-bit operations.

Unfortunately, tagging is not a panacea since `val*` is not always a real pointer and require specific and additional protection to avoid doing `obj->class` in the case of `obj` is in fact a tagged value.
Therefore tagging add a minimal but systematic overhead to OO mechanisms like calls, type tests and equality tests.

After quick tests, the numbers are encouraging.

For nitc/nitc/nitc:
before: 0m6.796s
after: 0m6.452s (-5%, not that bad)

Benches where run and tagging was either comparable or better than systematic boxing:


Especially `lib/ai/examples/queens.nit` get the best of it with a -20% improvement.
That make sense because it use arrays of integers to model the states of the n-queen problem. And unfortunately arrays are implemented in a homogeneous way where elements are always polymorphic `val*` values.
Once generics and collections are implemented in an heterogeneous way for primitive types, the benefit of tagging should be reevaluated.

Note: funnily, the main commit of the series, the one that implements tagging, is only made of insertions of lines (no deletion or changes) and it only modifies a single file.

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

Merge: Derive all the things

This PR is crazy and inspired by https://github.com/privat/nit/pull/1202#discussion_r26359435
Basically, you will find here some hackish user-level pseudo meta-programming with optional unsafe support from the execution engines trough injection of code in the AST.

The idea is a generalization (and a basic simplification) of the approach or @xymus for serialization.
If fact, there is 2 level of generalizations.

In the compiler, a new phase `deriving` offers a static deriving mechanism. For instance, the annotation `auto_inspect` will implements the `inspect` method with a simple recursive inspection of attributes.

In the standard library, a new module `deriving` offers a general mechanism with a new standard `derive_to_map` method that is expected to dump attributes in a simple HashMap.

This basic low-level method is used to provide user-defined deriving methods.
For instance, the module provide basic derived implementation of `==`, `to_s` and `hash` in pure Nit at the user-level.

Moreover, the compiler phase `deriving` is extended to provide `auto_derive` that statically implements `derive_to_map`

Here an example from the code:

~~~nit
class A
   auto_derive
   super DeriveToS
   var an_int: Int
   var a_string: String
end

var a = new A(5, "five")
assert a.to_s == "an_int:5; a_string:five"
~~~

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

Merge: Nitunit works with groups and markdown files

A lot of work but quite straightforward. Nit can be a really nice language when doing maintenance of old code.

The first part ot the PR updates the nitdoc to test documentation of groups (as requested by #1201)
The second part of the PR (I planned to do 2 PR but the second was more easy to do than expected) makes that nitunit can also process sand-alone markdown files (documentation, wiki pages, etc.).

Example:

~~~
-- foo/
   |-- README.md
   `-- foo.nit
~~~

~~~sh
# to test all entities of a module (classes, methods, etc.)
$ nitunit foo/foo.nit
# to test all entities of a group (the group and all its modules)
$ nitunit foo
# to test a given markdown file
$ nitunit foo/README.md
~~~

Close: #1201

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

Merge: Document Nit Serialization

The Nit serialization system did not have any documentation. This is the base to a better documentation.

In a next PR I may make more services of the serializers private. Implementations, such as json_serialization, will need to intrude import serialization. However, the end-user will only see the basic services.

Pull-Request: #1202
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Philippe Pépos Petitclerc <>
Reviewed-by: Frédéric Vachon <fredvac@gmail.com>

benches: add --no-tag-primitive

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

man: document --no-tag-primitive

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

errasurecomp: disable tagging of primitives to not break the tests

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

sepcomp: implement tagging of primitive types

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

sepcomp: introduce `class_info` to protect the access to the class struct

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

tests: add test_deriving

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

lib/deriving: new module `deriving` with basic interfaces

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

frontend: new phase `deriving` to derive things

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

neo: save location of mdoc objects

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

man: update documentation of nitunit with groups and markdown files

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

tests: add test_nitunit_md.md to test nitdoc with markdown file

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

nitunit: can work with markdown files in parameters

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

loader: add `filter_nit_source` to help tools to manage non-nit arguments on their command line

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

loader: `load_module` error message distinguish non-existing file from invalid file

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

loader: can load a markdown file as a MDoc

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

tests: add test_nitunit3 for nitunit on groups

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

nitunit: run nitunits for documentation of groups

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

nitunit: work with `mdoc` instead of `ndoc`

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

nitunit: `NitUnitExecutor::mmodule` can be null

Standard is then implicitly imported

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

nitunit: factorize file creation and compilation for docunits

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

android: declare Activities for the manifest in an annotation

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

lib/android: the dalvik module is higher in the importation hierarchy

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

lib/android: fix typos in the dalvik module

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

lib/android: clean up whitespaces in native_app_glue

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

lib/jvm: clean up, add doc and make private stuff private

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

lib/string: `Int::to_s` shortcuts 0 and 1

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

tests: update expected errors in serialization tests

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

tests: Object is an interface

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

nitvm: The interpreter and the vm have each their own specialized frames

The class Frame is now abstract

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

niti: Introduce a method to create and initialize a Frame

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

niti: Introduce and use a virtual type for the frames

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

nitvm: The local variables are numbered

The access to them is made by their position in this array

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

Merge: Better Vim documentation on classes (with special attention to the doc of Container)

Calling Nitdoc() or Ctrl-D on the word `Container` will now display the following in the preview window.

~~~
# standard::Container[standard::Container::E]

A collection that contains only one item.

Used to pass arguments by reference.

Also used when one want to give a single element when a full
collection is expected

## Class hierarchy
* Direct super classes: Collection
* All super classes: Collection, Object
* Direct sub classes: ListNode
* All sub classes: ListNode

## Properties
+ count(item: E): Int  # How many occurrences of `item` are in the collection?
+ first: E  # Return the first item of the collection
+ has(item: E): Bool  # Is `item` in the collection ?
+ has_all(other: Collection[E]): Bool  # Does the collection contain at least each element of `other`?
+ has_exactly(other: Collection[E]): Bool  # Does the collection contain exactly all the elements of `other`?
+ has_only(item: E): Bool  # Is the collection contain only `item`?
+ is_empty: Bool  # Is there no item in the collection?
+ item: E  # The stored item
+ item=(item: E)  # The stored item
+ iterator: Iterator[E]  # Get a new iterator on the collection.
+ join(sep: Text): String  # Concatenate and separate each elements with `sep`.
+ length: Int  # Number of items in the collection.
+ rand: E  # Return a random element form the collection
+ to_a: Array[E]  # Build a new array from a collection
~~~

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

lib/json_serialization: clean up

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

lib/serialization: make `serialize_reference` protected

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

serial_ref

lib/serialization: revamp documentation of default module

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

lib/serialization: add README.md

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

lib/serialization: make into a group

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

lib/standard: forgot to provide `Map::hash` when `Map::==` was implemented

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

model: add `MDoc::location`

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

location: handle `Loation::line_start` of 0 as a special case for the full file

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

Merge: lib/noise: fix gradient_vector to return a unit vector

This was an error in the previous implementation. It will now produce noise with a better/greater amplitude so they are... noisier.

The sample result of InterpolatedNoise shows that it now uses the full amplitude, from 0 to f. The sample result of PerlinNoise uses 1 to d, which is a reasonable portion of the full amplitude of 16 considering that it uses only 4 layers and thus the real amplitude is of 15 (8+4+2+1).

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

Merge: tests: add bench_strfib.nit

A simple program that recursively build and concatenate strings.

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

Merge: mnit tileset and numbers

Features from WBTW, used mainly to set the size of in-game hints and events boxes.

These modules are for Mnit but will be ported to Gamnit someday...

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

lib/noise: fix gradient_vector to return a unit vector

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

lib/numbers: remove `NumberImages` constructors for spec and to make it public

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

lib/tileset: fix typos in doc

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

lib/tileset: intro `TileSetFont::text_width`

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

lib/tileset: intro `TileSetFont::text_height`

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

lib/tileset: intro `TileSetFont::advance`

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

tests: add bench_strfib.nit

A simple program that recursively build and concatenate strings.

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

Merge: Noise generators: Perlin and interpolated

Intro the PerlinNoise generator and the underlying (but independent) InterpolatedNoise, with some related services.

The rosetta code Perlin noise example (in 3D) is for comparison to my implementation in `lib/noise.nit` in (2D). We do not get the expected result with this implementation, 0.13691995878400010 vs 0.13691995878400012. It may be an error in the implementation of `Float.to_precision`... this will require further investigation.

The optimized `SequenceRead::rand` is a bonus! it is not used in this PR.

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

vim autocomplete: fix `MDoc` used for classes

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

vim autocomplete: doc of classes list properties and class hierarchy

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

vim autocomplete: rename `write_to_stream` to `write_doc` with more arguments

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

src/model: remove extra } from `MGenericType::to_s`

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

lib/collection: fix doc of the popular `Container`

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

misc/vim: nitdoc function search for a precise word

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

Merge: Abstract attribute

Add the annotation `abstract` on attributes.

It is just a syntactic sugar to define a couple of abstract getter-setters with a shared documentation without an associated slot in the instance so it can be used in interfaces.

~~~nit
interface Foo
var a: Object is abstract
end

class Bar
super Foo
         # A concrete attribute that redefine the abstract one
redef var a
end

class Baz
super Foo
var real_a: Object
         # A pair of concrete methods that redefine the abstract attribute
redef fun a do return real_a
redef fun a=(x) do real_a = x
end
~~~

The visibility rules are unchanged with regard to concrete attributes, so by default the writer is private.

Needed cleaning (and a bugfix) are included in the PR

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

Merge: Faster buffers

Make flatbuffers a little faster on substrings

for nitc/nitc/nitc
before: 0m7.168s
after: 0m7.068s (-1.4%)

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

lib/stream: BufferedReader return the buffer if less than asked to read

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