RTA: force primitive types to be alive

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>

Merge branch 'prepare-ffi-migration' into merge_ffi

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>

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>

nitg: Added option to disable use of libunwind to generate C stack traces.

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

nitg: Corrected bug when creating a new AVarExpr, uses the last inferred type instead of its definition type.

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

Merge branch 'kill_newcheck'

Remove runtime checks on uninitialized attributes at the end of object
constructions.
Thus, uninitialized attributes will now fail (abort) on the first read
access.

Some people [citation needed] find that the current specification force
the usage of `nullable` on attributes that should not be null in
practice but that cannot be not nullable because the initialization is
not done in the constructor.

Some other people [bis] also state that the current check is problematic
with potential exception/longjump since uninitialized object could still
escape.

Therefore, because the next big devel planned is the constructors, I
prefer to solve this specification point before. This pull request is a
RFC on the new spec (and/or implementation).

Add signals + descriptions

Add various missing signals and their descriptions

lib/stream: added more explicit comment for eof method.

Comment could be misunderstand, and is now more explicit.

signed-off-by: Johan Kayser <johan.kayser@viacesi.fr>

tests: update related to the removal of check_init_instance

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

Merge branch 'privat' into topub

serialization: add support for Arrays

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

src: remove check_init_instance everywhere

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

lib/serialization: adds a method to detect unserializable type

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

tests: adds test for the serialization phase and json service

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

frontend: intro the serialization phase

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

lib: intro the json serialization module

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