Ignore:
Timestamp:
11/04/10 11:41:21 (14 years ago)
Author:
zeiss
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • TabularUnified trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/EbnfHtmlFormatterVisitor.java

    r37 r38  
    88 
    99import de.ugoe.cs.swe.bnftools.ebnf.EtsiBnf; 
     10import de.ugoe.cs.swe.bnftools.ebnf.Rule; 
     11import de.ugoe.cs.swe.bnftools.ebnf.RuleReference; 
    1012import de.ugoe.cs.swe.bnftools.ebnf.SectionHeading; 
    1113 
     
    125127        // ----------------------------------------------------------------------------- 
    126128         
     129        protected void visitAfter(EtsiBnf node) { 
     130                weaveComments(); 
     131        } 
     132 
    127133        protected void visitBefore(SectionHeading node) { 
    128134                if (!lastWasSectionHeading && !buf.substring(buf.length()-2).equals("\n\n")) 
     
    138144        protected void visitAfter(SectionHeading node) { 
    139145        } 
     146         
     147        protected void visitBefore(RuleReference node) { 
     148                wrap(); 
     149                 
     150                metaText("<a href=\"#" + node.getRuleref().getName() + "\">"); 
     151                text(node.getRuleref().getName()); 
     152                metaText("</a>"); 
     153        } 
    140154 
    141         protected void visitAfter(EtsiBnf node) { 
    142                 weaveComments(); 
     155        protected void visitAfter(RuleReference node) { 
     156        } 
     157 
     158        protected void visitBefore(Rule node) { 
     159                if (lastWasSectionHeading) 
     160                        newLine(); 
     161                 
     162                lastWasSectionHeading=false; 
     163 
     164                newLineOffsetCounter = 0; 
     165 
     166                if (node.getRulenumber() > 0) 
     167                        text(node.getRulenumber() + ". "); 
     168                 
     169                metaText("<a name=\"#" + node.getName() + "\">"); 
     170                text(node.getName()); 
     171                metaText("</a>"); 
     172                text(" ::= "); 
     173                 
     174                rightHandSideRuleOffset = newLineOffsetCounter; 
     175                ruleSpacingStack.push(newLineOffsetCounter); 
     176        } 
     177         
     178        protected void visitAfter(Rule node) { 
     179                metaText("<br/>"); 
     180                text(";"); 
     181                newLine(); 
     182                ruleSpacingStack.pop(); 
    143183        } 
    144184} 
Note: See TracChangeset for help on using the changeset viewer.