public final class EngineUtils
extends java.lang.Object
EngineUtils
implements functions shared among test data generators.Modifier and Type | Method and Description |
---|---|
static void |
checkRootOp(Primitive primitive) |
static AbstractSequence |
cloneAbstractSequence(AbstractSequence abstractSequence) |
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 boolean |
isStreamBased(AbstractCall abstractCall) |
static boolean |
isStreamBased(Primitive primitive) |
static ConcreteCall |
makeConcreteCall(EngineContext engineContext,
AbstractCall abstractCall) |
static java.util.List<ConcreteCall> |
makeConcreteCalls(EngineContext engineContext,
java.util.List<AbstractCall> abstractSequence) |
static IsaPrimitive |
makeConcretePrimitive(EngineContext engineContext,
Primitive primitive) |
static java.util.List<AbstractCall> |
makeInitializer(EngineContext engineContext,
int processingCount,
InitializerMaker.Stage stage,
AbstractCall abstractCall,
AbstractSequence abstractSequence,
Primitive primitive,
Situation situation) |
static java.util.List<AbstractCall> |
makeInitializer(EngineContext engineContext,
int processingCount,
InitializerMaker.Stage stage,
AbstractCall abstractCall,
AbstractSequence abstractSequence,
Primitive primitive,
Situation situation,
IsaPrimitive concretePrimitive) |
static java.util.List<AbstractCall> |
makeInitializer(EngineContext engineContext,
Primitive mode,
ru.ispras.fortress.data.types.bitvector.BitVector value) |
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 void |
setUnknownImmValue(ru.ispras.fortress.expression.NodeValue value,
Argument argument,
Immediate argumentToPatch) |
static void |
setUnknownImmValues(ru.ispras.testbase.TestData testData,
java.util.Map<java.lang.String,Argument> unknownImmValues) |
static void |
setUnknownImmValues(ru.ispras.testbase.TestData testData,
java.util.Map<java.lang.String,Argument> unknownImmValues,
java.util.Map<java.lang.String,IsaPrimitive> argumentsToPatch) |
public static AbstractSequence cloneAbstractSequence(AbstractSequence abstractSequence)
public static java.util.List<AbstractCall> makeInitializer(EngineContext engineContext, int processingCount, InitializerMaker.Stage stage, AbstractCall abstractCall, AbstractSequence abstractSequence, Primitive primitive, Situation situation) throws ConfigurationException
ConfigurationException
public static java.util.List<AbstractCall> makeInitializer(EngineContext engineContext, int processingCount, InitializerMaker.Stage stage, AbstractCall abstractCall, AbstractSequence abstractSequence, Primitive primitive, Situation situation, IsaPrimitive concretePrimitive) throws ConfigurationException
ConfigurationException
public static java.util.List<AbstractCall> makeInitializer(EngineContext engineContext, Primitive mode, ru.ispras.fortress.data.types.bitvector.BitVector value)
public static ru.ispras.testbase.TestData getTestData(EngineContext engineContext, Primitive primitive, Situation situation, TestBaseQueryCreator queryCreator)
public static void setUnknownImmValue(ru.ispras.fortress.expression.NodeValue value, Argument argument, Immediate argumentToPatch)
public static void setUnknownImmValues(ru.ispras.testbase.TestData testData, java.util.Map<java.lang.String,Argument> unknownImmValues)
public static void setUnknownImmValues(ru.ispras.testbase.TestData testData, java.util.Map<java.lang.String,Argument> unknownImmValues, 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 boolean isStreamBased(AbstractCall abstractCall)
public static boolean isStreamBased(Primitive primitive)
public static IsaPrimitive makeConcretePrimitive(EngineContext engineContext, Primitive primitive) throws ConfigurationException
ConfigurationException
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.util.Set<AddressingModeWrapper> getOutAddressingModes(java.util.List<AbstractCall> calls)
public static void checkRootOp(Primitive primitive)