org.evosuite.testcase

Class ConstraintHelper

java.lang.Object

org.evosuite.testcase.ConstraintHelper

public class ConstraintHelper
extends Object

Class used to help the verification and proper use of constraints Created by Andrea Arcuri on 29/06/15.

Constructor Summary

Constructors

Constructor and Description
ConstraintHelper()

Method Summary

Modifier and Type	Method and Description
static int	countNumberOfMethodCalls(TestCase test, Class<?> klass, String methodName) This ignores the input parameters
static int	countNumberOfNewInstances(TestCase test, Class<?> klass)
static String[]	getClassAndMethod(String s, Class<?> c)
static Constraints	getConstraints(Statement st)
static List<String[]>	getExcludedMethods(TestCase tc) Retrieve all blacklisted methods in the test.
static int	getLastPositionOfBounded(VariableReference vr, TestCase tc)
static int	getLastPositionOfMethodCall(TestCase test, String className, String methodName, int lastPosition)
static boolean	isNull(VariableReference vr, TestCase tc)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintHelper

public ConstraintHelper()

Method Detail

countNumberOfNewInstances

public static int countNumberOfNewInstances(TestCase test,
                                            Class<?> klass)
                                     throws IllegalArgumentException

Throws:

IllegalArgumentException

countNumberOfMethodCalls

public static int countNumberOfMethodCalls(TestCase test,
                                           Class<?> klass,
                                           String methodName)
                                    throws IllegalArgumentException

This ignores the input parameters

Parameters:

test -

klass -

methodName -

Returns:

Throws:

IllegalArgumentException

getLastPositionOfMethodCall

public static int getLastPositionOfMethodCall(TestCase test,
                                              String className,
                                              String methodName,
                                              int lastPosition)

Parameters:

test -

className -

methodName -

Returns:

a negative value if it is not present

getClassAndMethod

public static String[] getClassAndMethod(String s,
                                         Class<?> c)

Parameters:

s -

c -

Returns:

an array of size 2

getExcludedMethods

public static List<String[]> getExcludedMethods(TestCase tc)
                                         throws IllegalArgumentException

Retrieve all blacklisted methods in the test. This is based on the 'excludeOthers' constraint

Parameters:

tc -

Returns:

Throws:

IllegalArgumentException

getConstraints

public static Constraints getConstraints(Statement st)

isNull

public static boolean isNull(VariableReference vr,
                             TestCase tc)

getLastPositionOfBounded

public static int getLastPositionOfBounded(VariableReference vr,
                                           TestCase tc)

Parameters:

vr -

tc -

Returns:

a negative value if the variable is not bounded