public final class EngineUtils
extends java.lang.Object
EngineUtils
implements functions shared among test data generators.Modifier and Type | Field and Description |
---|---|
static ru.ispras.testbase.TestData |
NO_TEST_DATA |
Modifier and Type | Method and Description |
---|---|
static void |
acquireContext(ru.ispras.testbase.TestBaseQueryBuilder builder,
java.lang.String prefix,
Primitive p) |
static void |
checkArgKind(Argument arg,
Argument.Kind expected) |
static void |
checkMode(Primitive mode) |
static void |
checkOp(Primitive op) |
static void |
checkRootOp(Primitive op) |
static java.util.Set<AddressingModeWrapper> |
getOutAddressingModes(java.util.List<AbstractCall> calls) |
static java.lang.String |
getSituationName(AbstractCall abstractCall) |
static ru.ispras.testbase.TestData |
getTestData(EngineContext engineContext,
Primitive primitive,
Situation situation,
TestBaseQueryCreator queryCreator) |
static ConcreteCall |
makeConcreteCall(EngineContext engineContext,
AbstractCall abstractCall) |
static java.util.List<ConcreteCall> |
makeConcreteCalls(EngineContext engineContext,
java.util.List<AbstractCall> abstractSequence) |
static java.lang.String |
makeErrorMessage(ru.ispras.testbase.TestBaseQueryResult queryResult) |
static java.math.BigInteger |
makeImm(Argument argument) |
static java.math.BigInteger |
makeImmLazy(Argument argument) |
static java.math.BigInteger |
makeImmRandom(Argument argument) |
static java.math.BigInteger |
makeImmUnknown(Argument argument) |
static java.util.List<AbstractCall> |
makeInitializer(EngineContext engineContext,
Primitive mode,
ru.ispras.fortress.data.types.bitvector.BitVector value) |
static java.util.List<AbstractCall> |
makeInitializer(EngineContext engineContext,
Primitive primitive,
Situation situation,
java.util.Set<AddressingModeWrapper> initializedModes) |
static java.util.List<AbstractCall> |
makeInitializer(EngineContext engineContext,
Primitive primitive,
Situation situation,
java.util.Set<AddressingModeWrapper> initializedModes,
IsaPrimitive concretePrimitive) |
static java.math.BigInteger |
makeLabel(Argument argument) |
static IsaPrimitive |
makeMode(EngineContext engineContext,
Argument argument) |
static IsaPrimitive |
makeMode(EngineContext engineContext,
Primitive abstractMode) |
static IsaPrimitive |
makeOp(EngineContext engineContext,
Argument argument) |
static IsaPrimitive |
makeOp(EngineContext engineContext,
Primitive abstractOp) |
static ConcreteCall |
makeSpecialConcreteCall(EngineContext engineContext,
java.lang.String instructionName) |
static java.util.List<AbstractCall> |
makeStreamInit(EngineContext engineContext,
java.lang.String streamId) |
static java.util.List<AbstractCall> |
makeStreamRead(EngineContext engineContext,
java.lang.String streamId) |
static java.util.List<AbstractCall> |
makeStreamWrite(EngineContext engineContext,
java.lang.String streamId) |
static TestBase |
newTestBase(GeneratorSettings settings) |
static void |
setUnknownImmValue(Argument argument,
ru.ispras.fortress.expression.Node value,
Immediate argumentToPatch) |
static void |
setUnknownImmValues(java.util.Map<java.lang.String,Argument> unknownImmValues,
ru.ispras.testbase.TestData testData) |
static void |
setUnknownImmValues(java.util.Map<java.lang.String,Argument> unknownImmValues,
ru.ispras.testbase.TestData testData,
java.util.Map<java.lang.String,IsaPrimitive> argumentsToPatch) |
public static TestBase newTestBase(GeneratorSettings settings)
public static java.util.List<AbstractCall> makeInitializer(EngineContext engineContext, Primitive primitive, Situation situation, java.util.Set<AddressingModeWrapper> initializedModes) throws ConfigurationException
ConfigurationException
public static java.util.List<AbstractCall> makeInitializer(EngineContext engineContext, Primitive primitive, Situation situation, java.util.Set<AddressingModeWrapper> initializedModes, IsaPrimitive concretePrimitive) throws ConfigurationException
ConfigurationException
public static ru.ispras.testbase.TestData getTestData(EngineContext engineContext, Primitive primitive, Situation situation, TestBaseQueryCreator queryCreator)
public static void setUnknownImmValue(Argument argument, ru.ispras.fortress.expression.Node value, Immediate argumentToPatch)
public static void setUnknownImmValues(java.util.Map<java.lang.String,Argument> unknownImmValues, ru.ispras.testbase.TestData testData)
public static void setUnknownImmValues(java.util.Map<java.lang.String,Argument> unknownImmValues, ru.ispras.testbase.TestData testData, java.util.Map<java.lang.String,IsaPrimitive> argumentsToPatch)
public static java.lang.String getSituationName(AbstractCall abstractCall)
public static java.util.List<ConcreteCall> makeConcreteCalls(EngineContext engineContext, java.util.List<AbstractCall> abstractSequence) throws ConfigurationException
ConfigurationException
public static ConcreteCall makeConcreteCall(EngineContext engineContext, AbstractCall abstractCall) throws ConfigurationException
ConfigurationException
public static ConcreteCall makeSpecialConcreteCall(EngineContext engineContext, java.lang.String instructionName)
public static java.math.BigInteger makeImm(Argument argument)
public static java.math.BigInteger makeImmRandom(Argument argument)
public static java.math.BigInteger makeImmUnknown(Argument argument)
public static java.math.BigInteger makeImmLazy(Argument argument)
public static java.math.BigInteger makeLabel(Argument argument)
public static IsaPrimitive makeMode(EngineContext engineContext, Argument argument) throws ConfigurationException
ConfigurationException
public static IsaPrimitive makeMode(EngineContext engineContext, Primitive abstractMode) throws ConfigurationException
ConfigurationException
public static IsaPrimitive makeOp(EngineContext engineContext, Argument argument) throws ConfigurationException
ConfigurationException
public static IsaPrimitive makeOp(EngineContext engineContext, Primitive abstractOp) throws ConfigurationException
ConfigurationException
public static java.util.List<AbstractCall> makeInitializer(EngineContext engineContext, Primitive mode, ru.ispras.fortress.data.types.bitvector.BitVector value)
public static java.util.List<AbstractCall> makeStreamInit(EngineContext engineContext, java.lang.String streamId)
public static java.util.List<AbstractCall> makeStreamRead(EngineContext engineContext, java.lang.String streamId)
public static java.util.List<AbstractCall> makeStreamWrite(EngineContext engineContext, java.lang.String streamId)
public static java.lang.String makeErrorMessage(ru.ispras.testbase.TestBaseQueryResult queryResult)
public static void acquireContext(ru.ispras.testbase.TestBaseQueryBuilder builder, java.lang.String prefix, Primitive p)
public static java.util.Set<AddressingModeWrapper> getOutAddressingModes(java.util.List<AbstractCall> calls)
public static void checkOp(Primitive op)
public static void checkMode(Primitive mode)
public static void checkRootOp(Primitive op)
public static void checkArgKind(Argument arg, Argument.Kind expected)