modelbuilder: propose hints when a class is not found

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

modelize: get the Bool type faster

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

Merge: Fix more warnings

Everything is in the title, for the algorithm see #2027.

Spam box: @R4PaSs @xymus @privat and even @BlackMinou for ballz

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

Merge: nitweb: uml graphs route

Allows nitweb to display UML.

Thanks @R4PaSs!

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

Merge: lib/core/bytes: add `Int::to_bytes` and `Bytes::to_i`

More nice services on bytes.

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

nitweb: add /uml/:namespace route

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

lib/template: fix init with signature warning

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

lib: fix useless redef signature warnings

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

lib: fix more call on nullable receiver warnings

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

lib: missing fix documentation warnings

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

src/doc: fix useless signature in redef warnings

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

src/doc: fix call on nullable receiver warnings

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

examples/mnit_ballz: fix call on nullable receiver warnings

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

contrib: fix call on nullable receiver warnings

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

contrib: fix useless signature in redef warning

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

contrib/inkscape_tools: fix weird parenthesis

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

Merge: nitcorn: fix path resolution for vararg routes

Routes with parameters like `/blog/articles/:articleId` where not matched correctly.

It worked until today and I'm not really sure how? Anyway, this PR resolve the route with request parameters before performing the match.

Also done some cleaning in warnings and doc.

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

Merge: lib/core: fix `Text::is_int`

Fix #2019, `is_int` was always returning true. It was caused by the use of the wrong local variable.

Ping @R4PaSs and @Freddrickk.

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

Merge: iOS and text: fix UTF-8 support on iOS and improve doc on FFI related text services

This PR fix the support for UTF-8 on iOS by simply updating the encoding and use the correct number of bytes. This does not completely resolve #1945 as the error messages are still present and I suspect that the UTF-8 cleaning does not work, however I'll update the issue (or open a different one) to reflect that.

Intro the service `to_s_with_copy_and_length` which complements `to_s_with_copy` and `to_s_with_length` . The name is a mouthful, but using optional parameters was not desirable since this service will often be used from a foreign language.

Also improves the doc of the existing services to get a Nit `String` from a `NativeString`. The new doc is more detailed and oriented towards users of the FFI by putting emphasis on where the raw data resides and wether it is cleaned or not.

Also note the removal of return type declarations in method refinements which was not consistent with the introduction.

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

Merge: Interpreter FFI: fix running the interpreter FFI in the interpreter

Let's start with a bit of context, the interpreter supports only the light FFI, a subset of the full FFI supported by the compiler. The interpreter uses an heuristic to guess which extern methods are supported. The problem of #2018, was in this heuristic. The heuristic states that if a parameter of an extern method is a standard Nit class and not an universal or an extern class, then that method probably uses the full FFI. However, sometimes this is false, like in the interpreter where instances of Nit standard classes are stored as pointer in the C code, still without using the full FFI.

To fix #2018, this PR intro a new annotation `light_ffi` to be used on extern methods wrongly detected as full FFI. It bypasses the heuristic and force the interpreter to compile and run the method. (or it tries to) This annotation should not be used otherwise, the heuristic is pretty good at detecting when a method is supported or not.

Pull-Request: #2020
Reviewed-by: Romain Chanoir <romain.chanoir@viacesi.fr>
Reviewed-by: Jean Privat <jean@pryen.org>

lib/core/bytes: add `Int::to_bytes` and `Bytes::to_i`

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

tests: add test for the interpreter interpreting the interpreter with its FFI

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

lib/opts: report invalid integer passed to an OptionInt

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

contrib/inkscape_tools: fix noinit in redef warning

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

uml: fix not escaped names

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

vararg_routes: improve module documentation

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

nitcorn: remove warnings from reactor.nit

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

nitcorn: fix path resolution for vararg routes

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

lib/core: fix `Text::is_int`

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

lib/cocoa: reading text from NSData should copy it to Nit memory

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

lib/cocoa: fix to_nsstring to use UTF-8 encoding

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

lib/core: remove duplicates and improve doc of `NativeString` related services

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

lib/core: intro to_s_with_copy_and_length

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

interpreter: use light_ffi to force support for the `instance` extern methods

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

interpreter: the annotation light_ffi identifies a method as light FFI only

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

Merge: Split catalog into a lib and a program

As requested by @Morriar, the nitcatalog tool is now splited into a lib and a program.

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

Merge: iOS: support apps with multiple windows, and a better ListLayout

Support multiple windows on iOS by using a UINavigationController as the root controller which shows the navigation bar at the top of the screen. The navigation bar shows the "Back" button automatically when switching windows. It has room for a title, which can be set manually. This is not ideal as pure portable apps don't define a title leaving the bar mostly empty. This could be fixed either by always asking for a title or by using the app names a default title.

Rewrite the implementation of the ListLayout using a UIStackView in a UIScrollView. This implementation is easier to adapt to different content, and it much more simple than the previous one which used a UITableView. The table view implementation has been kept as a different iOS specific control, but it may be removed in the future.

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

Merge: app.nit services to set the size and alignment of labels

Intro services to customize the size and alignment of text views. Only labels are supported on all platforms but Android also supports customizing text buttons. The behaviour on each platform varies a bit according to the available features. The goal is always to have the behaviour that is more natural on the platform instead of having the same exact look on each platform. Sticking to the recommended values should produce more consistent results, but using other values can create interesting effects.

For example, on Android and Linux, the text size is locked to a small/medium/large, but on iOS the size can be set to any variations relative to the default font size. On all platforms, 0.5 should result in a small font, 1.0 the default/medium size and 1.5 the large size. On iOS, other values will result in different text sizes.

I've used the same logic as `Text::justify` to set the alignment with a single float parameter.

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

nitcatalog: add a new class Person

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

nitc: split nitcatalog into a lib and a program

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

lib/ios: implement `Label::size= & align=`

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

lib/ios: support multiple windows using a UINavigationController

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

lib/ios: ListLayout use a UIStackView inside a UIScrollView

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

lib/ios: use simple init constructor in Objective-C when possible

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

lib/ios: do not crash when removing a non-View control

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

nitc iOS: use ???? as bundle signature (now we can)

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

lib/linux: implement `Label::size= & align=`

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

lib/android: implement `TextView::size= & align=` and replace `text_size`

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

lib/app: intro `TextView::size= & align=`

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

lib/gtk: intro `GtkLabel::justify` and the `set_markup`  service

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

lib/gtk: fix uncallable / unimplemented alignment and padding services

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

Merge: Introducing the do ... catch ... end structure

This PR is a first step in trying to handle exceptions in Nit, replacing the behaviour of `abort` if it happens within a do ... catch ... end.

In the compiler, setjmp() et longjmp() are used to jump directly from the `abort` to the nearest `catch` bloc.

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

Merge: Benitlux & sqlite3: fix closing SQLite statements and malformed superstring

Fix statements that were left open and did not remove the lock on the database. It now relies on iterators to close the statement after the end of the loop. This requires to actually complete the loop and not return before it is complete. A shortcut is to use `statement.iterator.to_a` when the result is expected to be short, like with a single row.

Note that I did not use `with` because it has the same problem with a `return` skipping the call to `finish`. Neither did I use `Finalizable` because it is invoked by the GC which may be much later.

Also fix one malformed superstring and improve the style of another one.

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

tests: introducing some tests for the catch

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Compiler: using longjumps for the catch blocs

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Interpreter: using catch to modify abort behaviour

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Scope & Typing: visits the catch part of a do ... catch ... end

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Flow: managing the flow context for a do ... catch ... end

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Parser: Modifications due to the introduction of catch

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Grammar: Adding an optionnal catch bloc to a do end

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

lib/sqlite3: improve doc and customization of the iterator closing statements

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

Merge: Unify escaping

For some historical reasons, the `return` was managed slightly differently from `break` and `continue`.

This PR unify the whole thing thus simplify how the escaping mechanism is handled by the interpreted. By the way this also fixes #2008 (that is caused by an unhandled `return` specific case)

This will also help the implementation of correct escaping and `finally` in the compiler.

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

Merge: Tnitter app: fix list layout on GNU/Linux with GTK+

Update GNU/Linux implementation of `ListLayout` to follow the specification of `GtkListBox` which should only have children of type `GtkListBoxRow`. This was an issue in Tnitter where removing children from the `GtkListBox` was broken.

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

Merge: More byte digests

Improve and some back-and-forth transformations between Byte and Text.

~~~nit
var b = "abcd".to_bytes
assert b.chexdigest == "\\x61\\x62\\x63\\x64"
assert b.chexdigest.unescape_to_bytes == b
assert b.binarydigest == "01100001011000100110001101100100"
assert b.binarydigest.binarydigest_to_bytes == b

assert "1".binarydigest_to_bytes.hexdigest == "01"
assert "1 0 1".binarydigest_to_bytes.hexdigest == "05"
assert "7".hexdigest_to_bytes.hexdigest == "07"
assert "a B cd \\xe".hexdigest_to_bytes.hexdigest == "0ABCDE"
~~~

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

core/bytes: make Text::hexdigest_to_bytes more permissive

It now accepts a odd number of digit and garbage (eg. whitespaces) in
the strings

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

tests: add base_with_return.res

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

tests: update line number in test_new_native.nit

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

nitc/niti: unify returnmark and escapemark

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

nitc/scope: attach AReturnExpr to an escape mark of the whole propdef

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

nitc/parser: Make `AReturnExpr` an AEscapeExpr

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

contrib/benitlux: fix superstring in benitlux_social

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

contrib/benitlux: let the iterators close the sqlite statements

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

lib/core: fix `Iterator::to_a` not calling `finish`

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

lib/sqlite3: protect close statements

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

lib/sqlite3: fix closing a statement after iterating

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

contrib/tnitter: use the new `clear` for a cleaner behavior

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

lib/linux: fix ListBox that should contain only ListBoxRows

Reported-by: Abdelkarim Belkhir <abdelkarim.belkhir.exalger@viacesi.fr>
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

lib/gtk: GtkListBoxRow is a GtkBin

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

lib/app: intro `CompositeControl::clear`

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

core/bytes: add `Bytes::binarydigest` and `Text::binarydigest_to_bytes`

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

core/bytes: add `Byte::chexdigest`

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

Merge: Augmented literal strings

As a follow-up to #1991, here's the support mentioned in #1734 for bytestrings, regex and raw strings

NOTE: Depends on #1991 for integration, you may review the last 3 commits while #1991 is reviewed and eventually merged

TODO: Support degraded mode (Bytes and Byte only) for byte SuperStrings instead of refusing at compile-time

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

Merge: Friendz: fix missing music file

This PR moves the music file in the Chainz of Friendz project to the new location of Android specific resources (changed in #1952). This missing file crashed the app at launch on Android.

Also use a Nit constructor/factory to wrap the static Java function `MediaPlayer.create` which is a convenience method acting as a constructor and applying some of the boilerplate code.

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

Merge: interpreter: fix rand by leaving rand methods to the FFI

This PR fix `rand` with the interpreter so setting a seed with `srand_from` produces predictable results in the following calls to `rand`, and the same results as the same compiled program. The problem was caused by the interception of `rand` which was executed in the interpreter itself, while `srand_from` was executed on the side of the interpreted program. So setting the seed did not affect in anyway the values returned by `rand`.

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

Merge: Benitlux: intro server side of social network

This PR extends the Benitlux web server with a RESTful interface for a social network. This interface will be used by the mobile client, which will be introduced in a future PR.

The new module `benitlux_social` implements all the core logic and SQL request to implement the database. It uses existing services of `benitlux_db` which only keeps track of the beers and their availability.

Most of this code is already deployed on xymus.net and used by the commuNity using the alpha version of the mobile app. Also note that this is the first real-world use of nitrestful, which handles very well all the `restful` methods of `benitlux_controller`.

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

tests: Added augmented strings test

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

interpreter: Added support for prefixed/suffixed strings

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

compiler: Added prefixed and suffixed `String` support

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

xymus.net: update to latest benitlux server features

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

contrib/benitlux: rename DB to BenitluxDB waiting for working qualified names

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

contrib/benitlux: share a single connexion to the DB

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

lib/sqlite: to_sql_string escape `\`

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

lib/nitcorn: use generate_token in sessions

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

contrib/benitlux: add push notification support

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

contrib/benitlux: drop the non-nitrestful service `since/`

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

contrib/benitlux: use nitrestful to expose social network services to clients

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

contrib/benitlux: intro core logic and DB services for a social network

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

contrib/benitlux: intro shared model objects for a social network

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

core/bytes: document hexdigest

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

lib/android: Java's `MediaPlayer.create` is a pseudo constructor

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