Package wprover

Class JAreaFlash

java.lang.Object

wprover.JFlash

wprover.JAreaFlash

All Implemented Interfaces:

java.awt.event.ActionListener, java.util.EventListener

public class JAreaFlash
extends JFlash
implements java.awt.event.ActionListener

JAreaFlash is a class that extends JFlash and implements ActionListener. It is used to create a flashing area effect on a JPanel.

Field Summary

Fields inherited from class wprover.JFlash

Dash, DASH1, fb, finished, n, panel, TIME_INTERVAL, timer, vType, ZERO

Constructor Summary

Constructors

Constructor	Description
JAreaFlash(javax.swing.JPanel p, int cindex)	Constructs a new JAreaFlash with the specified JPanel and color index.

Method Summary

Modifier and Type	Method	Description
void	actionPerformed(java.awt.event.ActionEvent e)	Handles action events for the timer.
void	addAPoint(CPoint p)	Adds a point to the list of points defining the flashing area.
boolean	draw(java.awt.Graphics2D g2)	Draws the flashing area on the specified Graphics2D context.

Methods inherited from class wprover.JFlash

drawALine3, drawALine3Short, getColor, getRatioColor, getvisibleType, isfinished, isrRunning, isZero, recalculate, setColor, setDealy, setDrawDash, setDrawDashFb2, start, stop, updateTimer

Methods inherited from class java.lang.Object

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

Constructor Detail

JAreaFlash

public JAreaFlash(javax.swing.JPanel p,
                  int cindex)

Constructs a new JAreaFlash with the specified JPanel and color index.

Parameters:

p - the JPanel to associate with this JAreaFlash

cindex - the color index to use for the flashing area

Method Detail

draw

public boolean draw(java.awt.Graphics2D g2)

Draws the flashing area on the specified Graphics2D context.

Specified by:

draw in class JFlash

Parameters:

g2 - the Graphics2D context to draw on

Returns:

true if the drawing was successful, false otherwise

addAPoint

public void addAPoint(CPoint p)

Adds a point to the list of points defining the flashing area.

Parameters:

p - the point to add

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Handles action events for the timer.

Specified by:

actionPerformed in interface java.awt.event.ActionListener

Parameters:

e - the action event