|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.
Method Summary | |
void |
close()
Close the pipe: further operations on it have undefined effects. |
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 |
public boolean hasNext()
get()
to get.
public Domain get()
public void put(Domain d)
public void close()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |