/* * Copyright 2000-2009 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package com.intellij.ui; import com.intellij.openapi.editor.markup.TextAttributes; import java.util.ArrayList; import java.util.List; public class HighlightedText { private final StringBuffer myBuffer; private final List<HighlightedRegion> myHighlightedRegions; public HighlightedText() { myBuffer = new StringBuffer(); myHighlightedRegions = new ArrayList<HighlightedRegion>(3); } public void appendText(String text, TextAttributes attributes) { int startOffset = myBuffer.length(); myBuffer.append(text); if (attributes != null) { myHighlightedRegions.add(new HighlightedRegion(startOffset, myBuffer.length(), attributes)); } } public void insertTextAtStart(String text, TextAttributes attributes) { int textLength = text.length(); for (int i=0; i < myHighlightedRegions.size(); i++) { HighlightedRegion info = myHighlightedRegions.get(i); info.startOffset += textLength; info.endOffset += textLength; } myBuffer.insert(0, text); if (attributes != null) { myHighlightedRegions.add(new HighlightedRegion(0, textLength, attributes)); } } @Override public boolean equals(Object o) { if (!(o instanceof HighlightedText)) return false; HighlightedText highlightedText = (HighlightedText)o; if (!myBuffer.equals(highlightedText.myBuffer)) return false; if (!myHighlightedRegions.equals(highlightedText.myHighlightedRegions)) return false; return true; } public String getText() { return myBuffer.toString(); } public void applyToComponent(HighlightableComponent renderer) { renderer.setText(myBuffer.toString()); for (int i=0; i < myHighlightedRegions.size(); i++) { HighlightedRegion info = myHighlightedRegions.get(i); renderer.addHighlighter(info.startOffset, info.endOffset, info.textAttributes); } } }