Merge: Kill `model_utils`
authorJean Privat <jean@pryen.org>
Sat, 30 May 2015 12:15:42 +0000 (08:15 -0400)
committerJean Privat <jean@pryen.org>
Sat, 30 May 2015 12:15:42 +0000 (08:15 -0400)
commitf38919d8532abb044a120fc8a84ac0a6661b2315
tree37ffdf529ad95efcceef2fa90d327131987b04fb
parentdecb8c25b1da2a99ce21f5043ef1c6e14fb4b27d
parente5201446b86819418339c169b26fef45d0efc9c5
Merge: Kill `model_utils`

This PR removes the so hated module `model_utils`:

* Useful services are kept in a new module `model::model_collect` that allows to collect and filter things from a `Model`.
* Clients are migrated from `model_utils` to `model_collect` one by one. Misc functionalities used only by one client are moved in the client.

Fixes #710

Pull-Request: #1376
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
src/doc/doc_base.nit
src/doc/doc_phases/doc_html.nit
src/doc/doc_phases/doc_intros_redefs.nit
src/doc/doc_phases/doc_poset.nit
src/doc/doc_phases/doc_structure.nit
src/doc/html_templates/html_model.nit
src/metrics/nullables_metrics.nit
src/model/model.nit
src/nitserial.nit
tests/sav/nituml_args3.res
tests/sav/nituml_args4.res