org.evosuite.symbolic.expr.bv

Class RealToIntegerCast

java.lang.Object

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

org.evosuite.symbolic.expr.bv.RealToIntegerCast

All Implemented Interfaces:

Serializable, IntegerValue, Cast<Double>, Expression<Long>, SymbolicValue

public final class RealToIntegerCast
extends AbstractExpression<Long>
implements Cast<Double>, IntegerValue

See Also:

Serialized Form

Field Summary

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

concreteValue

Constructor Summary

Constructors

Constructor and Description
RealToIntegerCast(Expression<Double> _expr, Long _concValue) Constructor for RealToIntegerCast.

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(ExpressionVisitor<K,V> v, V arg)
boolean	equals(Object obj)
Expression<Double>	getArgument() getConcreteObject
Set<Object>	getConstants()
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

Constructor Detail

RealToIntegerCast

public RealToIntegerCast(Expression<Double> _expr,
                         Long _concValue)

Constructor for RealToIntegerCast.

Parameters:

_expr - a Expression object.

_concValue - a Long object.

Method Detail

getArgument

public Expression<Double> getArgument()

getConcreteObject

Specified by:

getArgument in interface Cast<Double>

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>