Class RiscvEqzDataGenerator

    • Field Summary

      • Fields inherited from class ru.ispras.microtesk.test.engine.branch.BranchDataGenerator

        PARAM_CONDITION, PARAM_CONDITION_ELSE, PARAM_CONDITION_THEN, PARAM_STREAM
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateElse​(ru.ispras.testbase.TestBaseQuery query)  
      ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateThen​(ru.ispras.testbase.TestBaseQuery query)  
      • Methods inherited from class ru.ispras.microtesk.test.engine.branch.BranchDataGenerator

        extractUnknown, generate, generate, isSuitable
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • RiscvEqzDataGenerator

        public RiscvEqzDataGenerator()
    • Method Detail

      • generateThen

        public ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateThen​(ru.ispras.testbase.TestBaseQuery query)
        Specified by:
        generateThen in class ru.ispras.microtesk.test.engine.branch.BranchDataGenerator
      • generateElse

        public ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateElse​(ru.ispras.testbase.TestBaseQuery query)
        Specified by:
        generateElse in class ru.ispras.microtesk.test.engine.branch.BranchDataGenerator