net.mumie.mathletfactory.display.noc.matrix

Class MatrixBorder

java.lang.Object

javax.swing.border.AbstractBorder

net.mumie.mathletfactory.display.noc.matrix.MatrixBorder

All Implemented Interfaces:

java.io.Serializable, javax.swing.border.Border

public class MatrixBorder
extends javax.swing.border.AbstractBorder

This class is used by MMMatrixPanel to render a border for the matrix. Four different border styles are avaible.

Author:

Gronau

See Also:

Serialized Form

Document status:

finished

Field Summary

Fields

Modifier and Type	Field and Description
static int	BRACKETS Constant for a square bracket ('[' shaped) border type.
static int	BRACKETS_LEFT_DETERMINANT_RIGHT Constant for a mixed border type (bracket border left, vertical line border right).
static double	CONTROL_POINT_FACTOR Constant for fine tuning of control point's location.
static int	DETERMINANT Constant for a vertical line border type (like used in determinants).
static int	DETERMINANT_LEFT_BRACKETS_RIGHT Constant for a mixed border type (vertical line border left, bracket border right).
static int	LEFT_AND_RIGHT_BORDER
static int	NO_BORDER Constant for an empty border type.
static int	ONLY_LEFT_BORDER
static int	ONLY_RIGHT_BORDER
static int	PARENTHESES Constant for a parentheses ('(' shaped) border type.

Constructor Summary

Constructors

Constructor and Description
MatrixBorder(java.awt.Component component, int borderType) Creates a new MMMatrixBorder object for the given component c and the defined border type.
MatrixBorder(java.awt.Component component, int borderType, int showBorders)

Method Summary

Methods

Modifier and Type	Method and Description
java.awt.Insets	getBorderInsets() Returns (a copy of) the insets of the border.
java.awt.Insets	getBorderInsets(java.awt.Component comp) Returns (a copy of) the insets of the border.
int	getBorderType() Returns the border type of this matrix panel (square, determinant style, etc.).
java.awt.Color	getBracketColor() Returns (a copy of) the color of the components "bracket".
int	getShowBorders() Returns if the (left, right) border is visible.
void	paintBorder(java.awt.Component c, java.awt.Graphics g, int x, int y, int width, int height) Paints the border of the component c.
void	setBorderInsets(java.awt.Insets insets) Sets the border size to 'insets'.
void	setBorderType(int i) Sets the border type of this matrix panel (square, determinant style, etc.).
void	setBracketColor(java.awt.Color curveColor) Sets the color of the component's "bracket".
void	setShowBorders(int showBorders) Sets if the (left, right) border is visible.

Methods inherited from class javax.swing.border.AbstractBorder

getBaseline, getBaselineResizeBehavior, getBorderInsets, getInteriorRectangle, getInteriorRectangle, isBorderOpaque

Methods inherited from class java.lang.Object

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

Field Detail

NO_BORDER

public static final int NO_BORDER

Constant for an empty border type.

See Also:

Constant Field Values

PARENTHESES

public static final int PARENTHESES

Constant for a parentheses ('(' shaped) border type.

See Also:

Constant Field Values

BRACKETS

public static final int BRACKETS

Constant for a square bracket ('[' shaped) border type.

See Also:

Constant Field Values

DETERMINANT

public static final int DETERMINANT

Constant for a vertical line border type (like used in determinants).

See Also:

Constant Field Values

BRACKETS_LEFT_DETERMINANT_RIGHT

public static final int BRACKETS_LEFT_DETERMINANT_RIGHT

Constant for a mixed border type (bracket border left, vertical line border right).

See Also:

Constant Field Values

DETERMINANT_LEFT_BRACKETS_RIGHT

public static final int DETERMINANT_LEFT_BRACKETS_RIGHT

Constant for a mixed border type (vertical line border left, bracket border right).

See Also:

Constant Field Values

LEFT_AND_RIGHT_BORDER

public static final int LEFT_AND_RIGHT_BORDER

See Also:

Constant Field Values

ONLY_LEFT_BORDER

public static final int ONLY_LEFT_BORDER

See Also:

Constant Field Values

ONLY_RIGHT_BORDER

public static final int ONLY_RIGHT_BORDER

See Also:

Constant Field Values

CONTROL_POINT_FACTOR

public static final double CONTROL_POINT_FACTOR

Constant for fine tuning of control point's location.

See Also:

Constant Field Values

Constructor Detail

MatrixBorder

public MatrixBorder(java.awt.Component component,
            int borderType)

Creates a new MMMatrixBorder object for the given component c and the defined border type.

See Also:

NO_BORDER, PARENTHESES, BRACKETS, DETERMINANT

MatrixBorder

public MatrixBorder(java.awt.Component component,
            int borderType,
            int showBorders)

Method Detail

paintBorder

public void paintBorder(java.awt.Component c,
               java.awt.Graphics g,
               int x,
               int y,
               int width,
               int height)

Paints the border of the component c. This method is called internally by java and draws the border of the component c using the Graphicsobject g. x,y,width and height are not used!

Specified by:

paintBorder in interface javax.swing.border.Border

Overrides:

paintBorder in class javax.swing.border.AbstractBorder

setShowBorders

public void setShowBorders(int showBorders)

Sets if the (left, right) border is visible.

getShowBorders

public int getShowBorders()

Returns if the (left, right) border is visible.

setBracketColor

public void setBracketColor(java.awt.Color curveColor)

Sets the color of the component's "bracket".

getBracketColor

public java.awt.Color getBracketColor()

Returns (a copy of) the color of the components "bracket".

getBorderInsets

public java.awt.Insets getBorderInsets()

Returns (a copy of) the insets of the border.

getBorderInsets

public java.awt.Insets getBorderInsets(java.awt.Component comp)

Returns (a copy of) the insets of the border.

Specified by:

getBorderInsets in interface javax.swing.border.Border

Overrides:

getBorderInsets in class javax.swing.border.AbstractBorder

Parameters:

comp - the component for which this border insets value applies

setBorderInsets

public void setBorderInsets(java.awt.Insets insets)

Sets the border size to 'insets'.

getBorderType

public int getBorderType()

Returns the border type of this matrix panel (square, determinant style, etc.).

setBorderType

public void setBorderType(int i)

Sets the border type of this matrix panel (square, determinant style, etc.).