org.scilab.forge.jlatexmath

Class HorizontalRule

java.lang.Object

org.scilab.forge.jlatexmath.Box

org.scilab.forge.jlatexmath.HorizontalRule

public class HorizontalRule
extends Box

A box representing a horizontal line.

Field Summary

Fields inherited from class org.scilab.forge.jlatexmath.Box

DEBUG

Constructor Summary

Constructors

Constructor and Description
HorizontalRule(float thickness, float width, float s)
HorizontalRule(float thickness, float width, float s, boolean trueShift)
HorizontalRule(float thickness, float width, float s, java.awt.Color c)

Method Summary

Modifier and Type	Method and Description
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.

Methods inherited from class org.scilab.forge.jlatexmath.Box

add, add, getDepth, getElderParent, getHeight, getParent, getShift, getWidth, negWidth, setDepth, setElderParent, setHeight, setParent, setShift, setWidth

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HorizontalRule

public HorizontalRule(float thickness,
                      float width,
                      float s)

HorizontalRule

public HorizontalRule(float thickness,
                      float width,
                      float s,
                      boolean trueShift)

HorizontalRule

public HorizontalRule(float thickness,
                      float width,
                      float s,
                      java.awt.Color c)

Method Detail

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

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.