Property definitions

nitc $ NitlightVisitor :: defaultinit
class NitlightVisitor
	super HtmlightVisitor

	# The current highlight module
	#
	# It is used to know when to use anchored local links
	var current_module: MModule

	# List of all highlighted modules
	#
	# It is used to have links that only targets highlighted entities
	#
	# Entities outside these modules will not be linked.
	var mmodules: Collection[MModule]

	redef fun hrefto(entity) do return entity.href(self)
end
src/nitlight.nit:20,1--36,3