Synthia
Generic and flexible data structure generator
Package ca.uqac.lif.synthia

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...