cdox.edit
Class BorderRotator

java.lang.Object
  cdox.edit.BorderRotator

All Implemented Interfaces:

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

public class BorderRotator

extends java.lang.Object

implements java.awt.event.ActionListener

This class rotates the static stroke `dashed' in the class Element. It should not be instantiated directly, see the Element class how you rotate the border.

Version:

May 22nd 2002

Author:

Rutger Bezema, Andreas Schmitz

See Also:

Element.startRotating(java.awt.Component, cdox.edit.Element), Element.stopRotating()

Constructor Summary

BorderRotator(java.awt.Component c, Cover cov)
Creates a new BorderRotator.

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e) Rotates the border one time.

Methods inherited from class java.lang.Object

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

Constructor Detail

BorderRotator

public BorderRotator(java.awt.Component c,
                     Cover cov)

Creates a new BorderRotator.

Parameters:

c - the component whose repaint() method will be called.

cov - the cover to notify it has been changed.

Method Detail

actionPerformed

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

Rotates the border one time.

Specified by:

actionPerformed in interface java.awt.event.ActionListener

Parameters:

e - an ActionEvent value.