⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 title.java

📁 这是一个segy数据显示程序
💻 JAVA
📖 第 1 页 / 共 2 页
字号:
/* =========================================================== * JFreeChart : a free chart library for the Java(tm) platform * =========================================================== * * (C) Copyright 2000-2004, by Object Refinery Limited and Contributors. *  * Project Info:  http://www.jfree.org/jfreechart/index.html * * This library is free software; you can redistribute it and/or modify it under the terms * of the GNU Lesser General Public License as published by the Free Software Foundation; * either version 2.1 of the License, or (at your option) any later version. * * This library 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this * library; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, * Boston, MA 02111-1307, USA. * * [Java is a trademark or registered trademark of Sun Microsystems, Inc.  * in the United States and other countries.] * * ---------- * Title.java * ---------- * (C) Copyright 2000-2004, by David Berry and Contributors. * * Original Author:  David Berry; * Contributor(s):   David Gilbert (for Object Refinery Limited); *                   Nicolas Brodu; * * $Id: Title.java,v 1.8 2004/03/25 13:45:06 mungady Exp $ * * Changes (from 21-Aug-2001) * -------------------------- * 21-Aug-2001 : Added standard header (DG); * 18-Sep-2001 : Updated header (DG); * 14-Nov-2001 : Package com.jrefinery.common.ui.* changed to com.jrefinery.ui.* (DG); * 07-Feb-2002 : Changed blank space around title from Insets --> Spacer, to allow for relative *               or absolute spacing (DG); * 25-Jun-2002 : Removed unnecessary imports (DG); * 01-Oct-2002 : Fixed errors reported by Checkstyle (DG); * 14-Oct-2002 : Changed the event listener storage structure (DG); * 11-Sep-2003 : Took care of listeners while cloning (NB); * 22-Sep-2003 : Spacer cannot be null. Added nullpointer checks for this (TM); * 08-Jan-2003 : Renamed AbstractTitle --> Title and moved to separate package (DG); *  */package org.jfree.chart.title;import java.awt.Graphics2D;import java.awt.geom.Rectangle2D;import java.io.IOException;import java.io.ObjectInputStream;import java.io.ObjectOutputStream;import java.io.Serializable;import javax.swing.event.EventListenerList;import org.jfree.chart.event.TitleChangeEvent;import org.jfree.chart.event.TitleChangeListener;import org.jfree.ui.HorizontalAlignment;import org.jfree.ui.RectangleEdge;import org.jfree.ui.Spacer;import org.jfree.ui.VerticalAlignment;import org.jfree.util.ObjectUtils;/** * The base class for all chart titles.  A chart can have multiple titles, appearing at the top,  * bottom, left or right of the chart. * <P> * Concrete implementations of this class will render text and images, and hence * do the actual work of drawing titles. * * @author David Berry */public abstract class Title extends Object implements Cloneable, Serializable {    /** Useful constant for the title position (also used for vertical alignment). */    public static final int TOP = 0;    /** Useful constant for the title position (also used for vertical alignment). */    public static final int BOTTOM = 1;    /** Useful constant for the title position (also used for horizontal alignment). */    public static final int RIGHT = 2;    /** Useful constant for the title position (also used for horizontal alignment). */    public static final int LEFT = 3;    /** Useful constant for the title position. */    public static final int NORTH = 0;    /** Useful constant for the title position. */    public static final int SOUTH = 1;    /** Useful constant for the title position. */    public static final int EAST = 2;    /** Useful constant for the title position. */    public static final int WEST = 3;    /** Useful constant for the title alignment (horizontal or vertical). */    public static final int CENTER = 4;    /** Useful constant for the title alignment (horizontal or vertical). */    public static final int MIDDLE = 4;    /** The default title position. */    public static final RectangleEdge DEFAULT_POSITION = RectangleEdge.TOP;    /** The default horizontal alignment. */    public static final HorizontalAlignment         DEFAULT_HORIZONTAL_ALIGNMENT = HorizontalAlignment.CENTER;    /** The default vertical alignment. */    public static final VerticalAlignment         DEFAULT_VERTICAL_ALIGNMENT = VerticalAlignment.CENTER;    /** Default title spacer. */    public static final Spacer DEFAULT_SPACER = new Spacer(Spacer.RELATIVE, 0.01, 0.15, 0.01, 0.15);    /** The title position. */    private RectangleEdge position;    /** The horizontal alignment of the title. */    private HorizontalAlignment horizontalAlignment;    /** The vertical alignment of the title. */    private VerticalAlignment verticalAlignment;    /** The amount of blank space to leave around the title. */    private Spacer spacer;    /** Storage for registered change listeners. */    private transient EventListenerList listenerList;    /** A flag that can be used to temporarily disable the listener mechanism. */    private boolean notify;    /**     * Creates a new title, using default attributes where necessary.     */    protected Title() {        this(Title.DEFAULT_POSITION,             Title.DEFAULT_HORIZONTAL_ALIGNMENT,             Title.DEFAULT_VERTICAL_ALIGNMENT,             Title.DEFAULT_SPACER);    }    /**     * Creates a new title, using default attributes where necessary.     *     * @param position  the position of the title (<code>null</code> not permitted).     * @param horizontalAlignment  the horizontal alignment of the title      *                             (<code>null</code> not permitted).     * @param verticalAlignment  the vertical alignment of the title      *                           (<code>null</code> not permitted).     */    protected Title(RectangleEdge position,                     HorizontalAlignment horizontalAlignment,                     VerticalAlignment verticalAlignment) {        this(position,             horizontalAlignment, verticalAlignment,             Title.DEFAULT_SPACER);    }    /**     * Creates a new title.     * <P>     * This class defines constants for the valid position and alignment values     * --- an IllegalArgumentException will be thrown if invalid values are     * passed to this constructor.     *     * @param position  the position of the title (<code>null</code> not permitted).     * @param horizontalAlignment  the horizontal alignment of the title (LEFT, CENTER or RIGHT,      *                             <code>null</code> not permitted).     * @param verticalAlignment  the vertical alignment of the title (TOP, MIDDLE or BOTTOM,      *                           <code>null</code> not permitted).     * @param spacer  the amount of space to leave around the outside of the title      *                (<code>null</code> not permitted).     */    protected Title(RectangleEdge position,                    HorizontalAlignment horizontalAlignment,                     VerticalAlignment verticalAlignment,                    Spacer spacer) {        // check arguments...        if (position == null) {            throw new IllegalArgumentException("Argument 'position' cannot be null.");        }        if (horizontalAlignment == null) {            throw new IllegalArgumentException("Argument 'horizontalAlignment' cannot be null.");        }        if (verticalAlignment == null) {            throw new IllegalArgumentException("Argument 'verticalAlignment' cannot be null.");        }        if (spacer == null) {            throw new IllegalArgumentException("Argument 'spacer' cannot be null.");        }        // initialise...        this.position = position;        this.horizontalAlignment = horizontalAlignment;        this.verticalAlignment = verticalAlignment;        this.spacer = spacer;        this.listenerList = new EventListenerList();        this.notify = true;    }    /**     * Returns the position of the title.     *     * @return the title position (never <code>null</code>).     */    public RectangleEdge getPosition() {        return this.position;    }    /**     * Sets the position for the title and sends a {@link TitleChangeEvent} to all registered      * listeners.     *     * @param position  the position (<code>null</code> not permitted).     */    public void setPosition(RectangleEdge position) {        if (position == null) {            throw new IllegalArgumentException("Null 'position' argument.");        }        if (this.position != position) {            this.position = position;            notifyListeners(new TitleChangeEvent(this));        }    }    /**     * Returns the horizontal alignment of the title.     *     * @return the horizontal alignment (never <code>null</code>).     */    public HorizontalAlignment getHorizontalAlignment() {        return this.horizontalAlignment;    }    /**     * Sets the horizontal alignment for the title and sends a {@link TitleChangeEvent} to     * all registered listeners.     *     * @param alignment  the horizontal alignment (<code>null</code> not permitted).

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -