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:

java.io.Serializable, javax.swing.Icon

Enclosing class:

IconFactory

private static class IconFactory.KeYControlIcon
extends javax.swing.plaf.metal.MetalIconFactory.TreeControlIcon

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	collapsed
private static javax.swing.Icon	collapsedIcon
private static javax.swing.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 javax.swing.Icon	getKeYCollapsedIcon()
static javax.swing.Icon	getKeYExpandedIcon()
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 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 javax.swing.Icon collapsedIcon

expandedIcon

private static final javax.swing.Icon expandedIcon

collapsed

private boolean collapsed

Constructor Detail

KeYControlIcon

public KeYControlIcon(boolean collapsed)

Method Detail

getKeYCollapsedIcon

public static javax.swing.Icon getKeYCollapsedIcon()

getKeYExpandedIcon

public static javax.swing.Icon getKeYExpandedIcon()

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.TreeControlIcon

paintMe

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