org.evosuite.symbolic.expr.fp

Class IntegerToRealCast

java.lang.Object

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

org.evosuite.symbolic.expr.fp.IntegerToRealCast

All Implemented Interfaces:

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

public final class IntegerToRealCast
extends AbstractExpression<Double>
implements RealValue, Cast<Long>

See Also:

Serialized Form

Field Summary

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

concreteValue

Constructor Summary

Constructors

Constructor and Description
IntegerToRealCast(IntegerValue _expr, Double _concValue) Constructor for IntegerToRealCast.

Method Summary

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

IntegerToRealCast

public IntegerToRealCast(IntegerValue _expr,
                         Double _concValue)

Constructor for IntegerToRealCast.

Parameters:

_expr - a Expression object.

_concValue - a Double object.

Method Detail

getArgument

public Expression<Long> getArgument()

getConcreteObject

Specified by:

getArgument in interface Cast<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<Double>

getConstants

public Set<Object> getConstants()

Specified by:

getConstants in interface Expression<Double>

Overrides:

getConstants in class AbstractExpression<Double>

accept

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

Specified by:

accept in interface Expression<Double>