Package ru.ispras.microtesk.test.engine
Class EngineUtils
- java.lang.Object
-
- ru.ispras.microtesk.test.engine.EngineUtils
-
public final class EngineUtils extends java.lang.Object
EngineUtils
implements functions shared among test data generators.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method 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(Model model, Primitive primitive)
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)
-
-
-
Method Detail
-
cloneAbstractSequence
public static AbstractSequence cloneAbstractSequence(AbstractSequence abstractSequence)
-
makeInitializer
public static java.util.List<AbstractCall> makeInitializer(EngineContext engineContext, int processingCount, InitializerMaker.Stage stage, AbstractCall abstractCall, AbstractSequence abstractSequence, Primitive primitive, Situation situation) throws ConfigurationException
- Throws:
ConfigurationException
-
makeInitializer
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
- Throws:
ConfigurationException
-
makeInitializer
public static java.util.List<AbstractCall> makeInitializer(EngineContext engineContext, Primitive mode, ru.ispras.fortress.data.types.bitvector.BitVector value)
-
getTestData
public static ru.ispras.testbase.TestData getTestData(EngineContext engineContext, Primitive primitive, Situation situation, TestBaseQueryCreator queryCreator)
-
setUnknownImmValue
public static void setUnknownImmValue(ru.ispras.fortress.expression.NodeValue value, Argument argument, Immediate argumentToPatch)
-
setUnknownImmValues
public static void setUnknownImmValues(ru.ispras.testbase.TestData testData, java.util.Map<java.lang.String,Argument> unknownImmValues)
-
setUnknownImmValues
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)
-
getSituationName
public static java.lang.String getSituationName(AbstractCall abstractCall)
-
makeConcreteCalls
public static java.util.List<ConcreteCall> makeConcreteCalls(EngineContext engineContext, java.util.List<AbstractCall> abstractSequence) throws ConfigurationException
- Throws:
ConfigurationException
-
makeConcreteCall
public static ConcreteCall makeConcreteCall(EngineContext engineContext, AbstractCall abstractCall) throws ConfigurationException
- Throws:
ConfigurationException
-
makeSpecialConcreteCall
public static ConcreteCall makeSpecialConcreteCall(EngineContext engineContext, java.lang.String instructionName)
-
isStreamBased
public static boolean isStreamBased(AbstractCall abstractCall)
-
isStreamBased
public static boolean isStreamBased(Primitive primitive)
-
makeConcretePrimitive
public static IsaPrimitive makeConcretePrimitive(EngineContext engineContext, Primitive primitive) throws ConfigurationException
- Throws:
ConfigurationException
-
makeConcretePrimitive
public static IsaPrimitive makeConcretePrimitive(Model model, Primitive primitive) throws ConfigurationException
- Throws:
ConfigurationException
-
makeStreamInit
public static java.util.List<AbstractCall> makeStreamInit(EngineContext engineContext, java.lang.String streamId)
-
makeStreamRead
public static java.util.List<AbstractCall> makeStreamRead(EngineContext engineContext, java.lang.String streamId)
-
makeStreamWrite
public static java.util.List<AbstractCall> makeStreamWrite(EngineContext engineContext, java.lang.String streamId)
-
getOutAddressingModes
public static java.util.Set<AddressingModeWrapper> getOutAddressingModes(java.util.List<AbstractCall> calls)
-
checkRootOp
public static void checkRootOp(Primitive primitive)
-
-