lib/standard/collection: check the item can be compared in `Range#has`

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

lib/standard/collection: getter methods accepts `nullable Object` instead of a covariant parameter

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

lib: remove superfluous type declaration in signatures

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

Merge: Separate Erasure Compiler bugfix

In commit [12aa160](https://github.com/privat/nit/commit/12aa16093122a9f55976585b76b01869d6899634) by @xymus, the signature of a BOX was updated to the ctype_extern, i.e. void\* for all pointers.

The callsite was modified to ctype_extern in separate compiler but was not updated in separate erasure compiler.

This caused a bug in #1309 when NativeString was introduced in BufferedStream as the buffer, since the callsite and signature were defined with different signatures, the prototype with void\*, the implementation with char\*.

This PR fixes the bug by setting both to void\* as in separate compiler.

Pull-Request: #1344
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

Merge: Intro AppComponent to notify all elements of an app of its life cycle

The names of callbacks on the life cycle have been inspired by Android's. There is an equivalent to each of them in iOS, their naming is more precise but more complicated, so they looked less nity.

As of now, only `App` specialize `AppComponent`, but more users in the UI module will soon be introduced.

The implementation of this life cycle in mnit and the old Android implementation using the NDK is a bit awkward. But you will notice that it is much better in the newer NitActivity based implementation, which is the future!

Pull-Request: #1343
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: Fix nitunit for `String::format`

Since the code block was badly indented, it was not tested by `nitunit`.

Once the indentation was corrected, `nitunit` found that the test was failing.

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

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

Merge: Bytes

Added a module for basic handling of bytes at the lib level, a structure analogue to a FlatBuffer is proposed here to handle single-byte modification and appending.

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

Merge: Read char

Semantics have been changed, before this PR, read_char was used to read a single byte and return -1 if EOF or timeout.

Since a Byte can have a value of -1, it is changed here:

* `read_char` now returns a Char (which, for the moment, is a byte, but this will change once UTF-8 is properly supported), and returns null on EOF or timeout
* `read_byte` has more or less the semantics of the old read_char, but returns null on EOF instead of -1 for the reasons mentioned earlier which could induce a wrong assumption about the state of the Stream

Edit: Still related to #1309

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

src/compiler: Fixed a bug introduced in 12aa1609, erasure compiler was not updated at the time

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

lib/standard: Added bytes module for byte-oriented manipulations

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

lib/android: `audio` still depends on the old `native_app_glue`

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

lib/android: `nit_activity` implement the new app.nit life-cycle

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

examples: update all users of mnit to the new life-cycle

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

Merge: More Rosetta Code

Because it is and easy task.

note that `tree_traversal` is not as nice as it could be. Maybe a visitor (or generator) should be used instead.
Moreover, a lot of code could be removed if #1274 is solved.

Pull-Request: #1337
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: Copy to native

Added copy_to_native method in Text, also its optimized versions for subclasses

As a bonus (and because it simplified my task here), substrings now return FlatTexts only instead of simple Text.

The latter will permit the implementation of StringReader as BufferedReader later in an optimized way

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

lib/mnit_linux: update linux mnit implementation to use the new life-cycle

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

lib: update the old NDK based android to use new lifecycle

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

lib/app: intro `AppComponent` to react to application life-cycle in app.nit

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

lib/android: assets_and_resources need only `dalvik`

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

lib/standard/string: fix whitespaces

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

lib/standard/string: Fix nitunit of Text::format

Since the code block was badly indented, it was not tested.
Once the indentation corrected, nitunit found that the test was failing.
So I corrected it.

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

Merge: Kill PushBackReader

As part of the #1309 series, this is a first PR signaling the death of the PushBackReader, since its semantics were for the least, doubtful, and since its use was mainly for look-ahead parsers, it's been decided that a peek operation on BufferedReaders would be better.

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

lib: Replaced uses of read_char by read_byte when applicable

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

Merge: nitdoc: introduce tabbed view to hidde less important data

This PR introduce discrete tabs in the Nitdoc HTML output to hidde less important data like linearization tree, subclasses list etc.
This makes the main page more clean and readable.

Just pass the mouse over a definition to make the tab menu appear and select the details you want to see.
I also moved the source link here.

One can see the difference on [`Array[E]::SELF`](http://gresil.org/jenkins/job/CI-nitdoc/ws/doc/stdlib/class_standard__collection__array__Array.html#article:standard__collection__array__Array__SELF.definition). Notice the little burger menu on the right of the signature.

Démos:
* [stdlib](http://gresil.org/jenkins/job/CI-nitdoc/ws/doc/stdlib/index.html)
* [nitc](http://gresil.org/jenkins/job/CI-nitdoc/ws/doc/nitc/index.html)

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

Merge: Revamp app.nit print_error and print_warning

Should we move `print_error` to the standard library? It could be useful and specialized for many usages. Android redirects to logcat, PNaCl could redirect to the JavaScript console, and nitcorn could tee to console and a file.

All the current errors printed on `sys.stderr` are lost on Android. Redirecting the stream is not ideal as each call to `write` would use a new line on the Android log.

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

Merge: Standardize the name of Android API level annotations

Rename `min_api_version`, `max_api_version` and `target_api_version` to `android_api_min`, `android_api_max` and `android_api_target`. It fits better with the other `android_` annotations (as seen in `lib/android/aware.nit`) and with the `app_` annotations.

> Please ignore the first commit, it is from #1325.

Pull-Request: #1328
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>

rosettacode: add 10 tasks (mainly loops)

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

lib/standard/string: Added copy_to_native method to Text

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

lib/standard/strings: Substrings iterator now returns FlatTexts instead of Texts

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

standard: add `Range::reverse_iterator`

Now people can write countdowns.

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

lib/standard: Removed push_back_reader and replaced it by a peek operation on BufferedReaders

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

lib/standard: Changed semantics of read_char and added read_byte for future uses

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

Merge branch 'master' into android-annotations

Merge branch 'master' into print_error

Merge: Rosettacode grayscale implementation

An implementation of Rosettacode's grayscale task (http://rosettacode.org/wiki/Grayscale_image) with additional features, including creating a Bitmap from scratch and manipulating its individual pixels.

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

Merge: Fix C compiler warning on Java FFI and Android apps

The generated C code used `static JNIEXPORT`, when the macro was expanded it duplicated the visibility attribute. It was reported by the C compiler as a warning. This PR removes the `static` part.

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

Merge: Clean up Android and Linux app.nit libraries

The prefix in `linux_data_store` and `android_data_store` is no longer needed.

Importing only `dalvik` from an Android module makes it compatible with both implementations: the newer nit_activity and the older native_app_glue still used by games.

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

Merge: nit rpg ack

Consider :shipit: and :+1: to also be the acknowledgment of reviewers.

Pull-Request: #1324
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: Intro the light FFI and use it in nith

The new light FFI use only features that should be easy to implement in new/alternative engines to quickly achieve a bootstrap. For this reason, core features of the Nit standard library should be limited to use the light FFI.

## Features of the light FFI

* **Extern methods** implemented in C, nested within the Nit code.
  The body of these method is copied directly to the generated C files for compilation.
  Also supports extern `new` factories.
* Module level **C code blocks**, both "C Body" (the default) and "C Header".
  They will be copied to the beginning of the generated C files.
* Automatic transformation of Nit **primitive types** from/to their equivalent in C.
* **Extern classes** to create a Nit class around a C pointer.
  Allows to specify the equivalent C type of the Nit extern class.

## Features of the full FFI

* More foreign languages: **C++, Java and Objective-C**.
* **Callbacks** to Nit from foreign codes.
  The callbacks are declared in Nit using the `import` annotation on extern methods.
  They are then generated on demand for the target foreign language.
* **Static Nit types** in C for precise typing and static typing errors in C.
* **Propagating public code blocks** at the module level (C Header).
  This allows to use extern classes in foreign code in other modules
  without having to import the related headers.
  This is optional in C as it is easy to find the correct importation.
  However it is important in Java and other complex FFIs.
* **Reference pinning** of Nit objects from foreign code.
  This ensure that objects referenced from foreign code are not liberated by the GC.
* FFI **annotations**:
    * `cflags`, `ldflags` and `cppflags` pass arguments to the C and C++
      compilers and linker.
    * `pkgconfig` calls the `pkg-config` program to get the arguments
      to pass to the C copiler and linker.
    * `extra_java_files` adds Java source file to the compilation chain.

## Light FFI only compilation

Compilers using the module `compiler_ffi::light_only` do not compile extern method with callbacks. This is a good heuristic to determine whether the method uses the full FFI of the light FFI.

The limitation of this heuristic is on 3 features: static Nit types, propagating public code blocks and reference pinning. These features do not required any declaration on the Nit side so they are not reliably detectable by the compiler. Using these features will cause GGC to raise errors on unfound types and functions.

In the case of public code block propagation, the user can fix it by importing the needed C headers in each module. In the other cases, static Nit types and reference pinning, they are used for callbacks, the method should probably declare callbacks. Still, there is some very rare situations where these features could be used correctly and the method would still be recognized as light FFI. If this is becomes a problem, we could add an annotation such as `is light_ffi` to force the heuristic.

> This PR should be read commit by commit. The first 4 commits separate modules in 2 their light/full versions. The only code modification is adding supers, redefs and tweaking the imports.

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

Merge: nitiwiki: introduce wikilinks

Nitiwiki now understand the wikilink format using double brackets.

Examples:
`[[foo]]`: link to the page named `foo`
`[[foo/bar]]`: link to the page named `bar` in `foo`
`[[/foo/bar]]`: link to the page located exactly here

It's also possible to add a custom name:
`[[foo|My cute custom name <3]]`: link to the page named `foo`

And to use anchors:
`[[foo#bar]]`: link to the page named `foo`

nitiwiki will display warnings if a link seems broken.

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

Merge: contrib: Introduce refund

`refund` is a tool developped for the correction of the course INF2015: Développement de logiciels dans un environnement Agile.

Its purpose is to parse a reclamation sheet submitted by an insurrance client in Json format then to compute the allowed refunds depending on the policy contracted by the client.

Even if this program is not really usefull for the Nit project, it makes a concrete example on how we can use the language in the real world, so I submit it.

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

Merge: lib: introduce MongoDB wrapper

This is my first real use of the FFI, @xymus you input on that?

Also poking @BlackMinou because he likes to review C code.

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

Bitmap class as part of the bitmap library

Signed-off-by: Budi Kurniawan <budi2020@gmail.com>

nitdoc: display source link in tab menu

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

nitdoc: display less important data in tabs

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

nitdoc: hierarchy lists use TabbedGroup

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

nitdoc: intro/redef lists use TabbedGroup

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

nitdoc: introduce TabbedGroup and PanelGroup composite

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

nitdoc: introduce Tabs component

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

lib: introduce MongoDB wrapper

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

src/ffi: add some missing doc and clean up

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

src/ffi: document the differences between the light and full FFI

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

lib/c: introduce char** wrapper

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

contrib/refund: add refund tmp files to gitignore.

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

contrib/refund: add Makefile

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

contrib/refund: add tests

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

contrib/nitiwiki: update README

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

contrib/nitiwiki: update tests

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

contrib/nitiwiki: introduce wikilinks

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

contrib: introduce `refund` calculator

This project was used to the correction of the course
INF2015: Développement de logiciels dans un environnement Agile"

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

lib: update users of the new `print_error`

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

lib/android: make native methods of `log` private

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

lib/android: move the implementation of prints to the `log` module

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

lib/app & android: move log_prefix to Android, where it is used

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

lib/app: make the warning log method behave more like `print`

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

lib: improve and move `print_error` to the standard library

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

lib & examples: update users of Android API version annotations

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

lib & src: name Android API version annotations

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

lib/android: make `ui` a group and clean doc

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

src/ffi: avoid duplicating visibility attributes of JNI native functions in C

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

src/c_tools: revamp doc and style of some `CCompilationUnit` services

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

Merge: Autoinit abstract attributes

Fix #1316

Pull-Request: #1321
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: Add missing nodes in the AST

Originally, the AST was very abstract and included only node that useful semantically, thus dropped most keywords and symbols during the AST transformation done by sablecc.

After all these years, I was a very bad idea that cause useless complexity for preople that wanted to program precise error messages or develop tools like nitlight or nitpretty.

So, this PR add back most of these nodes in the AST. Future PR may simplify the code of the tools to deal we a more complete AST thus remove heuristics to retrieve the missing tokens.

Pull-Request: #1320
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: i18n annot: superstrings

Added the support of superstrings in the i18n annotation.

The first commit introduces a string format to use when replacing superstrings.
The second and third commits are updates to the i18n annotation and the test that goes along with it.

Pull-Request: #1319
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: vim: look for `{ in deciding to highlight ffi language name. eg "C".

so `"C"` is now contextually highlighted.

Note: `\ze` means the end mark. What follows is looked for to be matched but is not considered in the token (some kind of lookahead)

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

Merge: GTK clean up and a few new features

You should read this PR commit by commit as the style update touches almost every line. The style update adds and removes spaces, and it removes empty and commented methods. It does not touch the documentation, there is still a lot of work to do there.

Please read the commit description of "lib/gtk: ignore deprecated warnings" for the rationale of the change.

GTK will be used to implement the abstract UI on GNU/Linux.

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

examples/mnit_simple: update to latest `Intent` API

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

vim: look for `{ in deciding to highlight ffi language name. eg "C".

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

examples: langannot example updated with superstring capabilities

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

src/frontend: i18n phase updated to support superstrings in a correct way

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

lib/standard/string: Added function to format a String using a new notation

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

lib/android/ui: move up some services the extern classes hierarchy

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

lib/android: make `ui` a group and clean doc

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

lib/android: the `vibration` module only needs `dalvik`

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

lib/android: the `toast` module only needs `dalvik`

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

lib/android: `Intent` do not need a context and update its constructor

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

lib/android: move intent launching services out of `Intent`

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

lib/android: shared preferences only need `dalvik`

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

lib/android: rename android_data_store to data_store

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

lib/linux: rename linux_data_store to data_store

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

tests: add base_attr_abstract2.nit

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

modelize: abstract attributes included in autoinit signature

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

nitrpg: use is_ack

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

lib/github: add `Comment::is_ack` to detect acknowledgments

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

tests: update sav with new location on error messages

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

parser: regenerate

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

astbuilder: inject non-nullable token for AIfExpr creation

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

grammar: add missing nodes in the AST

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

src/nith: activate light FFI in nith

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

src/ffi: add the light_only FFI compiler

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