nitunit: remove a deprecated TODO

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

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>

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>

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>

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>

lib/sqlite3: implement Statement::reset & finalize

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

lib/sqlite3: add some doc

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

lib/sqlite3: implement column_blob

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

lib/sqlite3: no need for a directory anymore

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

Merge: tests: move the check of exec.skip to detect compilation error

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

Merge: String: Added four new methods to string.nit

Four new methods have been added to abstract class Text : is_upper, is_lower, to_snake_case, to_camel_case. The latter two relies on the two others in their implementation. Converting case may be useful for code generation, especially when wrapping extern classes in order to conform to snake case nit standard.

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

lib: introduce Stack in standard::collection

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

lib: introduce Queue in standard::collection

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

lib/standard: Added to_snake_case and to_camel_case to string.nit

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

lib/standard: Added is_upper and is_lower to string.nit

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

tests: move the check of exec.skip to detect compilation error

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

lib: move union_find to collection

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

Merge: Bundle: Nit API wrapping Bundle class

The Bundle class is an Android API custom mapping class. It maps `String` to various value types. This class is used by a lot of android callbacks and classes in general. It is mainly used to communicate data between application entities.

Required by the `Intent` API

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

Pull-Request: #507
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

lib/android: Added simple_android as UNDEFINED in sav/nitg-sg

Signed-off-by: Frédéric Vachon <fredvac@Pratchett.(none)>

Merge: Android assets, resources, and audio

Android assets and resources Management API, plus audio management and some java io for advanced purposes. The Audio API can use the assets and resources. Audio, assets and resources can use java io.

The assets and resources API introduces a "resource_manager" and an "asset_manager" in the "App" that can be used to retrieve files or values from both resources or assets folder.

The audio API introduces Sound class representing a sound that can be play by a SoundPool or a MediaPlayer. The SoundPool is designed for playing small sound and can play different streams simultaneously and the MediaPlayer is prefered for long sounds or musics and can't play sounds simultaneously. Also the API provides 4 methods in "App" to get a sound from assets or from resources, and from a MediaPlayer or a SoundPool.

The java io part of this pull request is needed for some advanced use and is already improved by @xymus to help managing the Bitmaps.

Some classes are still only a wrapper to the Java class, this may be improved in a future version

Also modifying android_platform so the user can add his own resources in the android project without compiling it a first time. If there is a res folder in the 'nit part' of the project, it will rewrite the one generated by default by android. When the user adds it's own resources, he needs to create at least a "res/values/strings.xml" file where he needs to put a string resource with the name "app_name" and the value he wants.

The tests are implemented in the mnit_simple example application

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

Merge: precedence and other things to nitcc

A lot of small things.
The best part is the introduction of syntactic precedence.

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

tests: update sav/nitcc_parser_gen.res

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

nitcc: add prerecence in the README

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

nitcc: update examples to use precedence

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

nitcc/tests: some update of error messages

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

nitcc/tests: add re.sablecc to test precedences

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

nitcc: add precedence on the grammar

This use a special syntax where alternatives ar grouped in classes of
precedences that goes from the most priority to the least priority.

Those classes starts with the keyword `Left`, `Right` or `Unary` and
groups the alternatives that follows.

eg:

~~~
e =
{int:} int |
{par:} '(' e ')'
Unary
{neg:} '-' e
Right
{pow:} e '^' e
Left
{mul:} e '*' e |
{div:} e '/' e
Left
{add:} e '+' e |
{sub:} e '-' e ;
~~~

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

nitcc: add Alternative::phony for those in the AST but not in the automaton

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

nitcc: does not crash if a production has no alternatives

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

nitcc: Accept special token End, but implement it as an epsilon

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