private fun user_annotations=(user_annotations: HashMap[MModule, HashSet[String]])

nitc :: CheckAnnotationPhase :: user_annotations=

All user-declared annotations for each mmodule

Property definitions

nitc $ CheckAnnotationPhase :: user_annotations= 
	# All user-declared annotations for each mmodule
	var user_annotations = new HashMap[MModule, HashSet[String]]
src/frontend/check_annotation.nit:123,2--124,61
Nit tools. Version .