version 0.6.10

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

update c_src

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

lib/android: hacks to fix new_global_ref awaiting a fix for #845

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

Merge: Distribuable compiledir

Unfortunately, Nit is not yet available everywhere.
Therefore, in order to be able to distribute or deploy Nit programs, one easy way is to distribute the generated C code.

This is what we already do with `c_src` that contains modified C code from the compilation of nith.

This PR generalize the approach and allow the compiler to produce some neat and distributable .compile_dir.
Look at the new `mkcsrc` to see how things are simpler now.

Example, you want to disribute `hello_world`:

~~~sh
$ nitg examples/hello_world.nit --semi-global --no-cc --dir hello --compile-dir hello
$ ls -l hello
abstract_collection.sep.0.h
abstract_collection.sep.1.c
array.sep.0.h
array.sep.1.c
c_functions_hash.c
c_functions_hash.h
file_nit.c
file_nit.h
file.sep.0.h
file.sep.1.c
gc_chooser.c
gc_chooser.h
hello_world.classes.0.h
hello_world.classes.1.c
hello_world.main.0.h
hello_world.main.1.c
hello_world.mk
hello_world.sep.0.h
hello_world.sep.1.c
hello_world.types.0.h
hello_world.types.1.c
kernel.sep.0.h
kernel.sep.1.c
Makefile
math_nit.h
math.sep.0.h
math.sep.1.c
nit.common.h
stream.sep.0.h
stream.sep.1.c
string_nit.c
string_nit.h
string.sep.0.h
string.sep.1.c
$ cd hello
$ make
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o hello_world.classes.1.o hello_world.classes.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o hello_world.main.1.o hello_world.main.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o hello_world.sep.1.o hello_world.sep.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o string.sep.1.o string.sep.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o math.sep.1.o math.sep.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o kernel.sep.1.o kernel.sep.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o abstract_collection.sep.1.o abstract_collection.sep.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o array.sep.1.o array.sep.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o file.sep.1.o file.sep.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o stream.sep.1.o stream.sep.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o hello_world.types.1.o hello_world.types.1.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o string_nit.extern.o string_nit.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o file_nit.extern.o file_nit.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch  -c -o c_functions_hash.extern.o c_functions_hash.c
ccache cc -g -O2 -Wno-unused-value -Wno-switch -DWITH_LIBGC -c -o gc_chooser.extern.o gc_chooser.c
ccache cc  -o hello_world hello_world.classes.1.o hello_world.main.1.o hello_world.sep.1.o string.sep.1.o math.sep.1.o kernel.sep.1.o abstract_collection.sep.1.o array.sep.1.o file.sep.1.o stream.sep.1.o hello_world.types.1.o string_nit.extern.o file_nit.extern.o c_functions_hash.extern.o gc_chooser.extern.o -lm -lgc  -lunwind
$ ./hello_world
hello world
~~~

Pull-Request: #860

Merge: Attribute block

As promised in #832, here the attribute initialized with a block instead of a simple expression.

The syntax is quite strange but nobody complained in #832.
The final value is returned with a `return` and the `do` block follows optional annotation to look like the definition of methods.

`lazy` and all other annotations on attributes should works as expected.

~~~
class A
   var foo: String do return "Hello"
   var bar: String is lazy do
      return foo + ", world!"
   end
end
var a = new A
print a.bar # => hello, world!
~~~

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

Merge: Autoinit attributes

Allow `autoinit` on attributes.

This means that the initialization of the attribute is done during the initializer phase.
This will help when the initial value of an attribute depend on the value of another attribute set a the initializer phase.

So that

~~~
class A
   var x: String
   var y: String = x + " world!"
end
var a = new A("hello") # BOOM! uninitialized x while initializing y
print a.y
~~~

Can become:

~~~
class A
   var x: String
   var y: String = x + " world!" is autoinit
end
var a = new A("hello")
print a.y # => hello world!
~~~

The inconvenient is that the initialisation markers of attributes become more complex.
Now we have:

* no default value and no special annotation: the setter is collected as an initializer
* no default value and `noinit`: not automatically initialized
* default value and no special annotation: the value is set between the allocation and all initializers
* default value and annotation `lazy`: the value is set at the first access
* *new* default value and annotation `autoinit`: the value is set with all other initializers (other `autoinit`)

For an implementation explanation, the mechanism is a quick hack: `autoinit` means `lazy` + the getter is collector as an initializer. Therefore, when initializers are invoked, the getter will be invoked and the value lazily evaluated.

So the example is equivalent to

~~~
class A
   var x: String
   var y: String = x + " world!" is lazy
end
var a = ALLOCATE(A)
a.x = "hello" # collected setter for x
a.y # lazy getter for y
a.init
print a.y # => hello world!
~~~

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

.gitattributes: nodiff all c_src

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

mkcsrc: rewrite a simplified version

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

tests: add base_init_autoinit2.nit

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

modelize: handle `autoinit` on attributes

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

semantize: move noinit attribute to `AAttrPropdef::build_property`

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

tests: add base_attr_init_val_block.nit

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

modelize: introduce `AAttrPropdef::has_value`

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

tools: accept statement block in attributes

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

compiler: introduce `AAttrPropdef::evaluate_expr` to factorize the compilation of default values

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

Merge: neo4j: Print an error message when the server is down.

Show the message as expected.

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

Merge: Tweaks to Opportunity

Prettier forms and other modifications for your consideration.

I will deploy it on a server later today or tomorrow.

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

xymus.net: opportunity use site's header

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

xymus.net: update xymus.net nitcorn config to include an opportunity client

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

opportunity: always show at least 5 answer fields

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

opportunity: nicer meetup creation confirmation

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

opportunity: improve look of welcome message

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

opportunity: restrict modification of old entries

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

opportunity: use a container in "meetup" and "meetup_confirmation"

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

opportunity: meetups hash also rely on timestamp

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

opportunity: support not being at web server root

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

opportunity: by default the server uses port 8080

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

opportunity: prettier meetup participation form

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

opportunity: prettier meetup creation

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

neo4j: Print an error message when the server is down.

Show the message as expected.

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

compile: also generates a makefile named Makefile

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

compile: add option --group-c-files

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

compile: remove clib from the -I dir because the usufull files are already copied

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

compile: use shortest path from the compiledir to the outname

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

compiler: add option --max-c-lines

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

compiler: do not create empty .h file

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

opportunity: accept meetup without date or location

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

Merge: Threads

Intro the `threads` module with support for POSIX threads, mutex and barriers. Also provides 2 ways to have thread-safe collections: refining existing collections and sub-classing them.

TODO:
* Complete the collection support.
* Modifiy `print` so that printing the user content and the new line is (generally) atomic
* Add more examples/use in real programs
* Reinforce error support.
* Fix compatibility with FFI's global refs.
* Add, when needed, GC_THREADS to `gc_chooser.[c|h]`
* Do not include `gc.h` when not using libgc

ping @egagnon

Pull-Request: #849
Reviewed-by: Jean-Philippe Caissy <jpcaissy@piji.ca>
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Etienne M. Gagnon <egagnon@j-meg.com>

Merge: neo4j: Implement missing methods in `JsonArray`.

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

Merge: Workaround nitlight

nitlight was broken when `is cached` was used because highlight does not like AST transtormations.

This workaround justs disable the `cache` phase until something better is found.

http://nitlanguage.org/code2/nitserial.html#nitserial#MModule#serializable_type

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

Merge: lib: fix semantic on has_substring on extreme cases

And avoid illegal access outside the string.

Detected thanks to the interpreted that warns on out-of-bound accesses in nativestrings.

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

lib/threads: intro an example `concurrent_array_and_barrier`

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

lib/threads: intro new thread-safe concurrent collections

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

neo4j: Implement missing methods in `JsonArray`.

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

lib/threads: optional redefs of collections to be thread-safe

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

lib/threads: intro of the threads lib, with Thread, Mutex and Barrier

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

highlight: fix css for line and foldable

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

nitlight: disable `cached` since transformed AST cause issues in highlight

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

auto_super_init: make code robust if `typing` is disabled

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

phase: make `disabled=` public

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

lib: fix semantic on has_substring on extreme cases

And avoid illegal access outside the string.

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

Merge: Opportunity

Addresses a few issues mentionned  in #811 :
- Return to the meetup creation page when the creation fails (auto-complete fields with old info)
- Use real buttons for the addition/deletion of an attendee to a Meetup
- Forbid creation of a Meetup without at least one answer

I also added feedback when an error is produced when creating the Meetup via a system similar to what @xymus does for Benitlux.

There were a few bugs hidden in the code, the update of the compiler with checks on useless null tests has revealed two of them.

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

Merge: example: rosetta code

Starting playing #842
It is zen...

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

Merge: xml: Introduce SAXophoNit, a SAX processor in Nit.

This is a work in progress for a SAX processor in Nit.

Here is a sumary of what is (and what is not) supported at this point:
- [X] Content
- [X] XML declaration (parse it)
- [X] Acceptation of any XML document that Doxygen generates
- [ ] `DOCTYPE` declaration (or ignore it)
- [ ] XML declaration (do something with the settings)
- [x] Namespaces in XML
- [x] SAX mandatory feature flags
- [ ] XML 1.1
- [ ] Ignorable white space
- [ ] User-defined entities
- [ ] Encodings
- [ ] URIs
- [x] Test suite

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

opportunity: Fixed a few typos.

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

Merge: grammar: allow '`' inside foreign code blocks

This was an old bug causing the use of ``` ` ``` within a foreign code block to break the block. Example:

~~~~
fun foo `{
    // Some comment on entity `foo` would prevent the whole block to be recognize
`}
~~~~

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

example: add some tasks of Rosetta code

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

tests: update test_new_native_alt1 becaus eline change in array.nit

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

lib: add Array::+

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

lib/collection: minor fix to doc in list.nit

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

opportunity: Bugfix for answers at creation of a new attendee for a Meetup

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

opportunity: Cosmetic changes to meetup visualization page

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

opportunity: Fixed useless null check

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

opportunity: Creation of a Meetup can now return to its page on error

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

xml: Add an usage example.

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

xml: Add some tests for SAXpohoNit.

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

xml: Introduce SAXophoNit, a SAX processor in Nit.

For the moment, this implementation is mostly non-compliant, but it
works with most common XML documents.

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

xml: Add classes to help testing a SAX parser.

Will be used to test SAXophoNit (A SAX parser in Nit).

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

xml: Port SAX 2.0.

This is a port of SAX 2.0.1 (http://www.saxproject.org) in Nit. The
following is **not** included in this port:

* Support for SAX1.
* Exceptions.
* Factories (requires run-time loading).

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

grammar: allow '`' inside foreign code blocks

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

opportunity: Changed layout from contrainer-fluid to container

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

opportunity: Corrected typo in welcome message

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

lib: add Text::justify

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

Merge: New constructors with the `new` keyword

`new` constructors where introduced with the FFI and generalized latter for intern methods.
This PR make them also legal with used-defined code in Nit.

~~~
abstract class Person
   var age: Int
   new(age: Int) do
      if i < 18 then
         return new Adult(age)
      else
         return new Child(age)
      end
end
~~~

A `new` constructor is specified like a static method.
By default it returns the type of self, but this can be changed by the user.

This PR starts by generalizing the `new` constructors. Thus a lot of specific code in engine is removed.
Then additional rules are added to control the usage of user-defined `new` constructors.

The original code was great enough to accepts these new kind of method without heavy modification.

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

Merge: neo: Fix definition lists

Fix the code that load relationships between a property or a class and its definitions.

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

Merge: model: better implementation of the two `intro` methods

MClass and MProperty have a `intro` method to get the introducing
definition.
The initial implementation was to return the first known definition, that
make sense for a model constructed from a source-code where introductions
are read before refinements and redefinitions.

However, for a better robustness of the model that allows to load the
model form a serialized form or allows a model partially loaded, the
first-read definition is not necessary the intro.

This new implementation uses a different approach: the introduction is
the definition in the introducing compound (module for classes and
classdefs for properties). The introducing compound is known since the
construction, thus this new implementation is trivial and does not change
the API.

Rewrite-of: #841

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

tests: update some tests because buggy `new` are let untyped

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

tests: add base_new.nit

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

typing: ANew accepts only `init` on concrete class

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

neo: Remove `is_intro`.

`is_intro` is computed by the model and is ignored anyway.

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

model: better implementation of the two `intro` methods

MClass and MProperty have a `intro` method the get the introducing
definition.
The initial implementation was to return the first known definition, that
make sense for a model constructed from a source-code where introductions
are read before refinements and redefinitions.

However, for a better robustness of the model that allows to load the
model form a serialized form or allows a model partially loaded, the
first-read definition is not necessary the intro.

This new implementation uses a different approach: the introduction is
the definition in the introducing compound (module for classes and
classdefs for properties). The introducing compound is known since the
construction, thus this new implementation is trivial and does not change
the API.

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

neo: Fix linking between `MProperty` and `MPropDef`.

At loading, `neo.nit` linked each `MPropDef` two times to its
`MProperty`.

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

typing: `new`-fatories are like top-level methods

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

typing: allow `new` on interface and abstract classes that have a `new`-factory

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

typing: ANew distinguish the type of the class and the returned type

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

model: `new` factories have a return type.

The default is the definition class, so it remove a special case for
such methods.

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

model: `new` factories are named "new", not init.

It means that in `new X`, first the method name `new` is searched,
then the method named `init` as a fallback.

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

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>