mksrc: remove --stacktrace

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

man: document `--no-stacktrace` and `NIT_NO_STACK` in nitc.1

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

compiler: replace the option `--stacktrace` with a simpler `--no-stacktrace`

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

compiler: protect the stacktrace-aware C code with the preprocessor

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

compiler: generate C stacktrace-awareness iff the platform supports it

Do not rely on the option `--stacktrace`,
so that the decision to uhave them could be deported at the C compile-time

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

Merge: introduce plain_to_s

In order to have a more POLA `to_s` on collections, it is required that a new method with the old behavior is provided for clients that need it (especially the interpreter that use it for superstrings).

the compiler use `native_to_s` for superstrings but `c_src/nitg` still use `to_s` on array, so a regeneration of the bootstrap is required before changing the behavior of `to_s` on collections.

Pull-Request: #1385
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Blondin Massé <alexandre.blondin.masse@gmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

tests: update sav/nitserial_args1.res because change in RTA

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

lib/standard/string: introduce (an use) `plain_to_s`

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

Merge: Nitg-g new NativeArray fix

This is a bug that was discovered during the push of #1403.

What happens is that since NativeArrays work only with boxed values, the copy_to operation could write data beyond its intended boundaries, hence corrupting random memory.

If you execute the test bundled with the PR, on my machine, with `--hardening` on, you get this error:
`BTD BUG: Dynamic type is Sys, static type is Array[Byte]`

What happens here is that the `dest` of the `memmove` was in a emplacement before the `Array[Byte]` itself, due to its length and because the `memmove` used val* as sizeof value, it rewrote the classid of `self`, hence changing its dynamic type effectively from `Array[Byte]` to `Sys`, which produces the typing bug.

If left too long to execute, or in an unlucky memory layout, it simply segfaulted.

The behaviour of NEW_NativeArray henceforth is that it will reserve space for n `val*` instead of the `ctype` of the values.

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

Merge: Annotation lateinit

#857 introduced `autoinit` on attributes that has a default value to initialize them latter.

This is a rarely used feature. It is also not POLA because it overloads the name `autoinit` that has a different meaning on methods cf #1308.

Thus in order to polaize the spec, the annotation is renamed `lateinit`. So close #1308.
Note: maybe the annotation will just be removed in a future PR, this one is a last attempt to keep it.

Related to #1322; required by #1311

Pull-Request: #1409
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Advice on useless repeated types

With this PR, nitpick and other tools are able to suggest to remove useless types in signature redefinition with the option `-W`.

Example:

~~~nit
class A
fun foo(a: Bool) do end
end

class B
super A

redef fun foo(a: Bool) do end
end
~~~

~~~
$ nitc test.nit -W
test.nit:8,19--22: Warning: useless type repetition on parameter `a` for redefined method `foo` (useless-signature)
redef fun foo(a: Bool) do end
                 ^
Errors: 0. Warnings: 1.
~~~

Pull-Request: #1373
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

tests: Basic test for the allocation of NativeArray with short native values

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

nitg-g: Fix allocation of NativeArray

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

tests: fix tests with repeated types warnings

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

Merge: contrib/header_static: a cog in the toolchains to generate Objcwrapper

### Filters preprocessed C-like header files to remove static code and keep their signatures.

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 header sometimes contains static code. It deletes static code of
headers, but keep their signatures. This tool is an extension of
header_keeper. It searches the keyword static to identify
the static code, and ignore the code into their brackets. The result is
printed to sdtout.

~~~sh
cat Pre-Processed/CGGeometry.h | header_static Pre-Processed/CGGeometry.h > Pre-Processed/static_header.h
~~~

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

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

Merge: nitdoc: introduce useful services

Some services needed for next PRs

No diff to HTML output

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

lib/json: remove useless types

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

lib/nitcorn: remove useless types

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

lib/socket: remove useless types

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

lib/template: remove useless types

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

lib/string_experimentations: remove useless types

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

lib/curl: remove useless types

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

lib/sqlite: remove useless types

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

lib/geometry: remove useless types

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

lib/neo4j: remove useless types

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

lib/sax: remove useless types

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

lib/standard: remove useless repeated types in `standard`

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

tests: test advice for useless repeated type in redef

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

model: check useless repeated types in signatures

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

nitpick: fix a typo in comments

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

nitdoc: check multiple page with same id

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

nitdoc: introduce `Page::title` and `Page::id` in `doc_base`

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

nitdoc: introduce `mentities_by_namespace` lookup service in DocModel

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

nitdoc: introduce `mentities_by_name` lookup service in DocModel

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

Merge: Correct warn on noautoinit

Move the analysis of the class annotation `noautoinit` after the inheritance of initializers so the warning is correct, thus fixes #1350

The main commit is mainly moving the code in the same method.

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

Merge: Rename the visit function of minilang example.

This PR rename the visit function of the ```minilang.nit``` file. The previous name was incoherent with the module purpose.

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

Merge: Use self in the FFI

As requested by everyone, replace the id `recv` by `self` in all Nit FFIs, and their users.

This PR must be integrated before regenerating c_src and using the light FFI in bootstrap critical code.

There is a few commits to update the style of files that caused white space errors.

Pull-Request: #1399
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Jean-Philippe Caissy <jpcaissy@piji.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: Improve internal mechanisms of the nitvm

This PR fixes a bug that was hidden in the nitvm for a too long time, the recursion in class loading was bad and is now corrected.

Then a more accurate mechanism is introduce to deal with positions of methods and attributes in internal structures of classes and objects.
When a method dispatch is performed, this mechanism allows to ask precisely for a class the position of a block of methods (or attributes). This should increase the proportion of object mechanisms "compiled" in an efficient way.

Finally, the class loading is optimized: an indirectly loaded class is not fully constructed and allocated.
Instead, its identifier is computed to allow subtyping tests.

For now, these more accurate mechanisms need recompilations of callsite. This sould be done in further PR.

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

Merge: Markdown location

Introduce location in markdown parser so tools can easily retrieve the original position of a block or a token in the input file/string.

Commits:
* 2d139eb introduces de Location concept and update the parser
* fda150d isn't interesting since it only update signature in the test file
* dacc7ba adds some test suites for the locations

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

Merge: contrib/header_static: a cog in the toolchains to generate Objcwrapper

### Filters preprocessed C-like header files to remove static code and keep their signatures.

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 header sometimes contains static code. It deletes static code of
headers, but keep their signatures. This tool is an extension of
header_keeper. It searches the keyword static to identify
the static code, and ignore the code into their brackets. The result is
printed to sdtout.

~~~sh
cat Pre-Processed/CGGeometry.h | header_static Pre-Processed/CGGeometry.h > Pre-Processed/static_header.h
~~~

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

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

tests: update tests for lateinit

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

modelize: rename annotation `autoinit` on attributes as `lateinit`

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

tests: add alt to base_init_autoinit3 to check warning on `noautoinit`

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

modelize: `noautoinit` check inherited initializes before warning

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

contrib/header_static: a cog in the toolchains to generate ObjCwrapper

Signed-off-by: Arthur Delamare <arthur.delamare@viacesi.fr>

Fix incoherent name function in minilang

Signed-off-by: Mehdi <overpex@gmail.com>

Merge: sepcomp: fix hardening related to the instantiation of dead types

The bug was revelated by #1385

Pull-Request: #1402
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: `Int::times`: clean nitunit and expose negative behavior

I tried to use `Int::times` but the nitunit wasn't clear enough on the expected behavior.

Thanks at @BlackMinou for is moral support on this.

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

Merge: Rename all REAMDE to README.md

Close #1382

Pull-Request: #1383
Reviewed-by: Alexandre Blondin Massé <alexandre.blondin.masse@gmail.com>
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: Intro an unrolled linked list, and fix `List::insert`

An unrolled list is a sequence implemented by a linked list of arrays.

I use this list for a very long FIFO. `Array::shift` is very slow and a large `List` can create too many small nodes for the GC.

The test compares the behavior of `UnrolledList` with `List` on random data sets. It allowed me to find a bug in `List::insert`.

Pull-Request: #1379
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Binary/Octal literal Ints

For long now we could express an `Int` in both decimal and hexadecimal form, however binary and octal forms were lacking.

This PR fixes it.

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

tests: remove utf_noindex_tests

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

tests: update expected results of nitpretty on the FFI

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

lib: update more libs to use `self`

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

tests: update tests using the FFI

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

lib/mongodb: fix invalid FFI code

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

lib: update other libs to use `self` from C and C++ code

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

lib/java: update to use `self` from Java code

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

lib/standard: update to use `self` in C code

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

lib/standard: update style of doc and fix whitespace in `bitset`

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

lib/ios: update Objective-C code to use `self`

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

lib/cocoa: update Objective-C code to use `self`

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

lib/gtk: update to use `self` from C code

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

lib/android: clean up whitespace errors in `bundle`

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

lib/android: update to use `self` in Java code

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

nitvm: Optimize the loading of classes

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

nitvm: Deleting absolute offset for properties

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

nitvm: Optimizing subtyping tests with new mechanisms

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

nitvm: The positions of methods and attributes are now more accurate

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

nitvm: Bug fixe in the recursion of class loading

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

sepcomp: fix hardening related to the instantiation of dead types

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

Rename REAMDE to README.md

And a small whitespace fix

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

tests: update sav of nitserial to latest changes

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

lib/android: fix style of `shared_preferences_api10|11.nit`

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

examples: fix style of FFI examples

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

examples: update FFI examples to use `self`

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

contrib: update contribs to use `self` in FFI

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

contrib/jwrapper: generate FFI code using `self`

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

src: update Java and C++ FFI to use `self`

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

src: update core FFI to use `self` instead of `recv` in C

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

tests: Added tests for literal bases

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

src/literal: Support for the new binary and octal literals

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

src/parser: Regenerated parser

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

src/parser: Updated grammar and parser_nodes

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

lib/standard/string: Added to_oct and to_bin functions to Text

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

Merge: Binary over network

Add services to write strings in binary streams and better support for binary in network modules.

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

Merge: nitx: finish migration to new nitdoc architecture

`nitx` is now part of the `doc` group using the same architecture as `nitdoc`.

This PR also add two new features:
* locate calls to a MProperty
* search pieces of code

Fixes #262

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

Merge: Nitiwiki next

Some fixes for `nitiwiki`.

Preparing for nitlanguage.org migration from ikiwiki to nitiwiki.

Pull-Request: #1367
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Apply serialization in calculator, a_star, more_collections, Couple and Container

Use `auto_serialize` in the calculator example, and remove the old custom JSON serialization.

The `a_star` module needed special care and could not rely only on `auto_serialize`. This was to avoid serializing graphs as a deep tree, instead we serialize the nodes first, then the links and we rebuild the graph at deserialization.

Besides that, more collections support the serialization.

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

Merge: File and Bytes

A bit of a fix in the context of issues #1267 and #1262.

The bytes module has a `ByteBuffer` class, while it is still working with `Int` at the moment, when Nit correctly supports `Bytes`, we can change it to a real `ByteBuffer`

This class is highly recommended when working with byte streams and collections.

As such, file operations are related to this module since most of the operations are working on bytes, what they mean is up to the end-user to figure.

Pull-Request: #1309
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

lib/markdown: add MDLocation tests

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

lib/markdown: fix tests

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

lib/markdown: introduce MDLocation

MDLocation is defined on MDBlocks and Tokens to help tool retrieve the location of an element in the original input.

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

range: better nitunit on `Int::times`

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

lib/serialization: intro the shortcut `CachingSerializer::link`

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

lib/serialization: intro DuplexCache

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

lib/serialization: extract caches from json_serialization

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

tests: test UnrolledList

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

lib/more_collections: intro `UnrolledLinkList`

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

range: remove white space in license

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