Changeset 46 in default

Timestamp:

11/30/10 13:45:49 (13 years ago)

Author:

zeiss

Message:

 

Location:

trunk/de.ugoe.cs.swe.bnftools.ebnf.ui

Files:

• resources/html-header.html (modified) (1 diff)
• src/de/ugoe/cs/swe/bnftools/ui/formatter/EbnfHtmlFormatterVisitor.java (modified) (1 diff)

trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/resources/html-header.html

@@ -4812 +4812 @@
 <div class=WordSection1>
 
-<h2><a name="_Toc261876643"></a><a name="_Toc260041979"><span style='mso-bookmark:
-_Toc261876643'><span lang=EN-GB>A.1.6<span style='mso-tab-count:1'>    </span>TTCN&#8209;3
-syntax BNF productions</span></span></a></h2>

trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/EbnfHtmlFormatterVisitor.java

@@ -303 +303 @@
                 
                 lastWasSectionHeading=true;
-                
-                metaText("<h3><span lang=EN-GB>\n");
                 String text = node.getSectionHeader().replaceAll("[\n\r]", "");
+
+                int sectionType = 0; // 0=h3, 1=h4, 2=h2
+                
+                if (text.replaceAll("[\n\r]", "").matches("^A\\.\\d\\.\\d\\.\\d.\\d[ \t]+.*"))
+                        sectionType = 1;
+                
+                if (text.replaceAll("[\n\r]", "").matches("^A\\.\\d\\.\\d[ \t]+.*"))
+                        sectionType = 2;
+                                
+                if (sectionType == 0) {
+                        metaText("<h3><span lang=EN-GB>\n");
+                } else if (sectionType == 1) {
+                        metaText("<h4><span lang=EN-GB>\n");
+                } else {
+                        metaText("<h2><span lang=EN-GB>\n");
+                }
                 textTransformed(text, StringEscapeUtils.escapeHtml(text).replaceAll("[\n\r]", ""));
 //              textTransformed(text, text.replaceAll("[\t]", "\\<span style='mso-tab-count:1'\\>"));
-                metaText("\n</span></h3>\n");
+                if (sectionType == 0) {
+                        metaText("\n</span></h3>\n");
+                } else if (sectionType == 1) {
+                        metaText("\n</span></h4>\n");
+                } else {
+                        metaText("\n</span></h2>\n");
+                }
         }