org.scilab.forge.jlatexmath
Class OverBar

java.lang.Object
  extended by org.scilab.forge.jlatexmath.Box
      extended by org.scilab.forge.jlatexmath.OverBar

public class OverBar
extends Box

A box representing another box with a horizontal rule above it, with appropriate kerning.


Field Summary
 
Fields inherited from class org.scilab.forge.jlatexmath.Box
background, children, DEBUG, depth, foreground, height, shift, type, width
 
Constructor Summary
OverBar(Box b, float kern, float thickness)
           
 
Method Summary
 void add(Box b)
          Inserts the given box at the end of the list of child boxes.
 void add(int pos, Box b)
          Inserts the given box at the given position in the list of child boxes.
 void draw(java.awt.Graphics2D g2, float x, float y)
          Paints this box at the given coordinates using the given graphics context.
 int getLastFontId()
          Get the id of the font that will be used the last when this box will be painted.
 int getSize()
           
 
Methods inherited from class org.scilab.forge.jlatexmath.Box
endDraw, getDepth, getHeight, getShift, getWidth, negWidth, setDepth, setHeight, setShift, setWidth, startDraw
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OverBar

public OverBar(Box b,
               float kern,
               float thickness)
Method Detail

add

public final void add(Box b)
Description copied from class: Box
Inserts the given box at the end of the list of child boxes.

Overrides:
add in class Box
Parameters:
b - the box to be inserted

add

public void add(int pos,
                Box b)
Description copied from class: Box
Inserts the given box at the given position in the list of child boxes.

Overrides:
add in class Box
Parameters:
pos - the position at which to insert the given box
b - the box to be inserted

draw

public void draw(java.awt.Graphics2D g2,
                 float x,
                 float y)
Description copied from class: Box
Paints this box at the given coordinates using the given graphics context.

Specified by:
draw in class Box
Parameters:
g2 - the graphics (2D) context to use for painting
x - the x-coordinate
y - the y-coordinate

getSize

public int getSize()

getLastFontId

public int getLastFontId()
Description copied from class: Box
Get the id of the font that will be used the last when this box will be painted.

Specified by:
getLastFontId in class Box
Returns:
the id of the last font that will be used.