vim: rename `nitg` checker to `nitpick`

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

remove bin/Makefile (?!)

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

Merge: nitrpg: remove points if a PR is closed without merge

So @ventilooo won't cheat again!

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

Pull-Request: #1477
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: ArthurDelamare <arthur.delamare@viacesi.fr>

Merge: rosetta_code: sha1

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

Pull-Request: #1456
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: ArthurDelamare <arthur.delamare@viacesi.fr>

Merge: Nitiwiki next

Some fixes for nitiwiki in prevision for the nitlanguage.org site migration and the resolution of #824.

Do not consider b481cea since it belongs to #1368 (and break the loader)

Feature summary:
* ini accept array notation
* customizable sidebar content
* customizable sidebar position
* wikilinks support external links
* better search by title
* better search by path
* make breadcrumbs and summaries optionnal
* add link to github for last_changes and edit mode

Pull-Request: #1444
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Jean Privat <jean@pryen.org>

nitrpg: remove points if a PR is closed without merge

So @ventilooo won't cheat again!

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

rosetta_code: sha1

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

Merge: Activate C warnings in FFI code and revert `NativeString` to `char *`

The revert commit is partial, it affects only NativeString and does not touch Char.

Pull-Request: #1451
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: Work on the Curl module

Changes:
* Simplify callbacks so they do not break light FFI only engines.
* Remove about 8 classes and 3 C structures.
* Remove the custom implementation of NativeFile.
* Update style to the latest best practices. Note that it was one of the first large module based on the FFI, a lot has changed since then.
* Revamp and rename CurlMail, its API is now nicer to use:
~~~
import curl

var mail = new CurlMail("sender@example.org", ["to@example.org"], cc=["bob@example.org"])

mail.subject = "Hello From My Nit Program"
mail.body = "<h1>Here you can write HTML stuff.</h1>"

mail.headers_body["Content-Type:"] = """text/html; charset="UTF-8""""
mail.headers_body["Content-Transfer-Encoding:"] = "quoted-printable"

# Set mail server
var error = mail.set_outgoing_server("smtps://smtp.example.org:465", "user@example.org", "mypassword")
assert error == null

# Send
error = mail.execute
assert error == null
~~~

Thoughts on what's to do next:

* Extract the request API so Curl is only an implementation. The abstract API could also be implemented on Android where we can use Java services instead.
* Clean up `CurlHTTPRequest`.
* Use `Error` and differentiate between internal Curl errors and normal transfert failures.
* Replace the C structure linked to reading data and add tests for its usage.
* Add dead simple services: `Text::download: nullable String`, `Text::download_to_file(filepath: Text)`, `Text::download_to_stream(stream: Writer)` or something like that.
* Make more classes of native_curl private as we cannot make the module private because it defines the user-customizable callbacks. Some modules (neo4j) use what would be private, so it requires updating them also.

---

Should fix #936 and other problems when importing but not using Curl.
Also helps #1443 correctly report unsupported programs.

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

Merge: Add some collections for java/collections.nit

This PR complete the java collections : ``` int[], short[], long[], boolean[], byte[], char[] ```

Pull-Request: #1435
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: ArthurDelamare <arthur.delamare@viacesi.fr>

Merge: Attribute and autoinit annotations

A big set of loosely coupled but related changed on the annotations on attributes and methods.
Here is a summary of the changes on the user-side:

* No more special case for the kind of classes, so you can use `autoinit` in interfaces.
* Explicit annotation `autoinit` is understood on attributes and is the default on value-less concrete attribute.
* Abstract attributes are `noautoinit` by default, if `autoinit` is given, it is applied on the setter. This way abstract attributes are basically just a couple of getter-setter. close #1311

This way there is less special cases and behaviors. Still more work is required to finish #1322.

Pull-Request: #1433
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: nitvm: Basic blocks generation and SSA-algorithm

This PR introduces a SSA-algorithm implementation in the nitvm.

First, basic blocks are generated. A basic block is a sequence of instructions without a jump inside.
In this version, basic blocks are generated from the AST and so they contain only the first instruction and the last one.

Then, SSA-algorithm (Single-Static Assignment) is implemented. In SSA algorithm, variables are renamed to have only one assignment per variable.
Each time an assignment is made, a new version of a variable is made.

Some variables (phi-functions) have several assignment and so, several dependances.

The basic block generation and SSA are computed for each method in a lazy way in the nitvm.
The main objective of SSA is to give the dependances for each variable (this will be used in further PR).
This module also collect all object-mechanisms sites during the visit of methods.

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

Merge: example: add 24 game task of Rosetta code

Rosetta code example of 24 game
<http://rosettacode.org/wiki/24_game>

Pull-Request: #1372
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: file: fix `simplify_path` behavior for path starting with `.`.

Before this PR `./` was simplified in `/` which was wrong.

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

Pull-Request: #1368
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>

Merge: Date Lib

les fonctions ce trouve dans le module date_f.nit.

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

lib/markdown: fix missing space after wikilinks token

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

nitiwiki: add github url for last changes and edit mode

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

nitiwiki: also search relative patch in current section

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

nitiwiki: search titles in lower case

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

nitiwiki: make breadcrumbs optional

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

nitiwiki: make summary optional

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

nitiwiki: allow absolute url in wikilinks

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

nitiwiki: introduce customizable sidebar

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

nitiwiki: make all wiki entries able to parse markdown

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

nitiwiki: fix link lookup on root

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

ini: accept array notation

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

ini: show error instead crashing on bad formatting

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

nitiwiki: change position of sidebar from config

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

nitvm: Using SSA module in the nitvm

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

nitvm: A method compile offers a unique entry point for compilation-like mechanisms

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

file: fix `simplify_path` behavior for path starting with `.`.

Before this PR `./` was simplified as `/` which is wrong.

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

lib: fix C compiler warnings in sha1, socket and sdl

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

lib: fix C compiler warnings in standard library

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

Partial Revert "compiler: Changed types of Char to uint32_t and NativeString to unsigned char*"

This reverts commit 6b52ea3d5ca77dbcc6edbbf71c1aa9419a019bac.

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

src: compile user C code with -Wall

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

tests: add base_attr_annot.nit

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

tests: add base_attr_abstract[34].nit

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

tests: update other tests related to init with setters

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

tests: add base_init_setter.nit

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

tests: update base_attr_abstract[12].nit

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

modelize: remove restriction on concrete class in intializer collect

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

modelize: error/warning if explicit autoinit on attributes

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

modelize: error in `autoinit` is used in class refinement

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

modelize: move `autoinit` management on method into AMethPropdef

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

modelize: rely on `AAttrPropdef::mreadpropdef` to be the main property

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

modelize: add `AAttrPropdef::mtype` to factorize the type access

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

Merge: FFI clean up

Pull-Request: #1442
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

src/nitni: fix doc of `is_cprimitive`

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

lib/curl: nullable attributes of CurlHTTPRequest are optionnal

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

lib/curl: make `supporter_outgoing_protocols` public

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

Merge: Fix support for Byte in the FFI

Pull-Request: #1441
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: More keep going

This improve the robustness of tools when given --keep-going.
Tools like nitpick, that have --keep-going by default, are more robust and collect more errors.

Moreover, the compiler can now compile simple programs with instructions that fail during the typing phase (most errors like unknown method or bad type).

These instructions are compiled with a run time error instead so the program is still expected to behave in an reliable way.

~~~nit
print 1
fail now
print 2
~~~

~~~sh
$ nitc kg.nit --keep-going
kg.nit:2,1--4: Error: method or variable `fail` unknown in `Sys`.
$ ./kg
1
Runtime error: FATAL: bad statement executed. (kg.nit:1)
~~~

One usage would be to force `c_src` to compile things even if it lags behind.

Pull-Request: #1440
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>

Merge: Warn useless do block

Warn useless do block, like

~~~nit
loop do
  print 1
end
~~~

Close #1437

Pull-Request: #1438
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

Merge: Love contrib

One day, a package manager will simplify the installation and the maintenance of third-party projects, libraries and programs in Nit, so that `import foo` will import the project `foo` if installed.

Noways, `contrib` is used as a placeholder for some independent projects that are not mainly a library (or borderline). However, the nature of the Nit language, especially the refinement of class blurry the difference between libraries and programs and make it conceivable to extends an existing program by refining it (or just reuse its base libraries).
However, `import foo` will not work if foo is in contrib, this issue has two current workarounds:

* the user use `-I` with some relative path location in the Makefile, that is not practical because it should be used on each tools thus broke basic manual commands (like nitc on the command line) and automatic commands (like vim+nitpick).
* the project just move itself to lib/ so that client can easily import it, but this is hard to conceptualize for some project like `nitiwiki`

The easy solution to solve this issue is to add `contrib` to the libpath.

Note: the loader still has to be rewritten to be less buggy, more simple and saner. cf #1250

Pull-Request: #1436
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

lib/github: update use of Curl

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

contrib: update users of Curl

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

tests: update test_curl to latest API

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

lib/neo4j: fix and update usage of Curl

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

lib/curl: revamp the curl_http example

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

lib/curl: update users of the custom class and fix wrong types

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

lib/curl: replace custom classes by containers

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

lib/curl: fix implementation of `user_agent`

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

lib/curl: revamp and move the curl_mail example to a nitunit

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

lib/curl: implement `CurlResponseFailed::to_s`

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

lib/curl: `CurlMail::execute` may return null

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

lib/curl: use a cached instance of `Curl` in `Sys`

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

lib/curl: update module doc

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

lib/curl: make `Curl` a `Finalizable`

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

lib/curl: revamp CurlMailRequest and rename it CurlMail

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

lib/curl: remove `CurlMailRequest::add_conventional_space`

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

lib/curl: use local variable when attribute is nullable

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

lib/curl: update more classes to the new inits

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

lib/curl: revamp style, doc and implementation of HeaderMap

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

lib/curl: make private and update init of HeaderMapIterator

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

lib/curl: rename `i_file` to `file`

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

lib/curl: remove the CurlCallbaksRegisterIntern class

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

lib/curl: replace the `C` prefix by `Native`

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

lib/curl: rename `prim_curl` to `native` per the nity/native pattern

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

lib/curl: use the prefix `native_` following the nity/native pattern

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

lib/curl: use File and NativeFile instead of the local OFile

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

lib/curl: update and clean up the callback system

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

lib/curl: update style and add more space between properties

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

src: prepare `MType::cname_blind` to be more customizable

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

src/c_tools: don't declare the functions in the header

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

src/java FFI: lib/jvm.nit already specify ldflags

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

src: fix support of Byte in the FFI

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

tests: test Byte with the FFI

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

tests: update style of test_ffi_c_primitives

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

tests: add test_keep_going.nit

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

rta: do not visit broken NExpr

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

rta: do no visit borken method

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

compiler: skip compilation of broken methods

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

transform: skip transformation of broken expr

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

typing: improve reliability of `is_typed`.

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

phase: continue the phase if errors occur.

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

compiler: runtime error (instead of noop) on dead/invalid code

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

nitvm: SSA modules also gives all object-mechanisms sites after the computation

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

nitvm: Utility class for printing basic blocks and SSA to dot files

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

nitvm: Computation of SSA-algorithm after the basic block generation

Signed-off-by: Julien Pagès <julien.projet@gmail.com>

nitvm: The position of a Variable in the environment is writable

Signed-off-by: Julien Pagès <julien.projet@gmail.com>