|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Pipe
A Pipe is anything that can be used to get and put Domain objects; it can be closed, and it can be tested for whether more elements are available. A pipe may be closed with an exception, in which case hasNext/get will fail with that exception when they are called.
Method Summary | |
---|---|
void |
close()
Close the pipe. |
void |
close(Exception e)
Close the pipe (see close()) and record e as its termination
status. |
Domain |
get()
Answer the next element if there is one, otherwise throw a NoSuchElementException. |
boolean |
hasNext()
Answer true iff there are more elements for get() to get. |
void |
put(Domain d)
Put a domain element into the pipe for later extraction. |
Method Detail |
---|
boolean hasNext()
get()
to get. If
the pipe was closed with an exception, throw that exception.
Domain get()
void put(Domain d)
void close()
false
, and
get
will throw an exception.
void close(Exception e)
e
as its termination
status. Any get
from the pipe must then fail, throwing an
exception.
e
- the exception that caused the pipe to be closed
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |