public class T3SeqG extends AbstractSeqGenerator
maxNumberOfStepRetry, pool, scope, valueGenerator
Constructor and Description |
---|
T3SeqG(Pool pool,
TestingScope scope,
int maxNumberOfStepRetry,
Generator<PARAM,STEP> valueGenerator) |
Modifier and Type | Method and Description |
---|---|
Generator<SEQ_RT_info,SEQ_RT_info> |
grey_adt(int maxSuffixLength,
java.lang.reflect.Constructor co)
For testing a given constructor.
|
Generator<SEQ_RT_info,SEQ_RT_info> |
grey_adt(int maxPrefixLength,
int maxSuffixLength,
double fieldUpdateProbability,
java.lang.reflect.Method m1) |
Generator<SEQ_RT_info,SEQ_RT_info> |
grey_adt(int maxPrefixLength,
int maxSuffixLength,
double fieldUpdateProbability,
java.lang.reflect.Method m1,
java.lang.reflect.Method m2) |
Generator<SEQ_RT_info,SEQ_RT_info> |
grey_adt(int maxSuffixLength,
java.lang.reflect.Method cm)
For testing a given creator method.
|
Generator<SEQ_RT_info,SEQ_RT_info> |
grey_nonadt(int maxPrefixLength,
int maxSuffixLength,
double fieldUpdateProbability,
java.lang.reflect.Method m1) |
Generator<SEQ_RT_info,SEQ_RT_info> |
grey_nonadt(int maxPrefixLength,
int maxSuffixLength,
double fieldUpdateProbability,
java.lang.reflect.Method m1,
java.lang.reflect.Method m2) |
static void |
main(java.lang.String[] args) |
Generator<SEQ_RT_info,SEQ_RT_info> |
no_asmviol_adt(int maxSuffixLength,
java.lang.reflect.Constructor co) |
Generator<SEQ_RT_info,SEQ_RT_info> |
no_asmviol_adt(int maxPrefixLength,
int maxSuffixLength,
double fieldUpdateProbability,
java.lang.reflect.Method m1) |
Generator<SEQ_RT_info,SEQ_RT_info> |
no_asmviol_adt(int maxPrefixLength,
int maxSuffixLength,
double fieldUpdateProbability,
java.lang.reflect.Method m1,
java.lang.reflect.Method m2) |
Generator<SEQ_RT_info,SEQ_RT_info> |
no_asmviol_adt(int maxSuffixLength,
java.lang.reflect.Method cm) |
Generator<SEQ_RT_info,SEQ_RT_info> |
no_asmviol_nonadt(int maxPrefixLength,
int maxSuffixLength,
double fieldUpdateProbability,
java.lang.reflect.Method m1) |
Generator<SEQ_RT_info,SEQ_RT_info> |
no_asmviol_nonadt(int maxPrefixLength,
int maxSuffixLength,
double fieldUpdateProbability,
java.lang.reflect.Method m1,
java.lang.reflect.Method m2) |
instrument
public T3SeqG(Pool pool, TestingScope scope, int maxNumberOfStepRetry, Generator<PARAM,STEP> valueGenerator)
public Generator<SEQ_RT_info,SEQ_RT_info> grey_nonadt(int maxPrefixLength, int maxSuffixLength, double fieldUpdateProbability, java.lang.reflect.Method m1, java.lang.reflect.Method m2)
public Generator<SEQ_RT_info,SEQ_RT_info> grey_nonadt(int maxPrefixLength, int maxSuffixLength, double fieldUpdateProbability, java.lang.reflect.Method m1)
public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_nonadt(int maxPrefixLength, int maxSuffixLength, double fieldUpdateProbability, java.lang.reflect.Method m1, java.lang.reflect.Method m2)
public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_nonadt(int maxPrefixLength, int maxSuffixLength, double fieldUpdateProbability, java.lang.reflect.Method m1)
public Generator<SEQ_RT_info,SEQ_RT_info> grey_adt(int maxPrefixLength, int maxSuffixLength, double fieldUpdateProbability, java.lang.reflect.Method m1, java.lang.reflect.Method m2)
public Generator<SEQ_RT_info,SEQ_RT_info> grey_adt(int maxPrefixLength, int maxSuffixLength, double fieldUpdateProbability, java.lang.reflect.Method m1)
public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_adt(int maxPrefixLength, int maxSuffixLength, double fieldUpdateProbability, java.lang.reflect.Method m1, java.lang.reflect.Method m2)
public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_adt(int maxPrefixLength, int maxSuffixLength, double fieldUpdateProbability, java.lang.reflect.Method m1)
public Generator<SEQ_RT_info,SEQ_RT_info> grey_adt(int maxSuffixLength, java.lang.reflect.Constructor co)
public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_adt(int maxSuffixLength, java.lang.reflect.Constructor co)
public Generator<SEQ_RT_info,SEQ_RT_info> grey_adt(int maxSuffixLength, java.lang.reflect.Method cm)
public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_adt(int maxSuffixLength, java.lang.reflect.Method cm)
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception