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:

Serializable, Icon

Enclosing class:

IconFactory

public static class IconFactory.KeYFolderIcon
extends MetalIconFactory.FolderIcon16

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static Icon	closableIcon
private static Icon	closedIcon
private static Dimension	folderIcon16Size
private Color	frontColor
private static Icon	linkedIcon
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
KeYFolderIcon(Color p_frontColor)

Method Summary

Modifier and Type	Method and Description
int	getAdditionalHeight()
int	getIconHeight()
int	getIconWidth()
static Icon	getKeYFolderIconClosable()
static Icon	getKeYFolderIconClosed()
static Icon	getKeYFolderIconLinked()
int	getShift()
void	paintIcon(Component c, Graphics g, int x, int y)
private void	paintMe(Component c, 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 Icon closedIcon

closableIcon

private static final Icon closableIcon

linkedIcon

private static final Icon linkedIcon

folderIcon16Size

private static final Dimension folderIcon16Size

frontColor

private final Color frontColor

Constructor Detail

KeYFolderIcon

public KeYFolderIcon(Color p_frontColor)

Method Detail

getKeYFolderIconClosed

public static Icon getKeYFolderIconClosed()

getKeYFolderIconLinked

public static Icon getKeYFolderIconLinked()

getKeYFolderIconClosable

public static Icon getKeYFolderIconClosable()

paintIcon

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

Specified by:

paintIcon in interface Icon

Overrides:

paintIcon in class MetalIconFactory.FolderIcon16

paintMe

private void paintMe(Component c,
                     Graphics g)

getShift

public int getShift()

Overrides:

getShift in class MetalIconFactory.FolderIcon16

getAdditionalHeight

public int getAdditionalHeight()

Overrides:

getAdditionalHeight in class MetalIconFactory.FolderIcon16

getIconWidth

public int getIconWidth()

Specified by:

getIconWidth in interface Icon

Overrides:

getIconWidth in class MetalIconFactory.FolderIcon16

getIconHeight

public int getIconHeight()

Specified by:

getIconHeight in interface Icon

Overrides:

getIconHeight in class MetalIconFactory.FolderIcon16