Class BgeThenElseGenerator
- java.lang.Object
-
- ru.ispras.testbase.knowledge.branch.IfThenElseGenerator
-
- ru.ispras.testbase.knowledge.branch.bge.BgeThenElseGenerator
-
- All Implemented Interfaces:
Generator<IntNumber,IfThenElse>
public final class BgeThenElseGenerator extends IfThenElseGenerator
BgeThenElseGenerator
is a test data generator for BGE instructions.
-
-
Field Summary
-
Fields inherited from class ru.ispras.testbase.knowledge.branch.IfThenElseGenerator
FORMAT, MAX_VALUE, MIN_VALUE
-
-
Constructor Summary
Constructors Constructor Description BgeThenElseGenerator()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static boolean
checkOperandsThen(IntNumber[] operands)
boolean
checkThen(IntNumber[] operands)
Checks whether the operand values satisfy the branch condition.IntNumber[]
generateElse(IntNumber[] operands)
Generates operand values that violate the branch condition.static IntNumber[]
generateOperandsElse(IntNumber[] operands)
static IntNumber[]
generateOperandsThen(IntNumber[] operands)
IntNumber[]
generateThen(IntNumber[] operands)
Generates operand values that satisfy the branch condition.-
Methods inherited from class ru.ispras.testbase.knowledge.branch.IfThenElseGenerator
check, checkElse, generate
-
-
-
-
Method Detail
-
checkOperandsThen
public static boolean checkOperandsThen(IntNumber[] operands)
-
checkThen
public boolean checkThen(IntNumber[] operands)
Description copied from class:IfThenElseGenerator
Checks whether the operand values satisfy the branch condition.- Specified by:
checkThen
in classIfThenElseGenerator
- Parameters:
operands
- input values.- Returns:
true
iff satisfy.
-
generateThen
public IntNumber[] generateThen(IntNumber[] operands)
Description copied from class:IfThenElseGenerator
Generates operand values that satisfy the branch condition.- Specified by:
generateThen
in classIfThenElseGenerator
- Parameters:
operands
- input values (null
if unknown).- Returns:
- the generated values.
-
generateElse
public IntNumber[] generateElse(IntNumber[] operands)
Description copied from class:IfThenElseGenerator
Generates operand values that violate the branch condition.- Specified by:
generateElse
in classIfThenElseGenerator
- Parameters:
operands
- input values (null
if unknown).- Returns:
- the generated values.
-
-