public final class MipsNeqDataGenerator extends MipsBranchDataGenerator
MipsNeqDataGenerator
is a test data generator for BNE-family instructions.Constructor and Description |
---|
MipsNeqDataGenerator() |
Modifier and Type | Method and Description |
---|---|
ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generateElse(ru.ispras.testbase.TestBaseQuery query) |
ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generateThen(ru.ispras.testbase.TestBaseQuery query) |
generate, generate, generateDistinct, generateEqual, getValue, nonNegativeValue, nonPositiveValue, positiveValue
public ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateThen(ru.ispras.testbase.TestBaseQuery query)
generateThen
in class ru.ispras.microtesk.test.engine.branch.BranchDataGenerator
public ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateElse(ru.ispras.testbase.TestBaseQuery query)
generateElse
in class ru.ispras.microtesk.test.engine.branch.BranchDataGenerator