private var _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 .