dk.brics.string.java
Class AssertionBranches

java.lang.Object
  dk.brics.string.java.AssertionBranches

public final class AssertionBranches
extends Object

A pair of assertion branches (AssertionBranch); corresponding to the true and false outcomes of a branching condition, respectively.

Author:

Asger

Constructor Summary

AssertionBranches(AssertionBranch whenFalse, AssertionBranch whenTrue)
Creates a pair of assertion branches.

AssertionBranches(Method method)
Creates two empty assertion branches.

Method Summary

AssertionBranch	getWhenFalse() Gets the assertions that must hold when the condition is false.
AssertionBranch	getWhenTrue() Gets the assertions that must hold when the condition is true.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AssertionBranches

public AssertionBranches(AssertionBranch whenFalse,
                         AssertionBranch whenTrue)

Creates a pair of assertion branches.

Parameters:

whenFalse - assertions that must hold when the condition is false. Must not be null.

whenTrue - assertions that must hold when the condition is true. Must not be null.

AssertionBranches

public AssertionBranches(Method method)

Creates two empty assertion branches.

Method Detail

getWhenFalse

public AssertionBranch getWhenFalse()

Gets the assertions that must hold when the condition is false.

Returns:

never null

getWhenTrue

public AssertionBranch getWhenTrue()

Gets the assertions that must hold when the condition is true.

Returns:

never null