X-Git-Url: http://nitlanguage.org diff --git a/src/frontend/check_annotation.nit b/src/frontend/check_annotation.nit index 367ba4d..a51bece 100644 --- a/src/frontend/check_annotation.nit +++ b/src/frontend/check_annotation.nit @@ -22,6 +22,7 @@ import phase private import annotation redef class ToolContext + # Check for unknown annotation in each module var check_annotation_phase: Phase = new CheckAnnotationPhase(self, null) end @@ -60,7 +61,7 @@ private class CheckAnnotationPhase for m in super_mmodules do if declared_annotations[m].has(name) then - modelbuilder.warning(annot, "Warning: an annotation `{name}` is already declared in module `{m}`") + modelbuilder.warning(annot, "multiple-annotation-declarations", "Warning: an annotation `{name}` is already declared in module `{m}`") break label end end @@ -75,18 +76,24 @@ private class CheckAnnotationPhase var primtives_annotations_list = """ new_annotation +deprecated fixed lazy noinit readonly writable +autoinit cached nosuper old_style_init +abstract +intern +extern +no_warning pkgconfig -c_compiler_option -c_linker_option +cflags +ldflags platform """ @@ -116,7 +123,7 @@ platform if annots.has(name) then return - toolcontext.modelbuilder.warning(nat, "Warning: unknown annotation `{name}`") + toolcontext.modelbuilder.warning(nat, "unknown-annotation", "Warning: unknown annotation `{name}`") annots.add(name) # to avoid multiple errors on the same name end