Changeset 46 in default for trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui

Timestamp:

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

Author:

zeiss

Message:

 

File:

• trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/EbnfHtmlFormatterVisitor.java (modified) (1 diff)

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");
+                }
         }