![]() |
Synthia
Generic and flexible data structure generator
|
| <T> |
Definition at line 36 of file Assert.java.
Public Member Functions | |
| Assert (Shrinkable< T > input, Picker< Float > decision) | |
| Assert (Shrinkable< T > input) | |
| List< T > | getIterations () |
| T | getInitial () |
| T | getShrunk () |
| boolean | check () |
Protected Member Functions | |
| boolean | evaluate (T o) |
Protected Attributes | |
| Shrinkable< T > | m_input |
| List< T > | m_shrunk |
| Picker< Float > | m_decision |
Static Protected Attributes | |
| static final int | MAX_STARTS = 100 |
| static final int | MAX_CYCLES = 100 |
| static final int | MAX_TRIES = 10 |
| ca.uqac.lif.synthia.test.Assert< T >.Assert | ( | Shrinkable< T > | input, |
| Picker< Float > | decision | ||
| ) |
Definition at line 50 of file Assert.java.
| ca.uqac.lif.synthia.test.Assert< T >.Assert | ( | Shrinkable< T > | input | ) |
Definition at line 58 of file Assert.java.
| boolean ca.uqac.lif.synthia.test.Assert< T >.check | ( | ) |
Definition at line 87 of file Assert.java.
|
protected |
Definition at line 167 of file Assert.java.
| T ca.uqac.lif.synthia.test.Assert< T >.getInitial | ( | ) |
Definition at line 68 of file Assert.java.
| List<T> ca.uqac.lif.synthia.test.Assert< T >.getIterations | ( | ) |
Definition at line 63 of file Assert.java.
| T ca.uqac.lif.synthia.test.Assert< T >.getShrunk | ( | ) |
Definition at line 77 of file Assert.java.
|
protected |
Definition at line 48 of file Assert.java.
|
protected |
Definition at line 44 of file Assert.java.
|
protected |
Definition at line 46 of file Assert.java.
|
staticprotected |
Definition at line 40 of file Assert.java.
|
staticprotected |
Definition at line 38 of file Assert.java.
|
staticprotected |
Definition at line 42 of file Assert.java.