Compute all the declared super-types.

Super-types are returned as declared in the classdefs (verbatim). This function is used mainly internally.

REQUIRE: not self.need_anchor

Property definitions

nitc $ MType :: collect_mtypes
	# Compute all the declared super-types.
	# Super-types are returned as declared in the classdefs (verbatim).
	# This function is used mainly internally.
	#
	# REQUIRE: `not self.need_anchor`
	fun collect_mtypes(mmodule: MModule): Set[MClassType] is abstract
src/model/model.nit:1268,2--1273,66

nitc $ MClassType :: collect_mtypes
	redef fun collect_mtypes(mmodule)
	do
		assert not self.need_anchor
		var cache = self.collect_mtypes_cache
		if not cache.has_key(mmodule) then
			self.collect_things(mmodule)
		end
		return cache[mmodule]
	end
src/model/model.nit:1349,2--1357,4

nitc $ MProxyType :: collect_mtypes
	redef fun collect_mtypes(mmodule)
	do
		assert not self.need_anchor
		return self.mtype.collect_mtypes(mmodule)
	end
src/model/model.nit:1823,2--1827,4

nitc $ MNullType :: collect_mtypes
	redef fun collect_mtypes(mmodule) do return new HashSet[MClassType]
src/model/model.nit:1910,2--68

nitc $ MBottomType :: collect_mtypes
	redef fun collect_mtypes(mmodule) do return new HashSet[MClassType]
src/model/model.nit:1936,2--68

nitc $ MErrorType :: collect_mtypes
	redef fun collect_mtypes(mmodule) do return new HashSet[MClassType]
src/model/model.nit:1961,2--68

nitc $ MInitType :: collect_mtypes
	redef fun collect_mtypes(mmodule) do return new HashSet[MClassType]
src/vm/virtual_machine.nit:907,2--68

nitc $ MRawType :: collect_mtypes
	redef fun collect_mtypes(mmodule) do
		not_available
		return new HashSet[MClassType]
	end
src/doc/model_ext.nit:56,2--59,4