/*
* @(#)FigureEnumeration.java
*
* Project: JHotdraw - a GUI framework for technical drawings
* http://www.jhotdraw.org
* http://jhotdraw.sourceforge.net
* Copyright: (c) by the original author(s) and all contributors
* License: Lesser GNU Public License (LGPL)
* http://www.opensource.org/licenses/lgpl-license.html
*/
package org.jhotdraw.framework;
/**
* Interface for Enumerations that access Figures.
* It provides a method nextFigure, that hides the down casting
* from client code.
*
* @version <$CURRENT_VERSION$>
*/
public interface FigureEnumeration {
/**
* Returns the next element of the enumeration. Calls to this
* method will enumerate successive elements.
* @exception java.util.NoSuchElementException If no more elements exist.
*/
public Figure nextFigure();
public boolean hasNextFigure();
/**
* Reset the enumeration so it can be reused again. However, the
* underlying collection might have changed since the last usage
* so the elements and the order may vary when using an enumeration
* which has been reset.
*/
public void reset();
}