|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CharAbstractFilteringStrategyDecorator | |
org.jmlspecs.jmlunit.strategies | The types in this package are used in providing test data for JML/JUnit testing. |
Uses of CharAbstractFilteringStrategyDecorator in org.jmlspecs.jmlunit.strategies |
Constructors in org.jmlspecs.jmlunit.strategies with parameters of type CharAbstractFilteringStrategyDecorator | |
CharAbstractFilteringStrategyDecorator.NewIter(CharIterator iter)
Initialize this iterator in two steps, to avoid downcalls during initialization that lead to null pointer exceptions. |
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |