X-Git-Url: http://nitlanguage.org

diff --git a/src/annotation.nit b/src/annotation.nit
index 19653a3..73c9985 100644
--- a/src/annotation.nit
+++ b/src/annotation.nit
@@ -30,7 +30,7 @@ redef class Prod
 		var res = get_annotations(name)
 		if res.is_empty then return null
 		if res.length > 1 then
-			modelbuilder.error(res[1], "Error: multiple annotation `{name}`. A previous one is defined line {res[0].location.line_start}")
+			modelbuilder.error(res[1], "Syntax Error: multiple `{name}`. A previous one is defined line {res[0].location.line_start}.")
 		end
 		return res.first
 	end
@@ -47,7 +47,7 @@ redef class AAnnotation
 			if arg != null then return arg
 		end
 
-		modelbuilder.error(self, "Annotation error: \"{name}\" expects a single String as argument.")
+		modelbuilder.error(self, "Syntax Error: `{name}` expects a single String as argument.")
 		return null
 	end
 
@@ -61,7 +61,7 @@ redef class AAnnotation
 			if arg != null then return arg
 		end
 
-		modelbuilder.error(self, "Annotation error: \"{name}\" expects a single Int as argument.")
+		modelbuilder.error(self, "Syntax Error: `{name}` expects a single Int as argument.")
 		return null
 	end
 
@@ -75,7 +75,7 @@ redef class AAnnotation
 			if arg != null then return arg
 		end
 
-		modelbuilder.error(self, "Annotation error: \"{name}\" expects a single identifier as argument.")
+		modelbuilder.error(self, "Syntax Error: `{name}` expects a single identifier as argument.")
 		return null
 	end
 end
@@ -87,8 +87,8 @@ redef class ModelBuilder
 	do
 		var annotations = new Array[AAnnotation]
 		for mmod in mmodule.in_importation.greaters do
-			if not mmodule2nmodule.keys.has(mmod) then continue
-			var amod = mmodule2nmodule[mmod]
+			var amod = mmodule2node(mmod)
+			if amod == null then continue
 			var module_decl = amod.n_moduledecl
 			if module_decl == null then continue
 			var aas = module_decl.get_annotations(name)
@@ -101,8 +101,8 @@ redef class ModelBuilder
 	# Obviously, if there is no ast associated to `mmodule`, then nothing is returned.
 	fun get_mmodule_annotation(name: String, mmodule: MModule): nullable AAnnotation
 	do
-		if not mmodule2nmodule.keys.has(mmodule) then return null
-		var amod = mmodule2nmodule[mmodule]
+		var amod = mmodule2node(mmodule)
+		if amod == null then return null
 		var module_decl = amod.n_moduledecl
 		if module_decl == null then return null
 		var res = module_decl.get_single_annotation(name, self)
@@ -142,7 +142,7 @@ redef class ModelBuilder
 			for annot in annotations do locs.add(annot.location)
 
 			toolcontext.error(mmodule.location,
-				"Priority conflict on annotation {name}, it has been defined in: {locs.join(", ")}")
+				"Error: priority conflict on annotation `{name}`, it has been defined in: {locs.join(", ")}.")
 		end
 		return annotations.first
 	end