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 |
---|---|
protected static java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> |
extractUnknown(ru.ispras.testbase.TestBaseQuery query) |
ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generate(ru.ispras.testbase.TestBaseQuery query) |
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generate(ru.ispras.testbase.TestBaseQuery query,
java.util.Map<java.lang.String,java.lang.Long> values) |
abstract ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generateElse(ru.ispras.testbase.TestBaseQuery query)
Generates test data that violates the branch condition.
|
abstract ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
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.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateThen(ru.ispras.testbase.TestBaseQuery query)
query
- the test data generation query.public abstract ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateElse(ru.ispras.testbase.TestBaseQuery query)
query
- the test data generation query.public final ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generate(ru.ispras.testbase.TestBaseQuery query)
generate
in interface ru.ispras.testbase.generator.DataGenerator
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generate(ru.ispras.testbase.TestBaseQuery query, java.util.Map<java.lang.String,java.lang.Long> values)
protected static java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> extractUnknown(ru.ispras.testbase.TestBaseQuery query)