public abstract class BranchDataGenerator
extends java.lang.Object
implements ru.ispras.testbase.generator.DataGenerator
BranchDataGenerator
is a base class for test data generators for conditional branch
instructions.Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PARAM_CONDITION |
static java.lang.String |
PARAM_CONDITION_ELSE |
static java.lang.String |
PARAM_CONDITION_THEN |
static java.lang.String |
PARAM_STREAM |
Constructor and Description |
---|
BranchDataGenerator() |
Modifier and Type | Method and Description |
---|---|
ru.ispras.testbase.TestDataProvider |
generate(ru.ispras.testbase.TestBaseQuery query) |
abstract ru.ispras.testbase.TestDataProvider |
generateElse(ru.ispras.testbase.TestBaseQuery query)
Generates test data that violates the branch condition.
|
abstract ru.ispras.testbase.TestDataProvider |
generateThen(ru.ispras.testbase.TestBaseQuery query)
Generates test data that satisfy the branch condition.
|
boolean |
isSuitable(ru.ispras.testbase.TestBaseQuery query) |
public static final java.lang.String PARAM_CONDITION
public static final java.lang.String PARAM_CONDITION_THEN
public static final java.lang.String PARAM_CONDITION_ELSE
public static final java.lang.String PARAM_STREAM
public final boolean isSuitable(ru.ispras.testbase.TestBaseQuery query)
isSuitable
in interface ru.ispras.testbase.generator.DataGenerator
public abstract ru.ispras.testbase.TestDataProvider generateThen(ru.ispras.testbase.TestBaseQuery query)
query
- the test data generation query.public abstract ru.ispras.testbase.TestDataProvider generateElse(ru.ispras.testbase.TestBaseQuery query)
query
- the test data generation query.public final ru.ispras.testbase.TestDataProvider generate(ru.ispras.testbase.TestBaseQuery query)
generate
in interface ru.ispras.testbase.generator.DataGenerator