de.uka.ilkd.key.gui

Class IconFactory.KeYFolderIcon

java.lang.Object

javax.swing.plaf.metal.MetalIconFactory.FolderIcon16

de.uka.ilkd.key.gui.IconFactory.KeYFolderIcon

All Implemented Interfaces:

java.io.Serializable, javax.swing.Icon

Enclosing class:

IconFactory

public static class IconFactory.KeYFolderIcon
extends javax.swing.plaf.metal.MetalIconFactory.FolderIcon16

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static javax.swing.Icon	closableIcon
private static javax.swing.Icon	closedIcon
private static java.awt.Dimension	folderIcon16Size
private java.awt.Color	frontColor
private static javax.swing.Icon	linkedIcon
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
KeYFolderIcon(java.awt.Color p_frontColor)

Method Summary

Modifier and Type	Method and Description
int	getAdditionalHeight()
int	getIconHeight()
int	getIconWidth()
static javax.swing.Icon	getKeYFolderIconClosable()
static javax.swing.Icon	getKeYFolderIconClosed()
static javax.swing.Icon	getKeYFolderIconLinked()
int	getShift()
void	paintIcon(java.awt.Component c, java.awt.Graphics g, int x, int y)
private void	paintMe(java.awt.Component c, java.awt.Graphics g)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

closedIcon

private static final javax.swing.Icon closedIcon

closableIcon

private static final javax.swing.Icon closableIcon

linkedIcon

private static final javax.swing.Icon linkedIcon

folderIcon16Size

private static final java.awt.Dimension folderIcon16Size

frontColor

private final java.awt.Color frontColor

Constructor Detail

KeYFolderIcon

public KeYFolderIcon(java.awt.Color p_frontColor)

Method Detail

getKeYFolderIconClosed

public static javax.swing.Icon getKeYFolderIconClosed()

getKeYFolderIconLinked

public static javax.swing.Icon getKeYFolderIconLinked()

getKeYFolderIconClosable

public static javax.swing.Icon getKeYFolderIconClosable()

paintIcon

public void paintIcon(java.awt.Component c,
                      java.awt.Graphics g,
                      int x,
                      int y)

Specified by:

paintIcon in interface javax.swing.Icon

Overrides:

paintIcon in class javax.swing.plaf.metal.MetalIconFactory.FolderIcon16

paintMe

private void paintMe(java.awt.Component c,
                     java.awt.Graphics g)

getShift

public int getShift()

Overrides:

getShift in class javax.swing.plaf.metal.MetalIconFactory.FolderIcon16

getAdditionalHeight

public int getAdditionalHeight()

Overrides:

getAdditionalHeight in class javax.swing.plaf.metal.MetalIconFactory.FolderIcon16

getIconWidth

public int getIconWidth()

Specified by:

getIconWidth in interface javax.swing.Icon

Overrides:

getIconWidth in class javax.swing.plaf.metal.MetalIconFactory.FolderIcon16

getIconHeight

public int getIconHeight()

Specified by:

getIconHeight in interface javax.swing.Icon

Overrides:

getIconHeight in class javax.swing.plaf.metal.MetalIconFactory.FolderIcon16