core/ropes: remove old_style_init, use only named init (not ideal but better)

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

core/flat: remove named init `with_pos` and use auto-constructor

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

hotfix: contrib/tnitter/net.xymus.tnitter.txt: terminate description

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

Merge: Tnitter: read the latest tnits on the go with the new Tnitter portable app!

Intro a portable client for Tnitter listing the more recent 16 tnits. It is more of a test and example on using `AsyncHttpRequest` to do both simple request to a REST server and implement push notifications using an open request. By design, this client does not support posting Tnits, this feature would require much more code and it may be simplified by future services in the lib.

To support the client the server has a few new REST interfaces. One to list the tnits and the other for push notifications.

This PR also fixes a few bugs on the Tnitter server: losing the session on posting and empty post being accepted by the server.

-----

Note for the reviewers: You may be better to read commits individually. There are 2 bigs commits, one extracts the database logic from the model module and the other introduces code generated by Jwrapper for the native layer of that Android ui implementation.

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

contrib/tnitter: intro .gitignore

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

tnitter: add the clean rule to Makefile

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

contrib/tnitter: add apk link to metadata

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

Merge: Add trails to nitiwiki

Wikilinks, with the directive `trail`, will register the target page as an element of a trail.
Each `trail` are chained together and will display navigational link `prev` for the previous page of the trail, `next` for the next page of the trail and `up` to go to the pages that has used the `trail` wikilink.

For instance, if the page `doc.md` has the following content:

~~~md
To use nitiwiki, first [[trail: install|install it]],
then [[trail: simple_wiki|create a first wiki]].

You can also do advanced things like:

* [[trail: github|editing pages with github]]
* [[trail: templating| adapting the templates]]
~~~

A trail will be made and will consist of the sequence of pages `install`, `simple_wiki`, `github` and `templating`.
On each one of these pages, there will be links for the previous, the next page and the `doc.md` pae.

If a page includes trail wikilinks and is also the target for trail wikilinks, then the two trails are merged and pages will be visitable in a depth-first order.
This nesting of trails can be used to have sections and sub-sections.

Demo is up: http://info.uqam.ca/~privat/nitlanguage/manual/

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

Merge: lib/core: add Text::prefix and Text::suffix

I wanted a way to detect and possibly remove a prefix from a string but there was no straight-forward way.

So I propose one:

~~~
var str = "hello world"
var p = str.prefix("hello")
assert p != null and p.text_after == " world"
assert str.prefix("fail") == null
~~~

Same with `suffix`

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

Merge: Handle gracefuly multi-varargs

This solve a very borderline issue when a signature contains more than one vararg parameter.
They are still refused in the common case but can occurs when multiple initializers are combined into a single constructor.

The implemented semantic is the following:

* vararg parameters remains varag
* if more than one vararg parameter exists in a signature, then the signature does not accepts additional arguments, it means that each vararg is associated to a single argument (a discarded alternative was to only keep the first/last parameter as the main vararg one)
* the associated argument can be either a single value, of a reverse vararg with an ellipsis.

~~~nit
class A
   fun x(i: Int...) is autoinit do end
   fun y(j: Int...) is autoinit do end
end
var a
a = new A(10, 20) # OK: i=[10], j=[20]
a = new A(10, 11, 20) # Refused
a = new A([10, 11]..., 20) # OK: i=[10, 11], j=[20]
a = new A([10, 11]..., [20, 21, 22]...) # OK: i=[10, 11], j=[20, 21, 22]
a = new A([10, 11], [20, 21, 22]) # Refused but a hint is given that `...` may be missing
~~~

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

nitiwiki: update examples with trails

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

nitiwiki: update README

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

nitiwiki: update tests

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

nitiwiki: render trail navigation on the macro-placeholder %`TRAIL%`

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

nitiwiki: add `trail:` command to collect trails

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

nitiwiki: add a simple command extraction on wikilinks.

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

contrib/tnitter: add fdroid metadata

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

lib/nitcorn: update xymus.net with latest Tnitter services

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

contrib/tnitter: refactor to set the server interface at compilation

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

contrib/tnitter: add icon

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

contrib/tnitter: intro simple app

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

contrib/tnitter: intro push notification service to the server

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

contrib/tnitter: add REST interface

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

contrib/tnitter: do not allow posting empty tnits

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

contrib/tnitter: replace `latest_posts` by a 2 args `list_posts`

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

contrib/tnitter: fix logout on post

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

contrib/tnitter: revamp how the DB is handled

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

contrib/tnitter: extract `DB` from `model` into `database`

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

lib/android: use the standard "medium" size for labels

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

lib/app/ui & platforms: intro ListLayout

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

lib/serialization: fix deserialization of Error

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

nitiwiki: add `WikiEntry::a_from` to factorize the creation of links to pages.

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

string_search: add `Text::prefix` and `Text::suffix`

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

string_search: add `Match::text_before` and `Match::text_after`

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

string_search: add nitunits to `Match`

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

Merge: nitcorn: intro an alternative to `answer` allowing more control and revamp the README file

The new `prepare_respond_and_close` is an advanced alternative to `answer`. It allows mainly to delay answering to some requests. I may this to implement simple push notifications. It could also be used to do some parallel or IO intensive work, while processing other requests.

The new README should be more up to date and a better support to get to know the library. I'm not sure about including a code example, but I thought it could help. The file could still benefit from some work, but it's an improvement.

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

Merge: app::ui: intro Label and apply many other fixes

Most features are self-explanatory, but here it is anyway. `Label` defines a simple non-editable text field. And the newly public `remove` method remove views from other views (such as `Layouts`).

Other fixes clean up the relation with the Java GC and multi-threads behavior.

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

lib/libevent: prevent double close

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

lib/nitcorn: intro prepare_respond_and_close

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

fix prepare

lib/nitcorn: extract `HttpServer::respond`

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

lib/nitcorn: revamp README file

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

lib/app/ui & platforms: intro Label

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

lib/app/ui & platforms: use CompositeControl::remove for Layout

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

Merge: frontend: `missing-doc` advice is conditioned to the presence of doc on the module

The `missing-doc` advice is now conditioned to the presence of a doc on the module.

The rationale is that if the module is documented, then the programmer does care and we show places where the documentation is missing, else the programmer does not care then we do not talk about documentation in order to not alienate him.

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

Merge: add piwik to the nitcatalog

Because you do not deserve privacy.

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

java_compiler: handle multi-varargs

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

frontend: `missing-doc` advice is conditioned to the presence of doc on the module

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

tests: add base_vararg_mult.nit

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

modelize: combine initialize signatures without losing the vararg information

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

model: accept multiple vararg parameters

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

typing: handle multiple vararg

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

typing: extact `check_one_vararg` from `check_signature`

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

typing: move vararg_length on each argument, instead of the whole signature

This will permit to have more that one vararg per call.

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

lib/android/ui: use more global references

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

lib/android/ui: by default, calls to UI features are on the same thread

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

lib/android/ui: implement new_global_ref where it was missing

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

lib/app/ui: fix with #1311

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

Merge: autosuperinit: do not crash on broken model

Fix the reason that the catalog is currenlty broken (maybe ironicaly related to #1816)

Pull-Request: #1824

autosuperinit: do not crash on broken model

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

Merge: app: portable services to do requests over HTTP asynchronously

This PR introduces a series of portable services to execute HTTP request asynchronously from graphical programs. These services should be independent and may be reorganized as needed by client programs.

The HTTP request services are very simple by design, it is not an attempt to define a true API to build the request. It is currently limited to GET calls to a simple URI, for example a simple use may look like:

~~~
print "http://xymus.net/rest/list?query=asdf".http_get.value
~~~

## The services

* `Text::http_get` makes an HTTP request and blocks until the response is received. It returns `HttpRequestResult`, a subclass of `MaybeError`, with a possible error, status code and response body content. This service is implemented independently on each platform, using GDK + Curl on GNU/Linux and Apache HTTP client services in Java on Android.

* `App::run_on_ui_thread` sends an instance of `Task` to be executed on the main UI thread when possible. This method may be moved "up" to `app::ui` as needed.

* `AsyncHttpRequest` combines the two previous features to execute an HTTP request asynchronously, deserialize the result from JSON (if needed) and execute custom behaviors on the main UI thread. Users of this service should subclass `AsyncHttpRequest` and implement as needed `before`, `on_load`, `on_error` and `after`. By default, all user code is executed on the main UI thread and as such users do not have to worry about threading logic.

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

Merge: json::serialization: intro services to easily serialize to and from Json

The services `to_json_string` and `from_json_string` should be useful for simple scripts. Both services report errors only on the console. This behavior is enough for simple scripts but more complex programs should still use `Serializer` and `Deserializer` services.

This methods may look a lot like `to_json` and `to_plain_json`. I plan to replace `to_json` with either `to_plain_json` to preserve the same behavior but with support for all serializable classes, or `to_json_string` to get JSON with metadata. Note that even if the output contains metadata, it is readable by external tools with a small overhead.

If you have a better idea for the names, please mention it. For my part, I consider these names temporary until we free the `to_json` names...

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

Merge: serialization: serialize the Error class and avoid  abstract classes with factories

This PR implements the serialization of the `Error` class manually, it is declared in `core` above the `serialization` module.

Also updates `nitserial` so that it does not attempt to instantiate abstract classes with factories.

@privat I have doubts about the use of `is_abstract` and `is_class`, is it appropriate?

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

Merge: Java FFI: add GC pinning support

Adds a missing features to the Java FFI: pinning references to Nit objects from Java. Both services, `..._incr_ref` and `..._decr_ref`, are "simple" redirections from Java to the nitni service in C through the JNI.

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

Merge: nitc/android: rely on Android's native stacktrace, drop MIPS support and temporarily disable the GC

This PR tweaks basic Nit features on Android so it is more practical on the short-middle term.

It is better to not handle signals on Android so that it falls back on the Android stacktrace, which is pretty useful for debugging. We might want to handle the signals once we successfully integrate libunwind to the Android apps.

Dropping MIPS support saves some compilation time. The related commit can be reverted when supporting MIPS is useful.

This PR also deactivates the GC on Android as it is currently broken. Unexpected behaviors happen more frequently when using the Java FFI in a threaded app. There are possible solutions to this problem; newer versions of libgc are tweaked for Android, better compilation configs may help, and double checking the Android lib for objects that should be pinned for use from Java...

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

lib/json: intro simple services for scripts and the like

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

lib/serialization: support the Error class

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

nitserial: fix support for factory instantiated abstract classes

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

lib/android: implement http_request, using the Java Apache lib

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

lib/java: wrap Throwable and Exception

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

lib/linux: implement http_request using GDK events and Curl

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

lib/gtk: use `Task` with GDK by adding a more previce method to refine

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

lib/app: intro the http_request API

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

lib/core: fix error in doc of `MaybeError::error`

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

lib/json: clean up a few useless signatures

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

tests: intro tests for pinning Nit objects from Java

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

nitc: add GC pinning support to the Java FFI

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

nitc/android: do not compile for MIPS, but it is easy to bring back

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

nitcatalog: add option in inject piwik tracker

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

nitcatalog: use the Catalog as a factory of CatalogPage

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

nitc/android: do not catch signals on Android, use the default stacktrace

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

nitc/android: temporally disable the GC on Android

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

nitc: fix typo in error message

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

Merge: More keepgoing

Another small serie about robustness.

Now all files in tests (including alts), except one, do not make `nipick` crash.
This should improve the quality of error messages in vim.

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

Merge: More contributors

add metadata `package.more_contributors` for lib/core and lib/nitcorn.

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

Merge: nitcorn: fix bug with binary files

Downloading binary files from a nitcorn server works as expected once again.

The API should be enough for most users but there is a few features lacking. Namely alternating custom text with files and writing custom data. We could merge the `body` and `files` attributes into a sequence of `Bytables` to send, with support for `Bytes`.

You can test the result on xymus.net, either by downloading the latest WBTW at http://xymus.net/pub/wbtw-v0.4-110-g668b261.tar.gz or by playing a clone of Super Hexagon (mostly made by @ablondin) at http://xymus.net/pub/hex/.

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

lib/nitcorn/examples: customize server listening port

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

lib/nitcorn/examples: rename the simple_file_server example

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

lib/nitcorn: use `files` and thus fix transferring binary data

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

lib/nitcorn: intro `HttpResponse::files` to append files

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

lib/libevent: add `read|write_buffer`

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

lib/libevent: implement missing `write_bytes` in `Connection`

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

lib/libevent: update write_file

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

lib/core: fill `package.more_contributors` metadata as git lost track since renaming (d7f15922adeef40)

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

nitcorn: improve the README a little

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

tests: improve error tests on --keep-going by adding usage of broken things

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

typing: skip error message when dealing with bottom types

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

src: use `toolcontext.quit` instead of rogue `exit`

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

toolcontext: add `ToolContext::quit` to perform a correct shutdown of the program

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

typing: AForBlock propagates error to the main AForExpr

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

modelize_class: do not rely on number of errors since things are more robust

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