rta: store real types in live_cast_type

The separate compiler need to distinguish if the target is nullable or not.
So do not un-nullable cast types.

rta_metrics.nit is also updated to deal with the change of the static
type of the attribute.

nitg-g is also modified to use the new correct the RTA information
(this remove a workaround)

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

Merge branch 'c_ffi_alive_again'

Last of the serie

Merge remote-tracking branch 'alexis/deserialization'

Adds deserialization support to serialization framework and the Json
implementation. Also fix wrongful use of `' '` for chars in
generated
Json.

Merged to prevent bug with nitdoc and duplicate modules.

To be done next:

* Support for generic types
* Separate the json_serialization services in 2: pure json and json
* for
deserialization.
* Support NativeArray or its users

tests: skip test_json for nitg-g

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

niti: import common_ffi module to support some FFI phases

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

lib/realtime: use c_linker_option in realtime module

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

example: update and fix the extern_methods example

The implementation of the method foo wrongfully called its C self.

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

lib/socket: fix missing FFI imports in socket

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

lib/sdl: use c_compiler_option annotations

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

lib/sqlite3: use pkgconfig in sqlite3

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

lib/json: make SequenceRead jsonable instead of Sequence

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

lib/json: fix missing FFI imports

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

lib/json: use pkgconfig in json module

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

lib/curses: use pkgconfig in curses module

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

lib/curl: adds missing FFI import

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

lib/curl: use pkgconfig in curl module

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

lib/gtk: use the pkgconfig annotation in GTK module

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

tests: adds tests for the annotations "c_?_options"

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

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.

Merge branch 'privat' into deserialization

tests: use a Char in test_deserialization

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

lib/json_serialization: fix support for Char

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

lib/json_serialization: remove use of \b in Nit strings

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

phase/serialization: detect unsupported case until it is supported

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

phase/serialization: fix test_serialization_redef to suport basic deserialization

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

lib/simple_json_reader: unprotect special char in strings

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

tests: add deserialization test

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

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>

phases: add support for deserialization

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

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>

nitg/ffi: adds the annotations c_[copiler|linker]_option

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

tests: add tests for the pkgconfig annotation

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

nitg/ffi: adds the pkgconfig annotation to detect required C compilation flags

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

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>