📄 positioniterator.java
字号:
/*
Copyright (c) 1999, 2000 Brown University, Providence, RI
All Rights Reserved
Permission to use, copy, modify, and distribute this software and its
documentation for any purpose other than its incorporation into a
commercial product is hereby granted without fee, provided that the
above copyright notice appear in all copies and that both that
copyright notice and this permission notice appear in supporting
documentation, and that the name of Brown University not be used in
advertising or publicity pertaining to distribution of the software
without specific, written prior permission.
BROWN UNIVERSITY DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS
SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
FITNESS FOR ANY PARTICULAR PURPOSE. IN NO EVENT SHALL BROWN
UNIVERSITY BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL
DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR
PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER
TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
PERFORMANCE OF THIS SOFTWARE.
*/
package jdsl.core.api;
import java.util.NoSuchElementException;
/**
* Iterator over a set of positions. No order of the positions is required
* by this interface, although order may be promised or required
* by users of the interface. Conceptually, the iterator starts out
* situated before the first position to be considered. With each call
* to next(), the iterator skips over another position and returns the position
* skipped over, until the iterator is situated past the last position.
*
* Note that NoSuchElementException indicates two different failure
* states: when the iterator is situated before the first position, position() and
* element() fail; when the iterator is situated after the last
* position, next() fails.
*
* @version JDSL 2.1.1
* @author Mark Handy
*/
public interface PositionIterator extends ObjectIterator {
/**
* @return Next position to consider
* @exception NoSuchElementException if iterator has moved past
* the last position to be seen
*/
public Position nextPosition() throws NoSuchElementException;
/**
* @return The position returned by the most recent next()
* @exception NoSuchElementException When the iterator is in its
* initial, before-the-first-position state
*/
public Position position() throws NoSuchElementException;
/**
* Shortcut for position().element(). Same as the inherited object() method.
* @return Element of the position that would be returned by position()
* @exception NoSuchElementException When the iterator is in its
* initial, before-the-first-position state
*/
public Object element() throws NoSuchElementException;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -