modelize: add verbose info for ATypePropdef

Signed-off-by: Jean Privat <jean@pryen.org>
model: generalize MType::lookup_bound

Signed-off-by: Jean Privat <jean@pryen.org>
model: add MVirtualType::lookup_single_definition

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: MVirtualType::resolve_for do not resilve self is cleanup_virtual is not set

Signed-off-by: Jean Privat <jean@pryen.org>
model: add MType::lookup_fixed

Signed-off-by: Jean Privat <jean@pryen.org>
model: improve  MType::is_subtype for formal types

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add base_formal_subtype.nit

Signed-off-by: Jean Privat <jean@pryen.org>
model: document the `assert isa MClassType`

Signed-off-by: Jean Privat <jean@pryen.org>
ropes: Reset everything when clearing.

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>
neo_doxygen: Remove an outdated comment.

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>
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>
nitdoc: Escape URLs.

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 attributes.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
modelize: add and use method mpropdef2node

Signed-off-by: Jean Privat <jean@pryen.org>
modelize: add and use method `collect_attr_propdef`

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>