org.semanticweb.HermiT.debugger
Class DerivationViewer.TextIcon

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

protected static class DerivationViewer.TextIcon
extends java.lang.Object
implements javax.swing.Icon, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected static int HEIGHT
           
protected  java.awt.Color m_background
           
protected  java.awt.Font m_font
           
protected  java.awt.Color m_foreground
           
protected  java.lang.String m_text
           
protected static int WIDTH
           
 
Constructor Summary
DerivationViewer.TextIcon(java.awt.Color background, java.awt.Color foreground, java.lang.String text, java.awt.Font font)
           
 
Method Summary
 int getIconHeight()
           
 int getIconWidth()
           
 void paintIcon(java.awt.Component c, java.awt.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 java.awt.Color m_background

m_foreground

protected final java.awt.Color m_foreground

m_text

protected final java.lang.String m_text

m_font

protected final java.awt.Font m_font
Constructor Detail

DerivationViewer.TextIcon

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

getIconHeight

public int getIconHeight()
Specified by:
getIconHeight in interface javax.swing.Icon

getIconWidth

public int getIconWidth()
Specified by:
getIconWidth in interface javax.swing.Icon

paintIcon

public void paintIcon(java.awt.Component c,
                      java.awt.Graphics g,
                      int x,
                      int y)
Specified by:
paintIcon in interface javax.swing.Icon