model-clients: use `is_root_init` instead of `.name == "init"`

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

Merge: Some gammar improvements

A bunch of unrelated grammar work: bugfixes, a feature and stuff for future work.

The only implemented feature is the use of extended method identifiers in annotation (setters and operators)

~~~nit
class A
   var foo: String is writable(real_foo=)
   fun foo=(f: String) do
      print "Hello!"
      real_foo = f
   end
end
~~~

Some additional syntax for future works are now accepted but are ignored (or will crash at compile-time).

* user defined factories in class (eg. define `new` in interface)

~~~
interface Buffer
   new do return new FlatBuffer
end
var x = new Buffer
~~~

* code-block in attributes. when the default/lazy value is more complex than a single expression

~~~
class A
   var foo: Int do
      print "Hello!"
      return 5
   end
end
~~~

* generalized tuples. eg. for multiple returns, but more word is needed #839

~~~
fun foo(a,b: Int)
do
   return (a/b, a%b)
end
~~~

In fact, generalized tuples accepts anything that annotations accepts... (eventually they will be rejected just after parsing)

~~~
var x = (1, Array[Int], for x in a do print x, toto=, -)
# in order: a literal expression, a type, a statement, a method identifier (setter),
# an other method identifier (the minus operator)
~~~

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

tests: update tests because the parser gets better to parse arbitrary things.

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

parser: regenerate

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

grammar: allows blocks in attribute definitions

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

grammar: accepts new-factory with code

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

annotation: `as_id` works with operators and setters

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

parser: generalise Prod::collect_text

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

ast: accept methodid in at_args

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

grammar: add qmethid for qualified methid id

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

Merge: neo: Add `MAttributeDef.static_type` in the graph.

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

neo: Add `MAttributeDef.static_type` in the graph.

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

Merge: Fix the old bug where (-0.1).to_s == "0.-1"

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

Merge: neo: correct the documentation of neo.nit according to PR #781.

PR #781 changed the model, but not the documentation of neo.nit.

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

Merge: Small compiler things

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

Merge: file: Fix `join_path` to handle paths ending with a slash.

That way, we no longer need to manually remove the trailing slash before calling `join_path`.

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

tests: update savs for tests using the previously broken to_precision

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

lib/standard: fix `Float::to_precision`

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

neo: correct the documentation of neo.nit according to PR #781.

PR #781 changed the model, but not the documentation of neo.nit.

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

abstract_compiler: prefers implementing expr than stmt in assignments

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

abstract_compiler: default stmt implmentation do not need to execute variables as statments

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

parser: add tuples

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

ast: remove classes AAtArg and make them simple AExpr

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

Merge: Robust debug

First pass on the debugger, simple cleanup/fixes that might be helpful for the end-user.

Addresses some of the issues mentioned in #742.

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

Merge: Brainfuck

As the name implies, this is a very simple Brainfuck interpreter written in Nit.

Yes, it is (mostly) useless, but it might serve as an example of a simple Nit program.

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

Merge: src: remove two TODO that are done/unneeded

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

Merge: Better varargs

since their introduction in Nit, varargs had a quick and dirty implementation.
They where implemented with a complex path in the low-level parts of engine instead being implemented at  the AST level as it should be: varargs is more a syntactic sugar than something else.

Thus this PR changes the implementation of varargs in the engines.
This rationalize the `varargize` methods and simplify the code for low-level part (and also solve some bugs)

Additionally, the reverse-vararg, already accepted by the parser but unused until now, is implemented.
The principle it to pass an array where a vararg is expected.
Because of static ambiguities, the array passed as-is must be annotated with an ellipsis (`...`).

~~~nit
fun foo (xs: Object...) do print x.join("-")
foo(1,2,3) # prints "1-2-3"
var a = [1,2,3]
foo(a...) # prints "1-2-3"
foo(a) # pass `[a]`, a new array with a single element `a`, to foo, thus prints "123"
foo(1...) # Static Type Error: expected Array[Object], got Int.
~~~

Still, I think that error messages should be improved (cf. #98) but this seems to need some additional work in the error infrastructure.

A remaining question is what is the best acceptable type passed.
In the proposed implementation, the reverse-vararg must be a compatible Array (so a Sequence or a List are not accepted) and is given as is to the real method, that is allowed to modify it.
Should we change the type on a vararg to be a Sequence, a SequenceRead, of even a simple Collection ?

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

tests: add base_vararg3.nit

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

typing+engines: handle reverse-vararg: passing an array as-is.

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

file: Fix `join_path` to handle paths ending with a slash.

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

brainfuck: Added a simple Brainfuck interpreter

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

grammar: minus and once do not need nopar variants

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

src: remove two TODO that are done/unneeded

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

Merge: Manpages

~~~sh
$ man nitg
~~~

A dream come true.

More seriously, toolcontext is extended to be able to generate manpages (in a similar way than completion).
Then a bunch of manpages is generated.

The content of the manpages should be improved but this is better than nothing.

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

Merge: transform loops

In order to activate more optimizations and simplify code generators and analysis, the `while` and `for` loops must be transformed into simpler forms (in fact in complex forms but with simpler elements)

However, to do such a transformation, the escaping mechanism (break/continue/goto) must be rewrote.
Previously, for each loop control structure (loop for, while), a single EscapeMark was generated and breaks and continues are associated to the same mark, even if they branch in distinct points (so each escapemark had 2 branching mechanisms)
Now, with the first commits, two escapemarks are generated for each loop control structure, and breaks and continues are associated to a different one. The advantage is that each mark only have a single branching mechanism and that once associated to their mark, there is no need to distinguish break and continue (both become simple gotos).

The transformations of loops can be then implemented.

The `while`

~~~
while cond do block
~~~

is transformed into

~~~
loop if cond then block else break
~~~

and `for`

~~~
for i in col do block
~~~

is transformed into

~~~
var it = col.iterator
loop
   if it.is_ok then
      var i = it.item
      do block
      # ^ `continue` in the block it attached to the `do`
      # this is why the transformation of escape-marks where needed in fact.
      # and break is associated to the main loop
      it.next
   else
      break
   end
end
it.finish
~~~

Note that these transformations are basically what is currently implemented in rta, niti and nitg. Except that, now with a single transformation point, those three workers does not need to do their own transformation and basically can just rely on the one done on the AST level.

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

Merge: console: use snake case.

Correct a little mistake.

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

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

share: generate stubs for manpages

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

tests: update sav/test_toolcontext_args*.res

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

toolcontext: add --stub-man

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

transform: move up shortcut-range from abstract_compiler to transform

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

transform: shortcut range

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

transform: transforms `while` and `for`

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

astbuilder: can make loops and breaks

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

scope: create two escapemaks in loops

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

global_compiler: remove useless methods since varargisation is done at the AST level

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

compiler: do the varargization in the ANodes

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

interpreter: remove useless methods `*call_without_varargs`

since varargs is now done at the AST level.

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

interpreter: do the varargization in the ANodes

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

console: use snake case.

Correct a little mistake.

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

debugger: Simplified names and integrate bad_command/help functions

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

Conflicts:
src/interpreter/debugger.nit

debugger: Added help/bad_command functions

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

debugger: Removed module Breakpoint, moved Breakpoint class to debugger module

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

lib/standard: improve documentation of `Float::to_s`

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

Merge: src: remove some warnings and do some cleaning

Extracted from the first version of #817

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

Merge: new warning: useless null test

So, detect things like

~~~nit
var a = "Hello"
if a != null then print a
#   ^ useless null test!
~~~

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

tests: update some tests related to useless-null-test

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

lib: remove useless comparison on null that broke tests

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

src: remove useless comparisons on null

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

typing: new warning useless-null-test that detect == and != between non-nullables and null

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

typing: refactor type adaptations in AEqExpr and ANeExpr

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

src: remove some warnings and do some cleaning

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

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>

ast: add new node AEscapeExpr to generalizes ABreakExpr and AContinueExpr

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>

ast: kill AProxyExpr

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

grammar: remove useless production expr_final

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

grammar: remove no before comma in idlist

Signed-off-by: Jean Privat <jean@pryen.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>