# Collect all mattributs inehrited,intro and redef
	fun collect_all_mattributes(mainmodule: MModule, filter: ModelFilter): Set[MAttribute] do
		var set = new HashSet[MAttribute]
		set.add_all collect_redef_mattributes(filter)
		set.add_all collect_intro_mattributes(filter)
		set.add_all collect_inherited_mattributes(mainmodule, filter)
		return set
	end