rta: drop local `is_valid_type` and use `is_legal_in` from `model`

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

model: add `MType::is_legal_in` to check the legality of a given complex type

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

model: returns more MErrorType instead of aborting

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

model: add MType::is_ok to check MErrorType in depth

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

model: new class MErrorType as using MBottomType was abuse

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

Merge: Faster lookup

This series improves the lookup strategies:

* special fast track for the virtual type SELF
* choose to iterate on the mclassdefs instead of the mpropdefs if they are less numerous.

This mainly limit the degenerative cases that where discovered while investigating the slowdown of #2223

with nitc/nitc/nitc:
before: 0m7.168s
after: 0m6.232s

with nitpick ../contrib:
before: 0m20.928s
after: 0m19.432s

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

Merge: popcorn: enhance ConsoleLog

Add some logger capabilities to ConsoleLog so it can be shared with the rest of the popcorn app as a classic logger.

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

Merge: Popcorn auth

## Authentification handlers.

For now, only Github OAuth is provided.

### Github

See https://developer.github.com/v3/oauth/.

This module provide 4 base classes that can be used to implement a Github
OAuth handshake.

~~~nit
import popcorn
import popcorn::pop_auth

var client_id = "github client id"
var client_secret = "github client secret"

var app = new App
app.use("/login", new GithubLogin(client_id))
app.use("/oauth", new GithubOAuthCallBack(client_id, client_secret))
app.use("/logout", new GithubLogout)
app.listen("localhost", 3000)
~~~

Optionaly, you can use the `GithubUser` handler to provide access to the
Github user stored in session:

~~~nit
app.use("/api/user", new GithubUser)
~~~

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

rta: fast fix to avoid resolving illegal types.

This requires a more in-depth work to improve the model.
Another improvement can also to teach RTA the context of object mechanism
so that only legal receivers are attempted.

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

Merge: lib/github: introduce GithubWallet

## Github OAuth tokens management

When using batch mode with the `github` API, we can rapidly reach the rate
limit allowed by Github.

One solution consists in using a wallet of tokens so we can rely on more than
one token and switch them when one become exhausted.

### Using the Github wallet to check tokens

One functionality of the wallet is to check the validity of a token against
the API. `check_token` will return false if a token is invalid or exhausted.

~~~nit
var wallet = new GithubWallet
assert not wallet.check_token("this is a bad token")
~~~

### Storing tokens

The wallet can also be used to store tokens and check all of them.

~~~nit
wallet = new GithubWallet
wallet.add "some token"
wallet.add "some other token"
~~~

or

~~~nit
wallet = new GithubWallet.from_tokens(["token 1", "token 2"])
~~~

The `show_status` method can be used to display a summary of the validity of
each token in the wallet.

~~~nit
wallet.show_status
~~~

Will display something like this:

~~~raw
Wallet (2 tokens):
 * [OK] token 1
 * [KO] token 2
~~~

### Using the wallet to obtain a Github API client

Using the wallet you can cycle through tokens and obtain a new Github API client
instance with a fresh rate limit.

~~~nit
wallet = new GithubWallet.from_tokens(["token 1", "token 2"])
var api = wallet.api
~~~

The wallet will automatically cycle through the registered tokens to find one
that works.

To avoid infinite loop, if not valid token is found after all of them was tried,
the wallet returns an client based on the last tried token.

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

Merge: gamnit: intro pinch to zoom gesture for Android

Intro a service to manipulate the perspective cameras with two fingers gestures: move the camera and the classic pinch to zoom.

This feature mainly targets the `flat` API. It should also somewhat work with `depth`,  even when the camera looks around, but the fingers won't fit precisely with a world object/layer.

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

Merge: Popcorn repos

## Repositories for data management.

 Repositories are used to apply persistence on instances (or **documents**).
 Using repositories one can store and retrieve instance in a clean and maintenable
 way.

 This module provides the base interface `Repository` that defines the persistence
 services available in all kind of repos.
 `JsonRepository` factorizes all repositories dedicated to Json data or objects
 serializable to Json.

 `MongoRepository` is provided as a concrete example of repository.
 It implements all the services from `Repository` using a Mongo database as backend.

 Repositories can be used in Popcorn app to manage your data persistence.
 Here an example with a book management app:

 ~~~nit
 # First we declare the `Book` class. It has to be serializable so it can be used
 # within a `Repository`.

 import popcorn
 import popcorn::pop_repos

 # Serializable book representation.
 class Book
serialize
super Jsonable

# Book uniq ID
var id: String = (new MongoObjectId).id is serialize_as "_id"

# Book title
var title: String

# ... Other fields

redef fun to_s do return title
redef fun ==(o) do return o isa SELF and id == o.id
redef fun hash do return id.hash
redef fun to_json do return serialize_to_json
 end

 # We then need to subclass the `MongoRepository` to provide Book specific services.

 # Book repository for Mongo
 class BookRepo
super MongoRepository[Book]

# Find books by title
fun find_by_title(title: String): Array[Book] do
var q = new JsonObject
q["title"] = title
return find_all(q)
end
 end

 # The repository can be used in a Handler to manage book in a REST API.

 class BookHandler
super Handler

var repo: BookRepo

# Return a json array of all books
#
# If the get parameters `title` is provided, returns a json array of books
# matching the `title`.
redef fun get(req, res) do
var title = req.string_arg("title")
if title == null then
res.json new JsonArray.from(repo.find_all)
else
res.json new JsonArray.from(repo.find_by_title(title))
end
end

# Insert a new Book
redef fun post(req, res) do
var title = req.string_arg("title")
if title == null then
res.error 400
return
end
var book = new Book(title)
repo.save book
res.json book
end
 end

 # Let's wrap it all together in a Popcorn app:

 # Init database
 var mongo = new MongoClient("mongodb://localhost:27017/")
 var db = mongo.database("tests_app_{100000.rand}")
 var coll = db.collection("books")

 # Init app
 var app = new App
 var repo = new BookRepo(coll)
 app.use("/books", new BookHandler(repo))
 app.listen("localhost", 3000)
 ~~~

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

Merge: Popcorn valid

## Quick and easy validation framework for Json inputs

Validators can be used in Popcorn apps to valid your json inputs before
data processing and persistence.

Here an example with a Book management app. We use an ObjectValidator to validate
the books passed to the API in the `POST /books` handler.

~~~nit
import popcorn
import serialization

# Serializable book representation.
class Book
super Jsonable

# Book ISBN
var isbn: String

# Book title
var title: String

# Book image (optional)
var img: nullable String

# Book price
var price: Float
 end

 class BookValidator
super ObjectValidator

redef init do
add new ISBNField("isbn")
add new StringField("title", min_size=1, max_size=255)
add new StringField("img", required=false)
add new FloatField("price", min=0.0, max=999.0)
end
 end

 class BookHandler
super Handler

# Insert a new Book
redef fun post(req, res) do
var validator = new BookValidator
if not validator.validate(req.body) then
res.json_error(validator.validation, 400)
return
end
# TODO data persistence
end
 end
 ~~~

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

Merge: lib/popcorn: introduce `pop_config` module

## Configuration file and options for Popcorn apps

`pop_config` provide a configuration framework for Popcorn apps based on ini
files.

By default `AppConfig` provides `app.host` and `app.port` keys, it's all we
need to start an app:

~~~nit
import popcorn
import popcorn::pop_config

# Parse app options
var opts = new AppOptions.from_args(args)

# Build config from options
var config = new AppConfig.from_options(opts)

# Use options
var app = new App
app.listen(config.app_host, config.app_port)
~~~

For more advanced uses, `AppConfig` and `AppOptions` can be specialized to
offer additional config options:

~~~nit
import popcorn
import popcorn::pop_config

class MyConfig
super AppConfig

# My secret code I don't want to share in my source repository
var secret: String = value_or_default("secret", "my-secret")

redef init from_options(options) do
super
if options isa MyOptions then
var secret = options.opt_secret.value
if secret != null then self["secret"] = secret
end
end
 end

 class MyOptions
super AppOptions

var opt_secret = new OptionString("My secret string", "--secret")

redef init do
super
add_option opt_secret
end
 end

 class SecretHandler
super Handler

# Config to use to access `secret`
var config: MyConfig

redef fun get(req, res) do
res.send config.secret
end
 end

 var opts = new MyOptions.from_args(args)
 var config = new MyConfig.from_options(opts)

 var app = new App
 app.use("/secret", new SecretHandler(config))
 app.listen(config.app_host, config.app_port)
 ~~~

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

Merge: Serialization fixes and hardening

Improve the serialization services on multiple points:

* Fix JSON serialization of `DefaultMap` by writing its attributes. (Not only the "special" length, keys and values)
* Remove type casts and the like that would crash the program on invalid format of collections and maps, raise errors instead and return an empty instance.
* Improve (from horrible to bad) the type name used in deserialization errors when the type of an attribute is not in the AST. (This is pretty much the best we can do without moving the serialization phase after the model has been built.)
* Fix a test which failed on silent errors, and print errors so it doesn't happen again. Note that the errors with nitce are expected as it doesn't have the same `class_name` than the other engines.
* Update nitserial to silence `property-conflict` warnings in the generated module. This effectively hides the conflicts between the JSON and binary serialization because all conflicts are on generic types.

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

Merge: `mendel_metrics`: Fix documentation

Some minor fixes for the documentation of the `mendel_metrics` module.

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

tests: update sav of `test_binary_deserialization`

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

lib/popcorn: introduce Github Auth handlers

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

github_api: load user from access_token

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

lib/popcorn: introduce `pop_config` module

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

model: MVirtualType fast resolution for the special type `SELF`

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

model: lookup_definitions gains an *iterate the classdefs* strategy

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

model: MClassDef register property definitions by its associated property

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

popcorn: enhance ConsoleLog

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

lib/github: introduce GithubWallet

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

lib/popcorn: introduce Repository concept

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

lib/mongodb: allow new MongoObjectId instances

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

Merge: mongodb: wrap `Collection::aggregate` function

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

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

Merge: lib/popcorn: generalize colors for status codes

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

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

Merge: modelize_class: Force `Object` to be an interface

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

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

Merge: modelize_class: Remove an unnecessary pre-condition

`build_classes` calls itself recursively on imported modules. So, there is no point to specify that imported modules must be processed first.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

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

Merge: modelize_class: Remove a dead check

Dead at aa64312 (PR #2047).

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

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

gamnit: flat imports android_two_fingers_motion with android

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

gamnit: intro two fingers motion service on EulerCamera

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

lib/popcorn: generalize colors for status codes

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

lib/popcorn: introduce Validation concept

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

lib/popcorn: add `json_error` to return a Json formatted error

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

modelize_class: Do not crash if `Pointer` is not defined

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

modelize_class: Force `Object` to be an interface

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

json::serialization: report duplicated keys

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

Add a test for the class kind of `Object`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

tests: report deserialization errors

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

tests: fix deserialization test on pretty json with generics

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

nitserial: silence property-conflict warning in generated module

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

lib/gen_nit: support writing annotations of the module declaration

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

json::serialization: check format and consistency of Map at deserialization

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

json::serialization: don't crash on deserializing malformed simple collections

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

json::serialization: fix indentation

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

json::serialization: fix serializing extra attributes of collections and maps

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

json::serialization: refactor some duplicated code

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

frontend: use a prettier "Unknown type" when the type is not in the AST

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

serialization: AttributeTypeError doesn't need the message attribute, fix TODO

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

frontend: don't type check values for attributes typed with `nullable Object`

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

Merge: app.nit: improve apps life-cycle

Modify the _app.nit_ life-cycle callbacks to add `on_restart`, and to remove `on_start` and `on_destroy`. `on_restart` is called when the app goes comes back from a `on_stop`. `on_start` duplicated other callbacks (`on_create` and the new `on_restart`), plus it didn't have a direct equivalent  in iOS. `on_destroy` also didn't have an iOS equivalent. These changes simplify the life-cycle and use only callbacks existing on both platforms.

This PR also improves the documentation of the _app.nit_ life-cycle with a nice little graph and references to the platform specific triggers.

Pull-Request: #2229
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>

Merge: app.nit: Intro the `app_files` annotation, and use it in calculator

Intro `app_files`, an annotation to specify where to find more Android and iOS specific files. This effectively associates resources to a specific Nit module. It can be used to have different icons per branding, or to package graphical assets with a module from the lib.

It is used in the calculator to assign a different icon to the scientific calculator variant.

Pull-Request: #2228
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <romain.chanoir@viacesi.fr>

Merge: Android: import the R class

The R class is generated by the Android toolchain and acts as a static way to identify resources in Java code. The ID of each values from the `android/res` folder is sorted in a category and accessible through a static field. An example of a generated R class is shown at the bottom of this description.

This PR import the R class in all Java classes generated from the Java FFI. This creates a similar effect as having the R class in the same package. Previously, the user could not reliably import the R class manually as the package name changes between the debug and release version.

~~~
/* AUTO-GENERATED FILE.  DO NOT MODIFY.
 *
 * This class was automatically generated by the
 * aapt tool from the resource data it found.  It
 * should not be modified by hand.
 */

package net.xymus.benitlux_debug;

public final class R {
    public static final class attr {
    }
    public static final class color {
        public static final int item_background=0x7f050000;
    }
    public static final class drawable {
        public static final int ic_launcher=0x7f020000;
        public static final int icon=0x7f020001;
        public static final int notif=0x7f020002;
    }
    public static final class layout {
        public static final int main=0x7f030000;
    }
    public static final class string {
        public static final int app_name=0x7f040000;
    }
}

~~~

Pull-Request: #2227
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: nitweb: show metrics

This PR introduce the metrics displaying in nitweb.

For now, only classes and modules metrics are shown (mclass_metrics.nit, mmodules_metrics.nit, inheritance_metrics.nit).

Some examples (may be long to load on my little server):
* [core::Array](http://nitweb.moz-code.org/doc/core::Array)
* [core::array](http://nitweb.moz-code.org/doc/core::array)
* [core>collection>](http://nitweb.moz-code.org/doc/core%3Ecollection%3E)
* [core](http://nitweb.moz-code.org/doc/core)

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

modelize_class: Remove a dead check

Dead at aa6431294837f7a4734f8b73c2559404b416c924 (PR #2047).

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

mendel_metrics: Fix the bibliographical reference

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

mendel_metrics: Fix a spelling mistake

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

modelize_class: Remove an unnecessary pre-condition

`build_classes` calls itself recursively on imported modules. So, there is
no point to specify that imported modules must be processed first.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

linux: update lifecycle

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

app.nit: document platform specific triggers for each app.nit callbacks

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

app.nit: update README and add graph image

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

lib & contrib: remove references to on_start and on_destroy

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

android: call on_restart

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

lib/ios: update lifecycle

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

app.nit: intro `on_restart`

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

app.nit & android: move on_create & on_destroy to Android only

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

benitlux: fix typo in `ItemView::set_background`

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

calculator: separate Android variants between the simple calc and the sci one

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

calculator: have a different icon and app name for the scientific variant

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

calculator: shorter name and bump up the version number

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

calculator: name icon rules to real files

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

calculator: move `scientific_calculator` to its own folder `scientific`

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

iOS: use `app_files`

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

Android: use `app_files` to find android specific files

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

Android: move up assets and resources logic

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

Android & iOS: collect the arguments from the `app_files` annotation

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

lib: intro and doc the `app_files` annotation

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

benitlux: use the R class

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

Android support: import the R class at the top of all java files from the FFI

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

Java FFI: make `MModule::java_file` public

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

nitweb/angular: add metrics tab for packages, groups, modules and classes

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

nitweb/angular: add metrics directives

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

nitweb/angular: import d3pie js lib

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

nitweb/angular: model load metrics

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

nitweb: introduce metrics API

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

model_collect: collect accessible methods and VTs

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

tests: update nitmetrics output

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

metrics: add metric about abstract class inheritance

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

metrics: add Number of Accessible Definition metric for mmodule

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

metrics: add metrics about class content kind

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

metrics: factorize `mainmodule` and `model_view` for all MModule metrics

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

metrics: factorize `mainmodule` and `model_view` attributes for all MClass metrics

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

mongodb: wrap `Collection::aggregate` function

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

Merge: Improve (and fix) Docker

#2181 broke the initial bootstrap because nitc was not found to build nitmd thus failed the `make man`

This PR also cleanup the dockerfiles so the root/ directory is not more used (this cause issue for non-root users)

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

docker: do not install in /root as it is not accessible to unprivileged user

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

fix nitc path when making manpages

This broke Docker

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

Merge: global_compiler: Write errors to stderr

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Pull-Request: #2225