org.scilab.forge.jlatexmath

Class OverBar

java.lang.Object

org.scilab.forge.jlatexmath.Box

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, elderParent, foreground, height, markForDEBUG, parent, shift, type, width

Constructor Summary

Constructors

Constructor and Description
OverBar(Box b, float kern, float thickness)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Box b) Inserts the given box at the end of the list of child boxes.
void	add(Box b, float interline)
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

drawDebug, drawDebug, endDraw, getDepth, getElderParent, getHeight, getParent, getShift, getWidth, negWidth, setDepth, setElderParent, setHeight, setParent, 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 final void add(Box b,
       float interline)

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.