org.jcheck
Class Implication

java.lang.Object
  org.jcheck.Implication

public class Implication
extends java.lang.Object

Constructor Summary

Implication()

Method Summary

static void	imply(boolean implication) Make an implication that must hold for the test to run.
static void	imply(java.lang.String message, boolean implication) Make an implication that must hold for the test to run.

Methods inherited from class java.lang.Object

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

Constructor Detail

Implication

public Implication()

Method Detail

imply

public static final void imply(boolean implication)

Make an implication that must hold for the test to run.

Example:

 @Test
 public void testDivision(int i, int j)
 {
     imply(j != 0);
     assertEquals(i/j, someDivision(i, j));
 }
 

Parameters:

implication -

imply

public static final void imply(java.lang.String message,
                               boolean implication)

Make an implication that must hold for the test to run.

Example:

 @Test
 public void testDivision(int i, int j)
 {
     imply("Can't divide by zero", j != 0);
     assertEquals(i/j, someDivision(i, j));
 }
 

Parameters:

implication -