metanorma-ietf 1.0.10 → 2.0.0

data/lib/asciidoctor/ietf/blocks.rb

@@ -0,0 +1,76 @@
+module Asciidoctor
+  module Ietf
+    class Converter < ::Asciidoctor::Standoc::Converter
+      def para_attrs(node)
+        attr_code( keepWithNext: node.attr("keepWithNext"),
+                  keepWithPrevious: node.attr("keepWithPrevious"),
+                  id: ::Asciidoctor::Standoc::Utils::anchor_or_uuid(node))
+      end
+
+      def ul_attr(node)
+        attr_code(id: ::Asciidoctor::Standoc::Utils::anchor_or_uuid(node),
+                  nobullet: node.attr("nobullet"),
+                  spacing: node.attr("spacing"))
+      end
+
+      def ol_attr(node)
+        attr_code(id: ::Asciidoctor::Standoc::Utils::anchor_or_uuid(node),
+                  type: node.attr("format") || olist_style(node.style),
+                  group: node.attr("group"),
+                  spacing: node.attr("spacing"),
+                  start: node.attr("start"))
+      end
+
+      def dl_attr(node)
+        attr_code(id: ::Asciidoctor::Standoc::Utils::anchor_or_uuid(node),
+                  newline: node.attr("newline"),
+                  indent: node.attr("indent"),
+                  spacing: node.attr("spacing"))
+      end
+
+      def todo_attrs(node)
+        super.merge(attr_code(display: node.attr("display")))
+      end
+
+      def sidebar(node)
+        return unless draft?
+        noko do |xml|
+          xml.review **(sidebar_attrs(node)) do |r|
+            node.title.nil? or r.name { |name| name << node.title }
+            wrap_in_para(node, r)
+          end
+        end
+      end
+
+      def note(n)
+        noko do |xml|
+          xml.note **attr_code(id: ::Asciidoctor::Standoc::Utils::anchor_or_uuid(n),
+                               removeInRFC: n.attr("remove-in-rfc")) do |c|
+            n.title.nil? or c.name { |name| name << n.title }
+            wrap_in_para(n, c)
+          end
+        end.join("\n")
+      end
+
+      def literal(node)
+        noko do |xml|
+          xml.figure **literal_attrs(node) do |f|
+            figure_title(node, f)
+            f.pre node.lines.join("\n"),
+              **attr_code(align: node.attr("align"),
+                          id: ::Asciidoctor::Standoc::Utils::anchor_or_uuid(nil),
+                          alt: node.attr("alt"))
+          end
+        end
+      end
+
+      def image_attributes(node)
+        super.merge(attr_code(align: node.attr("align")))
+      end
+
+       def listing_attrs(node)
+         super.merge(attr_code(markers: node.attr("markers"), src: node.attr("src")))
+       end
+    end
+  end
+end

data/lib/asciidoctor/ietf/converter.rb

@@ -0,0 +1,211 @@
+require "asciidoctor"
+require "asciidoctor/standoc/converter"
+require "isodoc/ietf/rfc_convert"
+require_relative "./front"
+require_relative "./blocks"
+require_relative "./validate"
+
+module Asciidoctor
+  module Ietf
+    class Converter < ::Asciidoctor::Standoc::Converter
+
+      register_for "ietf"
+
+      def initialize(backend, opts)
+        super
+        @libdir = File.dirname(__FILE__)
+      end
+
+      def makexml(node)
+        result = ["<?xml version='1.0' encoding='UTF-8'?>\n<ietf-standard>"]
+        @draft = node.attributes.has_key?("draft")
+        @workgroups = cache_workgroup(node)
+        @bcp_bold = !node.attr?("no-rfc-bold-bcp14")
+        result << noko { |ixml| front node, ixml }
+        result << noko { |ixml| middle node, ixml }
+        result << "</ietf-standard>"
+        result = textcleanup(result)
+        ret1 = cleanup(Nokogiri::XML(result))
+        validate(ret1) unless @novalid
+        ret1.root.add_namespace(nil, "https://open.ribose.com/standards/ietf")
+        ret1
+      end
+
+      def document(node)
+        init(node)
+        ret1 = makexml(node)
+        ret = ret1.to_xml(indent: 2)
+        unless node.attr("nodoc") || !node.attr("docfile")
+          filename = node.attr("docfile").gsub(/\.adoc/, ".xml").
+            gsub(%r{^.*/}, "")
+          File.open(filename, "w") { |f| f.write(ret) }
+          rfc_converter(node).convert filename unless node.attr("nodoc")
+        end
+        @files_to_delete.each { |f| FileUtils.rm f }
+        ret
+      end
+
+      def doctype(node)
+        ret = node.attr("doctype")
+        ret = "Internet-Draft" if ret == "article"
+        ret
+      end
+
+      def inline_quoted(node)
+        noko do |xml|
+          case node.type
+          when :emphasis then xml.em { |s| s << node.text }
+          when :strong then xml.strong { |s| s << node.text }
+          when :monospaced then xml.tt { |s| s << node.text }
+          when :double then xml << "\"#{node.text}\""
+          when :single then xml << "'#{node.text}'"
+          when :superscript then xml.sup { |s| s << node.text }
+          when :subscript then xml.sub { |s| s << node.text }
+          when :asciimath then stem_parse(node.text, xml, :asciimath)
+          when :latexmath then stem_parse(node.text, xml, :latexmath)
+          else
+            case node.role
+            when "bcp14" then xml.bcp14 { |s| s << node.text.upcase }
+            else
+              xml << node.text
+            end
+          end
+        end.join
+      end
+
+      def inline_anchor_xref(node)
+        f, c = xref_text(node)
+        f1, c = eref_text(node) if f.nil?
+        t, rel = xref_rel(node)
+        noko do |xml|
+          xml.xref **attr_code(target: t, type: "inline",
+                               displayFormat: f1, format: f,
+                               relative: rel ) do |x|
+                                 x << c
+                               end
+        end.join
+      end
+
+      def table_attrs(node)
+        super.merge(align: node.attr("align"))
+      end
+
+      def eref_text(node)
+        matched = /^(of|comma|parens|bare),(.*+)$/.match node.text
+        if matched.nil?
+          f = nil
+          c = node&.text&.sub(/^fn: /, "")
+        else
+          f = matched[1]
+          c = matched[2]
+        end
+        [f, c]
+      end
+
+      def xref_text(node)
+        matched = /^format=(counter|title|none|default)(:.*+)?$/.match node.text
+        if matched.nil?
+          f = nil
+          c = node&.text&.sub(/^fn: /, "")
+        else
+          f = matched[1]
+          c = matched[2]&.sub(/^:/, "")
+        end
+        [f, c]
+      end
+
+      def xref_rel(node)
+        matched = /^([^#]+)#(.+)$/.match node.target
+        if matched.nil?
+          t = node.target.sub(/^#/, "")
+          rel = nil
+        else
+          t = matched[1].sub(/\.(xml|adoc)$/, "")
+          rel = matched[2]
+        end
+        [t, rel]
+      end
+
+      def cleanup(xmldoc)
+        bcp14_cleanup(xmldoc)
+        rfc_anchor_cleanup(xmldoc)
+        super
+      end
+
+      BCP_KEYWORDS = ["MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT",
+                      "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", "OPTIONAL"].freeze
+
+      def bcp14_cleanup(xmldoc)
+        return unless @bcp_bold
+        xmldoc.xpath("//strong").each do |s|
+          next unless BCP_KEYWORDS.include?(s.text)
+          s.name = "bcp14"
+        end
+      end
+
+      def rfc_anchor_cleanup(xmldoc)
+        map = {}
+        xmldoc.xpath("//bibitem[docidentifier/@type = 'rfc-anchor']").each do |b|
+          map[b["id"]] = b.at("./docidentifier[@type = 'rfc-anchor']").text
+          b["id"] = b.at("./docidentifier[@type = 'rfc-anchor']").text
+        end
+        xmldoc.xpath("//eref | //origin").each do |x|
+          map[x["bibitemid"]] and x["bibitemid"] = map[x["bibitemid"]]
+        end
+        xmldoc
+      end
+
+      def smartquotes_cleanup(xmldoc)
+        xmldoc.traverse do |n|
+          next unless n.text?
+           n.replace(HTMLEntities.new.encode(
+            n.text.gsub(/\u2019|\u2018|\u201a|\u201b/, "'").
+                    gsub(/\u201c|\u201d|\u201e|\u201f/, '"'), :basic))
+        end
+        xmldoc
+      end
+
+      def xref_to_eref(x)
+        super
+        x.delete("format")
+      end
+
+      def xref_cleanup(xmldoc)
+        super
+        xmldoc.xpath("//xref").each do |x|
+          x.delete("displayFormat")
+          x.delete("relative")
+        end
+      end
+
+      def norm_ref_preface(f)
+      end
+
+      def clause_parse(attrs, xml, node)
+        attrs[:numbered] = node.attr("numbered")
+        attrs[:removeInRFC] = node.attr("removeInRFC")
+        attrs[:toc] = node.attr("toc")
+        super
+      end
+
+      def introduction_parse(attrs, xml, node)
+        clause_parse(attrs, xml, node)
+      end
+
+      def quotesource_cleanup(xmldoc)
+        xmldoc.xpath("//quote/source | //terms/source").each do |x|
+          if x["target"] =~ URI::DEFAULT_PARSER.make_regexp
+            x["uri"] = x["target"]
+            x.delete("target")
+          else
+          xref_to_eref(x)
+          end
+        end
+      end
+
+      def rfc_converter(node)
+        IsoDoc::Ietf::RfcConvert.new(html_extract_attributes(node))
+      end
+    end
+  end
+end

data/lib/asciidoctor/ietf/front.rb

@@ -0,0 +1,143 @@
+module Asciidoctor
+  module Ietf
+    class Converter < ::Asciidoctor::Standoc::Converter
+      def relaton_relations
+        %w(included-in described-by derived-from equivalent obsoletes updates)
+      end
+
+      def metadata_author(node, xml)
+        personal_author(node, xml)
+      end
+
+      def metadata_publisher(node, xml)
+        publishers = node.attr("publisher") || "IETF"
+        publishers.split(/,[ ]?/).each do |p|
+          xml.contributor do |c|
+            c.role **{ type: "publisher" }
+            c.organization { |a| organization(a, p) }
+          end
+        end
+      end
+
+      def metadata_copyright(node, xml)
+        publishers = node.attr("publisher") || "IETF"
+        publishers.split(/,[ ]?/).each do |p|
+          xml.copyright do |c|
+            c.from (node.attr("copyright-year") || Date.today.year)
+            c.owner do |owner|
+              owner.organization { |o| organization(o, p) }
+            end
+          end
+        end
+      end
+
+      def organization(org, orgname)
+        if ["IETF",
+            "Internet Engineering Task Force"].include? orgname
+          org.name "Internet Engineering Task Force"
+          org.abbreviation "IETF"
+        else
+          org.name orgname
+        end
+      end
+
+      def metadata_series(node, xml)
+        xml.series **{ type: "stream" } do |s|
+          s.title (node.attr("submission-type") || "IETF")
+        end
+        a = node.attr("intended-series") and
+          xml.series **{ type: "intended" } do |s|
+          parts = a.split(/ /)
+          s.title parts[0]
+          s.number parts[1..-1].join(" ") if parts.size > 1
+        end
+      end
+
+      def title(node, xml)
+        ["en"].each do |lang|
+          at = { language: lang, format: "text/plain" }
+          xml.title **attr_code(at.merge(type: "main")) do |t|
+            t << ::Asciidoctor::Standoc::Utils::asciidoc_sub(
+              node.attr("title") || node.attr("title-en") || node.title)
+          end
+          a = node.attr("abbrev") and
+            xml.title a, **attr_code(at.merge(type: "abbrev"))
+          a = node.attr("asciititle") and
+            xml.title a, **attr_code(at.merge(type: "ascii"))
+        end
+      end
+
+      def metadata_committee(node, xml)
+        return unless node.attr("workgroup")
+        xml.editorialgroup do |a|
+          committee_component("workgroup", node, a)
+        end
+      end
+
+      def metadata_ext(node, xml)
+        super
+        x = node.attr("area") and x.split(/,\s*/).each do |a|
+          xml.area a
+        end
+        x = node.attr("ipr") and xml.ipr x
+        x = node.attr("consensus") and xml.consensus x
+        x = node.attr("index-include") and xml.indexInclude x
+        x = node.attr("ipr-extract") and xml.iprExtract x
+        x = node.attr("sort-refs") and xml.sortRefs x
+        x = node.attr("sym-refs") and xml.symRefs x
+        x = node.attr("toc-include") and xml.tocInclude x
+        x = node.attr("toc-depth") and xml.tocDepth x
+        x = node.attr("show-on-front-page") and xml.showOnFrontPage x
+        xml.pi { |pi| set_pi(node, pi) }
+      end
+
+      def set_pi(node, pi)
+        rfc_pis = {
+          artworkdelimiter: node.attr("artworkdelimiter"),
+          artworklines: node.attr("artworklines"),
+          authorship: node.attr("authorship"),
+          autobreaks: node.attr("autobreaks"),
+          background: node.attr("background"),
+          colonspace: node.attr("colonspace"),
+          comments: node.attr("comments"),
+          docmapping: node.attr("docmapping"),
+          editing: node.attr("editing"),
+          emoticonic: node.attr("emoticonic"),
+          footer: node.attr("footer"),
+          header: node.attr("header"),
+          inline: node.attr("inline"),
+          iprnotified: node.attr("iprnotified"),
+          linkmailto: node.attr("linkmailto"),
+          linefile: node.attr("linefile"),
+          notedraftinprogress: node.attr("notedraftinprogress"),
+          private: node.attr("private"),
+          refparent: node.attr("refparent"),
+          rfcedstyle: node.attr("rfcedstyle"),
+          slides: node.attr("slides"),
+          "text-list-symbols": node.attr("text-list-symbols"),
+          tocappendix: node.attr("tocappendix"),
+          tocindent: node.attr("tocindent"),
+          tocnarrow: node.attr("tocnarrow"),
+          tocompact: node.attr("tocompact"),
+          topblock: node.attr("topblock"),
+          useobject: node.attr("useobject"),
+          strict: node.attr("strict"),
+          compact: node.attr("compact"),
+          subcompact: node.attr("subcompact"),
+          toc: node.attr("toc-include") == "false" ? "no" : "yes",
+          tocdepth: node.attr("toc-depth"),
+          symrefs: node.attr("sym-refs"),
+          sortrefs: node.attr("sort-refs"),
+        }
+        pi_code(rfc_pis, pi)
+      end
+
+      def pi_code(rfc_pis, pi)
+        rfc_pis.each_pair do |k, v|
+          next if v.nil?
+          pi.send k.to_s, v
+        end
+      end
+    end
+  end
+end

data/lib/asciidoctor/ietf/ietf.rng

@@ -0,0 +1,882 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<grammar xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
+  <!--
+    Currently we inherit from a namespaced grammar, isostandard. Until we inherit from isodoc,
+    we cannot have a new default namespace: we will end up with a grammar with two different
+    namespaces, one for isostandard and one for ietf additions. And we do not want that.
+  -->
+  <include href="isostandard.rng">
+    <start>
+      <ref name="ietf-standard"/>
+    </start>
+    <define name="DocumentType">
+      <choice>
+        <value>rfc</value>
+        <value>internet-draft</value>
+      </choice>
+    </define>
+    <define name="BibDataExtensionType">
+      <optional>
+        <ref name="doctype"/>
+      </optional>
+      <zeroOrMore>
+        <ref name="editorialgroup"/>
+      </zeroOrMore>
+      <zeroOrMore>
+        <ref name="ics"/>
+      </zeroOrMore>
+      <zeroOrMore>
+        <ref name="area"/>
+      </zeroOrMore>
+      <optional>
+        <ref name="ipr"/>
+      </optional>
+      <optional>
+        <ref name="consensus"/>
+      </optional>
+      <optional>
+        <ref name="index-include"/>
+      </optional>
+      <optional>
+        <ref name="ipr-extract"/>
+      </optional>
+      <optional>
+        <ref name="sort-refs"/>
+      </optional>
+      <optional>
+        <ref name="sym-refs"/>
+      </optional>
+      <optional>
+        <ref name="toc-include"/>
+      </optional>
+      <optional>
+        <ref name="toc-depth"/>
+      </optional>
+      <optional>
+        <ref name="show-on-front-page"/>
+      </optional>
+      <optional>
+        <ref name="processing-instructions"/>
+      </optional>
+    </define>
+    <define name="ParagraphType">
+      <attribute name="id">
+        <data type="ID"/>
+      </attribute>
+      <optional>
+        <attribute name="align">
+          <ref name="Alignments"/>
+        </attribute>
+      </optional>
+      <optional>
+        <attribute name="keepWithNext">
+          <data type="boolean"/>
+        </attribute>
+      </optional>
+      <optional>
+        <attribute name="keepWithPrevious">
+          <data type="boolean"/>
+        </attribute>
+      </optional>
+      <zeroOrMore>
+        <ref name="TextElement"/>
+      </zeroOrMore>
+      <zeroOrMore>
+        <ref name="note"/>
+      </zeroOrMore>
+    </define>
+    <define name="paragraph-with-footnote">
+      <element name="p">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <optional>
+          <attribute name="align">
+            <ref name="Alignments"/>
+          </attribute>
+        </optional>
+        <zeroOrMore>
+          <choice>
+            <ref name="TextElement"/>
+            <ref name="fn"/>
+          </choice>
+        </zeroOrMore>
+        <zeroOrMore>
+          <ref name="note"/>
+        </zeroOrMore>
+      </element>
+    </define>
+    <define name="ul">
+      <element name="ul">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <optional>
+          <attribute name="nobullet"/>
+        </optional>
+        <optional>
+          <attribute name="spacing"/>
+        </optional>
+        <oneOrMore>
+          <ref name="li"/>
+        </oneOrMore>
+        <zeroOrMore>
+          <ref name="note"/>
+        </zeroOrMore>
+      </element>
+    </define>
+    <define name="ol">
+      <element name="ol">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <attribute name="type">
+          <choice>
+            <value>roman</value>
+            <value>alphabet</value>
+            <value>arabic</value>
+            <value>roman_upper</value>
+            <value>alphabet_upper</value>
+            <value>text</value>
+          </choice>
+        </attribute>
+        <optional>
+          <attribute name="group"/>
+        </optional>
+        <optional>
+          <attribute name="spacing"/>
+        </optional>
+        <optional>
+          <attribute name="start"/>
+        </optional>
+        <oneOrMore>
+          <ref name="li"/>
+        </oneOrMore>
+        <zeroOrMore>
+          <ref name="note"/>
+        </zeroOrMore>
+      </element>
+    </define>
+    <define name="dl">
+      <element name="dl">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <optional>
+          <attribute name="newline"/>
+        </optional>
+        <optional>
+          <attribute name="indent"/>
+        </optional>
+        <optional>
+          <attribute name="spacing"/>
+        </optional>
+        <oneOrMore>
+          <ref name="dt"/>
+          <ref name="dd"/>
+        </oneOrMore>
+        <zeroOrMore>
+          <ref name="note"/>
+        </zeroOrMore>
+      </element>
+    </define>
+    <define name="review">
+      <element name="review">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <attribute name="reviewer"/>
+        <optional>
+          <attribute name="date">
+            <data type="dateTime"/>
+          </attribute>
+        </optional>
+        <attribute name="from">
+          <data type="IDREF"/>
+        </attribute>
+        <optional>
+          <attribute name="to">
+            <data type="IDREF"/>
+          </attribute>
+        </optional>
+        <optional>
+          <attribute name="display"/>
+        </optional>
+        <oneOrMore>
+          <ref name="paragraph"/>
+        </oneOrMore>
+      </element>
+    </define>
+    <define name="note">
+      <element name="note">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <optional>
+          <attribute name="removeInRFC"/>
+        </optional>
+        <optional>
+          <ref name="tname"/>
+        </optional>
+        <oneOrMore>
+          <ref name="paragraph"/>
+        </oneOrMore>
+      </element>
+    </define>
+    <define name="pre">
+      <element name="pre">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <optional>
+          <attribute name="alt"/>
+        </optional>
+        <optional>
+          <attribute name="align"/>
+        </optional>
+        <optional>
+          <ref name="tname"/>
+        </optional>
+        <text/>
+        <zeroOrMore>
+          <ref name="note"/>
+        </zeroOrMore>
+      </element>
+    </define>
+    <define name="image">
+      <element name="image">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <attribute name="src">
+          <data type="anyURI"/>
+        </attribute>
+        <attribute name="mimetype"/>
+        <optional>
+          <attribute name="filename"/>
+        </optional>
+        <optional>
+          <attribute name="width">
+            <choice>
+              <data type="int"/>
+              <value>auto</value>
+            </choice>
+          </attribute>
+        </optional>
+        <optional>
+          <attribute name="height">
+            <choice>
+              <data type="int"/>
+              <value>auto</value>
+            </choice>
+          </attribute>
+        </optional>
+        <optional>
+          <attribute name="alt"/>
+        </optional>
+        <optional>
+          <attribute name="title"/>
+        </optional>
+        <optional>
+          <attribute name="longdesc">
+            <data type="anyURI"/>
+          </attribute>
+        </optional>
+        <optional>
+          <attribute name="align"/>
+        </optional>
+      </element>
+    </define>
+    <define name="sourcecode">
+      <element name="sourcecode">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <optional>
+          <attribute name="unnumbered">
+            <data type="boolean"/>
+          </attribute>
+        </optional>
+        <optional>
+          <attribute name="subsequence"/>
+        </optional>
+        <optional>
+          <attribute name="lang"/>
+        </optional>
+        <optional>
+          <attribute name="markers"/>
+        </optional>
+        <optional>
+          <ref name="tname"/>
+        </optional>
+        <oneOrMore>
+          <choice>
+            <text/>
+            <ref name="callout"/>
+          </choice>
+        </oneOrMore>
+        <zeroOrMore>
+          <ref name="annotation"/>
+        </zeroOrMore>
+        <zeroOrMore>
+          <ref name="note"/>
+        </zeroOrMore>
+      </element>
+    </define>
+    <define name="xref">
+      <element name="xref">
+        <attribute name="target">
+          <data type="IDREF"/>
+        </attribute>
+        <optional>
+          <attribute name="type">
+            <ref name="ReferenceFormat"/>
+          </attribute>
+        </optional>
+        <optional>
+          <attribute name="alt"/>
+        </optional>
+        <optional>
+          <attribute name="format"/>
+        </optional>
+        <text/>
+      </element>
+    </define>
+    <define name="erefType">
+      <optional>
+        <attribute name="normative">
+          <data type="boolean"/>
+        </attribute>
+      </optional>
+      <attribute name="citeas"/>
+      <attribute name="type">
+        <ref name="ReferenceFormat"/>
+      </attribute>
+      <optional>
+        <attribute name="alt"/>
+      </optional>
+      <optional>
+        <attribute name="displayFormat"/>
+      </optional>
+      <optional>
+        <attribute name="relative"/>
+      </optional>
+      <ref name="CitationType"/>
+      <text/>
+    </define>
+    <define name="quote-source">
+      <element name="source">
+        <ref name="erefTypeURI"/>
+      </element>
+    </define>
+    <define name="table">
+      <element name="table">
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+        <optional>
+          <attribute name="unnumbered">
+            <data type="boolean"/>
+          </attribute>
+        </optional>
+        <optional>
+          <attribute name="subsequence"/>
+        </optional>
+        <optional>
+          <attribute name="alt"/>
+        </optional>
+        <optional>
+          <attribute name="summary"/>
+        </optional>
+        <optional>
+          <attribute name="uri">
+            <data type="anyURI"/>
+          </attribute>
+        </optional>
+        <optional>
+          <attribute name="align"/>
+        </optional>
+        <optional>
+          <ref name="tname"/>
+        </optional>
+        <optional>
+          <ref name="thead"/>
+        </optional>
+        <ref name="tbody"/>
+        <optional>
+          <ref name="tfoot"/>
+        </optional>
+        <zeroOrMore>
+          <ref name="table-note"/>
+        </zeroOrMore>
+        <optional>
+          <ref name="dl"/>
+        </optional>
+      </element>
+    </define>
+    <define name="Clause-Section">
+      <optional>
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+      </optional>
+      <optional>
+        <attribute name="language"/>
+      </optional>
+      <optional>
+        <attribute name="script"/>
+      </optional>
+      <optional>
+        <attribute name="numbered"/>
+      </optional>
+      <optional>
+        <attribute name="removeInRFC"/>
+      </optional>
+      <optional>
+        <attribute name="toc"/>
+      </optional>
+      <optional>
+        <attribute name="inline-header">
+          <data type="boolean"/>
+        </attribute>
+      </optional>
+      <attribute name="obligation">
+        <choice>
+          <value>normative</value>
+          <value>informative</value>
+        </choice>
+      </attribute>
+      <optional>
+        <ref name="section-title"/>
+      </optional>
+      <group>
+        <group>
+          <zeroOrMore>
+            <ref name="BasicBlock"/>
+          </zeroOrMore>
+          <zeroOrMore>
+            <ref name="note"/>
+          </zeroOrMore>
+        </group>
+        <zeroOrMore>
+          <choice>
+            <ref name="clause-subsection"/>
+            <ref name="terms"/>
+            <ref name="definitions"/>
+          </choice>
+        </zeroOrMore>
+      </group>
+    </define>
+    <define name="annex">
+      <element name="annex">
+        <optional>
+          <attribute name="id">
+            <data type="ID"/>
+          </attribute>
+        </optional>
+        <optional>
+          <attribute name="language"/>
+        </optional>
+        <optional>
+          <attribute name="script"/>
+        </optional>
+        <attribute name="obligation">
+          <choice>
+            <value>normative</value>
+            <value>informative</value>
+          </choice>
+        </attribute>
+        <optional>
+          <attribute name="numbered"/>
+        </optional>
+        <optional>
+          <attribute name="removeInRFC"/>
+        </optional>
+        <optional>
+          <attribute name="toc"/>
+        </optional>
+        <optional>
+          <ref name="section-title"/>
+        </optional>
+        <group>
+          <group>
+            <zeroOrMore>
+              <ref name="BasicBlock"/>
+            </zeroOrMore>
+            <zeroOrMore>
+              <ref name="note"/>
+            </zeroOrMore>
+          </group>
+          <zeroOrMore>
+            <ref name="clause-subsection"/>
+          </zeroOrMore>
+        </group>
+      </element>
+    </define>
+    <define name="Content-Section">
+      <optional>
+        <attribute name="id">
+          <data type="ID"/>
+        </attribute>
+      </optional>
+      <optional>
+        <attribute name="language"/>
+      </optional>
+      <optional>
+        <attribute name="script"/>
+      </optional>
+      <optional>
+        <attribute name="numbered"/>
+      </optional>
+      <optional>
+        <attribute name="removeInRFC"/>
+      </optional>
+      <optional>
+        <attribute name="toc"/>
+      </optional>
+      <optional>
+        <ref name="section-title"/>
+      </optional>
+      <group>
+        <group>
+          <zeroOrMore>
+            <ref name="BasicBlock"/>
+          </zeroOrMore>
+          <zeroOrMore>
+            <ref name="note"/>
+          </zeroOrMore>
+        </group>
+        <zeroOrMore>
+          <ref name="content-subsection"/>
+        </zeroOrMore>
+      </group>
+    </define>
+    <define name="editorialgroup">
+      <element name="editorialgroup">
+        <zeroOrMore>
+          <ref name="committee"/>
+        </zeroOrMore>
+      </element>
+    </define>
+  </include>
+  <define name="TextElement" combine="choice">
+    <ref name="bcp14"/>
+  </define>
+  <define name="bcp14">
+    <element name="bcp14">
+      <text/>
+    </element>
+  </define>
+  <define name="committee">
+    <element name="committee">
+      <ref name="IsoWorkgroup"/>
+    </element>
+  </define>
+  <define name="area">
+    <element name="area">
+      <choice>
+        <value>art</value>
+        <value>gen</value>
+        <value>int</value>
+        <value>ops</value>
+        <value>rtg</value>
+        <value>sec</value>
+        <value>tsv</value>
+        <value>Applications and Real-Time</value>
+        <value>General</value>
+        <value>Internet</value>
+        <value>Operations and Management</value>
+        <value>Routing</value>
+        <value>Security</value>
+        <value>Transport</value>
+      </choice>
+    </element>
+  </define>
+  <define name="comment">
+    <element name="comment">
+      <text/>
+    </element>
+  </define>
+  <define name="ipr">
+    <element name="ipr">
+      <text/>
+    </element>
+  </define>
+  <define name="consensus">
+    <element name="consensus">
+      <text/>
+    </element>
+  </define>
+  <define name="index-include">
+    <element name="indexInclude">
+      <text/>
+    </element>
+  </define>
+  <define name="ipr-extract">
+    <element name="iprExtract">
+      <text/>
+    </element>
+  </define>
+  <define name="sort-refs">
+    <element name="sortRefs">
+      <text/>
+    </element>
+  </define>
+  <define name="sym-refs">
+    <element name="symRefs">
+      <text/>
+    </element>
+  </define>
+  <define name="toc-include">
+    <element name="tocInclude">
+      <text/>
+    </element>
+  </define>
+  <define name="toc-depth">
+    <element name="tocDepth">
+      <text/>
+    </element>
+  </define>
+  <define name="show-on-front-page">
+    <element name="showOnFrontPage">
+      <text/>
+    </element>
+  </define>
+  <define name="processing-instructions">
+    <element name="pi">
+      <optional>
+        <element name="artworkdelimiter">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="artworklines">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="authorship">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="autobreaks">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="background">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="colonspace">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="comments">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="docmapping">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="editing">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="emoticonic">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="footer">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="header">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="inline">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="iprnotified">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="linkmailto">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="linefile">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="notedraftinprogress">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="private">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="refparent">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="rfcedstyle">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="slides">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="text-list-symbols">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="tocappendix">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="tocindent">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="tocnarrow">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="tocompact">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="topblock">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="useobject">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="strict">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="compact">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="subcompact">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="toc">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="tocdepth">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="symrefs">
+          <text/>
+        </element>
+      </optional>
+      <optional>
+        <element name="sortrefs">
+          <text/>
+        </element>
+      </optional>
+    </element>
+  </define>
+  <define name="erefTypeURI">
+    <optional>
+      <attribute name="normative">
+        <data type="boolean"/>
+      </attribute>
+    </optional>
+    <optional>
+      <attribute name="citeas"/>
+    </optional>
+    <attribute name="type">
+      <ref name="ReferenceFormat"/>
+    </attribute>
+    <optional>
+      <attribute name="alt"/>
+    </optional>
+    <optional>
+      <attribute name="displayFormat"/>
+    </optional>
+    <optional>
+      <attribute name="relative"/>
+    </optional>
+    <optional>
+      <attribute name="bibitemid">
+        <data type="IDREF"/>
+      </attribute>
+    </optional>
+    <optional>
+      <attribute name="uri">
+        <data type="anyURI"/>
+      </attribute>
+    </optional>
+    <zeroOrMore>
+      <ref name="locality"/>
+    </zeroOrMore>
+    <optional>
+      <ref name="date"/>
+    </optional>
+    <text/>
+  </define>
+  <define name="ietf-standard">
+    <element name="ietf-standard">
+      <ref name="bibdata"/>
+      <zeroOrMore>
+        <ref name="termdocsource"/>
+      </zeroOrMore>
+      <optional>
+        <ref name="boilerplate"/>
+      </optional>
+      <ref name="preface"/>
+      <oneOrMore>
+        <ref name="sections"/>
+      </oneOrMore>
+      <zeroOrMore>
+        <ref name="annex"/>
+      </zeroOrMore>
+      <ref name="bibliography"/>
+    </element>
+  </define>
+</grammar>