private fun 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 .