Merge commit 'b7e675f'

Partially fixes issue #276 and add the test to exhibit the remaining bad
behavior of the issue

Merge branch 'use_more_callsite'

CallSite is a great data-class to store various information on a call
site.

This series generalizes its usage in some place, and remove a old
depreciated API.

This uniformization and cleanup will be useful in future work, like
call-site optimizations and the new constructors

tests: add base_attr_init_val_int.nit

This is used to show the current bad behavior of uninitialized primitive
types.

See issue #276
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Signed-off-by: Jean Privat <jean@pryen.org>

RTA: force primitive types to be alive

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

Merge remote-tracking branch 'lucas/string_integration'

Part of String refactor, adds a new "chars" method on strings, should be
preferred to the old way of calling Collection services on Strings and
Buffers.

tests: update RTA tests to relates the change in rta module

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

typing: remove depreciated API and rely only on callsites

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

niti: use callsite to do the interpretation

Instead of the old API

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

rta: use callsites to do the analysis

This is also simpler than using the deprecated API

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

typing: use a callsite to store "super init call"

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

Merge branch 'fix_param_check'

Merge branch 'fix_mkcsrc'

merge 407771f (#269) broke the regeneration of c_src
(because of hard coded ".nit_compile" path)

This series fixes the issue, and provide a script usable by Jenkins
to ensure that this does not occurs again.

This also highlight that the reviews of #269 where insufficient
and/or motivated by something else than code quality :)

src: new script full_bootstrap

Used to check that mkcsrc is not broken

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

mkcsrc: remove and replace old c_src

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

compiler_ffi: use `compile_dir` instead of hard-coded ".nit_compile"

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

abstact_compiler: add `ModelBuilder::compile_dir`

So each part do not have to retrieve it from opt_compile_dir

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

Merge remote-tracking branch 'lucas/local_redef_fix'

Merge branch 'fix_lookup_definitions'

tests: update sav and remove some fixme.

It means that #271 was already known but nobody cared :(

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

modelize_properties: improve error messages

So that the original propdef is shown

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

modelize_property: fix the check of the types of parameters in a redef

COMP101 brownbag bug where someone mistake 'or' and 'and'

Fixes #271
Reported-by: Julien Pagès <julien.m.pages@gmail.com>
Signed-off-by: Jean Privat <jean@pryen.org>

nitg: Fixed modelize_property to print an error when two redefs of the same method occur locally.

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

model: select_most_specific behave correctly when given comparable propdefs

Keep all occurences of comparable but distinct propdefs.
This case should not occurs in sane usage of the function.
But having a good behavior is good nevertheless.

Reported-by: Lucas Bajolet <lucas.bajolet@hotmail.com
Signed-off-by: Jean Privat <jean@pryen.org>

model: factorize `select_most_specific` from `lookup_*_definitions`

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

Merge branch 'ffi_core' into merge_ffi

nitg: detect if a compiler supports the FFI

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

nitg: activate support for the FFI in nitg

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

Conflicts:
src/abstract_compiler.nit
src/separate_compiler.nit

nitg-g: support cast between subtypes of Pointer

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

nitg: intro the compiler_ffi module to support the FFI in nitg

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

nitg: intro the common_ffi module and support for the C language

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

nitg: intro the nitni module

Offers services defining the tailored API used by the FFI.

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

Merge branch 'ffi_libupdate' into merge_ffi

lib: update json module to the latest FFI spec

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

lib: update the callback_monkey example to the latest FFI spec

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

lib: update sort_downloads to the latest FFI spec

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

lib: update the socket module to the latest FFI spec

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

lib: update the curses module to the latest FFI spec

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

lib: update the signal module to the latest FFI spec

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

lib: update mnit module to the latest FFI spec

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Signed-off-by: Jean Privat <jean@pryen.org>

lib: update gtk3_4 module to the latest FFI spec

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

lib: update curl module to the latest FFI spec

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

lib: update sqlite3 module to latest FFI spec

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

lib: update md5 module to latest FFI spec

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

lib: update the json module to latest FFI spec

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

tests: update FFI tests to latest spec

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

lib: update standard library to latest FFI spec

At this commit, nitg can be compiled using nitg compiled from Nit in
the previous commit.

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

c_src: update for new ffi syntax

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

stdlib/strings: Temporary removal of Ropes from stdlib.

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

Merge branch 'prepare-ffi-migration' into merge_ffi

stdlib/strings: Removed usage of Strings as SequenceRead by using chars.

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

model: rta uses its visitor only to visit FFI extern methods

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

tests: remove native interface tests

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

src: delete old ffi and native_interface code

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

tests: fix sav file for test_for_times

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

Merge branch 'enlarge_ffi_syntax' into merge_ffi

doc: added comment for metrics::inheritance_metrics::InheritanceMetricsPhase

Alexandre Terrasa <alexandre@moz-code.org>

stdlib/strings: Removed from_substring constructor (replaced by with_infos)

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

stdlib/strings: Added view on the chars of String and Buffer class to abstract them from the Collection model

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

parser: regenerate files

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

parser: extern stuff accepts types and dot

For compatibility with existing code:

* dot is optional to keep compatibility with existing code.
* The language of types include the language of classid.

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

parser: drop qualification in annotations

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

Merge branch 'long_string'

fix long strings with alternation of " and {

example of now accepted strings

~~~
a = """<field="{{{value}}}">"""
~~~

However, I am not sure how existing colorers (see the misc/ directory)
behave.

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

tests: add test_string_triple2.nit

for complex mixing of { and "

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

parser: regenerate table for long strings

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

parser: improve long string when mixing " and {

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

c_src: remove git attribute `diff` on generated files

So diffs and stats will not be polluted by meaningless changes

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

Merge branch 'rta_not_mandatory'

Merge branch 'calculator' of https://github.com/BlackMinou/nit

Merge pull request #1 from xymus/calculator

Small fixes for the calculator example and gtk lib

examples/calculator & lib/gtk: fix whitespaces

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

lib/gtk: fix name collision of the "visible" properties

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

lib/gtk: fix duplication of "visible" properties

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

Merge branch 'Patch-signals' of https://github.com/CaptainKali/nit

Merge branch 'reassign_fixes' of https://github.com/R4PaSs/nit

Merge branch 'serialization'

Merge branch 'unwind_integration'

tests: remove sav/nitg-e/fixme/base_gen_infinite.res

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

nitg-e: run without RTA thus allows recursive generic types

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

nitg: new module `collect_super_sends` to use when RTA is disabled

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

nitg: protect some null runtime_type_analysis to fall back on unknown stuff

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

nitg: make runtime_type_analysis nullable to enable no RTA

A lot of NPE will break, but places are ready

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

tests: update error messages in error_needed_method

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

rta: check the type NativeArray before the method with_native in varargs

This is coherent with the other NativeArray stuff in RTA and the way
engines do it

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

rta: use `to_s_with_length` instead of `to_s` in literal strings

This is more conform to the current nitg implementations.

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

stack_trace: move include and declaration in main body

instead of the global header.
ccache will be more happy!

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

stack_trace: always exports the show_backtrace service

If disabled by `opt_stacktrace` it is the body that change, not the
client of the function.

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

stack_trace: do not stacktrace on explicit exit

only on runtime-error and signals

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

lib/json: remove `diff` git attribute to generated parser files

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

Merge branch 'patch-sdl'

SDL : Comments  added for SDLFont  class and methods

signed-off-by: Geoffrey Hecht <geoffrey.hecht@gmail.com>

SDL : Comments  added for SDLkeyEvent  class

signed-off-by: Geoffrey Hecht <geoffrey.hecht@gmail.com>

SDL : Comments  added for SDLMouseEvent, MouseButtonEvent,MouseMotionEvent  class

signed-off-by: Geoffrey Hecht <geoffrey.hecht@gmail.com>

SDL : Comments fixed and added in SDLRectangle class

signed-off-by: Geoffrey Hecht <geoffrey.hecht@gmail.com>

SDL : Comments fixed and added in SDLImage class

signed-off-by: Geoffrey Hecht <geoffrey.hecht@gmail.com>

SDL : Comments fixed and added in SDLDrawable class

signed-off-by: Geoffrey Hecht <geoffrey.hecht@gmail.com>

SDL : Comments fixed and added in SDLDisplay class

signed-off-by: Geoffrey Hecht <geoffrey.hecht@gmail.com>

tests: adds missing copyright info to serialization tests

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

frontend: fix doc in serialization_phase

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

frontend: force order of serialzation and literal phases in frontend

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

nitg: Usefix, avoids producing a backtrace when encountering an exit(0).

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