/* * $RCSfile: NonRuleBasedDamagerRepairer.java,v $ * * Copyright 2002 * CH-1700 Fribourg, Switzerland * All rights reserved. * *======================================================================== * Modifications history *======================================================================== * $Log: NonRuleBasedDamagerRepairer.java,v $ * Revision 1.1 2003/05/28 15:17:11 agfitzp * net.sourceforge.jseditor 0.0.1 code base * *======================================================================== */ package com.hundsun.ares.studio.ui.editor.text; import org.eclipse.jface.text.BadLocationException; import org.eclipse.jface.text.DocumentEvent; import org.eclipse.jface.text.IDocument; import org.eclipse.jface.text.IRegion; import org.eclipse.jface.text.ITypedRegion; import org.eclipse.jface.text.Region; import org.eclipse.jface.text.TextAttribute; import org.eclipse.jface.text.TextPresentation; import org.eclipse.jface.text.presentation.IPresentationDamager; import org.eclipse.jface.text.presentation.IPresentationRepairer; import org.eclipse.jface.util.Assert; import org.eclipse.swt.custom.StyleRange; /** * * * @author $Author: agfitzp $, $Date: 2003/05/28 15:17:11 $ * * @version $Revision: 1.1 $ */ public class NonRuleBasedDamagerRepairer implements IPresentationDamager, IPresentationRepairer { /** The document this object works on */ protected IDocument fDocument; /** The default text attribute if non is returned as data by the current token */ protected TextAttribute fDefaultTextAttribute; /** * Constructor for NonRuleBasedDamagerRepairer. * @param defaultTextAttribute */ public NonRuleBasedDamagerRepairer(TextAttribute defaultTextAttribute) { Assert.isNotNull(defaultTextAttribute); fDefaultTextAttribute = defaultTextAttribute; } /** * @see IPresentationRepairer#setDocument(IDocument) */ public void setDocument(IDocument document) { fDocument = document; } /** * Returns the end offset of the line that contains the specified offset or if the offset is * inside a line delimiter, the end offset of the next line. * * @param offset the offset whose line end offset must be computed * * @return the line end offset for the given offset * * @exception BadLocationException if offset is invalid in the current document */ protected int endOfLineOf(int offset) throws BadLocationException { IRegion info = fDocument.getLineInformationOfOffset(offset); if(offset <= info.getOffset() + info.getLength()) { return info.getOffset() + info.getLength(); } int line = fDocument.getLineOfOffset(offset); try { info = fDocument.getLineInformation(line + 1); return info.getOffset() + info.getLength(); } catch(BadLocationException x) { return fDocument.getLength(); } } /** * @see IPresentationDamager#getDamageRegion(ITypedRegion, DocumentEvent, boolean) */ public IRegion getDamageRegion(ITypedRegion partition, DocumentEvent event, boolean documentPartitioningChanged) { if(!documentPartitioningChanged) { try { IRegion info = fDocument.getLineInformationOfOffset(event.getOffset()); int start = Math.max(partition.getOffset(), info.getOffset()); int end = event.getOffset() + (event.getText() == null ? event.getLength() : event.getText().length()); if(info.getOffset() <= end && end <= info.getOffset() + info.getLength()) { // optimize the case of the same line end = info.getOffset() + info.getLength(); } else { end = endOfLineOf(end); } end = Math.min(partition.getOffset() + partition.getLength(), end); return new Region(start, end - start); } catch(BadLocationException x) { } } return partition; } /** * @see IPresentationRepairer#createPresentation(TextPresentation, ITypedRegion) */ public void createPresentation(TextPresentation presentation, ITypedRegion region) { addRange(presentation, region.getOffset(), region.getLength(), fDefaultTextAttribute); } /** * Adds style information to the given text presentation. * * @param presentation the text presentation to be extended * @param offset the offset of the range to be styled * @param length the length of the range to be styled * @param attr the attribute describing the style of the range to be styled */ protected void addRange(TextPresentation presentation, int offset, int length, TextAttribute attr) { if(attr != null) { presentation.addStyleRange( new StyleRange(offset, length, attr.getForeground(), attr.getBackground(), attr.getStyle())); } } }