Class RiscvBranchDataGenerator

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected static long MAX_VALUE  
      protected static long MIN_VALUE  
      • 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 Static Methods Concrete Methods 
      Modifier and Type Method Description
      protected static ru.ispras.testbase.knowledge.integer.IntNumber[] getOperands​(ru.ispras.testbase.TestBaseQuery query, int numberOfOperands)  
      protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> getTestData​(ru.ispras.testbase.TestBaseQuery query, ru.ispras.testbase.knowledge.integer.IntNumber[] operands)  
      • Methods inherited from class ru.ispras.microtesk.test.engine.branch.BranchDataGenerator

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

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

      • RiscvBranchDataGenerator

        public RiscvBranchDataGenerator()
    • Method Detail

      • getOperands

        protected static ru.ispras.testbase.knowledge.integer.IntNumber[] getOperands​(ru.ispras.testbase.TestBaseQuery query,
                                                                                      int numberOfOperands)
      • getTestData

        protected static ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> getTestData​(ru.ispras.testbase.TestBaseQuery query,
                                                                                                                 ru.ispras.testbase.knowledge.integer.IntNumber[] operands)