de.uka.ilkd.key.gui

Class IconFactory.KeYControlIcon

java.lang.Object

javax.swing.plaf.metal.MetalIconFactory.TreeControlIcon

de.uka.ilkd.key.gui.IconFactory.KeYControlIcon

All Implemented Interfaces:

Serializable, Icon

Enclosing class:

IconFactory

private static class IconFactory.KeYControlIcon
extends MetalIconFactory.TreeControlIcon

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	collapsed
private static Icon	collapsedIcon
private static Icon	expandedIcon
private static long	serialVersionUID

Fields inherited from class javax.swing.plaf.metal.MetalIconFactory.TreeControlIcon

isLight

Constructor Summary

Constructors

Constructor and Description
KeYControlIcon(boolean collapsed)

Method Summary

Modifier and Type	Method and Description
static Icon	getKeYCollapsedIcon()
static Icon	getKeYExpandedIcon()
void	paintIcon(Component c, Graphics g, int x, int y)
private void	paintMe(Component c, Graphics g)

Methods inherited from class javax.swing.plaf.metal.MetalIconFactory.TreeControlIcon

getIconHeight, getIconWidth, paintMe

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

collapsedIcon

private static final Icon collapsedIcon

expandedIcon

private static final Icon expandedIcon

collapsed

private boolean collapsed

Constructor Detail

KeYControlIcon

public KeYControlIcon(boolean collapsed)

Method Detail

getKeYCollapsedIcon

public static Icon getKeYCollapsedIcon()

getKeYExpandedIcon

public static Icon getKeYExpandedIcon()

paintIcon

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

Specified by:

paintIcon in interface Icon

Overrides:

paintIcon in class MetalIconFactory.TreeControlIcon

paintMe

private void paintMe(Component c,
                     Graphics g)