Ignore:
Timestamp:
11/04/10 17:47:29 (14 years ago)
Author:
zeiss
Message:
 
File:
1 edited

Legend:

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

    r39 r40  
    1919        private ArrayList<MetaTextEntry> metaTexts = new ArrayList<MetaTextEntry>(); 
    2020        private ArrayList<MetaTextEntry> transformedTexts = new ArrayList<MetaTextEntry>(); 
     21        private int lastMetaTextBlock = 0; 
    2122         
    2223        public EbnfHtmlFormatterVisitor(EObject rootNode, FormatterConfig config) { 
     
    110111                                } 
    111112                        } else { 
    112                                 if ((currentMetaText != null) && (bufferPositionFormattedTextNoWhitespaces == currentMetaText.getOffset())) { 
     113                                if (lastMetaTextBlock == 0 && (currentMetaText != null) && (bufferPositionFormattedTextNoWhitespaces == currentMetaText.getOffset())) { 
    113114                                        result.append(currentMetaText.getText()); 
    114115                                        metaTexts.remove(currentMetaText); 
     
    117118                                        else 
    118119                                                currentMetaText = null; 
     120                                        lastMetaTextBlock = 1; 
    119121                                } 
    120122 
     
    137139                                } 
    138140 
    139 //                              if ((currentMetaText != null) && (bufferPositionFormattedTextNoWhitespaces == currentMetaText.getOffset())) { 
    140 //                                      result.append(currentMetaText.getText()); 
    141 //                                      metaTexts.remove(currentMetaText); 
    142 //                                      if (metaTexts.iterator().hasNext()) 
    143 //                                              currentMetaText = metaTexts.iterator().next(); 
    144 //                                      else 
    145 //                                              currentMetaText = null; 
    146 //                              } 
    147  
    148 //                              } 
     141                                if (lastMetaTextBlock == 1 && (currentMetaText != null) && (bufferPositionFormattedTextNoWhitespaces == currentMetaText.getOffset())) { 
     142                                        result.append(currentMetaText.getText()); 
     143                                        metaTexts.remove(currentMetaText); 
     144                                        if (metaTexts.iterator().hasNext()) 
     145                                                currentMetaText = metaTexts.iterator().next(); 
     146                                        else 
     147                                                currentMetaText = null; 
     148                                        lastMetaTextBlock = 0; 
     149                                } 
    149150                        } 
    150151                } 
Note: See TracChangeset for help on using the changeset viewer.