lib: Fix serialization issue with string-oriented typing

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

tests: Updated sav for old tests

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

lib/core: Faster access to length in ropes

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

lib/core: Made FlatString abstract and added fast version for ASCII-only Strings

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

Merge: model_collect: add more services

Just some services that work on flattened views of the model that I will need soon.

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

Merge: Codec refactor

Sub-part of #2006 since @privat asked for it to be split, here's one part concerning the addition of a few services to NativeString and Byte, along with the refactor of the Codec API

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

Merge: Pack Strings

Added convenience feature to `Text` objects: `pack`.

These new methods pack the content of a `Text` object into an array of `n` elements of length up to `ln`.

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

Merge: Poset: add clone, ==, hash and sub

Extends the POSet class with some useful methods to compare and (partially) copy posets.

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

model_collect: collect MClass inits

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

model_collect: collect all MClass inherited methods

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

model_collect: collect importation poset for modules

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

model_collect: collect more on MModule hierarchy

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

model_views: build posets from mentities lists

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

Merge branch 'subposet' of https://github.com/privat/mynit into privat-subposet

tests: Added ISO8859-1 codec test

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

Codecs: Refactor API

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

lib/core: Added packing methods to `Text`

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

lib/poset: add == and hash

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>

lib/poset: make POSet cCloneable

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

lib/poset: add `sub` to build induced subposets

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

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>

Added services to NativeString and Byte

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

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>