Merge: new option --define

It is standard in compiled programs to be able to setup some program configuration at compile-time.

Eg. C compilers accept a command-line option `-D` to define macros that will be used inside programs.
It is useful for configuring some string (like `-D PREFIX=/opt/nit/`, or `-D PORT=8081`) or activate some parts (conditional compilation, eg `-D WITH_SSL`).

This PR brings an equivalent capability to Nit engines through the new `-D` (`--define`) option.

The design behind the -D it to enable specific refinement of top-level functions at link-time.
Thus, basically

~~~sh
$ cat my_foo.nit
import foo
redef fun prefix do return "/opt/nit/"
$ nitg my_foo.nit
~~~

can be simplified into

~~~sh
$ nitg foo.nit -D prefix=/opt/nit/
~~~

Like `-m`, the `-D` creates a fictive module that refines the main module of the program.

`-D` also use the return type of the refined method to know how to interpret the text of the value.
Currently only Int, String and Bool is supported.

~~~nit
module foo
fun str: String do return "test"
fun num: Int do return 1
fun flag: Bool do return false
print str
print num
print flag
~~~

~~~sh
$ nitg foo.nit
$ ./foo
test
1
false
$ nitg foo.nit -D str=hello -D num=42 -D flag
$ ./foo
hello
42
true
~~~

The code of the PR is quite straightforward and show again that the new model is quite robust.

As usual, the first commits are some cleanup. The fun stuff is in the latter commits.

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

tests: update error_needed_method for niti

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

Merge: console: Offer a more reliable API.

The old API is error-prone when combining two character attributes.

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

tests: test --define in engines

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

mixin: introduce -D option to redefine functions from the command-line

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

src: new module mixin to factorize the -m option

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

compiler: do not use the outnames of fictive modules

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

console: Offer a more reliable API.

The old API is error-prone when combining two character attributes.

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

Merge: tests: detect and use portable time and date command

Advanced behavior of `time` and `date` is not protable. Thus try
to detect known working configurations and use them.

time and date are not fundamental for tests, so having
an unsupported implementation is not a big deal.

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

Merge: introduce `Iterator::finish`

While initially playing with for_abuse, an idea was to have the lib informed of an "end of iteration".

When the end of iteration was a result of `is_ok` false, it is easy for the lib to be informed.
But, if for some reason the client chose to abort the loop (with a `break` statement), the lib cannot be informed and some early release of resources cannot occurs.

This PR introduce a new optional service in iterators, namely `finish` that is automatically called at the end of `for` structures.

Currently, there is no user of such a function, but it is a POC that can be used for a nit-version of a `with` structure to implements for_abuse-like controls.

~~~nit
# Simple implementation of the `head` command
var head_limit = 10
for line in read_lines("some file") do
  # `read_lines` opens and reads each line
  head_limit -= 1
  if head_limit < 0 then break
  print line
end
# Here the file is automatically closed thanks to finish
~~~

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

Merge: Fix test of for abuse

Some cleaning of the for_abuse test.

A future PR will improve things.

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

toolcontext: introduce ToolContext::make_main_module

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

compiler: add Visitor::bool_instance

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

modelbuilder: node is optionnal in Modelbuilder::force_get_primitive_method

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

engines: do not crash on AST-less mclassdef

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

interpreter: add Interpreter::string_instance

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

tests: detect and use portable time and date command

Advanced behavior of `time` and `date` is not protable. Thus try
to detect known working configurations and use them.

time and date are not fundamental for tests, so having
an unsupported implementation is not a big deal.

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

Merge: Tester over MPI

On turing, running `mpirun -np 120 ../nitester --engine nitg-s,nitg-g,nitg-sg,nitg-e,niti ../src/nit*.nit ../examples/*.nit *.nit` from the `tests` directory takes 2m 46s on 120 processors to evaluate 9003 programs/engine combinations. On a single processor, the same work takes over 2 hours.

# Results (for the execution specified above)

* 9003 total test programs
* 5728 oks & 0ks
* 1245 fails (a lot of libraries and SDKs are missing)
* 175 no savs
* 191 fixmes
* 1494 sosos
* 125 skips
* 45 unknowns (unsupported results: skip soso, changed, etc.)

# Features and todo

- [x] Uses OpenMPI
- [x] Supports all engines through tests.sh
- [x] Collects and classify results
- [x] Works on the Turing cluster
- [x] Optimized to avoid overloading NFS
- [ ] Correctly detect the all the results (no more unknowns)
- [ ] Use with Jenkins (see what we can do with the generated XML files)
- [ ] Gather and keep failed results temporary files
- [ ] Be more customizable to run on different clusters
- [ ] Integrate some features from tests.sh

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

tests: add base_for_finish

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

lib/standard: introduce *Iterator::finish

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

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: Opportunity

Intoducing Opportunity, a Meetup planifier (or planner, if we listen to @xymus, will correct that along with your remarks).

So, here's the long awaited Opportunity that will be the cornerstone of every ~~nutritious breakfast~~ Latece weekly seminar.

Maybe more once finished, let's conquer the world with Nit's amazing abilities for easy web development.

Also, a function was missing from SQLite, I needed it so, here it is as well.

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

tests: improve and fix test_for_abuse.nit

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

lib/file: fix IFStream::close

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

contrib: intro nitester, a tester of Nit engines using MPI

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

Merge: Can refine inits

Bugfix where a redefined init constructor in a refined class loses its initializers.

This is a fast fix. A cleaner and more generalized approach may be developed latter.

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

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

tests: add base_init_auto_refine

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

modelize_property: inherit the initializers in the refinements of init

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

jenkins: Added opportunity to Jenkins paths

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

opportunity: Added Makefile and README

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

contrib/opportunity: Added tests for opportunity

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

contrib: Intro Opportunity, a meetup planner in Nit

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

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>

lib/nitcorn: HttpRequest added methods to get an argument of a certain type

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

lib/sqlite: Added last_rowid method to SQLite

Signed-off-by: Lucas Bajolet <r4pass@hotmail.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>

tests.sh: add env var to move xml file

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

tests.sh: allow errlist file inside outdir

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

tests.sh: add -node option

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

tests.sh: remove --quiet option on calls to time

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

tests.sh: support absolute path to outdir

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

tests.sh: add options outdir and compdir to tests.sh script

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

tests.sh: fix reference to /dev/null

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

lib/signals: improve documentation

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

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>