tests: add base_gen_final_bound.nit

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

modelize_classes: warn on parameter types bounded on final classes

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

model: MParameterType.resolve_for handle the case of primitive bounds

~~~
class G[E: Int]
   # Since Int cannot have sublclasses, E == Int
end
~~~

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

typing: generalize warning on useless type tests.

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

tests: fix a typing error in some tests

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>

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>

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>

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>

src/android: Changed annotations names to avoid ambiguities

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

model: implements MType::name

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

neo4j: preload data from `nodes_with_label` response.

Speed things a little up with this shortcut.

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

neo4j: save and load edges separately from nodes.

Edges must be laoded manually by the user, this allow him to control
the way nodes and edges are loaded in memory and avoir out of memory
exception on big graphs.

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

neo4j: try to load nodes from `local_nodes`

Avoid duplication of nodes from `load_node` service.

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

tests: set nitvm_args3 as undefined

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

nitvm: replace hack by incr_refs

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

src: use the new module annotation in exising modules

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

src: new module annoation to help with annotations

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

tests: test incr_ref with lots of short-lived (in Nit) objects

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

FFI: implement the global reference functions

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

FFI: use libgc allocs

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

Merge: nitg: Added 3 annotations related to API level target and support for Android projects

It enables to add the minimum, maximum and target API level annotations in android projects. The annotations are as follows :
~~~
min_sdk_version(Int)
max_sdk_version(Int)
target_sdk_version(Int)
~~~

The target is the API used to build the project, the minimum sdk version specifies the minimum android API needed to run the app and the maximum is the maximum API level that can run the app. This PR allows to build for all android platforms instead of API 10 and below only. (API are platform versions)

The tests are structured to conform to #568. When #568 will me merged, the tests will have to be imported in `complete_mnit_android.nit`.
Won't compile before #580 is merged.

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

Merge: Attributes access with perfect hashing in nitvm

Runtime structures for accessing attributes in objects of the source program are now calculated.
Attributes access in runtime objects of the virtual machine is now functionnal with perfect hashing.

And some changes to improve the code in vm.nit

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

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

nitvm: fix a crash caused by a bad allocation of virtual tables

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

nitvm: use perfect hashing for atribute access

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

tests: test some errors of sqlite3

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

lib/sqlite3: store and use the error code of a failed database opening

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

Merge: remove unmaintained documentation: developpez and nitreference

Maybe things from `developpez` (form early 2011) could be updated an put on the website?

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

Merge: nitunit: remove a deprecated TODO

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

tests: add a test for the Nity sqlite3 module

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

lib/sqlite3: intro nity interface

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

Merge: Fix asnotnull

Add warnings on useless as(not null)  (one less TODO) and fix the bug on non-null primitives.

Fixes #589

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

neo4j: remove some as(notnull) to supress warnings

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

Merge 'origin/master' into fix-asnotnull to supress new warnings

nitvm: clean the code and add some comments

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

niti: add write_attribute as a unique entry point

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

nitunit: remove a deprecated TODO

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

Merge: lib: Introduce neo4j connector

La même avec curl et json embarqués.

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

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

Merge: Clean up GCC warnings on Android compilation

Corrects a bug, and avoid an error from #589

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

Merge: Toward the kill of oldstyle attributes

The transition from old-style to new-style attributes is a mess (cf. #280)
So in order to facilitate the transition, this patch enable the access to the internal attribute previously hidden by then new_style attribute.

Therefore, the transition path is simpler since one can move declaration from old-style to new-style but some access can still use the old `_foo` notation.

Note, the `_foo` access is not mean to be publicized bu only made available for specific short-term workarounds and transitions.

Practically, internal attribute named are prefixed with `_` and made visible (but private)

~~~
class A
   var foo: Int # introduce `foo`, `foo=` and, now, `_foo`
   fun bar do print _foo # Valid, it is a direct access to the real attribute behind the service `foo`
end
~~~

Note: because of bootstrap issues (in lib and parser), the remaining old-style attribute declarations remain and will be nuked in a future point after the regeneration of c_src

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

Merge: Some more syntax

Just a preparation for the next c_src where new syntax is injected.

The only one fully implemented is anonymous label

~~~.rb
do
   for i in coll do if i == 0 then break label
   stuff
end label
~~~

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

Merge: Multiple compilation

This (long?) PR has a simple goal, enable the compilation of multiple main programs in a single `nitg` execution.

~~~
$ bin/nitg src/nit*.nit --dir bin
~~~

The point is to factorize the shared frontend parts.
The previous single command takes 49s, so it is nice improvement on the current 1m10s total required to compile each one independently.

Under the hood, only the frontend (parsing, model, typing, etc.) is shared.
It means that a full code generation phase (`run_global_phase`) is executed for each main modules.
This allows to mix platforms or having global optimizations specific to each main program.

~~~
$ bin/nitg contrib/pep8analysis/src/pep8analysis.nit contrib/pep8analysis/src/pep8analysis_web.nit
~~~

This PR is long because some issues in the current code needed to be solved first:
* some parts in coloration assumed that all entities of the model belong to the compiled programs.
* some parts in the ffi attach some compilation inforrmation to the model or ast objects
* some platform-related things modified values in the command-line options in toolcontext

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

tests: remove remaining old-style attributes declarations

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

tests: inmprove base_as_notnull*.nit and update tests

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

comp: skip .as(not null) on not pointer values

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

typing: warn for useless .as(not null)

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

tests: rename and update low-level sqlite3 test

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

code: remove useless as(not null)

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

lib/android: remove useless as(not null) from audio

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

FFI with Java: correctly resolve the return types of callback to Nit from Java

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

lib: introduce neo4j connector

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

Merge: Phasify nitdoc

Launch nitdoc as a global phase (like metrics or nitg)

First commit is a cleanup that really detach doc/* from the modelbuilder.

Then some cleanup on `is_fictive`

Following commit remove the class NitdocContext and use ToolContext instead.

Last commit create add NitdocPhase that just instantiate and run Nitdoc.

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

Merge: Test nitvm

Add the engine `nitvm` in tests.sh so the developers of the vm can rely on the complex test framework.

1. compile nitvm (put it in src/ or bin/)
2. `$ cd tests`
3. `$ ./tests.sh --engine nitvm base*.nit` for some tests
4. `$ ./testfull.sh --engine nitvm` for all tests (long!)

Note: currently some tests (typing related) fails.
Note2: once the vm pass all tests, a new PR is needed so it is automatically built and tested.

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

remove unmaintained documentation: developpez and nitreference

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

nitdoc: use global phase (process_mainmodule)

nitdoc: replace NitdocContext by ToolContext

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

modelbuilder: automatic mainmodule from run_global_phases is fictive

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

model: promote `is_fictive` from doc_model

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

doc: use `is_fictive` instead of relying on the module name

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

markdown: privately import things and uptate clients

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

tests.sh: introduce new engine nitvm

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

tests.sh: use variable isinterpret instead of hard-coded checks

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