|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1 | |
org.jmlspecs.jmlunit.strategies | The types in this package are used in providing test data for JML/JUnit testing. |
Uses of NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1 in org.jmlspecs.jmlunit.strategies |
Constructors in org.jmlspecs.jmlunit.strategies with parameters of type NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1 | |
NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1.NewIter()
Initialize the superclass. |
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |