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>

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>

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>

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>

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>

Merge: xdg_basedir

Will also be used to implement #559.

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

tests: update test_parser

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

tests: add base_label_while2.nit for anonymous labels

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

scope: correcty handle anonynous labels

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

parser: regenerate with new last grammar changes

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

grammer: accept redef and visibility in front of annotation

~~~
var foo is public bar
fun baz is
   # doc
   redef private foobar
end
~~~

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

grammar: accept redef and visibility on module declaration

The visibility on modules will hide thing inter-projects

The redef is accepted only for convenience, and could
be rejected on a latter analysis.

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

grammar: accept annotations in implicit extern methods

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

grammar: add elipsys notation to pass an expression in a vararg parameter

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

grammar: accept annonymous label

Often, a single label is needed, for aborting some neested loops for
instance. But the programmer was forced to still gives a name to a
label. This yielded to crasy or useless names,

The proposal is to allow anonymous label.

Eg. in the following, the break breaks the x loop
~~~
for x in xs do
  for y in ys do
    stuff
    if something then break label
  end
  stuff
end label
~~~

Note: by the way, valued breaks and continues are removed.

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

grammar: accept `public` as a valid visibility

It has the same semantic than no explicit visibility, but
will allows a simpler transition to a new visibility level.

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

test/mnit_simple: Added tests for API level related annotations

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

src/android: Added 3 metadata annotations for API Level related matters

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

modelize_property: enable the access of the internal attributes

The transition from old-style to new-style attributes is a mess.
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)

src: use multicompile to fasten the initial make

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

tests: multicompile with nitg

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

tests: update base_simple_import.nit so the result difers from base_simple.nit

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

comp: enable multi-compilation, ie multiple main programs

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

ffi: reset FFI compilation result attached to the module

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

ffi: move guard  in the AbstractCompiler

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

ffi: move guard  into the MModule to simplify management

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

comp: compilers do not modify opt_stacktace, it is a global info

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

comp: use a local `no_main` variable

Instead of modifing the global opt_no_main option

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

colo: rewrite build_{meth,attr}_tables

The current implementation has two issues.

First, it relies on the full model instead of just the main module
eg. `mproperty.mpropdefs` is full-model information

Second, the order of the refienements is fragile and may be distinct form the
one given by the model.

Therefore, this commit just remplaces the code with one that just fill
slots with information given by the model (instead of recomputed in a
fragile way)

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

colo: Colorize only class in the module, not all in the model

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

colo: `MModule::properties` does no give properties is does not have

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

Merge: Fixes for attributes

Some fixes and improvements in modelize_property.nit on the attributes side.

* redef optional on the `writable` part (see #270)
* fix signature check
* enable the inheritance of the type when a var redef a fun

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

Merge: Some minor improvements to Sqlite3

Will be used to implement #559 under Linux.

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

sqlite3: use sqlite3_close_v2

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

lib/sqlite3: implement Sqlite3::is_valid

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

tests: test untyped attributes in base_attr5

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

Merge: lib/android: Typo fix for shared_preferences module

Fixed typo and added import to shared_preferences_api11 module

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

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

Merge: lib/curl: clean and sort options

Clean and sort options, also enable new ones.

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

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

Merge: Symetric [] & []= in android::shared_preferences

Now SharedPreferences[]= always serialize, and [] deserialize. This would be the default dehavior for a Nit application. The other getter/setter for primitive types are still available but must be used directly.

Pull-Request: #577
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Frédéric Vachon <fredvac@gmail.com>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

lib/android: Added import and fixed typo

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

Merge: Splay ropes

Added Splay tree operations on ropes (see [Splay tree](http://en.wikipedia.org/wiki/Splay_tree)).

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

modelize_properties: attributes inherit the static type of the getter

so, one could write

~~~
interface A
  fun foo: String
end

class B
  super A
  redef var foo # var foo is a String!
end
~~~

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

android/shared_preferences: []= always serialize to be symetric with the new []

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

modelize_property: do not crash if mtype is null in check_visibility

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

modelize_property: correctly check signature for getter and setter

Some clone of bug 855796228e2ea1234246990c68741ccffbce93ae

android/shared_preferences: import json_serialization privately

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

nitcc_runtime: force static type of Nodes::children

We want a mutable sequence here!

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

lib/curl: clean and sort options

Also enable new ones

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

Merge: Nitdoc standalone

Make `nitdoc` able to generate documentation only with a Model.

This will enable other clients than the actual `ModelBuilder` based one like from DB connector.

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

tests: update base_attr5 for redef policy

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

modelize_property: the `redef` on writable is now optional

fixes #270

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

Merge: lib: introduces ini config file reader/writter

To handle ini files.

Pull-Request: #566
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Frédéric Vachon <fredvac@gmail.com>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

compiler: add `--dir` to just change the output directory

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

android_platform: use `outfile` instead of its own stuff

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

compiler: `add MakefileToolchain::outfile` to compute outnames

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

Merge: Structs

More standard data structures and algorithms

closes #512

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

Merge: Java FFI with Java generics

To support extern classes of Java generic types, we remove all the parameters of generic types in the JNI signature format.

Example:

    extern class QueueOfString in "Java" `{ java.util.Queue<String> `}

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

nitdoc: extract NitdocContext from Nitdoc generation

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

nitdoc: clean output_dir option selection

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

nitdoc: limit dependency to `model`

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

model_utils: limit dependency to `model`.

Also update tools importing `model_utils`

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

lib: introduce Heap and PriorityQueue in standard::collection

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

lib: introduces ini config file reader/writter

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

tests: test generics in Java FFI

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

Java FFI: support generic Java types in extern class foreign type

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

tests: add test for xdg_basedir

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

lib: intro xdg_basedir

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