Package integrationTests

Class BooleanExpressions

java.lang.Object
integrationTests.BooleanExpressions
public final class BooleanExpressions extends Object
The Class BooleanExpressions.

  • Constructor Details

    • BooleanExpressions

      public BooleanExpressions()

  • Method Details

    • eval1

      public boolean eval1(boolean x, boolean y, int z)
      Eval 1.
      Parameters:
      x - the x
      y - the y
      z - the z
      Returns:
      true, if successful

    • eval2

      public boolean eval2(boolean x, boolean y, int z)
      Eval 2.
      Parameters:
      x - the x
      y - the y
      z - the z
      Returns:
      true, if successful

    • eval3

      public boolean eval3(boolean x, boolean y, boolean z)
      Eval 3.
      Parameters:
      x - the x
      y - the y
      z - the z
      Returns:
      true, if successful

    • eval4

      public boolean eval4(boolean x, boolean y, boolean z)
      Eval 4.
      Parameters:
      x - the x
      y - the y
      z - the z
      Returns:
      true, if successful

    • eval5

      public boolean eval5(boolean a, boolean b, boolean c)
      Eval 5.
      Parameters:
      a - the a
      b - the b
      c - the c
      Returns:
      true, if successful

    • simplyReturnsInput

      public boolean simplyReturnsInput(boolean b)
      Simply returns input.
      Parameters:
      b - the b
      Returns:
      true, if successful

    • returnsNegatedInput

      public boolean returnsNegatedInput(boolean b)
      Returns negated input.
      Parameters:
      b - the b
      Returns:
      true, if successful

    • returnsTrivialResultFromInputAfterIfElse

      public boolean returnsTrivialResultFromInputAfterIfElse(boolean b, int i)
      Returns trivial result from input after if else.
      Parameters:
      b - the b
      i - the i
      Returns:
      true, if successful

    • returnsResultPreviouslyComputedFromInput

      public boolean returnsResultPreviouslyComputedFromInput(boolean b, int i)
      Returns result previously computed from input.
      Parameters:
      b - the b
      i - the i
      Returns:
      true, if successful

    • methodWithTooManyConditionsForPathAnalysis

      public boolean methodWithTooManyConditionsForPathAnalysis(int i, int j, boolean b)
      Method with too many conditions for path analysis.
      Parameters:
      i - the i
      j - the j
      b - the b
      Returns:
      true, if successful

    • returnsNegatedInputFromLocalVariable

      public boolean returnsNegatedInputFromLocalVariable(boolean b)
      Returns negated input from local variable.
      Parameters:
      b - the b
      Returns:
      true, if successful