org.evosuite.symbolic.expr.bv

Class IntegerBinaryExpression

java.lang.Object

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

org.evosuite.symbolic.expr.bv.IntegerBinaryExpression

All Implemented Interfaces:

Serializable, BinaryExpression<Long>, IntegerValue, Expression<Long>, SymbolicValue

public final class IntegerBinaryExpression
extends AbstractExpression<Long>
implements IntegerValue, BinaryExpression<Long>

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
IntegerBinaryExpression(Expression<Long> left, Operator op2, Expression<Long> right, Long con) Constructor for IntegerBinaryExpression.

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>	getLeftOperand() getLeftOperand
Operator	getOperator() getOperator
Expression<Long>	getRightOperand() getRightOperand
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

IntegerBinaryExpression

public IntegerBinaryExpression(Expression<Long> left,
                               Operator op2,
                               Expression<Long> right,
                               Long con)

Constructor for IntegerBinaryExpression.

Parameters:

left - a Expression object.

op2 - a Operator object.

right - a Expression object.

con - a Long object.

Method Detail

getOperator

public Operator getOperator()

getOperator

Specified by:

getOperator in interface BinaryExpression<Long>

Returns:

a Operator object.

getLeftOperand

public Expression<Long> getLeftOperand()

getLeftOperand

Specified by:

getLeftOperand in interface BinaryExpression<Long>

Returns:

a Expression object.

getRightOperand

public Expression<Long> getRightOperand()

getRightOperand

Specified by:

getRightOperand in interface BinaryExpression<Long>

Returns:

a Expression object.

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode 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>