org.evosuite.symbolic.expr

Class IntegerConstraint

java.lang.Object

org.evosuite.symbolic.expr.Constraint<Long>

org.evosuite.symbolic.expr.IntegerConstraint

All Implemented Interfaces:

Serializable

public final class IntegerConstraint
extends Constraint<Long>

See Also:

Serialized Form

Field Summary

Fields inherited from class org.evosuite.symbolic.expr.Constraint

size

Constructor Summary

Constructors

Constructor and Description
IntegerConstraint(Expression<Long> left, Comparator cmp, Expression<Long> right) Constructor for IntegerConstraint.

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(ConstraintVisitor<K,V> v, V arg)
Comparator	getComparator() getComparator
Expression<?>	getLeftOperand() getLeftOperand
Expression<?>	getRightOperand() getRightOperand
Constraint<Long>	negate()
String	toString()

Methods inherited from class org.evosuite.symbolic.expr.Constraint

equals, getConstants, getSize, getVariables, hashCode, isSolveable, normalize

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IntegerConstraint

public IntegerConstraint(Expression<Long> left,
                         Comparator cmp,
                         Expression<Long> right)

Constructor for IntegerConstraint.

Parameters:

left - a Expression object.

cmp - a Comparator object.

right - a Expression object.

Method Detail

getComparator

public Comparator getComparator()

getComparator

Specified by:

getComparator in class Constraint<Long>

Returns:

a Comparator object.

getLeftOperand

public Expression<?> getLeftOperand()

getLeftOperand

Specified by:

getLeftOperand in class Constraint<Long>

Returns:

a Expression object.

getRightOperand

public Expression<?> getRightOperand()

getRightOperand

Specified by:

getRightOperand in class Constraint<Long>

Returns:

a Expression object.

toString

public String toString()

Overrides:

toString in class Object

negate

public Constraint<Long> negate()

Specified by:

negate in class Constraint<Long>

accept

public <K,V> K accept(ConstraintVisitor<K,V> v,
                      V arg)

Specified by:

accept in class Constraint<Long>