org.evosuite.symbolic.vm

Class ConstraintFactory

java.lang.Object

org.evosuite.symbolic.vm.ConstraintFactory

public abstract class ConstraintFactory
extends Object

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
ConstraintFactory()

Method Summary

Modifier and Type	Method and Description
static IntegerConstraint	eq(IntegerValue left, IntegerValue right)
static IntegerConstraint	gte(IntegerValue left, IntegerValue right)
static IntegerConstraint	lt(IntegerValue left, IntegerValue right)
static IntegerConstraint	neq(IntegerValue left, IntegerValue right)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintFactory

public ConstraintFactory()

Method Detail

eq

public static IntegerConstraint eq(IntegerValue left,
                                   IntegerValue right)

neq

public static IntegerConstraint neq(IntegerValue left,
                                    IntegerValue right)

lt

public static IntegerConstraint lt(IntegerValue left,
                                   IntegerValue right)

gte

public static IntegerConstraint gte(IntegerValue left,
                                    IntegerValue right)