compiler: implements method_finish (partially)

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

interpreter: implements method_finish

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

typing: add AForExpr::method_finish

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

typing: add method try_get_method

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

Merge: nitunit: accept an absolute path for `--dir`.

When I passed an absolute path to the `--dir` option of `nitunit`, I got errors like this one:
```
ERROR: test_unread_order (in file /my/costum/dir/.nitunit/test_push_back_reader_TestPushBackDecorator_test_unread_order.nit): sh: 1: .//my/costum/dir/.nitunit/test_push_back_reader_TestPushBackDecorator_test_unread_order.bin: not found
```

It was a trivial bug so I fixed this.

Pull-Request: #809
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: lib/math: Added bin_not function to Int

Added missing function bin_not to `Int` as I might need it in the near future.

I figured it could be needed by someone else, so why not !

Pull-Request: #806
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

nitunit: accept an absolute path for `--dir`.

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

lib/standard/math: Fixed documentation on old binary operators

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: stream: push-back reader

I implemented something similar to http://docs.oracle.com/javase/7/docs/api/java/io/PushbackReader.html last week thinking I needed it for the XML parser, but I ended up with a top-down parser that do not need to backtrack by more than one octet.

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

Merge: NOTICE: update dates and authors.

After 2 years, I think the `NOTICE` file need to be updated.

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

stream: Introduce a push-back reader.

May be useful when implementing backtracking algorithms.

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

NOTICE: update dates and authors.

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

Merge: Improve Comparator type-kindness

The Comparator class in Nit was a PITA because, with the traditional modelization with a generic class, Comparator is contravariant but Nit only allows covariance in its genericity.

Example:

~~~nit
var ao = new Array[Object].with_items(2,1,10)
ao.sort_with(alpha_comparator)
print ao.join(" ") # => 1 10 2

var ai = new Array[Int].with_items(2,1,10)
ai.sort_with(alpha_comparator)
# Static error: expected a Comparator[Int], got a Comparator[Object]
~~~

This PR implements the nice proposition of Etienne Gagnon to makes Comparator a non-generic class but use virtual types to control the type of compared elements.

It is clearly an improvement over the previous implementation:

* more expressive (++++)
* less code (+)
* simpler for the client (less generic stuff) (+)
* coherent with the `Comparable` hierarchy that also use virtual types (+)
* a little more complex for the lib (virtual type redefinition) (-)
* loss of information when things are typed with the interface `Comparator`, yielding to more potential covariance error at runtime (--)

While less type-safe than a full (and complex) contravariance solution, the proposed solution is still better in term of type-safety than dynamic languages and non-generic-non-virtual-type solutions (eg. Java4):

* runtime errors are detected earlier than with erasure or with dynamic typing (fail fast)
* some errors are still detected statically:

~~~
var a = [1,10,2,3]
alpha_comparator.sort(a)
print a.join(" ") #=> 1 10 2 3
default_comparator.sort(a)
print a.join(" ") #=> 1 2 3 10

var b = [true, false]
alpha_comparator.sort(b)
print b.join(" ") # => false true
default_comparator.sort(b)
# Static type error: expected Array[Comparable], got Array[Bool]
~~~

Original-Idea-By: Etienne M. Gagnon <egagnon@j-meg.com>

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

lib/math: Added bin_not function to Int

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>

stream: Offer string-backed input streams.

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

model: rename LinexComparator::min/max to avoid name conflicts

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

lib: beef-up the Comparator api and documentation

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

lib: new API for Comparator

Also remove old deprecated classes.

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

Merge: lib: move some examples/* into specific subdirectories of their lib

examples/ starts to become a mess.
So move the simple examples of lib into an `example` subdirectory of the lib.

But I am not really sure that it is a good idea.

Before: 132 projects, now 120 projects.

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

Merge: Niti: small refactoring

Some small improvements in the interpreter code infrastructure.

Pull-Request: #801

Merge: Niti loves the command line

Nit is both a good compiled language and a good interpreted language (except that the naive interpreter is slow).

Some people already use nit as a traditional script-language by including a shebang at the first line of their programs and set them executable (`chmod +x`).

~~~nit
print "Hello world"
~~~

This experimental PR make the nit interpreter more script-useful.

First, it introduces the `-e` option to run a program written on the command line.
Like with ruby, perl, bash and other script language.

~~~sh
$ nit -e 'print 5+5'
10
~~~

Second, and this is just wonderful, it adds the `-n` option (from ruby and perl) to automatically iterate over the lines of files given as arguments. The current line is named `sys.line` (instead of `$_` in perl and ruby).

It works for stdin if no argument

~~~sh
$ echo "hello world" | nit -n -e 'print sys.line.capitalized'
Hello World
~~~

or on the arguments (as files) if one or more is given (it is the perl and ruby semantic)

~~~sh
$ nit -n -e 'print sys.line.capitalized' README
Nit Is A Statically Typed Object-Oriented Programming Language.
The Goal Of Nit Is To Propose A Statically Typed Programming Language Where Structure Is Not A Pain.
[...]
~~~

The logic of the `-n` is written in a library loaded at runtime (`niti_runtime.nit`), so can be updated without having to recompile the interpreter.

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

version 0.6.9

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

Merge: modelize: `missing-doc` on attributes

missing-doc only fires on public properties.
But attributes are always Private, so consider the getter method instead.

It make sense since the documentation on an attribute documents more the
getter than the attribute.

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

Merge: engines: no more `super_inits` method used in old-style automatic init

Unneeded old code...

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

Merge: neo: do not instantiate types directly, use the model API

Since visibility on constructor is disabled in nitg, the errors was not detected.

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

Merge: src: reduce warnings and spelling errors

Thanks to the new detected warnings, it is easier to remove them.
Also fix some spelling errors because vim colored them in red.

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

niti: change some visibility to avoid unnecessary intrude imports

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

niti: rename `init_naive_interpreter` as `Interpreter::start`

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

niti: introduce `read_variable` and `write_variable`

So the internal map is no more acceded directly, thus opening the door to
a more efficient implementation.

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

modelize: `missing-doc` on attributes

missing-doc only fires on public properties.
But attributes are always Private, so consider the getter method instead.

It make sense since the documentation on an attribute documents more the
getter than the attribute.

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

src: reduce warnings and spelling errors

Thanks to the new detected warnings, it is easier to remove them.
Also fix some spelling errors because vim colored them in red.

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

niti: add -n to run the program for each line in file-name arguments

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

niti: add -e to feed the interpreter with a program on the command line

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

modelbuilder: parent in load_rt_module is optionnal

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

lib/standard: make IFStream a PollableIStream so it can be used as stdin

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

engines: no more `super_inits` method used in old-style automatic init

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

neo: do not instantiatetypes directly, use the model API

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

lib: move some examples/* into specific subdirectories of their lib

examples/ starts to become a mess.
So move the simple examples of lib into an `example` subdirectory of the lib.

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

lib: create directories for some lib (in order to prepare examples)

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

.mailmap: add alias for privat@pryen.org

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

Merge: toolcontext: new option -w to enable/disable warning

The `-w` option takes the name of a warning (displayed at the end of message, between parentheses) to activate it; and "no-{name}" to disable it. It has precedence over -q and -W.

To show only missing-doc warnings in standard
~~~sh
$ nitg -q -w missing-doc standard
~~~

To show all warnings and advices, except missing-doc
~~~sh
$ nitg -W -w no-missing-doc standard
~~~

To show standard warnings except useless-type-test, but not advice except missing-doc
~~~sh
$ nitg -w missing-doc -w no-useless-type-test standard
~~~

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

Merge: compiler: compile_dir can be anywhere

Fix an old TODO. Now you can compile where you want and stop having a bunch of fat .nit_compile directories everywhere.

~~~sh
$ nitg --compile-dir /tmp/nit_compile examples/hello_word.nit
~~~

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

tests: update sav/test_toolcontext*

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

Merge: new annotation for manual setter `autoinit`

Sometime, automatic setters are not suitable and manual ones should be used.
Nit, especially since annotations (#601 and #604), has a simple way to have attributes and manual setters.

~~~niy
class A
   var foo: String is private writable(private_set_foo)
   fun foo=(v: String) do ...
end
~~~

However, with new constructor, it is the `private_set_foo` method that is used as initializer during the instantiation.

~~~nit
var a = new A("toto") # is in fact:
# a = alloc-instance(A)
# a.private_set_foo("toto")
# a.init
~~~

One may want to manually promote some setters as initializers, it is the job of the proposed `autoinit` annotation.

~~~nit
class B
   var foo: String is private writable(private_set_foo), noinit
   fun foo=(v: String) is autoinit do ...
end

var b = new B("toto") # is in fact:
# B = alloc-instance(B)
# b.foo=("toto")
# b.init
~~~

Bonus: in fact, this works for any method, even when they have more than one parameter. See the modification of the clock example that now use new constructors with a manually-set auto-initializer.

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

Merge: misc/jenkins: fix checklicense.sh

* Correct documentation.
* Fix the regular expression for the sought comment.

Fixes #780.

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

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

Merge: Fix generic parameter names

Since the beginning of Nit and class refinement, formal parameter names were attached to local-classes (MClassDef). So giving the ability to use different names in various class refinements.
This was done in an analogous way with parameters in methods since one can change their names in redefinitions or methods.

Nowadays, I think it is a nonoptimal idea since this renaming ability is unused, worse it is considered bad since it makes code more complex to read: one do not want to have distinct vocabulary for the same class but in distinct modules.

Moreover, having parameters attached to the class but names attached to the classdef cause some meta-model nightmares and a workaround was to internally name parameters with their rank in the class.
But nobody liked error message like `got Foo#0 but expected Bar#2`

A last issue is that, for a dynamic type system point of view, the formal types can be exposed as object-oriented-services. For instance, in potential construction like `if x isa y.T then ...`, where `T` is a formal type defined in the static class of `y`, and that will be resolved at runtime.
Thus, it is a bad idea that names of services can vary through refinement.

Therefore, this PR moves the name of generic formal parameters in `MParameterType`, kill the ugly `MClassDef::parameter_names`, rationalize `MClass` and `MClassDef` construction, and update all the client code.

This PR gives also two bonuses:

* `name` and `to_s` in `MParameterType` make sense so type-related error messages are more readable.
* Since the names of formal parameters become invariant in refinements, their declaration become optional:
~~~.nit
redef class Array # no E declared here
   fun pushshift(e: E):E do # but used here
      add(e)
      return shift
   end
end
~~~

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

tests: add base_gen_redef.nit

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

toolcontext: new option -w to enable/disable warning

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

compiler: compile_dir can be anywhere

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

misc/jenkins: fix checklicense.sh

* Correct documentation.
* Fix the regular expression for the sought comment.

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

examples: update clock.nit with manual setter+autoinit

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

tests: add base_init_autoinit.nit

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

modelize: new annotation `autoinit` for manual setters

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

modelize: remove a useless local variable

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

engines: handle initializers with an arity!=1

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

Merge: Less old style init special cases

The general transition to new constructor is nearer each day.

May fix an issue informally signaled by @R4PaSs.

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

src: migrate some modules to new constructors

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

tests: update related to the init changes

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

modelize: simplify special-case for named constrcutors

The only remaining case is for old style init named "init" since they
need a move clever transition scheme.

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

lib: some update towards more use of new constructors

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

Merge: Clean more tests

Some improvements in misc/jenkins and tests/tests.sh

Also, disable a lot of lib/ and contrib/ programs.
There is currently no point to compile them in all engines since most do nothing or are not executable.

The validity of all modules is now tested thanks to misc/jenkins/listnit.sh (warnings, units, metrics).
Thus it is no more the job of tests.sh to look after them.

Pull-Request: #780

separate_compiler: use the easier way to get a mparameter from a mclass

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

src: update tools to new names in generic parameters

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

modelize_class: update resolve_mtype for new generic parameter names in the class

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

modelize_class: redefinition of generic classes do not need to repeat generic parameter declarations

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

modelize_class: adapt MClass and MClassDef creation to new mparameters

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

lib: rename E to V in Map-related classes

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

tests: update sav/nitunit_args1.res

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

tests: add puzzle_args1.res

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

tests: do not test all lib and contrib.

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

jenkins: add --quiet to time in unitrun.sh

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

nitunit: prefix xml packagenames with 'nitunit.'

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

tests: sum the first-execution time with the compilation time

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

tests: add --quiet with time to avoid poluted time output

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

tests: interpteters have a 0 time compilation (fix tests output with interpreters)

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

tests: prexif xml packages with 'tests..'

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

misc/jenkins: add checklicense.sh

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

misc/jenkins: unitrun handle classname

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

Merge: Various fixes and improvements from We Broke The World

Pull-Request: #778
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: mnit improvements from We Broke The World

Pull-Request: #777
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: New syntax for typed literal arrays

Currenlty there is only
~~~.nit
var a = [1, 2] # a isa Array[Int]
var b = [1, true] # Type Error: ambiguous array type Int Bool
var c = new Array[Object].with_items(1, true) # c isa Array[Object]
~~~

Now, there is also
~~~.nit
var d = [1, true: Object] # d isa Array[Object]
var e = [1, 2: Numeric] # e isa Array[Numeric]
var f = [1, 2: Int] # f isa Array[Int] but with a warning for the useless `:Int`
~~~

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

tests: add base_array_lit_typed.nit

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

typing: adapt for typed literal arrays.

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

lib/ai: fix typo in doc

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

lib/bucketed_game: support cancel actions

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

lib/a_star: find alternative targets on path

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

mnit: Display use Numeric as coordinates

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

Merge: String services on paths

Since @xymus added `%` on String, I add `/` !

I also implemented `relpath` that is really usefull (I need it for the compiler) but nitcorn and nitiwiki may also use it for their operations on relative URL or relative wiki-links

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

Merge: nitdoc: do not generate private pages.

Partially fixes #771

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

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

Merge: Markdown: minor fixes

* fix some doc and dead code
* fix truncated fence blocks
* make sublcasses easier to implement

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

Merge: Clean stuff

A lot of small fixes and cleanups not really related.

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

lib: add String::relpath for advanced path manipulation

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

lib: add String::/ for path jonction

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

nitdoc: do not generate private pages.

Partially fixes #771

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

Merge: App.nit Data Store

Portable data storage services for app.nit.

May not pass the mnit_simple test before mergin the Intent PR #644.

Closes #559

Pull-Request: #662
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Frédéric Vachon <fredvac@gmail.com>

parser: regenerate for typed literal arrays

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

grammar: add syntax for typed literal arrays

~~~
var a = [1, 2, 1.5: Numeric]
~~~

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

github_search_for_jni: really execute contracts

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

benitlux: fix a nitunit

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

lib/markdown: remove some dead code

Shame on me...

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