org.evosuite.symbolic.expr.bv

Class IntegerComparison

java.lang.Object

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

org.evosuite.symbolic.expr.bv.IntegerComparison

All Implemented Interfaces:

Serializable, IntegerValue, Expression<Long>, SymbolicValue

public final class IntegerComparison
extends AbstractExpression<Long>
implements IntegerValue

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected static org.slf4j.Logger	log

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

concreteValue

Constructor Summary

Constructors

Constructor and Description
IntegerComparison(Expression<Long> left, Expression<Long> right, Long con) Constructor for IntegerComparison.

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(ExpressionVisitor<K,V> v, V arg)
boolean	equals(Object obj)
Set<Object>	getConstants()
Expression<Long>	getLeftOperant() getLeftOperant
Expression<Long>	getRightOperant() getRightOperant
Set<Variable<?>>	getVariables()
int	hashCode()
String	toString()

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

containsSymbolicVariable, getConcreteValue, getParent, getSize, setParent

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.evosuite.symbolic.expr.Expression

containsSymbolicVariable, getConcreteValue, getParent, getSize, setParent

Field Detail

log

protected static final org.slf4j.Logger log

Constructor Detail

IntegerComparison

public IntegerComparison(Expression<Long> left,
                         Expression<Long> right,
                         Long con)

Constructor for IntegerComparison.

Parameters:

left - a Expression object.

right - a Expression object.

con - a Long object.

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getRightOperant

public Expression<Long> getRightOperant()

getRightOperant

Returns:

a Expression object.

getLeftOperant

public Expression<Long> getLeftOperant()

getLeftOperant

Returns:

a Expression object.

toString

public String toString()

Overrides:

toString in class Object

getVariables

public Set<Variable<?>> getVariables()

Specified by:

getVariables in interface Expression<Long>

getConstants

public Set<Object> getConstants()

Specified by:

getConstants in interface Expression<Long>

Overrides:

getConstants in class AbstractExpression<Long>

accept

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

Specified by:

accept in interface Expression<Long>