Package ru.ispras.microtesk.test.engine
Class TestBaseQueryCreator
- java.lang.Object
-
- ru.ispras.microtesk.test.engine.TestBaseQueryCreator
-
public final class TestBaseQueryCreator extends java.lang.Object
TheTestBaseQueryCreator
class forms a query for test data that will be sent to TestBase. It dumps the following information:- Name of the microprocessor being tested.
- Information about the test situation (its name and attributes).
- Name of the operation the situation is linked to.
- All arguments of the operation including immediate values, addressing modes with their arguments and all arguments of nested operations.
- All immediate arguments that have values are constants (see
NodeValue
) of typeDataType.bitVector(int)
. - All unknown immediate arguments (see
UnknownImmediateValue
) that have not been assigned values are unknown variables (seeNodeVariable
) of typeDataType.bitVector(int)
. - All addressing modes are unknown variables (see
NodeVariable
) of typeDataType.bitVector(int)
.
N.B. If nested operations have linked test situations, these situations are ignored and no information about them is included in the query. These situations are processed separately. If they have been previously processed, unknown immediate arguments that received values are treated as known immediate values.
N.B. The above text describes the current behavior that may be changed in the future.
-
-
Constructor Summary
Constructors Constructor Description TestBaseQueryCreator(EngineContext engineContext, int processingCount, AbstractSequence abstractSequence, Situation situation, Primitive primitive)
TestBaseQueryCreator(EngineContext engineContext, int processingCount, AbstractSequence abstractSequence, Situation situation, Primitive primitive, boolean isTestDataGeneration)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ru.ispras.testbase.TestBaseQuery
getQuery()
java.util.Map<java.lang.String,Primitive>
getTargetModes()
java.util.Map<java.lang.String,Argument>
getUnknownImmValues()
-
-
-
Constructor Detail
-
TestBaseQueryCreator
public TestBaseQueryCreator(EngineContext engineContext, int processingCount, AbstractSequence abstractSequence, Situation situation, Primitive primitive)
-
TestBaseQueryCreator
public TestBaseQueryCreator(EngineContext engineContext, int processingCount, AbstractSequence abstractSequence, Situation situation, Primitive primitive, boolean isTestDataGeneration)
-
-