|
||||||||||
| 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 | |||||||||