linenumberview.java

Java Bytecode Editor 是一个 JAVA 的字节码反汇编和修改器。它可以很方便的修改已经编译成 Class 文件的 JAVA 文件。

/*
 *
 */
package ee.ioc.cs.jbe.browser.detail.attributes.code;

import java.awt.Color;
import java.awt.Dimension;
import java.awt.Font;
import java.awt.FontMetrics;
import java.awt.Graphics;
import java.awt.Rectangle;
import java.awt.event.ComponentAdapter;
import java.awt.event.ComponentEvent;

import java.beans.PropertyChangeEvent;
import java.beans.PropertyChangeListener;

import javax.swing.*;
import javax.swing.text.*;
import javax.swing.event.*;

/**
 * LineNumberView is a simple line-number gutter that works correctly even when
 * lines are wrapped in the associated text component. This is meant to be used
 * as the RowHeaderView in a JScrollPane that contains the associated text
 * component. Original code by Alan Moore, modified by Ando Saabas
 */

public class LineNumberView extends JComponent {
	private static final long serialVersionUID = -2071607137467638877L;

	// This is for the border to the right of the line numbers.
	// There's probably a UIDefaults value that could be used for this.
	private static final Color BORDER_COLOR = Color.GRAY;

	private static final int WIDTH_TEMPLATE = 99999;

	private static final int MARGIN = 5;

	private FontMetrics viewFontMetrics;

	private int maxNumberWidth;

	private int componentWidth;

	private int textTopInset;

	private int textFontAscent;

	private int textFontHeight;

	private JTextComponent text;

	private SizeSequence sizes;

	private int startLine = 0;

	private boolean structureChanged = true;

	/**
	 * Construct a LineNumberView and attach it to the given text component. The
	 * LineNumberView will listen for certain kinds of events from the text
	 * component and update itself accordingly.
	 * 
	 * @param startLine
	 *            the line that changed, if there's only one
	 * @param structureChanged
	 *            if <tt>true</tt>, ignore the line number and update all the
	 *            line heights.
	 */
	public LineNumberView(JTextComponent text) {
		if (text == null) {
			throw new IllegalArgumentException("Text component cannot be null");
		}
		this.text = text;
		updateCachedMetrics();

		UpdateHandler handler = new UpdateHandler();
		text.getDocument().addDocumentListener(handler);
		text.addPropertyChangeListener(handler);
		text.addComponentListener(handler);

		setBorder(BorderFactory.createMatteBorder(0, 0, 0, 1, BORDER_COLOR));
	}

	/**
	 * Schedule a repaint because one or more line heights may have changed.
	 * 
	 * @param startLine
	 *            the line that changed, if there's only one
	 * @param structureChanged
	 *            if <tt>true</tt>, ignore the line number and update all the
	 *            line heights.
	 */
	private void viewChanged(int startLine, boolean structureChanged) {
		this.startLine = startLine;
		this.structureChanged = structureChanged;

		revalidate();
		repaint();
	}

	/** Update the line heights as needed. */
	private void updateSizes() {
		if (startLine < 0) {
			return;
		}

		if (structureChanged) {
			int count[] = getAdjustedLineCount();
			sizes = new SizeSequence(count.length);
			for (int i = 0; i < count.length; i++) {
				int val;
				if (i < count.length - 1)
					val = count[i + 1];
				else
					val = 0;
				int lheight = getLineHeight(count[i], val);
				sizes.setSize(i, lheight);
			}

			structureChanged = false;
		} else {
			sizes.setSize(startLine, getLineHeight(startLine, startLine + 1));
		}

		startLine = -1;
	}

	/* Copied from javax.swing.text.PlainDocument */
	private int[] getAdjustedLineCount() {
		// There is an implicit break being modeled at the end of the
		// document to deal with boundary conditions at the end. This
		// is not desired in the line count, so we detect it and remove
		// its effect if throwing off the count.
		Element map1 = text.getDocument().getDefaultRootElement();
		int elementCount = map1.getElementCount();
		int elems[] = new int[elementCount];
		int pages = 0;
		for (int i = 0; i < elementCount; i++) {
			Element e = map1.getElement(i);
			try {
				if (!text.getText(e.getStartOffset(), 1).equals(" ")) {
					elems[pages] = i;
					pages++;
				}
			} catch (BadLocationException e1) {
				e1.printStackTrace();
			}
		}
		int elems2[] = new int[pages-1];
		for (int i = 0; i < pages-1; i++) {
			elems2[i] = elems[i];
		}
		return elems2;
	}

	/**
	 * Get the height of a line from the JTextComponent.
	 * 
	 * @param index
	 *            the line number
	 * @param the
	 *            height, in pixels
	 */
	private int getLineHeight(int index, int val) {
		int lastPos = sizes.getPosition(index) + textTopInset;
		int height = textFontHeight;
		int calcHeight = 0;
		try {
			Element map = text.getDocument().getDefaultRootElement();
			for (int i = index; i < val; i++) {
				lastPos = sizes.getPosition(i) + textTopInset;
				int lastChar = map.getElement(i).getEndOffset() - 1;
				Rectangle r = text.modelToView(lastChar);
				calcHeight = (r.y - lastPos) + r.height;

			}

		} catch (BadLocationException ex) {
			ex.printStackTrace();
		}
		if (calcHeight != 0)
			return calcHeight;
		return height;
	}

	/**
	 * Cache some values that are used a lot in painting or size calculations.
	 * Also ensures that the line-number font is not larger than the text
	 * component's font (by point-size, anyway).
	 */
	private void updateCachedMetrics() {
		Font textFont = text.getFont();
		FontMetrics fm = getFontMetrics(textFont);
		textFontHeight = fm.getHeight();
		textFontAscent = fm.getAscent();
		textTopInset = text.getInsets().top;

		Font viewFont = getFont();
		boolean changed = false;
		if (viewFont == null) {
			viewFont = UIManager.getFont("Label.font");
			changed = true;
		}
		if (viewFont.getSize() > textFont.getSize()) {
			viewFont = viewFont.deriveFont(textFont.getSize2D());
			changed = true;
		}

		viewFontMetrics = getFontMetrics(viewFont);
		maxNumberWidth = viewFontMetrics.stringWidth(String
				.valueOf(WIDTH_TEMPLATE));
		componentWidth = 2 * MARGIN + maxNumberWidth;

		if (changed) {
			super.setFont(viewFont);
		}
	}

	public Dimension getPreferredSize() {
		return new Dimension(componentWidth, text.getHeight());
	}

	public void setFont(Font font) {
		super.setFont(font);
		updateCachedMetrics();
	}

	public void paintComponent(Graphics g) {
		updateSizes();
		Rectangle clip = g.getClipBounds();

		g.setColor(getBackground());
		g.fillRect(clip.x, clip.y, clip.width, clip.height);

		g.setColor(getForeground());
		int base = clip.y - textTopInset;
		int first = sizes.getIndex(base);
		int last = sizes.getIndex(base + clip.height);
		String text = "";

		for (int i = first; i <= last; i++) {
			text = String.valueOf(i + 1);
			int x = MARGIN + maxNumberWidth - viewFontMetrics.stringWidth(text);
			int y = sizes.getPosition(i) + textFontAscent + textTopInset;
			g.drawString(text, x, y);
		}
	}

	class UpdateHandler extends ComponentAdapter implements
			PropertyChangeListener, DocumentListener {

		public void componentResized(ComponentEvent evt) {
			viewChanged(0, true);
		}

		/**
		 * A bound property was changed on the text component. Properties like
		 * the font, border, and tab size affect the layout of the whole
		 * document, so we invalidate all the line heights here.
		 */
		public void propertyChange(PropertyChangeEvent evt) {
			Object oldValue = evt.getOldValue();
			Object newValue = evt.getNewValue();
			String propertyName = evt.getPropertyName();
			if ("document".equals(propertyName)) {
				if (oldValue != null && oldValue instanceof Document) {
					((Document) oldValue).removeDocumentListener(this);
				}
				if (newValue != null && newValue instanceof Document) {
					((Document) newValue).addDocumentListener(this);
				}
			}

			updateCachedMetrics();
			viewChanged(0, true);
		}

		/**
		 * Text was inserted into the document.
		 */
		public void insertUpdate(DocumentEvent evt) {
			update(evt);
		}

		/**
		 * Text was removed from the document.
		 */
		public void removeUpdate(DocumentEvent evt) {
			update(evt);
		}

		/**
		 * Text attributes were changed. In a source-code editor based on
		 * StyledDocument, attribute changes should be applied automatically in
		 * response to inserts and removals. Since we're already listening for
		 * those, this method should be redundant, but YMMV.
		 */
		public void changedUpdate(DocumentEvent evt) {
			// update(evt);
		}

		/**
		 * If the edit was confined to a single line, invalidate that line's
		 * height. Otherwise, invalidate them all.
		 */
		private void update(DocumentEvent evt) {
			Element map = text.getDocument().getDefaultRootElement();
			int line = map.getElementIndex(evt.getOffset());
			viewChanged(line, true);
		}
	}

}