org.evosuite.dse.util

Class Assertions

java.lang.Object

org.evosuite.dse.util.Assertions

public class Assertions
extends Object

Makes assertion checking more elegant than explicit if statements. Avoids the -disableassertions problem of Java's assert statements.

Author:

csallner@uta.edu (Christoph Csallner)

Constructor Summary

Constructors

Constructor and Description
Assertions()

Method Summary

Modifier and Type	Method and Description
static void	check(boolean b) Checks if b holds.
static void	check(boolean b, String msg)
static void	check(boolean b, Throwable t)
static int	notNegative(int i)
static void	notNegative(int a, int b)
static void	notNull(Object a, Object b)
static void	notNull(Object a, Object b, Object c)
static <T> T	notNull(T t)

Methods inherited from class java.lang.Object

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

Constructor Detail

Assertions

public Assertions()

Method Detail

notNull

public static <T> T notNull(T t)

Throws:

NullPointerException - iff (t==null)

notNull

public static void notNull(Object a,
                           Object b)

notNull

public static void notNull(Object a,
                           Object b,
                           Object c)

notNegative

public static int notNegative(int i)

Throws:

IndexOutOfBoundsException - iff (i<0)

notNegative

public static void notNegative(int a,
                               int b)

check

public static void check(boolean b)

Checks if b holds. Call this method to check assertions like pre- and post-conditions.

Throws:

IllegalStateException - iff (b==false)

check

public static void check(boolean b,
                         Throwable t)

check

public static void check(boolean b,
                         String msg)

Parameters:

msg - for exception, in case b==false