Class IfThenElseGenerator

    • Field Detail

      • FORMAT

        public static final IntFormat FORMAT
        Specifies the number format.
      • MIN_VALUE

        public static final long MIN_VALUE
        Minimal value of an operand (depends on #FORMAT).
      • MAX_VALUE

        public static final long MAX_VALUE
        Maximal value of an operand (depends on #FORMAT).
    • Constructor Detail

      • IfThenElseGenerator

        public IfThenElseGenerator()
    • Method Detail

      • check

        public boolean check​(IfThenElse situation,
                             IntNumber[] operands)
        Description copied from interface: Generator
        Checks the test data against the test situation.
        Specified by:
        check in interface Generator<IntNumber,​IfThenElse>
        Parameters:
        situation - the test situation.
        operands - the test data.
        Returns:
        true if the test data correspond to the test situation; false otherwise.
      • checkThen

        public abstract boolean checkThen​(IntNumber[] operands)
        Checks whether the operand values satisfy the branch condition.
        Parameters:
        operands - input values.
        Returns:
        true iff satisfy.
      • checkElse

        public final boolean checkElse​(IntNumber[] operands)
        Checks whether the operand values do not satisfy the branch condition.
        Parameters:
        operands - input values.
        Returns:
        true iff do not satisfy.
      • generateThen

        public abstract IntNumber[] generateThen​(IntNumber[] operands)
        Generates operand values that satisfy the branch condition.
        Parameters:
        operands - input values (null if unknown).
        Returns:
        the generated values.
      • generateElse

        public abstract IntNumber[] generateElse​(IntNumber[] operands)
        Generates operand values that violate the branch condition.
        Parameters:
        operands - input values (null if unknown).
        Returns:
        the generated values.