![]() |
Synthia
Generic and flexible data structure generator
|
Packages | |
| package | collection |
| Pickers generating and manipulating collections, such as lists and sets. | |
| package | enumerative |
| Pickers that systematically enumerate all values from a set of other pickers. | |
| package | explanation |
| Objects related to the explanation of results produced by pickers. | |
| package | grammar |
| Pickers generating sequences based on a context-free grammar. | |
| package | map |
| package | random |
| Pickers that produce pseudo-random objects such as numbers. | |
| package | relative |
| Pickers that produce a value in relation to another value. | |
| package | sequence |
| Pickers related to the generation of a sequence of values. | |
| package | signal |
| Pickers producing values representing a form of (periodic) signal. | |
| package | string |
| Pickers producing and manipulating character strings. | |
| package | test |
| Classes that enable Synthia to operate as a fuzz testing tool. | |
| package | tree |
| Pickers for the generation of trees made of nodes with labels. | |
| package | util |
| Miscellaneous pickers performing various functions. | |
| package | vector |
| Pickers generating multi-dimensional numerical vectors. | |
| package | widget |
Classes | |
| interface | Bounded |
| Interface used to signal that a picker enumerates all values from a set. More... | |
| class | CannotShrinkException |
| An exception to throw when a picker can't pick an other element. More... | |
| class | GiveUpException |
| An exception to throw to prevent the pick method of a PickIf picker from falling into an infinite loop. More... | |
| interface | IndexPicker |
| Picker for an integer from 0 to a fixed bound. More... | |
| class | Main |
| Dummy main file. More... | |
| class | NoMoreElementException |
| An exception to throw when a picker can't pick an other element. More... | |
| interface | Picker |
| Picks an object. More... | |
| class | PickerException |
| Generic runtime exception thrown by the Picker interface. More... | |
| interface | Reactive |
| Interface implemented by pickers whose picking of objects can be altered by external information. More... | |
| interface | Resettable |
| Signals that an object can be put back into its initial state. More... | |
| interface | Seedable |
| Interface implemented by objects that can be seeded. More... | |
| interface | SequenceShrinkable |
| Signals that a picker can shrink the sequence of values it has produced since its last reset. More... | |
| interface | Shrinkable |
| Interface signaling that a picker can be shrunk. More... | |