Merge: Add and improve warnings
authorJean Privat <jean@pryen.org>
Mon, 22 Sep 2014 19:26:40 +0000 (15:26 -0400)
committerJean Privat <jean@pryen.org>
Mon, 22 Sep 2014 19:26:40 +0000 (15:26 -0400)
commit14710cecc32c94e492d82c70c4bdbe0f5d4a409e
tree55f9f35516eb75e81197438df6c0c3559ec1a765
parent52c067372dc502bcbbb9f2a2212fc2311ff0f360
parentbd5867e219c8f51cefa3823071275e7950a2eaff
Merge: Add and improve warnings

* Add tags (labels) for warnings. could be used by Jenkins or other tools to group warnings
* Add second-level warnings, called "advice", used to limit warning inflation a la java
* Add new warnings
  * missing doc
  * unread local variable
  * useless empty init
  * useless attribute type <- was already present, but made a advice, instead of a warnings.

Close #722

Pull-Request: #759
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
src/modelize/modelize_property.nit
src/semantize/typing.nit