Synthia
Generic and flexible data structure generator
ca.uqac.lif.synthia.test.Assert< T > Class Template Reference

Detailed Description

Author
sylvain
Parameters
<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 ()
 
getInitial ()
 
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
 

Constructor & Destructor Documentation

◆ Assert() [1/2]

ca.uqac.lif.synthia.test.Assert< T >.Assert ( Shrinkable< T >  input,
Picker< Float >  decision 
)

Definition at line 50 of file Assert.java.

◆ Assert() [2/2]

Definition at line 58 of file Assert.java.

Member Function Documentation

◆ check()

boolean ca.uqac.lif.synthia.test.Assert< T >.check ( )

Definition at line 87 of file Assert.java.

◆ evaluate()

boolean ca.uqac.lif.synthia.test.Assert< T >.evaluate ( o)
protected

Definition at line 167 of file Assert.java.

◆ getInitial()

T ca.uqac.lif.synthia.test.Assert< T >.getInitial ( )

Definition at line 68 of file Assert.java.

◆ getIterations()

List<T> ca.uqac.lif.synthia.test.Assert< T >.getIterations ( )

Definition at line 63 of file Assert.java.

◆ getShrunk()

T ca.uqac.lif.synthia.test.Assert< T >.getShrunk ( )

Definition at line 77 of file Assert.java.

Member Data Documentation

◆ m_decision

Picker<Float> ca.uqac.lif.synthia.test.Assert< T >.m_decision
protected

Definition at line 48 of file Assert.java.

◆ m_input

Shrinkable<T> ca.uqac.lif.synthia.test.Assert< T >.m_input
protected

Definition at line 44 of file Assert.java.

◆ m_shrunk

List<T> ca.uqac.lif.synthia.test.Assert< T >.m_shrunk
protected

Definition at line 46 of file Assert.java.

◆ MAX_CYCLES

final int ca.uqac.lif.synthia.test.Assert< T >.MAX_CYCLES = 100
staticprotected

Definition at line 40 of file Assert.java.

◆ MAX_STARTS

final int ca.uqac.lif.synthia.test.Assert< T >.MAX_STARTS = 100
staticprotected

Definition at line 38 of file Assert.java.

◆ MAX_TRIES

final int ca.uqac.lif.synthia.test.Assert< T >.MAX_TRIES = 10
staticprotected

Definition at line 42 of file Assert.java.


The documentation for this class was generated from the following file: