org.semanticweb.HermiT.debugger
Class DerivationViewer.TextIcon

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.DerivationViewer.TextIcon
All Implemented Interfaces:
Serializable, Icon
Enclosing class:
DerivationViewer

protected static class DerivationViewer.TextIcon
extends Object
implements Icon, Serializable

See Also:
Serialized Form

Field Summary
protected static int HEIGHT
           
protected  Color m_background
           
protected  Font m_font
           
protected  Color m_foreground
           
protected  String m_text
           
protected static int WIDTH
           
 
Constructor Summary
DerivationViewer.TextIcon(Color background, Color foreground, String text, Font font)
           
 
Method Summary
 int getIconHeight()
           
 int getIconWidth()
           
 void paintIcon(Component c, Graphics g, int x, int y)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

WIDTH

protected static final int WIDTH
See Also:
Constant Field Values

HEIGHT

protected static final int HEIGHT
See Also:
Constant Field Values

m_background

protected final Color m_background

m_foreground

protected final Color m_foreground

m_text

protected final String m_text

m_font

protected final Font m_font
Constructor Detail

DerivationViewer.TextIcon

public DerivationViewer.TextIcon(Color background,
                                 Color foreground,
                                 String text,
                                 Font font)
Method Detail

getIconHeight

public int getIconHeight()
Specified by:
getIconHeight in interface Icon

getIconWidth

public int getIconWidth()
Specified by:
getIconWidth in interface Icon

paintIcon

public void paintIcon(Component c,
                      Graphics g,
                      int x,
                      int y)
Specified by:
paintIcon in interface Icon


Copyright © 2012. All Rights Reserved.