mirror of git://gcc.gnu.org/git/gcc.git
				
				
				
			
		
			
				
	
	
		
			425 lines
		
	
	
		
			13 KiB
		
	
	
	
		
			Java
		
	
	
	
			
		
		
	
	
			425 lines
		
	
	
		
			13 KiB
		
	
	
	
		
			Java
		
	
	
	
| /* JTextPane.java -- A powerful text widget supporting styled text
 | |
|    Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc.
 | |
| 
 | |
| This file is part of GNU Classpath.
 | |
| 
 | |
| GNU Classpath is free software; you can redistribute it and/or modify
 | |
| it under the terms of the GNU General Public License as published by
 | |
| the Free Software Foundation; either version 2, or (at your option)
 | |
| any later version.
 | |
| 
 | |
| GNU Classpath is distributed in the hope that it will be useful, but
 | |
| WITHOUT ANY WARRANTY; without even the implied warranty of
 | |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 | |
| General Public License for more details.
 | |
| 
 | |
| You should have received a copy of the GNU General Public License
 | |
| along with GNU Classpath; see the file COPYING.  If not, write to the
 | |
| Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
 | |
| 02110-1301 USA.
 | |
| 
 | |
| Linking this library statically or dynamically with other modules is
 | |
| making a combined work based on this library.  Thus, the terms and
 | |
| conditions of the GNU General Public License cover the whole
 | |
| combination.
 | |
| 
 | |
| As a special exception, the copyright holders of this library give you
 | |
| permission to link this library with independent modules to produce an
 | |
| executable, regardless of the license terms of these independent
 | |
| modules, and to copy and distribute the resulting executable under
 | |
| terms of your choice, provided that you also meet, for each linked
 | |
| independent module, the terms and conditions of the license of that
 | |
| module.  An independent module is a module which is not derived from
 | |
| or based on this library.  If you modify this library, you may extend
 | |
| this exception to your version of the library, but you are not
 | |
| obligated to do so.  If you do not wish to do so, delete this
 | |
| exception statement from your version. */
 | |
| 
 | |
| 
 | |
| package javax.swing;
 | |
| 
 | |
| import java.awt.Component;
 | |
| 
 | |
| import javax.swing.text.AbstractDocument;
 | |
| import javax.swing.text.AttributeSet;
 | |
| import javax.swing.text.BadLocationException;
 | |
| import javax.swing.text.Caret;
 | |
| import javax.swing.text.Document;
 | |
| import javax.swing.text.EditorKit;
 | |
| import javax.swing.text.Element;
 | |
| import javax.swing.text.MutableAttributeSet;
 | |
| import javax.swing.text.SimpleAttributeSet;
 | |
| import javax.swing.text.Style;
 | |
| import javax.swing.text.StyleConstants;
 | |
| import javax.swing.text.StyledDocument;
 | |
| import javax.swing.text.StyledEditorKit;
 | |
| 
 | |
| /**
 | |
|  * A powerful text component that supports styled content as well as
 | |
|  * embedding images and components. It is entirely based on a
 | |
|  * {@link StyledDocument} content model and a {@link StyledEditorKit}.
 | |
|  *
 | |
|  * @author Roman Kennke (roman@kennke.org)
 | |
|  * @author Andrew Selkirk
 | |
|  */
 | |
| public class JTextPane
 | |
|   extends JEditorPane
 | |
| {
 | |
|   /**
 | |
|    * Creates a new <code>JTextPane</code> with a <code>null</code> document.
 | |
|    */
 | |
|   public JTextPane()
 | |
|   {
 | |
|     super();
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Creates a new <code>JTextPane</code> and sets the specified
 | |
|    * <code>document</code>.
 | |
|    *
 | |
|    * @param document the content model to use
 | |
|    */
 | |
|   public JTextPane(StyledDocument document)
 | |
|   {
 | |
|     this();
 | |
|     setStyledDocument(document);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Returns the UI class ID. This is <code>TextPaneUI</code>.
 | |
|    *
 | |
|    * @return <code>TextPaneUI</code>
 | |
|    */
 | |
|   public String getUIClassID()
 | |
|   {
 | |
|     return "TextPaneUI";
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Sets the content model for this <code>JTextPane</code>.
 | |
|    * <code>JTextPane</code> can only be used with {@link StyledDocument}s,
 | |
|    * if you try to set a different type of <code>Document</code>, an
 | |
|    * <code>IllegalArgumentException</code> is thrown.
 | |
|    *
 | |
|    * @param document the content model to set
 | |
|    *
 | |
|    * @throws IllegalArgumentException if <code>document</code> is not an
 | |
|    *         instance of <code>StyledDocument</code>
 | |
|    *
 | |
|    * @see #setStyledDocument
 | |
|    */
 | |
|   public void setDocument(Document document)
 | |
|   {
 | |
|     if (document != null && !(document instanceof StyledDocument))
 | |
|       throw new IllegalArgumentException
 | |
|         ("JTextPane can only handle StyledDocuments");
 | |
| 
 | |
|     setStyledDocument((StyledDocument) document);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Returns the {@link StyledDocument} that is the content model for
 | |
|    * this <code>JTextPane</code>. This is a typed wrapper for
 | |
|    * {@link #getDocument()}.
 | |
|    *
 | |
|    * @return the content model of this <code>JTextPane</code>
 | |
|    */
 | |
|   public StyledDocument getStyledDocument()
 | |
|   {
 | |
|     return (StyledDocument) super.getDocument();
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Sets the content model for this <code>JTextPane</code>.
 | |
|    *
 | |
|    * @param document the content model to set
 | |
|    */
 | |
|   public void setStyledDocument(StyledDocument document)
 | |
|   {
 | |
|     super.setDocument(document);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Replaces the currently selected text with the specified
 | |
|    * <code>content</code>. If there is no selected text, this results
 | |
|    * in a simple insertion at the current caret position. If there is
 | |
|    * no <code>content</code> specified, this results in the selection
 | |
|    * beeing deleted.
 | |
|    *
 | |
|    * @param content the text with which the selection is replaced
 | |
|    */
 | |
|   public void replaceSelection(String content)
 | |
|   {
 | |
|     Caret caret = getCaret();
 | |
|     StyledDocument doc = getStyledDocument();
 | |
|     AttributeSet a = getInputAttributes().copyAttributes();
 | |
|     if (doc == null)
 | |
|       return;
 | |
| 
 | |
|     int dot = caret.getDot();
 | |
|     int mark = caret.getMark();
 | |
| 
 | |
|     int p0 = Math.min (dot, mark);
 | |
|     int p1 = Math.max (dot, mark);
 | |
| 
 | |
|     try
 | |
|       {
 | |
|         if (doc instanceof AbstractDocument)
 | |
|           ((AbstractDocument)doc).replace(p0, p1 - p0, content, a);
 | |
|         else
 | |
|           {
 | |
|             // Remove selected text.
 | |
|             if (dot != mark)
 | |
|               doc.remove(p0, p1 - p0);
 | |
|             // Insert new text.
 | |
|             if (content != null && content.length() > 0)
 | |
|               doc.insertString(p0, content, a);
 | |
|           }
 | |
|       }
 | |
|     catch (BadLocationException e)
 | |
|       {
 | |
|         throw new AssertionError
 | |
|           ("No BadLocationException should be thrown here");
 | |
|       }
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Inserts an AWT or Swing component into the text at the current caret
 | |
|    * position.
 | |
|    *
 | |
|    * @param component the component to be inserted
 | |
|    */
 | |
|   public void insertComponent(Component component)
 | |
|   {
 | |
|     SimpleAttributeSet atts = new SimpleAttributeSet();
 | |
|     atts.addAttribute(StyleConstants.ComponentAttribute, component);
 | |
|     atts.addAttribute(StyleConstants.NameAttribute,
 | |
|                       StyleConstants.ComponentElementName);
 | |
|     try
 | |
|       {
 | |
|         getDocument().insertString(getCaret().getDot(), " ", atts);
 | |
|       }
 | |
|     catch (BadLocationException ex)
 | |
|       {
 | |
|         AssertionError err = new AssertionError("Unexpected bad location");
 | |
|         err.initCause(ex);
 | |
|         throw err;
 | |
|       }
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Inserts an <code>Icon</code> into the text at the current caret position.
 | |
|    *
 | |
|    * @param icon the <code>Icon</code> to be inserted
 | |
|    */
 | |
|   public void insertIcon(Icon icon)
 | |
|   {
 | |
|     MutableAttributeSet inputAtts = getInputAttributes();
 | |
|     inputAtts.removeAttributes(inputAtts);
 | |
|     StyleConstants.setIcon(inputAtts, icon);
 | |
|     replaceSelection(" ");
 | |
|     inputAtts.removeAttributes(inputAtts);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Adds a style into the style hierarchy. Unspecified style attributes
 | |
|    * can be resolved in the <code>parent</code> style, if one is specified.
 | |
|    *
 | |
|    * While it is legal to add nameless styles (<code>nm == null</code),
 | |
|    * you must be aware that the client application is then responsible
 | |
|    * for managing the style hierarchy, since unnamed styles cannot be
 | |
|    * looked up by their name.
 | |
|    *
 | |
|    * @param nm the name of the style or <code>null</code> if the style should
 | |
|    *           be unnamed
 | |
|    * @param parent the parent in which unspecified style attributes are
 | |
|    *           resolved, or <code>null</code> if that is not necessary
 | |
|    *
 | |
|    * @return the newly created <code>Style</code>
 | |
|    */
 | |
|   public Style addStyle(String nm, Style parent)
 | |
|   {
 | |
|     return getStyledDocument().addStyle(nm, parent);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Removes a named <code>Style</code> from the style hierarchy.
 | |
|    *
 | |
|    * @param nm the name of the <code>Style</code> to be removed
 | |
|    */
 | |
|   public void removeStyle(String nm)
 | |
|   {
 | |
|     getStyledDocument().removeStyle(nm);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Looks up and returns a named <code>Style</code>.
 | |
|    *
 | |
|    * @param nm the name of the <code>Style</code>
 | |
|    *
 | |
|    * @return the found <code>Style</code> of <code>null</code> if no such
 | |
|    *         <code>Style</code> exists
 | |
|    */
 | |
|   public Style getStyle(String nm)
 | |
|   {
 | |
|     return getStyledDocument().getStyle(nm);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Returns the logical style of the paragraph at the current caret position.
 | |
|    *
 | |
|    * @return the logical style of the paragraph at the current caret position
 | |
|    */
 | |
|   public Style getLogicalStyle()
 | |
|   {
 | |
|     return getStyledDocument().getLogicalStyle(getCaretPosition());
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Sets the logical style for the paragraph at the current caret position.
 | |
|    *
 | |
|    * @param style the style to set for the current paragraph
 | |
|    */
 | |
|   public void setLogicalStyle(Style style)
 | |
|   {
 | |
|     getStyledDocument().setLogicalStyle(getCaretPosition(), style);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Returns the text attributes for the character at the current caret
 | |
|    * position.
 | |
|    *
 | |
|    * @return the text attributes for the character at the current caret
 | |
|    *         position
 | |
|    */
 | |
|   public AttributeSet getCharacterAttributes()
 | |
|   {
 | |
|     StyledDocument doc = getStyledDocument();
 | |
|     Element el = doc.getCharacterElement(getCaretPosition());
 | |
|     return el.getAttributes();
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Sets text attributes for the current selection. If there is no selection
 | |
|    * the text attributes are applied to newly inserted text
 | |
|    *
 | |
|    * @param attribute the text attributes to set
 | |
|    * @param replace if <code>true</code>, the attributes of the current
 | |
|    *     selection are overridden, otherwise they are merged
 | |
|    *
 | |
|    * @see #getInputAttributes
 | |
|    */
 | |
|   public void setCharacterAttributes(AttributeSet attribute,
 | |
|                                      boolean replace)
 | |
|   {
 | |
|     int dot = getCaret().getDot();
 | |
|     int start = getSelectionStart();
 | |
|     int end = getSelectionEnd();
 | |
|     if (start == dot && end == dot)
 | |
|       // There is no selection, update insertAttributes instead
 | |
|       {
 | |
|         MutableAttributeSet inputAttributes =
 | |
|           getStyledEditorKit().getInputAttributes();
 | |
|         if (replace)
 | |
|           inputAttributes.removeAttributes(inputAttributes);
 | |
|         inputAttributes.addAttributes(attribute);
 | |
|       }
 | |
|     else
 | |
|       getStyledDocument().setCharacterAttributes(start, end - start, attribute,
 | |
|                                                  replace);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Returns the text attributes of the paragraph at the current caret
 | |
|    * position.
 | |
|    *
 | |
|    * @return the attributes of the paragraph at the current caret position
 | |
|    */
 | |
|   public AttributeSet getParagraphAttributes()
 | |
|   {
 | |
|     StyledDocument doc = getStyledDocument();
 | |
|     Element el = doc.getParagraphElement(getCaretPosition());
 | |
|     return el.getAttributes();
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Sets text attributes for the paragraph at the current selection.
 | |
|    * If there is no selection the text attributes are applied to
 | |
|    * the paragraph at the current caret position.
 | |
|    *
 | |
|    * @param attribute the text attributes to set
 | |
|    * @param replace if <code>true</code>, the attributes of the current
 | |
|    *     selection are overridden, otherwise they are merged
 | |
|    */
 | |
|   public void setParagraphAttributes(AttributeSet attribute,
 | |
|                                      boolean replace)
 | |
|   {
 | |
|     // TODO
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Returns the attributes that are applied to newly inserted text.
 | |
|    * This is a {@link MutableAttributeSet}, so you can easily modify these
 | |
|    * attributes.
 | |
|    *
 | |
|    * @return the attributes that are applied to newly inserted text
 | |
|    */
 | |
|   public MutableAttributeSet getInputAttributes()
 | |
|   {
 | |
|     return getStyledEditorKit().getInputAttributes();
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Returns the {@link StyledEditorKit} that is currently used by this
 | |
|    * <code>JTextPane</code>.
 | |
|    *
 | |
|    * @return the current <code>StyledEditorKit</code> of this
 | |
|    *         <code>JTextPane</code>
 | |
|    */
 | |
|   protected final StyledEditorKit getStyledEditorKit()
 | |
|   {
 | |
|     return (StyledEditorKit) getEditorKit();
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Creates the default {@link EditorKit} that is used in
 | |
|    * <code>JTextPane</code>s. This is an instance of {@link StyledEditorKit}.
 | |
|    *
 | |
|    * @return the default {@link EditorKit} that is used in
 | |
|    *         <code>JTextPane</code>s
 | |
|    */
 | |
|   protected EditorKit createDefaultEditorKit()
 | |
|   {
 | |
|     return new StyledEditorKit();
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Sets the {@link EditorKit} to use for this <code>JTextPane</code>.
 | |
|    * <code>JTextPane</code>s can only handle {@link StyledEditorKit}s,
 | |
|    * if client programs try to set a different type of <code>EditorKit</code>
 | |
|    * then an IllegalArgumentException is thrown
 | |
|    *
 | |
|    * @param editor the <code>EditorKit</code> to set
 | |
|    *
 | |
|    * @throws IllegalArgumentException if <code>editor</code> is no
 | |
|    *         <code>StyledEditorKit</code>
 | |
|    */
 | |
|   public final void setEditorKit(EditorKit editor)
 | |
|   {
 | |
|     if (!(editor instanceof StyledEditorKit))
 | |
|       throw new IllegalArgumentException
 | |
|         ("JTextPanes can only handle StyledEditorKits");
 | |
|     super.setEditorKit(editor);
 | |
|   }
 | |
| 
 | |
|   /**
 | |
|    * Returns a param string that can be used for debugging.
 | |
|    *
 | |
|    * @return a param string that can be used for debugging.
 | |
|    */
 | |
|   protected String paramString()
 | |
|   {
 | |
|     return super.paramString(); // TODO
 | |
|   }
 | |
| }
 |