Merge: nitx: start migration to `doc_phases`

This PR introduces the base rendering services for doc in console.

This will be used in the next version of `nitx` to benefit fron the new nitdoc architecture.

Pull-Request: #1315

diff --combined src/doc/html_templates/html_templates.nit
index fb04bfe,7ffcdb0..ed680f0
--- 1/src/doc/html_templates/html_templates.nit
--- 2/src/doc/html_templates/html_templates.nit
+++ b/src/doc/html_templates/html_templates.nit
@@@ -284,10 -284,7 +284,7 @@@ redef class DocComposit
        end
  
        # Level <hX> for HTML heading.
-       private fun hlvl: Int do
-               if parent == null then return 0
-               return parent.hlvl + 1
-       end
+       private fun hlvl: Int do return depth
  
        # Is `self` not displayed in the page.
        #
@@@ -319,15 -316,6 +316,15 @@@
                end
                lst.add_li new ListItem(content)
        end
 +
 +      # ID used in HTML tab labels.
 +      #
 +      # We sanitize it for Boostrap JS panels that do not like ":" and "." in ids.
 +      var html_tab_id: String is lazy do
 +              var id = html_id.replace(":", "")
 +              id = id.replace(".", "")
 +              return "{id}-tab"
 +      end
  end
  
  redef class DocSection
@@@ -357,24 -345,6 +354,24 @@@ redef class DocArticl
        end
  end
  
 +redef class TabbedGroup
 +      redef fun render_body do
 +              var tabs = new DocTabs("{html_id}.tabs", "")
 +              for child in children do
 +                      if child.is_hidden then continue
 +                      tabs.add_panel new DocTabPanel(child.html_tab_id, child.toc_title, child)
 +              end
 +              addn tabs
 +      end
 +end
 +
 +redef class PanelGroup
 +      redef var html_id is lazy do return "group:{group_title.to_lower.to_snake_case}"
 +      redef var html_title = null
 +      redef var toc_title is lazy do return group_title
 +      redef var is_toc_hidden = true
 +end
 +
  redef class HomeArticle
        redef var html_id = "article:home"
        redef var html_title = "Overview"
@@@ -447,13 -417,6 +444,13 @@@ redef class MEntitySectio
        redef var html_subtitle is lazy do return mentity.html_declaration
  end
  
 +redef class ConstructorsSection
 +      redef var html_id is lazy do return "article:{mentity.nitdoc_id}.constructors"
 +      redef var html_title = "Constructors"
 +      redef var html_subtitle = null
 +      redef fun is_toc_hidden do return is_empty
 +end
 +
  redef class ConcernSection
        redef var html_id is lazy do return "concern:{mentity.nitdoc_id}"
        redef var html_title is lazy do return "in {mentity.nitdoc_name}"
@@@ -479,21 -442,20 +476,21 @@@ redef class IntroArticl
        # Link to source to display if any.
        var html_source_link: nullable Writable is noinit, writable
  
 -      redef fun render_title do
 +      redef fun render_body do
 +              var tabs = new DocTabs("{html_id}.tabs", "")
 +              var comment = mentity.html_comment
 +              if comment != null then
 +                      tabs.add_panel new DocTabPanel("{html_tab_id}-comment", "Comment", comment)
 +              end
 +              for child in children do
 +                      if child.is_hidden then continue
 +                      tabs.add_panel new DocTabPanel(child.html_tab_id, child.toc_title, child)
 +              end
                var lnk = html_source_link
                if lnk != null then
 -                      add "<div class='source-link'>"
 -                      add lnk
 -                      addn "</div>"
 +                      tabs.drop_list.items.add new ListItem(lnk)
                end
 -              super
 -      end
 -
 -      redef fun render_body do
 -              var comment = mentity.html_comment
 -              if comment != null then addn comment
 -              super
 +              addn tabs
        end
  end
  
@@@ -504,20 -466,6 +501,20 @@@ redef class ConcernsArticl
        redef fun render_body do add concerns.html_list
  end
  
 +redef class DefinitionListArticle
 +      redef var html_id is lazy do return "article:{mentity.nitdoc_id}.definition-list"
 +
 +      redef var html_title is lazy do
 +              var title = new Template
 +              title.add mentity.html_icon
 +              title.add mentity.html_link
 +              return title
 +      end
 +
 +      redef var html_subtitle is lazy do return mentity.html_namespace
 +      redef var toc_title is lazy do return mentity.html_name
 +end
 +
  redef class DefinitionArticle
        redef var html_id is lazy do return "article:{mentity.nitdoc_id}.definition"
        redef var html_title is lazy do return mentity.html_name
@@@ -537,8 -485,17 +534,8 @@@
        # Link to source to display if any.
        var html_source_link: nullable Writable is noinit, writable
  
 -      redef fun render_title do
 -              var lnk = html_source_link
 -              if lnk != null then
 -                      add "<div class='source-link'>"
 -                      add lnk
 -                      addn "</div>"
 -              end
 -              super
 -      end
 -
        redef fun render_body do
 +              var tabs = new DocTabs("{html_id}.tabs", "")
                if not is_no_body then
                        var comment
                        if is_short_comment then
@@@ -546,19 -503,9 +543,19 @@@
                        else
                                comment = mentity.html_comment
                        end
 -                      if comment != null then addn comment
 +                      if comment != null then
 +                              tabs.add_panel new DocTabPanel("{html_tab_id}-comment", "Comment", comment)
 +                      end
                end
 -              super
 +              for child in children do
 +                      if child.is_hidden then continue
 +                      tabs.add_panel new DocTabPanel(child.html_tab_id, child.toc_title, child)
 +              end
 +              var lnk = html_source_link
 +              if lnk != null then
 +                      tabs.drop_list.items.add new ListItem(lnk)
 +              end
 +              addn tabs
        end
  end
  
@@@ -566,7 -513,7 +563,7 @@@ redef class HierarchyListArticl
        redef var html_id is lazy do return "article:{list_title}_{mentity.nitdoc_id}.hierarchy"
        redef var html_title is lazy do return list_title
        redef fun is_empty do return mentities.is_empty
 -      redef fun is_toc_hidden do return mentities.is_empty
 +      redef var is_toc_hidden = true
  
        redef fun render_body do
                var lst = new UnorderedList
@@@ -578,16 -525,8 +575,16 @@@
        end
  end
  
 -redef class IntrosRedefsListArticle
 +redef class IntrosRedefsSection
        redef var html_id is lazy do return "article:{mentity.nitdoc_id}.intros_redefs"
 +      redef var toc_title do return "Intros / Redefs"
 +      redef var html_title = null
 +      redef var html_subtitle = null
 +      redef var is_toc_hidden = true
 +end
 +
 +redef class IntrosRedefsListArticle
 +      redef var html_id is lazy do return "article:{list_title}_{mentity.nitdoc_id}.intros_redefs"
        redef var html_title is lazy do return list_title
        redef fun is_hidden do return mentities.is_empty
        redef var is_toc_hidden = true