Merge: Tired of having to remember all the Nit options? Try bash_completion!

This PR enables the option --gen-bash-completion that allow user to generate a bash completion file.

Exemple with `nitdoc`:

    $ nitdoc --gen-bash-completion
    $ sudo ln -s <nitdir>/bin/nitdoc.bash /etc/bash_completion.d/nitdoc
    $ . /etc/bash_completion.d/nitdoc

Then:

    $ nitdoc [TAB][TAB]
    $ file1.nit    file2.nit    file3.nit

    $ nitdoc --[TAB][TAB]
    --bash-toolname         --github-base-sha1      --no-dot                --sharedir
    --custom-brand          --github-gitdir         --only-metamodel        --shareurl
    --custom-footer-text    --github-upstream       --only-parse            --source
    --custom-overview-text  --help                  --path                  --stop-on-first-error
    --custom-title          --ignore-visibility     --piwik-site-id         --verbose
    --dir                   --log                   --piwik-tracker         --version
    --disable-phase         --log-dir               --private               --warn
    --gen-bash-completion   --no-color              --quiet

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

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

Merge: rename Sys::args

A step towards #461 since I do not want to do a mass migration.

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

Merge: Opts: small improvement

- syntax & comment
- hide an option
- fix an old bug

This rewrites and closes #531

Pull-Request: #612
Reviewed-by: Frédéric Vachon <fredvac@gmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: Add annotation `fixed` for virtual types

Fixed virtual types prevent redefinition is subclasses

~~~
class A
   type F: Foo is fixed
end
class B
   super A
   redef type F: Foo # Static error
end
~~~

Currently, there is no really apparent benefit of fixed virtual types because the hack of `typing::check_subtype`. Thus this is only a step toward the resolution of #298.

Note: the first commits introduce the basic verification on redefinitons of virtual types that is missing; but nobody saw that there was no checks.

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

Merge: Introduce `neo`: a model saver/loader from/to neo4j.

The `neo` module can be used to save or load a model from a Neo4j graph database.

Next pull requests will bring tools based on `neo`.

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

tests: add `test_toolcontext`

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

tests: add `test_neo`

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

tests: introduces `test_prog` a program that build a fake documented model to test model related tools.

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

src: Introduces `neo` a module for save and load Nit models intro a Neo4j graph database.

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

neo4j: add `save_entity` shortcut in NeoBatch.

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

neo4j: add `with_labels` to load node having multiple labels in one Cypher query.

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

lib/standard: assert "/home/../".simplify_path == "/"

Fixes #614

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

toolcontext: add `bash_completion` generation option for nit tools.

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

template: add `Template::addn` service

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

toolcontext: provide option `set-dummy-tool` used to fix the `toolname` and `version` services so they return respectively "DUMMY_TOOL" and "DUMMY_VERSION".

Useful for testing.

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

tests: extends test_opts for grouped single options

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

tests: add base_virtual_type_fixed.nit

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

model: introduce `MVirtualType::is_fixed` used indirectly by is_subtype

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

typing: remove hack for top-level method `args`

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

lib/standard: distinguish `args` and `sys.args`

The former is now a genuine top-level method.
The latter is now called `sys.program_args`.

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

opts: fix crash on grouped single options

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

opts: added possibility to hide an option from the usage (easter egg?)

Signed-off-by: Maxime Leroy <maxime.leroy76@gmail.com>

opts: added some obvious comments and fixed some syntax

Signed-off-by: Maxime Leroy <maxime.leroy76@gmail.com>

tests: extends base_virtual_type_redef for `is fixed`

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

model: add annotation `fixed` on virtual types

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

tests: update for VT check

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

Merge: Fix Android app name

Fixes the error reported by @privat

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

Merge: Serialization: use model to get attribute types & `auto_serializable` implies `super Serializable`

The `auto_serializable` implies `super Serializable` part is up for discussion. It cleans up the code, but the code could no more be compatible with engines that do not handle the annotation.

Next there will be a tool (and/or a phase) to generate support to deserialize generic types.

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

Merge: mnit_simple : Refactoring of android modules tests

All mnit_simple tests have been refactored to multiple test files allowing to run tests on a module basis. A new folder named `tests` has been created containing these tests. Each test now has a Makefile entry based on that rule : `test_Module_Name`.

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

Merge: nitmetrics: fix typo in usage text

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

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

examples: add an app_name to mnit_moles

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

android: fix app_name in res

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

modelize_properties: check redef types in ATypePropdef

Because some programs (mnit) rely on unsound virtual type refinement,
some errors are displayed as warnings.

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

test: update serialization tests use of attributes and super class declaration

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

model: silence warnings on multiple declaration of superclasses from artifical code

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

serialization: use a post model phase to set expected attributes type

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

serialization: move type_name to AType and apply recursively

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

serialization: correctly detect generic types

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

serialization: automaticly add Serializable to auto_serializable classes

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

nitmetrics: fix typo in usage text

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

Merge: fix Int#to_s and migrate Java FFI Int to longs

A rewrite that closes #592 and closes #458

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

Merge: Add annotation lazy on attributes

This annotation is basically a better `cached`.

~~~
class A
   var foo: Foo = some_complex_computation is lazy
end
var a = new A # no complex computation done yet
print a.foo # complex computation is done here
~~~

Unlike cached, the attribute is visible, and if a setter is available, the lazy can be sortcut. Thus lazy is behaving like a default value.

~~~
var b = new A
b.foo = new Foo # set before get,
print b.foo # thus complex computation is never done!
~~~

Note that with `readonly` #604 the setter can be unavailable, thus having lazy the only way to initialyze attributes.

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

lib/android: Removed simple_android UNDEFINED from nitg-g and nitg-sg sav

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

tests: add base_attr_lazy

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

src: intro `parse_superclass`

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

nitg: reorder extern-classes phase

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

lib/serialization: print errors when a type cannot be deserialized

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

niti: implements lazy in the getter using isset

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

niti: extract attribute expr evaluation in its own method

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

niti: Interpretor provides a service isset_attribute

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

niti: clean AAttrPropdef#call

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

comp: compile `lazy` in the getter

For primitive and nullables, lazy is implemented with an additionnal
boolean attribute used as a guard.
The guard is also update in the setter.

For nonnullable val*, lazy is implemented with issset that is currently
only correctly implemented in this subcase.

One isset has a good implementation, the guard implemnatation can be
removed.

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

comp: clean AAttrPropdef#compile_to_c

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

modelize_property: add a guard for lazy attributes

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

modelize_property: add annotation `lazy`

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

lib/android: update to Java `long` to represent a Nit `Int`

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

FFI with Java: use Java long instead of int to represent Nit's Int

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

nitg/ffi: Nit Int are C longs

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

lib/standard: Fixed implementation of to_s in Int.

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>
Signed-off-by: Jean Privat <jean@pryen.org>

neo4j: add nitunit for `Neo4jClient::nodes_with_label`

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

Merge: add the annotation `readonly` on attributes

`readonly` just generate no setter. So the value must be set trough the initial value.

Basically it is like the Scala `val` keyword.
Note that unlike the Java `final` modifier, the value cannot be set in a constructor (use a private setter instead if you need a restriction on the setter visibility)

~~~.rb
class Toto
   var a = new Array[Int] is readonly
end
var t = new Toto
t.a.add 5 # OK
t.a = new Array[Int] # Error: no `a=` in Toto
~~~

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

Merge: understand writable as an annotation

~~~.rb
class Toto
   var x: Int writable = 5 # before
   var y: Int = 5 is writable # after
~~~

This should become the new way, so while an active migration is not needed yet, once this PR is merger, new code should use the new notation.

Bonus: writable accepts an optional agrument that is the name of the writer.
This allows the reserve the name `foo=` for high-level setters.

Eg.
~~~.rb
class Toto
   var x: Int is private writable(set_x) # generates `set_x` instead of `x=`
   fun x=(v: Int) do # `x=` is feee, so I can use it for a distinct method
      assert x >= 0
      set_x(v) # I use the generated `set_x` as a private internal setter
   end
end
~~~

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

Merge: add attribute annotation `noinit` to skip the attribute in inits

~~~.rb
class Toto
   var tata: Int is noinit
   var tutu: String
end
var t = new Toto("hello") # only tutu in the constructor
~~~

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

Merge: Stop making docs by default

I am not sure people use the generated doc (I often ^C); for those that use it is, just `make docs`

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

tests: add base_attr_readonly

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

Merge: proposal for model: Generalize access to `model` form `MEntitiy`.

Since, MEntity are model things, let the user access to the model from them.

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

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

Merge: jwrapper: An extern class `in "Java"` generator

Consider as Work In Progress. This is an overview of what has been done so far on the java wrapper generator. Most of the features are implemented, but there's still a lot of work to do. In its actual form, the tool takes javap output stored in a file and wraps all methods and attributes (not really useful, but implemented) to generate a nit extern class in a .nit file. Up to one collection parameter and one collection return type are copied. Methods containing non-convertible types are auto-commented.

Features to come :
* Auto-generation of extern class for non-convertible types
* User interface with options
* Static overload support

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

Merge: friendz, a new game for contrib

Pull-Request: #561
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

modelize_property: add readonly annotation on attributes

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

contrib/jwrapper: Added static overload support

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

doc: do not make the stdlib doc by default

doc: remove doc/Makefile

Since there is no more doc to generate

model: Generalize access to `model` form `MEntitiy`.

Since, MEntity are model things, let the user access to the model from them.

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

model: makes MParameter an MEntity

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

tests: add base_attr_named_setters

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

annotation: add arg_as_id

I do not know why is was forgot

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

modelize_property: accepts alternative name for setters

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

test: convert writable to annotations

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

modelize_property: accept annotation `writable`

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

contrib/jwrapper: Added UNDEFINED to javap_visitor.res in sav

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

contrib/jwrapper: Added code generation module with code conversion maps

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

contrib/jwrapper: Added AST visitor for data extraction

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

contrib/jwrapper: Definition of a grammar to parse javap output

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

tests: add base_init_noinit

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

engine: skip noinit attributes on free constructors

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

modelize_property: understand `noinit` annotation on attributes

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

annotation: add `get_single_annotation` and `get_annotations`

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

Merge: Neo4j: bug fixes and improvments

Changes:
* avoid node duplication by force loading nodes from local store
* better handling of big graphes through separation of nodes and edges loading
* try to speed things up with nodes data preloading from `nodes_with_labels` response

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

Merge: Implement FFI global references in nitg

Finally follows the spec of the FFI.

Works with the `minesweeper` test case by @Freddrickk, but not with nitvm #582 (more on that later).

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

Merge: Annotation helper

New module `annotation` that factorize some common code on users of annotations.

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

Merge: src: some documentation on parser and model

So that the new nitdoc has something to display

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

src: some documentation on parser and model

tests: add friendz related sav

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

contrib: introduce the game friendz

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

Merge: src/android: Modified annotations names to avoid ambiguities

As discussed with @xymus, modified the 3 recently merged annotations names from `min_sdk_version`, `target_sdk_version`, `max_sdk_version` to `min_api_version`, `target_api_version`, `max_api_version` to avoid ambiguities as the android documentation related to these AndroidManifest entries always refers to it as *API Level* settings.

#568 depends on this PR because the annotations will be renamed on the test files.

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

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

Merge: Nity interface to Sqlite3 (A nicer wrapper to the old low-level Sqlite3 module)

No exposed extern classes, `is_open` method and an iterator!

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

lib/android: Added complete_simple_android.res to sav

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

lib/android: Changed entry to execute complete_simple_android by default

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

lib/android: mnit_simple tests refactoring

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>

src/android: Changed annotations names to avoid ambiguities

Signed-off-by: Frédéric Vachon <fredvac@gmail.com>