X-Git-Url: http://nitlanguage.org

diff --git a/src/ni_nitdoc.nit b/src/ni_nitdoc.nit
index c5bd3a6..6ad2eb2 100644
--- a/src/ni_nitdoc.nit
+++ b/src/ni_nitdoc.nit
@@ -1,7 +1,5 @@
 # This file is part of NIT ( http://www.nitlanguage.org ).
 #
-# Copyright 2008 Jean Privat <jean@pryen.org>
-#
 # Licensed under the Apache License, Version 2.0 (the "License");
 # you may not use this file except in compliance with the License.
 # You may obtain a copy of the License at
@@ -14,15 +12,18 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
+# Documentation generator for the nit language.
+# Generate API documentation in HTML format from nit source code.
 module ni_nitdoc
 
 import model_utils
-import abstract_compiler
 
-class Nitdoc
-	private var toolcontext: ToolContext
+# The NitdocContext contains all the knowledge used for doc generation
+class NitdocContext
+
+	private var toolcontext = new ToolContext
 	private var model: Model
-	private var modelbuilder: ModelBuilder
+	private var mbuilder: ModelBuilder
 	private var mainmodule: MModule
 	private var class_hierarchy: POSet[MClass]
 	private var arguments: Array[String]
@@ -30,31 +31,32 @@ class Nitdoc
 	private var dot_dir: nullable String
 	private var share_dir: nullable String
 	private var source: nullable String
+	private var min_visibility: MVisibility
 
 	private var opt_dir = new OptionString("Directory where doc is generated", "-d", "--dir")
 	private var opt_source = new OptionString("What link for source (%f for filename, %l for first line, %L for last line)", "--source")
 	private var opt_sharedir = new OptionString("Directory containing the nitdoc files", "--sharedir")
 	private var opt_nodot = new OptionBool("Do not generate graphes with graphiviz", "--no-dot")
+	private var opt_private: OptionBool = new OptionBool("Generate the private API", "--private")
 
 	private var opt_custom_title: OptionString = new OptionString("Title displayed in the top of the Overview page and as suffix of all page names", "--custom-title")
 	private var opt_custom_menu_items: OptionString = new OptionString("Items displayed in menu before the 'Overview' item (Each item must be enclosed in 'li' tags)", "--custom-menu-items")
 	private var opt_custom_overview_text: OptionString = new OptionString("Text displayed as introduction of Overview page before the modules list", "--custom-overview-text")
 	private var opt_custom_footer_text: OptionString = new OptionString("Text displayed as footer of all pages", "--custom-footer-text")
-	init(toolcontext: ToolContext) do
-		# We need a model to collect stufs
-		self.toolcontext = toolcontext
+
+	init do
 		self.arguments = toolcontext.option_context.rest
 		toolcontext.option_context.options.clear
 		toolcontext.option_context.add_option(opt_dir)
 		toolcontext.option_context.add_option(opt_source)
 		toolcontext.option_context.add_option(opt_sharedir)
 		toolcontext.option_context.add_option(opt_nodot)
+		toolcontext.option_context.add_option(opt_private)
 		toolcontext.option_context.add_option(opt_custom_title)
 		toolcontext.option_context.add_option(opt_custom_footer_text)
 		toolcontext.option_context.add_option(opt_custom_overview_text)
 		toolcontext.option_context.add_option(opt_custom_menu_items)
 		toolcontext.process_options
-		process_options
 
 		if arguments.length < 1 then
 			toolcontext.option_context.usage
@@ -62,10 +64,9 @@ class Nitdoc
 		end
 
 		model = new Model
-		modelbuilder = new ModelBuilder(model, toolcontext)
+		mbuilder = new ModelBuilder(model, toolcontext)
 		# Here we load an process all modules passed on the command line
-		var mmodules = modelbuilder.parse_and_build(arguments)
-		modelbuilder.full_propdef_semantic_analysis
+		var mmodules = mbuilder.parse_and_build(arguments)
 		if mmodules.is_empty then return
 
 		if mmodules.length == 1 then
@@ -76,6 +77,7 @@ class Nitdoc
 			mainmodule.set_imported_mmodules(mmodules)
 		end
 		self.class_hierarchy = mainmodule.flatten_mclass_hierarchy
+		self.process_options
 	end
 
 	private fun process_options do
@@ -103,15 +105,17 @@ class Nitdoc
 				print "Error: Invalid nitdoc share files. Check --sharedir or envvar NIT_DIR"
 				abort
 			end
+
+			if opt_private.value then
+				min_visibility = none_visibility
+			else
+				min_visibility = protected_visibility
+			end
 		end
-		if not opt_source.value is null then
-			source = ""
-		else
-			source = opt_source.value
-		end
+		source = opt_source.value
 	end
 
-	fun start do
+	fun generate_nitdoc do
 		# Create destination dir if it's necessary
 		if not output_dir.file_exists then output_dir.mkdir
 		sys.system("cp -r {share_dir.to_s}/* {output_dir.to_s}/")
@@ -124,17 +128,17 @@ class Nitdoc
 		quicksearch_list
 	end
 
-	fun overview do
+	private fun overview do
 		var overviewpage = new NitdocOverview(self, dot_dir)
 		overviewpage.save("{output_dir.to_s}/index.html")
 	end
 
-	fun fullindex do
+	private fun fullindex do
 		var fullindex = new NitdocFullindex(self)
 		fullindex.save("{output_dir.to_s}/full-index.html")
 	end
 
-	fun modules do
+	private fun modules do
 		for mmodule in model.mmodules do
 			if mmodule.name == "<main>" then continue
 			var modulepage = new NitdocModule(mmodule, self, dot_dir)
@@ -142,15 +146,14 @@ class Nitdoc
 		end
 	end
 
-	fun classes do
-		for mclass in modelbuilder.model.mclasses do
+	private fun classes do
+		for mclass in mbuilder.model.mclasses do
 			var classpage = new NitdocClass(mclass, self, dot_dir, source)
 			classpage.save("{output_dir.to_s}/{mclass.url}")
 		end
 	end
 
-	# Generate QuickSearch file
-	fun quicksearch_list do
+	private fun quicksearch_list do
 		var file = new OFStream.open("{output_dir.to_s}/quicksearch-list.js")
 		var content = new Buffer
 		content.append("var entries = \{ ")
@@ -161,14 +164,14 @@ class Nitdoc
 			content.append("],")
 		end
 		for mclass in model.mclasses do
-			if mclass.visibility <= none_visibility then continue
+			if mclass.visibility < min_visibility then continue
 			content.append("\"{mclass.name}\": [")
 			content.append("\{txt: \"{mclass.name}\", url:\"{mclass.url}\" \},")
 			content.append("],")
 		end
 		var name2mprops = new HashMap[String, Set[MPropDef]]
 		for mproperty in model.mproperties do
-			if mproperty.visibility <= none_visibility then continue
+			if mproperty.visibility < min_visibility then continue
 			if mproperty isa MAttribute then continue
 			if not name2mprops.has_key(mproperty.name) then name2mprops[mproperty.name] = new HashSet[MPropDef]
 			name2mprops[mproperty.name].add_all(mproperty.mpropdefs)
@@ -190,40 +193,39 @@ end
 
 # Nitdoc base page
 abstract class NitdocPage
+	super Buffer
 
 	var dot_dir: nullable String
 	var source: nullable String
-	var nitdoc: Nitdoc
+	var ctx: NitdocContext
 
-	init(nitdoc: Nitdoc) do
-		self.nitdoc = nitdoc
+	init(ctx: NitdocContext) do
+		super
+		self.ctx = ctx
 	end
 
-	fun append(str: String) do html.append(str)
-	var html = new Buffer
-
-	fun head do
+	protected fun head do
 		append("<meta charset='utf-8'/>")
 		append("<script type='text/javascript' src='scripts/jquery-1.7.1.min.js'></script>")
 		append("<script type='text/javascript' src='quicksearch-list.js'></script>")
 		append("<script type='text/javascript' src='scripts/js-facilities.js'></script>")
 		append("<link rel='stylesheet' href='styles/main.css' type='text/css' media='screen'/>")
 		var title = ""
-		if nitdoc.opt_custom_title.value != null then
-			title = " | {nitdoc.opt_custom_title.value.to_s}"
+		if ctx.opt_custom_title.value != null then
+			title = " | {ctx.opt_custom_title.value.to_s}"
 		end
 		append("<title>{self.title}{title}</title>")
 	end
 
-	fun menu do
-		if nitdoc.opt_custom_menu_items.value != null then
-			append(nitdoc.opt_custom_menu_items.value.to_s)
+	protected fun menu do
+		if ctx.opt_custom_menu_items.value != null then
+			append(ctx.opt_custom_menu_items.value.to_s)
 		end
 	end
 
-	fun title: String is abstract
+	protected fun title: String is abstract
 
-	fun header do
+	protected fun header do
 		append("<header>")
 		append("<nav class='main'>")
 		append("<ul>")
@@ -270,16 +272,16 @@ abstract class NitdocPage
 		append("</header>")
 	end
 
-	fun content is abstract
+	protected fun content is abstract
 
-	fun footer do
-		if nitdoc.opt_custom_footer_text.value != null then
-			append("<footer>{nitdoc.opt_custom_footer_text.value.to_s}</footer>")
+	protected fun footer do
+		if ctx.opt_custom_footer_text.value != null then
+			append("<footer>{ctx.opt_custom_footer_text.value.to_s}</footer>")
 		end
 	end
 
 	# Generate a clickable graphviz image using a dot content
-	fun generate_dot(dot: String, name: String, alt: String) do
+	protected fun generate_dot(dot: String, name: String, alt: String) do
 		var output_dir = dot_dir
 		if output_dir == null then return
 		var file = new OFStream.open("{output_dir}/{name}.dot")
@@ -295,7 +297,7 @@ abstract class NitdocPage
 	end
 
 	# Add a (source) link for a given location
-	fun show_source(l: Location): String
+	protected fun show_source(l: Location): String
 	do
 		if source == null then
 			return "({l.file.filename.simplify_path})"
@@ -307,7 +309,7 @@ abstract class NitdocPage
 			source = x.join(l.line_start.to_s)
 			x = source.split_with("%L")
 			source = x.join(l.line_end.to_s)
-			return " (<a href=\"{source.to_s}\">show code</a>)"
+			return " (<a href=\"{source.to_s}\">source</a>)"
 		end
 	end
 
@@ -324,7 +326,7 @@ abstract class NitdocPage
 		append("</div>")
 		footer
 		append("</body>")
-		return html.to_s
+		return to_s
 	end
 
 	# Save html page in the specified file
@@ -341,9 +343,9 @@ class NitdocOverview
 	private var mbuilder: ModelBuilder
 	private var mmodules = new Array[MModule]
 
-	init(nitdoc: Nitdoc, dot_dir: nullable String) do
-		super(nitdoc)
-		self.mbuilder = nitdoc.modelbuilder
+	init(ctx: NitdocContext, dot_dir: nullable String) do
+		super(ctx)
+		self.mbuilder = ctx.mbuilder
 		self.dot_dir = dot_dir
 		# get modules
 		var mmodules = new HashSet[MModule]
@@ -357,7 +359,7 @@ class NitdocOverview
 			end
 		end
 		# sort modules
-		var sorter = new ComparableSorter[MModule]
+		var sorter = new MModuleNameSorter
 		self.mmodules.add_all(mmodules)
 		sorter.sort(self.mmodules)
 	end
@@ -373,13 +375,13 @@ class NitdocOverview
 	redef fun content do
 		append("<div class='content fullpage'>")
 		var title = "Overview"
-		if nitdoc.opt_custom_title.value != null then
-			title = nitdoc.opt_custom_title.value.to_s
+		if ctx.opt_custom_title.value != null then
+			title = ctx.opt_custom_title.value.to_s
 		end
 		append("<h1>{title}</h1>")
 		var text = ""
-		if nitdoc.opt_custom_overview_text.value != null then
-			text = nitdoc.opt_custom_overview_text.value.to_s
+		if ctx.opt_custom_overview_text.value != null then
+			text = ctx.opt_custom_overview_text.value.to_s
 		end
 		append("<article class='overview'>{text}</article>")
 		append("<article class='overview'>")
@@ -389,7 +391,9 @@ class NitdocOverview
 		for mmodule in mmodules do
 			if mbuilder.mmodule2nmodule.has_key(mmodule) then
 				var amodule = mbuilder.mmodule2nmodule[mmodule]
-				append("<li>{mmodule.link(mbuilder)}&nbsp;{amodule.short_comment}</li>")
+				append("<li>")
+				mmodule.html_link(self)
+				append("&nbsp;{amodule.short_comment}</li>")
 			end
 		end
 		append("</ul>")
@@ -399,15 +403,26 @@ class NitdocOverview
 		append("</div>")
 	end
 
-	fun process_generate_dot do
+	private fun process_generate_dot do
+		# build poset with public owners
+		var poset = new POSet[MModule]
+		for mmodule in mmodules do
+			poset.add_node(mmodule)
+			for omodule in mmodules do
+				if mmodule == omodule then continue
+				if mmodule.in_importation < omodule then
+					poset.add_node(omodule)
+					poset.add_edge(mmodule, omodule)
+				end
+			end
+		end
+		# build graph
 		var op = new Buffer
 		op.append("digraph dep \{ rankdir=BT; node[shape=none,margin=0,width=0,height=0,fontsize=10]; edge[dir=none,color=gray]; ranksep=0.2; nodesep=0.1;\n")
-		for mmodule in mmodules do
+		for mmodule in poset do
 			op.append("\"{mmodule.name}\"[URL=\"{mmodule.url}\"];\n")
-			for imported in mmodule.in_importation.direct_greaters do
-				if imported.direct_owner == null then
-					op.append("\"{mmodule.name}\"->\"{imported.name}\";\n")
-				end
+			for omodule in poset[mmodule].direct_greaters do
+				op.append("\"{mmodule.name}\"->\"{omodule.name}\";\n")
 			end
 		end
 		op.append("\}\n")
@@ -419,8 +434,8 @@ end
 class NitdocFullindex
 	super NitdocPage
 
-	init(nitdoc: Nitdoc) do
-		super(nitdoc)
+	init(ctx: NitdocContext) do
+		super(ctx)
 		self.dot_dir = null
 	end
 
@@ -442,49 +457,56 @@ class NitdocFullindex
 	end
 
 	# Add to content modules column
-	fun module_column do
-		var sorter = new ComparableSorter[MModule]
-		var sorted = new Array[MModule]
-		for mmodule in nitdoc.modelbuilder.model.mmodule_importation_hierarchy do
-			sorted.add(mmodule)
-		end
+	private fun module_column do
+		var sorted = ctx.mbuilder.model.mmodule_importation_hierarchy.to_a
+		var sorter = new MModuleNameSorter
 		sorter.sort(sorted)
 		append("<article class='modules filterable'>")
 		append("<h2>Modules</h2>")
 		append("<ul>")
 		for mmodule in sorted do
-			append("<li>{mmodule.link(nitdoc.modelbuilder)}</li>")
+			append("<li>")
+			mmodule.html_link(self)
+			append("</li>")
 		end
 		append("</ul>")
 		append("</article>")
 	end
 
 	# Add to content classes modules
-	fun classes_column do
-		var sorted = nitdoc.modelbuilder.model.mclasses
-		var sorter = new ComparableSorter[MClass]
+	private fun classes_column do
+		var sorted = ctx.mbuilder.model.mclasses
+		var sorter = new MClassNameSorter
 		sorter.sort(sorted)
 		append("<article class='modules filterable'>")
 		append("<h2>Classes</h2>")
 		append("<ul>")
 		for mclass in sorted do
-			append("<li>{mclass.link(nitdoc.modelbuilder)}</li>")
+			if mclass.visibility < ctx.min_visibility then continue
+			append("<li>")
+			mclass.html_link(self)
+			append("</li>")
 		end
 		append("</ul>")
 		append("</article>")
 	end
 
 	# Insert the properties column of fullindex page
-	fun properties_column do
-		var sorted = nitdoc.modelbuilder.model.mproperties
-		var sorter = new ComparableSorter[MProperty]
+	private fun properties_column do
+		var sorted = ctx.mbuilder.model.mproperties
+		var sorter = new MPropertyNameSorter
 		sorter.sort(sorted)
 		append("<article class='modules filterable'>")
 		append("<h2>Properties</h2>")
 		append("<ul>")
 		for mproperty in sorted do
+			if mproperty.visibility < ctx.min_visibility then continue
 			if mproperty isa MAttribute then continue
-			append("<li>{mproperty.intro.link(nitdoc.modelbuilder)} ({mproperty.intro.mclassdef.mclass.link(nitdoc.modelbuilder)})</li>")
+			append("<li>")
+			mproperty.intro.html_link(self)
+			append(" (")
+			mproperty.intro.mclassdef.mclass.html_link(self)
+			append(")</li>")
 		end
 		append("</ul>")
 		append("</article>")
@@ -499,10 +521,10 @@ class NitdocModule
 	private var mmodule: MModule
 	private var mbuilder: ModelBuilder
 
-	init(mmodule: MModule, nitdoc: Nitdoc, dot_dir: nullable String) do
-		super(nitdoc)
+	init(mmodule: MModule, ctx: NitdocContext, dot_dir: nullable String) do
+		super(ctx)
 		self.mmodule = mmodule
-		self.mbuilder = nitdoc.modelbuilder
+		self.mbuilder = ctx.mbuilder
 		self.dot_dir = dot_dir
 	end
 
@@ -526,41 +548,53 @@ class NitdocModule
 		sidebar
 		append("<div class='content'>")
 		append("<h1>{mmodule.name}</h1>")
-		append("<div class='subtitle'>{mmodule.html_signature(mbuilder)}</div>")
-		append(mmodule.html_full_comment(mbuilder))
+		append("<div class='subtitle info'>")
+		mmodule.html_signature(self)
+		append("</div>")
+		mmodule.html_full_comment(self)
 		process_generate_dot
 		classes
 		properties
 		append("</div>")
 	end
 
-	fun process_generate_dot do
-		var name = "dep_{mmodule.name}"
+	private fun process_generate_dot do
+		# build poset with public owners
+		var poset = new POSet[MModule]
+		for mmodule in self.mmodule.in_importation.poset do
+			if mmodule.name == "<main>" then continue
+			if mmodule.public_owner != null then continue
+			if not mmodule.in_importation < self.mmodule and not self.mmodule.in_importation < mmodule and mmodule != self.mmodule then continue
+			poset.add_node(mmodule)
+			for omodule in mmodule.in_importation.poset do
+				if mmodule == omodule then continue
+				if omodule.name == "<main>" then continue
+				if omodule.public_owner != null then continue
+				if mmodule.in_importation < omodule then
+					poset.add_node(omodule)
+					poset.add_edge(mmodule, omodule)
+				end
+			end
+		end
+		# build graph
 		var op = new Buffer
+		var name = "dep_{mmodule.name}"
 		op.append("digraph {name} \{ rankdir=BT; node[shape=none,margin=0,width=0,height=0,fontsize=10]; edge[dir=none,color=gray]; ranksep=0.2; nodesep=0.1;\n")
-		for m in mmodule.in_importation.poset do
-			if m.name == "<main>" then continue
-			var public_owner = m.public_owner
-			if public_owner == null then
-				public_owner = m
-				if m == mmodule then
-					op.append("\"{m.name}\"[shape=box,margin=0.03];\n")
-				else
-					op.append("\"{m.name}\"[URL=\"{m.url}\"];\n")
-				end
+		for mmodule in poset do
+			if mmodule == self.mmodule then
+				op.append("\"{mmodule.name}\"[shape=box,margin=0.03];\n")
+			else
+				op.append("\"{mmodule.name}\"[URL=\"{mmodule.url}\"];\n")
 			end
-			for imported in m.in_importation.direct_greaters do
-				if imported.name == "<main>" then continue
-				if imported.public_owner == null then
-					op.append("\"{public_owner.name}\"->\"{imported.name}\";\n")
-				end
+			for omodule in poset[mmodule].direct_greaters do
+				op.append("\"{mmodule.name}\"->\"{omodule.name}\";\n")
 			end
 		end
 		op.append("\}\n")
 		generate_dot(op.to_s, name, "Dependency graph for module {mmodule.name}")
 	end
 
-	fun sidebar do
+	private fun sidebar do
 		append("<div class='menu'>")
 		append("<nav>")
 		append("<h3>Module Hierarchy</h3>")
@@ -575,6 +609,7 @@ class NitdocModule
 		end
 		var clients = new Array[MModule]
 		for dep in mmodule.in_importation.smallers do
+			if dep.name == "<main>" then continue
 			if dep == mmodule or dep.public_owner != null then continue
 			clients.add(dep)
 		end
@@ -583,25 +618,31 @@ class NitdocModule
 			display_module_list(clients)
 		end
 		append("</nav>")
-		if mmodule.in_nesting.direct_greaters.length > 0 then
-			append("<nav>")
-			append("<h3>Nested Modules</h3>")
-			display_module_list(mmodule.in_nesting.direct_greaters.to_a)
-			append("</nav>")
+		if ctx.min_visibility < protected_visibility then
+			if mmodule.in_nesting.direct_greaters.length > 0 then
+				append("<nav>")
+				append("<h3>Nested Modules</h3>")
+				display_module_list(mmodule.in_nesting.direct_greaters.to_a)
+				append("</nav>")
+			end
 		end
 		append("</div>")
 	end
 
 	private fun display_module_list(list: Array[MModule]) do
 		append("<ul>")
-		var sorter = new ComparableSorter[MModule]
+		var sorter = new MModuleNameSorter
 		sorter.sort(list)
-		for m in list do append("<li>{m.link(mbuilder)}</li>")
+		for m in list do
+			append("<li>")
+			m.html_link(self)
+			append("</li>")
+		end
 		append("</ul>")
 	end
 
 	# display the class column
-	fun classes do
+	private fun classes do
 		var intro_mclasses = mmodule.intro_mclasses
 		var redef_mclasses = mmodule.redef_mclasses
 		var all_mclasses = new HashSet[MClass]
@@ -614,13 +655,14 @@ class NitdocModule
 
 		var sorted = new Array[MClass]
 		sorted.add_all(all_mclasses)
-		var sorter = new ComparableSorter[MClass]
+		var sorter = new MClassNameSorter
 		sorter.sort(sorted)
 		append("<div class='module'>")
 		append("<article class='classes filterable'>")
 		append("<h2>Classes</h2>")
 		append("<ul>")
 		for c in sorted do
+			if c.visibility < ctx.min_visibility then continue
 			if redef_mclasses.has(c) and c.intro_mmodule.public_owner != mmodule then
 				append("<li class='redef'>")
 				append("<span title='refined in this module'>R </span>")
@@ -628,7 +670,7 @@ class NitdocModule
 				append("<li class='intro'>")
 				append("<span title='introduced in this module'>I </span>")
 			end
-			append(c.link(mbuilder))
+			c.html_link(self)
 			append("</li>")
 		end
 		append("</ul>")
@@ -637,7 +679,7 @@ class NitdocModule
 	end
 
 	# display the property column
-	fun properties do
+	private fun properties do
 		# get properties
 		var mpropdefs = new HashSet[MPropDef]
 		for m in mmodule.in_nesting.greaters do
@@ -645,7 +687,7 @@ class NitdocModule
 		end
 		for c in mmodule.mclassdefs do mpropdefs.add_all(c.mpropdefs)
 		var sorted = mpropdefs.to_a
-		var sorter = new ComparableSorter[MPropDef]
+		var sorter = new MPropDefNameSorter
 		sorter.sort(sorted)
 		# display properties in one column
 		append("<article class='properties filterable'>")
@@ -653,8 +695,8 @@ class NitdocModule
 		append("<ul>")
 		for mprop in sorted do
 			if mprop isa MAttributeDef then continue
-			if mprop.mproperty.visibility <= none_visibility then continue
-			append(mprop.html_list_item(mbuilder))
+			if mprop.mproperty.visibility < ctx.min_visibility then continue
+			mprop.html_list_item(self)
 		end
 		append("</ul>")
 		append("</article>")
@@ -666,22 +708,20 @@ class NitdocClass
 	super NitdocPage
 
 	private var mclass: MClass
-	private var mbuilder: ModelBuilder
 	private var vtypes = new HashSet[MVirtualTypeDef]
 	private var consts = new HashSet[MMethodDef]
 	private var meths = new HashSet[MMethodDef]
 	private var inherited = new HashSet[MPropDef]
 
-	init(mclass: MClass, nitdoc: Nitdoc, dot_dir: nullable String, source: nullable String) do
-		super(nitdoc)
+	init(mclass: MClass, ctx: NitdocContext, dot_dir: nullable String, source: nullable String) do
+		super(ctx)
 		self.mclass = mclass
-		self.mbuilder = nitdoc.modelbuilder
 		self.dot_dir = dot_dir
 		self.source = source
 		# load properties
 		for mclassdef in mclass.mclassdefs do
 			for mpropdef in mclassdef.mpropdefs do
-				if mpropdef.mproperty.visibility <= none_visibility then continue
+				if mpropdef.mproperty.visibility < ctx.min_visibility then continue
 				if mpropdef isa MVirtualTypeDef then vtypes.add(mpropdef)
 				if mpropdef isa MMethodDef then
 					if mpropdef.mproperty.is_init then
@@ -695,7 +735,7 @@ class NitdocClass
 		# get inherited properties
 		for mprop in mclass.inherited_mproperties do
 			var mpropdef = mprop.intro
-			if mprop.visibility <= none_visibility then continue
+			if mprop.visibility < ctx.min_visibility then continue
 			if mpropdef isa MVirtualTypeDef then vtypes.add(mpropdef)
 			if mpropdef isa MMethodDef then
 				if mpropdef.mproperty.is_init then
@@ -709,7 +749,7 @@ class NitdocClass
 	end
 
 	redef fun title do
-		var nclass = mbuilder.mclassdef2nclassdef[mclass.intro]
+		var nclass = ctx.mbuilder.mclassdef2nclassdef[mclass.intro]
 		if nclass isa AStdClassdef then
 			return "{mclass.name} class | {nclass.short_comment}"
 		else
@@ -722,9 +762,13 @@ class NitdocClass
 		append("<li><a href='index.html'>Overview</a></li>")
 		var public_owner = mclass.public_owner
 		if public_owner is null then
-			append("<li>{mclass.intro_mmodule.link(mbuilder)}</li>")
+			append("<li>")
+			mclass.intro_mmodule.html_link(self)
+			append("</li>")
 		else
-			append("<li>{public_owner.link(mbuilder)}</li>")
+			append("<li>")
+			public_owner.html_link(self)
+			append("</li>")
 		end
 		append("<li class='current'>{mclass.name}</li>")
 		append("<li><a href='full-index.html'>Full Index</a></li>")
@@ -740,8 +784,8 @@ class NitdocClass
 		append("</div>")
 	end
 
-	fun properties_column do
-		var sorter = new ComparableSorter[MPropDef]
+	private fun properties_column do
+		var sorter = new MPropDefNameSorter
 		append("<nav class='properties filterable'>")
 		append("<h3>Properties</h3>")
 		# virtual types
@@ -752,7 +796,7 @@ class NitdocClass
 			append("<h4>Virtual Types</h4>")
 			append("<ul>")
 			for mprop in vts do
-				append(mprop.html_sidebar_item(self))
+				mprop.html_sidebar_item(self)
 			end
 			append("</ul>")
 		end
@@ -764,7 +808,8 @@ class NitdocClass
 			append("<h4>Constructors</h4>")
 			append("<ul>")
 			for mprop in cts do
-				append(mprop.html_sidebar_item(self))
+				if mprop.mproperty.name == "init" and mprop.mclassdef.mclass != mclass then continue
+				mprop.html_sidebar_item(self)
 			end
 			append("</ul>")
 		end
@@ -777,50 +822,55 @@ class NitdocClass
 			append("<ul>")
 			for mprop in mts do
 				if mclass.name != "Object" and mprop.mproperty.intro_mclassdef.mclass.name == "Object" and mprop.mproperty.visibility <= protected_visibility then continue
-				append(mprop.html_sidebar_item(self))
+				mprop.html_sidebar_item(self)
 			end
 			append("</ul>")
 		end
 		append("</nav>")
 	end
 
-	fun inheritance_column do
+	private fun inheritance_column do
 		var sorted = new Array[MClass]
-		var sorterp = new ComparableSorter[MClass]
+		var sorterp = new MClassNameSorter
 		append("<nav>")
 		append("<h3>Inheritance</h3>")
-		if mclass.ancestors.length > 1 then
-			sorted = mclass.ancestors.to_a
-			sorterp.sort(sorted)
+		var greaters = mclass.in_hierarchy(ctx.mainmodule).greaters.to_a
+		if greaters.length > 1 then
+			ctx.mainmodule.linearize_mclasses(greaters)
 			append("<h4>Superclasses</h4>")
 			append("<ul>")
-			for sup in sorted do
+			for sup in greaters do
 				if sup == mclass then continue
-				append("<li>{sup.link(mbuilder)}</li>")
+				append("<li>")
+				sup.html_link(self)
+				append("</li>")
 			end
 			append("</ul>")
 		end
-
-		if mclass.descendants.length <= 1 then
+		var smallers = mclass.in_hierarchy(ctx.mainmodule).smallers.to_a
+		var direct_smallers = mclass.in_hierarchy(ctx.mainmodule).direct_smallers.to_a
+		if smallers.length <= 1 then
 			append("<h4>No Known Subclasses</h4>")
-		else if mclass.descendants.length <= 100 then
-			sorted = mclass.descendants.to_a
-			sorterp.sort(sorted)
+		else if smallers.length <= 100 then
+			ctx.mainmodule.linearize_mclasses(smallers)
 			append("<h4>Subclasses</h4>")
 			append("<ul>")
-			for sub in sorted do
+			for sub in smallers do
 				if sub == mclass then continue
-				append("<li>{sub.link(mbuilder)}</li>")
+				append("<li>")
+				sub.html_link(self)
+				append("</li>")
 			end
 			append("</ul>")
-		else if mclass.children.length <= 100 then
-			sorted = mclass.children.to_a
-			sorterp.sort(sorted)
+		else if direct_smallers.length <= 100 then
+			ctx.mainmodule.linearize_mclasses(direct_smallers)
 			append("<h4>Direct Subclasses Only</h4>")
 			append("<ul>")
-			for sub in sorted do
+			for sub in direct_smallers do
 				if sub == mclass then continue
-				append("<li>{sub.link(mbuilder)}</li>")
+				append("<li>")
+				sub.html_link(self)
+				append("</li>")
 			end
 			append("</ul>")
 		else
@@ -829,17 +879,17 @@ class NitdocClass
 		append("</nav>")
 	end
 
-	fun class_doc do
+	private fun class_doc do
 		# title
-		append("<h1>{mclass.html_signature}</h1>")
-		append("<div class='subtitle info'>{mclass.html_full_signature(mbuilder)}")
-
+		append("<h1>{mclass.signature}</h1>")
+		append("<div class='subtitle info'>")
+		mclass.html_full_signature(self)
 		append("</div>")
 		# comment
-		var nclass = mbuilder.mclassdef2nclassdef[mclass.intro]
+		var nclass = ctx.mbuilder.mclassdef2nclassdef[mclass.intro]
 		append("<div style=\"float: right;\"><a id=\"lblDiffCommit\"></a></div>")
 		append("<section class='description'>")
-		if nclass isa AStdClassdef and not nclass.comment.is_empty then append("<pre class=\"text_label\" title=\"122\" name=\"\" tag=\"{mclass.mclassdefs.first.location.to_s}\" type=\"2\">{nclass.comment}</pre><textarea id=\"fileContent\" class=\"edit\" cols=\"76\" rows=\"1\" style=\"display: none;\"></textarea><a id=\"cancelBtn\" style=\"display: none;\">Cancel</a><a id=\"commitBtn\" style=\"display: none;\">Commit</a><pre id=\"preSave\" class=\"text_label\" type=\"2\"></pre>")
+		if nclass isa AStdClassdef and not nclass.full_comment.is_empty then append("<pre class=\"text_label\" title=\"122\" name=\"\" tag=\"{mclass.mclassdefs.first.location.to_s}\" type=\"2\">{nclass.full_comment}</pre><textarea id=\"fileContent\" class=\"edit\" cols=\"76\" rows=\"1\" style=\"display: none;\"></textarea><a id=\"cancelBtn\" style=\"display: none;\">Cancel</a><a id=\"commitBtn\" style=\"display: none;\">Commit</a><pre id=\"preSave\" class=\"text_label\" type=\"2\"></pre>")
 		process_generate_dot
 		append("</section>")
 		# concerns
@@ -847,7 +897,7 @@ class NitdocClass
 		var sorted_meths = new Array[MMethodDef]
 		var sorted = new Array[MModule]
 		sorted_meths.add_all(meths)
-		nitdoc.mainmodule.linearize_mpropdefs(sorted_meths)
+		ctx.mainmodule.linearize_mpropdefs(sorted_meths)
 		for meth in meths do
 			if inherited.has(meth) then continue
 			var mmodule = meth.mclassdef.mmodule
@@ -868,7 +918,7 @@ class NitdocClass
 		append("<h2 class='section-header'>Concerns</h2>")
 		append("<ul>")
 		for owner, mmodules in sections do
-			var nowner = mbuilder.mmodule2nmodule[owner]
+			var nowner = ctx.mbuilder.mmodule2nmodule[owner]
 			append("<li>")
 			if nowner.short_comment.is_empty then
 				append("<a href=\"#{owner.anchor}\">{owner.name}</a>")
@@ -878,7 +928,7 @@ class NitdocClass
 			if not mmodules.is_empty then
 				append("<ul>")
 				for mmodule in mmodules do
-					var nmodule = mbuilder.mmodule2nmodule[mmodule]
+					var nmodule = ctx.mbuilder.mmodule2nmodule[mmodule]
 					if nmodule.short_comment.is_empty then
 						append("<li><a href=\"#{mmodule.anchor}\">{mmodule.name}</a></li>")
 					else
@@ -892,9 +942,7 @@ class NitdocClass
 		append("</ul>")
 		append("</section>")
 		# properties
-		var prop_sorter = new ComparableSorter[MPropDef]
-		var sorterprop = new ComparableSorter[MProperty]
-		var sorterc = new ComparableSorter[MClass]
+		var prop_sorter = new MPropDefNameSorter
 		var lmmodule = new List[MModule]
 		# virtual and formal types
 		var local_vtypes = new Array[MVirtualTypeDef]
@@ -906,14 +954,16 @@ class NitdocClass
 			if mclass.arity > 0 and nclass isa AStdClassdef then
 				for ft, bound in mclass.parameter_types do
 					append("<article id='FT_{ft}'>")
-					append("<h3 class='signature'>{ft}: {bound.link(mbuilder)}</h3>")
+					append("<h3 class='signature'>{ft}: ")
+					bound.html_link(self)
+					append("</h3>")
 					append("<div class=\"info\">formal generic type</div>")
 					append("</article>")
 				end
 			end
 			# virtual types
 			prop_sorter.sort(local_vtypes)
-			for prop in local_vtypes do append(prop.html_full_desc(self))
+			for prop in local_vtypes do prop.html_full_desc(self)
 			append("</section>")
 		end
 		# constructors
@@ -923,7 +973,7 @@ class NitdocClass
 		if local_consts.length > 0 then
 			append("<section class='constructors'>")
 			append("<h2 class='section-header'>Constructors</h2>")
-			for prop in local_consts do append(prop.html_full_desc(self))
+			for prop in local_consts do prop.html_full_desc(self)
 			append("</section>")
 		end
 		# methods
@@ -933,32 +983,36 @@ class NitdocClass
 			for owner, mmodules in sections do
 				append("<a id=\"{owner.anchor}\"></a>")
 				if owner != mclass.intro_mmodule and owner != mclass.public_owner then
-					var nowner = mbuilder.mmodule2nmodule[owner]
-					append("<h3 class=\"concern-toplevel\">Methods refined in {owner.link(mbuilder)}</h3>")
-					if nowner.short_comment.is_empty then
-						append("<p class=\"concern-doc\">{owner.link(mbuilder)}</p>")
-					else
-						append("<p class=\"concern-doc\">{owner.link(mbuilder)}: {nowner.short_comment}</p>")
+					var nowner = ctx.mbuilder.mmodule2nmodule[owner]
+					append("<h3 class=\"concern-toplevel\">Methods refined in ")
+					owner.html_link(self)
+					append("</h3>")
+					append("<p class=\"concern-doc\">")
+					owner.html_link(self)
+					if not nowner.short_comment.is_empty then
+						append(": {nowner.short_comment}")
 					end
+					append("</p>")
 				end
 				if concern2meths.has_key(owner) then
 					var mmethods = concern2meths[owner]
 					prop_sorter.sort(mmethods)
-					for prop in mmethods do append(prop.html_full_desc(self))
+					for prop in mmethods do prop.html_full_desc(self)
 				end
 				for mmodule in mmodules do
 					append("<a id=\"{mmodule.anchor}\"></a>")
-					var nmodule = mbuilder.mmodule2nmodule[mmodule]
+					var nmodule = ctx.mbuilder.mmodule2nmodule[mmodule]
 					if mmodule != mclass.intro_mmodule and mmodule != mclass.public_owner then
-						if nmodule.short_comment.is_empty then
-							append("<p class=\"concern-doc\">{mmodule.link(mbuilder)}</p>")
-						else
-							append("<p class=\"concern-doc\">{mmodule.link(mbuilder)}: {nmodule.short_comment}</p>")
+						append("<p class=\"concern-doc\">")
+						mmodule.html_link(self)
+						if not nmodule.short_comment.is_empty then
+							append(": {nmodule.short_comment}")
 						end
+						append("</p>")
 					end
 					var mmethods = concern2meths[mmodule]
 					prop_sorter.sort(mmethods)
-					for prop in mmethods do append(prop.html_full_desc(self))
+					for prop in mmethods do prop.html_full_desc(self)
 				end
 			end
 		end
@@ -966,7 +1020,7 @@ class NitdocClass
 		if inherited.length > 0 then
 			var sorted_inherited = new Array[MPropDef]
 			sorted_inherited.add_all(inherited)
-			nitdoc.mainmodule.linearize_mpropdefs(sorted_inherited)
+			ctx.mainmodule.linearize_mpropdefs(sorted_inherited)
 			var classes = new ArrayMap[MClass, Array[MPropDef]]
 			for mmethod in sorted_inherited.reversed do
 				var mclass = mmethod.mclassdef.mclass
@@ -976,10 +1030,12 @@ class NitdocClass
 			append("<h3>Inherited Properties</h3>")
 			for c, mmethods in classes do
 				prop_sorter.sort(mmethods)
-				append("<p>Defined in {c.link(mbuilder)}: ")
+				append("<p>Defined in ")
+				c.html_link(self)
+				append(": ")
 				for i in [0..mmethods.length[ do
 					var mmethod = mmethods[i]
-					append(mmethod.link(mbuilder))
+					mmethod.html_link(self)
 					if i <= mmethods.length - 1 then append(", ")
 				end
 				append("</p>")
@@ -988,8 +1044,8 @@ class NitdocClass
 		append("</section>")
 	end
 
-	fun process_generate_dot do
-		var pe = nitdoc.class_hierarchy[mclass]
+	private fun process_generate_dot do
+		var pe = ctx.class_hierarchy[mclass]
 		var cla = new HashSet[MClass]
 		var sm = new HashSet[MClass]
 		var sm2 = new HashSet[MClass]
@@ -1040,32 +1096,6 @@ end
 #
 
 redef class MModule
-	super Comparable
-	redef type OTHER: MModule
-	redef fun <(other: OTHER): Bool do return self.name < other.name
-
-	# Get the list of all methods in a module
-	fun imported_methods: Set[MMethod] do
-		var methods = new HashSet[MMethod]
-		for mclass in imported_mclasses do
-			for method in mclass.intro_methods do
-				methods.add(method)
-			end
-		end
-		return methods
-	end
-
-	# Get the list aof all refined methods in a module
-	fun redef_methods: Set[MMethod] do
-		var methods = new HashSet[MMethod]
-		for mclass in redef_mclasses do
-			for method in mclass.intro_methods do
-				methods.add(method)
-			end
-		end
-		return methods
-	end
-
 	# URL to nitdoc page
 	fun url: String do
 		var res = new Buffer
@@ -1091,82 +1121,70 @@ redef class MModule
 	end
 
 	# Return a link (html a tag) to the nitdoc module page
-	fun link(mbuilder: ModelBuilder): String do
-		if mbuilder.mmodule2nmodule.has_key(self) then
-			return "<a href='{url}' title='{mbuilder.mmodule2nmodule[self].short_comment}'>{name}</a>"
+	fun html_link(page: NitdocPage) do
+		if page.ctx.mbuilder.mmodule2nmodule.has_key(self) then
+			page.append("<a href='{url}' title='{page.ctx.mbuilder.mmodule2nmodule[self].short_comment}'>{name}</a>")
 		else
-			return "<a href='{url}'>{name}</a>"
+			page.append("<a href='{url}'>{name}</a>")
 		end
 	end
 
 	# Return the module signature decorated with html
-	fun html_signature(mbuilder: ModelBuilder): String do
-		return "<span>module {html_full_namespace(mbuilder)}</span>"
+	fun html_signature(page: NitdocPage) do
+		page.append("<span>module ")
+		html_full_namespace(page)
+		page.append("</span>")
 	end
 
 	# Return the module full namespace decorated with html
-	fun html_full_namespace(mbuilder: ModelBuilder): String do
-		var res = new Buffer
-		res.append("<span>")
+	fun html_full_namespace(page: NitdocPage) do
+		page.append("<span>")
 		var mowner = public_owner
 		if mowner != null then
-			res.append(public_owner.html_namespace(mbuilder))
-			res.append("::")
+			public_owner.html_namespace(page)
+			page.append("::")
 		end
-		res.append(self.link(mbuilder))
-		res.append("</span>")
-		return res.to_s
+		html_link(page)
+		page.append("</span>")
 	end
 
 	# Return the module full namespace decorated with html
-	fun html_namespace(mbuilder: ModelBuilder): String do
-		var res = new Buffer
-		res.append("<span>")
+	fun html_namespace(page: NitdocPage) do
+		page.append("<span>")
 		var mowner = public_owner
 		if mowner != null then
-			res.append(public_owner.html_namespace(mbuilder))
+			public_owner.html_namespace(page)
 		else
-			res.append(self.link(mbuilder))
+			html_link(page)
 		end
-		res.append("</span>")
-		return res.to_s
+		page.append("</span>")
 	end
 
 	# Return the full comment of the module decorated with html
-	fun html_full_comment(mbuilder: ModelBuilder): String do
-		var res = new Buffer
-		if mbuilder.mmodule2nmodule.has_key(self) then
-			res.append("<div id='description'>")
-			res.append("<pre class='text_label'>{mbuilder.mmodule2nmodule[self].comment}</pre>")
-			res.append("<textarea class='edit' rows='1' cols='76' id='fileContent'></textarea>")
-			res.append("<a id='cancelBtn'>Cancel</a>")
-			res.append("<a id='commitBtn'>Commit</a>")
-			res.append("<pre class='text_label' id='preSave' type='2'></pre>")
-			res.append("</div>")
+	fun html_full_comment(page: NitdocPage) do
+		if page.ctx.mbuilder.mmodule2nmodule.has_key(self) then
+			page.append("<div id='description'>")
+			page.append("<pre class='text_label'>{page.ctx.mbuilder.mmodule2nmodule[self].full_comment}</pre>")
+			page.append("<textarea class='edit' rows='1' cols='76' id='fileContent'></textarea>")
+			page.append("<a id='cancelBtn'>Cancel</a>")
+			page.append("<a id='commitBtn'>Commit</a>")
+			page.append("<pre class='text_label' id='preSave' type='2'></pre>")
+			page.append("</div>")
 		end
-		return res.to_s
 	end
 end
 
 redef class MClass
-	super Comparable
-	redef type OTHER: MClass
-	redef fun <(other: OTHER): Bool do return self.name < other.name
-
 	# Return the module signature decorated with html
-	fun html_full_signature(mbuilder: ModelBuilder): String do
-		var res = new Buffer
-		if visibility <= none_visibility then
-			res.append("private ")
-		else if visibility == protected_visibility then
-			res.append("protected ")
-		end
-		res.append("{kind} {html_namespace(mbuilder)}")
-		return res.to_s
+	fun html_full_signature(page: NitdocPage) do
+		if visibility < public_visibility then page.append("{visibility.to_s} ")
+		page.append("{kind} ")
+		html_namespace(page)
 	end
 
-	# Add type parameters
-	fun html_signature: String do
+	# name with formal parameter
+	# Foo[A, B]
+	private fun signature: String do
 		if arity > 0 then
 			return "{name}[{intro.parameter_names.join(", ")}]"
 		else
@@ -1175,29 +1193,27 @@ redef class MClass
 	end
 
 	# Return a link (html a tag) to the nitdoc class page
-	fun link(mbuilder: ModelBuilder): String do
-		if mbuilder.mclassdef2nclassdef.has_key(intro) then
-			var nclass = mbuilder.mclassdef2nclassdef[intro]
+	fun html_link(page: NitdocPage) do
+		page.append("<a href='{url}'")
+		if page.ctx.mbuilder.mclassdef2nclassdef.has_key(intro) then
+			var nclass = page.ctx.mbuilder.mclassdef2nclassdef[intro]
 			if nclass isa AStdClassdef then
-				return "<a href='{url}' title=\"{nclass.short_comment}\">{html_signature}</a>"
-			else
-				return "<a href='{url}'>{html_signature}</a>"
+				page.append(" title=\"{nclass.short_comment}\"")
 			end
-		else
-			return "<a href='{url}'>{html_signature}</a>"
 		end
+		page.append(">{signature}</a>")
 	end
 
 	# Return the class namespace decorated with html
-	fun html_namespace(mbuilder: ModelBuilder): String do
-		var res = new Buffer
-		res.append(intro_mmodule.html_namespace(mbuilder))
-		res.append("::<span>{self.link(mbuilder)}</span>")
-		return res.to_s
+	fun html_namespace(page: NitdocPage) do
+		intro_mmodule.html_namespace(page)
+		page.append("::<span>")
+		html_link(page)
+		page.append("</span>")
 	end
 
 	fun url: String do
-		return "class_{public_owner}_{c_name}.html"
+		return "class_{public_owner}_{name}.html"
 	end
 
 	# Escape name for html output
@@ -1205,13 +1221,12 @@ redef class MClass
 end
 
 redef class MProperty
-	super Comparable
-	redef type OTHER: MProperty
-	redef fun <(other: OTHER): Bool do return self.name < other.name
-
 	# Return the property namespace decorated with html
-	fun html_namespace(mbuilder: ModelBuilder): String do
-		return "{intro_mclassdef.mclass.html_namespace(mbuilder)}::<span>{intro.link(mbuilder)}</span>"
+	fun html_namespace(page: NitdocPage) do
+		intro_mclassdef.mclass.html_namespace(page)
+		page.append("::<span>")
+		intro.html_link(page)
+		page.append("</span>")
 	end
 
 	# Escape name for html output
@@ -1219,288 +1234,282 @@ redef class MProperty
 end
 
 redef class MType
-	fun link(mbuilder: ModelBuilder): String is abstract
+	fun html_link(page: NitdocPage) is abstract
 end
 
 redef class MClassType
-	redef fun link(mbuilder) do return mclass.link(mbuilder)
+	redef fun html_link(page) do mclass.html_link(page)
 end
 
 redef class MNullableType
-	redef fun link(mbuilder) do return "nullable {mtype.link(mbuilder)}"
+	redef fun html_link(page) do
+		page.append("nullable ")
+		mtype.html_link(page)
+	end
 end
 
 redef class MGenericType
-	redef fun link(mbuilder) do
-		var res = new Buffer
-		res.append("<a href='{mclass.url}'>{mclass.name}</a>[")
+	redef fun html_link(page) do
+		page.append("<a href='{mclass.url}'>{mclass.name}</a>[")
 		for i in [0..arguments.length[ do
-			res.append(arguments[i].link(mbuilder))
-			if i < arguments.length - 1 then res.append(", ")
+			arguments[i].html_link(page)
+			if i < arguments.length - 1 then page.append(", ")
 		end
-		res.append("]")
-		return res.to_s
+		page.append("]")
 	end
 end
 
 redef class MParameterType
-	redef fun link(mbuilder) do
+	redef fun html_link(page) do
 		var name = mclass.intro.parameter_names[rank]
-		return "<a href='{mclass.url}#FT_{name}' title='formal type'>{name}</a>"
+		page.append("<a href='{mclass.url}#FT_{name}' title='formal type'>{name}</a>")
 	end
 end
 
 redef class MVirtualType
-	redef fun link(mbuilder) do return mproperty.intro.link(mbuilder)
+	redef fun html_link(page) do mproperty.intro.html_link(page)
 end
 
 redef class MClassDef
 	# Return the classdef namespace decorated with html
-	fun html_namespace(mbuilder: ModelBuilder): String do
-		var res = new Buffer
-		res.append(mmodule.html_full_namespace(mbuilder))
-		res.append("::<span>{self.mclass.link(mbuilder)}</span>")
-		return res.to_s
+	fun html_namespace(page: NitdocPage) do
+		mmodule.html_full_namespace(page)
+		page.append("::<span>")
+		mclass.html_link(page)
+		page.append("</span>")
 	end
 end
 
 redef class MPropDef
-	super Comparable
-	redef type OTHER: MPropDef
-	redef fun <(other: OTHER): Bool do return self.mproperty.name < other.mproperty.name
-
 	fun url: String do return "{mclassdef.mclass.url}#{anchor}"
-	fun anchor: String do return "PROP_{mclassdef.mclass.public_owner.name}_{c_name}"
+	fun anchor: String do return "PROP_{mclassdef.mclass.public_owner.name}_{mproperty.name}"
 
 	# Return a link (html a tag) to the nitdoc class page
-	fun link(mbuilder: ModelBuilder): String do
-		if mbuilder.mpropdef2npropdef.has_key(self) then
-			var nprop = mbuilder.mpropdef2npropdef[self]
-			return "<a href=\"{url}\" title=\"{nprop.short_comment}\">{mproperty.name}</a>"
+	fun html_link(page: NitdocPage) do
+		if page.ctx.mbuilder.mpropdef2npropdef.has_key(self) then
+			var nprop = page.ctx.mbuilder.mpropdef2npropdef[self]
+			page.append("<a href=\"{url}\" title=\"{nprop.short_comment}\">{mproperty.name}</a>")
 		else
-			return "<a href=\"{url}\">{mproperty.name}</a>"
+			page.append("<a href=\"{url}\">{mproperty.name}</a>")
 		end
 	end
 
 	# Return a list item for the mpropdef
-	fun html_list_item(mbuilder: ModelBuilder): String do
-		var res = new Buffer
+	private fun html_list_item(page: NitdocPage) do
 		if is_intro then
-			res.append("<li class='intro'>")
-			res.append("<span title='introduction'>I</span>&nbsp;{link(mbuilder)} ({mclassdef.mclass.link(mbuilder)})")
-			res.append("</li>")
+			page.append("<li class='intro'>")
+			page.append("<span title='introduction'>I</span>&nbsp;")
 		else
-			res.append("<li class='redef'>")
-			res.append("<span title='redefinition'>R</span>&nbsp;{link(mbuilder)} ({mclassdef.mclass.link(mbuilder)})")
-			res.append("</li>")
+			page.append("<li class='redef'>")
+			page.append("<span title='redefinition'>R</span>&nbsp;")
 		end
-		return res.to_s
+		html_link(page)
+		page.append("(")
+		mclassdef.mclass.html_link(page)
+		page.append(")")
+		page.append("</li>")
 	end
 
 	# Return a list item for the mpropdef
-	fun html_sidebar_item(page: NitdocClass): String do
-		var res = new Buffer
+	private fun html_sidebar_item(page: NitdocClass) do
 		if is_intro and mclassdef.mclass == page.mclass then
-			res.append("<li class='intro'>")
-			res.append("<span title='Introduced'>I</span>")
+			page.append("<li class='intro'>")
+			page.append("<span title='Introduced'>I</span>")
 		else if is_intro and mclassdef.mclass != page.mclass then
-			res.append("<li class='inherit'>")
-			res.append("<span title='Inherited'>H</span>")
+			page.append("<li class='inherit'>")
+			page.append("<span title='Inherited'>H</span>")
 		else
-			res.append("<li class='redef'>")
-			res.append("<span title='Redefined'>R</span>")
+			page.append("<li class='redef'>")
+			page.append("<span title='Redefined'>R</span>")
 		end
-		res.append(link(page.mbuilder))
-		res.append("</li>")
-		return res.to_s
+		html_link(page)
+		page.append("</li>")
 	end
 
-	fun html_full_desc(page: NitdocClass): String is abstract
-	fun html_info(page: NitdocClass): String is abstract
+	private fun html_full_desc(page: NitdocClass) is abstract
+	private fun html_info(page: NitdocClass) is abstract
 
 	fun full_name: String do
 		return "{mclassdef.mclass.public_owner.name}::{mclassdef.mclass.name}::{mproperty.name}"
 	end
-end
 
-redef class MMethodDef
-	redef fun html_full_desc(page) do
-		if not page.mbuilder.mpropdef2npropdef.has_key(self) then
-			return ""
-		end
-		var res = new Buffer
-		var mprop = mproperty
-		var nprop = page.mbuilder.mpropdef2npropdef[self]
-		var classes = new Array[String]
-		var is_redef = mprop.intro_mclassdef.mclass != page.mclass
-		classes.add("fun")
-		if mprop.is_init then classes.add("init")
-		if is_redef then classes.add("redef")
-		if mprop.visibility == none_visibility then
-			classes.add("private")
-		else if mprop.visibility == protected_visibility then
-			classes.add("protected")
-		else
-			classes.add("public")
-		end
-		res.append("<article class='{classes.join(" ")}' id='{anchor}'>")
-		if nprop isa AAttrPropdef then
-			if nprop.mreadpropdef == self then
-				res.append("<h3 class='signature'>{mprop.name}: {nprop.html_signature(page.mbuilder)}</h3>")
-			else
-				res.append("<h3 class='signature'>{mprop.name}(value: {nprop.html_signature(page.mbuilder)})</h3>")
-			end
-		else
-			var intro_nprop = page.mbuilder.mpropdef2npropdef[mprop.intro]
-			res.append("<h3 class='signature'>{mprop.name}{intro_nprop.html_signature(page.mbuilder)}</h3>")
-		end
-		res.append(html_info(page))
-		res.append("<div class='description'>")
-		if nprop.comment == "" then
-			res.append("<a class=\"newComment\" title=\"32\" tag=\"\">New Comment</a>")
-		else
-			res.append("<pre class=\"text_label\" title=\"\" name=\"\" tag=\"\" type=\"1\">{nprop.comment}</pre>")
-		end
-		res.append("<textarea id=\"fileContent\" class=\"edit\" cols=\"76\" rows=\"1\" style=\"display: none;\"></textarea><a id=\"cancelBtn\" style=\"display: none;\">Cancel</a><a id=\"commitBtn\" style=\"display: none;\">Commit</a><pre id=\"preSave\" class=\"text_label\" type=\"2\"></pre>")
+	private fun html_inheritance(page: NitdocClass) do
 		# definitions block
-		res.append("<p class='info'>")
-		page.nitdoc.mainmodule.linearize_mpropdefs(mprop.mpropdefs)
-		var previous_defs = new Array[MMethodDef]
-		var next_defs = new Array[MMethodDef]
+		page.append("<p class='info'>")
+		page.ctx.mainmodule.linearize_mpropdefs(mproperty.mpropdefs)
+		var previous_defs = new Array[MPropDef]
+		var next_defs = new Array[MPropDef]
 		var self_passed = false
-		for def in mprop.mpropdefs do
+		for def in mproperty.mpropdefs do
 			if def == self then
 				self_passed = true
 				continue
 			end
 			if not self_passed then
-				if not page.mclass.ancestors.has(def.mclassdef.mclass) then continue
+				if def.mclassdef.mclass.in_hierarchy(page.ctx.mainmodule) < page.mclass then continue
 				if def.is_intro then continue
 				previous_defs.add(def)
 			else
-				if not page.mclass.descendants.has(def.mclassdef.mclass) then continue
+				if page.mclass.in_hierarchy(page.ctx.mainmodule) < def.mclassdef.mclass then continue
 				next_defs.add(def)
 			end
 		end
-		res.append("defined by {mclassdef.mmodule.html_full_namespace(page.mbuilder)}")
+		page.append("defined by ")
+		mclassdef.mmodule.html_full_namespace(page)
+		if page.ctx.mbuilder.mpropdef2npropdef.has_key(self) then
+			page.append(" {page.show_source(page.ctx.mbuilder.mpropdef2npropdef[self].location)}")
+		end
 		if not is_intro then
-			res.append(", introduced by {mprop.intro.mclassdef.mclass.link(page.mbuilder)}")
+			page.append(", introduced by ")
+			mproperty.intro.mclassdef.mclass.html_link(page)
+			if page.ctx.mbuilder.mpropdef2npropdef.has_key(self) then
+				page.append(" {page.show_source(page.ctx.mbuilder.mpropdef2npropdef[self].location)}")
+			end
 		end
 		if not previous_defs.is_empty then
-			res.append(", inherited from ")
+			page.append(", inherited from ")
 			for i in [0..previous_defs.length[ do
-				 res.append(previous_defs[i].mclassdef.mclass.link(page.mbuilder))
-				 if i < previous_defs.length - 1 then res.append(", ")
+				var def = previous_defs[i]
+				def.mclassdef.mclass.html_link(page)
+				if page.ctx.mbuilder.mpropdef2npropdef.has_key(def) then
+					page.append(" {page.show_source(page.ctx.mbuilder.mpropdef2npropdef[def].location)}")
+				end
+
+				if i < previous_defs.length - 1 then page.append(", ")
 			end
 		end
 		if not next_defs.is_empty then
-			res.append(", redefined by ")
+			page.append(", redefined by ")
 			for i in [0..next_defs.length[ do
-				 res.append(next_defs[i].mclassdef.mclass.link(page.mbuilder))
-				 if i < next_defs.length - 1 then res.append(", ")
+				var def = next_defs[i]
+				def.mclassdef.mclass.html_link(page)
+				if page.ctx.mbuilder.mpropdef2npropdef.has_key(def) then
+					page.append(" {page.show_source(page.ctx.mbuilder.mpropdef2npropdef[def].location)}")
+				end
+				if i < next_defs.length - 1 then page.append(", ")
 			end
 		end
-		res.append(".</p>")
-		res.append("</div>")
-		res.append("</article>")
-		return res.to_s
+		page.append(".</p>")
 	end
 
-	redef fun html_info(page) do
-		var res = new Buffer
-		res.append("<div class='info'>")
-		if mproperty.visibility <= none_visibility then
-			res.append("private ")
-		else if mproperty.visibility <= protected_visibility then
-			res.append("protected ")
-		end
-		if mproperty.intro_mclassdef.mclass != page.mclass then res.append("redef ")
-		res.append("fun {mproperty.html_namespace(page.mbuilder)}")
-		res.append("</div>")
-		res.append("<div style=\"float: right;\"><a id=\"lblDiffCommit\"></a></div>")
-		return res.to_s
+	private fun html_comment(page: NitdocClass) do
+		if not page.ctx.mbuilder.mpropdef2npropdef.has_key(self) then return
+		var nprop = page.ctx.mbuilder.mpropdef2npropdef[self]
+		page.append("<div class='description'>")
+		if not is_intro then
+			var intro_nprop = page.ctx.mbuilder.mpropdef2npropdef[mproperty.intro]
+			page.append("<p>from ")
+			mproperty.html_namespace(page)
+			page.append("</p>")
+			if intro_nprop.full_comment == "" then
+				page.append("<a class=\"newComment\" title=\"32\" tag=\"\">New Comment</a>")
+			else
+				page.append("<pre class=\"text_label\" title=\"\" name=\"\" tag=\"\" type=\"1\">{intro_nprop.full_comment}</pre>")
+			end
+			page.append("<p>from ")
+			mclassdef.html_namespace(page)
+			page.append("</p>")
+		end
+		if nprop.full_comment == "" then
+			page.append("<a class=\"newComment\" title=\"32\" tag=\"\">New Comment</a>")
+		else
+			page.append("<pre class=\"text_label\" title=\"\" name=\"\" tag=\"\" type=\"1\">{nprop.full_comment}</pre>")
+		end
+		page.append("<textarea id=\"fileContent\" class=\"edit\" cols=\"76\" rows=\"1\" style=\"display: none;\"></textarea><a id=\"cancelBtn\" style=\"display: none;\">Cancel</a><a id=\"commitBtn\" style=\"display: none;\">Commit</a><pre id=\"preSave\" class=\"text_label\" type=\"2\"></pre>")
+		html_inheritance(page)
+		page.append("</div>")
 	end
 end
 
-redef class MVirtualTypeDef
+redef class MMethodDef
 	redef fun html_full_desc(page) do
-		var res = new Buffer
-		var mprop = mproperty
-		var is_redef = mprop.intro_mclassdef.mclass != page.mclass
 		var classes = new Array[String]
-		classes.add("type")
+		var is_redef = mproperty.intro_mclassdef.mclass != page.mclass
+		if mproperty.is_init then
+			classes.add("init")
+		else
+			classes.add("fun")
+		end
 		if is_redef then classes.add("redef")
-		if mprop.visibility == none_visibility then
-			classes.add("private")
-		else if mprop.visibility == protected_visibility then
-			classes.add("protected")
+		classes.add(mproperty.visibility.to_s)
+		page.append("<article class='{classes.join(" ")}' id='{anchor}'>")
+		if page.ctx.mbuilder.mpropdef2npropdef.has_key(self) then
+			page.append("<h3 class='signature'>{mproperty.name}")
+			msignature.html_signature(page)
+			page.append("</h3>")
 		else
-			classes.add("public")
+			page.append("<h3 class='signature'>init")
+			msignature.html_signature(page)
+			page.append("</h3>")
 		end
-		res.append("<article class='{classes.join(" ")}' id='{anchor}'>")
-		res.append("<h3 class='signature'>{mprop.name}: {bound.link(page.mbuilder)}</h3>")
-		res.append(html_info(page))
-		res.append("<div class='description'>")
+		html_info(page)
+		html_comment(page)
+		page.append("</article>")
+	end
 
-		if page.mbuilder.mpropdef2npropdef.has_key(self) and page.mbuilder.mpropdef2npropdef[self].comment != "" then
-			var nprop = page.mbuilder.mpropdef2npropdef[self]
-			res.append("<pre class=\"text_label\" title=\"\" name=\"\" tag=\"\" type=\"1\">{nprop.comment}</pre>")
+	redef fun html_info(page) do
+		page.append("<div class='info'>")
+		if mproperty.visibility < public_visibility then page.append("{mproperty.visibility.to_s} ")
+		if mproperty.intro_mclassdef.mclass != page.mclass then page.append("redef ")
+		if mproperty.is_init then
+			page.append("init ")
 		else
-			res.append("<a class=\"newComment\" title=\"32\" tag=\"\">New Comment</a>")
+			page.append("fun ")
 		end
-		res.append("<textarea id=\"fileContent\" class=\"edit\" cols=\"76\" rows=\"1\" style=\"display: none;\"></textarea><a id=\"cancelBtn\" style=\"display: none;\">Cancel</a><a id=\"commitBtn\" style=\"display: none;\">Commit</a><pre id=\"preSave\" class=\"text_label\" type=\"2\"></pre>")
-		# definitions block
-		res.append("<p class='info'>")
-		page.nitdoc.mainmodule.linearize_mpropdefs(mprop.mpropdefs)
-		var previous_defs = new Array[MVirtualTypeDef]
-		var next_defs = new Array[MVirtualTypeDef]
-		var self_passed = false
-		for def in mprop.mpropdefs do
-			if def == self then
-				self_passed = true
-				continue
-			end
-			if not self_passed then
-				if not page.mclass.ancestors.has(def.mclassdef.mclass) then continue
-				if def.is_intro then continue
-				previous_defs.add(def)
-			else
-				if not page.mclass.descendants.has(def.mclassdef.mclass) then continue
-				next_defs.add(def)
-			end
-		end
-		res.append("defined by {mclassdef.mmodule.html_full_namespace(page.mbuilder)}")
-		if not is_intro then
-			res.append(", introduced by {mprop.intro.mclassdef.mclass.link(page.mbuilder)}")
-		end
-		if not previous_defs.is_empty then
-			res.append(", inherited from ")
-			for i in [0..previous_defs.length[ do
-				 res.append(previous_defs[i].mclassdef.mclass.link(page.mbuilder))
-				 if i < previous_defs.length - 1 then res.append(", ")
+		mproperty.html_namespace(page)
+		page.append("</div>")
+		page.append("<div style=\"float: right;\"><a id=\"lblDiffCommit\"></a></div>")
+	end
+end
+
+redef class MVirtualTypeDef
+	redef fun html_full_desc(page) do
+		var is_redef = mproperty.intro_mclassdef.mclass != page.mclass
+		var classes = new Array[String]
+		classes.add("type")
+		if is_redef then classes.add("redef")
+		classes.add(mproperty.visibility.to_s)
+		page.append("<article class='{classes.join(" ")}' id='{anchor}'>")
+		page.append("<h3 class='signature'>{mproperty.name}: ")
+		bound.html_link(page)
+		page.append("</h3>")
+		html_info(page)
+		html_comment(page)
+		page.append("</article>")
+	end
+
+	redef fun html_info(page) do
+		page.append("<div class='info'>")
+		if mproperty.intro_mclassdef.mclass != page.mclass then page.append("redef ")
+		page.append("type ")
+		mproperty.html_namespace(page)
+		page.append("</div>")
+		page.append("<div style=\"float: right;\"><a id=\"lblDiffCommit\"></a></div>")
+	end
+end
+
+redef class MSignature
+	private fun html_signature(page: NitdocPage) do
+		if not mparameters.is_empty then
+			page.append("(")
+			for i in [0..mparameters.length[ do
+				mparameters[i].html_link(page)
+				if i < mparameters.length - 1 then page.append(", ")
 			end
+			page.append(")")
 		end
-		if not next_defs.is_empty then
-			res.append(", redefined by ")
-			for i in [0..next_defs.length[ do
-				 res.append(next_defs[i].mclassdef.mclass.link(page.mbuilder))
-				 if i < next_defs.length - 1 then res.append(", ")
-			end
+		if return_mtype != null then
+			page.append(": ")
+			return_mtype.html_link(page)
 		end
-		res.append(".</p>")
-		res.append("</div>")
-		res.append("</article>")
-		return res.to_s
 	end
+end
 
-	redef fun html_info(page) do
-		var res = new Buffer
-		res.append("<div class='info'>")
-		if mproperty.intro_mclassdef.mclass != page.mclass then res.append("redef ")
-		res.append("type {mproperty.html_namespace(page.mbuilder)}")
-		res.append("</div>")
-		res.append("<div style=\"float: right;\"><a id=\"lblDiffCommit\"></a></div>")
-		return res.to_s
+redef class MParameter
+	private fun html_link(page: NitdocPage) do
+		page.append("{name}: ")
+		mtype.html_link(page)
+		if is_vararg then page.append("...")
 	end
 end
 
@@ -1509,139 +1518,53 @@ end
 #
 
 redef class AModule
-	private fun comment: String do
-		var ret = new Buffer
-		if n_moduledecl == null or n_moduledecl.n_doc == null then return ""
-		for t in n_moduledecl.n_doc.n_comment do
-			ret.append(t.text.substring_from(1))
+	private fun short_comment: String do
+		if n_moduledecl != null and n_moduledecl.n_doc != null then
+			return n_moduledecl.n_doc.n_comment.first.text.substring_from(2).replace("\n", "").html_escape
 		end
-		return ret.to_s.html_escape
+		return ""
 	end
 
-	private fun short_comment: String do
-		var ret = new Buffer
+	private fun full_comment: String do
+		var res = new Buffer
 		if n_moduledecl != null and n_moduledecl.n_doc != null then
-			ret.append(n_moduledecl.n_doc.n_comment.first.text.substring_from(2).replace("\n", ""))
+			for t in n_moduledecl.n_doc.n_comment do
+				res.append(t.text.substring_from(1).html_escape)
+			end
 		end
-		return ret.to_s.html_escape
+		return res.to_s
 	end
 end
 
 redef class AStdClassdef
-	private fun comment: String do
-		var ret = new Buffer
-		if n_doc != null then
-			for t in n_doc.n_comment do ret.append(t.text.substring_from(1))
-		end
-		return ret.to_s.html_escape
-	end
-
 	private fun short_comment: String do
-		var ret = new Buffer
-		if n_doc != null then ret.append(n_doc.n_comment.first.text.substring_from(2).replace("\n", ""))
-		return ret.to_s.html_escape
-	end
-end
-
-redef class APropdef
-	private fun short_comment: String is abstract
-	private fun html_signature(mbuilder: ModelBuilder): String is abstract
-	private fun comment: String is abstract
-end
-
-redef class AAttrPropdef
-	redef fun short_comment do
-		var ret = new Buffer
-		if n_doc != null then ret.append(n_doc.n_comment.first.text.substring_from(2).replace("\n", ""))
-		return ret.to_s.html_escape
-	end
-
-	redef private fun comment: String do
-		var ret = new Buffer
-		if n_doc != null then
-			for t in n_doc.n_comment do ret.append(t.text.substring_from(1))
-		end
-		return ret.to_s.html_escape
-	end
-
-	redef fun html_signature(mbuilder) do
-		if n_type != null then return n_type.mtype.link(mbuilder)
+		if n_doc != null then return n_doc.n_comment.first.text.substring_from(2).replace("\n", "").html_escape
 		return ""
 	end
-end
-
-redef class AMethPropdef
-	redef fun short_comment do
-		var ret = new Buffer
-		if n_doc != null then ret.append(n_doc.n_comment.first.text.substring_from(2).replace("\n", ""))
-		return ret.to_s.html_escape
-	end
 
-	redef private fun comment: String do
-		var ret = new Buffer
+	private fun full_comment: String do
+		var res = new Buffer
 		if n_doc != null then
-			for t in n_doc.n_comment do ret.append(t.text.substring_from(1))
+			for t in n_doc.n_comment do res.append(t.text.substring_from(1).html_escape)
 		end
-		return ret.to_s.html_escape
-	end
-
-	redef fun html_signature(mbuilder) do
-		if n_signature != null then return n_signature.to_html(mbuilder)
-		return ""
+		return res.to_s
 	end
 end
 
-redef class ATypePropdef
-	redef fun short_comment do
-		var ret = new Buffer
-		if n_doc != null then ret.append(n_doc.n_comment.first.text.substring_from(2).replace("\n", ""))
-		return ret.to_s.html_escape
-	end
-
-	redef private fun comment: String do
-		var ret = new Buffer
-		if n_doc != null then
-			for t in n_doc.n_comment do ret.append(t.text.substring_from(1))
-		end
-		return ret.to_s.html_escape
-	end
-
-	redef fun html_signature(mbuilder) do
-		return mpropdef.bound.link(mbuilder)
+redef class APropdef
+	private fun short_comment: String do
+		if n_doc != null then return n_doc.n_comment.first.text.substring_from(2).replace("\n", "").html_escape
+		return ""
 	end
-end
 
-redef class ASignature
-	fun to_html(mbuilder: ModelBuilder): String do
-		#TODO closures
+	private fun full_comment: String do
 		var res = new Buffer
-		if not n_params.is_empty then
-			res.append("(")
-			for i in [0..n_params.length[ do
-				res.append(n_params[i].to_html(mbuilder))
-				if i < n_params.length - 1 then res.append(", ")
-			end
-			res.append(")")
+		if n_doc != null then
+			for t in n_doc.n_comment do res.append(t.text.substring_from(1).html_escape)
 		end
-		if n_type != null and n_type.mtype.link(mbuilder) != "" then res.append(": {n_type.mtype.link(mbuilder)}")
 		return res.to_s
 	end
 end
 
-redef class AParam
-	fun to_html(mbuilder: ModelBuilder): String do
-		var ret = "{n_id.text}"
-		if n_type != null then
-			ret = "{ret}: {n_type.mtype.link(mbuilder)}"
-			if n_dotdotdot != null then ret = "{ret}..."
-		end
-		return ret
-	end
-end
-
-# Create a tool context to handle options and paths
-var toolcontext = new ToolContext
-
-# Here we launch the nit index
-var nitdoc = new Nitdoc(toolcontext)
-nitdoc.start
+var nitdoc = new NitdocContext
+nitdoc.generate_nitdoc