nitvm: Generation of basic blocks from an AST

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

nitvm: Class Basic block for preparing SSA

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

example: add 24 game task of Rosetta code

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

Add some collections for java/collections.nit

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

Merge: Opportunity: Adds total number of participants to a meetup

As requested in #1431, this PR adds the total number of participants in a Meetup, as a number aside from the Total, like:

`Total(nb)`

Closes #1431

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

Merge: Floats in exponent notation

As a new addition to the parser, as requested in #1261, literal floating-point values in exponent notation.

Pull-Request: #1427
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: Portable stack-traces

Most detection of the availability of libunwind and the flags to use is moved at the C compilation time (in the Makefile) instead at the Nit compilation time.

Moreover, if libunwind is not available, then stacktraces are just disabled (instead of aborting).

Another advantage is that the generated C is more portable and can be compiled in a different system.
Thus, this will help cross-compilation and should even enable the bootstrap on libunwind-less system like raspberrypi once c_src is regenerated (cf #1149).

The option `--stacktrace` is also replaced with a simpler `--no-stacktrace` for people that want to disable it completely at C-compile time.

Close #1357 and an item in #864.

Pull-Request: #1419
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: Loose Tokens

Another step to simplify the clients of AST: loose tokens.

Some tokens, correctly lexed by the lexer, are discarded by the parser because of (thanks to?) sablecc transformations. Mainly comments and new-lines (EOL) are lost but some other tokens might be also discarded (currently, commas and dots are still lost).

Previously, the full sequence of tokens can still be accessed trough `next_token` and `prev_token` but this mean that tools like nitprettty and nitlight have to maintain two cursors, one on the AST and one on this linked list of tokens and try to keep these two cursors synchronized.

This PR names the concept of *loose* tokens that are lexed tokens but absent from the AST, and attach to each (non-loose) token in the AST a list of loose tokens that precede it (`prev_looses`) and that follow it (`next_looses`).
This way, a visit on the AST can be used to also easily process all the tokens from the source.

Future PRs will try to use this new thing to improve/simplify/whatever nitpretty and nitlight.

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

mksrc: remove --stacktrace

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

tests: update error message when module not found

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

tests: add base_do_block.nit

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

frontend: warn useless `do` blocks

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

loader: teach it to search in src subdirectories

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

loader: add contrib to the default path of projects

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

loader: use join_path to search the lib directory

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

parser: ComputeProdLocationVisitor also compute *_looses tokens

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

parser: the parent of EOF is Start

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

parser: ComputeProdLocationVisitor remember the last token instead of the location

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

parser: add `is_loose`, `prev_looses` and `next_looses`

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

fixup loos in nodes

tests: Updated test_float for new literals

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

parser: Regenerated for new floats

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

parser: Updated to support float with exponent part

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

Opportunity: Adds total number of participants to a meetup

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

Merge: Manage errors on reading binary data

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

Merge: Better error handling in Socket

Errors on both finding a host by its name and on connection are reported with all available details as an `Error`.

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

Merge: Fix for Android

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

Merge: Native Types

Since we plan on conforming with UTF-8, chars can no longer be of C char type, this PR changes the internal representation of a Char to become capable of holding an arbitrary Unicode code point.

Since chars become unsigned entities, and since NativeString will hold Byte values soon, its c type has been changed to unsigned char* as preparation for the migration

This is all related and necessary for #1262.

Pull-Request: #1407
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-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>

lib/binary: document behavior when reading binary data with a pending error

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

lib/binary: protect `read_string` from stream errors

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

lib/binary: redirect 32 bits endianess functions on Android

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

lib/mnit_android: fix `Int::next_pow`

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

lib/socket: set `last_error` on connection failed

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

lib/socket: set `last_error` on failed hostname lookups

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

lib/socket: intro `HErrno::to_s`

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

lib/socket: wrap h_errno to report error on gethostbyname

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

lib/socket: move gethostbyname to Sys and use light FFI

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

compiler: Changed types of Char to uint32_t and NativeString to unsigned char*

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

Merge: Correct scope in assert else

Easy fix in scope.nit, most of the time was spend writing the test file.

Close #1422

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

Merge: nitx: add hierarchy lookup commands

This PR introduce 4 commands to explore class hierarchies:

* `parents:` for direct parents
* `ancestors`: for all inherited classes
* `children:` for known direct children
* `descendants:` for all the known descandants classes

Also fixes #1420

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

Merge: Removed intern dependencies from abstract to flat strings

As @privat suggested, here's the PR that cleans the abstract Text class of the string block, this will serve as prelude for the integration of #1400

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

lib/standard/string: Added new factory to Buffer abstract class

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

lib/standard/string: Removed flatten method on String, was never used

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

version 0.7.5

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

lib: add module date

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

nitvm: Allow to set some attributes in Variable class

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

tests: add base_scope.nit

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

scope: the `else` of the assert is a scoped block

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

Merge: Kill `model_utils`

This PR removes the so hated module `model_utils`:

* Useful services are kept in a new module `model::model_collect` that allows to collect and filter things from a `Model`.
* Clients are migrated from `model_utils` to `model_collect` one by one. Misc functionalities used only by one client are moved in the client.

Fixes #710

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

nitx: add hierarchies commands

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

nitx: display MEntitiesListArticle in console templates

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

nitx: make help message prettier

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

nitx: make console composites use `doc_base` titles

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

nitx: introduce `cs_short_list_item` template

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

Merge: Fix reading from Sockets

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

Merge: Clean nit compilation directory

This PR cause the compilation directory to be removed after compilation.

This auto-removal is disabled if `--compile-dir` or `--no-cc` is used because it is a sane default I think.
Moreover, the compilation directory is renamed by defaut to `nit_compile` because there is no more point to make it hidden since its presence means an active request (`--no-cc`).

The PR is a bit premature since the boostrap will fail since `rmdir` requires the light FFI, so it is planned to be merged after the regen of c_src.

Close #792

Pull-Request: #1415
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>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: Warn call on nullable receiver

Followup of #1375 and #394

This introduce an advice on calls on a nullable receiver.
Since the conversion could be complex, I propose a light approach with advices (quiet warnings) instead of hard errors, so that:

1. jenkins can track them
2. nitpick (thus vim) can show them
3. mirgration can be done in an incremental and iterative way
4. issues with a strict call-on-nullable policy can be identified without breaking things
5. @Morriar can bank nitcoins in future PR

If (when?) all call on nullable can be removed, then the advice will become an error.

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

Merge: modelize: ask that attributes in refinements are either noautoninit or have a value

Without value, attributes in introductions does not have the same semantic that attributes in refinements

In introduction attributes are implicitly `autoinit`, in refinements they are `noautoinit`.

This is not POLA since

* this confuse beginners
* readers have to remember if they are in an intro or a refinement
* aditionnal cognitive fragility in constructors (more cases and rules to take in account)

This PR make `autoinit` the default and ask that attributes declared in refinement are either annotated `noautoinit` or have a default value.
This way, the writer has to think about the implication of adding a new attributes in existing classes, especially to think about their initialization. Thus this could help the programmer to avoid bad error.

For the moment, I just display a warning because I want to wait for feedback before doing a big migration (or doing nothing if people hate that), I also want to use jenkins to count and locate these new warnings.

Related to #1322

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

Merge: Byte literals

As discussed in #1370, the `u8` suffix has been chosen for Byte literal values, this PR introduces it in the compiler

NOTE: Depends on #1403 for integration

Pull-Request: #1410
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: Byte data type

As discussed in #1267, we need a Byte data type to manipulate low-level data as numerics instead of how it is done for now using chars.

This PR will serve as base for future updates, notably related to #1370 which will introduce a way to express Bytes in their literal form.

Pull-Request: #1403
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: Serialization: change annotation to `serialize` and intro `noserialize`

The annotation `serialize` replaces `auto_serialize` and it is also more versatile. It can annotate a module so all its class definitions are serializable. It can also annotate an attribute so only this attribute is serialized.

The `noserialize` annotation is for exceptions to `serialize`. The most common case is to mark as non-serializable an attribute such as a password or a data blob.

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

Merge: Introduction of convex polygons in geometry + benchmarks

Nit implementation of the convex polygon data structure.

It's based on the java implementation done during the data structures course.

There also are benchmarks for the Nit implementation and the Java implementation to compare them

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

Merge: nitdoc: refactoring and cleaning

Now that nitx and nitdoc are fully merged with the same structure and services, we can start the refactoring to limit the differences between both tools.

Note that the first four commits are from #1401.

Demos from [Jenkins::CI-nitdoc](http://gresil.org/jenkins/job/CI-nitdoc):
* [Standard library](http://gresil.org/jenkins/job/CI-nitdoc/ws/doc/stdlib/index.html)
* [Nit compilers and tools](http://gresil.org/jenkins/job/CI-nitdoc/ws/doc/nitc/index.html)

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

nitx: do not call `perform` on nitx special commands

Fixes #1420

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

nitdoc: fix typo in `doc_poset` comment

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

nitdoc: simplify DefinitionListArticle

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

nitdoc: remove useless class ImportationListSection

This class was used to customize the generation of this particular section and limit the diff with the original nitdoc output.

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

nitdoc: remove useless class InheritanceListSection

This class was used to customize the generation of this particular section and limit the diff with the original nitdoc output.

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

nitdoc: remove useless class IntrosRedefsSection

This class was used to customize the generation of this particular section and limit the diff with the original nitdoc output.

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

nitdoc: fix typo in `DefinitionListArticle` comment

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

nitdoc: remove useless class ConstructorsSection

This class was used to customize the generation of this particular section and limit the diff with the original nitdoc output.

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

nitdoc: remove useless class ProjectsSection

This class was used to customize the generation of this particular section and limit the diff with the original nitdoc output.

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

nitdoc: factorize list article into `MEntitiesListArticle`

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

nitdoc: move `DocComposite::is_toc_hidden` to `doc_base`

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

nitdoc: introduce `DocComposite::is_hidden` services in `doc_base`

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

nitdoc: move `DocComposite::toc_title` in `doc_base`

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

nitdoc: introduce pretty printing of composite tree

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

nitdoc: move `DocComposite::title` to `doc_base`

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

nitdoc: replace `group:` prefix id by `.group` suffix

Because some HTML/JS tools do not like `:` in ids...

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

nitdoc: replace `concern:` prefix id by `.concern` suffix

Because some HTML/JS tools do not like `:` in ids...

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

nitdoc: replace `article:` prefix id by `.article` suffix

Because some HTML/JS tools do not like `:` in ids...

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

nitdoc: replace `section:` prefix id by `.section` suffix

Because some HTML/JS tools do not like `:` in ids...

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

nitdoc: move `DocComposite::id` to `doc_base`

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

tests: fix tests for nitmetrics

Because the imported modules changed, the linearizations of the metrics phases changed and informations are not displayed in the same order.
Also, using the new framework, more classes are discovered, this is why the MENDEL values are slightly different.

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

tests: fix tests for nituml

Old model_utils did not listed the init methods, the new model_collect does that.
So I fixed the correct result in the tests.

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

src: remove unused module `model_utils`

Fixes #710

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

nitdoc: migrate to `model_collect`

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

vim_autocomplete: migrate to `model_collect`

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

nitmetrics: migrate to `model_utils`

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

nitserial: remove dependency to `model_utils`

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

test_neo: migrate to `model_collect`

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

uml: remove useless repeated type in redef

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

uml: migrate to `model_collect`

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

model: introduce `model_collect` to collect and filter things from a `Model`

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

model_utils: move shortcuts to `MClassKind` in `model`

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

model_utils: move `MEntityNameSorter` to `model_base`.

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

model_utils: remove unused method `imported_mclasses`

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