org.evosuite.instrumentation.testability

Class BooleanHelper

java.lang.Object

org.evosuite.instrumentation.testability.BooleanHelper

public class BooleanHelper
extends Object

BooleanHelper class.

Author:

Gordon Fraser

Field Summary

Fields

Modifier and Type	Field and Description
static int	FALSE
static int	K Constant K=Integer.MAX_VALUE - 2
static int	TRUE

Constructor Summary

Constructors

Constructor and Description
BooleanHelper()

Method Summary

Modifier and Type	Method and Description
static int	booleanToInt(boolean b) booleanToInt
static void	clearStack() clearStack
static int	compareBoolean(int a, int b) compareBoolean
static int	doubleSubG(double d1, double d2) Replacement function for double comparison
static int	doubleSubL(double d1, double d2)
static int	editDistance_old(String s, String t) editDistance_old
static int	floatSubG(float f1, float f2) Replacement function for float comparison
static int	floatSubL(float f1, float f2)
static int	fromDouble(double d) Deprecated.
static int	fromFloat(float d) Deprecated.
static int	fromLong(long d) Deprecated.
static int	getDistance(int branchId, int approximationLevel, int value) Retrieve the distance of a predicate with its given approximation level
static int	IAND(int a, int b) IAND
static int	instanceOf(Object o, Class<?> c) Replacement function for the Java instanceof instruction, which returns a distance integer
static int	intSub(int a, int b) intSub
static boolean	intToBoolean(int x) intToBoolean
static int	IOR(int a, int b) IOR
static int	isEqual(Object o1, Object o2, int opcode) isEqual
static int	isNull(Object o, int opcode) Replacement function for the Java IFNULL instruction, returning a distance integer
static int	IXOR(int a, int b) IXOR
static int	longSub(long l1, long l2) Replacement function for long comparison
static int	min(int a, int b, int c) min
static double	normalize(int distance) FIXME: the use of this function needs to be clarified
static int	objectEquals(Object obj1, Object obj2) Helper function that is called instead of Object.equals
static Object	popParameter(Object o) popParameter
static boolean	popParameterBoolean() popParameterBoolean
static boolean	popParameterBooleanFromInt() popParameterBooleanFromInt
static byte	popParameterByte() popParameterByte
static char	popParameterChar() popParameterChar
static double	popParameterDouble() popParameterDouble
static float	popParameterFloat() popParameterFloat
static int	popParameterInt() popParameterInt
static int	popParameterIntFromBoolean() popParameterIntFromBoolean
static long	popParameterLong() popParameterLong
static Object	popParameterObject() popParameterObject
static short	popParameterShort() popParameterShort
static void	pushParameter(boolean o) pushParameter
static void	pushParameter(byte o) pushParameter
static void	pushParameter(char o) pushParameter
static void	pushParameter(double o) pushParameter
static void	pushParameter(float o) pushParameter
static void	pushParameter(int o) pushParameter
static void	pushParameter(long o) pushParameter
static void	pushParameter(Object o) pushParameter
static void	pushParameter(short o) pushParameter
static void	pushPredicate(int distance, int branchId) Keep track of the distance for this predicate

Methods inherited from class java.lang.Object

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

Field Detail

K

public static final int K

Constant K=Integer.MAX_VALUE - 2

See Also:

Constant Field Values

TRUE

public static final int TRUE

See Also:

Constant Field Values

FALSE

public static final int FALSE

See Also:

Constant Field Values

Constructor Detail

BooleanHelper

public BooleanHelper()

Method Detail

clearStack

public static void clearStack()

clearStack

objectEquals

public static int objectEquals(Object obj1,
                               Object obj2)

Helper function that is called instead of Object.equals

Parameters:

obj1 - a Object object.

obj2 - a Object object.

Returns:

a int.

pushPredicate

public static void pushPredicate(int distance,
                                 int branchId)

Keep track of the distance for this predicate

Parameters:

branchId - a int.

distance - a int.

getDistance

public static int getDistance(int branchId,
                              int approximationLevel,
                              int value)

Retrieve the distance of a predicate with its given approximation level

Parameters:

branchId - a int.

approximationLevel - a int.

value - a int.

Returns:

a int.

normalize

public static double normalize(int distance)

FIXME: the use of this function needs to be clarified

Parameters:

distance -

Returns:

doubleSubG

public static int doubleSubG(double d1,
                             double d2)

Replacement function for double comparison

Parameters:

d1 - a double.

d2 - a double.

Returns:

a int.

doubleSubL

public static int doubleSubL(double d1,
                             double d2)

floatSubG

public static int floatSubG(float f1,
                            float f2)

Replacement function for float comparison

Parameters:

f1 - a float.

f2 - a float.

Returns:

a int.

floatSubL

public static int floatSubL(float f1,
                            float f2)

intSub

public static int intSub(int a,
                         int b)

intSub

Parameters:

a - a int.

b - a int.

Returns:

a int.

longSub

public static int longSub(long l1,
                          long l2)

Replacement function for long comparison

Parameters:

l1 - a long.

l2 - a long.

Returns:

a int.

fromDouble

@Deprecated
public static int fromDouble(double d)

Deprecated.

fromDouble

Parameters:

d - a double.

Returns:

a int.

fromFloat

@Deprecated
public static int fromFloat(float d)

Deprecated.

fromFloat

Parameters:

d - a float.

Returns:

a int.

fromLong

@Deprecated
public static int fromLong(long d)

Deprecated.

fromLong

Parameters:

d - a long.

Returns:

a int.

booleanToInt

public static int booleanToInt(boolean b)

booleanToInt

Parameters:

b - a boolean.

Returns:

a int.

intToBoolean

public static boolean intToBoolean(int x)

intToBoolean

Parameters:

x - a int.

Returns:

a boolean.

min

public static int min(int a,
                      int b,
                      int c)

min

Parameters:

a - a int.

b - a int.

c - a int.

Returns:

a int.

compareBoolean

public static int compareBoolean(int a,
                                 int b)

compareBoolean

Parameters:

a - a int.

b - a int.

Returns:

a int.

editDistance_old

public static int editDistance_old(String s,
                                   String t)

editDistance_old

Parameters:

s - a String object.

t - a String object.

Returns:

a int.

instanceOf

public static int instanceOf(Object o,
                             Class<?> c)

Replacement function for the Java instanceof instruction, which returns a distance integer

Parameters:

o - a Object object.

c - a Class object.

Returns:

a int.

isNull

public static int isNull(Object o,
                         int opcode)

Replacement function for the Java IFNULL instruction, returning a distance integer

Parameters:

o -

opcode -

opcode - a int.

Returns:

a int.

IOR

public static int IOR(int a,
                      int b)

IOR

Parameters:

a - a int.

b - a int.

Returns:

a int.

IAND

public static int IAND(int a,
                       int b)

IAND

Parameters:

a - a int.

b - a int.

Returns:

a int.

IXOR

public static int IXOR(int a,
                       int b)

IXOR

Parameters:

a - a int.

b - a int.

Returns:

a int.

isEqual

public static int isEqual(Object o1,
                          Object o2,
                          int opcode)

isEqual

Parameters:

o1 - a Object object.

o2 - a Object object.

opcode - a int.

Returns:

a int.

popParameterBooleanFromInt

public static boolean popParameterBooleanFromInt()

popParameterBooleanFromInt

Returns:

a boolean.

popParameterIntFromBoolean

public static int popParameterIntFromBoolean()

popParameterIntFromBoolean

Returns:

a int.

popParameterBoolean

public static boolean popParameterBoolean()

popParameterBoolean

Returns:

a boolean.

popParameterChar

public static char popParameterChar()

popParameterChar

Returns:

a char.

popParameterByte

public static byte popParameterByte()

popParameterByte

Returns:

a byte.

popParameterShort

public static short popParameterShort()

popParameterShort

Returns:

a short.

popParameterInt

public static int popParameterInt()

popParameterInt

Returns:

a int.

popParameterFloat

public static float popParameterFloat()

popParameterFloat

Returns:

a float.

popParameterLong

public static long popParameterLong()

popParameterLong

Returns:

a long.

popParameterDouble

public static double popParameterDouble()

popParameterDouble

Returns:

a double.

popParameterObject

public static Object popParameterObject()

popParameterObject

Returns:

a Object object.

popParameter

public static Object popParameter(Object o)

popParameter

Parameters:

o - a Object object.

Returns:

a Object object.

pushParameter

public static void pushParameter(boolean o)

pushParameter

Parameters:

o - a boolean.

pushParameter

public static void pushParameter(char o)

pushParameter

Parameters:

o - a char.

pushParameter

public static void pushParameter(byte o)

pushParameter

Parameters:

o - a byte.

pushParameter

public static void pushParameter(short o)

pushParameter

Parameters:

o - a short.

pushParameter

public static void pushParameter(int o)

pushParameter

Parameters:

o - a int.

pushParameter

public static void pushParameter(float o)

pushParameter

Parameters:

o - a float.

pushParameter

public static void pushParameter(long o)

pushParameter

Parameters:

o - a long.

pushParameter

public static void pushParameter(double o)

pushParameter

Parameters:

o - a double.

pushParameter

public static void pushParameter(Object o)

pushParameter

Parameters:

o - a Object object.