Class | Description |
---|---|
Assignment |
This class creates either assignments or creates calls to setter methods to initiate fields.
|
CustomPrettyPrinter | |
ModelGenerator | |
ProofInfo | |
RefEx |
Reference expression
|
ReflectionClassCreator |
Creates the RFL.java file, that provides setter and getter methods using the reflection API
as well as object creation functions based on the objenesis library.
|
TestCaseGenerator |