|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.jmlspecs.jmlunit.TestClassGenerator.MethodsIterator
A composite control abstraction useful in this class.
| Field Summary | |
private TestClassGenerator.MethodInfo |
cache
Cached method to return next, null if none |
private Iterator |
inheritedMethods
The inherited methods. |
private Iterator |
methods
The non-inherited methods. |
| Constructor Summary | |
TestClassGenerator.MethodsIterator(List methods,
List inhMeths)
Initialize this methods iter. |
|
| Method Summary | |
private void |
cacheNext()
Advance the state of the iteration to point to the next testable method declaration. |
private boolean |
compositeHasNext()
Does the composition have more elements? |
private Object |
compositeNextMethod()
Return the next element in the composition |
boolean |
hasNext()
|
Object |
next()
|
TestClassGenerator.MethodInfo |
nextMethod()
Return the next testable method |
void |
remove()
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
private Iterator methods
private Iterator inheritedMethods
private TestClassGenerator.MethodInfo cache
| Constructor Detail |
public TestClassGenerator.MethodsIterator(List methods,
List inhMeths)
| Method Detail |
private boolean compositeHasNext()
private Object compositeNextMethod()
private void cacheNext()
public boolean hasNext()
hasNext in interface Iteratorpublic Object next()
next in interface Iteratorpublic TestClassGenerator.MethodInfo nextMethod()
public void remove()
remove in interface Iterator
|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||