ropes: Fix the behavior of `RopeBuffer.clear` when used with `to_s`.

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

ropes: Fix `RopeBuffer.reverse`.

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

ropes: Fix a buffer overflow in `RopeBuffer.add`.

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

Merge: ropes: Fix a bug in `RopeBuffer.clear`

… and clean `RopeBuffer` a little bit.

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

Merge: Mpropdef2node

Introduce services to isolate more the model from the AST.

Dissociating the AST and the model reduce the coupling.
The two new services `mpropdef2node` and `collect_attr_propdef` of `ModelBuilder` replace most accesses to the uncontrolled maps `mpropdef2npropdef` and `mclassdef2nclassdef` (now made private).
They will permit to control how the rest of the code access the AST nodes.

In some future, these indirections could be used to process part of the AST in a lazy way where the requested AST part will be modelized&semantized only when required by the tools.

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

Merge: nitdoc: Escape (again)

Yet another partial fix for #891.

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

Merge: Subtype improvements

During the work with the covariance, some bugs with `is_subtype` where identified.

The PR tries to improve the code and fixes those bugs.
It also simplifies the code in the formal types and propose a new `lookup_fixed` method on `MType`.

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

modelize: make `mclassdef2nclassdef` and `mpropdef2npropdef` private

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

ffi: attach extern class information to the MClassDef instead of the AClassdef

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

modelize: add and use method `collect_attr_propdef`

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

modelize: add and use method mpropdef2node

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

nitdoc: Escape attributes.

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

nitdoc: Escape headers.

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

nitdoc: Escape URLs.

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

string: Escape all HTML’s metacharacters.

In `html_escape`, escape all characters that OWASP recommends to escape.

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

nitlight: Skip `nitg-g` tests.

NitLight is too big for `--global`.

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

neo_doxygen: Remove an outdated comment.

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

ropes: Clean `RopeBuffer.append` a little bit.

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

ropes: Reset everything when clearing.

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

Merge: neo_doxygen: Fix a forgotten warning.

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

Merge: lib: add IStream::read_lines

Lines are not chomped since I prefer to not lose information.

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

Merge: Keep going toolcontext

For a compiler, exiting when the source-code is incoherent make sense. However for some tools, like nitlight, it could be useful to be able to process broken code (or just to ignore it and continue).

So, this PR introduce the flag `ToolContext::keep_going` to prevent `check_errors` to terminate the program. It is then the responsibility of the tool to manage the incomplete and possibly incoherent model that was produced.

Close #863

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

Merge: Check for errors in GLSL shaders using glslangValidator

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

Merge: Graphics related fixes

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

Merge: Regex subexpressions

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

Merge: Fallback doc

In order to fill the descriptions on the [overview page], add a way for a mproject or a mgroup to use the mdoc of other entities.

  [overview page]: http://nitlanguage.org/doc/stdlib/

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

Merge: Partial wrapper for SDL 2.0 and SDL_image 2.0

This PR establishes the structure of the SDL 2.0 project which can be completed as needed with the development of games and frameworks.

Some more subsystems should be wrapped, and most should be completed. The event subsystem is implemented partially as I'm not sure of the form that it will take in the future frameworks. The audio and the ttf subsystems could be useful. Some other subsystems should probably not be wrapped: the platform compatibility layers offers mostly the same features as the Nit standard library, and the OpenGL functions are already covered by other Nit modules.

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

model: document the `assert isa MClassType`

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

tests: add base_formal_subtype.nit

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

model: improve  MType::is_subtype for formal types

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

model: add MType::lookup_fixed

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

lib/stream: document `read_line` and `append_line_to`

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

lib/stream: add IStream::read_lines

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

read_lines

lib/string: add `chomp`

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

tests: update sav/error_redef_alt*.res

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

src/location: add doc to `Location::column_start`

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

tests: add glslValidator test

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

lib/glesv2: declare the annotations for shader code

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

frontend: intro glsl_validation to validate shader code in Nit programs

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

src/location: support calling `colored_line` when `start_column == 0`

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

neo_doxygen: Fix a forgotten warning.

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

tests: clean up debug output

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

tests: fix savs for test_c.nit

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

lib/c: add doc on `NATIVE` and `native_array`

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

lib/re: prevent allocating `native_match` only to free it

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

Merge: neo_doxygen: Fix the handling of the inner classes and of the root namespace

* Make the generation of the implicit modules more robust. Do not try to guess the namespace of the classes. Instead, wait to receive enough of explicit information to make a decision. This permits to list class in the root namespace and inner classes in the good module.
* List classes in the root namespace.
* Enhance the presentation of the inner classes so Nitdoc list them as part of their outer class.

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

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

Merge: Some optimizations in model and nitg

http://gresil.org/jenkins/job/nit%20bootstrap/PerfPublisher/ shows a slow degratation of the performances.
So, thanks to valgrind, I spotted 3 hot points and tried to optimize them.

The overall gain is 14% in nitg compiling nitg. Not bad.

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

Merge: Vim Syntastic detect documentation warnings and error on EOF

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

Merge: example: Add the simplest tasks of Rosetta Code.

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

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

modelize: do not leave `build_property` with a mprop without an intro

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

modelize: do not crash is a upper VT bound is not set

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

neo_doxygen: Homogenize the style of the conditions in `compounddef`.

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

neo_doxygen: Link inner classes with their outer classes.

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

neo_doxygen: Generalize the concept of “member”.

Will permit to share code between members and inner classes.

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

neo_doxygen: Read the `prot` attribute of the `innerclass` elements.

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

neo: Handle inner classes.

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

lib/sdl2: add README

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

lib/sdl2: intro an example for the sdl2 modules

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

lib/sdl2: intro a module uniting for sdl2 and its image library

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

lib/sdl2: intro the entry module for sdl2

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

lib/sdl2: wrap the SDL 2 image library

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

lib/sdl2: wrap some SDL 2 system and window manager features

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

lib/sdl2: wrap some SDL 2 events

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

lib/sdl2: wrap some basic features of SDL 2

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

doc: List the inner classes in the search bar.

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

doc: List the inner classes in the side panel.

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

doc: Fix the presentation of the inner classes.

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

doc: Skip unused pages.

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

model_ext: Add a way to represent inner classes.

Add adapters to wrap classes as properties.

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

neo_doxygen: Do not guess the namespace of the classes.

Use explicit relationships instead of manipulating the names.

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

lib/c: intro `CByteArray`

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

lib/c: intro `CIntArray::from`

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

lib/c: move up general logic from `CIntArray` to `CArray`

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

lib/sdl: improve implementation and doc of `SDLDisplay::events`

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

lib/sdl: native_blit is private

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

lib/glesv2: use the hex litteral instead of `to_hex`

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

nitdoc: use `mdoc_or_fallback` to fill tmpl_definitions

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

model: add MEntity::mdoc_or_fallback to get more documentation

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

tests: update sav/error_class_glob.res because

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

lib/re: intro `Match::[]`

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

lib/re: support regex subexpressions

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

niti: adapt debugger to the new signature ot check_errors

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

model: MVirtualType::resolve_for do not resilve self is cleanup_virtual is not set

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

model: MParameterType::lookup_bound works for the easy case

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

model: add MVirtualType::lookup_single_definition

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

model: generalize MType::lookup_bound

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

highlight: be more robuts in case of partial model

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

lib/glesv2: fix `gl_get_bool`

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

lib/glesv2: remove broken methods `gl_vertex_attri_pointer_*`

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

lib/x11: fix missing C include

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

lib/re: improve doc of `NativeRegex::re_nsub`

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

neo_doxygen: Accept classes in the root namespace.

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

version 0.6.11

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

NOTICE: add Alexandre Blondin Massé

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

vim/syntastic: show errors on EOF on the last line

Requires to update syntastic, uses the `guards` function introduced in
september 2014.

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

vim/syntastic: show "Documentation warning" as a style warning

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

Merge: Fix warnings in the JSON, SAX and SAXophoNit libraries and in the `neo_doxygen` tool

Fix all the warnings in the following directories:

* `/lib/json`
* `/lib/sax`
* `/lib/saxophonit`
* `/contrib/neo_doxygen`

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

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

Merge: Attributes access in nitvm

Accessing attributes in the nitvm is now implemented by a faster mechanism than perfect hashing.

Attribute access is now implemented by two different techniques:
- perfect hashing, slow but multiple-inheritance compatible
- direct access, fast but only compatible with single inheritance

For a given access to an attribute, we try to use direct access if possible, i.e. if this attribute is always at the same position in objects.
If this attribute has multiple position in objects, we need to use perfect hashing.

Non-contractual perfs: the nitvm is now a little faster than before and these two different implementations will allow to work on optimization protocols in the futur.

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

compiler: the type poset contains only directed casts

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

model: add another level of cache for MClassType::collect_mclasses

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