public abstract class MipsBranchDataGenerator
extends ru.ispras.microtesk.test.engine.branch.BranchDataGenerator
MipsBranchDataGenerator
is a base class for the MIPS branch instructions' generators.Constructor and Description |
---|
MipsBranchDataGenerator() |
Modifier and Type | Method and Description |
---|---|
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generate(ru.ispras.testbase.TestBaseQuery query,
long rs) |
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generate(ru.ispras.testbase.TestBaseQuery query,
long rs,
long rt) |
protected static ru.ispras.fortress.util.Pair<java.lang.Long,java.lang.Long> |
generateDistinct(java.lang.Long rs,
java.lang.Long rt) |
protected static java.lang.Long |
generateEqual(java.lang.Long rs,
java.lang.Long rt) |
protected static java.lang.Long |
getValue(java.lang.String name,
ru.ispras.testbase.TestBaseQuery query) |
protected static long |
nonNegativeValue() |
protected static long |
nonPositiveValue() |
protected static long |
positiveValue() |
protected static long positiveValue()
protected static long nonPositiveValue()
protected static long nonNegativeValue()
protected static java.lang.Long generateEqual(java.lang.Long rs, java.lang.Long rt)
protected static ru.ispras.fortress.util.Pair<java.lang.Long,java.lang.Long> generateDistinct(java.lang.Long rs, java.lang.Long rt)
protected static java.lang.Long getValue(java.lang.String name, ru.ispras.testbase.TestBaseQuery query)
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generate(ru.ispras.testbase.TestBaseQuery query, long rs)
protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generate(ru.ispras.testbase.TestBaseQuery query, long rs, long rt)