org.evomaster.client.java.instrumentation.heuristic

Class HeuristicsForJumps

java.lang.Object

org.evomaster.client.java.instrumentation.heuristic.HeuristicsForJumps

public class HeuristicsForJumps
extends Object

Class used to handle heuristics (eg kind of branch distance calculations) for bytecode jumps. This will depend on the jump code and the values read on the stack

Constructor Summary

Constructors

Constructor and Description
HeuristicsForJumps()

Method Summary

Modifier and Type	Method and Description
static Truthness	getForNullComparison(Object obj, int opcode)
static Truthness	getForObjectComparison(Object first, Object second, int opcode)
static Truthness	getForSingleValueJump(int value, int opcode) This are values compared against 0, like value < 0
static Truthness	getForValueComparison(int firstValue, int secondValue, int opcode)

Methods inherited from class java.lang.Object

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

Constructor Detail

HeuristicsForJumps

public HeuristicsForJumps()

Method Detail

getForSingleValueJump

public static Truthness getForSingleValueJump(int value,
                                              int opcode)

This are values compared against 0, like value < 0

Returns:

getForValueComparison

public static Truthness getForValueComparison(int firstValue,
                                              int secondValue,
                                              int opcode)

getForObjectComparison

public static Truthness getForObjectComparison(Object first,
                                               Object second,
                                               int opcode)

getForNullComparison

public static Truthness getForNullComparison(Object obj,
                                             int opcode)