# The pretty name represented by self.
	fun full_name: String
	do
		var res = n_id.text
		var nqualified = n_qualified
		if nqualified == null then return res
		var ncid = nqualified.n_classid
		if ncid != null then res = ncid.text + "::" + res
		var nids = nqualified.n_id
		if nids.not_empty then for n in nids.reverse_iterator do
			res = n.text + "::" + res
		end
		return res
	end