| ►Cca.uqac.lif.synthia.test.Action | Interface signaling that an object can perform an "action" |
| Cca.uqac.lif.synthia.test.CompositeAction | A Action that is made of a sequence of elementary actions |
| Cexamples.gui.WidgetAction< T > | A Action that performs a concrete action on a widget |
| Cca.uqac.lif.synthia.random.AffineTransform< Float > | |
| Cca.uqac.lif.synthia.random.AffineTransform< Integer > | |
| Cexamples.oscilloscope.AMRadio | Illustrates the principle of amplitude modulation using sine wave and prism pickers |
| Cca.uqac.lif.synthia.map.AreaMap | |
| Cca.uqac.lif.synthia.test.Assert< T > | |
| Cexamples.sequences.BehaviorTreeExample | Generates a random sequence of strings whose content is defined by a behavior tree |
| Cexamples.basic.BiasedCoin | Uses RandomBoolean to simulate a series of biased coin tosses |
| Cca.uqac.lif.synthia.Bounded< Boolean > | |
| Cca.uqac.lif.synthia.Bounded< Integer > | |
| Cca.uqac.lif.synthia.Bounded< Object[]> | |
| Cca.uqac.lif.synthia.Bounded<?> | |
| Cexamples.gui.CalculatorMonkey | Performs monkey testing over a simple calculator, using Synthia's Monkey |
| ►CComparable | |
| Cca.uqac.lif.synthia.collection.ComparableList< T > | Class that extends Java's ArrayList class to implements the Comparable interface |
| Cca.uqac.lif.synthia.collection.ComparableSet< T > | |
| ►Cca.uqac.lif.synthia.collection.CompositePicker< List< Object > > | |
| Cca.uqac.lif.synthia.collection.ListPicker | Picker that merges the result of other pickers into a list |
| Cca.uqac.lif.synthia.collection.CompositePicker< Object[]> | |
| ►Cca.uqac.lif.synthia.collection.CompositePicker< Set< Object > > | |
| Cca.uqac.lif.synthia.collection.SetPicker | Picker that merges the result of other pickers into a set |
| Cca.uqac.lif.synthia.collection.CompositePicker< String > | |
| Cca.uqac.lif.synthia.explanation.Explanation | Constructs an explanation graph for the output produced by a picker |
| Cexamples.provenance.ExplanationList1 | Demonstration of Synthia's explainability features on a wiring of pickers producing a list of points |
| Cexamples.provenance.ExplanationList2 | A variation of ExplanationList1 where a different explanation is requested, showing that fine-grained parts of the output can be tracked |
| Cexamples.oscilloscope.FMRadio | Illustrates the principle of frequency modulation using sine wave and prism pickers |
| Cexamples.apache.GenerateLog | Main program that generates the simulated log file interleaving multiple visitor instances |
| Cexamples.grammar.GrammarDemo | Generates character strings corresponding to sentences formed according to a BNF grammar |
| ►Cca.uqac.lif.synthia.tree.GraphCrawler< T > | |
| Cca.uqac.lif.synthia.tree.GraphRenderer< T > | Renders a tree of labeled nodes as a Graphviz input file |
| Cca.uqac.lif.synthia.tree.MarkovReader< T, U > | Converts a graph into an equivalent Markov chain |
| ►Cca.uqac.lif.synthia.tree.GraphRenderer< String > | |
| Cca.uqac.lif.synthia.tree.ColoredTreeRenderer | |
| Cexamples.oscilloscope.Lissajous | Uses the SineWave picker with the PrismPicker to generate Lissajous figures on an oscilloscope screen |
| Cexamples.apache.LogLine | Representation of a line of Apache's access log |
| Cca.uqac.lif.synthia.grammar.Main | Dummy main file |
| Cca.uqac.lif.synthia.Main | Dummy main file |
| Cca.uqac.lif.synthia.sequence.MarkovChain< String > | |
| Cexamples.sequences.MarkovSimple | Generates a sequence of values according to a Markov chain |
| Cexamples.apache.LogLine.Request.Method | |
| Cca.uqac.lif.synthia.test.Monkey | Performs monkey testing by interacting with a component |
| Cexamples.mutation.MutatedLists | Illustration of mutation operations on lists and list elements |
| Cca.uqac.lif.synthia.util.Mutator< List< T > > | |
| ►Cca.uqac.lif.synthia.util.Mutator< Number > | |
| Cca.uqac.lif.synthia.util.Offset | Takes the numerical value of a picker, and offsets it by an amount determined by another picker |
| Cca.uqac.lif.synthia.tree.Node< T > | Simple implementation of a labeled nodel |
| ►Cca.uqac.lif.synthia.tree.NodePicker< Integer > | |
| Cca.uqac.lif.synthia.tree.IntegerNodePicker | |
| ►Cca.uqac.lif.synthia.tree.NodePicker< String > | |
| Cca.uqac.lif.synthia.tree.StringNodePicker | |
| Cca.uqac.lif.synthia.Picker< AreaMap > | |
| Cca.uqac.lif.synthia.Picker< Boolean > | |
| Cca.uqac.lif.synthia.Picker< ca.uqac.lif.synthia.test.Action > | |
| Cca.uqac.lif.synthia.Picker< ca.uqac.lif.synthia.tree.Node< T > > | |
| Cca.uqac.lif.synthia.Picker< ca.uqac.lif.synthia.util.Mutator< T > > | |
| Cca.uqac.lif.synthia.Picker< ca.uqac.lif.synthia.util.Mutator<? extends T > > | |
| Cca.uqac.lif.synthia.Picker< Float > | |
| Cca.uqac.lif.synthia.Picker< float[]> | |
| ►Cca.uqac.lif.synthia.Picker< Integer > | |
| Cca.uqac.lif.synthia.IndexPicker | Picker for an integer from 0 to a fixed bound |
| Cca.uqac.lif.synthia.Picker< List< T > > | |
| Cca.uqac.lif.synthia.Picker< LogLine > | |
| Cca.uqac.lif.synthia.Picker< Long > | |
| Cca.uqac.lif.synthia.Picker< Node< String > > | |
| Cca.uqac.lif.synthia.Picker< Node< T > > | |
| Cca.uqac.lif.synthia.Picker< Number > | |
| Cca.uqac.lif.synthia.Picker< Object > | |
| Cca.uqac.lif.synthia.Picker< Picker< LogLine > > | |
| Cca.uqac.lif.synthia.Picker< String > | |
| Cca.uqac.lif.synthia.Picker<? extends ca.uqac.lif.synthia.Picker< T > > | |
| Cca.uqac.lif.synthia.Picker<? extends Number > | |
| Cca.uqac.lif.synthia.Picker<? extends T > | |
| Cca.uqac.lif.synthia.Picker<?> | |
| Cexamples.graphs.PickTrees1 | |
| Cca.uqac.lif.synthia.map.Point | |
| Cexamples.quickcheck.Prime | Simple illustration of the shrinking process on randomly generated integers |
| Cca.uqac.lif.synthia.random.Random | An instance of this class is used to generate a stream of pseudorandom numbers |
| ►Cca.uqac.lif.synthia.random.RandomPicker< Boolean > | |
| Cca.uqac.lif.synthia.random.RandomBoolean | Picks a Boolean value |
| ►Cca.uqac.lif.synthia.random.RandomPicker< Float > | |
| Cca.uqac.lif.synthia.random.GaussianFloat | Produces a float picked from a Gaussian probability distribution |
| ►Cca.uqac.lif.synthia.random.RandomFloat | Picks a floating point number uniformly in an interval |
| Cca.uqac.lif.synthia.random.BiasedRandomFloat | Generates pseudo-random floating-point numbers in the interval [0,1], but according to a probability distribution that is not uniform |
| ►Cca.uqac.lif.synthia.random.RandomPicker< Integer > | |
| Cca.uqac.lif.synthia.random.PoissonInteger | Generates integer numbers following a Poisson distribution |
| Cca.uqac.lif.synthia.random.RandomInteger | Picks an integer uniformly in an interval |
| Cca.uqac.lif.synthia.Reactive< Float, Boolean > | |
| Cca.uqac.lif.synthia.Reactive< Integer, Integer > | |
| Cca.uqac.lif.synthia.Reactive< Number, Integer > | |
| Cca.uqac.lif.synthia.Reactive< Set< Object >, ActionEvent > | |
| ►Cca.uqac.lif.synthia.Resettable | Signals that an object can be put back into its initial state |
| ►Cca.uqac.lif.synthia.Picker< T > | Picks an object |
| ►Cca.uqac.lif.synthia.Bounded< T > | Interface used to signal that a picker enumerates all values from a set |
| Cca.uqac.lif.synthia.enumerative.AllBooleans | Picker who implements EnumerativePicker |
| Cca.uqac.lif.synthia.enumerative.AllElements< T > | |
| Cca.uqac.lif.synthia.enumerative.AllIntegers | Picker who implements EnumerativePicker |
| Cca.uqac.lif.synthia.enumerative.AllPickers | Picker who implements Bounded |
| Cca.uqac.lif.synthia.enumerative.Bound< T > | Return the value picked by a picker a defined number of times |
| ►Cca.uqac.lif.synthia.sequence.Playback< T > | Picker that returns values taken from a list |
| Cca.uqac.lif.synthia.enumerative.AllElements< T > | |
| ►Cca.uqac.lif.synthia.SequenceShrinkable< T > | Signals that a picker can shrink the sequence of values it has produced since its last reset |
| Cca.uqac.lif.synthia.sequence.Playback< T > | Picker that returns values taken from a list |
| Cca.uqac.lif.synthia.sequence.Record< T > | Picker that records and returns the values produced by another picker |
| Cca.uqac.lif.synthia.collection.ComposeList< T > | |
| Cca.uqac.lif.synthia.collection.ComposeShrunkList< T > | Given a reference list, picks lists that are smaller |
| ►Cca.uqac.lif.synthia.collection.CompositePicker< T > | Picker that merges the result of other pickers into a composite data structure |
| Cca.uqac.lif.synthia.string.StringPattern | Generates a string according to a predefined pattern |
| Cca.uqac.lif.synthia.util.ArrayPicker | Picker that merges the result of other pickers into an array |
| Cca.uqac.lif.synthia.enumerative.Unbound< T > | |
| Cca.uqac.lif.synthia.grammar.GrammarSentence | Picker that generates sentences from a format grammar |
| Cca.uqac.lif.synthia.map.AreaMapPicker | |
| Cca.uqac.lif.synthia.random.RandomPicker< T > | Picks an object based on the value of a random number generator |
| ►Cca.uqac.lif.synthia.Reactive< U, T > | Interface implemented by pickers whose picking of objects can be altered by external information |
| Cca.uqac.lif.synthia.random.PoissonInteger | Generates integer numbers following a Poisson distribution |
| Cca.uqac.lif.synthia.random.RandomBoolean | Picks a Boolean value |
| Cca.uqac.lif.synthia.random.RandomInteger | Picks an integer uniformly in an interval |
| Cca.uqac.lif.synthia.widget.ChooseAction | |
| Cca.uqac.lif.synthia.sequence.BehaviorTree< T > | Generates a sequence of objects by following a behavior tree |
| Cca.uqac.lif.synthia.sequence.Knit< T > | Picker producing an "interleaved" sequence of objects from calls to multiple other pickers |
| Cca.uqac.lif.synthia.sequence.MarkovChain< T > | Generates a sequence of objects by a random walk in a Markov chain |
| Cca.uqac.lif.synthia.sequence.Record< T > | Picker that records and returns the values produced by another picker |
| ►Cca.uqac.lif.synthia.Shrinkable< T > | Interface signaling that a picker can be shrunk |
| Cca.uqac.lif.synthia.collection.ComposeList< T > | |
| Cca.uqac.lif.synthia.collection.ComposeShrunkList< T > | Given a reference list, picks lists that are smaller |
| Cca.uqac.lif.synthia.enumerative.Bound< T > | Return the value picked by a picker a defined number of times |
| Cca.uqac.lif.synthia.random.AffineTransform< T extends Number > | Applies an affine transform to a value produced by another picker |
| Cca.uqac.lif.synthia.random.RandomBoolean | Picks a Boolean value |
| Cca.uqac.lif.synthia.random.RandomFloat | Picks a floating point number uniformly in an interval |
| Cca.uqac.lif.synthia.random.RandomInteger | Picks an integer uniformly in an interval |
| Cca.uqac.lif.synthia.random.RandomSubList< T > | An equivalent of RandomSubString but for lists |
| Cca.uqac.lif.synthia.relative.PickSmallerComparable< T > | A variant of PickIf that selects an element if it is smaller than a reference object |
| Cca.uqac.lif.synthia.sequence.Playback< T > | Picker that returns values taken from a list |
| ►Cca.uqac.lif.synthia.string.RandomPrefix | Like RandomSubString, but this time, the Picker returns a prefix of the original strings of randomly selected length |
| Cca.uqac.lif.synthia.string.RandomSuffix | Just like RandomPrefix but for suffixes |
| Cca.uqac.lif.synthia.string.RandomTrim | A combination of RandomPrefix and RandomSuffix |
| Cca.uqac.lif.synthia.string.RandomString | Generates a random character string |
| Cca.uqac.lif.synthia.string.RandomSubString | RandomPicker that produces random substrings from an original one |
| Cca.uqac.lif.synthia.string.StringPattern | Generates a string according to a predefined pattern |
| Cca.uqac.lif.synthia.util.ArrayPicker | Picker that merges the result of other pickers into an array |
| Cca.uqac.lif.synthia.util.Choice< T > | Picks an element from a collection, where the probability of picking each element can be user-defined |
| Cca.uqac.lif.synthia.util.Constant< T > | Picker that returns the same object every time |
| Cca.uqac.lif.synthia.util.Freeze< T > | Picker that returns the first object fetched from another picker and repeats it endlessly |
| Cca.uqac.lif.synthia.util.NothingPicker< T > | A RelativePicker that only throws a NoMoreElementException when the pick() method is called |
| ►Cca.uqac.lif.synthia.signal.PeriodicSignal | A signal picker that is characterized by an amplitude and a phase |
| Cca.uqac.lif.synthia.signal.SineWave | A periodic signal picker producing a sine wave |
| Cca.uqac.lif.synthia.string.AsString | Utility picker that converts an input into a string |
| Cca.uqac.lif.synthia.tree.ColoredNodePicker | |
| ►Cca.uqac.lif.synthia.tree.GraphPicker< T > | |
| Cexamples.graphs.BarabasiAlbert< T > | Generates a graph following the Barabási–Albert model |
| Cca.uqac.lif.synthia.tree.NodePicker< T > | |
| Cca.uqac.lif.synthia.tree.TreePicker< T > | Generates a tree of labeled nodes |
| Cca.uqac.lif.synthia.util.AsInt | Utility picker that converts an input into an integer |
| Cca.uqac.lif.synthia.util.AsLong | Utility picker that converts an input into a long integer |
| Cca.uqac.lif.synthia.util.Delay | Picker that does not produce any value, but causes the thread to wait for a moment on every call to pick() |
| Cca.uqac.lif.synthia.util.DiscardRatio | A utility picker to calculate the discard ratio of a PickIf picker |
| ►Cca.uqac.lif.synthia.util.Mutator< T > | A picker that applies a transformation ("mutation") on the value produced by another picker |
| Cca.uqac.lif.synthia.collection.DeleteElement< T > | Mutator that receives a list and selects an element to delete from it |
| Cca.uqac.lif.synthia.collection.MutateElement< T > | Picker that selects an element of a list and applies the result of a mutator on this element |
| Cca.uqac.lif.synthia.collection.Swap< T > | Mutator that receives a list and selects two elements to be swapped |
| Cca.uqac.lif.synthia.enumerative.Bound< T > | Return the value picked by a picker a defined number of times |
| Cca.uqac.lif.synthia.random.AffineTransform< T extends Number > | Applies an affine transform to a value produced by another picker |
| ►Cca.uqac.lif.synthia.relative.PickIf< T > | Returns object from a picker satisfying a condition |
| Cca.uqac.lif.synthia.relative.PickSmallerComparable< T > | A variant of PickIf that selects an element if it is smaller than a reference object |
| Cca.uqac.lif.synthia.relative.PickSmallerComparator< T > | A variant of PickIf that selects an element if it is smaller than a reference object |
| Cca.uqac.lif.synthia.util.Mutate< T > | Transforms an object from a picker by selecting a mutator and applying it to an object |
| Cca.uqac.lif.synthia.util.Replace< T > | |
| Cca.uqac.lif.synthia.util.Once< T > | Picker that returns the first value fetched from another picker, and then null afterwards |
| Cca.uqac.lif.synthia.util.Share< T >.QueuePicker | A picker that acts as a proxy for the values obtained by the parent Share picker |
| Cca.uqac.lif.synthia.util.Tick | Generates a sequence of monotonically increasing numerical values |
| ►Cca.uqac.lif.synthia.vector.VectorPicker | Interface for pickers that generate arrays of floating-point numbers |
| Cca.uqac.lif.synthia.vector.HyperspherePicker | Generates n-dimensional vectors with a given modulus |
| Cca.uqac.lif.synthia.vector.PrismPicker | Generates a vector by independently picking a value for each of its coordinates |
| Cexamples.apache.VisitorPicker | A picker producing instances of visitors |
| Cexamples.gui.Calculator | A simple calculator |
| Cexamples.gui.Calculator.CalculatorPanel | The actual panel containing the interface of the calculator |
| ►CRuntimeException | |
| ►Cca.uqac.lif.synthia.PickerException | Generic runtime exception thrown by the Picker interface |
| Cca.uqac.lif.synthia.CannotShrinkException | An exception to throw when a picker can't pick an other element |
| Cca.uqac.lif.synthia.GiveUpException | An exception to throw to prevent the pick method of a PickIf picker from falling into an infinite loop |
| Cca.uqac.lif.synthia.NoMoreElementException | An exception to throw when a picker can't pick an other element |
| ►Cca.uqac.lif.synthia.Seedable | Interface implemented by objects that can be seeded |
| Cca.uqac.lif.synthia.enumerative.AllElements< T > | |
| Cca.uqac.lif.synthia.enumerative.AllIntegers | Picker who implements EnumerativePicker |
| Cca.uqac.lif.synthia.random.RandomPicker< T > | Picks an object based on the value of a random number generator |
| Cca.uqac.lif.synthia.string.RandomPrefix | Like RandomSubString, but this time, the Picker returns a prefix of the original strings of randomly selected length |
| Cca.uqac.lif.synthia.string.RandomString | Generates a random character string |
| Cca.uqac.lif.synthia.string.RandomSubString | RandomPicker that produces random substrings from an original one |
| Cca.uqac.lif.synthia.util.Share< T > | Allows values of a single picker to be shared among multiple copies of a picker instance |
| Cca.uqac.lif.synthia.Shrinkable< Boolean > | |
| Cca.uqac.lif.synthia.Shrinkable< Float > | |
| Cca.uqac.lif.synthia.Shrinkable< Integer > | |
| Cca.uqac.lif.synthia.Shrinkable< List< T > > | |
| Cca.uqac.lif.synthia.Shrinkable< Object[]> | |
| Cca.uqac.lif.synthia.Shrinkable< String > | |
| Cexamples.quickcheck.Sort | Illustrates the shrinking process when testing a procedure that sorts lists of numbers |
| Cexamples.apache.LogLine.StatusCode | The possible status codes associated to each request |
| Cexamples.util.Utilities | Object providing a few utility methods to simplify the examples in this project |
| Cexamples.hypersphere.Variation1 | Generates two-dimensional points lying along two concentric circles |
| Cexamples.hypersphere.Variation2 | Generates two-dimensional points lying at right angles along a randomly selected circle |
| Cexamples.hypersphere.Variation3 | Generates two-dimensional points producing a spiral pattern |
| Cexamples.hypersphere.Variation4 | Generates two-dimensional points lying along an oblique line |
| Cexamples.gui.WidgetAction< AbstractButton > | |
| Cexamples.gui.WidgetAction< JTextComponent > | |
| ►CActionListener | |
| Cexamples.gui.Calculator.CalculatorPanel | The actual panel containing the interface of the calculator |
| ►CArrayList | |
| Cca.uqac.lif.synthia.collection.ComparableList< T > | Class that extends Java's ArrayList class to implements the Comparable interface |
| Cca.uqac.lif.synthia.test.CompositeAction | A Action that is made of a sequence of elementary actions |
| ►CExplanationQueryable | |
| Cca.uqac.lif.synthia.collection.ComposeList< T > | |
| Cca.uqac.lif.synthia.random.RandomPicker< T > | Picks an object based on the value of a random number generator |
| Cca.uqac.lif.synthia.relative.PickIf< T > | Returns object from a picker satisfying a condition |
| Cca.uqac.lif.synthia.sequence.Playback< T > | Picker that returns values taken from a list |
| Cca.uqac.lif.synthia.sequence.Record< T > | Picker that records and returns the values produced by another picker |
| Cca.uqac.lif.synthia.util.Freeze< T > | Picker that returns the first object fetched from another picker and repeats it endlessly |
| Cca.uqac.lif.synthia.util.NothingPicker< T > | A RelativePicker that only throws a NoMoreElementException when the pick() method is called |
| Cca.uqac.lif.synthia.util.Tick | Generates a sequence of monotonically increasing numerical values |
| Cca.uqac.lif.synthia.vector.PrismPicker | Generates a vector by independently picking a value for each of its coordinates |
| ►CJFrame | |
| Cexamples.gui.Calculator | A simple calculator |
| Cexamples.oscilloscope.Oscilloscope | A simple JFrame that simulates the operation of an oscilloscope |
| ►CJPanel | |
| Cexamples.gui.Calculator.CalculatorPanel | The actual panel containing the interface of the calculator |
| ►CPart | |
| Cca.uqac.lif.synthia.explanation.NthSuccessiveOutput | A Part pointing to the n-th output produced by a picker since its last call to reset() |
1.8.17